Trace number 2097739

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 ACSAT 36.6144 36.9542

DiagnosticValue
CHECKS8400220
NODES1750

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-9.xml
MD5SUM7c8eb97a2deab43c8771e25856b5f843
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 benchmark36.6144
Satisfiable
(Un)Satisfiability was proved
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
Global constraints used (with number of constraints)

Solver Data 

0.04/0.08	
0.04/0.08	Abscon 112 (May, 2008)
0.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=mac.xml
0.29/0.31	   
0.29/0.31	   instance
0.29/0.31	     name=HOME/instance-2097739-1247413914.xml
0.29/0.35	   
0.29/0.35	   domains being loaded...
0.49/0.52	   
0.49/0.52	   variables being loaded...
0.78/0.82	     nbVariables=1750  nbDomainTypes=30  minDomainSize=82  maxDomainSize=802  nbTotalValues=813037
0.78/0.82	       =>  wckTime=0.582  cpuTime=0.43  mem=35M256
0.78/0.82	   
0.78/0.82	   predicates being loaded...
0.78/0.88	   
0.78/0.88	   constraints being loaded...
20.74/20.91	   
20.74/20.91	   INFO : Stopping converting binary constraints (cpu=20.08, mem = 73M230)
29.84/30.12	     nbConstraints=16964  nbGlobalConstraints=40  nbMergedConstraints=15125  nbConvertedConstraints=103
29.84/30.12	     nbConvertConstraintsChecks=41120120  nbExtensionStructures=101  nbSharedExtensionStructures=2
29.84/30.12	     nbConflictsStructures=338  nbSharedConflictsStructures=216  nbUnbuiltConflictsStructures=6819
29.84/30.12	     nbSharedBinaryRepresentations=107426  nbEvaluationManagers=7056  nbSharedEvaluationManagers=9765  minDegree=3
29.84/30.12	     maxDegree=58  minArity=2  avgArity=2.01  maxArity=8  nbGenerators=0  nbFusions=0  symmetryWckTime=3.87
29.84/30.12	     symmetryCpuTime=3.55  nbCliques=40
29.84/30.12	       =>  wckTime=29.886  cpuTime=28.34  mem=106M56
30.24/30.57	   
30.24/30.57	   solver IterativeSystematicSolver being built... 
30.72/31.08	   
30.72/31.08	   INFO : Forward propagation technique limited 
31.02/31.31	       =>  wckTime=31.075  cpuTime=28.77  mem=173M484
35.78/36.13	   
35.78/36.13	   preprocessing
35.78/36.13	     nbConstraintChecks=8274580  nbValidityChecks=551374  nbPropagations=2330  nbRevisions=62438
35.78/36.13	     nbUselessRevisions=56170  nbRemovedValues=801456  detectedInconsistency=no
35.78/36.13	       =>  wckTime=4.798  cpuTime=4.73  mem=173M484
36.47/36.82	   
36.47/36.82	   search
36.47/36.82	     run=0  nbConstraintChecks=125635  nbValidityChecks=320056  minDepth=1751  maxDepth=1750  nbPropagations=5687
36.47/36.82	     nbRevisions=117655  nbUselessRevisions=109710  nbAssignments=1750  nbFailedAssignments=0  nbBacktracks=0
36.47/36.82	     nbVisitedNodes=1751  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
36.47/36.82	     nbDEliminables=?  nbPEliminables=?
36.47/36.82	       =>  wckTime=5.489  cpuTime=5.37  mem=174M444
36.47/36.82	   
36.47/36.82	   global
36.47/36.82	     nbConstraintChecks=8400215  nbValidityChecks=871430  nbPropagations=8017  nbRevisions=180093
36.47/36.82	     nbUselessRevisions=165880  nbRestartNogoods=0  solvingWckTime=5.491  solvingCpuTime=5.37  expiredTime=no
36.47/36.82	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=34.09  globalCpuTime=34.2
36.47/36.82	       =>  wckTime=36.583  cpuTime=34.15  mem=174M444
36.47/36.89	   
36.47/36.89	s SATISFIABLE
36.47/36.89	v 2264 -2700 -2882 -2762 -2262 -2448 -2880 -2682 -2566 -2294 -2838 -2542 -2786 -2734 -2690 -2882 -2882 -2486 -2786 -2456 -2574 -2466 -2604 -2494 -2536 -2190 -2494 -2786 -2472 -2342 -2678 -2838 -2774 -2186 -2714 -2120 -2446 -2736 -2526 -2574 -2826 -2448 -2206 -2504 -2842 -2526 -2758 -2574 -2762 -2160 -2668 -2800 -2700 -2880 -2248 -2700 -2256 -2638 -2432 2874 -2762 -2840 2444 -2634 -2568 -2842 -2774 -2446 2352 -2330 -2872 -2600 -2774 -2730 -2190 -2692 -2444 -2526 -2378 -2762 -2526 -2912 -2834 -2588 2750 -2494 2562 -2826 -2786 -2678 -2650 -2586 -2798 -2192 -2550 -2206 -2444 -2700 -2740 -2854 -2692 2718 -2558 -2566 -2140 -2534 -2520 -2758 -2486 -2534 -2786 -2440 -2814 -2408 2748 -2514 -2302 -2294 -2728 -2566 2440 -2892 -2880 -2220 -2432 -2700 -2566 -2226 -2520 -2838 -2800 -2482 2550 -2878 -2374 -2486 2362 -2256 -2174 -2838 -2520 -2818 -2882 -2852 -2230 -2798 -2566 -2854 -2294 -2406 -2920 -2296 -2408 -2786 -2640 -2798 -2526 -2198 -2762 -2456 -2892 -2762 -2544 -2664 -2902 -2858 2158 -2640 -2526 -2734 -2868 -2446 -2450 -2598 -2558 -2426 -2152 -2704 -2226 -2784 -2408 -2920 -2296 2446 -2584 -2740 -2826 -2640 -2408 -2740 -2654 -2768 -2870 2758 -2340 -2448 -2902 -2408 -2740 2880 -2812 -2440 -2446 -2340 -2858 -2190 -2758 -2250 2248 -2338 -2448 -2446 -2366 -2202 -2472 -2752 -2308 -2612 -2628 -2534 -2652 2342 -2342 -2580 -2526 -2494 -2534 2196 2798 -2732 -2880 -2686 -2526 -2700 2736 -2798 2816 -2882 -2652 -2482 -2526 -2880 -2600 -2486 -2780 -2590 -2266 2836 2328 -2396 -2880 2798 2160 -2162 -2776 -2880 2140 -2526 2750 -2690 -2560 -2120 -2544 -2740 -2718 2614 -2504 -2184 -2598 2810 -2910 -2678 -2172 -2160 -2640 -2640 -2230 2386 -2574 -2800 -2730 -2722 -2834 -2440 -2762 -2494 -2160 2504 -2920 -2268 -2566 -2722 -2522 -2740 -2332 -2660 -2526 2866 -2176 -2638 -2758 2730 -2448 -2842 -2542 -2586 2486 -2638 -2722 -2640 -2440 -2650 -2574 -2566 -2722 -2190 -2254 -2444 -2210 -2486 -2910 -2640 -2624 2626 2236 -2254 2798 -2822 -2750 -2700 -2366 -2254 -2698 -2216 -2184 -2882 -2472 -2740 -2448 -2678 -2892 -2616 -2164 -2868 -2722 -2424 -2702 -2786 -2700 -2774 -2230 -2540 -2814 -2700 -2566 -2522 -2614 -2402 -2472 -2640 -2608 -2566 -2230 2572 -2652 -2852 -2230 -2762 -2798 -2808 -2474 -2366 2754 -2446 -2746 -2786 -2824 -2798 -2564 -2566 -2654 -2510 -2366 -2910 -2446 -2122 -2296 -2740 -2336 -2608 -2920 -2472 2178 -2600 2920 -2910 -2146 -2432 -2534 -2762 -2652 2276 -2382 -2600 2692 -2734 -2744 -2654 -2444 -2638 -2446 -2700 -2180 -2900 -2652 -2190 -2256 -2712 -2284 -2802 -2740 2740 -2692 -2842 -2798 -2580 -2746 -2758 -2406 -2228 -2692 -2296 2122 -2446 -2636 -2256 -2446 -2880 -2504 -2774 -2446 -2826 -2566 -2664 -2902 -2282 -2562 -2120 -2560 -2170 -2470 -2440 -2174 -2566 -2526 -2526 -2202 -2636 2362 -2520 -2622 -2828 -2828 -2730 -2774 -2650 -2640 -2444 -2432 2236 -2740 -2446 2504 -2566 -2734 2192 -2520 -2628 -2860 -2128 -2834 -2600 -2226 -2748 -2582 -2242 -2892 2826 -2920 -2362 -2638 -2290 -2910 -2918 -2170 -2774 -2502 -2664 -2130 -2526 -2710 -2294 2392 -2826 -2534 -2366 -2294 -2722 -2762 -2692 -2522 -2510 -2842 -2852 2554 -2526 -2440 -2594 -2494 -2678 -2370 -2880 2486 -2446 2406 -2700 -2852 -2534 -2740 -2880 -2882 -2876 -2838 -2710 -2406 -2362 -2266 2192 -2562 -2486 -2790 -2812 -2166 -2560 2418 2120 -2566 -2802 -2786 -2872 -2852 -2494 -2526 -2496 -2714 -2490 -2638 -2820 -2640 -2874 -2534 -2294 -2440 -2160 -2690 -2382 -2446 2872 -2484 -2406 -2600 -2852 -2254 -2818 -2486 -2690 -2464 -2762 -2798 -2382 -2714 -2230 2820 -2576 -2362 -2168 -2446 -2520 -2448 -2406 -2800 -2122 -2342 -2120 -2264 -2152 -2734 2846 -2480 -2520 -2892 -2742 2566 -2544 -2718 -2862 2616 -2802 -2842 -2566 -2676 -2490 -2692 -2738 -2774 -2618 -2598 -2776 -2580 -2472 -2560 -2568 -2920 -2228 -2232 -2382 -2486 -2798 -2862 -2666 -2574 -2534 -2778 2132 -2880 -2652 -2762 -2598 -2774 -2254 2288 -2366 -2520 -2382 -2692 -2608 -2842 -2650 -2526 -2342 -2858 2196 -2740 -2254 -2534 -2230 -2480 -2790 -2254 -2190 -2598 -2770 -2484 -2296 -2652 -2758 -2600 -2550 2898 -2882 2392 -2738 -2520 -2560 -2774 -2346 2920 -2710 -2576 -2758 -2408 -2692 -2892 2644 -2740 -2190 -2566 -2858 -2842 -2560 -2554 -2700 2788 -2746 -2838 -2566 -2408 -2480 -2798 -2586 -2762 -2160 -2230 -2296 -2256 -2616 -2488 -2254 -2170 -2522 -2852 -2526 -2598 -2692 -2776 -2872 -2892 -2530 -2716 2712 -2852 -2652 -2870 2914 -2440 -2722 -2676 -2406 -2740 -2494 -2628 -2760 -2146 -2228 -2616 -2486 -2448 -2190 -2504 -2510 -2490 2522 -2826 -2190 -2446 2886 -2520 -2840 2738 -2892 -2910 -2778 -2376 2786 -2608 -2910 -2408 -2722 -2250 -2842 -2472 -2242 -2910 -2254 -2256 -2734 -2654 -2546 -2734 -2120 -2250 -2794 -2758 -2302 -2120 2752 -2722 -2818 -2692 -2880 -2296 -2714 -2560 -2842 -2874 -2826 -2230 -2672 -2480 -2600 2188 -2818 -2624 -2594 -2748 -2804 -2684 -2664 -2584 -2778 -2486 -2742 -2406 -2294 2314 -2718 -2704 -2160 -2180 -2786 -2688 -2784 -2372 2600 -2250 -2740 -2762 -2586 -2446 -2690 -2774 -2690 -2874 -2640 -2828 -2762 -2470 -2774 -2722 -2166 -2526 2648 2162 -2446 -2380 -2262 -2838 -2880 -2758 -2652 2346 -2840 -2148 -2566 2606 2644 -2294 -2730 -2776 -2820 -2294 -2774 -2342 -2734 -2446 2164 -2862 -2322 -2154 -2194 -2260 -2700 -2842 -2486 -2882 -2596 -2340 -2562 -2746 -2294 -2798 -2880 -2366 -2852 -2308 -2140 -2486 -2182 -2852 -2892 -2700 -2842 -2692 -2290 2332 -2852 -2638 -2484 -2124 -2880 -2758 -2408 -2870 -2842 -2532 -2312 -2780 -2650 -2656 -2598 -2446 -2786 -2480 -2744 2464 -2304 -2772 -2858 -2722 -2218 -2706 -2722 -2746 -2838 -2774 -2178 2184 -2404 -2870 -2574 -2492 -2408 -2690 -2776 -2818 -2746 -2408 -2816 -2144 -2566 2762 -2406 -2320 -2882 -2544 -2750 -2296 -2600 2148 -2584 -2472 -2650 -2504 -2842 -2432 -2902 -2378 2902 -2842 -2170 -2520 2528 -2862 -2756 2120 -2842 -2144 -2854 -2614 -2406 -2294 2540 -2880 -2600 -2576 -2486 -2316 -2366 -2490 -2758 -2160 -2452 -2862 -2862 -2342 -2734 2600 -2342 -2230 -2824 -2296 -2494 -2340 -2880 -2744 -2784 -2540 -2650 -2798 2470 -2322 2770 -2650 -2566 -2740 -2650 -2600 -2892 -2652 -2526 -2864 -2798 -2674 -2214 -2560 -2828 -2136 -2162 -2614 -2472 -2456 -2662 -2480 -2600 -2686 -2638 -2720 -2526 -2290 -2654 -2618 -2842 -2650 -2382 -2722 2918 -2690 -2650 -2368 -2406 -2370 -2638 -2504 -2652 -2774 2160 -2566 2816 -2256 -2208 -2760 -2626 -2188 2180 -2718 -2334 2482 -2534 -2712 -2432 -2580 -2152 -2700 -2784 -2256 -2408 -2640 2386 -2556 -2840 -2902 -2230 -2560 2204 -2594 -2786 -2370 -2700 -2862 -2368 -2640 -2382 -2690 -2902 -2704 -2540 -2526 -2120 -2186 -2198 -2526 -2210 -2690 -2882 -2726 -2566 -2342 -2532 -2726 -2652 -2406 -2440 -2338 -2124 -2140 -2650 -2920 -2894 -2304 -2502 -2746 -2678 -2382 -2160 -2334 -2282 -2294 -2190 2634 -2406 -2706 -2652 -2158 -2406 -2590 -2408 -2772 -2640 -2256 -2190 -2882 -2480 2292 -2892 -2590 2920 -2526 -2854 -2366 -2870 -2734 -2560 -2242 -2416 -2840 -2494 2534 -2296 -2446 -2480 -2604 -2722 -2566 -2798 -2842 -2714 -2126 -2910 -2230 -2860 -2530 -2564 -2684 -2738 -2160 -2566 -2230 -2342 -2446 -2486 -2640 -2782 -2600 -2786 -2882 -2816 -2776 -2910 -2448 -2744 -2840 -2480 -2450 -2408 -2734 -2214 -2786 -2832 -2670 -2870 -2814 -2294 2138 -2566 -2180 -2542 -2190 -2612 -2882 -2840 -2406 -2198 -2322 -2882 -2840 -2378 -2882 -2494 2120 2120 -2692 -2256 -2746 -2526 -2648 -2880 -2178 -2352 -2600 -2342 -2760 -2526 -2534 -2130 -2800 2274 -2870 -2638 -2444 -2706 -2382 -2700 -2694 -2266 -2762 -2784 -2254 -2542 -2448 -2882 -2902 -2862 -2722 2786 -2526 2124 2160 -2566 -2722 -2692 -2342 -2526 -2840 -2138 -2920 -2486 -2758 -2190 2206 -2428 -2894 -2540 -2342 -2230 -2232 2254 -2172 -2744 -2544 -2852 -2574 -2448 -2674 -2526 -2560 -2638 -2154 -2162 -2496 -2348 -2620 -2524 -2882 -2504 -2560 -2786 -2842 -2382 -2640 -2758 -2366 -2850 -2472 2120 -2638 -2164 -2162 -2566 -2366 -2282 -2676 -2668 -2120 -2776 -2448 2698 -2692 -2740 -2910 2878 -2798 -2560 -2446 -2844 -2294 -2746 -2566 -2526 -2774 -2140 -2448 -2840 -2408 -2598 -2666 -2330 -2734 -2690 -2860 -2190 -2838 -2762 -2578 2404 -2820 -2416 -2194 -2760 -2778 -2892 -2450 -2144 -2380 -2374 -2520 -2254 -2566 -2582 -2786 -2446 -2708 -2342 -2270 -2230 -2614 -2192 -2690 -2448 2328 2872 2876 -2282 -2130 -2252 -2710 -2192 -2230 -2268 -2690 -2208 -2230 -2774 -2254 -2694 -2292 -2504 -2700 -2492 -2682 -2762 -2566 -2798 -2798 -2652 -2526 -2650 -2550 -2526 -2752 -2230 -2838 -2164 -2892 -2190 -2762 -2190 -2256 2180 -2446 -2892 -2142 -2852 -2582 2382 -2446 -2722 2912 -2590 -2544 -2746 2120 -2486 -2798 -2690 -2486 -2722 -2378 2826 -2546 -2526 -2734 -2746 -2366 -2894 -2480 -2892 -2762 -2754 -2700 2834 -2184 -2870 -2842 -2566 -2288 -2292 -2846 -2816 -2860 -2852 -2692 -2526 -2786 -2166 -2630 -2446 -2190 -2484 -2902 -2526 -2598 -2678 -2722 -2566 -2826 -2158 -2382 -2566 -2746 -2882 -2590 -2342 -2854 -2712 -2598 -2788 -2526 -2674 -2180 -2564 -2578 -2746 -2776 -2544 -2534 -2896 -2526 -2468 -2738 -2652 -2370 -2190 -2786 -2130 -2892 -2842 -2230 -2230 -2832 -2338 -2448 -2420 -2382 -2600 -2382 -2494 -2334 -2408 -2186 -2188 -2652 -2690 -2702 -2678 -2634 2330 -2242 -2544 -2886 -2734 -2862 -2448 -2254 -2382 -2566 -2360 -2566 -2446 -2652 -2486 -2692 -2916 2486 -2282 -2342 -2598 -2408 -2176 -2432 -2740 -2520 -2758 -2560 -2598 -2920 -2814 -2816 -2270 -2566 -2132 -2280 -2296 -2560 -2320 -2600 -2788 -2758 -2882 -2652 2528 2602 -2740 -2160 -2518 -2740 -2440 -2406 -2566 -2330 -2826 -2868 -2624 -2712 -2408 -2798 -2628 -2480 -2652 -2700 -2798 -2798 -2574 -2652 -2566 -2640 -2168 -2762 -2722 -2620 -2486 -2862 -2722 -2230 -2798 -2460 -2448 -2336 -2422 -2406 -2190 -2798 2534 -2230 -2750 -2446 -2722 -2586 -2874 -2652 -2870 -2786 2814 -2436 -2382 -2600 -2534 -2526 2866 -2834 -2704 -2920 -2798 -2650 -2722 -2322 -2700 -2378 -2862 -2690 -2568 -2190 -2706 -2774 -2166 -2640 -2734 -2522 -2762 -2870 -2526 -2432 -2692 2798 -2546 -2534 -2566 -2718 -2242 -2740 -2902 2752 -2480 -2880 -2868 -2486 -2566 -2404 -2294 -2526 -2534 -2828 -2160 -2880 -2580 -2490 -2342 -2408 -2652 -2718 -2826 2464 -2480 -2740 -2432 -2226 -2336 -2870 -2534 2208 -2294 -2282 -2486 -2230 -2410 -2526 -2332 2716 -2526 -2598 -2852 -2190 -2842 -2380 2700 -2692 -2638 -2648 -2718 -2544 -2432 -2566 -2588 -2880 -2188 -2448 -2144 -2842 -2160 -2692 -2838 -2560 -2598 -2754 2832 -2446 -2382 -2440 -2692 -2408 -2190 -2856 -2520 -2624 2272 -2448 -2882 -2504 -2920 -2722 -2882 -2910 -2324 -2842 -2334 -2734 -2296 2758 -2852 -2566 -2566 -2580 -2230 -2472 -2526 -2870 -2296 -2920 -2520 -2544 -2514 -2798 -2880 2758 -2418 -2864 -2694 -2120 -2380 -2600 -2254 2486 2432 2486 -2744 -2824 -2242 -2382 2300 -2294 -2690 
36.47/36.89	d NODES 1750
36.47/36.89	d CHECKS 8400215
36.47/36.89	   
36.47/36.89	   totalWckTime=36.706  totalCpuTime=34.27

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-2097739-1247413914/watcher-2097739-1247413914 -o /tmp/evaluation-result-2097739-1247413914/solver-2097739-1247413914 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097739-1247413914.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.06 2.02 2.00 4/80 31147
/proc/meminfo: memFree=1723368/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=10676 CPUtime=0
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28458898 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 2669 474 207 9 0 1184 0
[pid=31147/tid=31148] ppid=31145 vsize=10676 CPUtime=0
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28458899 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 11435992 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0492381 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 31147
/proc/meminfo: memFree=1723368/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=863100 CPUtime=0.04
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 2423 0 1 0 2 2 0 0 18 0 8 0 28458898 883814400 1996 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 215775 1996 911 9 0 210690 0
[pid=31147/tid=31148] ppid=31145 vsize=863100 CPUtime=0.03
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 1711 0 1 0 2 1 0 0 19 0 8 0 28458899 883814400 1996 996147200 134512640 134550932 4294955968 18446744073709551615 102871341 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863100

