Trace number 207524

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 356.627 358.885

DiagnosticValue
CHECKS942501046
NODES52026

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-8.xml
MD5SUMa88130445cb0a25bd66e79fb321e4404
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 benchmark18.3002
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1250
Number of constraints18359
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18359
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/207524-1168182143/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.55	     nbVariables=1250  nbDomainTypes=41  minDomainSize=42  maxDomainSize=350
0.55	       =>  wckTime=0.251  cpuTime=0.19  mem=16M649
0.55	   
0.55	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
202.91	   
202.91	   INFO : Stopping converting binary constraints (cpu=200.02, mem = 131M814)
203.49	     nbConstraints=9745  nbMergedConstraints=8614  nbConvertedConstraints=7977  nbConvertConstraintsChecks=360431154
203.49	     nbExtensionStructures=7101  nbSharedExtensionStructures=876  nbConflictsStructures=7101
203.49	     nbSharedConflictsStructures=876  nbSharedBinaryRepresentations=2372166  nbEvaluationManagers=1670
203.49	     nbSharedEvaluationManagers=98  maxDegree=25  maxArity=2
203.49	       =>  wckTime=203.187  cpuTime=200.45  mem=132M563
203.88	   
203.88	   solver IterativeSystematicSolver being built... 
204.14	       =>  wckTime=203.837  cpuTime=200.66  mem=144M818
248.11	   
248.11	   INFO : Stopping ESAC
248.11	   
248.11	   preprocessing
248.11	     nbConstraintChecks=171397233  nbValidityChecks=38348521  nbPropagations=174892  nbRevisions=1409524
248.11	     nbUselessRevisions=1225748  nbSingletonTests=5587  nbEffectiveSingletonTests=73  nbESACBranches=56
248.11	     nbRemovedValues=123441  detectedInconsistency=no
248.11	       =>  wckTime=43.961  cpuTime=43.67  mem=144M818
250.39	   
250.39	   search
250.39	     run=0  nbConstraintChecks=9790220  nbValidityChecks=1873072  nbPropagations=184807  nbRevisions=1503423
250.39	     nbUselessRevisions=1306743  nbAssignments=378  nbFailedAssignments=36  nbBacktracks=10  nbVisitedNodes=423
250.39	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
250.39	       =>  wckTime=46.242  cpuTime=45.93  mem=155M855
267.51	   
267.51	   search
267.51	     run=1  nbConstraintChecks=129278139  nbValidityChecks=32519723  nbPropagations=509652  nbRevisions=4150254
267.51	     nbUselessRevisions=3611710  nbAssignments=5206  nbFailedAssignments=75  nbBacktracks=30  nbVisitedNodes=797
267.51	     nbRestartNogoods=21  mapSize=25  nbInferences=0  nbTooLargeKeys=0
267.51	       =>  wckTime=63.361  cpuTime=62.92  mem=137M710
272.01	   
272.01	   search
272.01	     run=2  nbConstraintChecks=160057443  nbValidityChecks=40089346  nbPropagations=869215  nbRevisions=7096435
272.01	     nbUselessRevisions=6177109  nbAssignments=6398  nbFailedAssignments=139  nbBacktracks=52  nbVisitedNodes=1211
272.01	     nbRestartNogoods=26  mapSize=42  nbInferences=0  nbTooLargeKeys=0
272.01	       =>  wckTime=67.86  cpuTime=67.39  mem=146M603
277.33	   
277.33	   search
277.33	     run=3  nbConstraintChecks=194540467  nbValidityChecks=48067002  nbPropagations=1268755  nbRevisions=10390506
277.33	     nbUselessRevisions=9045157  nbAssignments=8131  nbFailedAssignments=214  nbBacktracks=88  nbVisitedNodes=2260
277.33	     nbRestartNogoods=31  mapSize=70  nbInferences=0  nbTooLargeKeys=0
277.33	       =>  wckTime=73.18  cpuTime=72.67  mem=168M387
324.45	   
324.45	   search
324.45	     run=4  nbConstraintChecks=534205682  nbValidityChecks=120269295  nbPropagations=2112536  nbRevisions=17450899
324.45	     nbUselessRevisions=15219845  nbAssignments=35837  nbFailedAssignments=289  nbBacktracks=138  nbVisitedNodes=2966
324.45	     nbRestartNogoods=68  mapSize=111  nbInferences=0  nbTooLargeKeys=0
324.45	       =>  wckTime=120.303  cpuTime=119.5  mem=157M782
334.37	   
334.37	   search
334.37	     run=5  nbConstraintChecks=600928065  nbValidityChecks=135277912  nbPropagations=3035585  nbRevisions=25180677
334.37	     nbUselessRevisions=21978415  nbAssignments=39848  nbFailedAssignments=332  nbBacktracks=213  nbVisitedNodes=3760
334.37	     nbRestartNogoods=77  mapSize=159  nbInferences=1  nbTooLargeKeys=0
334.37	       =>  wckTime=130.219  cpuTime=129.33  mem=176M391
346.12	   
346.12	   search
346.12	     run=6  nbConstraintChecks=682332059  nbValidityChecks=152355032  nbPropagations=4051352  nbRevisions=33718853
346.12	     nbUselessRevisions=29436716  nbAssignments=44421  nbFailedAssignments=442  nbBacktracks=326  nbVisitedNodes=4720
346.12	     nbRestartNogoods=101  mapSize=217  nbInferences=7  nbTooLargeKeys=0
346.12	       =>  wckTime=141.97  cpuTime=141.03  mem=194M922
358.58	   
358.58	   search
358.58	     run=7  nbConstraintChecks=771103813  nbValidityChecks=170480642  nbPropagations=5179351  nbRevisions=43209190
358.58	     nbUselessRevisions=37731408  nbAssignments=52026  nbFailedAssignments=470  nbBacktracks=327  nbVisitedNodes=6028
358.58	     nbRestartNogoods=110  mapSize=218  nbInferences=7  nbTooLargeKeys=0
358.58	       =>  wckTime=154.43  cpuTime=153.4  mem=182M787
358.58	   
358.58	   global
358.58	     nbConstraintChecks=942501046  nbValidityChecks=208829163  nbPropagations=5354243  nbRevisions=44618714
358.58	     nbUselessRevisions=38957156  nbRestartNogoods=110  solvingWckTime=154.431  solvingCpuTime=153.4  expiredTime=no
358.58	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=354.11
358.58	       =>  wckTime=358.277  cpuTime=354.07  mem=182M787
358.58	   
358.58	s SATISFIABLE
358.58	v 2696 -2760 2388 2768 -2164 2532 -2160 2696 -2680 2732 -2480 -2732 -2388 -2624 -2508 -2268 -2308 -2552 -2436 -2452 -2356 2776 -2580 -2192 2792 -2580 2752 2476 -2788 2724 -2420 2784 -2656 -2328 -2420 -2468 2240 -2272 -2236 -2756 -2784 2776 2160 -2236 2388 2256 2732 2776 -2148 -2684 -2612 -2736 -2160 2624 -2408 2636 -2176 2124 2724 2192 -2732 -2396 2216 2164 2412 2740 2648 -2512 -2160 -2556 -2160 2668 2792 2744 2628 2652 -2192 2592 2780 2776 2776 -2716 -2708 2644 2568 -2120 -2612 -2716 -2748 -2552 -2200 -2732 2648 -2616 -2740 2256 2784 -2512 -2528 -2428 -2644 -2252 -2676 2644 2564 -2460 2640 2392 -2700 -2172 2816 -2160 -2612 2600 -2392 2476 2596 2772 2120 2756 -2436 -2792 -2428 -2652 2740 2728 2656 2640 2520 2216 -2316 -2480 -2396 2564 -2460 -2800 2516 2648 -2776 2204 -2656 2196 -2188 2600 -2696 2552 -2444 -2120 2716 -2452 -2484 2380 2704 -2772 2480 2160 2248 -2452 2468 2172 -2792 -2160 2716 2184 2308 -2632 -2272 -2120 2704 2700 -2312 -2160 -2400 -2744 -2436 -2664 2768 -2160 -2812 2392 -2188 2256 2120 2656 -2256 2288 -2280 -2540 2132 2624 -2260 2344 2256 -2768 2480 -2404 2752 -2612 -2200 2728 -2748 -2144 -2460 2476 -2736 2612 2284 2120 2476 2700 -2552 -2572 -2572 -2464 2512 -2580 2420 -2552 -2464 -2232 2616 2724 2652 -2436 -2576 -2120 -2688 2500 2680 2628 2176 -2756 2572 2608 -2120 -2396 -2236 2692 2120 2444 -2536 -2760 -2684 2776 2512 -2704 -2524 -2136 -2436 2660 2284 -2572 2180 -2484 2752 -2816 2816 -2736 -2416 2784 2756 -2388 2756 2756 2764 2616 2244 2376 2684 -2696 2308 2160 -2648 2284 2764 -2192 2652 -2140 -2620 2552 -2176 2684 2764 2776 -2264 -2692 2640 2368 -2400 -2776 -2120 -2348 -2804 -2724 -2776 2728 2740 2448 -2160 2396 -2564 2760 2748 2340 2692 2704 -2696 -2760 2328 -2600 -2232 2772 -2160 2572 2376 -2612 2688 2732 2308 2140 2748 -2460 -2532 -2752 2688 -2328 2180 2200 -2160 -2760 -2576 2516 2788 -2788 -2776 2292 2268 -2760 -2448 -2688 2428 2792 2444 -2556 2184 -2568 2516 -2208 2796 -2332 2540 -2540 -2700 2692 2800 2700 -2576 2512 2556 -2608 -2760 -2776 -2404 -2300 -2796 -2592 -2396 -2764 -2476 -2652 2808 -2496 -2596 2376 -2792 2688 2604 -2252 -2552 -2728 2720 2304 -2192 2580 -2604 -2268 2724 -2160 -2228 2124 2660 -2736 -2700 2712 -2160 2704 2808 2720 2684 -2120 -2592 -2476 -2160 2120 -2368 2732 2312 2612 2620 2508 2300 2760 2628 2756 -2424 2324 -2160 2428 -2676 -2600 2616 -2628 -2452 -2640 -2396 2756 2716 2248 2816 2756 2268 -2216 -2520 2664 2812 -2476 2732 2248 2524 -2816 2740 -2484 -2780 2460 -2800 -2432 -2584 2720 -2736 -2520 2804 2416 2800 2748 2756 2728 -2816 -2444 -2256 -2792 2664 -2504 2668 2632 -2420 -2780 -2496 -2584 2756 2596 2608 -2120 2576 -2452 -2712 2452 -2272 2748 2536 -2292 -2724 -2376 2588 2416 -2416 -2600 -2536 2816 -2440 -2624 -2596 2384 2180 2708 -2720 -2776 2768 -2796 2712 -2644 -2216 2580 2500 -2448 2548 2220 -2576 -2572 2660 2372 2760 2296 -2508 -2460 -2180 2636 2312 2776 2720 2648 -2420 2376 -2272 2752 -2564 -2120 2468 2604 -2436 -2576 2120 2544 -2708 -2312 2760 2352 -2796 -2216 -2396 2760 -2772 -2276 2196 2680 -2412 2788 2784 2288 -2520 2164 2424 -2144 2672 -2800 2312 -2324 -2260 2732 2148 -2540 2764 2268 2560 2684 2120 -2460 -2572 -2348 -2512 -2796 -2772 -2784 -2720 2524 -2340 -2640 2412 2512 -2772 -2592 -2756 2576 -2552 2404 -2660 2472 2752 2308 2220 2612 2216 2564 2744 -2136 2612 -2440 2412 2736 2712 2752 2760 -2416 2160 -2712 2436 2740 -2164 -2804 2516 2740 -2456 2680 -2664 -2232 -2340 2716 -2796 2416 2412 2708 2780 -2560 -2540 -2632 2780 -2788 2292 2268 -2464 -2172 -2696 2120 -2652 -2332 2760 -2356 2536 -2160 -2328 -2612 -2748 2648 -2288 -2724 -2120 2160 2708 -2492 -2388 2464 -2512 -2700 2788 2504 2752 -2660 -2252 -2512 -2688 -2816 2752 -2676 -2692 -2752 -2772 -2320 -2588 -2180 2340 -2728 -2716 -2760 -2676 2120 -2704 2752 2800 -2492 2136 -2680 2352 -2740 -2400 2816 -2552 -2172 2696 -2484 -2420 2656 -2680 2816 2228 2692 -2324 2516 2500 -2520 -2292 2640 2256 2644 2220 -2352 2396 2624 -2656 -2560 -2800 -2740 2196 2672 2120 -2732 2800 -2736 -2604 2668 -2120 -2284 -2188 -2588 -2696 2680 -2420 -2236 -2364 -2468 -2120 -2204 -2240 2668 2512 -2324 -2176 -2480 -2440 2304 -2584 -2440 2740 -2816 2356 -2804 -2720 2464 2264 2776 -2380 -2716 -2800 2816 -2120 -2608 2588 -2720 -2564 -2556 -2716 2652 -2760 -2436 -2208 -2308 -2768 -2188 -2464 -2680 -2492 -2452 2756 2572 2744 -2260 -2404 -2680 -2208 -2396 2760 2720 -2580 -2348 2520 -2804 2728 -2212 2676 2652 -2616 2548 -2796 -2324 2756 2748 -2776 2184 2780 -2592 2500 2172 -2128 -2224 2808 2788 -2644 -2536 -2532 2588 2376 2416 2388 -2524 -2308 2540 2764 -2552 2444 2568 -2512 -2716 2760 -2560 2684 -2392 2700 -2272 2636 2608 2220 -2356 -2500 -2140 2744 2220 2692 -2424 -2800 2736 -2464 2800 -2412 -2500 -2704 -2664 -2732 2408 -2640 -2792 -2764 2380 2760 -2412 2620 2460 2768 2436 2748 -2656 -2120 -2540 -2640 2256 2716 -2756 2692 2424 -2564 2264 2668 2412 -2352 -2764 -2736 -2384 -2672 -2716 2512 -2120 2752 -2740 2124 -2560 -2640 2204 2632 -2772 2672 -2152 2568 2356 -2796 2780 2736 2612 2672 2160 -2732 -2432 -2232 -2528 -2792 2548 -2552 -2728 2596 2748 2332 2160 2188 -2644 -2516 2524 2708 -2516 -2412 2628 2792 2668 -2664 -2588 -2692 -2160 -2692 2696 -2320 -2472 -2132 2504 2500 -2376 -2592 -2664 -2660 2776 -2236 2140 2460 2160 2488 -2676 -2776 2680 -2432 -2356 -2300 2172 -2744 -2772 2616 -2280 -2616 2732 -2468 -2800 2228 2736 -2776 -2472 -2736 2516 -2308 -2744 2620 2608 2720 -2232 2760 -2520 -2444 2368 2704 -2728 -2672 2780 -2380 2512 -2168 2500 2584 -2452 -2376 -2636 -2504 -2664 -2748 2684 2272 -2788 -2392 2756 -2376 -2592 -2768 -2732 -2796 -2776 -2472 2232 2780 -2696 2452 2200 2760 -2216 2716 -2796 -2144 -2732 2636 2160 -2524 -2804 -2684 2728 2788 2676 -2152 -2244 -2680 -2348 2412 2468 -2800 2656 -2720 2764 2472 2732 -2200 -2416 2756 -2212 2796 -2796 -2288 2600 -2752 -2212 -2120 2616 -2308 -2208 2772 2788 -2536 2696 -2664 -2740 -2804 -2216 2328 -2720 2756 -2176 2592 -2136 -2388 2624 2572 2648 -2416 -2792 -2484 2512 -2392 2740 2504 -2384 -2188 2624 -2160 2348 -2632 -2620 2748 -2436 2164 -2160 2748 2160 -2196 -2796 -2748 -2572 2284 2624 -2160 2164 -2656 -2668 -2576 -2228 2764 2768 -2316 -2468 -2656 -2164 2660 -2604 -2180 -2424 2804 2460 -2796 -2656 2428 2564 -2160 2408 -2604 -2280 -2256 -2120 -2524 2776 2744 -2420 -2228 2344 -2360 2256 2532 -2256 2752 2556 -2708 -2352 2640 2136 2728 -2800 -2316 -2348 2168 -2132 -2816 -2204 2760 -2816 -2224 2616 -2364 2440 2500 2296 2788 -2756 2788 -2268 2756 2776 2160 -2664 2756 2120 -2632 -2748 -2720 -2268 -2792 2788 2724 -2752 2692 -2336 2636 2736 2296 -2624 2396 -2120 2688 -2608 2748 -2684 -2788 2696 -2248 2484 2444 2692 2764 2612 2736 -2268 2792 -2436 -2460 -2712 -2568 2616 2160 -2200 2768 -2752 -2168 -2124 2560 2716 -2424 -2160 -2264 2664 -2452 2644 2816 -2544 -2692 2724 -2692 -2644 -2172 -2148 2776 2760 2304 -2464 -2800 2772 -2712 -2712 2700 2756 -2180 -2292 -2572 -2656 2676 -2732 -2552 2664 2132 -2124 2508 -2688 2764 -2376 2656 -2348 2556 -2244 2632 -2372 -2444 2412 2784 2208 -2352 2744 
358.58	d NODES 52026
358.58	d CHECKS 942501046
358.58	   
358.58	   totalWckTime=358.354  totalCpuTime=354.11

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/node30/watcher-207524-1168182143 -o ROOT/results/node30/solver-207524-1168182143 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207524-1168182143/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.84 1.23 1.63 3/87 2501
/proc/meminfo: memFree=1689584/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=18540 CPUtime=0
/proc/2500/stat : 2500 (runsolver) R 2496 2500 2360 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 166608230 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2500/statm: 4635 279 244 17 0 2626 0

