Trace number 2094222

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 ESACSAT 119.903 121.062

DiagnosticValue
CHECKS61636300
NODES1907

General information on the benchmark

Namecsp/radar-9-28-4-2/
normalized-radar-9-28-4-2-11.xml
MD5SUM871ea481d5d83bc5de69fc7155928cbb
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.070988
Satisfiable
(Un)Satisfiability was proved
Number of variables168
Number of constraints81
Maximum constraint arity22
Maximum domain size5
Number of constraints which are defined in extension0
Number of constraints which are defined in intension81
Global constraints used (with number of constraints)

Solver Data 

0.05/0.09	
0.05/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=esac.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-2094222-1247403016.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.28/0.37	   
0.28/0.37	   variables being loaded...
0.38/0.42	     nbVariables=168  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5  nbTotalValues=840
0.38/0.42	       =>  wckTime=0.174  cpuTime=0.13  mem=8M867
0.38/0.42	   
0.38/0.42	   predicates being loaded...
0.57/0.68	   
0.57/0.68	   constraints being loaded...
1.85/1.92	     nbConstraints=104  nbGlobalConstraints=23  nbDisconnectedVariables=23  nbConflictsStructures=1
1.85/1.92	     nbSharedConflictsStructures=0  nbUnbuiltConflictsStructures=80  nbSharedBinaryRepresentations=0
1.85/1.92	     nbEvaluationManagers=81  nbSharedEvaluationManagers=0  minDegree=1  maxDegree=10  minArity=2  avgArity=10.5
1.85/1.92	     maxArity=22  nbGenerators=23  nbFusions=0  symmetryWckTime=0.087  symmetryCpuTime=0.04
1.85/1.92	       =>  wckTime=1.679  cpuTime=1.42  mem=40M538
1.85/1.99	   
1.85/1.99	   solver IterativeSystematicSolver being built... 
1.95/2.09	   
1.95/2.09	   INFO : Forward propagation technique limited 
2.05/2.16	       =>  wckTime=1.92  cpuTime=1.57  mem=23M816
5.42/5.55	   
5.42/5.55	   preprocessing
5.42/5.55	     nbConstraintChecks=2109289  nbValidityChecks=9987  nbPropagations=442  nbRevisions=2832  nbUselessRevisions=2727
5.42/5.55	     nbSingletonTests=179  nbEffectiveSingletonTests=0  nbACRemovals=13  nbFoundSingletons=0  nbRemovedValues=13
5.42/5.55	     detectedInconsistency=no
5.42/5.55	       =>  wckTime=3.382  cpuTime=3.32  mem=23M816
43.65/44.19	   
43.65/44.19	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M788)
119.83/121.03	   
119.83/121.03	   search
119.83/121.03	     run=8  nbConstraintChecks=59526993  nbValidityChecks=384390  minDepth=43  maxDepth=168  nbPropagations=21016
119.83/121.03	     nbRevisions=351443  nbUselessRevisions=326948  nbAssignments=1907  nbFailedAssignments=617  nbInferredBacktracks=3
119.83/121.03	     nbBacktracks=670  nbVisitedNodes=2723  nbRestartNogoods=64  nbFoundSolutions=1  nbSEliminables=0
119.83/121.04	     nbREliminables=97.59  nbIEliminables=31.27  nbDEliminables=0  nbPEliminables=0
119.83/121.04	       =>  wckTime=118.867  cpuTime=117.65  mem=24M788
119.83/121.04	   
119.83/121.04	   global
119.83/121.04	     nbConstraintChecks=61636282  nbValidityChecks=394377  nbPropagations=21458  nbRevisions=354275
119.83/121.04	     nbUselessRevisions=329675  nbRestartNogoods=64  solvingWckTime=118.87  solvingCpuTime=117.65  expiredTime=no
119.83/121.04	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=119.22  globalCpuTime=119.28
119.83/121.04	       =>  wckTime=120.792  cpuTime=119.22  mem=24M788
119.83/121.04	   
119.83/121.04	s SATISFIABLE
119.83/121.04	v 0 2 0 4 0 0 0 3 0 0 0 0 0 0 0 4 4 0 1 0 0 0 0 1 1 1 0 3 0 1 0 0 0 0 0 3 2 4 0 4 4 3 2 0 0 0 0 3 2 3 0 3 0 0 2 0 4 4 3 3 3 3 0 0 0 0 3 0 1 3 0 0 0 0 0 0 1 3 2 2 2 0 0 3 4 1 2 0 4 4 0 3 4 3 0 0 1 0 0 3 1 0 0 0 0 2 0 0 0 1 3 0 0 0 1 2 0 0 2 2 3 1 2 2 0 0 4 0 0 0 0 2 2 0 4 1 1 2 1 0 4 1 2 0 0 2 3 1 4 0 1 1 0 0 0 1 0 3 0 0 2 0 0 1 0 0 2 0 
119.83/121.04	d NODES 1907
119.83/121.04	d CHECKS 61636282
119.83/121.04	   
119.83/121.04	   totalWckTime=120.849  totalCpuTime=119.29

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094222-1247403016/watcher-2094222-1247403016 -o /tmp/evaluation-result-2094222-1247403016/solver-2094222-1247403016 -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-2094222-1247403016.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: 2.00 1.97 1.71 4/80 31721
/proc/meminfo: memFree=1723424/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=152 CPUtime=0
/proc/31721/stat : 31721 (java) D 31719 31721 31459 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 27368994 155648 26 996147200 134512640 134550932 4294956128 18446744073709551615 10416932 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31721/statm: 38 26 19 9 0 4 0

