Trace number 1113920

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-dMSAT (TO)10 3600.33 3621.46

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.02/0.09	
0.02/0.09	Abscon 112 (May, 2008)
0.19/0.25	
0.19/0.25	   configuration
0.19/0.25	     name=mrdac-ddeg.xml
0.19/0.29	   
0.19/0.29	   instance
0.19/0.29	     name=HOME/instance-1113920-1215893385.xml
0.27/0.33	   
0.27/0.33	   domains being loaded...
0.27/0.33	   
0.27/0.34	   variables being loaded...
0.27/0.36	     nbVariables=23  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3  nbTotalValues=69
0.27/0.36	       =>  wckTime=0.107  cpuTime=0.09  mem=7M858
0.27/0.36	   
0.27/0.36	   relations being loaded...
2.25/2.33	   
2.25/2.33	   INFO : Contraction of relations, mem = 106M838
14.37/14.58	   
14.37/14.58	   constraints being loaded...
19.64/19.82	     nbConstraints=16  nbRelationTypes=16  nbExtensionStructures=16  nbSharedExtensionStructures=0
19.64/19.82	     nbConflictsStructures=16  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  minDegree=7  maxDegree=14
19.64/19.82	     minArity=15  maxArity=15
19.64/19.82	       =>  wckTime=19.57  cpuTime=14.71  mem=642M460
23.12/23.39	   
23.22/23.40	   solver LocalSearchSolver being built... 
23.22/23.43	       =>  wckTime=23.171  cpuTime=14.78  mem=511M159
23.22/23.43	
23.22/23.43	s SATISFIABLE
23.22/23.43	o 15
23.22/23.44	o 14
23.22/23.45	o 13
23.22/23.46	o 12
23.42/23.60	o 11
24.11/24.32	o 10
32.47/32.79	   
32.47/32.79	   search
32.47/32.79	     run=0  nbConstraintChecks=4305095  nbAssignments=10000
32.47/32.79	       =>  wckTime=9.369  cpuTime=9.28  mem=511M159
41.80/42.11	   
41.80/42.11	   search
41.80/42.11	     run=1  nbConstraintChecks=8606349  nbAssignments=20000
41.80/42.11	       =>  wckTime=18.686  cpuTime=18.54  mem=511M159
50.95/51.35	   
50.95/51.35	   search
50.95/51.35	     run=2  nbConstraintChecks=12897219  nbAssignments=30000
50.95/51.35	       =>  wckTime=27.929  cpuTime=27.72  mem=511M159
54.12/54.54	   
54.12/54.54	   search
54.12/54.54	     run=3  nbConstraintChecks=14368684  nbAssignments=33418
54.12/54.54	       =>  wckTime=31.116  cpuTime=30.89  mem=511M159
54.12/54.54	   
54.12/54.54	   global
54.12/54.54	     nbConstraintChecks=14368684  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
54.12/54.54	     solvingWckTime=31.114  solvingCpuTime=30.89  expiredTime=no  totalExploration=no  nbFoundSolutions=0
54.12/54.54	     globalCpuTime=45.72
54.12/54.54	       =>  wckTime=54.286  cpuTime=45.67  mem=511M159
54.12/54.54	   
54.12/54.54	   solver DecomposerSolver being built... 
54.22/54.65	       =>  wckTime=54.396  cpuTime=45.75  mem=522M596
54.22/54.65	   
54.22/54.65	   preprocessing
54.22/54.65	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
54.22/54.65	     detectedInconsistency=no
54.22/54.65	       =>  wckTime=0.0030  cpuTime=0.01  mem=522M596
3600.07/3621.22	v 1 1 0 0 1 0 0 2 0 2 1 0 0 2 2 2 0 0 2 1 2 1 2

Verifier Data (download as text)

OK	10	6
10 unsatisfied constraints, 6 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113920-1215893385/watcher-1113920-1215893385 -o /tmp/evaluation-result-1113920-1215893385/solver-1113920-1215893385 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1113920-1215893385.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 4/106 14443
/proc/meminfo: memFree=1815216/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=18572 CPUtime=0
/proc/14443/stat : 14443 (runsolver) R 14441 14443 13206 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 46036668 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 214945033511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14443/statm: 4643 292 257 25 0 2626 0

[startup+0.0357619 s]
/proc/loadavg: 2.08 2.02 2.01 4/106 14443
/proc/meminfo: memFree=1815216/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=861876 CPUtime=0.02
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 1920 0 1 0 1 1 0 0 20 0 5 0 46036668 882561024 1603 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 215469 1603 720 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876

[startup+0.102767 s]
/proc/loadavg: 2.08 2.02 2.01 4/106 14443
/proc/meminfo: memFree=1815216/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=865988 CPUtime=0.09
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 3692 0 1 0 7 2 0 0 20 0 9 0 46036668 886771712 3167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216497 3167 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865988

