Trace number 206006

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, and are wall clock time (not CPU 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 109 ESACSAT 211.018 212.986

DiagnosticValue
CHECKS12242780
NODES0

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-7.xml
MD5SUM3a09cea65bd3e5d4e2bba63fad548068
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 benchmark15.2027
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/206006-1168169163/unknown.xml
0.41	   
0.41	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.76	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.76	       =>  wckTime=0.417  cpuTime=0.3  mem=34M237
0.76	   
0.76	   predicates being loaded...
0.76	   
0.76	   constraints being loaded...
203.07	   
203.07	   INFO : Stopping converting binary constraints (cpu=200.03, mem = 86M900)
204.91	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=3249  nbConvertConstraintsChecks=345909298
204.91	     nbExtensionStructures=2655  nbSharedExtensionStructures=594  nbConflictsStructures=2655
204.91	     nbSharedConflictsStructures=594  nbSharedBinaryRepresentations=1743476  nbEvaluationManagers=5221
204.91	     nbSharedEvaluationManagers=1597  maxDegree=13  maxArity=2
204.91	       =>  wckTime=204.565  cpuTime=201.56  mem=99M94
205.24	   
205.24	   solver IterativeSystematicSolver being built... 
205.70	       =>  wckTime=205.355  cpuTime=201.9  mem=127M470
212.88	   
212.88	   preprocessing
212.88	     nbConstraintChecks=12242780  nbValidityChecks=1342533  nbPropagations=11981  nbRevisions=93816
212.88	     nbUselessRevisions=76891  nbSingletonTests=2000  nbEffectiveSingletonTests=0  nbESACBranches=1
212.88	     nbRemovedValues=721462  detectedInconsistency=no
212.88	       =>  wckTime=7.16  cpuTime=7.04  mem=127M470
212.88	   
212.88	   global
212.88	     nbConstraintChecks=12242780  nbValidityChecks=1342533  nbPropagations=11981  nbRevisions=93816
212.88	     nbUselessRevisions=76891  nbRestartNogoods=0  solvingWckTime=7.165  solvingCpuTime=7.04  expiredTime=no
212.88	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=209.03
212.88	       =>  wckTime=212.544  cpuTime=208.97  mem=127M470
212.94	   
212.94	s SATISFIABLE
212.94	v -2194 -2510 -2454 -2890 2690 2690 2274 -2506 -2550 -2654 -2082 -2322 -2542 -2642 -2894 -2746 2246 -2210 -2106 -2854 -2870 2446 -2818 -2502 -2390 -2274 -1990 -1994 2542 -2382 -2062 -1990 2566 -2606 2862 -2806 -2710 -2818 -2774 -2146 -2854 -2894 -2038 2830 -2854 -2706 2574 -2578 -2686 -2810 -2314 -2770 -2478 -2034 -2562 -2518 2822 -2694 -2854 2654 -2730 -2150 -2234 2030 -2386 1990 2206 -2466 -2478 -2646 -2074 2758 -2826 -2802 -2842 -2622 -2642 -2262 -2418 -2074 -2490 -2394 2214 -2670 -2594 -2894 2726 -2310 -2714 -2334 2114 -2818 -2158 -2778 1990 -2582 -2114 2774 2438 2206 -2706 2254 -2486 -2718 -2582 2598 1990 -2634 2370 -2842 -2218 2642 -2302 2414 -2530 2030 -2522 -2286 -2894 -2010 2802 -2894 2698 -2834 -2602 -2146 -2002 -2066 2106 -2834 2070 -2514 2646 -2478 2238 -2638 -2322 -2282 2786 -2254 2650 2786 -2310 -2494 -2894 -2854 -2606 -2374 2270 -2294 -2450 -2814 -2534 -2894 2854 2194 2174 -2522 -2750 -2606 -2274 -2654 -2466 -2634 -2034 2854 -2594 -2478 -2702 -2070 2738 -2674 -2378 2562 2830 2446 2154 -2422 -2834 -2586 -2834 -2482 2774 -2810 -2506 -2082 -2894 -2546 -2450 -2734 2274 -2382 -2354 -1990 2446 -2178 -2190 2754 2290 1990 2262 -2106 -2490 -2370 2730 -2258 -1990 2434 -2894 -2414 -2774 2098 -2342 -2750 2794 -2654 2718 -2510 -2386 -2618 -2894 -2618 -2186 -2522 -2394 -2258 -2854 -2374 -2742 2462 -2778 2850 2738 -2286 -2718 -2702 2482 -2374 -2746 2138 -2706 -1990 -1998 -2226 2034 2874 -2706 -2582 -2326 -2262 2446 2030 -2526 2582 2290 -2030 2382 -2658 -2702 -2166 -2422 -2854 2810 -2334 -2862 2274 -2870 -2374 2298 -1990 -2834 -2610 -2894 -2770 -2622 1990 -2786 -2886 -2674 -2454 -2562 2678 2582 -2478 2038 2890 -1990 -2078 -2350 2306 -2490 -2682 -2414 -2586 -2286 2250 -2602 -2786 -2190 -2842 2810 -2570 -2258 -2754 -2594 2258 -2070 -2482 -2650 -2642 2590 2230 -2142 -2534 2146 2418 2850 -2894 2718 1990 1990 -2882 -2894 -2710 -2786 -2466 -2782 2810 2622 -2854 -2486 -2578 -2550 -2394 -2534 -2478 -2582 2158 -2678 2030 -2394 -2442 -2366 -2338 -2014 -2450 -2854 -2070 2742 -2382 -2030 -2614 -2214 2430 -2254 -2598 2190 2042 -2854 1990 -2854 -2182 2030 2642 -1990 -2722 -2038 -2130 2342 -2854 2802 -2106 1990 -2462 2446 -2598 -2058 2558 -2414 -2586 2374 2030 -2774 2334 -2010 1990 -2674 -2854 -2778 2386 -2678 -2174 2838 2218 -2850 -2430 -2066 -2542 -2234 -2714 -2882 -2790 -2238 2254 -2310 -2826 -2178 -1990 -2438 2306 -1998 2218 -2742 -2634 -2642 -2162 -2854 -2298 2886 -2378 -2406 -2334 -2022 -2354 -2742 -2854 -2014 -2682 2330 -2794 2478 -2522 -2214 -2230 2542 2886 2162 -2826 -2854 2250 -2522 -2258 2466 -2562 2834 -2442 2182 2878 2542 -2670 2086 2030 -2242 -2826 -2294 -2602 -2418 -2510 -2594 -2110 2334 -2098 -2710 -2446 -2894 -2558 -2894 -2250 -2326 2182 -2382 -2302 2154 -2842 2030 -2342 2218 -2554 -2422 -2630 2490 -2030 -2542 -2374 -2826 -2534 -2486 -2230 -2374 2430 -2706 -1990 -2314 -2654 -2034 2754 -2474 -2866 2610 -2462 -2270 -2846 2746 2742 2454 -2854 2582 -2106 -2894 -2730 2126 -2138 -2686 -2082 2890 -2854 -2786 2702 -2366 -2622 2758 -2402 -1994 -2466 -2854 -2502 -2782 2266 -2654 -2882 -2614 -2510 -2434 2702 -2114 -1990 2666 2618 -2642 -2078 2030 2782 -2222 -2482 -2042 1990 -2206 -2654 -2610 -2790 -2218 2798 -2622 2238 -2682 -2398 -2430 2582 -2470 2110 -2014 -2402 1990 2086 -2246 2250 2438 -2002 -2886 -2630 -2818 -2374 -2610 -2118 -2722 -2042 -2314 2722 -2190 2550 -2710 -2842 -2030 2846 -2358 -2894 -2838 -2066 -2158 -2702 -2746 -2474 -2358 -2522 2066 -2710 -2042 -2782 2334 -2246 -2490 2658 -2794 1990 -2098 -2882 -2274 -2130 -2190 -2726 -2826 -2662 -2014 -2354 -2730 -2130 2846 -1990 -2894 -2030 -2582 2706 -2702 -2018 -1990 -2886 -2894 -2350 -2698 -2030 -2274 -2106 -2858 -2110 -2030 -2494 -2482 -2894 -2894 -2194 -2566 -2154 -2054 -2446 2190 -2778 -2622 -2854 2706 2654 -2894 -2498 -2250 -2394 -2770 -2854 2510 -2682 -2630 2794 -2578 -2750 2606 -2294 -2478 2446 -2630 -2854 -2430 -2566 2518 2746 2442 -2370 -2602 -2678 2118 -2662 -2870 -2394 -2414 -2894 2814 2814 -2130 -2214 -2358 -2878 -2894 -2390 -2238 2870 -2414 -2602 2218 2062 2230 2426 -2718 2622 -2090 2510 2434 -2738 2534 -2618 -2682 -2214 -2642 -2662 -2414 -2854 -2030 -2342 -2690 -2882 -2042 2690 -2202 -2690 -2546 2710 -2150 2358 2202 -2314 -2342 -2602 -2650 -2814 2054 -2670 2350 -2150 -2330 2498 -2562 -2394 -2466 -2438 2550 2178 -2478 -2634 2086 2546 -2670 -2518 -2806 2438 -2206 -2042 2530 -2530 -2046 -2030 -2894 -2658 2302 2786 -2854 -2206 -2682 -2518 2446 -2190 -2506 -2586 -2490 -2042 -2798 -2746 2586 2138 2802 -2182 1998 -2422 -2654 -2378 2134 -2218 -2246 -2390 -2250 -2602 -2454 -2502 -2046 -2762 -2654 -2882 -2622 1990 2586 2806 2674 -2518 -2826 2810 -2026 2606 2026 -2638 -2114 2158 -2466 2650 -2098 -2174 -2746 -2334 2314 -2522 -2522 2514 -2398 2030 -2558 -2630 -2198 -2286 -2030 -2030 -2350 2818 2698 -2054 2230 -2774 -2542 -2046 -2374 2546 2134 -2746 -2770 -2490 1990 2078 -2842 -2130 -2374 2554 -2190 2806 2030 -2314 -2834 -2638 2486 1990 -2498 -2774 -1994 1990 -2030 2830 -2130 2458 2474 -2650 2342 2430 -2426 2150 -2586 -2894 -2638 -2894 2542 -2374 2682 -2786 2642 2126 -2486 2154 2698 -2894 -2222 -2406 -2326 -2286 -2450 -2750 -2794 -2442 -2178 2558 -2822 -2082 -2030 -2282 -2642 2630 -2598 -2358 -2662 -2482 -2826 -2894 2026 -2522 -2746 -2502 -2758 -2686 -2826 2442 -2478 -2702 2798 -2890 -2582 2490 -2202 -2706 -2566 -2170 -2090 2786 -2802 -2414 2518 -2578 -2266 -2858 -2134 2490 2214 -2098 -2894 -2842 -2314 2294 2526 -2746 -2478 -2198 2062 -2274 -2334 2722 -2030 2030 2794 -2542 2774 2350 -2602 -2666 2454 2014 -2546 -2126 -2358 -2862 -2786 -2826 -2610 -2310 -2758 -2762 2370 -2854 -2410 -2594 -2854 -2422 -2410 -2054 -2410 -2718 -2594 -2674 -2794 2310 -2462 -2030 -2374 2574 -2274 -2418 -2694 2154 -2834 2678 -2418 -1990 -2194 -2310 -2854 -2038 -2738 -2354 -2510 -2598 -2562 -2706 -2894 -2530 -2794 -2850 2142 2482 2562 2566 -2054 -2046 2030 -2414 -2310 2458 -1994 -2426 -2690 2386 -2650 -2158 -2386 -2418 -2578 -2494 2030 -2446 -2038 2726 -2570 1990 -2602 2678 2794 -2346 2378 2270 2850 -2230 -2662 -2374 -2770 2114 -2794 2566 -2442 -2466 -2622 2058 -2290 -2658 2174 -2838 2382 -2598 2706 2482 2530 -2014 2642 -2110 -2850 2602 2438 2890 -2894 -2538 2546 -2714 -2550 2214 -2374 -2190 -2054 -2002 -2746 2758 -2694 -2070 -2750 2018 2298 2226 -2814 2226 2162 -2074 -2646 2794 -2302 -2846 2542 -2398 -2414 2854 -2894 -2746 -2246 2470 -2826 2846 2822 -2642 -1994 -2830 -2334 -2366 -2070 2434 2746 2470 -2022 -2762 -1990 2862 -2742 -2342 2842 2006 -2854 2290 -2798 -2210 2574 -2526 2358 2786 -2758 -2770 -2830 -2562 2206 -2830 -2130 -2882 2798 -2422 -2614 -2366 -2738 -2638 -2754 2394 -2114 2782 -1998 2006 -2554 -2030 2706 2282 -2030 2150 -2186 -2282 2326 -2366 2410 -2166 2870 -2042 -2050 2254 -2066 2170 -2522 2714 2602 2002 -2490 2582 -2166 -2814 2534 -2174 2466 -2122 2382 2554 -2198 2834 -2242 -2658 -2302 -2010 -2574 -2774 -2082 -2854 -2382 -2674 -2854 -2894 -2498 -2438 2818 -2526 -2622 -2530 -2374 -2894 2234 -2222 2166 -2530 -2850 2682 2214 -2602 -2622 -2670 -2542 -2726 2550 -2734 2066 -2494 -2514 -2518 2478 2610 -2202 -2314 2826 -2842 -2786 -2690 -2854 -2034 2442 -2386 2374 -2314 -2842 -2390 -2490 -2494 -2278 -2098 -2710 -2522 -2490 2086 -2858 2694 2234 2526 -2570 -2882 -2598 -2614 -2066 2478 -2414 2730 -2198 -2530 2494 2510 -2734 -2694 2450 -2130 2642 2314 2594 -2218 -2894 -2066 2562 -2058 -2502 -2346 -2030 2414 2402 -2842 2582 2162 -2074 -2822 2370 -2302 -2894 2374 2286 -2794 -2854 -2854 -2302 2674 -2414 -2406 2042 2274 -2798 -2122 -2306 2690 -2702 -2894 2662 -2538 -2414 2250 -2854 2302 2662 2314 -2470 2830 2346 -2562 -2170 -2326 -2554 -2258 2058 -2734 -2518 -2322 -2030 2374 2238 2750 2802 -2230 -2690 -2854 -2694 -2654 -2894 2826 2718 2334 2106 -2202 2458 -2222 -2582 -2610 -2894 -2306 2150 2226 2458 -2318 -2826 -2842 -2054 1990 2734 2746 2730 -2338 -2486 2174 2686 2542 -1990 -2854 -2810 -2354 -2482 -2786 2574 -2794 2242 -2438 2182 -2466 -2578 2558 2198 -2042 -2782 -2574 -2138 -2474 -2678 2518 2614 2090 -2818 2182 2750 -2106 -2450 2030 -2694 2422 -2054 -2546 -1990 -2746 -2206 2194 -2854 2438 -2666 -2030 2126 -2654 2262 -2758 -2518 -2894 -2194 -2822 -2590 -2894 -2698 -2502 -2586 2886 -2562 -2274 2334 2030 -2502 -2222 2634 -2694 2654 -2058 2542 -2418 1998 -2130 2346 2502 -2622 2786 2170 -2378 -2374 -2406 -2742 2262 -2630 2022 -2562 -1990 -2686 2554 -2006 -2270 -2322 -2002 -2082 -2346 2174 2570 2794 2574 2462 2406 -2230 -2262 -2678 2426 -2546 -2846 -2042 -2854 -2794 -2030 2534 -2362 2514 1990 -2314 -2706 -2290 -2638 2854 2450 2450 2346 -2462 2662 -2398 -2530 -2886 -1990 2502 -2846 -2278 2542 2170 -2030 2182 -2374 2846 -2834 2654 -2178 -2670 2314 2698 -2882 -2726 2210 2002 2886 2838 -2198 -2406 2550 -2766 -2618 -2326 2502 -2846 -2786 2862 -2042 -2834 -2482 -2542 -2454 -2030 -2374 2858 2398 -2418 2662 1990 -2894 1990 -2222 2450 -2482 -2590 2430 2446 2650 -2418 -2582 2846 -2314 -2610 2822 2806 2174 -2582 1990 -2314 2174 -2746 2542 1990 2290 -2358 -2806 2854 -2330 -2434 -2702 2730 -2038 2490 2190 -2742 2222 -2414 -2490 2454 2866 -2498 -2678 -2226 -2382 2854 -2030 -2534 -2710 2110 -2630 2762 -2014 -2746 -2750 -2274 -2274 -2382 -2326 -2034 -2714 2894 -2090 -2582 2750 -2330 2094 -2694 -2894 -2518 -2350 -2030 -2570 2082 -2310 2134 -2350 2746 -2478 -2066 2202 -2038 -2518 -2334 -2002 -1990 -2290 2582 -2110 -2442 2166 2138 -2878 2234 2462 2870 2650 -2170 -2894 2030 -2846 -2030 2482 -2006 -2622 2054 -2646 -2754 2806 -2854 -2582 2354 -2566 2546 -2162 2394 2754 -2186 2706 -2638 -2694 2602 -2538 -2354 -2046 1994 -2366 -2618 -2886 2850 -2786 2374 -2390 -2082 2818 -2606 -2174 -2034 2638 -2030 -2414 -2378 2578 -2034 -2126 2242 2326 2618 -2466 2786 -2494 2170 2846 -2526 2358 -2442 2030 -2642 2730 -2426 -2894 -2866 -2894 2046 -2778 -2854 2614 2642 2434 2774 2418 -2518 -2074 -2582 -2162 -2618 -2334 -2542 -2794 2502 -2750 2798 2734 -2466 -2558 -2854 2286 -2330 2282 -2806 -2586 2854 -2714 2062 2506 2462 2266 2678 2122 2066 -2346 2234 -2642 -2846 -2090 -2854 -2838 2714 -2030 2894 2046 -2166 -2538 -2846 2470 -2478 -2314 2710 2278 2838 -2854 2590 2794 2834 -2854 -2130 2406 -2894 -2150 -2754 2682 2746 -2030 2178 -2474 2114 -2322 -2582 -2338 -2138 -2406 -2374 -2274 -2398 -2478 -2346 -2874 -2534 2542 2858 -2374 -2762 -2646 2646 -2002 1990 2850 2562 -2062 -2678 -2030 -2278 -2350 2398 -2102 -2854 2030 2318 2738 -2122 -1990 -2014 -2214 -2390 2502 -2342 -2346 -2398 -2290 -2210 -2478 -2774 2550 -2798 -2622 -2894 2274 -2302 2854 -2346 -2262 -2250 2742 -2854 -2458 -2398 -2826 2706 -2506 -2030 -2698 2426 2754 2738 -2566 -1990 -2662 2766 -2414 -2694 -1990 -2074 2462 2038 -2570 2478 2826 -2754 -2766 2490 -2362 2022 -2438 -2662 -2854 -2894 2590 -2382 2290 -2786 2518 2166 1990 2682 -2858 -2654 -2274 2682 2354 -2610 -2470 -2030 -2522 -2582 -2854 2438 2098 1998 -2762 1990 -2470 -2790 -2250 -2374 -2030 2110 -2282 -1994 2250 2342 2030 -2710 -2150 2398 2562 -2786 2346 2050 -2650 -2522 -2822 2426 -2118 2602 2690 -2718 2590 -2414 2030 2774 -2254 -2654 -2542 -2834 2526 2842 -2694 -1990 -2770 2042 -2538 -2686 2322 2030 2674 -2894 -2282 -2718 -2386 -2894 -2574 -2894 -2686 2410 2846 -2662 -2694 -2066 -2842 -2546 -2306 -2478 2618 2274 -2894 -2058 -2454 -2802 2486 -2050 -2042 -2886 2730 -2506 -2530 -2734 -2206 -2582 2078 -2578 2030 2622 2262 -2030 2398 2830 2774 2626 -2750 -2214 2302 -2578 -2246 2554 2482 2790 -2390 -2822 2554 -2110 -2506 -1990 -2802 -2458 2326 -2322 -2786 -2894 -2566 -2266 -2006 -2846 2686 -2050 2270 -1990 -2574 2150 -2854 2374 2414 2266 2458 
212.94	d NODES 0
212.94	d CHECKS 12242780
212.94	   
212.94	   totalWckTime=212.689  totalCpuTime=209.09

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node52/watcher-206006-1168169163 -o ROOT/results/node52/solver-206006-1168169163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206006-1168169163/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 2.11 1.92 1.51 5/81 24061
/proc/meminfo: memFree=1370976/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=9948 CPUtime=0
/proc/24060/stat : 24060 (java) S 24058 24060 23710 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 165314813 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/24060/statm: 2487 472 386 14 0 1142 0

[startup+0.103619 s]
/proc/loadavg: 2.11 1.92 1.51 5/81 24061
/proc/meminfo: memFree=1370976/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=913228 CPUtime=0.08
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 2918 0 1 0 7 1 0 0 17 0 8 0 165314813 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.511648 s]
/proc/loadavg: 2.11 1.92 1.51 5/81 24061
/proc/meminfo: memFree=1370976/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915328 CPUtime=0.49
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 6671 0 1 0 44 5 0 0 18 0 8 0 165314813 937295872 6410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072937011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228832 6410 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33275 s]
/proc/loadavg: 2.10 1.92 1.51 3/88 24068
/proc/meminfo: memFree=1290088/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=1.3
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 23505 0 1 0 115 15 0 0 23 0 8 0 165314813 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 23242 2160 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.09
/proc/24060/task/24062/stat : 24062 (java) R 24058 24060 23710 0 -1 64 6962 0 0 0 5 4 0 0 16 0 8 0 165314817 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.17
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 410 0 0 0 17 0 0 0 16 0 8 0 165314821 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 23242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648