[startup+0.0736891 s]
/proc/loadavg: 2.00 1.97 1.71 4/80 31721
/proc/meminfo: memFree=1723424/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=864024 CPUtime=0.05
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 2858 0 1 0 4 1 0 0 18 0 9 0 27368994 884760576 2385 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216006 2385 1132 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024

[startup+0.102693 s]
/proc/loadavg: 2.00 1.97 1.71 4/80 31721
/proc/meminfo: memFree=1723424/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=865984 CPUtime=0.08
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 3725 0 1 0 7 1 0 0 18 0 9 0 27368994 886767616 3193 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216496 3193 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301717 s]
/proc/loadavg: 2.00 1.97 1.71 4/80 31721
/proc/meminfo: memFree=1723424/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=866296 CPUtime=0.28
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 5695 0 1 0 26 2 0 0 18 0 9 0 27368994 887087104 5098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216574 5098 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296

[startup+0.702755 s]
/proc/loadavg: 2.00 1.97 1.71 4/80 31721
/proc/meminfo: memFree=1723424/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867192 CPUtime=0.68
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 9710 0 1 0 63 5 0 0 18 0 9 0 27368994 888004608 9064 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216798 9064 2034 9 0 211234 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867192

[startup+1.50284 s]
/proc/loadavg: 2.00 1.97 1.71 3/89 31730
/proc/meminfo: memFree=1682456/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867104 CPUtime=1.48
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 17358 0 1 0 138 10 0 0 18 0 9 0 27368994 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216776 16686 2027 9 0 211234 0
[pid=31721/tid=31723] ppid=31719 vsize=867104 CPUtime=1.26
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 15819 0 1 0 118 8 0 0 25 0 9 0 27368996 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4126554998 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867104 CPUtime=0.01
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 298 0 0 0 1 0 0 0 16 0 9 0 27368997 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867104 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27368997 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867104 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27368997 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867104 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27368999 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867104 CPUtime=0.17
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 538 0 0 0 17 0 0 0 16 0 9 0 27368999 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867104 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27368999 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867104 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27369000 887914496 16686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867104

[startup+3.102 s]
/proc/loadavg: 2.00 1.97 1.71 3/89 31734
/proc/meminfo: memFree=1661400/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=3.03
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26450 304 1 0 291 12 0 0 18 0 9 0 27368994 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18026 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=2.7
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 21872 304 1 0 260 10 0 0 25 0 9 0 27368996 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4126744637 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.24
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 732 304 0 0 24 0 0 0 15 0 9 0 27368999 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 11 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18026 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 867964

