Trace number 2097838

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
Abscon 112v4 ESACSAT 89.7894 90.6644

DiagnosticValue
CHECKS100991000
NODES3001

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-9.xml
MD5SUM7d795480c7331ac1d2900d14fd419266
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 benchmark89.7894
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data 

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.20/0.26	
0.20/0.26	   configuration
0.20/0.26	     name=esac.xml
0.20/0.30	   
0.20/0.30	   instance
0.20/0.30	     name=HOME/instance-2097838-1247414083.xml
0.28/0.33	   
0.28/0.33	   domains being loaded...
0.28/0.38	   
0.28/0.38	   variables being loaded...
0.78/0.87	     nbVariables=3000  nbDomainTypes=21  minDomainSize=86  maxDomainSize=778  nbTotalValues=1942250
0.78/0.87	       =>  wckTime=0.606  cpuTime=0.41  mem=54M496
0.78/0.87	   
0.78/0.87	   predicates being loaded...
0.88/0.93	   
0.88/0.93	   constraints being loaded...
21.08/21.32	   
21.08/21.32	   INFO : Stopping converting binary constraints (cpu=20.17, mem = 125M948)
37.01/37.49	     nbConstraints=33552  nbGlobalConstraints=251  nbMergedConstraints=29903  nbConvertedConstraints=56
37.01/37.49	     nbConvertConstraintsChecks=33078184  nbExtensionStructures=54  nbSharedExtensionStructures=4
37.01/37.49	     nbConflictsStructures=100  nbSharedConflictsStructures=94  nbUnbuiltConflictsStructures=3564
37.01/37.49	     nbSharedBinaryRepresentations=76644  nbEvaluationManagers=3610  nbSharedEvaluationManagers=29635  minDegree=2
37.01/37.49	     maxDegree=60  minArity=2  avgArity=2.03  maxArity=9  nbGenerators=0  nbFusions=0  symmetryWckTime=11.101
37.01/37.49	     symmetryCpuTime=10.41  nbCliques=251
37.01/37.49	       =>  wckTime=37.224  cpuTime=34.82  mem=133M173
37.80/38.21	   
37.80/38.21	   solver IterativeSystematicSolver being built... 
38.69/39.13	   
38.69/39.13	   INFO : Forward propagation technique limited 
38.99/39.49	       =>  wckTime=39.225  cpuTime=35.52  mem=391M221
86.74/87.65	   
86.74/87.65	   preprocessing
86.74/87.65	     nbConstraintChecks=99203035  nbValidityChecks=1821078  nbPropagations=3914  nbRevisions=107675
86.74/87.65	     nbUselessRevisions=95865  nbRemovedValues=1858132  detectedInconsistency=no
86.74/87.65	       =>  wckTime=48.126  cpuTime=47.65  mem=392M182
89.51/90.43	   
89.51/90.43	   search
89.51/90.43	     run=0  nbConstraintChecks=1787996  nbValidityChecks=2257763  minDepth=1918  maxDepth=3000  nbPropagations=13267
89.51/90.43	     nbRevisions=266442  nbUselessRevisions=247008  nbAssignments=3001  nbFailedAssignments=1  nbBacktracks=0
89.51/90.43	     nbVisitedNodes=3003  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
89.51/90.43	     nbDEliminables=?  nbPEliminables=?
89.51/90.43	       =>  wckTime=50.912  cpuTime=50.36  mem=393M143
89.51/90.43	   
89.51/90.43	   global
89.51/90.43	     nbConstraintChecks=100991031  nbValidityChecks=4078841  nbPropagations=17181  nbRevisions=374117
89.51/90.43	     nbUselessRevisions=342873  nbRestartNogoods=0  solvingWckTime=50.914  solvingCpuTime=50.37  expiredTime=no
89.51/90.43	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=85.79  globalCpuTime=85.97
89.51/90.43	       =>  wckTime=90.173  cpuTime=85.92  mem=393M143
89.61/90.59	   
89.61/90.59	s SATISFIABLE
89.61/90.59	v 2938 -2296 -2876 -2348 -2674 -2352 -2646 -2982 -2942 -2618 -2374 -2652 -2226 -2610 -2224 -2486 -2732 -2992 2442 -2870 -2262 -2950 -2360 -2996 -2392 -2816 -2510 -2536 -2760 -2762 -2366 -2290 2510 -2846 -2274 -2312 -2812 -2336 -2252 2276 -2940 -2444 -2590 -2232 -2960 -2268 2894 -2608 -2778 2766 -2356 -2410 2472 -2956 2384 -2496 -2846 -2422 -2474 2510 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2414 2648 2440 -2250 -2948 2220 -2790 -2256 2404 -2272 -2576 -2808 2972 2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2516 -2294 2608 -2406 -2748 -2280 -2324 -2848 -2690 -2588 -2896 -2960 -2246 -2600 -2264 -2588 -2610 -2478 2636 2692 -2266 -2646 2464 -2860 2262 -2640 -2898 -2758 -2592 -2436 2222 -2386 -2600 -2870 -2402 -2972 2490 -2474 -2622 -2620 -2406 -2690 2538 -2680 2774 -2590 2642 -2294 -2936 -2634 -2940 -2776 -2732 -2548 -2738 -2878 -2962 -2650 -2596 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2992 -2318 -2488 -2606 -2744 -2790 -2680 -2290 -2994 -2284 -2620 -2288 2400 -2654 -2466 2334 -2238 -2732 -2650 -2642 -2902 -2408 2404 -2952 -2820 -2750 -2956 -2602 -2916 2936 -2950 2714 -2674 -2786 2912 -2410 -2954 -2816 -2840 2380 -2448 -2368 -2926 -2446 -2760 -2222 -2968 -2624 -2982 -2282 -2982 -2678 -2904 -2760 -2540 2812 -2904 -2580 -2238 -2438 -2630 -2812 -2860 -2324 -2386 -2962 -2516 -2640 -2340 2654 -2856 -2568 -2224 -2846 -2936 -2392 2598 2592 -2520 2394 2536 -2964 -2608 -2762 -2876 -2406 -2600 -2334 -2442 -2930 2764 -2760 -2306 -2886 -2406 -2774 -2686 -2860 -2668 -2454 2260 2850 -2926 -2514 -2288 2884 -2858 -2710 -2524 2234 -2996 -2576 -2266 -2982 2810 -2324 -2920 -2602 2724 -2940 -2288 -2260 -2848 -2296 -2622 -2486 -2950 -2262 -2310 -2274 -2884 -2876 -2222 -2876 -2716 -2966 2524 -2334 -2500 2282 -2382 -2590 2260 -2982 -2332 -2584 -2782 -2980 -2940 -2282 -2438 2252 -2720 -2944 -2648 -2944 -2654 -2492 -2692 2938 -2220 -2766 -2514 -2478 -2384 -2266 -2886 -2662 -2944 -2240 2564 -2890 -2858 -2256 -2944 -2600 -2582 -2440 -2626 -2940 -2248 -2452 -2480 -2692 2896 -2290 -2778 -2230 -2646 -2606 -2378 -2966 -2260 -2384 -2928 2956 -2940 -2924 -2816 -2760 -2614 -2928 -2650 -2648 2246 -2880 -2250 -2472 -2406 -2950 -2940 -2390 -2448 -2314 -2350 -2738 -2894 -2636 -2460 -2622 -2950 -2722 -2900 2296 -2260 -2244 -2622 -2730 2620 -2630 -2688 -2260 -2620 -2306 -2548 -2400 -2684 -2680 2836 -2384 -2394 -2624 -2406 -2954 -2460 -2816 -2290 -2964 -2888 -2916 -2544 -2380 -2806 -2996 -2688 -2548 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 2994 -2240 -2610 -2808 -2414 -2736 -2748 -2996 -2262 -2284 -2452 2772 2272 -2820 -2264 -2622 -2248 -2674 -2896 -2538 2898 -2530 -2956 -2560 -2910 -2712 -2860 -2856 -2726 -2924 -2898 -2806 -2612 -2316 -2726 -2792 -2462 -2824 -2996 -2250 -2910 -2996 -2944 -2264 -2486 -2678 -2476 -2748 -2592 -2690 -2290 2526 2328 -2568 -2942 -2916 -2320 -2876 2722 -2944 -2628 -2956 -2902 -2622 -2222 -2442 2434 -2366 -2514 -2932 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2894 -2400 -2958 -2640 -2488 -2838 -2260 2910 -2432 -2278 -2958 -2290 -2940 2600 -2642 -2862 2282 -2690 -2564 -2514 -2988 2764 -2570 2484 -2638 -2996 -2836 -2904 -2982 2594 2954 -2244 -2914 -2848 -2774 -2666 -2808 -2732 -2440 -2762 -2406 -2268 -2942 -2990 2988 -2280 -2976 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 2610 -2956 -2690 -2814 -2900 -2908 -2712 -2904 -2282 -2692 -2548 2838 2412 -2894 -2420 -2650 -2260 -2512 -2946 2426 -2296 2274 -2290 -2226 2556 -2630 -2880 2530 -2996 -2666 -2912 -2710 2424 -2342 -2890 -2976 -2724 -2548 2756 -2862 -2688 -2670 -2606 -2598 -2606 -2752 -2822 2774 -2918 -2450 -2940 -2916 2886 -2504 -2406 -2374 2638 -2820 -2514 -2898 2676 -2296 -2224 -2830 -2280 -2316 -2842 -2896 -2228 -2802 -2368 -2762 -2468 -2614 -2862 -2640 2434 -2738 2440 -2760 -2220 2436 2420 -2854 -2554 2982 -2498 -2340 -2378 -2468 -2622 -2742 -2544 -2900 -2590 -2960 -2228 2356 -2412 -2940 -2942 -2948 -2772 -2990 -2752 2722 -2956 2220 -2664 -2646 2826 -2926 -2406 -2252 -2260 -2254 -2644 2674 -2794 -2234 -2296 2260 -2370 2936 -2996 -2404 -2872 -2368 2398 2458 -2698 -2454 -2330 -2898 -2808 -2860 -2380 -2496 -2670 -2682 -2884 2344 -2554 -2484 -2820 -2942 -2814 -2608 -2682 -2980 -2724 -2256 -2822 2220 -2860 -2432 -2290 2564 -2910 2978 -2268 -2950 -2372 -2324 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2632 -2256 -2550 -2880 -2946 -2580 2982 2948 -2310 -2284 -2776 -2648 -2262 2734 2812 -2514 -2876 2326 -2766 2924 -2534 -2782 2260 -2950 -2536 -2428 -2950 -2298 -2312 -2284 -2790 -2250 -2570 -2790 -2940 -2550 -2398 -2646 -2732 -2274 -2802 -2366 -2678 -2588 -2272 -2602 -2688 2680 -2772 -2554 -2494 2996 -2756 2688 -2498 -2584 -2594 -2870 -2332 -2950 -2516 -2238 -2730 -2860 -2620 -2996 -2642 -2536 -2276 -2966 -2648 -2290 2454 -2970 -2252 -2832 2386 -2676 -2982 -2296 -2636 -2226 -2604 -2950 -2940 -2228 -2448 -2248 -2260 2296 -2710 -2406 -2290 -2632 -2648 2940 -2900 -2926 -2594 -2486 -2344 2270 -2284 2560 2828 -2862 -2488 -2876 -2290 -2866 -2938 2678 -2948 -2786 -2592 -2366 -2920 -2364 2996 -2240 -2752 -2888 -2956 -2274 -2982 -2996 -2872 -2278 -2862 -2468 -2578 -2646 -2372 -2922 -2426 -2262 -2260 -2990 2254 2280 -2494 -2470 -2760 -2938 -2776 -2926 2260 -2288 -2220 -2640 2830 -2810 -2672 -2776 -2926 -2996 -2910 -2946 -2536 -2344 -2506 -2538 -2950 -2906 2898 -2290 -2708 -2820 2262 -2996 -2510 -2912 -2322 -2574 -2486 -2262 -2708 -2474 -2996 -2956 2912 -2670 -2648 -2460 2788 -2260 -2996 2654 -2954 -2264 -2948 -2248 -2774 -2584 -2624 -2668 -2640 -2758 -2986 2956 -2444 -2338 2732 -2832 -2334 2418 -2650 2908 -2500 -2650 -2226 -2258 -2796 -2738 -2446 -2524 -2922 -2912 -2290 -2976 -2612 -2766 2872 2250 -2682 -2952 2684 -2900 -2514 -2446 -2896 -2938 -2682 -2782 -2904 -2598 -2488 -2570 -2624 -2956 -2276 2248 2610 -2322 -2550 -2588 -2732 -2910 -2514 2648 -2860 -2722 -2314 -2232 2350 -2554 -2956 -2920 -2558 2972 -2646 -2990 -2640 -2848 -2450 -2290 -2282 -2234 -2868 -2830 -2752 -2424 -2738 -2558 -2358 2396 -2246 -2640 -2944 -2790 2274 -2772 2874 2542 -2604 -2370 -2854 -2364 -2454 -2266 -2380 -2594 -2636 -2682 -2412 -2318 -2838 -2856 -2790 -2772 -2260 -2638 -2854 -2840 2880 -2980 -2252 -2688 2658 -2906 -2890 -2862 -2680 -2590 -2980 -2900 -2258 -2294 -2946 -2352 -2492 -2554 -2338 2990 -2250 -2720 -2744 -2378 -2680 -2280 -2244 -2550 -2876 -2944 -2634 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2946 -2340 -2386 -2644 -2784 -2942 -2942 -2872 -2388 -2438 -2590 2276 -2578 -2544 -2982 -2502 -2558 2992 -2352 -2978 -2250 -2606 -2622 -2608 -2250 -2482 -2956 -2556 -2716 -2732 -2690 -2924 -2576 -2938 -2940 -2988 -2570 2648 -2794 -2682 -2828 -2650 -2702 -2646 2318 -2500 -2304 -2940 2296 -2916 -2590 -2686 -2662 -2868 -2250 -2762 -2366 -2820 -2796 -2808 -2748 -2992 -2940 -2952 -2540 -2478 -2554 -2376 -2274 -2942 -2688 -2996 -2984 -2692 2994 -2898 -2562 -2280 -2690 -2904 -2790 -2550 2736 -2572 -2512 -2802 -2996 -2902 -2646 2910 -2722 -2904 -2980 -2982 -2732 -2304 2294 -2358 2852 2580 -2950 -2896 -2722 2628 -2476 2288 -2644 -2422 -2990 -2918 -2830 -2956 -2762 -2682 -2686 -2624 -2302 -2890 -2702 -2220 2752 -2912 -2644 -2402 -2938 -2876 -2856 2782 -2902 -2876 -2500 -2262 -2720 -2712 -2946 -2410 2530 -2704 2278 -2714 -2876 -2806 -2894 2414 -2474 -2830 2906 -2270 -2512 -2220 -2552 -2556 -2248 -2830 2946 -2762 -2292 -2720 -2486 -2762 -2806 -2728 -2876 -2600 -2362 -2900 -2454 2702 -2498 -2692 -2824 -2872 -2940 -2358 -2768 -2668 -2594 -2982 -2742 -2574 -2234 -2268 -2680 -2944 -2698 -2392 -2702 -2888 -2554 2630 -2244 -2268 2646 -2406 -2980 -2746 -2768 -2582 -2602 -2652 -2582 -2598 -2512 -2722 -2816 -2836 -2954 -2366 -2262 -2280 -2860 -2732 -2776 -2288 -2978 -2280 -2944 -2720 -2872 -2840 -2942 -2590 -2354 2228 -2934 2622 2724 -2860 -2878 -2250 -2894 -2292 -2770 -2768 -2478 -2960 -2994 -2938 -2868 -2406 -2982 -2582 -2354 -2794 -2906 -2294 -2364 -2744 -2272 -2682 -2624 -2546 2550 -2290 -2506 2262 -2916 -2440 2350 -2266 2416 -2222 -2366 -2988 -2582 -2278 -2230 -2680 -2942 -2564 -2514 -2542 -2952 -2754 -2814 -2946 -2406 -2384 -2442 -2818 -2720 2280 -2564 2950 -2858 -2292 -2902 -2242 2900 -2328 -2266 -2982 -2926 -2698 -2680 -2820 -2682 -2882 2290 -2856 -2860 -2256 -2260 -2536 -2220 2868 -2996 -2240 -2960 -2648 2986 2440 -2990 -2562 -2426 2956 -2652 -2552 -2262 -2384 -2446 -2292 2672 -2900 -2730 -2424 -2830 -2414 -2996 2890 -2326 -2902 -2470 2836 2814 -2956 -2764 -2718 -2370 -2446 2412 -2220 -2352 -2944 -2292 -2784 -2254 -2864 -2590 -2402 -2460 -2582 -2990 -2512 2400 -2640 2564 -2860 -2996 -2300 -2996 -2864 -2704 -2610 -2260 -2936 -2266 -2230 2288 -2298 -2944 -2406 -2406 2524 -2512 -2234 -2868 -2606 2490 -2988 2228 2524 -2502 2938 -2938 -2352 -2634 2434 -2762 -2312 -2862 2524 -2926 -2504 -2226 -2298 -2950 -2688 2732 -2706 -2220 -2916 -2874 -2256 -2286 -2720 -2242 -2512 -2882 -2814 -2772 2834 2436 -2364 -2690 -2684 -2692 -2646 2628 -2260 -2606 -2598 -2658 -2298 -2566 -2642 -2818 -2994 -2646 -2680 -2262 -2940 -2424 -2358 -2926 -2648 2222 -2350 -2860 -2646 -2830 2978 -2924 -2626 -2996 -2322 -2284 -2584 -2446 -2700 -2758 -2630 -2936 -2424 -2550 -2640 2610 -2688 -2532 -2412 -2242 -2314 -2382 -2296 -2636 -2426 -2594 -2472 -2792 -2916 -2460 2792 -2982 -2916 -2830 -2388 -2688 -2954 -2898 -2996 -2340 -2948 -2754 -2602 -2454 -2220 -2692 -2494 -2292 -2830 -2220 -2904 -2356 2260 -2390 -2898 -2384 -2270 2554 -2580 2944 -2904 -2978 -2934 -2330 -2662 2220 -2994 -2230 -2944 -2346 -2640 2428 -2340 2560 2848 -2942 -2242 -2950 -2512 2594 -2796 -2722 -2846 -2934 -2296 -2762 -2942 2284 -2956 -2958 -2578 -2580 -2446 2398 -2982 -2986 -2950 -2220 -2996 2894 -2404 -2952 -2942 -2354 2936 -2674 -2270 2496 -2920 -2402 -2544 -2226 -2368 2642 -2634 -2858 -2620 -2918 -2480 2274 -2934 -2588 -2496 2264 -2902 -2576 -2290 -2944 -2552 2698 -2548 2554 -2512 -2920 -2632 -2538 -2290 -2376 -2738 -2926 2706 -2820 -2240 -2682 -2956 2654 -2466 -2976 -2898 -2940 -2588 2220 2632 -2320 -2234 2510 -2230 -2438 -2480 -2422 -2252 -2766 -2646 2432 -2220 -2720 -2996 -2444 -2692 -2378 2714 -2548 -2264 -2500 2524 -2550 -2724 2960 -2956 -2774 -2522 -2496 -2550 -2752 -2954 -2624 -2224 -2840 -2690 -2806 -2842 2476 -2394 -2668 -2824 -2692 -2972 2526 -2642 -2980 -2688 -2728 -2820 -2938 2360 -2910 -2910 -2904 -2692 2974 2812 2282 2436 -2720 -2296 2590 -2980 -2240 -2570 -2618 -2338 -2974 2220 -2902 -2238 -2222 2236 -2446 -2706 -2762 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2870 -2982 -2918 -2320 -2512 -2480 -2288 -2324 -2352 2854 -2950 -2246 -2906 -2758 -2438 -2934 -2860 -2274 -2550 -2634 2290 -2982 -2424 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2256 -2380 -2910 2444 -2886 -2708 -2624 -2220 -2946 -2224 -2814 -2642 -2980 -2346 -2680 2222 2510 -2860 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 -2224 2670 -2350 -2850 -2704 -2682 -2994 2652 -2504 -2708 -2766 -2530 2260 2260 -2860 -2264 -2294 -2776 2370 -2946 -2980 -2698 -2324 -2968 2472 -2380 -2448 -2422 -2760 2286 -2498 -2930 -2728 -2522 -2784 -2936 -2938 -2842 -2610 -2662 -2440 2768 -2606 -2536 -2922 2750 -2698 -2720 -2916 2724 -2942 -2450 -2590 -2760 -2274 -2382 -2224 -2590 2966 2900 -2820 -2722 2268 -2810 2550 -2590 -2408 -2446 2874 -2950 -2650 -2630 -2306 -2380 -2852 -2898 -2440 -2382 -2406 2936 -2754 -2402 -2722 -2472 -2692 -2504 -2950 -2680 -2710 -2840 -2616 2748 -2940 -2730 -2676 2330 -2974 -2784 2398 -2336 -2870 -2270 -2536 -2830 -2880 -2350 -2582 2958 -2640 -2776 -2686 -2570 -2586 -2538 -2404 -2422 -2366 -2278 -2410 -2858 -2768 -2240 -2724 -2936 -2566 2442 2510 -2674 -2830 -2722 -2920 -2672 -2366 2346 -2790 -2722 -2388 -2582 -2762 -2694 -2484 2684 -2260 -2688 -2684 2904 2798 -2916 -2446 -2244 -2950 -2500 -2356 2444 -2632 2742 -2732 -2636 -2808 2220 -2404 -2838 2564 -2708 -2514 -2942 -2366 -2260 -2876 -2298 -2568 -2580 -2980 -2406 -2648 2220 -2552 -2226 -2638 -2980 2256 -2400 -2914 2928 -2876 -2562 2232 -2366 -2396 -2438 2220 -2648 -2648 2416 -2262 -2956 -2486 -2990 -2948 -2950 -2642 -2870 -2798 -2830 2816 -2904 -2830 -2980 -2916 2894 -2464 -2402 -2306 -2602 -2284 2594 -2648 2716 -2966 -2996 -2446 -2670 -2988 -2292 -2260 -2324 -2292 -2228 -2280 -2856 -2728 -2264 -2914 -2864 -2822 -2950 -2274 -2920 -2938 -2664 -2312 -2968 -2644 -2490 -2646 -2732 -2858 -2938 2646 -2942 -2234 -2576 -2728 -2346 -2930 -2894 2560 -2990 2986 -2286 -2574 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2708 -2674 -2578 2800 -2788 -2580 -2332 2962 -2406 2316 -2452 -2234 -2260 -2922 -2642 -2440 -2302 -2480 -2292 -2610 -2850 -2674 -2934 -2234 -2396 -2820 -2680 2374 -2502 -2220 -2240 -2860 -2684 2420 -2354 -2390 -2474 -2420 -2996 -2676 -2902 -2584 -2914 -2668 -2454 -2762 -2410 -2278 -2498 -2898 2224 -2288 -2612 -2742 -2956 -2572 -2850 -2904 -2648 -2446 -2920 -2722 -2366 -2756 -2342 2380 -2904 -2290 -2972 -2688 -2896 2492 -2222 -2332 -2592 -2840 2664 -2452 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2634 -2720 2402 -2682 2266 2278 2450 -2732 -2938 -2582 2240 -2934 2256 -2876 2238 -2494 -2552 -2774 -2324 2762 -2322 -2652 -2604 -2982 -2446 -2372 -2966 -2250 -2980 -2966 -2222 -2850 -2692 -2944 -2514 -2622 -2348 2838 -2408 -2642 -2904 -2942 -2440 -2956 -2336 2478 2274 -2788 -2624 -2584 -2296 -2564 -2496 -2302 -2486 -2616 -2282 -2976 2910 -2996 -2950 -2330 -2406 -2950 -2918 -2932 -2614 2264 -2474 -2584 -2590 -2650 2516 -2898 -2904 -2764 -2952 -2906 -2948 -2766 -2366 -2774 -2550 -2820 -2898 2380 -2824 -2728 -2396 -2296 -2750 -2458 -2940 -2870 2872 -2708 2464 -2606 -2938 2786 2944 -2748 -2732 -2846 2678 -2220 -2638 -2822 -2868 2810 -2446 -2480 -2988 -2882 -2244 -2820 -2992 -2260 -2678 -2234 -2934 2468 -2322 -2668 2338 -2594 2816 -2952 -2670 -2336 -2764 2234 -2936 -2294 -2720 -2798 -2368 2580 -2764 2452 -2404 -2272 -2690 -2506 -2514 -2294 -2610 -2292 -2920 -2942 -2236 -2938 -2278 -2982 -2238 -2462 2860 -2900 -2250 -2812 -2886 -2270 -2692 -2576 -2260 -2950 -2380 -2690 -2224 -2586 -2400 2684 -2810 -2942 -2684 -2904 2620 -2770 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2456 -2432 -2990 2328 -2636 -2736 -2830 -2578 -2778 2784 -2654 -2366 -2274 -2366 -2486 -2718 -2232 -2250 -2258 -2486 -2220 -2820 -2932 -2942 -2278 -2876 -2570 -2442 -2722 -2996 -2802 -2966 2222 -2220 -2364 -2944 -2472 2876 2472 -2956 -2950 -2428 -2950 -2946 -2676 -2282 -2226 -2538 -2864 -2550 2948 2440 -2486 -2258 -2476 -2620 -2550 -2382 -2860 -2314 2428 -2980 -2436 -2386 -2224 -2520 -2314 -2272 -2480 -2438 -2950 -2338 -2840 -2876 -2256 2644 2706 -2692 -2900 -2718 -2688 -2904 -2976 -2956 -2814 -2598 -2996 2990 -2990 2494 -2990 -2774 -2482 -2250 -2900 -2298 -2862 2558 -2440 2976 -2238 -2590 -2534 -2996 -2722 2446 -2380 -2986 -2944 -2738 -2938 -2510 -2744 2242 -2294 -2938 -2900 -2850 -2356 -2454 -2944 -2562 2966 -2990 -2514 2288 -2926 -2906 -2306 -2940 -2860 -2544 -2692 -2534 -2530 -2860 -2746 2808 -2904 -2898 -2398 2386 -2982 2730 -2606 -2492 -2668 -2886 -2944 -2828 -2976 -2760 -2898 -2640 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2438 2302 -2302 2632 -2330 -2550 -2264 2466 -2922 -2270 -2346 -2780 2996 -2606 -2846 2402 -2366 -2606 -2514 -2900 2236 -2290 -2944 -2516 -2982 -2606 -2880 -2318 -2790 -2850 2298 -2260 -2448 -2664 -2954 -2250 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2278 -2860 -2250 -2336 -2956 -2534 -2438 -2942 -2924 -2872 -2908 -2354 2654 -2800 -2778 -2898 -2284 -2488 2534 -2940 -2720 -2220 -2746 -2682 -2604 -2662 -2950 -2274 2822 -2494 -2952 -2278 -2624 -2350 -2650 -2860 -2494 -2600 2446 -2966 -2912 -2752 -2988 -2916 -2492 -2298 -2692 -2364 -2960 -2682 -2460 -2792 -2682 -2522 -2308 -2554 -2738 -2284 -2232 -2242 -2468 -2738 -2408 -2990 -2354 2666 -2982 -2860 -2942 -2446 -2792 -2650 -2434 -2444 -2938 -2828 -2330 -2660 -2424 -2692 2912 -2836 -2408 -2504 2248 -2864 2676 2260 2466 -2634 -2980 -2954 -2640 -2568 2722 -2848 -2480 -2966 2584 -2334 2224 -2806 -2778 -2718 -2434 -2310 -2496 -2918 -2976 -2732 -2814 2232 -2910 -2974 -2608 -2956 2936 -2562 -2490 -2510 -2668 -2284 -2428 -2956 -2484 -2754 -2922 2240 -2404 -2280 -2966 2926 -2338 -2556 -2622 -2810 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2818 -2942 -2722 -2230 -2734 -2982 -2860 -2400 -2862 -2694 -2346 -2318 -2634 -2468 -2266 -2220 -2300 -2310 -2494 -2860 -2334 -2526 -2596 -2550 -2504 -2682 -2980 -2508 -2588 -2858 -2252 -2554 2316 -2588 -2712 -2598 -2554 -2904 -2310 -2630 -2610 -2580 -2990 -2548 -2296 -2648 -2928 2680 -2250 -2238 -2670 -2222 -2366 -2744 -2794 -2604 -2474 -2798 2584 -2638 -2920 -2938 -2446 -2474 -2916 2550 -2272 -2964 -2582 -2942 2480 -2772 2698 -2678 -2646 2452 2292 2934 -2956 -2312 -2936 -2396 2878 -2808 -2444 -2710 -2340 -2562 -2602 -2956 -2748 -2248 -2392 2846 -2790 -2282 -2536 -2822 2314 2220 -2284 -2744 -2424 -2406 -2720 -2878 -2996 -2644 -2450 -2928 -2688 -2366 -2908 2818 -2428 -2580 -2996 2272 -2680 -2680 2782 2466 -2284 -2532 -2316 -2904 -2398 2956 -2956 2296 -2684 -2996 2440 -2420 -2644 -2256 -2676 -2264 2948 -2732 -2284 -2950 -2324 -2860 2810 -2702 -2862 -2268 -2856 -2508 -2892 -2398 -2916 -2944 2648 -2708 -2770 -2260 -2876 -2510 -2916 -2688 -2250 2744 -2290 -2494 -2290 -2244 -2260 2426 -2790 -2694 -2920 -2292 -2688 -2438 -2442 2314 -2956 2384 -2290 -2508 2514 -2538 -2220 2724 -2902 -2270 -2904 -2516 2628 -2500 2556 -2980 -2316 -2406 2718 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2648 -2536 -2942 -2828 -2640 -2448 -2252 -2420 2658 2558 -2910 -2688 -2636 -2404 -2286 -2960 -2932 -2260 -2904 -2320 -2856 -2732 2634 -2366 -2356 2932 -2940 -2680 -2780 -2434 -2528 -2372 -2698 -2290 -2492 -2258 -2606 -2930 -2916 -2220 -2692 -2658 -2330 -2942 -2760 -2486 -2980 2962 -2956 -2978 2564 -2248 2918 2282 -2550 -2624 -2748 -2484 2234 2380 -2698 -2708 -2670 -2460 -2314 2614 -2944 -2522 2260 2250 -2220 -2608 -2944 -2650 -2646 -2746 -2942 2784 -2974 -2958 -2220 2984 -2818 -2490 -2736 -2720 -2704 -2802 2422 -2448 -2898 -2738 -2854 -2296 
89.61/90.59	d NODES 3001
89.61/90.59	d CHECKS 100991031
89.61/90.59	   
89.61/90.59	   totalWckTime=90.397  totalCpuTime=86.12

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097838-1247414083/watcher-2097838-1247414083 -o /tmp/evaluation-result-2097838-1247414083/solver-2097838-1247414083 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097838-1247414083.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 1211
/proc/meminfo: memFree=1706528/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=862776 CPUtime=0.03
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 2418 0 1 0 2 1 0 0 18 0 7 0 28475778 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 215694 1991 910 9 0 210609 0
[pid=1211/tid=1212] ppid=1209 vsize=862776 CPUtime=0.02
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 1707 0 1 0 2 0 0 0 18 0 7 0 28475779 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=862776 CPUtime=0
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 2 0 0 0 0 0 0 0 18 0 7 0 28475781 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=862776 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 11 0 0 0 0 0 0 0 19 0 7 0 28475781 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=862776 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 28475781 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=862776 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 7 0 28475783 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=862776 CPUtime=0
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 15 0 0 0 0 0 0 0 19 0 7 0 28475783 883482624 1991 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