[startup+0.301791 s]
/proc/loadavg: 2.08 2.02 2.01 4/106 14443
/proc/meminfo: memFree=1815216/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866360 CPUtime=0.27
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 5823 0 1 0 23 4 0 0 20 0 9 0 46036668 887152640 5198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216590 5198 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866360

[startup+0.702843 s]
/proc/loadavg: 2.08 2.02 2.01 4/106 14443
/proc/meminfo: memFree=1815216/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866604 CPUtime=0.67
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 18588 0 1 0 57 10 0 0 20 0 9 0 46036668 887402496 17957 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216651 17957 1983 9 0 211179 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866604

[startup+1.50293 s]
/proc/loadavg: 2.08 2.02 2.01 3/115 14452
/proc/meminfo: memFree=1722152/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866604 CPUtime=1.47
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 32251 0 1 0 131 16 0 0 20 0 9 0 46036668 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216651 31618 1983 9 0 211179 0
[pid=14443/tid=14445] ppid=14441 vsize=866604 CPUtime=1.25
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15678 0 1 0 116 9 0 0 25 0 9 0 46036670 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4126566009 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866604 CPUtime=0.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 15564 0 0 0 8 5 0 0 16 0 9 0 46036672 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866604 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866604 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866604 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866604 CPUtime=0.06
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 312 0 0 0 6 0 0 0 16 0 9 0 46036674 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866604 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866604 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887402496 31618 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866604

[startup+3.10111 s]
/proc/loadavg: 2.15 2.03 2.01 3/115 14452
/proc/meminfo: memFree=1677544/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=870632 CPUtime=3.05
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 43744 0 1 0 284 21 0 0 20 0 9 0 46036668 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 217658 42095 2045 9 0 212186 0
[pid=14443/tid=14445] ppid=14441 vsize=870632 CPUtime=2.31
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15690 0 1 0 221 10 0 0 25 0 9 0 46036670 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14446] ppid=14441 vsize=870632 CPUtime=0.64
/proc/14443/task/14446/stat : 14446 (java) R 14441 14443 13206 0 -1 64 27040 0 0 0 54 10 0 0 18 0 9 0 46036672 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 103735824 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=870632 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=870632 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=870632 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=870632 CPUtime=0.07
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 317 0 0 0 7 0 0 0 16 0 9 0 46036674 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14451] ppid=14441 vsize=870632 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=870632 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 891527168 42095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 870632

[startup+6.30248 s]
/proc/loadavg: 2.15 2.03 2.01 3/115 14452
/proc/meminfo: memFree=1584104/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866948 CPUtime=6.23
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 71809 0 1 0 589 34 0 0 20 0 9 0 46036668 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216737 69020 2608 9 0 211265 0
[pid=14443/tid=14445] ppid=14441 vsize=866948 CPUtime=4.39
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15701 0 1 0 428 11 0 0 25 0 9 0 46036670 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4126398636 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866948 CPUtime=1.71
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 55019 0 0 0 150 21 0 0 17 0 9 0 46036672 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866948 CPUtime=0.09
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 392 0 0 0 9 0 0 0 16 0 9 0 46036674 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887754752 69020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 866948

[startup+12.7012 s]
/proc/loadavg: 2.21 2.05 2.01 3/115 14452
/proc/meminfo: memFree=1378984/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866948 CPUtime=12.58
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 119725 0 1 0 1201 57 0 0 20 0 9 0 46036668 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216737 116924 2608 9 0 211265 0
[pid=14443/tid=14445] ppid=14441 vsize=866948 CPUtime=9.13
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15713 0 1 0 898 15 0 0 25 0 9 0 46036670 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4126398673 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866948 CPUtime=3.34
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 102922 0 0 0 293 41 0 0 17 0 9 0 46036672 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866948 CPUtime=0.09
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 393 0 0 0 9 0 0 0 17 0 9 0 46036674 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866948 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887754752 116924 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 866948

[startup+25.5027 s]
/proc/loadavg: 2.18 2.05 2.01 3/115 14452
/proc/meminfo: memFree=1136616/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=25.3
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185685 0 1 0 2435 95 0 0 20 0 9 0 46036668 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172286 2637 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=17
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15821 0 1 0 1676 24 0 0 25 0 9 0 46036670 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4126733118 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.14
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 428 0 0 0 14 0 0 0 16 0 9 0 46036674 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172286 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 866716

[startup+51.1026 s]
/proc/loadavg: 2.12 2.04 2.01 3/115 14452
/proc/meminfo: memFree=1136680/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=50.74
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185690 0 1 0 4867 207 0 0 20 0 9 0 46036668 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172291 2638 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=42.44
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15821 0 1 0 4107 137 0 0 25 0 9 0 46036670 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4126734147 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.15
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 433 0 0 0 15 0 0 0 16 0 9 0 46036674 887517184 172291 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0

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

