Trace number 206022

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 209.934 211.02

DiagnosticValue
CHECKS13441992
NODES0

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-8.xml
MD5SUM7f44d72a5fa7a0f4922e4f4ea44d0317
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.0357
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=esac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/206022-1168169533/unknown.xml
0.43	   
0.43	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.73	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.73	       =>  wckTime=0.355  cpuTime=0.26  mem=34M237
0.73	   
0.73	   predicates being loaded...
0.73	   
0.73	   constraints being loaded...
202.04	   
202.04	   INFO : Stopping converting binary constraints (cpu=200.01, mem = 68M619)
203.52	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=3652  nbConvertConstraintsChecks=383526926
203.52	     nbExtensionStructures=2959  nbSharedExtensionStructures=693  nbConflictsStructures=2959
203.52	     nbSharedConflictsStructures=693  nbSharedBinaryRepresentations=1952225  nbEvaluationManagers=4951
203.52	     nbSharedEvaluationManagers=1464  maxDegree=13  maxArity=2
203.52	       =>  wckTime=203.147  cpuTime=201.32  mem=116M384
203.80	   
203.80	   solver IterativeSystematicSolver being built... 
204.20	       =>  wckTime=203.825  cpuTime=201.62  mem=126M259
210.93	   
210.93	   preprocessing
210.93	     nbConstraintChecks=13441992  nbValidityChecks=1396734  nbPropagations=12851  nbRevisions=100024
210.93	     nbUselessRevisions=82247  nbSingletonTests=2000  nbEffectiveSingletonTests=0  nbESACBranches=1
210.93	     nbRemovedValues=718354  detectedInconsistency=no
210.93	       =>  wckTime=6.706  cpuTime=6.62  mem=126M259
210.93	   
210.93	   global
210.93	     nbConstraintChecks=13441992  nbValidityChecks=1396734  nbPropagations=12851  nbRevisions=100024
210.93	     nbUselessRevisions=82247  nbRestartNogoods=0  solvingWckTime=6.711  solvingCpuTime=6.63  expiredTime=no
210.93	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=208.32
210.93	       =>  wckTime=210.556  cpuTime=208.27  mem=126M259
210.98	   
210.98	s SATISFIABLE
210.99	v -2194 -2518 2458 -2890 2690 -2690 2274 -2506 -2550 2654 -2082 -2322 -2542 -2638 -2894 -2774 2246 2206 -2110 -2854 -2854 2442 -2822 -2502 -2398 -2278 -1990 1990 2542 -2386 -2070 -1998 2562 -2606 2862 -2806 2706 -2818 -2774 -2146 -2850 -2894 2034 -2838 -2854 -2706 -2574 -2578 -2686 -2810 -2314 -2770 2482 -2034 -2562 -2518 -2854 -2694 -2854 -2654 -2730 -2150 -2230 -2030 -2382 -2094 2210 -2466 2478 -2646 -2078 -2846 -2826 -2806 -2838 -2622 -2642 -2262 -2422 -2070 -2494 -2394 2214 -2670 -2594 -2894 2726 -2310 -2714 -2334 2110 -2818 -2154 -2778 1990 -2582 -2118 2774 2438 -2146 -2706 -2250 2482 2714 -2582 2606 1990 -2710 -2382 -2842 2214 2642 -2298 2414 -2530 2030 2514 -2282 -2894 -2010 -2838 -2894 -2702 -2834 -2602 -2030 -2130 -2070 2110 -2894 -2070 -2510 2646 -2478 2238 -2646 -2330 -2282 2786 -2334 -2654 2734 -2310 -2486 -2894 -2854 2602 -2374 2270 -2294 -2454 -2810 -2534 -2894 2854 -2202 -2174 -2522 -2746 2602 -2270 -2658 -2470 -2634 2030 2754 -2594 -2478 -2702 -2074 -2742 2678 2370 -2562 2830 -2446 2154 2410 -2834 2582 -2834 2482 -2774 -2830 -2506 -2082 -2894 -2542 -2450 -2734 2274 -2382 -2354 -1990 2442 -2178 -2190 2754 2278 1990 2262 -2110 -2486 2366 2730 -2254 -1994 -2434 2814 -2414 -2774 2094 2346 -2750 -2794 -2650 2718 -2514 -2382 -2618 -2894 -2614 -2186 -2522 -2386 -2258 -2854 -2374 -2742 -2482 -2778 2838 2734 -2282 -2718 2706 2486 -2374 -2746 2138 -2706 -1990 2030 2226 2030 2878 2702 -2582 2322 -2258 -2458 -2034 -2518 2578 -2306 -2034 2382 -2658 -2698 -2050 -2418 -2854 2806 -2330 -2862 2274 -2870 -2382 -2298 -2002 -2834 -2610 -2894 -2766 -2622 1990 -2786 -2882 -2674 -2454 -2562 2674 2582 -2478 2046 2886 -1990 -2078 -2350 2306 -2494 -2682 -2414 2574 -2286 -2246 -2602 -2786 -2190 -2842 2806 -2570 -2258 2750 -2598 -2258 -2066 2478 -2650 -2646 2590 2230 -2142 -2530 2154 -2422 -2854 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 2474 -2782 2806 2622 -2850 -2482 -2586 2542 -2394 -2534 -2478 -2582 2154 -2674 1990 -2394 -2446 -2366 2334 -2014 -2446 -2854 -2062 2738 -2382 -2038 -2614 2194 -2430 -2254 -2594 2190 2030 -2854 -2230 -2854 -2098 2030 -2650 -1994 2718 -2038 -2110 -2346 -2854 2802 -2098 -2026 2458 2446 2602 -2162 2566 -2422 2582 -2374 2030 -2774 2334 -2010 2030 -2674 -2854 -2778 2390 -2678 -2174 2842 2218 2846 -2430 -2070 -2542 -2234 -2718 -2882 -2826 -2234 2254 -2310 -2826 -2178 -1990 -2434 2310 -1998 2218 -2750 -2634 -2646 -2146 -2854 -2298 2886 -2374 -2406 -2330 -2110 2342 -2742 -2854 -2014 -2682 -2330 -2794 2478 -2522 -2214 -2230 -2542 2882 -2158 -2826 -2854 -2250 2518 -2254 2466 -2566 2838 2310 2182 2766 -2546 -2670 2086 2030 2234 -2826 -2298 -2602 -2414 -2510 -2594 -2182 2330 -2098 -2710 -2442 -2890 -2558 -2894 -2246 -2322 2182 -2386 -2298 -2182 -2842 2030 -2342 -2218 -2554 -2418 -2634 2490 -2030 -2542 -2358 -2826 2530 -2482 -2230 2370 2430 2698 1990 -2314 -2654 -1990 -2754 -2478 -2870 2614 -2458 2270 2798 2746 2738 -2462 -2854 -2570 -2102 -2894 2734 1990 -2138 -2686 -2082 2890 -2854 2706 -2702 -2362 -2626 2758 2394 -1998 2470 -2854 -2502 -2790 2266 -2650 -2882 -2614 -2494 -2434 2706 -2118 -1990 -2670 2618 -2642 -2078 -2030 -2794 -2222 2478 -1990 -1994 -2206 -2654 -2610 -2790 -2218 2798 -2626 2238 -2682 -2398 -2430 -2582 -2470 -2110 -2010 2402 1990 2086 -2246 2258 2438 2030 -2894 -2630 -2818 -2374 -2610 -2118 -2722 -1990 -2318 2722 -2190 -2554 -2706 -2842 -2038 2846 -2358 -2894 -2806 -2066 2158 -2698 -2746 -2474 2358 -2526 -2062 -2710 -2082 -2786 -2338 2246 2490 2658 -2798 1990 2098 -2882 -2274 -2134 -2190 -2726 -2826 -2662 -2014 -2346 -2730 -2166 2854 2086 -2894 -2030 -2582 -2706 -2702 -2018 1990 -2886 -2894 -2350 -2694 -2030 -2278 -2122 -2858 -2110 -2030 2494 -2486 -2894 -2894 -2222 2558 -2174 -2054 -2446 2190 -2778 -2622 -2854 -2714 -2654 -2894 -2494 -2246 2390 -2766 -2854 2510 2682 -2626 2786 -2574 -2746 -2602 -2298 -2478 -2450 -2630 -2854 -2426 -2566 2514 -2754 2438 -2366 -2602 -2678 -2194 -2658 -2870 2402 -2414 -2894 2814 -2814 -2070 -2214 -2358 -2854 -2894 -2390 -2238 -2894 -2410 -2602 -2218 2070 2230 2426 -2718 -2622 -2090 -2510 2434 -2734 2534 -2618 -2682 -2214 -2642 -2662 -2418 -2854 -2054 -2338 2694 2878 -2042 2690 -2194 -2694 -2550 2710 -2150 2354 2206 -2314 -2346 -2602 -2650 -2814 -2030 -2674 2350 -2150 2326 -2498 -2562 -2394 -2466 -2438 2546 2178 -2478 -2638 2086 2546 -2666 -2518 -2806 2438 -2206 2090 -2518 -2534 2046 -2030 -2894 -2658 2298 -2794 -2854 -2010 -2682 -2518 -2442 -2190 -2506 -2582 -2478 -2042 -2794 -2746 2586 2142 2802 -2182 2006 -2422 -2654 -2378 2130 -2218 -2250 2390 -2266 -2606 -2446 2502 -2038 -2758 -2654 -2882 -2622 1990 -2590 2806 -2678 -2518 -2826 2810 -2038 2606 2026 -2642 -2214 2158 -2466 -2654 -2122 -2174 -2746 -2334 2314 -2522 -2514 2518 -2390 2030 -2558 -2630 -2198 -2362 -2030 2030 -2354 -2890 2702 -2054 -2218 -2774 -2542 -2046 -2374 2534 2134 -2746 -2802 -2490 -1990 2074 -2842 -2134 -2378 -2638 -2186 -2814 2030 -2314 -2834 -2634 2486 -1990 -2498 2774 -1990 1990 -2030 2830 -2058 2462 2474 -2650 2342 2430 -2426 -2150 -2586 -2894 2642 -2894 2538 -2378 2690 -2786 -2642 -2130 -2490 2162 -2694 2742 -2222 -2402 -2322 -2286 -2450 -2746 -2790 -2438 -2110 2554 -2854 -2078 2030 -2254 -2642 2630 -2598 -2350 2658 -2478 -2826 -2894 2026 -2514 -2746 -2498 -2754 -2686 -2826 2442 -2474 2702 -2794 -2894 -2582 2490 -2198 2706 -2566 2162 -2090 -2866 -2802 -2410 -2518 -2574 -2270 2858 -2214 -2486 -2214 -2098 -2894 -2846 -2314 2290 2522 -2746 -2478 2198 2062 -2274 -2338 2722 -2030 2026 -2794 2542 2774 -2358 -2602 2666 2458 -2018 -2546 -2126 -2358 -2850 -2786 2830 -2610 -2318 -2758 -2766 2370 -2854 -2410 -2602 -2854 2406 -2422 2058 2406 -2718 -2594 -2674 -2794 -2302 -2446 -2042 -2374 2570 -2274 -2422 -2690 -2154 -2826 2682 -2418 -1998 -2222 -2310 -2854 -2034 -2738 -2354 -2506 -2598 -2554 2706 -2894 -2530 -2794 -2850 -2142 2482 2562 2566 -2054 -2046 2030 -2414 -2310 2458 -2074 -2430 -2702 -2390 2650 -2158 -2386 2426 -2578 -2494 1990 -2454 -2030 2722 -2570 1990 -2598 -2674 -2794 -2342 -2386 2270 2850 2230 -2658 -2374 -2774 2114 -2794 2566 -2438 -2466 -2622 2074 -2286 -2654 -2174 -2834 2378 -2598 -2706 -2478 2526 -2014 -2642 -2114 -2850 -2602 2438 -2894 -2894 -2534 2550 -2718 2550 2210 -2374 -2178 -2050 1990 2746 2758 -2694 2030 -2750 2010 2298 2230 -2814 2226 2162 -2078 2638 -2794 -2302 -2846 -2542 -2398 -2414 2854 -2894 -2754 -2186 2470 -2826 2842 -2834 -2642 -2002 -2866 -2338 -2362 -2070 -2442 2746 2470 -2022 2798 -1990 -2894 -2742 -2326 2842 1990 -2854 2290 -2802 -2214 2574 -2526 -2354 2786 -2758 -2770 -2894 -2566 -2206 -2890 -2126 -2882 2798 -2422 2614 -2362 -2734 -2634 2754 2382 -2114 -2894 -1998 1990 -2554 -2022 2706 2282 -2034 2146 -2194 2282 -2322 -2366 2410 -2090 2850 -2038 -2010 2250 2070 -2162 -2522 2718 2602 2002 -2490 2582 -2030 -2814 2542 -2174 2466 2126 -2370 2562 -2194 2834 -2246 -2662 -2286 -2050 -2574 -2774 -2122 -2854 -2378 -2678 -2854 2794 -2498 -2446 -2818 -2522 -2622 -2530 -2370 2842 -2258 -2222 -2162 -2534 -2854 -2686 2214 -2598 -2618 2670 -2530 -2726 2550 -2734 2082 -2494 2514 -2518 -2478 2610 -2202 -2238 -2826 -2842 2786 -2690 -2854 -2050 2438 2382 2370 -2314 2842 -2390 -2486 2502 -2278 -2170 -2706 2526 -2490 2086 -2854 -2698 -2182 2526 -2570 -2882 -2594 2618 -2078 2478 -2410 2730 -2198 -2526 -2490 -2506 -2734 -2694 2446 2130 -2642 2314 -2598 -2214 -2894 -2078 -2554 -2050 -2494 2342 2030 2418 -2402 -2842 2586 2166 -2074 -2822 -2366 2306 -2890 2374 -2286 -2794 -2854 -2854 -2298 2674 -2414 -2414 -2042 -2274 -2798 -2126 -2302 2690 2702 -2894 2666 -2534 -2418 -2254 -2854 -2302 2662 2314 -2466 -2854 -2350 2558 2170 -2326 -2554 -2258 -2054 -2734 -2518 -2322 -2190 -2370 2242 -2750 2806 -2230 2686 -2854 -2694 -2654 -2894 2826 -2806 2330 2106 -2186 2458 -2138 -2586 -2610 2810 -2298 2146 2222 2454 2318 2826 -2842 -2054 1990 2734 2750 2730 -2338 -2482 2170 2686 2542 -1990 -2854 2798 -2354 -2562 -2786 2570 -2794 -2214 2442 2262 -2470 -2578 -2558 2198 -2042 -2778 -2570 -2138 -2490 -2674 2518 2610 -2098 -2818 2182 2750 -2118 -2450 -2034 -2694 2418 -2054 -2542 -1990 -2746 -2206 -2194 -2854 2438 -2666 -2030 2126 -2654 2258 -2758 2514 -2894 -2218 -2822 -2598 -2894 -2698 -2442 -2586 -2894 -2562 -2274 -2334 2030 -2502 -2298 2634 -2694 2650 -2130 2542 -2426 1994 -2130 2342 -2498 -2622 2786 2206 -2374 -2374 -2402 -2746 -2258 -2630 2022 -2562 1998 -2678 2554 -1998 -2270 -2306 -2082 -2082 -2378 -2154 -2570 -2794 2502 -2458 2406 2230 -2258 -2678 -2422 -2546 -2846 -2034 -2854 -2794 -2030 2530 -2346 2514 1990 -2314 2706 -2294 -2638 -2782 2446 2450 2350 2462 2662 -2394 -2530 -2894 -1990 2498 -2854 -2274 2542 -2174 -2066 2182 -2370 2846 -2834 2654 -2178 -2670 -2302 2694 -2882 -2726 2202 2030 2886 -2894 -2198 -2402 -2534 -2766 -2618 2322 2502 -2854 -2786 2858 -2034 -2834 2270 -2542 -2454 -2034 -2370 2850 -2398 -2410 2662 1990 -2854 1990 -2222 2446 2482 2582 -2430 2442 -2650 -2414 -2582 -2846 -2318 2610 2810 2806 2174 -2582 -2014 -2314 -2170 -2742 -2546 1990 2286 -2358 -2806 -2854 -2326 -2434 2706 2726 -2038 2486 2190 -2746 -2302 -2414 -2490 2458 2866 2494 2678 -2230 -2382 2854 -2030 -2534 -2710 2106 -2638 -2762 2014 -2738 -2750 -2278 -2274 -2378 2322 -2038 -2714 -2894 -2110 -2582 2750 -2326 -2094 -2694 2894 -2514 2342 -2034 -2570 2082 -2310 -2130 -2350 2746 -2478 2066 -2198 -1990 -2518 -2334 -2010 -1994 -2290 2582 -2110 -2442 -2166 2150 -2882 -2234 2454 2870 2650 -2166 -2894 -2030 -2842 1990 2482 -2006 -2622 2054 -2646 -2758 2806 -2854 -2582 2354 2562 -2546 2158 2394 2754 -1990 -2706 -2634 -2694 2606 -2546 2350 -2046 2002 2362 -2618 -2886 -2870 -2790 2374 2390 2074 2814 -2606 -2174 -2042 2634 -2030 -2414 -2378 -2582 -2042 -2126 2242 -2326 2622 -2462 2786 -2498 2174 2846 2526 2354 -2434 -2030 -2642 -2742 2426 -2894 -2866 -2894 -2030 -2778 -2854 2610 2642 -2450 2774 2418 2526 -2114 -2582 2166 -2618 2334 -2542 -2818 -2498 -2746 2798 2734 2462 -2554 -2854 2286 -2326 2282 -2806 -2590 2854 -2714 2062 2510 2462 2262 -2678 -2122 2058 -2342 -2234 -2646 2846 -2070 -2854 -2838 -2714 2030 2894 2030 -2166 -2534 -2846 2466 2478 2314 -2710 2278 -2842 -2854 -2590 2794 -2834 -2854 -2122 2406 -2894 -2142 -2754 2682 2746 -2030 2182 -2474 -2074 -2322 -2586 -2338 -2138 2418 2374 -2274 2406 -2474 2338 -2854 2534 2542 -2862 -2378 -2762 -2642 -2654 -1994 -1990 2846 2562 -2058 -2682 -1990 -2282 -2350 2394 -2030 -2894 2030 2318 2738 -2122 1990 -1990 -2214 -2394 2502 -2338 -2350 -2398 -2290 -2218 2474 -2770 -2554 -2798 -2618 -2894 -2274 -2302 2850 -2346 -2262 -2238 2746 2882 2462 -2398 -2826 2706 -2514 -2030 2694 -2426 2758 2738 -2562 -1994 -2662 -2774 -2414 2690 1990 -2010 2462 -2038 -2574 2478 -2826 -2778 -2766 2486 -2290 2018 -2446 2662 2854 -2894 2590 -2378 2286 -2786 2518 -2166 1990 2682 -2858 -2658 -2274 2682 2342 -2610 -2478 -2038 -2522 2582 -2854 2438 2114 -1990 -2762 -1994 -2470 -2790 -2250 -2374 -2054 2106 -2282 -2030 2254 -2338 -2030 -2706 2146 2406 2554 -2786 2342 -2050 -2654 -2522 -2822 -2430 -2118 2606 2690 2718 2594 2398 2030 2774 -2258 -2654 -2542 -2834 -2522 2842 2694 2030 -2770 2042 -2538 -2682 -2322 2046 -2670 -2894 2282 2722 -2338 -2894 -2574 -2894 -2694 -2410 2846 -2662 -2694 -2066 -2842 -2542 -2302 -2478 2618 -2274 -2894 -2058 -2454 -2802 -2482 2050 -2050 -2838 -2762 -2502 -2530 -2734 2202 -2586 2078 -2578 2030 2618 2262 -2030 2394 -2830 -2774 -2630 -2750 -2210 -2298 -2578 -2246 2550 2478 -2798 2390 -2818 2558 -2106 -2506 -2030 2802 -2462 2326 2322 2786 -2894 -2566 -2270 -2006 -2846 2686 -2050 2278 -1990 -2574 2146 -2854 -2374 2414 2266 2466 
210.99	d NODES 0
210.99	d CHECKS 13441992
210.99	   
210.99	   totalWckTime=210.686  totalCpuTime=208.37

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/node3/watcher-206022-1168169533 -o ROOT/results/node3/solver-206022-1168169533 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206022-1168169533/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.00 2.00 1.91 4/86 28985
/proc/meminfo: memFree=1545880/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=18540 CPUtime=0
/proc/28984/stat : 28984 (runsolver) R 28982 28984 28316 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165348979 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28984/statm: 4635 279 244 17 0 2626 0