[startup+0.103527 s]
/proc/loadavg: 0.84 1.23 1.63 3/87 2501
/proc/meminfo: memFree=1689584/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=914988 CPUtime=0.07
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 2987 0 1 0 6 1 0 0 25 0 8 0 166608230 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072945004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.511552 s]
/proc/loadavg: 0.84 1.23 1.63 3/87 2501
/proc/meminfo: memFree=1689584/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915328 CPUtime=0.48
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 7474 0 1 0 43 5 0 0 25 0 8 0 166608230 937295872 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228832 7213 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33461 s]
/proc/loadavg: 0.84 1.23 1.63 4/107 2529
/proc/meminfo: memFree=1603664/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=1.3
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 20966 0 1 0 117 13 0 0 25 0 8 0 166608230 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916973 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20703 2162 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 16 0 8 0 166608235 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.15
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 405 0 0 0 14 1 0 0 16 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.98571 s]
/proc/loadavg: 0.84 1.23 1.63 3/107 2529
/proc/meminfo: memFree=1583120/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=2.95
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 21037 0 1 0 281 14 0 0 25 0 8 0 166608230 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20773 2180 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 17 0 8 0 166608235 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.17
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 423 0 0 0 16 1 0 0 16 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915628

[startup+6.28491 s]
/proc/loadavg: 0.93 1.24 1.63 3/107 2533
/proc/meminfo: memFree=1545616/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=6.23
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 21044 0 1 0 608 15 0 0 25 0 8 0 166608230 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20780 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 16 0 8 0 166608235 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.18
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 429 0 0 0 17 1 0 0 15 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915628

