Trace number 205990

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.79 212.84

DiagnosticValue
CHECKS15430871
NODES0

General information on the benchmark

Namefapp/fapp36-40/fapp36/
fapp36-2000-10.xml
MD5SUMa0cfe24393aaec972ad81f1f87dd77c5
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.3527
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/205990-1168168907/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.70	     nbVariables=2000  nbDomainTypes=26  minDomainSize=46  maxDomainSize=454
0.70	       =>  wckTime=0.382  cpuTime=0.29  mem=34M237
0.70	   
0.70	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
202.02	   
202.02	   INFO : Stopping converting binary constraints (cpu=200.07, mem = 93M862)
203.73	     nbConstraints=10067  nbMergedConstraints=8533  nbConvertedConstraints=3366  nbConvertConstraintsChecks=356904721
203.73	     nbExtensionStructures=2753  nbSharedExtensionStructures=613  nbConflictsStructures=2753
203.73	     nbSharedConflictsStructures=613  nbSharedBinaryRepresentations=1807332  nbEvaluationManagers=5113
203.73	     nbSharedEvaluationManagers=1588  maxDegree=13  maxArity=2
203.73	       =>  wckTime=203.412  cpuTime=201.55  mem=103M570
204.00	   
204.00	   solver IterativeSystematicSolver being built... 
204.42	       =>  wckTime=204.102  cpuTime=201.86  mem=126M752
212.72	   
212.72	   preprocessing
212.72	     nbConstraintChecks=15430871  nbValidityChecks=1718209  nbPropagations=14200  nbRevisions=108643
212.72	     nbUselessRevisions=89642  nbSingletonTests=2000  nbEffectiveSingletonTests=0  nbESACBranches=1
212.72	     nbRemovedValues=711844  detectedInconsistency=no
212.72	       =>  wckTime=8.279  cpuTime=8.18  mem=126M752
212.72	   
212.73	   global
212.73	     nbConstraintChecks=15430871  nbValidityChecks=1718209  nbPropagations=14200  nbRevisions=108643
212.73	     nbUselessRevisions=89642  nbRestartNogoods=0  solvingWckTime=8.284  solvingCpuTime=8.18  expiredTime=no
212.73	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=210.1
212.73	       =>  wckTime=212.408  cpuTime=210.06  mem=126M752
212.77	   
212.77	s SATISFIABLE
212.77	v -2202 -2518 2458 -2890 2694 -2686 -2270 -2514 2550 -2658 2086 -2322 -2542 -2638 -2894 2750 -2262 2210 -2102 -2854 -2854 2438 -2822 -2498 -2398 -2274 -1990 -1994 2542 -2378 -2070 -2070 2562 -2606 2858 -2802 -2710 -2818 -2770 -2150 -2854 2766 -2042 -2838 -2854 -2894 -2574 -2578 -2686 -2810 -2314 2686 -2486 -2046 2566 -2518 -2854 2690 -2854 -2658 -2726 -2150 -2234 2038 -2378 -2102 -2202 2458 -2482 -2638 -2086 -2854 2818 -2810 -2842 -2622 2642 -2266 -2422 -2070 -2482 2382 2214 2662 -2590 -2894 2722 -2306 -2710 -2346 -2110 -2818 -2158 -2778 -1998 -2582 -2126 -2774 2446 -2146 -2706 -2246 -2486 -2722 -2582 2598 1990 -2714 2366 -2842 -2218 2642 -2298 2414 -2534 2030 2514 -2290 -2830 1990 2798 -2894 2702 -2830 -2602 -2238 -2134 -2074 2102 -2834 -2078 -2514 -2646 -2478 2246 -2638 -2330 -2274 2826 -2338 -2650 2710 -2190 2490 -2894 -2854 -2602 -2374 2270 2298 -2522 -2810 -2534 -2894 2790 -2198 -2174 -2522 -2750 -2606 -2274 -2658 -2462 -2634 -2034 2758 -2594 -2478 -2702 -2146 -2894 -2666 -2382 -2562 -2826 -2446 2162 -2422 -2834 -2582 -2834 -2490 -2774 -2830 -2506 -2062 -2894 -2542 -2454 -2730 -2282 -2382 -2354 -1990 2446 2030 -2190 2754 2286 1990 -2270 -2114 -2486 2366 2726 -2258 -1998 2430 -2894 -2414 -2774 2106 2338 2742 -2798 -2650 2714 2514 -2378 -2622 -2894 -2610 -2190 -2522 -2394 -2274 -2854 -2386 -2738 2466 -2778 2766 2738 -2282 -2722 2702 2482 -2374 -2742 2138 -2702 -1990 2030 2226 2030 2878 2698 -2582 -2322 -2258 2446 -2030 -2518 2586 -2322 -2042 -2382 -2654 -2706 -2062 -2418 -2854 2806 -2334 -2866 2270 -2870 -2370 2294 -2010 -2838 -2610 -2894 2766 -2622 1990 -2778 -2894 -2674 -2454 -2562 -2682 -2582 -2478 2034 2886 1990 -2090 -2358 2302 -2490 -2682 -2410 -2586 -2286 -2242 -2606 2778 -2190 -2846 -2806 -2570 2250 -2754 -2594 -2266 -2066 2478 2642 -2642 -2590 2230 -2142 -2530 2142 -2426 -2854 -2894 -2718 1990 -2202 -2882 -2894 -2706 -2786 -2474 2778 2806 2622 -2850 -2482 -2582 -2550 2394 -2530 -2478 -2578 2158 -2674 1990 -2398 -2442 -2362 -2338 -2034 -2454 -2854 -2142 -2742 -2378 -2030 -2614 2226 2434 2178 -2594 -2194 2030 -2854 1990 -2854 -2194 -2030 -2650 -1998 2714 -2046 -2142 2338 -2854 -2806 -2078 -2034 2454 -2438 -2598 -2166 2562 -2410 2582 2370 2030 2766 -2346 -1990 1990 -2670 -2854 -2774 -2390 -2682 -2174 2842 2234 2846 -2434 -2062 -2542 -2310 -2714 -2878 -2826 -2238 2250 -2306 -2822 2178 -1990 -2430 2306 -2006 2210 -2746 -2634 2650 -2174 -2854 -2306 2878 2382 -2406 -2330 -2110 -2358 -2742 -2854 -2014 -2682 -2330 -2794 2478 -2522 -2222 -2230 -2538 2878 2162 2818 -2854 -2262 -2518 2254 2474 -2566 2838 -2442 2186 2874 -2546 2670 -2078 2030 2238 -2826 -2298 -2598 -2422 -2506 -2594 -2182 -2326 -2114 -2710 -2438 -2890 -2554 -2894 -2250 -2330 2182 -2386 -2302 -2178 -2842 2030 -2342 2222 -2554 -2422 -2626 -2498 -2038 -2542 -2362 -2826 -2534 -2482 -2230 2366 -2422 -2706 -1998 -2314 -2666 2030 -2758 -2478 -2866 -2614 -2454 -2150 2782 2746 -2746 -2454 -2854 2586 -2034 -2894 2730 1990 -2074 -2686 -2086 2774 -2854 2854 2698 2362 -2630 2754 -2394 -1998 -2466 -2854 -2502 -2786 2266 2650 -2882 -2618 -2506 -2422 -2702 -2110 -1994 2662 -2622 -2642 -2134 -2030 -2794 -2230 -2482 2062 -1990 -2202 2654 -2614 2790 -2218 2794 -2622 -2238 2682 -2398 2434 2582 -2470 -2118 -2022 -2398 1990 -2082 -2246 2246 2442 2022 -2890 -2630 -2822 -2378 -2606 2114 -2722 2038 -2314 -2726 -2190 -2554 -2710 2842 2030 2842 -2358 -2894 -2834 -2070 -2158 -2698 -2750 -2474 -2030 -2522 2074 -2714 -2066 -2786 -2334 -2246 -2490 2662 -2798 1990 -2098 -2882 -2270 -2130 -2190 2734 -2826 2654 -2042 -2354 -2730 -2198 2850 -2082 -2894 2030 -2582 -2714 2702 -2022 -1990 -2882 -2894 -2350 -2698 -1990 -2278 2074 -2858 -2118 -2030 -2494 -2482 -2894 -2894 -2218 2558 -2110 -2058 -2438 -2190 2722 2614 -2854 -2718 -2658 2870 -2490 -2250 -2394 -2766 -2854 -2510 -2682 -2634 -2794 -2570 -2750 -2602 -2290 -2478 -2450 -2630 -2854 -2422 -2558 -2526 2750 2438 -2366 -2602 2674 2118 -2658 -2870 -2398 -2414 -2894 2806 2806 -2078 -2290 -2358 -2854 -2894 -2382 -2198 2870 -2414 -2602 -2218 2062 -2234 2422 2702 -2626 -2006 2510 -2434 2734 2534 -2618 -2682 -2218 -2638 -2662 2414 -2854 -2054 -2342 2682 -2882 -2054 2686 -2198 -2690 -2546 2706 -2150 2354 2122 2314 2346 -2602 -2654 -2806 -2050 2666 2346 -2154 2326 -2498 -2562 -2394 -2466 -2438 2550 2178 -2478 2626 2086 2546 -2674 -2518 -2806 -2430 -2206 -2094 -2534 -2534 2046 -2030 -2894 -2662 -2302 -2790 -2854 -2102 -2682 -2518 2446 -2194 2506 -2590 -2494 -2042 -2798 -2746 2586 2150 2802 2194 1994 -2418 -2650 -2378 -2150 -2218 2242 -2394 -2282 -2602 -2450 2502 -2050 -2754 -2654 -2882 -2622 2030 2586 2806 2674 -2518 -2786 2814 -1990 -2606 -2030 -2638 -2150 2178 -2462 2642 -2126 -2174 -2854 -2334 2322 -2522 -2518 -2518 -2394 2030 -2554 -2630 -2218 -2366 2030 -2030 -2354 -2894 2854 -2002 -2154 -2774 -2542 -2046 -2374 -2546 -2134 -2750 -2730 -2490 -1990 -2082 -2842 -2142 2374 2546 -2178 -2810 2030 -2314 2826 -2634 2478 -1990 2490 -2774 -1990 1990 -2030 2830 -2062 -2462 2470 -2650 2338 2430 -2426 -2158 -2586 -2894 2646 -2894 -2542 -2374 -2690 -2786 -2642 -2118 -2490 2158 -2694 -2894 -2234 -2398 -2326 -2222 -2462 -2758 -2794 2442 -2178 -2554 -2822 -2034 2030 -2258 -2642 -2622 -2602 -2354 -2658 2482 -2826 -2894 2030 -2514 -2746 -2502 2742 2678 -2826 2438 -2470 -2702 -2782 -2894 -2578 -2494 2210 -2710 -2570 -2170 -2090 2854 -2802 -2406 2510 -2582 -2274 -2858 -2218 -2494 -2214 -2178 -2894 -2850 -2310 -2290 2530 -2742 -2478 2198 2134 -2278 -2338 -2718 -2226 2026 2798 2542 -2766 -2358 -2602 -2674 2458 -2026 -2546 -2210 -2350 -2850 -2786 -2826 2602 -2314 -2758 -2770 2370 -2854 -2410 -2618 -2854 2418 -2406 -2066 -2406 -2718 -2594 -2678 2786 -2302 -2458 -2050 -2374 2574 -2274 -2430 -2690 2158 -2834 2686 -2418 -1990 -2226 -2318 -2854 2042 -2762 -2354 -2510 -2598 -2558 2706 -2894 -2530 2798 -2814 2142 2482 2558 2566 -2054 -2066 2030 2422 2310 -2458 -2086 -2422 -2702 -2390 -2654 2166 -2466 2426 -2578 -2494 1990 -2454 -2030 2722 -2570 1990 2606 2682 -2798 2338 -2386 -2266 2850 -2230 2658 -2386 -2770 2118 -2794 2562 -2442 -2466 2618 2058 -2290 2670 -2182 -2838 2378 -2594 -2710 -2478 2526 -2022 2642 -2106 -2854 -2602 2430 2890 -2894 -2530 -2546 -2714 -2550 -2210 -2374 -2194 -2062 -1990 -2746 2758 -2686 -2070 2746 -2010 -2302 2234 -2810 2226 2178 -2070 2622 -2794 -2310 2842 2542 -1990 -2362 2854 -2894 -2758 -2186 2466 -2826 2854 -2834 -2642 -2010 -2866 -2334 -2366 -2078 -2438 -2742 2474 -2018 -2758 -1990 -2862 -2742 -2278 2838 -1990 -2854 2290 -2798 -2214 -2574 2530 -2358 2786 -2758 -2770 -2894 -2562 -2206 -2854 -2158 -2882 2798 2422 -2618 -2366 2738 -2642 -2758 2398 -2122 -2894 -1998 1990 -2554 -2102 -2706 -2282 -2030 -2158 -2182 -2282 2326 -2366 -2422 -2158 -2894 -1994 -1998 2250 2062 2178 -2522 -2730 2598 -2002 -2490 -2582 -2030 -2814 2530 -2174 2466 -2122 -2382 2578 -2198 -2838 -2162 -2662 -2318 -2038 -2574 2770 -2106 -2854 2382 -2674 -2842 2798 -2498 2438 -2818 -2522 -2622 2530 -2374 2838 -2254 -2226 -2166 -2530 -2850 -2690 2130 -2598 -2618 -2670 -2546 -2726 -2550 -2734 2034 -2494 -2514 -2518 -2478 2602 -2218 -2242 -2826 -2842 -2786 -2690 -2854 -2006 2442 -2382 2370 2322 -2842 -2390 2482 -2494 2158 -2170 -2710 -2526 -2490 2086 -2858 2690 -2186 2518 -2566 -2882 -2594 -2618 -2074 -2478 -2414 2726 -2198 -2530 -2490 -2510 -2734 -2694 2442 2130 -2638 2310 2586 -2214 2810 2030 -2554 -2050 -2494 2350 -2030 -2418 2398 -2838 2582 2162 -2082 -2818 -2366 -2298 -2894 2382 -2282 -2794 -2854 -2850 -2302 -2674 -2414 -2414 -2046 -2278 -2778 -2122 2310 -2694 -2702 -2894 -2662 2542 2422 2254 -2854 -2302 2662 -2318 -2470 2830 -2350 -2646 -2130 -2326 2550 -2258 2066 2734 -2518 2322 -2030 2374 -2250 2754 2810 2230 2686 -2854 -2698 -2650 -2894 -2894 -2894 -2330 2110 -2134 -2450 -2234 -2586 -2606 -2894 -2298 -2138 2222 2458 2318 -2826 -2842 -2062 1990 -2734 2758 2726 -2342 2490 2174 2678 2538 -1990 -2854 -2806 -2354 -2562 -2786 2574 -2794 -2218 -2446 2254 -2462 -2574 -2558 2206 -2042 -2782 -2574 -1990 2486 -2674 2514 2610 -2102 2818 -2190 -2750 -2114 -2446 2038 -2690 -2426 2050 -2542 -1990 -2746 -2206 2194 -2854 2438 2666 -2030 2118 -2646 2258 -2754 2514 -2894 -2214 -2818 -2590 -2894 -2702 -2506 -2582 -2894 -2562 2274 -2334 -2034 -2502 -2218 -2630 -2698 -2662 -2130 2538 -2426 2002 2090 -2350 -2502 -2622 -2786 2238 -2378 -2370 -2406 -2750 2262 2626 -2094 -2562 -1990 2662 2554 -2010 -2286 2302 -2094 2074 -2362 -2186 -2566 -2794 -2570 -2462 2398 -2230 -2326 -2678 2426 -2542 -2846 2050 2830 -2786 -2162 2534 -2342 2514 2186 -2314 -2706 -2294 -2642 -2854 2446 -2458 -2346 -2458 2662 -2394 -2530 -2878 -2030 2494 -2854 -2278 -2542 -2182 -2074 -2182 -2374 -2846 2826 -2730 -2182 -2666 -2306 -2710 -2882 -2726 -2218 1998 2886 -2894 -2206 -2406 -2546 -2774 -2614 -2322 2502 2838 -2786 2842 -2030 -2834 -2482 -2542 -2454 -2034 -2366 2854 -2398 -2422 2662 1990 -2854 -1990 -2226 2446 -2482 -2590 -2430 -2442 -2642 -2418 -2578 2846 2318 -2610 2810 -2806 -2170 -2582 -2014 -2314 -2190 2738 -2546 1990 -2290 -2358 -2806 2854 -2330 -2438 2710 -2726 -2094 2490 2190 -2746 2294 -2418 -2494 2454 2862 2490 -2674 -2234 -2378 -2894 -2030 -2534 -2702 2106 -2630 2762 -2018 -2746 2746 -2282 -2274 -2382 -2318 -2038 -2718 2894 -2118 -2582 2750 -2326 2090 -2694 -2894 -2518 2342 -2038 -2570 2082 2326 2134 -2350 -2746 -2478 -2070 -2202 -1990 -2518 -2334 -2006 1990 -2226 2578 -2110 -2438 -2166 2138 -2882 -2230 2454 2866 -2654 -2118 -2894 2030 2838 -2030 2482 -2082 -2622 -1994 2638 -2758 -2806 -2854 -2578 -2354 -2562 2546 -2170 -2394 -2750 -2198 2706 -2634 -2706 2602 -2542 -2354 -2042 -1990 -2358 -2618 -2854 -2870 -2798 -2402 2390 -2090 -2818 -2602 -2178 -2030 2634 -2030 2414 -2378 2578 -2050 2122 -2242 2322 -2618 -2466 2782 -2498 2170 2894 -2522 2358 -2434 -2030 -2642 -2742 2426 -2894 -2866 -2894 -2030 -2774 -2854 2614 2642 2446 -2774 2418 2522 -2098 -2582 -2162 -2618 -2334 -2542 -2794 2494 -2750 2794 -2734 -2466 -2566 -2854 2286 -2326 2282 2806 -2586 -2854 -2714 -2058 2502 -2458 2262 2662 2114 2038 -2338 2234 -2642 -2846 -2102 -2854 -2818 2714 2030 2894 2030 -2170 2530 -2846 2462 -2470 -2318 2706 2278 -2838 -2854 -2590 2790 -2834 -2854 -2130 2406 -2882 -2142 -2674 -2682 -2894 -2030 2190 -2474 2058 -2322 -2590 -2334 -2058 -2406 2374 -2274 -2406 -2478 2338 -2874 -2534 2542 2862 -2382 -2758 -2646 2658 -1990 -1990 2846 2562 -2062 -2686 -2030 2290 -2350 2398 -2102 -2894 2030 2310 2734 -2102 -1990 2010 2214 -2394 -2498 -2342 -2350 -2398 -2222 -2206 2474 -2770 -2554 -2798 -2626 -2854 2274 2294 -2854 -2342 -2262 -2246 2742 2878 -2466 -2390 2822 2702 -2514 -2030 -2698 2426 2770 2734 2558 -2002 -2662 -2770 -2410 -2702 -1990 -2046 -2462 2038 -2574 2470 -2826 -2754 -2766 2486 -2290 -2022 -2446 -2662 -2854 -2894 2590 2386 2282 -2786 -2518 -2166 1990 2682 2862 -2650 2282 2678 2346 -2610 -2478 -2030 2522 -2582 -2854 -2438 -2098 -1990 2766 1994 -2474 -2790 -2266 -2374 -2062 2118 2282 1990 -2254 -2342 2030 -2718 2150 2398 2554 -2786 -2342 -2046 -2654 -2530 -2826 -2426 -2130 -2602 2690 2714 2594 2402 2030 2846 2250 2654 2538 -2834 -2518 -2842 -2690 2030 -2766 2046 -2538 -2682 2234 2042 -2674 -2894 -2282 -2726 -2322 -2894 2578 -2894 -2698 -2406 2846 -2666 -2694 -1990 -2842 -2550 -2310 -2486 2614 2270 -2894 -2062 -2462 -2802 2478 2030 -2046 -2822 2690 -2506 -2530 -2730 -2206 -2586 -2074 -2578 -1990 -2618 -2254 2038 2398 -2830 -2770 -2622 -2746 -2206 -2286 -2582 -2242 -2554 -2482 -2798 -2390 -2882 2554 -2110 -2498 -2030 2798 -2470 2322 -2322 2782 -2894 -2562 -2274 -2106 -2838 2682 -2030 2274 -1990 -2570 2146 -2806 -2374 2422 2266 2466 
212.77	d NODES 0
212.77	d CHECKS 15430871
212.77	   
212.77	   totalWckTime=212.535  totalCpuTime=210.15

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/node5/watcher-205990-1168168907 -o ROOT/results/node5/solver-205990-1168168907 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/205990-1168168907/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/87 9109
/proc/meminfo: memFree=1304416/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=18540 CPUtime=0
/proc/9108/stat : 9108 (runsolver) R 9106 9108 8977 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 145505179 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9108/statm: 4635 279 244 17 0 2626 0