[startup+0.0610631 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 1211
/proc/meminfo: memFree=1706528/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=864148 CPUtime=0.07
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 3144 0 1 0 5 2 0 0 18 0 9 0 28475778 884887552 2629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216489 3109 1658 9 0 210981 0
[pid=1211/tid=1212] ppid=1209 vsize=865984 CPUtime=0.06
/proc/1211/task/1212/stat : 1212 (java) D 1209 1211 31432 0 -1 64 2803 0 1 0 5 1 0 0 20 0 9 0 28475779 886767616 3189 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 18446744072099781622 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=865984 CPUtime=0
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28475781 886767616 3710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28475781 886931456 3854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28475781 886931456 3854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 886931456 3854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=866144 CPUtime=0.01
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 231 0 0 0 1 0 0 0 17 0 9 0 28475783 886931456 3854 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864148

[startup+0.219441 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 1211
/proc/meminfo: memFree=1706528/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=866144 CPUtime=0.2
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 4912 0 1 0 17 3 0 0 18 0 9 0 28475778 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216536 4329 1888 9 0 211014 0
[pid=1211/tid=1212] ppid=1209 vsize=866144 CPUtime=0.17
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 3980 0 1 0 15 2 0 0 20 0 9 0 28475779 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4125925328 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28475781 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28475781 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28475781 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=866144 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=866144 CPUtime=0.01
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 234 0 0 0 1 0 0 0 16 0 9 0 28475783 886931456 4329 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 866144

[startup+0.302447 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 1211
/proc/meminfo: memFree=1706528/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=866380 CPUtime=0.28
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 5866 0 1 0 25 3 0 0 18 0 9 0 28475778 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216595 5232 1981 9 0 211053 0
[pid=1211/tid=1212] ppid=1209 vsize=866380 CPUtime=0.23
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 4882 0 1 0 21 2 0 0 21 0 9 0 28475779 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 104584322 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=866380 CPUtime=0
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28475781 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=866380 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28475781 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=866380 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28475781 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=866380 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=866380 CPUtime=0.04
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 286 0 0 0 4 0 0 0 16 0 9 0 28475783 887173120 5232 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701498 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 1211
/proc/meminfo: memFree=1706528/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867500 CPUtime=0.68
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 15495 0 1 0 61 7 0 0 18 0 9 0 28475778 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216875 14857 2001 9 0 211333 0
[pid=1211/tid=1212] ppid=1209 vsize=867500 CPUtime=0.51
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 14176 0 1 0 46 5 0 0 23 0 9 0 28475779 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 103211042 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28475781 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28475781 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28475781 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867500 CPUtime=0.15
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 621 0 0 0 15 0 0 0 16 0 9 0 28475783 888320000 14857 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867500

[startup+1.50258 s]
/proc/loadavg: 2.12 2.04 2.01 3/89 1220
/proc/meminfo: memFree=1616408/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867500 CPUtime=1.47
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 31435 0 1 0 134 13 0 0 18 0 9 0 28475778 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216875 30763 2029 9 0 211333 0
[pid=1211/tid=1212] ppid=1209 vsize=867500 CPUtime=1.11
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 15796 0 1 0 105 6 0 0 25 0 9 0 28475779 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4126410818 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867500 CPUtime=0.15
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 14295 0 0 0 10 5 0 0 16 0 9 0 28475781 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28475781 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28475781 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867500 CPUtime=0.18
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 642 0 0 0 18 0 0 0 15 0 9 0 28475783 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28475783 888320000 30763 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28475783 888320000 30763 996147200 134512640 134550932 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) 867500

[startup+3.10275 s]
/proc/loadavg: 2.12 2.04 2.01 3/89 1220
/proc/meminfo: memFree=1584856/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867500 CPUtime=3.06
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 34522 0 1 0 290 16 0 0 18 0 9 0 28475778 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216875 33848 2029 9 0 211333 0
[pid=1211/tid=1212] ppid=1209 vsize=867500 CPUtime=2.51
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 15798 0 1 0 244 7 0 0 25 0 9 0 28475779 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 102724625 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867500 CPUtime=0.33
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 17380 0 0 0 27 6 0 0 16 0 9 0 28475781 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28475781 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28475781 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867500 CPUtime=0.18
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 642 0 0 0 18 0 0 0 15 0 9 0 28475783 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28475783 888320000 33848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28475783 888320000 33848 996147200 134512640 134550932 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) 867500

[startup+6.30107 s]
/proc/loadavg: 2.11 2.03 2.01 3/89 1220
/proc/meminfo: memFree=1565656/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867500 CPUtime=6.22
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 37741 0 1 0 605 17 0 0 18 0 9 0 28475778 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216875 37061 2032 9 0 211333 0
[pid=1211/tid=1212] ppid=1209 vsize=867500 CPUtime=5.45
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 15831 0 1 0 538 7 0 0 25 0 9 0 28475779 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4126941851 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867500 CPUtime=0.52
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 20547 0 0 0 45 7 0 0 17 0 9 0 28475781 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28475781 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28475781 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28475783 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867500 CPUtime=0.21
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 661 0 0 0 21 0 0 0 16 0 9 0 28475783 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28475783 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867500 CPUtime=0
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28475783 888320000 37061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867500

[startup+12.7027 s]
/proc/loadavg: 2.10 2.03 2.01 3/89 1220
/proc/meminfo: memFree=1565528/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867500 CPUtime=12.56
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 37748 0 1 0 1239 17 0 0 18 0 9 0 28475778 888320000 37067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216875 37067 2032 9 0 211333 0
[pid=1211/tid=1212] ppid=1209 vsize=867500 CPUtime=11.78
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 15835 0 1 0 1171 7 0 0 25 0 9 0 28475779 888320000 37067 996147200 134512640 134550932 4294955968 18446744073709551615 4126938451 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867500 CPUtime=0.52
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 20547 0 0 0 45 7 0 0 16 0 9 0 28475781 888320000 37067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0

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

/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.86
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1006 1808 0 0 42 1 40 3 15 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 867824

[startup+76.8015 s]
/proc/loadavg: 2.12 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284888/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867824 CPUtime=76.04
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 153349 1808 1 0 7502 59 40 3 18 0 9 0 28475778 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216956 107706 2641 9 0 211414 0
[pid=1211/tid=1212] ppid=1209 vsize=867824 CPUtime=73.08
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 33716 1808 1 0 7252 13 40 3 25 0 9 0 28475779 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4126941892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867824 CPUtime=2.91
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 117747 1808 0 0 207 41 40 3 16 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 23 1808 0 0 0 0 40 3 16 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.86
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1007 1808 0 0 42 1 40 3 16 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.04
Current children cumulated vsize (KiB) 867824

[startup+83.2012 s]
/proc/loadavg: 2.11 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284760/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867824 CPUtime=82.38
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 153349 1808 1 0 8136 59 40 3 18 0 9 0 28475778 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216956 107706 2641 9 0 211414 0
[pid=1211/tid=1212] ppid=1209 vsize=867824 CPUtime=79.42
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 33716 1808 1 0 7886 13 40 3 25 0 9 0 28475779 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4127105328 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867824 CPUtime=2.91
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 117747 1808 0 0 207 41 40 3 16 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 23 1808 0 0 0 0 40 3 16 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.86
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1007 1808 0 0 42 1 40 3 16 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) R 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.38
Current children cumulated vsize (KiB) 867824