[startup+0.103101 s]
/proc/loadavg: 2.00 2.00 1.91 4/86 28985
/proc/meminfo: memFree=1545880/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=905804 CPUtime=0.01
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 1624 0 1 0 0 1 0 0 17 0 1 0 165348979 927543296 1374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153443603 0 4 0 7368 0 0 0 17 0 0 0
/proc/28984/statm: 226451 1384 831 14 0 214034 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905804

[startup+0.514162 s]
/proc/loadavg: 2.00 2.00 1.91 4/86 28985
/proc/meminfo: memFree=1545880/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915328 CPUtime=0.41
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 6502 0 1 0 37 4 0 0 24 0 8 0 165348979 937295872 6241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228832 6241 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.3363 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1466208/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=1.22
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 24279 0 1 0 109 13 0 0 25 0 8 0 165348979 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 24016 2160 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.08
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 7734 0 0 0 6 2 0 0 16 0 8 0 165348990 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.15
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 165348994 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 24016 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915648

[startup+2.97356 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1457696/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=2.85
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 24354 0 1 0 272 13 0 0 25 0 8 0 165348979 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 24090 2180 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.08
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 7734 0 0 0 6 2 0 0 17 0 8 0 165348990 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.18
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 423 0 0 0 17 1 0 0 15 0 8 0 165348994 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 24090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915648

[startup+6.2721 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1457696/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=6.15
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 24365 0 1 0 601 14 0 0 25 0 8 0 165348979 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 24100 2181 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.08
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 7734 0 0 0 6 2 0 0 16 0 8 0 165348990 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.19
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 432 0 0 0 18 1 0 0 16 0 8 0 165348994 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 24100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915648

[startup+12.7461 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1457184/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=12.58
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 24484 0 1 0 1244 14 0 0 25 0 8 0 165348979 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 24218 2181 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.12
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 7849 0 0 0 10 2 0 0 16 0 8 0 165348990 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.2
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 435 0 0 0 19 1 0 0 15 0 8 0 165348994 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 24218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915648

[startup+25.6022 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1457312/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=25.36
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 24486 0 1 0 2521 15 0 0 25 0 8 0 165348979 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 24219 2181 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.12
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 7849 0 0 0 10 2 0 0 16 0 8 0 165348990 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.2
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 436 0 0 0 19 1 0 0 16 0 8 0 165348994 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 24219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915648

[startup+51.2174 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1442720/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=50.88
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 28173 0 1 0 5068 20 0 0 25 0 8 0 165348979 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 27903 2181 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.26
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 11528 0 0 0 21 5 0 0 16 0 8 0 165348990 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.21
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 441 0 0 0 20 1 0 0 16 0 8 0 165348994 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 27903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915648

[startup+102.44 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1434208/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=101.88
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 30325 0 1 0 10163 25 0 0 25 0 8 0 165348979 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 30053 2181 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.36
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 13672 0 0 0 31 5 0 0 16 0 8 0 165348990 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.22
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 447 0 0 0 21 1 0 0 15 0 8 0 165348994 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 30053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915648

[startup+162.493 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28992
/proc/meminfo: memFree=1427552/2055920 swapFree=4192812/4192956
[pid=28984] ppid=28982 vsize=915648 CPUtime=161.63
/proc/28984/stat : 28984 (java) R 28982 28984 28316 0 -1 0 31979 0 1 0 16133 30 0 0 25 0 8 0 165348979 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28984/statm: 228912 31705 2182 14 0 215382 0
[pid=28984/tid=28986] ppid=28982 vsize=915648 CPUtime=0.44
/proc/28984/task/28986/stat : 28986 (java) S 28982 28984 28316 0 -1 64 15321 0 0 0 38 6 0 0 16 0 8 0 165348990 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28987] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28987/stat : 28987 (java) S 28982 28984 28316 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28988] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28988/stat : 28988 (java) S 28982 28984 28316 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165348991 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28989] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28989/stat : 28989 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165348994 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28990] ppid=28982 vsize=915648 CPUtime=0.23
/proc/28984/task/28990/stat : 28990 (java) S 28982 28984 28316 0 -1 64 450 0 0 0 22 1 0 0 16 0 8 0 165348994 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28991] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28991/stat : 28991 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165348994 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28984/tid=28992] ppid=28982 vsize=915648 CPUtime=0
/proc/28984/task/28992/stat : 28992 (java) S 28982 28984 28316 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165348994 937623552 31705 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 211.02
CPU time (s): 209.934
CPU user time (s): 209.514
CPU system time (s): 0.419936
CPU usage (%): 99.4855
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.514
system time used= 0.419936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42243
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= 6033
involuntary context switches= 9198

runsolver used 0.213967 s user time and 0.728889 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sun Jan  7 11:32:13 UTC 2007


IDJOB= 206022
IDBENCH= 4182
FILE ID= node3/206022-1168169533

PBS_JOBID= 3478787

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7f44d72a5fa7a0f4922e4f4ea44d0317

RANDOM SEED= 474700529

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.279
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.279
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:       1546360 kB
Buffers:         35620 kB
Cached:         218564 kB
SwapCached:          0 kB
Active:         297912 kB
Inactive:       150424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1546360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4248 kB
Writeback:           0 kB
Mapped:         216540 kB
Slab:            45856 kB
Committed_AS:  4500612 kB
PageTables:       2528 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= 66540 MiB



End job on node3 on Sun Jan  7 11:35:45 UTC 2007