Trace number 1112050

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)1 3600.07 3603.56

General information on the benchmark

Namecsp/rand-3-20-20/
normalized-rand-3-20-20-60-632-3_ext.xml
MD5SUM40017794d5449d97408a6786f1b506f6
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark603.887
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
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.01/0.09	
0.01/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.28/0.30	   
0.28/0.30	   instance
0.28/0.30	     name=HOME/instance-1112050-1215861197.xml
0.28/0.34	   
0.28/0.34	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.28/0.38	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20  nbTotalValues=400
0.28/0.38	       =>  wckTime=0.137  cpuTime=0.12  mem=7M858
0.28/0.38	   
0.28/0.38	   relations being loaded...
0.68/0.73	   
0.68/0.73	   constraints being loaded...
0.78/0.82	     nbConstraints=59  nbRelationTypes=59  nbExtensionStructures=59  nbSharedExtensionStructures=0
0.78/0.82	     nbConflictsStructures=59  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  minDegree=5  maxDegree=16
0.78/0.82	     minArity=3  maxArity=3
0.78/0.82	       =>  wckTime=0.572  cpuTime=0.49  mem=30M641
0.88/0.90	   
0.88/0.90	   solver LocalSearchSolver being built... 
0.88/0.94	       =>  wckTime=0.701  cpuTime=0.54  mem=11M261
0.88/0.95	
0.88/0.95	s SATISFIABLE
0.88/0.95	o 27
0.88/0.95	o 23
0.88/0.96	o 21
0.88/0.96	o 19
0.88/0.96	o 18
0.88/0.96	o 17
0.88/0.96	o 16
0.88/0.97	o 15
0.88/0.97	o 13
0.88/0.97	o 12
0.88/0.97	o 11
0.88/0.97	o 10
0.88/0.97	o 9
0.88/0.97	o 8
0.88/0.97	o 7
0.88/0.98	o 6
0.88/0.98	o 5
0.88/0.99	o 4
1.37/1.46	o 3
2.46/2.53	   
2.46/2.53	   search
2.46/2.53	     run=0  nbConstraintChecks=10020758  nbAssignments=10000
2.46/2.53	       =>  wckTime=1.583  cpuTime=1.55  mem=12M295
2.55/2.64	o 2
3.95/4.02	   
3.95/4.02	   search
3.95/4.02	     run=1  nbConstraintChecks=19734064  nbAssignments=20000
3.95/4.02	       =>  wckTime=3.078  cpuTime=3.02  mem=12M295
5.43/5.55	   
5.43/5.55	   search
5.43/5.55	     run=2  nbConstraintChecks=29980606  nbAssignments=30000
5.43/5.55	       =>  wckTime=4.602  cpuTime=4.52  mem=12M295
6.92/7.05	   
6.92/7.05	   search
6.92/7.05	     run=3  nbConstraintChecks=40244485  nbAssignments=40000
6.92/7.05	       =>  wckTime=6.106  cpuTime=6.02  mem=12M295
7.31/7.40	o 1
8.40/8.53	   
8.40/8.53	   search
8.40/8.53	     run=4  nbConstraintChecks=50241225  nbAssignments=50000
8.40/8.53	       =>  wckTime=7.591  cpuTime=7.5  mem=12M295
9.89/10.05	   
9.89/10.05	   search
9.89/10.06	     run=5  nbConstraintChecks=60532248  nbAssignments=60000
9.89/10.06	       =>  wckTime=9.112  cpuTime=9.0  mem=12M295
11.38/11.57	   
11.38/11.57	   search
11.38/11.57	     run=6  nbConstraintChecks=70834175  nbAssignments=70000
11.38/11.57	       =>  wckTime=10.623  cpuTime=10.49  mem=12M295
12.86/13.04	   
12.86/13.04	   search
12.86/13.04	     run=7  nbConstraintChecks=80722882  nbAssignments=80000
12.86/13.04	       =>  wckTime=12.101  cpuTime=11.97  mem=12M295
14.34/14.54	   
14.34/14.54	   search
14.34/14.54	     run=8  nbConstraintChecks=90703311  nbAssignments=90000
14.34/14.54	       =>  wckTime=13.594  cpuTime=13.44  mem=12M295
15.74/15.97	   
15.74/15.97	   search
15.74/15.97	     run=9  nbConstraintChecks=100022128  nbAssignments=100000
15.74/15.97	       =>  wckTime=15.028  cpuTime=14.86  mem=12M295
17.22/17.47	   
17.22/17.47	   search
17.22/17.47	     run=10  nbConstraintChecks=109960395  nbAssignments=110000
17.22/17.47	       =>  wckTime=16.527  cpuTime=16.34  mem=12M295
18.70/18.96	   
18.70/18.96	   search
18.70/18.96	     run=11  nbConstraintChecks=119840135  nbAssignments=120000
18.70/18.96	       =>  wckTime=18.019  cpuTime=17.82  mem=12M295
20.19/20.47	   
20.19/20.47	   search
20.19/20.47	     run=12  nbConstraintChecks=129983012  nbAssignments=130000
20.19/20.47	       =>  wckTime=19.529  cpuTime=19.31  mem=12M295
21.68/22.00	   
21.68/22.00	   search
21.68/22.00	     run=13  nbConstraintChecks=140211396  nbAssignments=140000
21.68/22.00	       =>  wckTime=21.057  cpuTime=20.82  mem=12M295
23.26/23.53	   
23.26/23.53	   search
23.26/23.53	     run=14  nbConstraintChecks=150553419  nbAssignments=150000
23.26/23.53	       =>  wckTime=22.586  cpuTime=22.34  mem=12M295
24.64/24.97	   
24.64/24.97	   search
24.64/24.97	     run=15  nbConstraintChecks=159906962  nbAssignments=160000
24.64/24.97	       =>  wckTime=24.027  cpuTime=23.77  mem=12M295
26.13/26.48	   
26.13/26.48	   search
26.13/26.48	     run=16  nbConstraintChecks=170064521  nbAssignments=170000
26.13/26.48	       =>  wckTime=25.538  cpuTime=25.26  mem=12M295
27.62/27.96	   
27.62/27.96	   search
27.62/27.96	     run=17  nbConstraintChecks=179945707  nbAssignments=180000
27.62/27.96	       =>  wckTime=27.014  cpuTime=26.73  mem=12M295
29.10/29.45	   
29.10/29.45	   search
29.10/29.45	     run=18  nbConstraintChecks=189994543  nbAssignments=190000
29.10/29.45	       =>  wckTime=28.504  cpuTime=28.21  mem=12M295
30.59/30.95	   
30.59/30.95	   search
30.59/30.95	     run=19  nbConstraintChecks=200065326  nbAssignments=200000
30.59/30.95	       =>  wckTime=30.008  cpuTime=29.69  mem=12M295
32.07/32.43	   
32.07/32.43	   search
32.07/32.43	     run=20  nbConstraintChecks=209932082  nbAssignments=210000
32.07/32.43	       =>  wckTime=31.485  cpuTime=31.15  mem=12M295
33.57/33.90	   
33.57/33.90	   search
33.57/33.90	     run=21  nbConstraintChecks=219761834  nbAssignments=220000
33.57/33.90	       =>  wckTime=32.959  cpuTime=32.62  mem=12M295
35.04/35.41	   
35.04/35.41	   search
35.04/35.41	     run=22  nbConstraintChecks=229818487  nbAssignments=230000
35.04/35.41	       =>  wckTime=34.464  cpuTime=34.1  mem=12M295
36.53/36.91	   
36.53/36.91	   search
36.53/36.91	     run=23  nbConstraintChecks=239867064  nbAssignments=240000
36.53/36.91	       =>  wckTime=35.967  cpuTime=35.59  mem=12M295
37.32/37.71	   
37.32/37.71	   search
37.32/37.71	     run=24  nbConstraintChecks=245203130  nbAssignments=245248
37.32/37.71	       =>  wckTime=36.766  cpuTime=36.39  mem=12M295
37.32/37.71	   
37.32/37.71	   global
37.32/37.71	     nbConstraintChecks=245203130  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.32/37.71	     solvingWckTime=36.764  solvingCpuTime=36.38  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.32/37.71	     globalCpuTime=36.97
37.32/37.71	       =>  wckTime=37.467  cpuTime=36.92  mem=12M295
37.32/37.71	   
37.32/37.71	   solver DecomposerSolver being built... 
37.41/37.82	       =>  wckTime=37.578  cpuTime=37.01  mem=23M180
37.41/37.83	   
37.41/37.83	   preprocessing
37.41/37.83	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
37.41/37.83	     detectedInconsistency=no
37.41/37.83	       =>  wckTime=0.0040  cpuTime=0.0  mem=23M180
3600.01/3603.52	v 18 15 9 16 6 8 7 15 19 10 16 11 4 10 6 17 1 8 16 17

