Trace number 207556

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 251.215 251.53

DiagnosticValue
CHECKS177595683
NODES1279

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-9.xml
MD5SUMd3dec74f6acf47deb39467d9536ae53f
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 benchmark9.8445
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.35	     name=/tmp/evaluation/207556-1168182288/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.59	     nbVariables=1250  nbDomainTypes=41  minDomainSize=42  maxDomainSize=350
0.59	       =>  wckTime=0.275  cpuTime=0.2  mem=16M649
0.59	   
0.59	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
202.35	   
202.35	   INFO : Stopping converting binary constraints (cpu=200.03, mem = 127M708)
202.95	     nbConstraints=9745  nbMergedConstraints=8614  nbConvertedConstraints=7952  nbConvertConstraintsChecks=352891526
202.95	     nbExtensionStructures=7022  nbSharedExtensionStructures=930  nbConflictsStructures=7022
202.95	     nbSharedConflictsStructures=930  nbSharedBinaryRepresentations=2320571  nbEvaluationManagers=1677
202.95	     nbSharedEvaluationManagers=116  maxDegree=25  maxArity=2
202.95	       =>  wckTime=202.635  cpuTime=200.46  mem=128M784
203.51	   
203.51	   solver IterativeSystematicSolver being built... 
203.79	       =>  wckTime=203.471  cpuTime=200.69  mem=144M984
247.87	   
247.87	   INFO : Stopping ESAC
247.87	   
247.87	   preprocessing
247.87	     nbConstraintChecks=164626674  nbValidityChecks=36846798  nbPropagations=143472  nbRevisions=1098500
247.87	     nbUselessRevisions=937581  nbSingletonTests=5650  nbEffectiveSingletonTests=45  nbESACBranches=59
247.87	     nbRemovedValues=101501  detectedInconsistency=no
247.87	       =>  wckTime=44.072  cpuTime=43.97  mem=144M984
251.48	   
251.48	   search
251.48	     run=0  nbConstraintChecks=12969009  nbValidityChecks=2473550  nbPropagations=156806  nbRevisions=1198188
251.48	     nbUselessRevisions=1020838  nbAssignments=1279  nbFailedAssignments=28  nbBacktracks=1  nbVisitedNodes=1309
251.48	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
251.48	       =>  wckTime=47.689  cpuTime=47.51  mem=145M162
251.48	   
251.48	   global
251.48	     nbConstraintChecks=177595683  nbValidityChecks=39320348  nbPropagations=300278  nbRevisions=2296688
251.48	     nbUselessRevisions=1958419  nbRestartNogoods=0  solvingWckTime=47.691  solvingCpuTime=47.51  expiredTime=no
251.49	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=248.26
251.49	       =>  wckTime=251.171  cpuTime=248.2  mem=145M162
251.49	   
251.49	s SATISFIABLE
251.49	v -2708 2724 -2416 -2796 -2164 -2600 -2160 2696 2692 -2772 2304 -2720 2340 2700 -2512 -2248 -2348 -2560 -2436 -2452 -2412 2760 -2536 -2256 2752 -2564 2752 -2476 -2760 2684 -2412 -2728 -2676 -2384 -2456 -2528 -2148 -2264 2264 -2776 2800 2804 2200 -2156 -2348 -2236 2716 -2816 -2148 2728 2612 2756 -2212 -2636 -2496 -2684 2160 2124 -2732 2124 -2796 -2448 -2256 2160 -2612 -2764 2656 -2360 -2160 -2556 2196 2524 -2812 2764 2656 2672 -2192 2600 2764 -2736 -2796 -2736 2712 -2676 2500 -2156 -2556 -2728 2752 -2552 2160 -2724 2620 -2600 -2696 -2256 2744 -2552 -2468 2432 -2624 -2272 2628 -2676 2492 -2452 2628 2324 2760 -2136 2808 -2160 -2612 2588 -2348 -2476 -2652 2760 -2120 2772 -2436 -2792 -2568 2652 2796 -2724 2656 2640 2536 -2216 -2192 -2424 -2396 -2564 -2460 2784 2436 -2640 2740 -2200 2624 -2248 2188 2628 2656 -2540 2576 2120 -2692 -2652 -2484 2392 2680 2788 -2576 -2120 -2476 -2336 -2520 -2160 -2792 -2176 -2652 2156 2340 -2560 -2292 2152 2704 -2804 2280 -2352 -2420 -2760 -2436 -2668 -2800 -2188 -2696 2368 2228 2216 -2196 2656 2256 -2216 2344 2532 2188 -2576 -2180 -2344 -2264 -2764 2392 -2464 2716 -2612 2188 -2696 -2784 -2160 2568 2436 2696 -2616 2324 -2160 2476 2740 -2488 -2572 -2572 2452 2484 2492 2416 -2552 2516 -2268 2616 2792 2656 -2412 -2564 -2120 -2688 -2376 2680 -2564 -2120 2756 2572 2648 -2160 -2396 -2208 -2708 -2120 -2504 -2468 -2732 -2652 2732 2512 -2672 -2524 -2136 2408 -2792 2296 2572 -2168 2528 -2788 -2772 2684 2736 2376 2804 2748 2316 -2796 2756 2752 2616 -2160 2376 -2692 2736 -2280 2160 2728 -2192 -2816 -2128 -2652 -2140 -2524 2512 2132 2716 2768 2768 -2248 -2664 2656 -2424 2224 -2812 -2152 2352 -2776 -2692 -2768 2724 -2740 2432 -2120 2452 -2564 2768 2712 2352 2692 2708 2716 -2744 -2404 -2580 -2196 2756 -2120 -2572 2380 -2612 2688 -2748 2268 -2160 -2792 -2460 -2532 2724 2708 -2280 -2120 -2192 -2144 -2800 2572 2516 2776 2748 2724 -2296 2268 -2768 -2560 -2684 2388 -2784 -2620 -2500 -2120 2508 -2476 -2276 2716 -2252 2448 -2576 2740 2636 -2800 2700 -2576 2556 -2564 2596 2752 2736 2368 -2308 2780 -2624 -2124 2764 -2444 -2704 2736 -2512 -2604 -2444 -2792 -2664 2564 -2380 2552 2760 2692 -2348 -2236 -2624 -2620 -2308 -2652 -2160 2228 2132 -2800 2736 2648 -2684 -2160 2660 2816 -2736 -2720 -2192 2644 -2476 2200 2136 2320 2776 -2252 2612 2656 2472 -2236 2780 -2540 2740 -2460 2396 -2192 2452 -2716 2580 -2636 -2632 -2488 -2640 2396 -2796 2652 -2256 -2812 2740 -2300 -2216 -2520 -2732 -2696 -2476 -2776 -2244 -2564 -2816 -2740 -2616 -2756 -2416 -2800 -2336 2552 -2732 -2704 -2520 2804 2392 2760 -2792 -2728 2728 2808 2444 -2244 2752 2704 2612 -2696 2696 2364 -2700 -2508 -2576 2784 2584 2540 2120 2576 -2312 -2732 -2740 -2292 2756 2596 -2212 -2728 -2376 -2612 -2376 2420 -2600 -2536 -2780 -2304 -2576 -2724 -2312 2192 2636 -2728 -2776 2776 -2700 2700 2656 -2256 2500 2432 -2456 -2644 2220 -2576 2600 -2688 -2492 2756 2276 -2560 -2392 -2172 2676 2312 2816 2776 2652 -2348 2432 -2308 -2744 2428 -2160 2492 2604 -2436 -2636 2312 2556 2744 2252 2760 -2352 -2756 -2216 -2348 -2800 -2736 -2172 2196 -2732 -2376 2752 -2788 -2368 -2352 -2164 -2352 -2160 2280 -2800 2332 2256 -2268 2732 -2196 2584 -2756 -2308 2560 2716 2120 -2460 -2604 -2388 -2512 2708 -2764 2748 -2748 2496 -2276 2732 -2352 2528 -2736 -2592 -2816 2556 -2552 2660 -2700 -2524 -2788 2268 -2132 2640 2288 2564 -2788 -2160 2644 -2460 -2452 -2776 -2716 2752 -2760 2416 -2120 -2724 2436 -2708 -2172 2804 -2516 2764 -2472 -2704 2640 -2224 -2340 -2816 -2796 -2416 2448 2624 -2724 2560 2416 -2584 2760 -2788 2312 2256 -2500 -2148 -2744 2160 -2648 2256 2784 -2164 2532 -2160 -2296 -2612 -2788 -2608 2336 2768 -2172 2152 2680 -2568 -2408 2420 -2512 -2700 2744 -2476 -2752 -2700 -2176 -2496 2696 -2776 2772 -2660 -2664 2712 -2732 2304 -2596 2132 -2348 2668 -2748 -2792 -2732 -2120 -2692 2752 2772 -2572 2180 -2716 -2320 -2740 -2344 -2764 -2516 2208 2680 -2436 2432 -2656 -2696 2728 2188 -2692 -2120 -2460 2492 2520 -2340 2664 2248 2672 2308 -2272 -2452 2628 -2640 2620 2740 -2788 2404 2676 -2120 -2732 2696 -2776 -2584 -2648 2120 -2160 2188 2684 2716 -2692 -2420 2444 -2440 -2472 2184 -2120 -2212 2676 2500 -2152 2140 2568 2344 2288 2588 -2608 2764 -2816 2376 -2804 2748 2572 -2120 2776 2376 -2776 -2800 2692 2120 -2600 2652 -2756 -2524 2396 -2808 2676 2788 2396 -2244 -2308 2736 -2156 -2452 2636 2640 -2436 2756 2596 2768 -2152 2480 -2816 2436 2396 2788 2752 -2600 2308 2616 2800 -2704 2184 -2816 2572 2584 2572 2768 -2364 2768 2776 2748 2120 2736 -2656 2536 -2224 2208 -2120 2816 2752 2656 -2604 2528 2592 2384 -2416 2392 -2484 -2352 2452 2764 2456 2396 2604 -2512 -2732 2792 -2560 -2696 -2388 -2668 2188 -2644 2616 2232 -2328 -2500 2128 2748 2172 2692 -2380 2796 -2712 -2456 -2752 -2476 2492 -2772 2700 2732 -2452 -2596 -2792 2760 -2388 2760 2404 2540 2560 2776 -2436 2716 2756 2160 2496 2668 -2216 2676 2612 -2608 2380 -2564 2280 -2664 -2452 2348 -2764 2784 2384 2660 -2744 -2564 2240 -2792 -2792 2124 2552 2620 2220 2640 2732 -2704 -2168 2656 2388 2728 2752 -2800 -2612 2676 -2160 -2704 2364 -2232 2564 2756 -2692 -2552 2756 -2632 2748 -2452 2152 -2184 -2680 -2524 -2468 2688 -2516 -2432 2636 -2748 -2640 -2632 2500 2692 -2160 -2732 2704 -2176 2444 -2132 2596 -2408 -2416 2584 -2596 -2652 2772 -2212 -2120 2392 -2160 2472 -2708 -2768 -2696 2408 -2232 -2192 2172 -2784 -2736 -2624 2252 -2616 -2732 -2432 -2760 -2216 2720 2752 -2376 -2748 2612 -2268 2788 -2640 -2660 2728 -2148 2736 2512 -2444 -2412 2724 -2728 -2684 2748 -2380 2512 2236 2600 -2616 2412 2376 -2692 -2496 -2776 2784 -2692 -2292 2752 -2392 2776 -2416 2520 2776 -2732 2776 -2716 -2472 2296 -2804 -2696 2392 -2200 2736 -2256 2768 2756 -2196 2772 2668 2160 -2524 -2796 -2712 -2652 -2796 2636 -2164 2336 -2696 -2276 -2412 2472 -2744 2676 -2776 2764 2400 2748 -2160 -2416 -2728 -2176 -2796 -2796 -2364 2600 2772 2120 2240 2600 2288 -2204 -2736 2756 -2536 -2664 2664 -2800 -2804 -2216 -2408 -2792 -2716 2176 -2600 -2120 -2428 -2816 2596 2636 2484 -2792 -2484 -2512 2372 2804 2492 2420 -2164 2632 -2152 -2312 -2632 -2692 2732 -2484 -2256 -2200 -2720 2160 -2224 -2796 -2816 2572 -2376 2616 2156 -2132 -2584 2720 -2576 2124 -2776 -2768 -2416 -2468 2664 -2180 2616 -2532 -2180 -2412 -2804 -2532 -2756 -2664 2376 2536 -2200 2600 2616 -2216 -2216 -2192 2524 2744 2732 -2420 2148 2308 2264 2256 2636 -2256 -2796 -2592 -2680 -2388 -2640 2172 2736 2764 -2288 2368 2204 2196 2788 -2192 2760 -2776 -2160 -2596 2356 -2464 -2608 -2304 2772 -2768 -2736 -2308 2768 2776 2160 -2616 2756 2120 2624 2744 2736 -2320 2748 2784 -2652 -2792 2676 -2344 2624 2756 -2284 2664 -2436 2228 2692 -2592 -2732 -2692 2772 2696 -2228 -2444 -2328 2692 2724 2532 2784 2188 2752 -2436 -2404 2756 -2552 2544 2192 -2200 -2696 -2752 2168 -2296 2576 -2700 -2528 2120 -2160 2660 2412 2604 -2776 -2592 -2692 -2816 -2712 -2660 2236 -2144 2816 -2800 -2320 -2568 2760 2772 2320 -2716 2752 2756 -2160 -2216 -2572 -2640 2692 -2692 -2604 2672 2248 2172 2508 -2692 2764 -2376 -2696 -2380 2652 -2232 -2664 2364 2488 -2780 2748 2268 2332 2764 
251.49	d NODES 1279
251.49	d CHECKS 177595683
251.49	   
251.49	   totalWckTime=251.258  totalCpuTime=248.27

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/node6/watcher-207556-1168182288 -o ROOT/results/node6/solver-207556-1168182288 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207556-1168182288/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.07 2.08 2.02 4/94 15330
/proc/meminfo: memFree=983912/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=1788 CPUtime=0
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 166624276 1830912 159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15329/statm: 446 160 125 14 0 91 0