[startup+12.7663 s]
/proc/loadavg: 1.02 1.26 1.63 3/101 2555
/proc/meminfo: memFree=1489672/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=12.64
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 21048 0 1 0 1248 16 0 0 25 0 8 0 166608230 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20783 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 16 0 8 0 166608235 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.18
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 432 0 0 0 17 1 0 0 15 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915628

[startup+25.6081 s]
/proc/loadavg: 1.24 1.29 1.64 3/101 2555
/proc/meminfo: memFree=1409552/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=25.41
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 22705 0 1 0 2522 19 0 0 25 0 8 0 166608230 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 22437 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.18
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 6070 0 0 0 16 2 0 0 16 0 8 0 166608235 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.19
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 436 0 0 0 18 1 0 0 16 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915628

[startup+51.2128 s]
/proc/loadavg: 1.50 1.35 1.64 3/101 2555
/proc/meminfo: memFree=1287184/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=50.89
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 27047 0 1 0 5064 25 0 0 25 0 8 0 166608230 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808833 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 26777 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.39
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 10402 0 0 0 35 4 0 0 16 0 8 0 166608235 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.21
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 444 0 0 0 19 2 0 0 16 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915628

[startup+102.513 s]
/proc/loadavg: 1.87 1.48 1.67 3/101 2555
/proc/meminfo: memFree=1218256/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=101.9
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 33339 0 1 0 10155 35 0 0 25 0 8 0 166608230 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 33066 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.73
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 16690 0 0 0 67 6 0 0 16 0 8 0 166608235 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.21
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 445 0 0 0 19 2 0 0 16 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915628