Verifier Data (download as text)

OK	1	58
1 unsatisfied constraints, 58 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-1112050-1215861197/watcher-1112050-1215861197 -o /tmp/evaluation-result-1112050-1215861197/solver-1112050-1215861197 -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-1112050-1215861197.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.01 2.05 2.01 4/80 18101
/proc/meminfo: memFree=1885552/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=18572 CPUtime=0
/proc/18101/stat : 18101 (runsolver) R 18099 18101 17440 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 42822073 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18101/statm: 4643 292 257 25 0 2626 0

[startup+0.0309399 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 18101
/proc/meminfo: memFree=1885552/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=861228 CPUtime=0.01
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 1710 0 1 0 0 1 0 0 18 0 3 0 42822073 881897472 1407 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 215307 1407 563 9 0 210286 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861228

[startup+0.101783 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 18101
/proc/meminfo: memFree=1885552/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=865984 CPUtime=0.08
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 3695 0 1 0 6 2 0 0 18 0 9 0 42822073 886767616 3170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216496 3170 1678 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301807 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 18101
/proc/meminfo: memFree=1885552/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866236 CPUtime=0.28
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 5700 0 1 0 25 3 0 0 18 0 9 0 42822073 887025664 5082 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216559 5082 1946 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866236

[startup+0.701844 s]
/proc/loadavg: 2.01 2.05 2.01 4/80 18101
/proc/meminfo: memFree=1885552/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866536 CPUtime=0.68
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 10599 0 1 0 62 6 0 0 18 0 9 0 42822073 887332864 9970 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216634 9970 1968 9 0 211162 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866536

[startup+1.50192 s]
/proc/loadavg: 2.09 2.07 2.01 3/89 18110
/proc/meminfo: memFree=1839656/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=1.47
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14843 0 1 0 127 20 0 0 18 0 9 0 42822073 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14010 2632 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=1.27
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11263 0 1 0 108 19 0 0 25 0 9 0 42822074 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.11
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 348 0 0 0 11 0 0 0 16 0 9 0 42822078 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14010 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866624

[startup+3.10107 s]
/proc/loadavg: 2.09 2.07 2.01 3/89 18110
/proc/meminfo: memFree=1839464/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3.06
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14848 0 1 0 245 61 0 0 18 0 9 0 42822073 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14014 2633 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=2.86
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11264 0 1 0 226 60 0 0 25 0 9 0 42822074 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4126670637 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.12
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 352 0 0 0 12 0 0 0 16 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866624

[startup+6.30238 s]
/proc/loadavg: 2.09 2.07 2.01 3/89 18110
/proc/meminfo: memFree=1839208/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=6.23
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14849 0 1 0 479 144 0 0 18 0 9 0 42822073 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14014 2633 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=6.02
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11265 0 1 0 460 142 0 0 25 0 9 0 42822074 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.12
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 352 0 0 0 12 0 0 0 16 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 866624

[startup+12.703 s]
/proc/loadavg: 2.07 2.06 2.01 3/89 18110
/proc/meminfo: memFree=1839208/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=12.56
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14850 0 1 0 939 317 0 0 18 0 9 0 42822073 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14014 2633 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=12.35
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11266 0 1 0 920 315 0 0 25 0 9 0 42822074 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4126667683 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.12
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 352 0 0 0 12 0 0 0 16 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) R 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 866624

[startup+25.5012 s]
/proc/loadavg: 2.06 2.06 2.01 3/89 18110
/proc/meminfo: memFree=1839272/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=25.24
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14850 0 1 0 1869 655 0 0 18 0 9 0 42822073 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14014 2633 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=25.03
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11266 0 1 0 1850 653 0 0 25 0 9 0 42822074 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4126669611 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.12
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 352 0 0 0 12 0 0 0 16 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14014 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 866624

[startup+51.1017 s]
/proc/loadavg: 2.04 2.05 2.01 3/89 18110
/proc/meminfo: memFree=1838824/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=50.59
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14955 0 1 0 4084 975 0 0 18 0 9 0 42822073 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14116 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=50.31
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11326 0 1 0 4058 973 0 0 25 0 9 0 42822074 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4126787044 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14116 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0

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

/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3338.9
Current children cumulated vsize (KiB) 866624

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 18159
/proc/meminfo: memFree=1848352/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3398.87
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14956 0 1 0 338908 979 0 0 18 0 9 0 42822073 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14117 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=3398.6
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11327 0 1 0 338882 978 0 0 25 0 9 0 42822074 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4126095819 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3398.87
Current children cumulated vsize (KiB) 866624

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 18159
/proc/meminfo: memFree=1848160/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3458.85
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14956 0 1 0 344906 979 0 0 18 0 9 0 42822073 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14117 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=3458.57
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11327 0 1 0 344879 978 0 0 25 0 9 0 42822074 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4126869400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3458.85
Current children cumulated vsize (KiB) 866624

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 18159
/proc/meminfo: memFree=1848160/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3518.83
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14956 0 1 0 350904 979 0 0 18 0 9 0 42822073 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14117 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=3518.55
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11327 0 1 0 350877 978 0 0 25 0 9 0 42822074 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4126800573 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3518.83
Current children cumulated vsize (KiB) 866624

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 18159
/proc/meminfo: memFree=1848096/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3578.81
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14956 0 1 0 356901 980 0 0 18 0 9 0 42822073 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14117 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=3578.52
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11327 0 1 0 356874 978 0 0 25 0 9 0 42822074 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4126669539 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3578.81
Current children cumulated vsize (KiB) 866624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 18159
/proc/meminfo: memFree=1848096/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3600.01
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14956 0 1 0 359021 980 0 0 18 0 9 0 42822073 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14117 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=3599.73
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11327 0 1 0 358995 978 0 0 25 0 9 0 42822074 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4126779750 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 866624

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

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

[startup+3603.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 18159
/proc/meminfo: memFree=1848096/2055920 swapFree=4181216/4192956
[pid=18101] ppid=18099 vsize=866624 CPUtime=3600.01
/proc/18101/stat : 18101 (java) S 18099 18101 17440 0 -1 0 14956 0 1 0 359021 980 0 0 18 0 9 0 42822073 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18101/statm: 216656 14117 2634 9 0 211162 0
[pid=18101/tid=18103] ppid=18099 vsize=866624 CPUtime=3599.73
/proc/18101/task/18103/stat : 18103 (java) R 18099 18101 17440 0 -1 64 11327 0 1 0 358995 978 0 0 25 0 9 0 42822074 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4126779750 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18104] ppid=18099 vsize=866624 CPUtime=0.06
/proc/18101/task/18104/stat : 18104 (java) S 18099 18101 17440 0 -1 64 2536 0 0 0 6 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18105] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18105/stat : 18105 (java) S 18099 18101 17440 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18106] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18106/stat : 18106 (java) S 18099 18101 17440 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42822076 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18107] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18107/stat : 18107 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18108] ppid=18099 vsize=866624 CPUtime=0.2
/proc/18101/task/18108/stat : 18108 (java) S 18099 18101 17440 0 -1 64 397 0 0 0 20 0 0 0 16 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18101/tid=18109] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18109/stat : 18109 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18101/tid=18110] ppid=18099 vsize=866624 CPUtime=0
/proc/18101/task/18110/stat : 18110 (java) S 18099 18101 17440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42822078 887422976 14117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 866624

