Trace number 206038

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 210.843 210.94

DiagnosticValue
CHECKS14475033
NODES0

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-9.xml
MD5SUMc41a224ced2d9da1b6c70f54377c78b8
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.0447
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/206038-1168169618/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.66	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.66	       =>  wckTime=0.365  cpuTime=0.28  mem=34M237
0.66	   
0.66	   predicates being loaded...
0.67	   
0.67	   constraints being loaded...
201.05	   
201.05	   INFO : Stopping converting binary constraints (cpu=200.03, mem = 94M974)
202.73	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=3371  nbConvertConstraintsChecks=359928653
202.73	     nbExtensionStructures=2762  nbSharedExtensionStructures=609  nbConflictsStructures=2762
202.73	     nbSharedConflictsStructures=609  nbSharedBinaryRepresentations=1819219  nbEvaluationManagers=5151
202.73	     nbSharedEvaluationManagers=1545  maxDegree=13  maxArity=2
202.73	       =>  wckTime=202.428  cpuTime=201.49  mem=105M630
202.99	   
202.99	   solver IterativeSystematicSolver being built... 
203.40	       =>  wckTime=203.099  cpuTime=201.8  mem=126M825
210.85	   
210.85	   preprocessing
210.85	     nbConstraintChecks=14475033  nbValidityChecks=1558117  nbPropagations=13373  nbRevisions=103834
210.85	     nbUselessRevisions=85632  nbSingletonTests=2000  nbEffectiveSingletonTests=0  nbESACBranches=1
210.85	     nbRemovedValues=715564  detectedInconsistency=no
210.85	       =>  wckTime=7.424  cpuTime=7.36  mem=126M825
210.85	   
210.85	   global
210.85	     nbConstraintChecks=14475033  nbValidityChecks=1558117  nbPropagations=13373  nbRevisions=103834
210.85	     nbUselessRevisions=85632  nbRestartNogoods=0  solvingWckTime=7.428  solvingCpuTime=7.36  expiredTime=no
210.85	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=209.23
210.85	       =>  wckTime=210.547  cpuTime=209.18  mem=126M825
210.90	   
210.90	s SATISFIABLE
210.90	v -2194 -2518 -2458 -2890 2686 -2686 2274 2514 -2550 -2654 -2090 -2326 -2542 -2638 -2894 -2762 2246 -2218 -2110 -2854 -2854 2442 2822 -2498 -2398 -2274 -1990 1990 2542 -2386 -2070 -1990 2566 -2606 2858 -2806 2706 -2818 -2770 -2146 -2854 2762 2038 -2838 -2854 -2706 -2574 -2578 -2686 -2810 -2314 -2770 2482 -2034 -2566 -2518 -2854 -2698 -2854 -2654 -2730 -2150 -2230 -2030 -2378 -2106 2210 -2470 -2478 -2646 -2078 -2854 -2826 -2806 -2842 -2622 -2642 -2266 -2418 -2150 -2494 2390 2214 -2674 -2594 -2894 2722 -2310 -2710 -2334 -2110 -2818 -2154 -2778 1990 -2578 -2118 -2774 2434 2202 -2706 -2250 2482 2714 -2586 2598 1990 -2718 -2378 -2842 -2222 -2638 -2298 2418 -2530 2030 2518 2270 -2894 -2006 2798 -2894 -2702 -2842 -2602 -2030 -2010 -2070 2106 -2834 -2070 -2514 2646 -2478 2238 2638 -2326 -2278 2778 -2338 -2650 2722 -2310 -2486 -2894 -2854 -2606 -2374 -2270 -2298 -2454 -2794 -2534 -2894 2854 -2198 -2174 -2522 -2746 2602 -2270 -2658 -2474 -2638 -2030 2850 -2594 -2478 -2702 -2078 -2750 2670 -2382 -2562 2826 -2446 2154 2410 -2834 -2586 -2834 2478 2774 -2830 -2506 -2082 -2894 -2546 -2450 -2730 2274 -2382 -2354 -1990 -2442 -2178 -2190 2750 2282 -2122 2262 -2110 -2486 2366 2726 -2262 -1990 -2438 -2894 -2414 -2774 2122 2346 -2750 -2798 -2654 2718 2506 2370 -2618 -2894 -2614 -2186 -2522 -2390 -2274 -2854 -2374 -2742 -2486 -2778 2838 2742 -2282 2714 2710 -2482 -2374 -2746 2134 -2706 -1990 -2002 2226 2030 -2874 2702 -2582 2322 -2258 2450 2030 2518 2578 -2322 -2038 2382 -2654 -2714 -2170 2418 -2854 2806 -2330 -2862 2274 -2870 -2374 -2298 -1994 -2838 -2610 -2894 -2766 -2622 1990 -2786 -2890 -2674 -2454 -2562 2674 2582 -2478 -2038 2890 1990 -2082 -2358 2310 -2490 2678 -2414 -2586 2282 -2246 -2606 -2786 -2190 -2838 -2814 -2570 -2258 -2754 2590 -2258 -2066 -2482 -2646 -2642 2590 2230 -2142 -2530 -2138 -2422 -2854 -2894 -2718 1990 1990 -2882 -2894 -2710 -2786 2454 2782 -2894 2618 -2854 -2482 -2582 2542 -2394 -2538 -2474 -2582 2158 2678 1990 -2386 -2446 2362 2334 -2018 -2454 2834 -2058 2738 -2386 -2030 -2614 2206 2430 -2254 -2594 2190 2030 -2854 1990 -2854 -2190 -2030 -2654 -1998 2718 -2038 2122 -2346 -2854 2798 -2094 -2034 -2450 2438 2598 -2234 2562 2414 2586 2370 2030 2770 2334 -2006 1990 -2674 -2854 -2774 2386 -2674 -2174 2842 -2234 -2850 -2430 -2070 -2542 -2234 -2722 -2882 -2794 -2234 2250 -2310 -2822 -2178 2002 -2434 2306 -1998 2218 -2754 -2634 -2646 -2170 -2854 -2298 2886 -2378 -2406 -2330 -2030 2334 -2742 -2854 -2014 -2682 -2330 -2794 -2486 -2522 -2214 -2230 -2542 2886 -2166 -2826 -2854 -2250 -2522 -2258 2474 -2566 2834 2442 2182 2878 2538 -2670 -2086 2030 -2242 -2826 -2298 -2602 -2418 -2510 -2598 -2186 -2318 -2062 -2710 -2442 -2894 -2558 -2894 -2246 2310 2182 -2382 -2298 -2182 -2842 2030 -2342 -2222 -2554 -2418 -2634 -2494 -2030 -2542 -2378 -2826 2530 -2482 -2230 -2358 2426 2698 1990 -2314 -2654 -1998 -2754 -2474 -2870 2606 -2458 2270 -2850 2746 -2754 2458 -2854 -2586 -2102 -2894 2738 2134 -2102 -2686 -2086 2890 -2854 2702 -2702 -2362 2622 2862 2402 -1998 -2466 -2854 -2502 -2794 2266 -2650 -2882 -2614 -2510 -2430 -2702 -2102 -1990 -2670 2618 -2642 -2082 -2030 2786 -2226 2478 -2046 1990 -2206 -2654 -2614 -2786 -2218 2822 -2622 2242 2682 -2394 -2426 -2582 -2470 -2110 -2010 -2394 1990 2086 2250 2250 2438 -2006 -2890 -2630 -2818 -2374 -2614 -2118 -2722 -2042 -2314 -2734 -2190 -2546 -2706 -2842 -2030 2846 -2358 -2894 -2838 -2070 2158 -2702 -2746 -2474 2358 2522 -2062 2714 -2078 -2782 -2334 2246 2490 2658 -2798 1990 2098 -2882 -2270 -2130 -2190 -2730 -2826 -2662 -2014 -2350 -2726 -2170 2850 2086 -2894 2030 -2586 2702 2698 -2022 1990 -2886 -2894 -2350 -2694 1990 -2278 -2106 -2858 -2110 2162 -2494 2486 -2894 -2894 -2222 2558 -2106 -2058 2442 -2190 -2778 -2622 -2854 -2714 -2654 -2894 2494 -2258 2390 2774 -2854 -2510 -2682 -2630 -2794 -2574 -2746 2606 -2294 -2462 -2454 -2630 -2854 -2426 -2558 -2534 2742 2438 -2370 -2602 -2678 -2194 -2662 -2866 -2398 -2414 -2894 2810 -2818 -2074 -2290 -2434 -2878 -2894 -2386 -2242 2878 -2410 -2602 -2218 2070 -2230 2422 -2714 -2626 -2010 -2510 -2434 -2734 2530 2622 2678 -2214 -2642 -2662 -2406 -2854 -2030 -2338 -2694 -2882 -2050 2690 -2202 -2690 -2546 2710 -2150 2354 2198 2314 2342 -2602 -2654 2810 2054 -2674 2350 2154 -2330 -2498 -2562 2390 -2466 2446 2546 2178 -2478 -2630 2086 2546 -2670 -2518 -2806 -2450 -2206 -2050 -2534 -2526 2018 -2030 -2894 -2658 -2298 2782 -2854 -2130 -2682 -2518 -2442 -2194 -2506 -2582 -2494 -2030 -2798 -2746 2586 2146 2798 -2182 1998 -2418 2658 -2378 -2154 -2218 -2250 -2386 -2282 2606 -2446 2502 -2030 -2758 -2654 -2882 2626 2030 2586 2806 -2682 2502 -2818 2806 -2030 2606 2026 -2638 -2146 2158 -2462 -2654 2194 -2174 -2746 -2334 2314 -2522 -2514 2514 2390 2030 -2562 -2630 2198 -2294 -2030 -2030 -2350 -2894 2710 -2054 -2226 -2770 -2546 -2046 -2374 -2546 2134 -2750 -2802 -2494 -1990 2078 -2842 -2130 2374 2550 -2186 -2818 2030 -2314 -2834 -2638 2482 1990 -2490 -2774 1990 1990 -2030 -2826 -2138 2458 2478 2650 2346 2430 -2426 -2150 -2586 -2894 -2646 -2894 2542 -2374 -2694 -2786 -2642 -2118 -2494 2158 -2694 -2894 -2222 -2402 -2322 -2286 -2458 -2754 -2794 -2438 -2182 -2562 -2822 -2078 -2034 -2286 -2642 2634 -2598 -2350 -2662 2478 -2826 -2894 2022 -2514 -2746 2502 -2750 2686 -2826 2442 -2474 2702 -2790 -2894 -2578 2490 2206 -2710 -2566 2162 -2098 2842 -2802 -2410 2514 -2574 -2270 2858 -2214 2494 -2214 -2094 -2894 -2846 -2314 -2290 2522 -2746 2474 2198 -2106 -2274 -2338 2718 -2030 2026 2790 -2546 -2770 2358 -2602 2662 2458 -2022 -2546 -2122 -2354 -2850 -2786 -2830 2606 -2314 -2758 -2766 2366 -2854 2406 2598 -2854 -2422 -2418 2062 2406 -2718 -2594 -2674 -2794 -2306 -2462 -2034 -2374 2574 -2274 -2430 -2694 2150 -2834 2686 -2418 -1990 -2150 -2318 -2854 -2038 -2738 -2354 -2506 -2598 -2554 2706 -2874 -2530 -2794 -2850 2142 2482 2558 2566 -2054 -2050 2030 -2414 -2314 2458 -2074 -2426 -2702 -2386 -2646 -2162 -2386 2434 -2582 -2494 1990 -2450 -2030 2718 -2570 1990 -2598 -2674 -2794 2338 2378 2270 2850 2230 -2662 -2374 -2778 2110 -2790 2570 -2434 -2466 -2622 2058 -2286 -2654 2174 -2838 2378 -2602 -2706 -2478 2526 -2014 -2638 -2118 -2846 -2602 2434 2890 -2874 -2534 2546 -2714 -2554 2210 -2374 2186 -2050 1990 -2746 2758 2694 2030 -2750 -2002 2298 2234 -2814 2226 2166 -2062 2638 -2794 -2302 -2846 -2542 -2398 -2366 -2854 -2894 -2754 -2242 -2470 -2826 2850 2826 -2642 -2010 -2834 -2334 -2362 -2070 -2438 2746 2470 -2038 -2758 -1990 -2862 -2742 -2346 -2842 2006 -2854 2290 -2802 2214 -2570 2526 2362 2786 -2758 -2770 -2894 -2562 -2206 -2886 -2202 -2882 2798 -2422 -2614 -2362 -2734 -2634 2754 2374 -2122 -2894 -1994 2014 -2554 -2018 -2706 -2282 -2030 2150 -2178 -2266 2334 -2366 2418 -2158 2846 -2038 -2006 2250 2066 2154 -2522 -2730 2598 -1990 -2490 -2578 -2174 -2814 2534 -2174 2466 -2122 -2370 2558 2198 2830 -2238 -2662 -2306 -2046 -2574 -2774 -2118 -2854 -2378 -2674 -2854 -2890 -2498 -2442 -2818 -2522 -2622 2530 -2370 2838 -2254 -2226 -2162 -2530 -2850 -2686 2214 -2598 2622 -2670 -2546 -2726 2550 -2734 2066 -2494 -2514 -2518 -2478 2606 -2206 -2238 -2826 -2842 2786 -2690 -2854 -2034 2438 2378 2374 -2318 2842 -2390 -2490 2498 -2282 -2094 2706 -2526 2490 2058 -2858 -2698 2190 2518 -2570 -2882 -2602 2618 -2110 2478 -2410 -2730 2202 -2526 -2490 -2506 -2734 -2694 2450 -2138 -2642 2310 2590 2218 2806 -2070 -2558 -2042 -2494 2346 -2042 2418 -2402 -2842 2582 2162 -2082 -2742 2370 2306 -2894 2374 2286 -2794 -2854 -2846 -2298 2674 -2414 -2410 -2050 -2274 -2798 -2122 -2306 -2694 -2702 -2894 -2662 -2534 -2422 -2254 -2854 -2306 2666 2314 -2466 2838 -2346 2558 -2174 -2322 -2554 -2258 -2082 -2742 -2514 -2322 -2030 -2370 2242 -2754 2806 -2230 2682 -2854 -2694 2650 -2894 -2882 -2894 2334 -2110 -2130 -2450 2150 2578 -2610 -2894 -2306 2146 2222 2454 2322 -2826 -2842 -2054 1990 2734 2758 2730 -2338 -2482 2174 2678 2542 -1990 -2854 2798 -2350 -2482 -2786 2570 -2794 -2246 -2442 -2274 -2466 -2570 -2558 2198 -2042 -2778 -2578 -2138 -2478 -2674 2518 2610 -2098 -2818 2186 2746 -2070 -2446 2030 -2690 2418 -2054 -2546 -1994 -2746 -2210 -2194 -2854 2434 -2666 -2030 2126 -2654 2258 -2758 2510 -2894 -2214 -2818 2594 -2894 -2698 -2446 -2586 -2894 -2562 2274 -2334 -2030 -2502 -2298 2634 -2694 2650 -2134 -2542 -2418 1998 -2134 2258 2502 -2622 -2786 2210 -2374 -2374 -2402 -2746 -2258 2622 -2146 -2562 1998 -2678 2554 -1990 2290 -2306 -2090 2074 -2346 -2166 -2574 -2794 2574 2462 2398 2230 -2322 2678 -2422 -2546 -2846 -2038 -2854 -2794 -2030 2538 -2346 2510 1990 -2314 2706 -2290 -2638 -2854 2446 2454 2346 2458 2658 -2394 -2534 -2894 -2058 2498 -2854 -2274 -2542 -2170 -1994 2182 -2370 2850 2834 -2658 -2182 -2662 2310 2694 -2882 -2726 2194 2002 2890 2838 -2202 -2402 -2550 -2770 2610 -2322 2502 -2854 -2786 2862 -2034 -2834 -2482 2546 -2454 -2034 -2370 2854 -2398 -2422 2658 1990 -2894 -1990 -2222 2446 2482 2582 -2430 2442 -2646 -2414 -2582 -2850 -2318 -2610 2810 2810 2174 -2582 1990 -2314 -2194 -2742 -2546 1990 -2290 -2358 -2806 -2834 -2330 2426 2706 -2722 -2042 2486 2190 -2742 -2314 -2414 -2490 2446 2862 2494 -2678 -2230 -2378 2854 -2030 -2534 -2710 2106 -2634 2758 2018 -2738 -2750 -2278 -2274 -2378 -2322 -2038 -2714 -2894 -2114 -2582 2750 -2326 -2094 2694 -2894 2518 2346 -2038 -2566 2082 2330 2134 -2350 2746 -2478 2066 2206 -2042 -2518 -2334 -2014 -1990 -2222 2582 -2110 2434 2166 -2142 -2882 -2230 2454 2866 2654 -2162 -2894 2030 -2846 -2030 -2490 -2086 -2618 2058 -2638 -2758 -2806 -2854 -2582 2354 -2566 -2546 2166 -2394 -2750 1990 -2706 -2634 -2694 2602 -2542 2350 -2046 -1994 2362 -2618 -2890 -2870 -2798 -2406 2390 -2078 -2818 -2610 -2174 -2034 -2634 -2030 -2414 -2378 -2582 -2050 -2126 -2242 -2326 -2622 -2462 2786 -2498 2170 2850 -2522 2354 2442 2030 -2638 -2742 -2426 -2894 -2866 -2894 -2054 -2778 -2854 -2614 2642 2438 2782 2418 2522 -2110 2586 -2162 -2618 -2334 -2542 -2802 2490 -2746 2798 2730 -2466 -2574 -2854 2290 -2330 -2286 2802 -2586 -2854 -2714 -1998 2514 -2462 2262 -2674 2114 2054 -2330 -2234 -2646 2842 -2082 -2854 -2838 2714 -2030 2894 -2046 -2162 -2534 -2846 -2466 2474 -2314 -2710 2282 -2842 -2854 -2594 2802 2834 2854 -2122 2406 -2894 -2146 -2754 -2682 2742 -2030 -2186 -2470 -2070 -2306 -2582 -2338 2138 -2410 2374 2274 -2406 -2478 -2346 -2874 -2534 2538 -2862 -2382 -2758 -2642 -2654 -1994 -1990 -2854 2562 -2062 -2682 -1990 2282 2354 -2402 -2110 -2854 2030 -2314 2734 -2122 1990 -2014 -2214 -2390 -2502 -2338 -2346 -2398 -2210 -2210 2470 2754 2554 -2798 -2618 -2894 -2274 -2294 -2854 -2350 -2266 -2242 -2750 2878 -2462 -2394 -2826 2706 2494 -2030 -2702 2426 2770 2738 -2562 -1998 -2662 -2778 -2410 -2690 1990 -2074 2462 -2034 -2566 2490 -2826 -2762 -2766 2486 -2366 2022 -2446 2662 2854 -2894 2590 -2378 2286 -2786 -2518 2170 -1990 2678 -2858 -2658 -2278 -2682 -2350 -2606 -2478 -2038 -2530 2582 -2854 2438 2098 -1990 -2774 1994 -2470 -2790 -2262 -2374 -2066 2110 -2282 -2038 -2250 -2338 2030 -2714 2150 2402 2554 -2786 -2338 -2050 -2646 -2518 -2822 -2426 -2122 -2602 -2686 2718 2594 -2418 2030 2778 -2254 -2654 -2538 -2834 -2522 2842 -2698 2030 -2770 2046 2538 2678 -2238 2046 2678 -2894 -2282 2722 -2386 -2894 -2574 -2894 -2694 -2406 2846 -2666 -2694 2062 -2842 -2542 -2298 -2474 2614 -2270 -2894 -2062 -2454 -2802 -2482 -2046 -2054 -2890 -2762 -2506 -2530 -2734 2202 2586 2078 -2578 -2018 -2622 2254 -2030 2394 -2830 -2774 2630 -2750 -2210 -2282 -2578 -2246 -2554 2474 -2798 2390 -2822 2550 -2110 -2510 -2030 2802 -2470 2322 -2322 -2786 -2894 2562 -2274 -2010 -2846 2682 -2046 2274 -1990 -2578 2146 2722 2378 2414 2266 2474 
210.90	d NODES 0
210.90	d CHECKS 14475033
210.90	   
210.90	   totalWckTime=210.676  totalCpuTime=209.29

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/node72/watcher-206038-1168169618 -o ROOT/results/node72/solver-206038-1168169618 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206038-1168169618/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: 0.91 0.95 0.99 2/78 27765
/proc/meminfo: memFree=1322440/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=1784 CPUtime=0
/proc/27764/stat : 27764 (java) D 27762 27764 27020 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 165370648 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27764/statm: 446 136 102 14 0 91 0