[startup+86.4015 s]
/proc/loadavg: 2.10 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284760/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867824 CPUtime=85.55
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 153349 1808 1 0 8453 59 40 3 18 0 9 0 28475778 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216956 107706 2641 9 0 211414 0
[pid=1211/tid=1212] ppid=1209 vsize=867824 CPUtime=82.59
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 33716 1808 1 0 8203 13 40 3 25 0 9 0 28475779 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4126467491 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867824 CPUtime=2.91
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 117747 1808 0 0 207 41 40 3 16 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 23 1808 0 0 0 0 40 3 16 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.86
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1007 1808 0 0 42 1 40 3 16 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107706 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.55
Current children cumulated vsize (KiB) 867824

[startup+88.0027 s]
/proc/loadavg: 2.10 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284760/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867824 CPUtime=87.14
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 153358 1808 1 0 8612 59 40 3 18 0 9 0 28475778 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216956 107715 2641 9 0 211414 0
[pid=1211/tid=1212] ppid=1209 vsize=867824 CPUtime=84.16
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 33716 1808 1 0 8360 13 40 3 25 0 9 0 28475779 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4127570195 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867824 CPUtime=2.91
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 117747 1808 0 0 207 41 40 3 16 0 9 0 28475781 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 23 1808 0 0 0 0 40 3 16 0 9 0 28475781 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.88
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1016 1808 0 0 44 1 40 3 15 0 9 0 28475783 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107715 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 87.14
Current children cumulated vsize (KiB) 867824