[startup+0.102247 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 31147
/proc/meminfo: memFree=1723368/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=865940 CPUtime=0.09
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 3836 0 1 0 6 3 0 0 18 0 9 0 28458898 886722560 3279 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216485 3279 1726 9 0 210970 0
[pid=31147/tid=31148] ppid=31145 vsize=865940 CPUtime=0.08
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 2926 0 1 0 6 2 0 0 18 0 9 0 28458899 886722560 3279 996147200 134512640 134550932 4294955968 18446744073709551615 4125958936 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865940

[startup+0.302266 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 31147
/proc/meminfo: memFree=1723368/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=866360 CPUtime=0.29
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 5703 0 1 0 25 4 0 0 18 0 9 0 28458898 887152640 5106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216590 5106 1928 9 0 211068 0
[pid=31147/tid=31148] ppid=31145 vsize=866360 CPUtime=0.24
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 4724 0 1 0 21 3 0 0 19 0 9 0 28458899 887152640 5106 996147200 134512640 134550932 4294955968 18446744073709551615 10588964 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866360

[startup+0.702304 s]
/proc/loadavg: 2.06 2.02 2.00 4/80 31147
/proc/meminfo: memFree=1723368/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867044 CPUtime=0.68
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 9834 0 1 0 61 7 0 0 18 0 9 0 28458898 887853056 9196 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216761 9196 1998 9 0 211219 0
[pid=31147/tid=31148] ppid=31145 vsize=867044 CPUtime=0.56
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 8649 0 1 0 50 6 0 0 20 0 9 0 28458899 887853056 9196 996147200 134512640 134550932 4294955968 18446744073709551615 103211042 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867044

[startup+1.50138 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 31156
/proc/meminfo: memFree=1672800/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867508 CPUtime=1.48
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 22665 0 1 0 133 15 0 0 18 0 9 0 28458898 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216877 21993 2029 9 0 211335 0
[pid=31147/tid=31148] ppid=31145 vsize=867508 CPUtime=1.2
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 15793 0 1 0 110 10 0 0 25 0 9 0 28458899 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4125977378 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867508 CPUtime=0.06
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 5526 0 0 0 4 2 0 0 16 0 9 0 28458901 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28458903 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867508 CPUtime=0.18
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 644 0 0 0 17 1 0 0 16 0 9 0 28458903 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28458903 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28458903 888328192 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867508

[startup+3.10153 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 31156
/proc/meminfo: memFree=1630944/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867508 CPUtime=3.07
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 27282 0 1 0 289 18 0 0 18 0 9 0 28458898 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216877 26606 2032 9 0 211335 0
[pid=31147/tid=31148] ppid=31145 vsize=867508 CPUtime=2.59
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 15827 0 1 0 248 11 0 0 25 0 9 0 28458899 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4126936567 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867508 CPUtime=0.25
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 10097 0 0 0 21 4 0 0 16 0 9 0 28458901 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28458903 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867508 CPUtime=0.2
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 656 0 0 0 19 1 0 0 16 0 9 0 28458903 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28458903 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28458903 888328192 26606 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867508

[startup+6.30283 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 31156
/proc/meminfo: memFree=1624352/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867508 CPUtime=6.23
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 27299 0 1 0 605 18 0 0 18 0 9 0 28458898 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216877 26621 2032 9 0 211335 0
[pid=31147/tid=31148] ppid=31145 vsize=867508 CPUtime=5.75
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 15833 0 1 0 563 12 0 0 25 0 9 0 28458899 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4126937207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867508 CPUtime=0.25
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 10097 0 0 0 21 4 0 0 17 0 9 0 28458901 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28458903 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867508 CPUtime=0.22
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 667 0 0 0 21 1 0 0 16 0 9 0 28458903 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28458903 888328192 26621 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28458903 888328192 26621 996147200 134512640 134550932 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) 867508

[startup+12.7014 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 31156
/proc/meminfo: memFree=1605664/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867508 CPUtime=12.57
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 27317 0 1 0 1239 18 0 0 18 0 9 0 28458898 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216877 26637 2032 9 0 211335 0
[pid=31147/tid=31148] ppid=31145 vsize=867508 CPUtime=12.06
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 15835 0 1 0 1194 12 0 0 25 0 9 0 28458899 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4126468387 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867508 CPUtime=0.25
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 10097 0 0 0 21 4 0 0 17 0 9 0 28458901 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28458903 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867508 CPUtime=0.23
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 683 0 0 0 22 1 0 0 16 0 9 0 28458903 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28458903 888328192 26637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28458903 888328192 26637 996147200 134512640 134550932 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) 867508

[startup+25.5027 s]
/proc/loadavg: 2.04 2.01 2.00 4/89 31195
/proc/meminfo: memFree=1564320/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867508 CPUtime=25.29
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 33640 0 1 0 2507 22 0 0 18 0 9 0 28458898 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216877 32951 2033 9 0 211335 0
[pid=31147/tid=31148] ppid=31145 vsize=867508 CPUtime=24.31
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 15848 0 1 0 2418 13 0 0 25 0 9 0 28458899 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4126385392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867508 CPUtime=0.65
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 16376 0 0 0 59 6 0 0 16 0 9 0 28458901 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28458901 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28458903 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867508 CPUtime=0.3
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 714 0 0 0 29 1 0 0 16 0 9 0 28458903 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28458903 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867508 CPUtime=0
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28458903 888328192 32951 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 867508

Solver just ended. Dumping a history of the last processes samples

[startup+31.9063 s]
/proc/loadavg: 2.04 2.01 2.00 3/89 31199
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867832 CPUtime=31.62
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 92258 1107 1 0 3100 41 19 2 18 0 9 0 28458898 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216958 60466 2641 9 0 211416 0
[pid=31147/tid=31148] ppid=31145 vsize=867832 CPUtime=29.75
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 28826 1107 1 0 2937 17 19 2 25 0 9 0 28458899 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4127497882 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867832 CPUtime=1.61
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 61522 1107 0 0 120 20 19 2 16 0 9 0 28458901 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 20 1107 0 0 0 0 19 2 16 0 9 0 28458901 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 28 1107 0 0 0 0 19 2 15 0 9 0 28458901 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 18 0 9 0 28458903 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867832 CPUtime=0.64
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 1035 1107 0 0 42 1 19 2 15 0 9 0 28458903 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 19 0 9 0 28458903 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 13 1107 0 0 0 0 19 2 15 0 9 0 28458903 888659968 60466 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.62
Current children cumulated vsize (KiB) 867832

[startup+35.1026 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31199
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867832 CPUtime=34.79
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 92263 1107 1 0 3417 41 19 2 18 0 9 0 28458898 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216958 60469 2641 9 0 211416 0
[pid=31147/tid=31148] ppid=31145 vsize=867832 CPUtime=32.92
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 28828 1107 1 0 3254 17 19 2 25 0 9 0 28458899 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4126947806 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867832 CPUtime=1.61
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 61522 1107 0 0 120 20 19 2 17 0 9 0 28458901 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 20 1107 0 0 0 0 19 2 16 0 9 0 28458901 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 28 1107 0 0 0 0 19 2 15 0 9 0 28458901 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 18 0 9 0 28458903 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867832 CPUtime=0.65
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 1038 1107 0 0 43 1 19 2 15 0 9 0 28458903 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 19 0 9 0 28458903 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 13 1107 0 0 0 0 19 2 15 0 9 0 28458903 888659968 60469 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.79
Current children cumulated vsize (KiB) 867832

[startup+35.9017 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 31199
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867832 CPUtime=35.58
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 92265 1107 1 0 3496 41 19 2 18 0 9 0 28458898 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216958 60470 2641 9 0 211416 0
[pid=31147/tid=31148] ppid=31145 vsize=867832 CPUtime=33.7
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 28828 1107 1 0 3332 17 19 2 25 0 9 0 28458899 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4126937319 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867832 CPUtime=1.61
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 61522 1107 0 0 120 20 19 2 16 0 9 0 28458901 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 20 1107 0 0 0 0 19 2 16 0 9 0 28458901 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 28 1107 0 0 0 0 19 2 15 0 9 0 28458901 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 18 0 9 0 28458903 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867832 CPUtime=0.65
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 1040 1107 0 0 43 1 19 2 16 0 9 0 28458903 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 19 0 9 0 28458903 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 13 1107 0 0 0 0 19 2 15 0 9 0 28458903 888659968 60470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.58
Current children cumulated vsize (KiB) 867832

[startup+36.7017 s]
/proc/loadavg: 2.03 2.01 2.00 4/89 31199
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867832 CPUtime=36.37
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 92277 1107 1 0 3575 41 19 2 18 0 9 0 28458898 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216958 60480 2641 9 0 211416 0
[pid=31147/tid=31148] ppid=31145 vsize=867832 CPUtime=34.47
/proc/31147/task/31148/stat : 31148 (java) R 31145 31147 29880 0 -1 64 28830 1107 1 0 3409 17 19 2 25 0 9 0 28458899 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4127564499 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867832 CPUtime=1.61
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 61522 1107 0 0 120 20 19 2 17 0 9 0 28458901 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 20 1107 0 0 0 0 19 2 16 0 9 0 28458901 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 28 1107 0 0 0 0 19 2 15 0 9 0 28458901 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 18 0 9 0 28458903 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867832 CPUtime=0.67
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 1050 1107 0 0 45 1 19 2 16 0 9 0 28458903 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 19 0 9 0 28458903 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 13 1107 0 0 0 0 19 2 15 0 9 0 28458903 888659968 60480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.37
Current children cumulated vsize (KiB) 867832

[startup+36.9018 s]
/proc/loadavg: 2.03 2.01 2.00 4/89 31199
/proc/meminfo: memFree=1445280/2055920 swapFree=4192812/4192956
[pid=31147] ppid=31145 vsize=867832 CPUtime=36.56
/proc/31147/stat : 31147 (java) S 31145 31147 29880 0 -1 0 92300 1107 1 0 3594 41 19 2 18 0 9 0 28458898 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31147/statm: 216958 60494 2641 9 0 211416 0
[pid=31147/tid=31148] ppid=31145 vsize=867832 CPUtime=34.64
/proc/31147/task/31148/stat : 31148 (java) S 31145 31147 29880 0 -1 64 28841 1107 1 0 3426 17 19 2 25 0 9 0 28458899 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31150] ppid=31145 vsize=867832 CPUtime=1.61
/proc/31147/task/31150/stat : 31150 (java) S 31145 31147 29880 0 -1 64 61522 1107 0 0 120 20 19 2 17 0 9 0 28458901 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31151] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31151/stat : 31151 (java) S 31145 31147 29880 0 -1 64 20 1107 0 0 0 0 19 2 16 0 9 0 28458901 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31152] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31152/stat : 31152 (java) S 31145 31147 29880 0 -1 64 28 1107 0 0 0 0 19 2 15 0 9 0 28458901 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31153] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31153/stat : 31153 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 18 0 9 0 28458903 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31154] ppid=31145 vsize=867832 CPUtime=0.69
/proc/31147/task/31154/stat : 31154 (java) S 31145 31147 29880 0 -1 64 1062 1107 0 0 47 1 19 2 15 0 9 0 28458903 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31155] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31155/stat : 31155 (java) S 31145 31147 29880 0 -1 64 1 1107 0 0 0 0 19 2 19 0 9 0 28458903 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31147/tid=31156] ppid=31145 vsize=867832 CPUtime=0.21
/proc/31147/task/31156/stat : 31156 (java) S 31145 31147 29880 0 -1 64 13 1107 0 0 0 0 19 2 15 0 9 0 28458903 888659968 60494 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.56
Current children cumulated vsize (KiB) 867832

