Trace number 2093236

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 ESAC? (TO) 1800.16 1801.37

General information on the benchmark

Namecsp/QWH-25/
normalized-qwh-25-235-4_ext.xml
MD5SUMc3220c1894863afe8d485810de9d0046
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.2752
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints9300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension9300
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.06/0.09	
0.06/0.09	Abscon 112 (May, 2008)
0.18/0.26	
0.18/0.26	   configuration
0.18/0.26	     name=esac.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-2093236-1247401147.xml
0.29/0.33	   
0.29/0.33	   domains being loaded...
0.29/0.34	   
0.29/0.34	   variables being loaded...
0.38/0.46	     nbVariables=625  nbDomainTypes=26  minDomainSize=1  maxDomainSize=25  nbTotalValues=6265
0.38/0.46	       =>  wckTime=0.207  cpuTime=0.16  mem=9M842
0.38/0.46	   
0.38/0.46	   relations being loaded...
0.38/0.48	   
0.38/0.48	   constraints being loaded...
1.36/1.44	     nbConstraints=9326  nbRelationTypes=26  nbGlobalConstraints=26  nbSingletonDomainVariables=390
1.36/1.44	     nbExtensionStructures=51  nbSharedExtensionStructures=9249  nbConflictsStructures=51
1.36/1.44	     nbSharedConflictsStructures=9249  nbSharedBinaryRepresentations=1323  minDegree=18  maxDegree=49  minArity=2
1.36/1.44	     avgArity=2.02  maxArity=11  nbGenerators=0  nbFusions=0  symmetryWckTime=0.38  symmetryCpuTime=0.2  nbCliques=26
1.36/1.44	       =>  wckTime=1.179  cpuTime=0.74  mem=23M125
1.46/1.56	   
1.46/1.56	   solver IterativeSystematicSolver being built... 
1.56/1.64	   
1.56/1.64	   INFO : Forward propagation technique limited 
1.66/1.73	       =>  wckTime=1.473  cpuTime=0.89  mem=31M123
3.26/3.32	   
3.26/3.32	   preprocessing
3.26/3.32	     nbConstraintChecks=220808  nbPropagations=4475  nbRevisions=54041  nbUselessRevisions=46648  nbSingletonTests=1572
3.26/3.32	     nbEffectiveSingletonTests=1  nbACRemovals=4929  nbFoundSingletons=0  nbRemovedValues=4930  detectedInconsistency=no
3.26/3.32	       =>  wckTime=1.589  cpuTime=1.53  mem=32M122
3.56/3.65	   
3.56/3.65	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=33M116)

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093236-1247401147/watcher-2093236-1247401147 -o /tmp/evaluation-result-2093236-1247401147/solver-2093236-1247401147 -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-2093236-1247401147.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: 0.44 0.11 0.11 4/69 31947
/proc/meminfo: memFree=1706104/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=18576 CPUtime=0
/proc/31947/stat : 31947 (runsolver) R 31945 31947 31778 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 27181736 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31947/statm: 4644 284 249 26 0 2626 0

[startup+0.0818919 s]
/proc/loadavg: 0.44 0.11 0.11 4/69 31947
/proc/meminfo: memFree=1706104/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=864148 CPUtime=0.06
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 3139 0 1 0 5 1 0 0 18 0 9 0 27181736 884887552 2624 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216037 2624 1245 9 0 210930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864148

[startup+0.102896 s]
/proc/loadavg: 0.44 0.11 0.11 4/69 31947
/proc/meminfo: memFree=1706104/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=865984 CPUtime=0.09
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 3737 0 1 0 7 2 0 0 18 0 9 0 27181736 886767616 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216496 3205 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.301937 s]
/proc/loadavg: 0.44 0.11 0.11 4/69 31947
/proc/meminfo: memFree=1706104/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=866380 CPUtime=0.29
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 5891 0 1 0 25 4 0 0 18 0 9 0 27181736 887173120 5257 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216595 5257 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380

[startup+0.702028 s]
/proc/loadavg: 0.44 0.11 0.11 4/69 31947
/proc/meminfo: memFree=1706104/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867536 CPUtime=0.68
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 9346 0 1 0 62 6 0 0 18 0 9 0 27181736 888356864 8708 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216884 8708 2005 9 0 211342 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867536