[startup+89.6028 s]
/proc/loadavg: 2.09 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284760/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867824 CPUtime=88.72
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 153367 1808 1 0 8770 59 40 3 18 0 9 0 28475778 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216956 107723 2641 9 0 211414 0
[pid=1211/tid=1212] ppid=1209 vsize=867824 CPUtime=85.73
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 33716 1808 1 0 8516 14 40 3 25 0 9 0 28475779 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4127505503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867824 CPUtime=2.91
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 117747 1808 0 0 207 41 40 3 17 0 9 0 28475781 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 23 1808 0 0 0 0 40 3 16 0 9 0 28475781 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.9
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1025 1808 0 0 46 1 40 3 15 0 9 0 28475783 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107723 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.72
Current children cumulated vsize (KiB) 867824

[startup+90.4029 s]
/proc/loadavg: 2.09 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284696/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=867824 CPUtime=89.51
/proc/1211/stat : 1211 (java) S 1209 1211 31432 0 -1 0 153376 1808 1 0 8849 59 40 3 18 0 9 0 28475778 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 216956 107731 2641 9 0 211414 0
[pid=1211/tid=1212] ppid=1209 vsize=867824 CPUtime=86.51
/proc/1211/task/1212/stat : 1212 (java) R 1209 1211 31432 0 -1 64 33720 1808 1 0 8594 14 40 3 25 0 9 0 28475779 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4127563475 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1213] ppid=1209 vsize=867824 CPUtime=2.91
/proc/1211/task/1213/stat : 1213 (java) S 1209 1211 31432 0 -1 64 117747 1808 0 0 207 41 40 3 17 0 9 0 28475781 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1214] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1214/stat : 1214 (java) S 1209 1211 31432 0 -1 64 23 1808 0 0 0 0 40 3 16 0 9 0 28475781 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1215] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1215/stat : 1215 (java) S 1209 1211 31432 0 -1 64 28 1808 0 0 0 0 40 3 15 0 9 0 28475781 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1216] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1216/stat : 1216 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 18 0 9 0 28475783 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1217] ppid=1209 vsize=867824 CPUtime=0.91
/proc/1211/task/1217/stat : 1217 (java) S 1209 1211 31432 0 -1 64 1030 1808 0 0 47 1 40 3 15 0 9 0 28475783 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1219] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1219/stat : 1219 (java) S 1209 1211 31432 0 -1 64 1 1808 0 0 0 0 40 3 19 0 9 0 28475783 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1211/tid=1220] ppid=1209 vsize=867824 CPUtime=0.43
/proc/1211/task/1220/stat : 1220 (java) S 1209 1211 31432 0 -1 64 19 1808 0 0 0 0 40 3 15 0 9 0 28475783 888651776 107731 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 89.51
Current children cumulated vsize (KiB) 867824

