Trace number 248441

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.15 1802.43

General information on the benchmark

Nameprimes/primes-30/
primes-30-80-3-5.xml
MD5SUM315146e1df857a25a24a9b5493a0db9a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Maximum constraint arity8
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension80
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/248441-1168085977/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=100  nbDomainTypes=1  minDomainSize=112  maxDomainSize=112
0.40	       =>  wckTime=0.103  cpuTime=0.09  mem=7M927
0.40	   
0.40	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
0.58	     nbConstraints=80  nbUnbuiltConflictsStructures=80  nbSharedBinaryRepresentations=0  nbEvaluationManagers=80
0.58	     nbSharedEvaluationManagers=0  maxDegree=10  maxArity=8
0.58	       =>  wckTime=0.285  cpuTime=0.21  mem=11M861
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.488  cpuTime=0.35  mem=17M699
3.46	   
3.46	   preprocessing
3.46	     nbConstraintChecks=6821303  nbValidityChecks=987  nbPropagations=108  nbRevisions=24  nbUselessRevisions=2
3.46	     nbRemovedValues=821  detectedInconsistency=no
3.46	       =>  wckTime=2.666  cpuTime=2.65  mem=17M699
4.69	   
4.69	   search
4.69	     run=0  nbConstraintChecks=2442258  nbValidityChecks=23536  nbPropagations=430  nbRevisions=448
4.69	     nbUselessRevisions=64  nbAssignments=102  nbFailedAssignments=82  nbBacktracks=10  nbVisitedNodes=185
4.69	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
4.69	       =>  wckTime=3.899  cpuTime=3.86  mem=17M699
6.69	   
6.69	   search
6.69	     run=1  nbConstraintChecks=5338025  nbValidityChecks=35316  nbPropagations=1412  nbRevisions=1231
6.69	     nbUselessRevisions=155  nbAssignments=350  nbFailedAssignments=297  nbBacktracks=25  nbVisitedNodes=648
6.69	     nbRestartNogoods=8  mapSize=22  nbInferences=0  nbTooLargeKeys=0
6.69	       =>  wckTime=5.905  cpuTime=5.86  mem=17M699
8.74	   
8.74	   search
8.74	     run=2  nbConstraintChecks=8342708  nbValidityChecks=47257  nbPropagations=2922  nbRevisions=2351
8.74	     nbUselessRevisions=300  nbAssignments=595  nbFailedAssignments=502  nbBacktracks=47  nbVisitedNodes=1098
8.74	     nbRestartNogoods=106  mapSize=40  nbInferences=0  nbTooLargeKeys=0
8.74	       =>  wckTime=7.95  cpuTime=7.89  mem=17M699
8.99	   
8.99	   search
8.99	     run=3  nbConstraintChecks=8680705  nbValidityChecks=49969  nbPropagations=4562  nbRevisions=3579
8.99	     nbUselessRevisions=485  nbAssignments=653  nbFailedAssignments=509  nbBacktracks=82  nbVisitedNodes=1163
8.99	     nbRestartNogoods=299  mapSize=54  nbInferences=0  nbTooLargeKeys=0
8.99	       =>  wckTime=8.196  cpuTime=8.13  mem=17M699
9.28	   
9.28	   search
9.28	     run=4  nbConstraintChecks=9118821  nbValidityChecks=53196  nbPropagations=6371  nbRevisions=4948
9.28	     nbUselessRevisions=722  nbAssignments=729  nbFailedAssignments=519  nbBacktracks=132  nbVisitedNodes=1249
9.28	     nbRestartNogoods=306  mapSize=74  nbInferences=0  nbTooLargeKeys=0
9.28	       =>  wckTime=8.495  cpuTime=8.43  mem=17M699
10.17	   
10.17	   search
10.17	     run=5  nbConstraintChecks=10454847  nbValidityChecks=68865  nbPropagations=8553  nbRevisions=6637
10.17	     nbUselessRevisions=1063  nbAssignments=882  nbFailedAssignments=578  nbBacktracks=208  nbVisitedNodes=1461
10.17	     nbRestartNogoods=316  mapSize=121  nbInferences=0  nbTooLargeKeys=0
10.17	       =>  wckTime=9.383  cpuTime=9.31  mem=18M674
11.68	   
11.68	   search
11.68	     run=6  nbConstraintChecks=12616481  nbValidityChecks=80048  nbPropagations=11278  nbRevisions=8713
11.68	     nbUselessRevisions=1508  nbAssignments=1139  nbFailedAssignments=704  nbBacktracks=323  nbVisitedNodes=1844
11.68	     nbRestartNogoods=373  mapSize=167  nbInferences=0  nbTooLargeKeys=0
11.68	       =>  wckTime=10.895  cpuTime=10.82  mem=18M674
12.42	   
12.42	   search
12.42	     run=7  nbConstraintChecks=13740273  nbValidityChecks=91624  nbPropagations=14455  nbRevisions=11153
12.42	     nbUselessRevisions=2085  nbAssignments=1355  nbFailedAssignments=735  nbBacktracks=493  nbVisitedNodes=2091
12.42	     nbRestartNogoods=499  mapSize=227  nbInferences=0  nbTooLargeKeys=0
12.42	       =>  wckTime=11.634  cpuTime=11.55  mem=18M674
18.16	   
18.16	   search
18.16	     run=8  nbConstraintChecks=22313088  nbValidityChecks=147615  nbPropagations=19703  nbRevisions=15817
18.16	     nbUselessRevisions=3161  nbAssignments=1989  nbFailedAssignments=1097  nbBacktracks=750  nbVisitedNodes=3087
18.16	     nbRestartNogoods=529  mapSize=472  nbInferences=0  nbTooLargeKeys=0
18.16	       =>  wckTime=17.369  cpuTime=17.27  mem=18M674
55.04	   
55.04	   search
55.04	     run=9  nbConstraintChecks=78636589  nbValidityChecks=247898  nbPropagations=35147  nbRevisions=27003
55.04	     nbUselessRevisions=4839  nbAssignments=6561  nbFailedAssignments=5271  nbBacktracks=1134  nbVisitedNodes=11833
55.04	     nbRestartNogoods=613  mapSize=854  nbInferences=0  nbTooLargeKeys=0
55.04	       =>  wckTime=54.256  cpuTime=54.12  mem=18M674
58.14	   
58.14	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=18M674)
64.67	   
64.67	   search
64.67	     run=10  nbConstraintChecks=94750776  nbValidityChecks=366442  nbPropagations=54448  nbRevisions=42609
64.67	     nbUselessRevisions=7558  nbAssignments=7607  nbFailedAssignments=5729  nbBacktracks=1711  nbVisitedNodes=13337
64.67	     nbRestartNogoods=736
64.67	       =>  wckTime=63.883  cpuTime=63.73  mem=18M674
160.45	   
160.45	   search
160.45	     run=11  nbConstraintChecks=248948823  nbValidityChecks=2175787  nbPropagations=94161  nbRevisions=89907
160.45	     nbUselessRevisions=11677  nbAssignments=12931  nbFailedAssignments=10183  nbBacktracks=2575  nbVisitedNodes=23115
160.45	     nbRestartNogoods=857
160.45	       =>  wckTime=159.663  cpuTime=159.45  mem=18M674
193.37	   
193.37	   search
193.37	     run=12  nbConstraintChecks=298660275  nbValidityChecks=2732153  nbPropagations=150830  nbRevisions=153475
193.37	     nbUselessRevisions=16961  nbAssignments=17283  nbFailedAssignments=13228  nbBacktracks=3872  nbVisitedNodes=30512
193.37	     nbRestartNogoods=893
193.37	       =>  wckTime=192.582  cpuTime=192.32  mem=18M674
323.29	   
323.29	   search
323.29	     run=13  nbConstraintChecks=495132129  nbValidityChecks=4814086  nbPropagations=239573  nbRevisions=249176
323.29	     nbUselessRevisions=24146  nbAssignments=28758  nbFailedAssignments=22743  nbBacktracks=5820  nbVisitedNodes=51502
323.29	     nbRestartNogoods=1029
323.29	       =>  wckTime=322.501  cpuTime=322.11  mem=18M674
403.69	   
403.69	   search
403.69	     run=14  nbConstraintChecks=623461738  nbValidityChecks=6160658  nbPropagations=361988  nbRevisions=375121
403.69	     nbUselessRevisions=34245  nbAssignments=38662  nbFailedAssignments=29716  nbBacktracks=8739  nbVisitedNodes=68379
403.69	     nbRestartNogoods=1154
403.69	       =>  wckTime=402.904  cpuTime=402.42  mem=18M674
527.90	   
527.90	   search
527.90	     run=15  nbConstraintChecks=811240404  nbValidityChecks=8201807  nbPropagations=529983  nbRevisions=543112
527.90	     nbUselessRevisions=49404  nbAssignments=51726  nbFailedAssignments=38395  nbBacktracks=13118  nbVisitedNodes=90122
527.90	     nbRestartNogoods=1237
527.90	       =>  wckTime=527.109  cpuTime=526.5  mem=18M674
695.16	   
695.16	   search
695.16	     run=16  nbConstraintChecks=1067311101  nbValidityChecks=10997744  nbPropagations=760479  nbRevisions=770290
695.16	     nbUselessRevisions=72592  nbAssignments=69387  nbFailedAssignments=49473  nbBacktracks=19689  nbVisitedNodes=118861
695.16	     nbRestartNogoods=1248
695.16	       =>  wckTime=694.369  cpuTime=693.57  mem=18M674

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-248441-1168085977 -o ROOT/results/node15/solver-248441-1168085977 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248441-1168085977/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.08 0.19 0.81 3/81 18117
/proc/meminfo: memFree=990368/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=1500 CPUtime=0
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 66 0 0 0 0 0 0 0 19 0 1 0 156993760 1536000 49 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7456019 0 0 4096 0 0 0 0 17 1 0 0
/proc/18116/statm: 375 60 47 14 0 8 0

