Trace number 2098614

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 112v4 ESACUNSAT 137.415 137.582

DiagnosticValue
CHECKS1811
NODES44103

General information on the benchmark

Namecsp/dag-rand/
normalized-rand-n23-d3-e16-r15-t150000-6.xml
MD5SUMd69420449403c15dce93504730da03ea
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark137.415
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints16
Maximum constraint arity15
Maximum domain size3
Number of constraints which are defined in extension16
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.25	   configuration
0.19/0.25	     name=esac.xml
0.19/0.28	   
0.19/0.28	   instance
0.19/0.28	     name=HOME/instance-2098614-1247416181.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.32	   
0.29/0.32	   variables being loaded...
0.29/0.35	     nbVariables=23  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3  nbTotalValues=69
0.29/0.35	       =>  wckTime=0.102  cpuTime=0.08  mem=7M892
0.29/0.35	   
0.29/0.35	   relations being loaded...
2.39/2.46	   
2.39/2.46	   INFO : Contraction of relations, mem = 106M805
14.98/15.03	   
14.98/15.03	   constraints being loaded...
21.97/22.05	     nbConstraints=16  nbRelationTypes=16  nbGlobalConstraints=16  nbExtensionStructures=16
21.97/22.05	     nbSharedExtensionStructures=0  nbConflictsStructures=16  nbSharedConflictsStructures=0
21.97/22.05	     nbSharedBinaryRepresentations=0  minDegree=4  maxDegree=14  minArity=15  maxArity=15  nbGenerators=0  nbFusions=0
21.97/22.05	     symmetryWckTime=0.156  symmetryCpuTime=0.03
21.97/22.05	       =>  wckTime=21.799  cpuTime=16.96  mem=661M256
25.93/26.04	   
25.93/26.04	   solver IterativeSystematicSolver being built... 
26.03/26.11	   
26.03/26.11	   INFO : Forward propagation technique limited 
26.03/26.17	       =>  wckTime=25.922  cpuTime=17.1  mem=533M708
27.13/27.21	   
27.13/27.25	   preprocessing
27.13/27.25	     nbConstraintChecks=0  nbValidityChecks=9602188  nbPropagations=51  nbRevisions=0  nbUselessRevisions=0
27.13/27.25	     nbSingletonTests=25  nbEffectiveSingletonTests=0  nbACRemovals=0  nbFoundSingletons=0  nbRemovedValues=0
27.13/27.25	     detectedInconsistency=no
27.13/27.25	       =>  wckTime=1.037  cpuTime=1.03  mem=534M572
29.82/29.95	   
29.82/29.95	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=535M485)
137.23/137.46	   
137.23/137.46	   search
137.23/137.46	     run=17  nbConstraintChecks=1811  nbValidityChecks=648372084  minDepth=0  maxDepth=11  nbPropagations=531309
137.23/137.46	     nbRevisions=0  nbUselessRevisions=0  nbAssignments=44103  nbFailedAssignments=21004  nbBacktracks=22974
137.23/137.46	     nbVisitedNodes=80237  nbRestartNogoods=99  nbSEliminables=0  nbREliminables=15.21  nbIEliminables=0
137.23/137.46	     nbDEliminables=0  nbPEliminables=0
137.23/137.46	       =>  wckTime=111.287  cpuTime=111.09  mem=536M348
137.23/137.46	   
137.23/137.46	   global
137.23/137.46	     nbConstraintChecks=1811  nbValidityChecks=657974272  nbPropagations=531360  nbRestartNogoods=99
137.23/137.46	     solvingWckTime=111.289  solvingCpuTime=111.1  expiredTime=no  totalExploration=yes  nbFoundSolutions=0
137.23/137.46	     globalCpuTime=128.24
137.23/137.46	       =>  wckTime=137.213  cpuTime=128.2  mem=536M348
137.23/137.46	   
137.23/137.46	s UNSATISFIABLE
137.23/137.46	d NODES 44103
137.23/137.46	d CHECKS 1811
137.23/137.46	   
137.23/137.46	   totalWckTime=137.28  totalCpuTime=128.24

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098614-1247416181/watcher-2098614-1247416181 -o /tmp/evaluation-result-2098614-1247416181/solver-2098614-1247416181 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2098614-1247416181.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 1.90 1.95 1.98 4/80 4896
/proc/meminfo: memFree=1624232/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=1616 CPUtime=0
/proc/4896/stat : 4896 (java) R 4894 4896 4859 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28681431 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 7254970 0 0 4096 0 0 0 0 17 0 0 0
/proc/4896/statm: 404 148 122 9 0 46 0