[startup+0.103017 s]
/proc/loadavg: 2.00 2.00 1.91 4/87 9109
/proc/meminfo: memFree=1304416/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=914988 CPUtime=0.08
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 2956 0 1 0 7 1 0 0 19 0 8 0 145505179 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228747 2702 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511061 s]
/proc/loadavg: 2.00 2.00 1.91 4/87 9109
/proc/meminfo: memFree=1304416/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915328 CPUtime=0.49
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 7491 0 1 0 44 5 0 0 18 0 8 0 145505179 937295872 7230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073589768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228832 7230 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33416 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 9116
/proc/meminfo: memFree=1224808/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=1.3
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 24278 0 1 0 117 13 0 0 23 0 8 0 145505179 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073597820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 24015 2160 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.09
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 7735 0 0 0 6 3 0 0 16 0 8 0 145505183 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.15
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 145505187 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 24015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 24015 18446744073709551615 134512640 134570532 4294956464 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.98734 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 9116
/proc/meminfo: memFree=1216424/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=2.96
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 24352 0 1 0 282 14 0 0 25 0 8 0 145505179 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 24088 2180 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.09
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 7735 0 0 0 6 3 0 0 17 0 8 0 145505183 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.18
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 422 0 0 0 17 1 0 0 16 0 8 0 145505187 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 24088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915648