[startup+90.6031 s]
/proc/loadavg: 2.09 2.05 2.01 3/89 1224
/proc/meminfo: memFree=1284696/2055920 swapFree=4192812/4192956
[pid=1211] ppid=1209 vsize=0 CPUtime=89.7
/proc/1211/stat : 1211 (java) Z 1209 1211 31432 0 -1 12 153414 1808 1 0 8868 59 40 3 16 0 2 0 28475778 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1211/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 89.7
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 90.6644
CPU time (s): 89.7894
CPU user time (s): 89.0925
CPU system time (s): 0.696894
CPU usage (%): 99.0349
Max. virtual memory (cumulated for all children) (KiB): 867912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.0925
system time used= 0.696894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155222
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= 4415
involuntary context switches= 6371

runsolver used 0.12598 second user time and 0.297954 second system time

The end

Launcher Data 

Begin job on node7 at 2009-07-12 17:54:44
IDJOB=2097838
IDBENCH=57848
IDSOLVER=774
FILE ID=node7/2097838-1247414083
PBS_JOBID= 9510629
Free space on /tmp= 66128 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-9.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097838-1247414083/watcher-2097838-1247414083 -o /tmp/evaluation-result-2097838-1247414083/solver-2097838-1247414083 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097838-1247414083.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7d795480c7331ac1d2900d14fd419266
RANDOM SEED=374029578

node7.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1707008 kB
Buffers:         40580 kB
Cached:         161448 kB
SwapCached:          0 kB
Active:         191436 kB
Inactive:        99144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11036 kB
Writeback:           0 kB
Mapped:         109016 kB
Slab:            43364 kB
Committed_AS:  1006084 kB
PageTables:       2004 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= 66124 MiB
End job on node7 at 2009-07-12 17:56:15