[startup+162.56 s]
/proc/loadavg: 2.06 1.60 1.70 3/101 2555
/proc/meminfo: memFree=1162960/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=161.61
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 39225 0 1 0 16113 48 0 0 25 0 8 0 166608230 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 38950 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.03
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 22574 0 0 0 95 8 0 0 16 0 8 0 166608235 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.21
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 445 0 0 0 19 2 0 0 16 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 915628

[startup+222.615 s]
/proc/loadavg: 2.11 1.70 1.73 3/101 2555
/proc/meminfo: memFree=1114000/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=221.35
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 47425 0 1 0 22076 59 0 0 25 0 8 0 166608230 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 47137 2547 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.77
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 30263 0 0 0 166 11 0 0 16 0 8 0 166608235 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.33
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 511 0 0 0 30 3 0 0 16 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 915628

[startup+282.7 s]
/proc/loadavg: 2.04 1.75 1.74 3/101 2555
/proc/meminfo: memFree=1099216/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=281.12
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 50942 0 1 0 28050 62 0 0 25 0 8 0 166608230 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 50643 2548 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.81
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 33748 0 0 0 168 13 0 0 16 0 8 0 166608235 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.37
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 530 0 0 0 34 3 0 0 15 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 915628

[startup+342.785 s]
/proc/loadavg: 2.09 1.81 1.76 3/101 2555
/proc/meminfo: memFree=1077072/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=340.86
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 56431 0 1 0 34022 64 0 0 25 0 8 0 166608230 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 56130 2548 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.86
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 39234 0 0 0 171 15 0 0 16 0 8 0 166608235 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.37
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 531 0 0 0 34 3 0 0 16 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 915628

Child status: 0
Real time (s): 358.885
CPU time (s): 356.627
CPU user time (s): 355.937
CPU system time (s): 0.689895
CPU usage (%): 99.3708
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.937
system time used= 0.689895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59771
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= 9163
involuntary context switches= 11577

runsolver used 0.396939 s user time and 1.19982 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sun Jan  7 15:02:23 UTC 2007


IDJOB= 207524
IDBENCH= 4296
FILE ID= node30/207524-1168182143

PBS_JOBID= 3479172

Free space on /tmp= 66484 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207524-1168182143/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-207524-1168182143 -o ROOT/results/node30/solver-207524-1168182143 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207524-1168182143/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a88130445cb0a25bd66e79fb321e4404

RANDOM SEED= 704878169

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.234
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.234
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:       1690056 kB
Buffers:         37488 kB
Cached:         201672 kB
SwapCached:        268 kB
Active:         153544 kB
Inactive:       142800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1690056 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            6912 kB
Writeback:           0 kB
Mapped:          75300 kB
Slab:            54236 kB
Committed_AS:  3534296 kB
PageTables:       2332 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= 66484 MiB



End job on node30 on Sun Jan  7 15:08:22 UTC 2007