[startup+0.105827 s]
/proc/loadavg: 0.08 0.19 0.81 3/81 18117
/proc/meminfo: memFree=990368/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=914988 CPUtime=0.08
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 156993760 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513858 s]
/proc/loadavg: 0.08 0.19 0.81 3/81 18117
/proc/meminfo: memFree=990368/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=0.48
/proc/18116/stat : 18116 (java) S 18114 18116 17565 0 -1 0 7069 0 1 0 44 4 0 0 17 0 8 0 156993760 937431040 6808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 6808 2164 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460

[startup+1.33599 s]
/proc/loadavg: 0.08 0.19 0.81 2/88 18124
/proc/meminfo: memFree=964136/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1.31
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9263 0 1 0 125 6 0 0 17 0 8 0 156993760 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803771 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9001 2529 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.02
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 228 0 0 0 2 0 0 0 17 0 8 0 156993764 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.15
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 359 0 0 0 15 0 0 0 16 0 8 0 156993768 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.98528 s]
/proc/loadavg: 0.15 0.21 0.81 2/88 18124
/proc/meminfo: memFree=964136/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=2.96
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9268 0 1 0 290 6 0 0 17 0 8 0 156993760 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9004 2529 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.02
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 228 0 0 0 2 0 0 0 16 0 8 0 156993764 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.16
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 362 0 0 0 16 0 0 0 16 0 8 0 156993768 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460