[startup+0.106605 s]
/proc/loadavg: 1.90 1.95 1.98 4/80 4896
/proc/meminfo: memFree=1624232/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=865980 CPUtime=0.09
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 3779 0 1 0 7 2 0 0 18 0 9 0 28681431 886763520 3236 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216495 3237 1709 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980

[startup+0.202614 s]
/proc/loadavg: 1.90 1.95 1.98 4/80 4896
/proc/meminfo: memFree=1624232/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=866144 CPUtime=0.19
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 4818 0 1 0 15 4 0 0 18 0 9 0 28681431 886931456 4235 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216536 4235 1888 9 0 211014 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866144

[startup+0.302625 s]
/proc/loadavg: 1.90 1.95 1.98 4/80 4896
/proc/meminfo: memFree=1624232/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=866380 CPUtime=0.29
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 5974 0 1 0 24 5 0 0 18 0 9 0 28681431 887173120 5340 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216595 5340 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380

[startup+0.701667 s]
/proc/loadavg: 1.90 1.95 1.98 4/80 4896
/proc/meminfo: memFree=1624232/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=866648 CPUtime=0.68
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 18726 0 1 0 57 11 0 0 18 0 9 0 28681431 887447552 18085 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216662 18085 2012 9 0 211120 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866648

[startup+1.50275 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 4905
/proc/meminfo: memFree=1531488/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=866648 CPUtime=1.49
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 32321 0 1 0 132 17 0 0 18 0 9 0 28681431 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216662 31678 2012 9 0 211120 0
[pid=4896/tid=4898] ppid=4894 vsize=866648 CPUtime=1.26
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 15717 0 1 0 117 9 0 0 25 0 9 0 28681432 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4126587122 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=866648 CPUtime=0.14
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 15566 0 0 0 8 6 0 0 16 0 9 0 28681433 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4900] ppid=4894 vsize=866648 CPUtime=0
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28681433 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4901] ppid=4894 vsize=866648 CPUtime=0
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28681433 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4902] ppid=4894 vsize=866648 CPUtime=0
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28681435 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=866648 CPUtime=0.06
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 335 0 0 0 6 0 0 0 16 0 9 0 28681435 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=866648 CPUtime=0
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28681435 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=866648 CPUtime=0
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28681436 887447552 31678 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 866648

[startup+3.10192 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 4905
/proc/meminfo: memFree=1487584/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867732 CPUtime=3.09
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 42325 0 1 0 286 23 0 0 18 0 9 0 28681431 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216933 41413 2073 9 0 211391 0
[pid=4896/tid=4898] ppid=4894 vsize=867732 CPUtime=2.47
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 15730 0 1 0 236 11 0 0 25 0 9 0 28681432 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867732 CPUtime=0.51
/proc/4896/task/4899/stat : 4899 (java) R 4894 4896 4859 0 -1 64 25551 0 0 0 41 10 0 0 17 0 9 0 28681433 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 102758168 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867732 CPUtime=0
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28681433 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867732 CPUtime=0
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28681433 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867732 CPUtime=0
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28681435 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867732 CPUtime=0.07
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 341 0 0 0 7 0 0 0 16 0 9 0 28681435 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867732 CPUtime=0
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28681435 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867732 CPUtime=0
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28681436 888557568 41413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867732

[startup+6.30224 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 4905
/proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867048 CPUtime=6.28
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 64962 0 1 0 595 33 0 0 18 0 9 0 28681431 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216762 62154 2632 9 0 211220 0
[pid=4896/tid=4898] ppid=4894 vsize=867048 CPUtime=4.68
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 15743 0 1 0 456 12 0 0 25 0 9 0 28681432 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867048 CPUtime=1.49
/proc/4896/task/4899/stat : 4899 (java) R 4894 4896 4859 0 -1 64 48100 0 0 0 130 19 0 0 16 0 9 0 28681433 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 104516229 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867048 CPUtime=0
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28681433 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867048 CPUtime=0
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28681433 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867048 CPUtime=0
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28681435 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867048 CPUtime=0.09
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 416 0 0 0 9 0 0 0 16 0 9 0 28681435 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867048 CPUtime=0
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28681435 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867048 CPUtime=0
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28681436 887857152 62154 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867048

[startup+12.7019 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 4905
/proc/meminfo: memFree=1195232/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=866728 CPUtime=12.68
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 116356 0 1 0 1211 57 0 0 18 0 9 0 28681431 887529472 113464 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216682 113472 2632 9 0 211140 0
[pid=4896/tid=4898] ppid=4894 vsize=866728 CPUtime=9.39
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 15755 0 1 0 924 15 0 0 25 0 9 0 28681432 887529472 113478 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=866728 CPUtime=3.16
/proc/4896/task/4899/stat : 4899 (java) R 4894 4896 4859 0 -1 64 99504 0 0 0 277 39 0 0 16 0 9 0 28681433 887529472 113486 996147200 134512640 134550932 4294955968 18446744073709551615 102709373 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4900] ppid=4894 vsize=866728 CPUtime=0
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28681433 887529472 113493 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4901] ppid=4894 vsize=866728 CPUtime=0
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28681433 887529472 113501 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4902] ppid=4894 vsize=866728 CPUtime=0
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 0 0 0 0 0 0 0 23 0 9 0 28681435 887529472 113509 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=866728 CPUtime=0.09
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 416 0 0 0 9 0 0 0 16 0 9 0 28681435 887529472 113518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=866728 CPUtime=0
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28681435 887529472 113525 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=866728 CPUtime=0
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28681436 887529472 113533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 866728