[startup+6.30133 s]
/proc/loadavg: 2.00 1.97 1.71 3/89 31734
/proc/meminfo: memFree=1661080/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=6.21
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26727 304 1 0 608 13 0 0 18 0 9 0 27368994 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18036 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=5.84
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22128 304 1 0 574 10 0 0 25 0 9 0 27368996 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4126740891 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.25
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 741 304 0 0 25 0 0 0 15 0 9 0 27368999 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867964

[startup+12.702 s]
/proc/loadavg: 2.00 1.97 1.71 3/89 31734
/proc/meminfo: memFree=1661016/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=12.54
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26734 304 1 0 1241 13 0 0 18 0 9 0 27368994 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18037 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=12.18
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22135 304 1 0 1208 10 0 0 25 0 9 0 27368996 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4126736792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 16 0 9 0 27368997 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.25
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 741 304 0 0 25 0 0 0 16 0 9 0 27368999 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18037 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867964

[startup+25.5023 s]
/proc/loadavg: 2.00 1.97 1.72 3/89 31734
/proc/meminfo: memFree=1661144/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=25.22
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26744 304 1 0 2509 13 0 0 18 0 9 0 27368994 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18039 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=24.86
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22140 304 1 0 2476 10 0 0 25 0 9 0 27368996 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4126736143 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 16 0 9 0 27368997 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.26
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 746 304 0 0 26 0 0 0 15 0 9 0 27368999 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18039 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867964

[startup+51.103 s]
/proc/loadavg: 2.00 1.97 1.72 3/89 31734
/proc/meminfo: memFree=1661016/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=50.58
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26827 304 1 0 5045 13 0 0 18 0 9 0 27368994 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18054 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=50.18
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22187 304 1 0 5008 10 0 0 25 0 9 0 27368996 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4126736708 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 16 0 9 0 27368997 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.29
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 782 304 0 0 29 0 0 0 16 0 9 0 27368999 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26828 304 1 0 10751 13 0 0 18 0 9 0 27368994 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18054 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=107.24
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22188 304 1 0 10714 10 0 0 25 0 9 0 27368996 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4126740855 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 16 0 9 0 27368997 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.29
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 782 304 0 0 29 0 0 0 16 0 9 0 27368999 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 107.64
Current children cumulated vsize (KiB) 867964

[startup+115.102 s]
/proc/loadavg: 2.00 1.97 1.74 3/89 31734
/proc/meminfo: memFree=1660760/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=113.98
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26829 304 1 0 11385 13 0 0 18 0 9 0 27368994 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18055 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=113.58
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22188 304 1 0 11348 10 0 0 25 0 9 0 27368996 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4126734609 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.29
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 783 304 0 0 29 0 0 0 15 0 9 0 27368999 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18055 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 113.98
Current children cumulated vsize (KiB) 867964

[startup+118.302 s]
/proc/loadavg: 2.00 1.97 1.74 3/89 31734
/proc/meminfo: memFree=1660760/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=117.15
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26834 304 1 0 11702 13 0 0 18 0 9 0 27368994 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18056 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=116.74
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22191 304 1 0 11664 10 0 0 25 0 9 0 27368996 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4126468356 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.29
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 785 304 0 0 29 0 0 0 16 0 9 0 27368999 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18056 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 117.15
Current children cumulated vsize (KiB) 867964

[startup+119.907 s]
/proc/loadavg: 2.00 1.97 1.74 3/89 31734
/proc/meminfo: memFree=1660760/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=118.74
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26838 304 1 0 11861 13 0 0 18 0 9 0 27368994 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18059 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=118.32
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22191 304 1 0 11822 10 0 0 25 0 9 0 27368996 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4126734628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.3
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 789 304 0 0 30 0 0 0 15 0 9 0 27368999 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18059 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 118.74
Current children cumulated vsize (KiB) 867964

[startup+120.702 s]
/proc/loadavg: 2.00 1.97 1.74 3/89 31734
/proc/meminfo: memFree=1660760/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=119.53
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26840 304 1 0 11940 13 0 0 18 0 9 0 27368994 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18060 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=119.11
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22191 304 1 0 11901 10 0 0 25 0 9 0 27368996 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4125924772 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.31
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 791 304 0 0 31 0 0 0 15 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.53
Current children cumulated vsize (KiB) 867964