[startup+6.26771 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 9116
/proc/meminfo: memFree=1216232/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=6.22
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 24358 0 1 0 607 15 0 0 25 0 8 0 145505179 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 24093 2180 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.09
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 7735 0 0 0 6 3 0 0 16 0 8 0 145505183 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.19
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 145505187 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 24093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915648

[startup+12.7574 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 9116
/proc/meminfo: memFree=1215784/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=12.68
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 24479 0 1 0 1252 16 0 0 25 0 8 0 145505179 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 24213 2181 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.13
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 7848 0 0 0 10 3 0 0 16 0 8 0 145505183 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.2
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 433 0 0 0 19 1 0 0 17 0 8 0 145505187 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 24213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915648

[startup+25.5959 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 9116
/proc/meminfo: memFree=1215912/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=25.45
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 24482 0 1 0 2529 16 0 0 25 0 8 0 145505179 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 24215 2181 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.13
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 7848 0 0 0 10 3 0 0 16 0 8 0 145505183 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.2
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 435 0 0 0 19 1 0 0 16 0 8 0 145505187 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 24215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915648

[startup+51.2048 s]
/proc/loadavg: 2.06 2.02 1.91 3/94 9116
/proc/meminfo: memFree=1201320/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=50.95
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 28138 0 1 0 5076 19 0 0 25 0 8 0 145505179 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 27868 2181 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.27
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 11496 0 0 0 23 4 0 0 16 0 8 0 145505183 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.21
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 440 0 0 0 20 1 0 0 16 0 8 0 145505187 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 27868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915648

[startup+102.418 s]
/proc/loadavg: 2.02 2.01 1.91 3/94 9116
/proc/meminfo: memFree=1192744/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=101.92
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 30308 0 1 0 10169 23 0 0 25 0 8 0 145505179 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 30036 2181 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.38
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 13658 0 0 0 33 5 0 0 16 0 8 0 145505183 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.22
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 446 0 0 0 21 1 0 0 15 0 8 0 145505187 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 30036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915648

[startup+162.474 s]
/proc/loadavg: 2.01 2.00 1.91 3/94 9116
/proc/meminfo: memFree=1185960/2055920 swapFree=4192812/4192956
[pid=9108] ppid=9106 vsize=915648 CPUtime=161.69
/proc/9108/stat : 9108 (java) R 9106 9108 8977 0 -1 0 31999 0 1 0 16139 30 0 0 25 0 8 0 145505179 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9108/statm: 228912 31725 2181 14 0 215382 0
[pid=9108/tid=9110] ppid=9106 vsize=915648 CPUtime=0.47
/proc/9108/task/9110/stat : 9110 (java) S 9106 9108 8977 0 -1 64 15344 0 0 0 41 6 0 0 16 0 8 0 145505183 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9111] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9111/stat : 9111 (java) S 9106 9108 8977 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 145505183 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9112] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9112/stat : 9112 (java) S 9106 9108 8977 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 145505184 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9113] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9113/stat : 9113 (java) S 9106 9108 8977 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 145505187 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9114] ppid=9106 vsize=915648 CPUtime=0.23
/proc/9108/task/9114/stat : 9114 (java) S 9106 9108 8977 0 -1 64 449 0 0 0 22 1 0 0 16 0 8 0 145505187 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9115] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9115/stat : 9115 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 145505187 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9108/tid=9116] ppid=9106 vsize=915648 CPUtime=0
/proc/9108/task/9116/stat : 9116 (java) S 9106 9108 8977 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 145505187 937623552 31725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 212.84
CPU time (s): 211.79
CPU user time (s): 211.374
CPU system time (s): 0.415936
CPU usage (%): 99.5064
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.374
system time used= 0.415936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42073
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= 5976
involuntary context switches= 8134

runsolver used 0.218966 s user time and 0.733888 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sun Jan  7 11:21:47 UTC 2007


IDJOB= 205990
IDBENCH= 4180
FILE ID= node5/205990-1168168907

PBS_JOBID= 3478824

Free space on /tmp= 66334 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a0cfe24393aaec972ad81f1f87dd77c5

RANDOM SEED= 879843773

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.240
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.240
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:       1304896 kB
Buffers:         75004 kB
Cached:         351628 kB
SwapCached:          0 kB
Active:         450336 kB
Inactive:       236880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1304896 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4356 kB
Writeback:           0 kB
Mapped:         280900 kB
Slab:            48236 kB
Committed_AS:  3893900 kB
PageTables:       2692 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= 66334 MiB



End job on node5 on Sun Jan  7 11:25:20 UTC 2007