[startup+2.9708 s]
/proc/loadavg: 2.10 1.92 1.51 3/88 24068
/proc/meminfo: memFree=1281640/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=2.93
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 24351 0 1 0 277 16 0 0 25 0 8 0 165314813 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 24087 2180 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.12
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 7735 0 0 0 8 4 0 0 17 0 8 0 165314817 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.19
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 421 0 0 0 19 0 0 0 16 0 8 0 165314821 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 24087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648

[startup+6.26103 s]
/proc/loadavg: 2.10 1.92 1.52 3/88 24068
/proc/meminfo: memFree=1279912/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=6.18
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 24354 0 1 0 602 16 0 0 25 0 8 0 165314813 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 24089 2180 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.12
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 7735 0 0 0 8 4 0 0 16 0 8 0 165314817 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.2
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 423 0 0 0 19 1 0 0 16 0 8 0 165314821 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 24089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915648

[startup+12.7385 s]
/proc/loadavg: 2.09 1.93 1.52 3/88 24068
/proc/meminfo: memFree=1259624/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=12.6
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 24486 0 1 0 1244 16 0 0 25 0 8 0 165314813 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 24220 2181 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.18
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 7855 0 0 0 14 4 0 0 16 0 8 0 165314817 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.22
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 433 0 0 0 21 1 0 0 16 0 8 0 165314821 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 24220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915648