[startup+0.10831 s]
/proc/loadavg: 2.07 2.08 2.02 4/94 15330
/proc/meminfo: memFree=983912/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=914988 CPUtime=0.1
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 3086 0 1 0 9 1 0 0 22 0 8 0 166624276 936947712 2832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228747 2832 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988

[startup+0.52037 s]
/proc/loadavg: 2.07 2.08 2.02 4/94 15330
/proc/meminfo: memFree=983912/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915328 CPUtime=0.51
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 7159 0 1 0 46 5 0 0 25 0 8 0 166624276 937295872 6898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228832 6901 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328

[startup+1.34346 s]
/proc/loadavg: 2.07 2.08 2.02 3/101 15337
/proc/meminfo: memFree=917360/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=1.32
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 20954 0 1 0 118 14 0 0 25 0 8 0 166624276 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154526167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20691 2160 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 16 0 8 0 166624279 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.15
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915628

[startup+2.98065 s]
/proc/loadavg: 2.07 2.08 2.02 3/101 15337
/proc/meminfo: memFree=908848/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=2.93
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 21029 0 1 0 278 15 0 0 25 0 8 0 166624276 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20765 2180 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 17 0 8 0 166624279 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.17
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 416 0 0 0 17 0 0 0 15 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915628

[startup+6.27403 s]
/proc/loadavg: 2.06 2.08 2.02 3/101 15337
/proc/meminfo: memFree=902128/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=6.22
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 21044 0 1 0 607 15 0 0 25 0 8 0 166624276 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20780 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 16 0 8 0 166624279 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.19
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 430 0 0 0 19 0 0 0 15 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915628