[startup+120.902 s]
/proc/loadavg: 2.00 1.97 1.74 3/89 31734
/proc/meminfo: memFree=1660760/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=119.73
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26840 304 1 0 11960 13 0 0 18 0 9 0 27368994 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18060 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=119.31
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22191 304 1 0 11921 10 0 0 25 0 9 0 27368996 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4126740848 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.31
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 791 304 0 0 31 0 0 0 15 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.73
Current children cumulated vsize (KiB) 867964

[startup+121.007 s]
/proc/loadavg: 2.00 1.97 1.74 3/89 31734
/proc/meminfo: memFree=1660760/2055920 swapFree=4192812/4192956
[pid=31721] ppid=31719 vsize=867964 CPUtime=119.83
/proc/31721/stat : 31721 (java) S 31719 31721 31459 0 -1 0 26840 304 1 0 11970 13 0 0 18 0 9 0 27368994 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31721/statm: 216991 18060 2662 9 0 211427 0
[pid=31721/tid=31723] ppid=31719 vsize=867964 CPUtime=119.41
/proc/31721/task/31723/stat : 31723 (java) R 31719 31721 31459 0 -1 64 22191 304 1 0 11931 10 0 0 25 0 9 0 27368996 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4126740953 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31724] ppid=31719 vsize=867964 CPUtime=0.06
/proc/31721/task/31724/stat : 31724 (java) S 31719 31721 31459 0 -1 64 2996 304 0 0 6 0 0 0 17 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31725] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31725/stat : 31725 (java) S 31719 31721 31459 0 -1 64 17 304 0 0 0 0 0 0 16 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31726] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31726/stat : 31726 (java) S 31719 31721 31459 0 -1 64 9 304 0 0 0 0 0 0 15 0 9 0 27368997 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31727] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31727/stat : 31727 (java) S 31719 31721 31459 0 -1 64 2 304 0 0 0 0 0 0 18 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31728] ppid=31719 vsize=867964 CPUtime=0.31
/proc/31721/task/31728/stat : 31728 (java) S 31719 31721 31459 0 -1 64 791 304 0 0 31 0 0 0 15 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31729] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31729/stat : 31729 (java) S 31719 31721 31459 0 -1 64 1 304 0 0 0 0 0 0 19 0 9 0 27368999 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31721/tid=31730] ppid=31719 vsize=867964 CPUtime=0
/proc/31721/task/31730/stat : 31730 (java) S 31719 31721 31459 0 -1 64 23 304 0 0 0 0 0 0 15 0 9 0 27369000 888795136 18060 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.83
Current children cumulated vsize (KiB) 867964

Child status: 0
Real time (s): 121.062
CPU time (s): 119.903
CPU user time (s): 119.745
CPU system time (s): 0.157975
CPU usage (%): 99.0427
Max. virtual memory (cumulated for all children) (KiB): 867964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.745
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27255
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= 3718
involuntary context switches= 6348

runsolver used 0.169974 second user time and 0.39394 second system time

The end

Launcher Data 

Begin job on node7 at 2009-07-12 14:50:16
IDJOB=2094222
IDBENCH=54053
IDSOLVER=774
FILE ID=node7/2094222-1247403016
PBS_JOBID= 9510630
Free space on /tmp= 66132 MiB

SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/radar-9-28-4-2/normalized-radar-9-28-4-2-11.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-2094222-1247403016/watcher-2094222-1247403016 -o /tmp/evaluation-result-2094222-1247403016/solver-2094222-1247403016 -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-2094222-1247403016.xml

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

MD5SUM BENCH= 871ea481d5d83bc5de69fc7155928cbb
RANDOM SEED=1712814653

node7.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.231
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.231
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:       1723904 kB
Buffers:         32780 kB
Cached:         138852 kB
SwapCached:          0 kB
Active:         194592 kB
Inactive:        79956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2140 kB
Writeback:           0 kB
Mapped:         123308 kB
Slab:            42456 kB
Committed_AS:  1001216 kB
PageTables:       2024 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= 66132 MiB
End job on node7 at 2009-07-12 14:52:17