[startup+0.102634 s]
/proc/loadavg: 0.91 0.95 0.99 2/78 27765
/proc/meminfo: memFree=1322440/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=914988 CPUtime=0.08
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 3000 0 1 0 6 2 0 0 16 0 8 0 165370648 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228747 2747 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510668 s]
/proc/loadavg: 0.91 0.95 0.99 2/78 27765
/proc/meminfo: memFree=1322440/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915328 CPUtime=0.48
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 8165 0 1 0 43 5 0 0 17 0 8 0 165370648 937295872 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228832 7905 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33274 s]
/proc/loadavg: 0.91 0.95 0.99 3/85 27772
/proc/meminfo: memFree=1242840/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=1.3
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 24278 0 1 0 117 13 0 0 17 0 8 0 165370648 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27764/statm: 228912 24015 2160 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.09
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 7736 0 0 0 6 3 0 0 16 0 8 0 165370651 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.14
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 410 0 0 0 14 0 0 0 16 0 8 0 165370655 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 24015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648

[startup+2.97889 s]
/proc/loadavg: 0.91 0.95 0.99 2/85 27772
/proc/meminfo: memFree=1234264/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=2.95
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 24352 0 1 0 281 14 0 0 17 0 8 0 165370648 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 24088 2180 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.09
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 7736 0 0 0 6 3 0 0 17 0 8 0 165370651 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.16
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 422 0 0 0 15 1 0 0 15 0 8 0 165370655 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 24088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648