Child status: 143
Real time (s): 3603.56
CPU time (s): 3600.07
CPU user time (s): 3590.26
CPU system time (s): 9.80951
CPU usage (%): 99.9031
Max. virtual memory (cumulated for all children) (KiB): 866628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.26
system time used= 9.80951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14974
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= 73728
involuntary context switches= 75633

runsolver used 4.14337 second user time and 12.2601 second system time

The end

Launcher Data (download as text)

Begin job on node18 at 2008-07-12 13:13:18
IDJOB=1112050
IDBENCH=61356
IDSOLVER=360
FILE ID=node18/1112050-1215861197
PBS_JOBID= 7903439
Free space on /tmp= 66552 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-3_ext.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-1112050-1215861197/watcher-1112050-1215861197 -o /tmp/evaluation-result-1112050-1215861197/solver-1112050-1215861197 -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-1112050-1215861197.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 40017794d5449d97408a6786f1b506f6
RANDOM SEED=450961662

node18.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.218
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	: 5931.00
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.218
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:       1886032 kB
Buffers:         22504 kB
Cached:          63100 kB
SwapCached:       5856 kB
Active:          88340 kB
Inactive:        36984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1886032 kB
SwapTotal:     4192956 kB
SwapFree:      4181216 kB
Dirty:            3212 kB
Writeback:           0 kB
Mapped:          54564 kB
Slab:            29784 kB
Committed_AS:   992456 kB
PageTables:       1864 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= 66552 MiB
End job on node18 at 2008-07-12 14:13:23