[startup+6.26784 s]
/proc/loadavg: 0.15 0.21 0.81 2/88 18124
/proc/meminfo: memFree=963624/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=6.23
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9401 0 1 0 617 6 0 0 21 0 8 0 156993760 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9133 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.19
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 375 0 0 0 19 0 0 0 16 0 8 0 156993768 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.754 s]
/proc/loadavg: 0.28 0.23 0.82 2/88 18125
/proc/meminfo: memFree=964840/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=12.71
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9508 0 1 0 1265 6 0 0 25 0 8 0 156993760 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9235 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.21
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 389 0 0 0 21 0 0 0 15 0 8 0 156993768 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9235 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460

[startup+25.5952 s]
/proc/loadavg: 0.39 0.26 0.82 2/88 18126
/proc/meminfo: memFree=964456/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=25.54
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9556 0 1 0 2547 7 0 0 25 0 8 0 156993760 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9280 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.24
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 156993768 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915460

[startup+51.2956 s]
/proc/loadavg: 0.60 0.32 0.82 3/100 18172
/proc/meminfo: memFree=938688/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=51.21
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9573 0 1 0 5114 7 0 0 25 0 8 0 156993760 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9296 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.24
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 156993768 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915460

[startup+102.594 s]
/proc/loadavg: 0.82 0.42 0.83 2/88 18238
/proc/meminfo: memFree=962224/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=102.49
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9633 0 1 0 10240 9 0 0 25 0 8 0 156993760 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9355 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.24
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 156993768 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 915460