[startup+6.25519 s]
/proc/loadavg: 0.92 0.95 0.99 2/85 27772
/proc/meminfo: memFree=1234264/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=6.23
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 24358 0 1 0 609 14 0 0 18 0 8 0 165370648 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 24093 2180 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.09
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 7736 0 0 0 6 3 0 0 16 0 8 0 165370651 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.17
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 427 0 0 0 16 1 0 0 15 0 8 0 165370655 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 24093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915648

[startup+12.7388 s]
/proc/loadavg: 0.93 0.95 0.99 2/85 27772
/proc/meminfo: memFree=1233824/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=12.71
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 24476 0 1 0 1256 15 0 0 17 0 8 0 165370648 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 24210 2181 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.13
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 7846 0 0 0 10 3 0 0 16 0 8 0 165370651 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.18
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 433 0 0 0 17 1 0 0 16 0 8 0 165370655 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 24210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915648

[startup+25.5709 s]
/proc/loadavg: 0.94 0.96 0.99 2/85 27772
/proc/meminfo: memFree=1233952/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=25.54
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 24479 0 1 0 2538 16 0 0 25 0 8 0 165370648 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 24212 2181 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.13
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 7846 0 0 0 10 3 0 0 16 0 8 0 165370651 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.18
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 435 0 0 0 17 1 0 0 16 0 8 0 165370655 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 24212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915648