[startup+1.5022 s]
/proc/loadavg: 0.44 0.11 0.11 4/78 31956
/proc/meminfo: memFree=1628400/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=868028 CPUtime=1.46
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 23984 581 1 0 121 13 12 0 18 0 10 0 27181736 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 217007 18952 2090 9 0 211465 0
[pid=31947/tid=31949] ppid=31945 vsize=868028 CPUtime=1.05
/proc/31947/task/31949/stat : 31949 (java) S 31945 31947 31778 0 -1 64 17313 581 1 0 85 8 12 0 16 0 10 0 27181737 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31950] ppid=31945 vsize=868028 CPUtime=0.26
/proc/31947/task/31950/stat : 31950 (java) R 31945 31947 31778 0 -1 64 5040 581 0 0 12 2 12 0 16 0 10 0 27181739 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 104189896 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31951] ppid=31945 vsize=868028 CPUtime=0.12
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 16 581 0 0 0 0 12 0 16 0 10 0 27181739 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=868028 CPUtime=0.12
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 5 581 0 0 0 0 12 0 16 0 10 0 27181739 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=868028 CPUtime=0.12
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 581 0 0 0 0 12 0 18 0 10 0 27181741 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=868028 CPUtime=0.35
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 797 581 0 0 23 0 12 0 15 0 10 0 27181741 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31955] ppid=31945 vsize=868028 CPUtime=0.12
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 581 0 0 0 0 12 0 19 0 10 0 27181741 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=868028 CPUtime=0.12
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 13 581 0 0 0 0 12 0 15 0 10 0 27181741 888860672 18952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868028

[startup+3.10154 s]
/proc/loadavg: 0.56 0.14 0.12 3/78 31960
/proc/meminfo: memFree=1604016/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=868012 CPUtime=3.06
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 31297 703 1 0 279 14 12 1 18 0 9 0 27181736 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 217003 21437 2660 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=868012 CPUtime=2.53
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 21996 703 1 0 231 9 12 1 25 0 9 0 27181737 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4127166071 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31950] ppid=31945 vsize=868012 CPUtime=0.33
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 7573 703 0 0 17 3 12 1 17 0 9 0 27181739 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31951] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 15 0 9 0 27181739 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 9 703 0 0 0 0 12 1 15 0 9 0 27181739 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=868012 CPUtime=0.43
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 884 703 0 0 30 0 12 1 15 0 9 0 27181741 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31955] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 13 703 0 0 0 0 12 1 15 0 9 0 27181741 888844288 21437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868012

[startup+6.30223 s]
/proc/loadavg: 0.56 0.14 0.12 3/78 31960
/proc/meminfo: memFree=1562864/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=868012 CPUtime=6.25
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 33107 703 1 0 596 16 12 1 18 0 9 0 27181736 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 217003 21470 2660 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=868012 CPUtime=5.65
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 23752 703 1 0 542 10 12 1 25 0 9 0 27181737 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4127224830 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31950] ppid=31945 vsize=868012 CPUtime=0.33
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 7573 703 0 0 17 3 12 1 17 0 9 0 27181739 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31951] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 15 0 9 0 27181739 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 9 703 0 0 0 0 12 1 15 0 9 0 27181739 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=868012 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 916 703 0 0 36 0 12 1 15 0 9 0 27181741 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31955] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888844288 21470 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 868012

[startup+12.7016 s]
/proc/loadavg: 0.68 0.17 0.13 3/78 31960
/proc/meminfo: memFree=1479928/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=868012 CPUtime=12.61
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 36388 703 1 0 1231 17 12 1 18 0 9 0 27181736 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 217003 21472 2660 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=868012 CPUtime=12.01
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 27030 703 1 0 1177 11 12 1 25 0 9 0 27181737 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4127224787 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31950] ppid=31945 vsize=868012 CPUtime=0.33
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 7573 703 0 0 17 3 12 1 16 0 9 0 27181739 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31951] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 15 0 9 0 27181739 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 9 703 0 0 0 0 12 1 15 0 9 0 27181739 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=868012 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 919 703 0 0 36 0 12 1 16 0 9 0 27181741 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31955] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=868012 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888844288 21472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868012

[startup+25.5023 s]
/proc/loadavg: 0.97 0.26 0.16 3/78 31960
/proc/meminfo: memFree=1310584/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=25.35
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 39150 703 1 0 2504 18 12 1 18 0 9 0 27181736 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 22552 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=24.73
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28686 703 1 0 2448 12 12 1 25 0 9 0 27181737 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4127117129 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.34
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 8676 703 0 0 18 3 12 1 16 0 9 0 27181739 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 921 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 22552 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867924

[startup+51.1028 s]
/proc/loadavg: 1.32 0.40 0.20 3/78 31960
/proc/meminfo: memFree=989432/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=50.78
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40259 703 1 0 5046 19 12 1 18 0 9 0 27181736 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23656 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=50.15
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28687 703 1 0 4990 12 12 1 25 0 9 0 27181737 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4126726504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.36
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9784 703 0 0 19 4 12 1 16 0 9 0 27181739 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 921 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23656 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.21
Current children cumulated vsize (KiB) 867924

[startup+1602.3 s]
/proc/loadavg: 2.19 2.16 1.71 3/89 31996
/proc/meminfo: memFree=1650584/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=1601.18
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40350 703 1 0 160083 22 12 1 18 0 9 0 27181736 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23668 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=1600.46
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28761 703 1 0 160018 15 12 1 25 0 9 0 27181737 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4127139463 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.45
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9800 703 0 0 28 4 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.18
Current children cumulated vsize (KiB) 867924