[startup+162.664 s]
/proc/loadavg: 1.37 0.66 0.88 2/88 18275
/proc/meminfo: memFree=961648/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=162.51
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9635 0 1 0 16241 10 0 0 25 0 8 0 156993760 937431040 9357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 915460

[startup+1483.22 s]
/proc/loadavg: 2.00 1.95 1.67 3/93 19048
/proc/meminfo: memFree=912680/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1481.64
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 148136 28 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 915460

[startup+1543.24 s]
/proc/loadavg: 2.05 1.97 1.70 3/93 19048
/proc/meminfo: memFree=906472/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1541.61
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 154133 28 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 915460

[startup+1603.26 s]
/proc/loadavg: 2.02 1.97 1.71 4/93 19048
/proc/meminfo: memFree=902952/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1601.43
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 160115 28 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 915460

[startup+1663.28 s]
/proc/loadavg: 2.00 1.97 1.73 3/93 19048
/proc/meminfo: memFree=903016/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1661.17
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 166088 29 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.17
Current children cumulated vsize (KiB) 915460

[startup+1723.34 s]
/proc/loadavg: 1.50 1.82 1.69 2/88 19460
/proc/meminfo: memFree=955408/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1721.13
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 172079 34 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.13
Current children cumulated vsize (KiB) 915460

[startup+1783.35 s]
/proc/loadavg: 1.75 1.83 1.70 3/93 19594
/proc/meminfo: memFree=927088/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1781.08
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 178071 37 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.08
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.39 s]
/proc/loadavg: 1.74 1.82 1.70 4/93 19631
/proc/meminfo: memFree=917936/2055920 swapFree=4174172/4192956
[pid=18116] ppid=18114 vsize=915460 CPUtime=1800.1
/proc/18116/stat : 18116 (java) R 18114 18116 17565 0 -1 0 9656 0 1 0 179972 38 0 0 25 0 8 0 156993760 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18116/statm: 228865 9377 2534 14 0 215335 0
[pid=18116/tid=18118] ppid=18114 vsize=915460 CPUtime=0.03
/proc/18116/task/18118/stat : 18118 (java) S 18114 18116 17565 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156993764 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18119] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18119/stat : 18119 (java) S 18114 18116 17565 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18120] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18120/stat : 18120 (java) S 18114 18116 17565 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993765 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18121] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18121/stat : 18121 (java) S 18114 18116 17565 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18122] ppid=18114 vsize=915460 CPUtime=0.25
/proc/18116/task/18122/stat : 18122 (java) S 18114 18116 17565 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18123] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18123/stat : 18123 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18116/tid=18124] ppid=18114 vsize=915460 CPUtime=0
/proc/18116/task/18124/stat : 18124 (java) S 18114 18116 17565 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993768 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1802.43
CPU time (s): 1800.15
CPU user time (s): 1799.75
CPU system time (s): 0.39394
CPU usage (%): 99.8733
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9673
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= 37347
involuntary context switches= 16710

runsolver used 2.15167 s user time and 5.71913 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan  6 12:19:44 UTC 2007


IDJOB= 248441
IDBENCH= 11707
FILE ID= node15/248441-1168085977

PBS_JOBID= 3476329

Free space on /tmp= 66284 MiB

BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-30/primes-30-80-3-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248441-1168085977/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-248441-1168085977 -o ROOT/results/node15/solver-248441-1168085977 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248441-1168085977/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  315146e1df857a25a24a9b5493a0db9a

RANDOM SEED= 772063996

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.276
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.276
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:        990840 kB
Buffers:         85972 kB
Cached:         838976 kB
SwapCached:       7128 kB
Active:         356416 kB
Inactive:       605140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        990840 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            1752 kB
Writeback:           0 kB
Mapped:          45240 kB
Slab:            88488 kB
Committed_AS:  4232892 kB
PageTables:       2220 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= 66283 MiB



End job on node15 on Sat Jan  6 12:49:52 UTC 2007