[startup+51.2553 s]
/proc/loadavg: 0.96 0.96 0.99 2/85 27772
/proc/meminfo: memFree=1219296/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=51.21
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 28157 0 1 0 5103 18 0 0 22 0 8 0 165370648 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 27887 2181 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.27
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 11516 0 0 0 23 4 0 0 16 0 8 0 165370651 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.19
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 440 0 0 0 18 1 0 0 16 0 8 0 165370655 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 27887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915648

[startup+102.514 s]
/proc/loadavg: 0.98 0.96 0.99 2/85 27772
/proc/meminfo: memFree=1210720/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=102.46
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 30303 0 1 0 10222 24 0 0 25 0 8 0 165370648 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 30031 2181 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.37
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 13654 0 0 0 33 4 0 0 16 0 8 0 165370651 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.2
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 446 0 0 0 19 1 0 0 16 0 8 0 165370655 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 30031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915648

[startup+162.612 s]
/proc/loadavg: 0.99 0.97 0.99 2/85 27772
/proc/meminfo: memFree=1204256/2055920 swapFree=4191880/4192956
[pid=27764] ppid=27762 vsize=915648 CPUtime=162.54
/proc/27764/stat : 27764 (java) R 27762 27764 27020 0 -1 0 31964 0 1 0 16225 29 0 0 25 0 8 0 165370648 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27764/statm: 228912 31690 2181 14 0 215382 0
[pid=27764/tid=27766] ppid=27762 vsize=915648 CPUtime=0.45
/proc/27764/task/27766/stat : 27766 (java) S 27762 27764 27020 0 -1 64 15310 0 0 0 40 5 0 0 16 0 8 0 165370651 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27767] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27767/stat : 27767 (java) S 27762 27764 27020 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27768] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27768/stat : 27768 (java) S 27762 27764 27020 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165370652 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27769] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27769/stat : 27769 (java) S 27762 27764 27020 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 165370655 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27770] ppid=27762 vsize=915648 CPUtime=0.21
/proc/27764/task/27770/stat : 27770 (java) S 27762 27764 27020 0 -1 64 449 0 0 0 20 1 0 0 16 0 8 0 165370655 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27771] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27771/stat : 27771 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165370655 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27764/tid=27772] ppid=27762 vsize=915648 CPUtime=0
/proc/27764/task/27772/stat : 27772 (java) S 27762 27764 27020 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165370655 937623552 31690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.54
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 210.94
CPU time (s): 210.843
CPU user time (s): 210.438
CPU system time (s): 0.404938
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.438
system time used= 0.404938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42098
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= 5538
involuntary context switches= 944

runsolver used 0.200969 s user time and 0.555915 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun Jan  7 11:33:38 UTC 2007


IDJOB= 206038
IDBENCH= 4183
FILE ID= node72/206038-1168169618

PBS_JOBID= 3478781

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c41a224ced2d9da1b6c70f54377c78b8

RANDOM SEED= 890669256

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.223
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.223
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:       1322920 kB
Buffers:         46316 kB
Cached:         570172 kB
SwapCached:        408 kB
Active:         190336 kB
Inactive:       468876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1322920 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:          59980 kB
Slab:            59204 kB
Committed_AS:  2966804 kB
PageTables:       1916 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= 66553 MiB



End job on node72 on Sun Jan  7 11:37:09 UTC 2007