[startup+1662.3 s]
/proc/loadavg: 2.13 2.15 1.73 3/89 31996
/proc/meminfo: memFree=1650520/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=1661.16
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40353 703 1 0 166081 22 12 1 18 0 9 0 27181736 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23668 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=1660.43
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28764 703 1 0 166015 15 12 1 25 0 9 0 27181737 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4127233881 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.45
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9800 703 0 0 28 4 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.16
Current children cumulated vsize (KiB) 867924

[startup+1722.3 s]
/proc/loadavg: 2.17 2.15 1.75 3/89 31996
/proc/meminfo: memFree=1650456/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=1721.12
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40356 703 1 0 172077 22 12 1 18 0 9 0 27181736 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23668 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=1720.39
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28767 703 1 0 172011 15 12 1 25 0 9 0 27181737 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4127303708 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.46
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9800 703 0 0 29 4 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.12
Current children cumulated vsize (KiB) 867924

[startup+1782.3 s]
/proc/loadavg: 2.06 2.12 1.76 3/89 31996
/proc/meminfo: memFree=1650392/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=1781.09
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40359 703 1 0 178074 22 12 1 18 0 9 0 27181736 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23668 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=1780.36
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28770 703 1 0 178008 15 12 1 25 0 9 0 27181737 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4127130668 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.46
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9800 703 0 0 29 4 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.09
Current children cumulated vsize (KiB) 867924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 2.04 2.11 1.77 3/89 31996
/proc/meminfo: memFree=1650392/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=1800.08
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40360 703 1 0 179973 22 12 1 18 0 9 0 27181736 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23668 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=1799.35
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28771 703 1 0 179907 15 12 1 25 0 9 0 27181737 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4127130687 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.46
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9800 703 0 0 29 4 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 867924

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1801.3 s]
/proc/loadavg: 2.04 2.11 1.77 3/89 31996
/proc/meminfo: memFree=1650392/2055920 swapFree=4192812/4192956
[pid=31947] ppid=31945 vsize=867924 CPUtime=1800.08
/proc/31947/stat : 31947 (java) S 31945 31947 31778 0 -1 0 40360 703 1 0 179973 22 12 1 18 0 9 0 27181736 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31947/statm: 216981 23668 2638 9 0 211439 0
[pid=31947/tid=31949] ppid=31945 vsize=867924 CPUtime=1799.35
/proc/31947/task/31949/stat : 31949 (java) R 31945 31947 31778 0 -1 64 28771 703 1 0 179907 15 12 1 25 0 9 0 27181737 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4127130687 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31950] ppid=31945 vsize=867924 CPUtime=0.46
/proc/31947/task/31950/stat : 31950 (java) S 31945 31947 31778 0 -1 64 9800 703 0 0 29 4 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31951] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31951/stat : 31951 (java) S 31945 31947 31778 0 -1 64 19 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31952] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31952/stat : 31952 (java) S 31945 31947 31778 0 -1 64 10 703 0 0 0 0 12 1 16 0 9 0 27181739 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31953] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31953/stat : 31953 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 18 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31954] ppid=31945 vsize=867924 CPUtime=0.49
/proc/31947/task/31954/stat : 31954 (java) S 31945 31947 31778 0 -1 64 922 703 0 0 36 0 12 1 16 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31947/tid=31955] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31955/stat : 31955 (java) S 31945 31947 31778 0 -1 64 1 703 0 0 0 0 12 1 19 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31947/tid=31956] ppid=31945 vsize=867924 CPUtime=0.13
/proc/31947/task/31956/stat : 31956 (java) S 31945 31947 31778 0 -1 64 35 703 0 0 0 0 12 1 15 0 9 0 27181741 888754176 23668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 867924

Child status: 143
Real time (s): 1801.37
CPU time (s): 1800.16
CPU user time (s): 1799.91
CPU system time (s): 0.254961
CPU usage (%): 99.9332
Max. virtual memory (cumulated for all children) (KiB): 868028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41092
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= 38796
involuntary context switches= 11802

runsolver used 2.6336 second user time and 5.56815 second system time

The end

Launcher Data 

Begin job on node10 at 2009-07-12 14:19:07
IDJOB=2093236
IDBENCH=53456
IDSOLVER=774
FILE ID=node10/2093236-1247401147
PBS_JOBID= 9510623
Free space on /tmp= 66348 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QWH-25/normalized-qwh-25-235-4_ext.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-2093236-1247401147/watcher-2093236-1247401147 -o /tmp/evaluation-result-2093236-1247401147/solver-2093236-1247401147 -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-2093236-1247401147.xml

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

MD5SUM BENCH= c3220c1894863afe8d485810de9d0046
RANDOM SEED=1035062677

node10.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.279
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.279
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:       1706712 kB
Buffers:         39676 kB
Cached:         189688 kB
SwapCached:          0 kB
Active:         226136 kB
Inactive:        64036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1706712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           76636 kB
Writeback:           0 kB
Mapped:          71072 kB
Slab:            44612 kB
Committed_AS:   216864 kB
PageTables:       1760 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= 66416 MiB
End job on node10 at 2009-07-12 14:49:10