[startup+25.6133 s]
/proc/loadavg: 2.07 1.93 1.52 3/88 24068
/proc/meminfo: memFree=1238440/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=25.36
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 24489 0 1 0 2519 17 0 0 25 0 8 0 165314813 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 24222 2181 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.18
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 7855 0 0 0 14 4 0 0 16 0 8 0 165314817 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.22
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 435 0 0 0 21 1 0 0 16 0 8 0 165314821 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 24222 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915648

[startup+51.2271 s]
/proc/loadavg: 2.04 1.93 1.54 3/88 24068
/proc/meminfo: memFree=1190184/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=50.73
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 28191 0 1 0 5052 21 0 0 25 0 8 0 165314813 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 27921 2181 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.35
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 11549 0 0 0 29 6 0 0 16 0 8 0 165314817 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.23
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 441 0 0 0 22 1 0 0 16 0 8 0 165314821 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 27921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915648

[startup+102.451 s]
/proc/loadavg: 2.06 1.96 1.56 3/88 24068
/proc/meminfo: memFree=1119144/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=101.48
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 30327 0 1 0 10121 27 0 0 25 0 8 0 165314813 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 30055 2181 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.49
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 13677 0 0 0 42 7 0 0 16 0 8 0 165314817 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.24
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 447 0 0 0 23 1 0 0 15 0 8 0 165314821 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 30055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915648