Child status: 0
Real time (s): 36.9542
CPU time (s): 36.6144
CPU user time (s): 36.1355
CPU system time (s): 0.478927
CPU usage (%): 99.0805
Max. virtual memory (cumulated for all children) (KiB): 867920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.1355
system time used= 0.478927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93435
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= 2949
involuntary context switches= 3679

runsolver used 0.052991 second user time and 0.12698 second system time

The end

Launcher Data 

Begin job on node4 at 2009-07-12 17:51:54
IDJOB=2097739
IDBENCH=57668
IDSOLVER=773
FILE ID=node4/2097739-1247413914
PBS_JOBID= 9510635
Free space on /tmp= 66260 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097739-1247413914/watcher-2097739-1247413914 -o /tmp/evaluation-result-2097739-1247413914/solver-2097739-1247413914 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097739-1247413914.xml

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

MD5SUM BENCH= 7c8eb97a2deab43c8771e25856b5f843
RANDOM SEED=162855709

node4.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.213
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.213
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:       1723848 kB
Buffers:         40188 kB
Cached:         121924 kB
SwapCached:          0 kB
Active:         211564 kB
Inactive:        65388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           13260 kB
Writeback:           0 kB
Mapped:         132888 kB
Slab:            40008 kB
Committed_AS:  1003808 kB
PageTables:       2088 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= 66256 MiB
End job on node4 at 2009-07-12 17:52:31