[startup+12.7628 s]
/proc/loadavg: 2.05 2.08 2.02 4/101 15337
/proc/meminfo: memFree=898800/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=12.71
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 21048 0 1 0 1254 17 0 0 25 0 8 0 166624276 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20783 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 16 0 8 0 166624279 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.19
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 433 0 0 0 19 0 0 0 15 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915628

[startup+25.6483 s]
/proc/loadavg: 2.04 2.07 2.02 3/101 15337
/proc/meminfo: memFree=884400/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=25.58
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 22703 0 1 0 2538 20 0 0 25 0 8 0 166624276 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 22435 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.24
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 6066 0 0 0 20 4 0 0 16 0 8 0 166624279 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.21
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 437 0 0 0 21 0 0 0 16 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915628

[startup+51.3003 s]
/proc/loadavg: 2.03 2.07 2.02 3/101 15337
/proc/meminfo: memFree=860720/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=51.19
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 27164 0 1 0 5091 28 0 0 25 0 8 0 166624276 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 26894 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.52
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 10517 0 0 0 45 7 0 0 16 0 8 0 166624279 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.22
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 445 0 0 0 22 0 0 0 16 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915628

[startup+102.576 s]
/proc/loadavg: 2.01 2.05 2.01 3/101 15337
/proc/meminfo: memFree=794928/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=102.42
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 33451 0 1 0 10202 40 0 0 25 0 8 0 166624276 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803815 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 33178 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.9
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 16800 0 0 0 80 10 0 0 16 0 8 0 166624279 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.22
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 446 0 0 0 22 0 0 0 16 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915628