[startup+25.5022 s]
/proc/loadavg: 2.07 1.99 1.99 3/91 4909
/proc/meminfo: memFree=900944/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=888560 CPUtime=25.41
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 312562 148 1 0 2428 110 0 3 18 0 10 0 28681431 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 222140 183690 2636 9 0 216598 0
[pid=4909] ppid=4896 vsize=0 CPUtime=0.03
/proc/4909/stat : 4909 (rm) Z 4896 4896 4859 0 -1 4194316 127 0 0 0 0 3 0 0 19 0 1 0 28683628 0 0 996147200 0 0 0 0 0 0 4 0 0 18446744071563351923 0 0 17 1 0 0
/proc/4909/statm: 0 0 0 0 0 0 0
[pid=4896/tid=4898] ppid=4894 vsize=888560 CPUtime=17.18
/proc/4896/task/4898/stat : 4898 (java) S 4894 4896 4859 0 -1 64 16444 148 1 0 1699 16 0 3 16 0 10 0 28681432 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4899] ppid=4894 vsize=888560 CPUtime=8.04
/proc/4896/task/4899/stat : 4899 (java) R 4894 4896 4859 0 -1 64 294779 148 0 0 715 86 0 3 25 0 10 0 28681433 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 104191077 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=888560 CPUtime=0.03
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 16 148 0 0 0 0 0 3 16 0 10 0 28681433 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4901] ppid=4894 vsize=888560 CPUtime=0.03
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 5 148 0 0 0 0 0 3 15 0 10 0 28681433 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4902] ppid=4894 vsize=888560 CPUtime=0.03
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 148 0 0 0 0 0 3 23 0 10 0 28681435 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=888560 CPUtime=0.16
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 497 148 0 0 13 0 0 3 16 0 10 0 28681435 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4904] ppid=4894 vsize=888560 CPUtime=0.03
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 148 0 0 0 0 0 3 24 0 10 0 28681435 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=888560 CPUtime=0.03
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 17 148 0 0 0 0 0 3 15 0 10 0 28681436 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4908] ppid=4894 vsize=888560 CPUtime=0.05
/proc/4896/task/4908/stat : 4908 (java) S 4894 4896 4859 0 -1 64 49 148 0 0 0 2 0 3 17 0 10 0 28683628 909885440 183690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 888560

[startup+51.1028 s]
/proc/loadavg: 2.04 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921432/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=50.97
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 345929 275 1 0 4973 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=42.12
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21282 275 1 0 4188 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126863963 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06

################
# More data... #
################

/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 16 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 867516

[startup+128.003 s]
/proc/loadavg: 2.01 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921368/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=127.83
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 346123 275 1 0 12659 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=118.99
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21476 275 1 0 11875 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126873047 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 17 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 867516

[startup+134.402 s]
/proc/loadavg: 2.01 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921368/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=134.23
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 346139 275 1 0 13299 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=125.39
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21492 275 1 0 12515 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126864005 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 17 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 134.23
Current children cumulated vsize (KiB) 867516