[startup+162.524 s]
/proc/loadavg: 2.19 2.01 1.60 3/88 24068
/proc/meminfo: memFree=1049896/2055920 swapFree=4192812/4192956
[pid=24060] ppid=24058 vsize=915648 CPUtime=161.02
/proc/24060/stat : 24060 (java) R 24058 24060 23710 0 -1 0 31936 0 1 0 16069 33 0 0 25 0 8 0 165314813 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24060/statm: 228912 31662 2181 14 0 215382 0
[pid=24060/tid=24062] ppid=24058 vsize=915648 CPUtime=0.59
/proc/24060/task/24062/stat : 24062 (java) S 24058 24060 23710 0 -1 64 15281 0 0 0 51 8 0 0 16 0 8 0 165314817 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24063] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24063/stat : 24063 (java) S 24058 24060 23710 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 165314817 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24064] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24064/stat : 24064 (java) S 24058 24060 23710 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165314817 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24065] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24065/stat : 24065 (java) S 24058 24060 23710 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165314821 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24066] ppid=24058 vsize=915648 CPUtime=0.25
/proc/24060/task/24066/stat : 24066 (java) S 24058 24060 23710 0 -1 64 450 0 0 0 24 1 0 0 16 0 8 0 165314821 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24067] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24067/stat : 24067 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165314821 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24060/tid=24068] ppid=24058 vsize=915648 CPUtime=0
/proc/24060/task/24068/stat : 24068 (java) S 24058 24060 23710 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165314821 937623552 31662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 212.986
CPU time (s): 211.018
CPU user time (s): 210.575
CPU system time (s): 0.442932
CPU usage (%): 99.0759
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.575
system time used= 0.442932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42026
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= 6025
involuntary context switches= 14210

runsolver used 0.264959 s user time and 0.689895 s system time

The end

Launcher Data (download as text)

Begin job on node52 on Sun Jan  7 11:26:03 UTC 2007


IDJOB= 206006
IDBENCH= 4181
FILE ID= node52/206006-1168169163

PBS_JOBID= 3479050

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206006-1168169163/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-206006-1168169163 -o ROOT/results/node52/solver-206006-1168169163 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206006-1168169163/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3a09cea65bd3e5d4e2bba63fad548068

RANDOM SEED= 125793675

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.232
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.232
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:       1371456 kB
Buffers:          7196 kB
Cached:         107588 kB
SwapCached:          0 kB
Active:         578440 kB
Inactive:        52744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1371456 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:         535424 kB
Slab:            37500 kB
Committed_AS:  4302456 kB
PageTables:       2956 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= 66544 MiB



End job on node52 on Sun Jan  7 11:29:36 UTC 2007