[startup+162.638 s]
/proc/loadavg: 2.06 2.06 2.01 3/101 15337
/proc/meminfo: memFree=739504/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=162.43
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 39374 0 1 0 16189 54 0 0 25 0 8 0 166624276 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 39099 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=1.26
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 22721 0 0 0 113 13 0 0 16 0 8 0 166624279 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.22
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 446 0 0 0 22 0 0 0 16 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.43
Current children cumulated vsize (KiB) 915628

[startup+222.704 s]
/proc/loadavg: 2.02 2.04 2.00 3/101 15337
/proc/meminfo: memFree=661104/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=222.43
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 47396 0 1 0 22176 67 0 0 25 0 8 0 166624276 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 47106 2547 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=2.26
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 30231 0 0 0 209 17 0 0 16 0 8 0 166624279 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.36
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 511 0 0 0 35 1 0 0 16 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 915628

Child status: 0
Real time (s): 251.53
CPU time (s): 251.215
CPU user time (s): 250.479
CPU system time (s): 0.735888
CPU usage (%): 99.8747
Max. virtual memory (cumulated for all children) (KiB): 915628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.479
system time used= 0.735888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51961
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= 6815
involuntary context switches= 10265

runsolver used 0.360945 s user time and 0.958854 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sun Jan  7 15:04:48 UTC 2007


IDJOB= 207556
IDBENCH= 4298
FILE ID= node6/207556-1168182288

PBS_JOBID= 3478918

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d3dec74f6acf47deb39467d9536ae53f

RANDOM SEED= 393619179

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:      2055924 kB
MemFree:        984392 kB
Buffers:         70008 kB
Cached:         547116 kB
SwapCached:       2424 kB
Active:         479800 kB
Inactive:       506224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        984392 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            4440 kB
Writeback:           0 kB
Mapped:         387440 kB
Slab:            69436 kB
Committed_AS:  5472952 kB
PageTables:       3128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB



End job on node6 on Sun Jan  7 15:09:00 UTC 2007