[startup+136.003 s]
/proc/loadavg: 2.01 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921368/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=135.83
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 346143 275 1 0 13459 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=126.99
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21496 275 1 0 12675 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126863989 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 17 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 135.83
Current children cumulated vsize (KiB) 867516

[startup+136.803 s]
/proc/loadavg: 2.01 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921368/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=136.63
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 346145 275 1 0 13539 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=127.79
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21498 275 1 0 12755 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126863963 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 17 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 136.63
Current children cumulated vsize (KiB) 867516

[startup+137.203 s]
/proc/loadavg: 2.01 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921368/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=137.03
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 346146 275 1 0 13579 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=128.19
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21499 275 1 0 12795 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126864146 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 17 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 137.03
Current children cumulated vsize (KiB) 867516

[startup+137.403 s]
/proc/loadavg: 2.01 1.99 1.99 3/89 4909
/proc/meminfo: memFree=921368/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=867516 CPUtime=137.23
/proc/4896/stat : 4896 (java) S 4894 4896 4859 0 -1 0 346147 275 1 0 13599 118 0 6 18 0 9 0 28681431 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 216879 178575 2661 9 0 211315 0
[pid=4896/tid=4898] ppid=4894 vsize=867516 CPUtime=128.39
/proc/4896/task/4898/stat : 4898 (java) R 4894 4896 4859 0 -1 64 21500 275 1 0 12815 18 0 6 25 0 9 0 28681432 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4126863989 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4899] ppid=4894 vsize=867516 CPUtime=8.57
/proc/4896/task/4899/stat : 4899 (java) S 4894 4896 4859 0 -1 64 323115 275 0 0 759 92 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4900] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4900/stat : 4900 (java) S 4894 4896 4859 0 -1 64 20 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4901] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4901/stat : 4901 (java) S 4894 4896 4859 0 -1 64 9 275 0 0 0 0 0 6 16 0 9 0 28681433 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4896/tid=4902] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4902/stat : 4902 (java) S 4894 4896 4859 0 -1 64 2 275 0 0 0 0 0 6 23 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4903] ppid=4894 vsize=867516 CPUtime=0.31
/proc/4896/task/4903/stat : 4903 (java) S 4894 4896 4859 0 -1 64 677 275 0 0 24 1 0 6 17 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4904] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4904/stat : 4904 (java) S 4894 4896 4859 0 -1 64 1 275 0 0 0 0 0 6 24 0 9 0 28681435 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4896/tid=4905] ppid=4894 vsize=867516 CPUtime=0.06
/proc/4896/task/4905/stat : 4905 (java) S 4894 4896 4859 0 -1 64 18 275 0 0 0 0 0 6 15 0 9 0 28681436 888336384 178575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 137.23
Current children cumulated vsize (KiB) 867516

[startup+137.503 s]
/proc/loadavg: 2.01 1.99 1.99 3/82 4909
/proc/meminfo: memFree=1043160/2055920 swapFree=4192812/4192956
[pid=4896] ppid=4894 vsize=0 CPUtime=137.33
/proc/4896/stat : 4896 (java) Z 4894 4896 4859 0 -1 12 346269 275 1 0 13606 121 0 6 16 0 2 0 28681431 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4896/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 137.33
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 137.582
CPU time (s): 137.415
CPU user time (s): 136.062
CPU system time (s): 1.35279
CPU usage (%): 99.8789
Max. virtual memory (cumulated for all children) (KiB): 888560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.062
system time used= 1.35279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346544
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= 4396
involuntary context switches= 2719

runsolver used 0.206968 second user time and 0.433934 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-12 18:29:47
IDJOB=2098614
IDBENCH=58802
IDSOLVER=774
FILE ID=node67/2098614-1247416181
PBS_JOBID= 9510752
Free space on /tmp= 66444 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098614-1247416181/watcher-2098614-1247416181 -o /tmp/evaluation-result-2098614-1247416181/solver-2098614-1247416181 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2098614-1247416181.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d69420449403c15dce93504730da03ea
RANDOM SEED=563821551

node67.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.239
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.239
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:       1624712 kB
Buffers:         45188 kB
Cached:         228580 kB
SwapCached:          0 kB
Active:         268976 kB
Inactive:        98684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1624712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           72644 kB
Writeback:           0 kB
Mapped:         114408 kB
Slab:            48476 kB
Committed_AS:  1020808 kB
PageTables:       1992 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= 66440 MiB
End job on node67 at 2009-07-12 18:32:05