Current children cumulated CPU time (s) 3263.11
Current children cumulated vsize (KiB) 866716

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638568/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=3322.76
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185808 0 1 0 332044 232 0 0 20 0 9 0 46036668 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172395 2639 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=3314.37
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15882 0 1 0 331276 161 0 0 25 0 9 0 46036670 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4126677262 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.23
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 490 0 0 0 23 0 0 0 17 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3322.76
Current children cumulated vsize (KiB) 866716

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638568/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=3382.42
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185808 0 1 0 338010 232 0 0 20 0 9 0 46036668 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172395 2639 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=3374.03
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15882 0 1 0 337242 161 0 0 25 0 9 0 46036670 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4126733112 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.23
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 490 0 0 0 23 0 0 0 17 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3382.42
Current children cumulated vsize (KiB) 866716

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638504/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=3442.07
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185808 0 1 0 343975 232 0 0 20 0 9 0 46036668 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172395 2639 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=3433.68
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15882 0 1 0 343207 161 0 0 25 0 9 0 46036670 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4126733163 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.23
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 490 0 0 0 23 0 0 0 17 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3442.07
Current children cumulated vsize (KiB) 866716

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638440/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=3501.72
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185808 0 1 0 349940 232 0 0 20 0 9 0 46036668 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172395 2639 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=3493.33
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15882 0 1 0 349172 161 0 0 25 0 9 0 46036670 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4126677199 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.23
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 490 0 0 0 23 0 0 0 17 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3501.72
Current children cumulated vsize (KiB) 866716

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638376/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=3561.38
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185808 0 1 0 355906 232 0 0 20 0 9 0 46036668 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172395 2639 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=3552.99
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15882 0 1 0 355138 161 0 0 25 0 9 0 46036670 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4126847179 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.23
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 490 0 0 0 23 0 0 0 17 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3561.38
Current children cumulated vsize (KiB) 866716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3621.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638376/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=866716 CPUtime=3600.07
/proc/14443/stat : 14443 (java) S 14441 14443 13206 0 -1 0 185808 0 1 0 359775 232 0 0 20 0 9 0 46036668 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14443/statm: 216679 172395 2639 9 0 211185 0
[pid=14443/tid=14445] ppid=14441 vsize=866716 CPUtime=3591.68
/proc/14443/task/14445/stat : 14445 (java) R 14441 14443 13206 0 -1 64 15882 0 1 0 359007 161 0 0 25 0 9 0 46036670 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4126682403 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14446] ppid=14441 vsize=866716 CPUtime=8.13
/proc/14443/task/14446/stat : 14446 (java) S 14441 14443 13206 0 -1 64 168739 0 0 0 744 69 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14447] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14447/stat : 14447 (java) S 14441 14443 13206 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14448] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14448/stat : 14448 (java) S 14441 14443 13206 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46036672 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14449] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14449/stat : 14449 (java) S 14441 14443 13206 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14450] ppid=14441 vsize=866716 CPUtime=0.23
/proc/14443/task/14450/stat : 14450 (java) S 14441 14443 13206 0 -1 64 490 0 0 0 23 0 0 0 17 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14443/tid=14451] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14451/stat : 14451 (java) S 14441 14443 13206 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14443/tid=14452] ppid=14441 vsize=866716 CPUtime=0
/proc/14443/task/14452/stat : 14452 (java) S 14441 14443 13206 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46036674 887517184 172395 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 866716

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

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

[startup+3621.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 14496
/proc/meminfo: memFree=638376/2055920 swapFree=4192812/4192956
[pid=14443] ppid=14441 vsize=0 CPUtime=3600.26
/proc/14443/stat : 14443 (java) Z 14441 14443 13206 0 -1 1036 185828 0 1 0 359790 236 0 0 15 0 2 0 46036668 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14443/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3600.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 3621.46
CPU time (s): 3600.33
CPU user time (s): 3597.9
CPU system time (s): 2.42663
CPU usage (%): 99.4164
Max. virtual memory (cumulated for all children) (KiB): 887816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.9
system time used= 2.42663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185828
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= 74682
involuntary context switches= 116967

runsolver used 4.98624 second user time and 14.7988 second system time

The end

Launcher Data (download as text)

Begin job on node85 at 2008-07-12 22:09:52
IDJOB=1113920
IDBENCH=61663
IDSOLVER=360
FILE ID=node85/1113920-1215893385
PBS_JOBID= 7903575
Free space on /tmp= 126784 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-9.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1113920-1215893385/watcher-1113920-1215893385 -o /tmp/evaluation-result-1113920-1215893385/solver-1113920-1215893385 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1113920-1215893385.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 12b3271557cf33c0f0eb575756b1928b
RANDOM SEED=2050722735

node85.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.225
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.225
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1815568 kB
Buffers:         13588 kB
Cached:         123908 kB
SwapCached:          0 kB
Active:         164440 kB
Inactive:        24952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815568 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           72364 kB
Writeback:           0 kB
Mapped:          73320 kB
Slab:            33172 kB
Committed_AS:   387388 kB
PageTables:       3996 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= 126632 MiB
End job on node85 at 2008-07-12 23:10:17