Trace number 248427

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 ESAC? (TO) 1800.06 1808.26

General information on the benchmark

Nameprimes/primes-30/
primes-30-60-3-5.xml
MD5SUM3d041d73332540beef37bd599f20a283
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 constraints60
Maximum constraint arity8
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension60
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/248427-1168399472/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=100  nbDomainTypes=1  minDomainSize=112  maxDomainSize=112
0.44	       =>  wckTime=0.114  cpuTime=0.1  mem=7M927
0.44	   
0.44	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
0.60	     nbConstraints=60  nbSingletonDomainVariables=1  nbDisconnectedVariables=1  nbUnbuiltConflictsStructures=60
0.60	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=60  nbSharedEvaluationManagers=0  maxDegree=8  maxArity=8
0.60	       =>  wckTime=0.276  cpuTime=0.22  mem=10M853
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.82	       =>  wckTime=0.501  cpuTime=0.37  mem=16M701
3.32	   
3.32	   preprocessing
3.32	     nbConstraintChecks=5877099  nbValidityChecks=1665  nbPropagations=247  nbRevisions=76  nbUselessRevisions=21
3.32	     nbSingletonTests=112  nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=784  detectedInconsistency=no
3.32	       =>  wckTime=2.492  cpuTime=2.44  mem=17M677
6.56	   
6.56	   search
6.56	     run=0  nbConstraintChecks=4632288  nbValidityChecks=947  nbPropagations=1020  nbRevisions=482
6.56	     nbUselessRevisions=35  nbAssignments=382  nbFailedAssignments=360  nbBacktracks=10  nbVisitedNodes=743
6.56	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.56	       =>  wckTime=5.734  cpuTime=5.63  mem=17M677
20.41	   
20.41	   search
20.41	     run=1  nbConstraintChecks=24749502  nbValidityChecks=8049  nbPropagations=5488  nbRevisions=2704
20.41	     nbUselessRevisions=123  nbAssignments=2165  nbFailedAssignments=1921  nbBacktracks=25  nbVisitedNodes=3889
20.41	     nbRestartNogoods=23  mapSize=21  nbInferences=0  nbTooLargeKeys=0
20.41	       =>  wckTime=19.588  cpuTime=19.32  mem=17M677
22.77	   
22.78	   search
22.78	     run=2  nbConstraintChecks=28421240  nbValidityChecks=48393  nbPropagations=12964  nbRevisions=7940
22.78	     nbUselessRevisions=1529  nbAssignments=3478  nbFailedAssignments=2049  nbBacktracks=48  nbVisitedNodes=4197
22.78	     nbRestartNogoods=141  mapSize=40  nbInferences=0  nbTooLargeKeys=0
22.78	       =>  wckTime=21.949  cpuTime=21.65  mem=17M677
25.58	   
25.58	   search
25.58	     run=3  nbConstraintChecks=33301804  nbValidityChecks=88488  nbPropagations=23413  nbRevisions=15089
25.58	     nbUselessRevisions=3542  nbAssignments=5296  nbFailedAssignments=2129  nbBacktracks=81  nbVisitedNodes=4414
25.58	     nbRestartNogoods=269  mapSize=72  nbInferences=0  nbTooLargeKeys=0
25.58	       =>  wckTime=24.751  cpuTime=24.42  mem=17M677
31.28	   
31.28	   search
31.28	     run=4  nbConstraintChecks=43205105  nbValidityChecks=160884  nbPropagations=36356  nbRevisions=24694
31.28	     nbUselessRevisions=6172  nbAssignments=6551  nbFailedAssignments=2518  nbBacktracks=132  nbVisitedNodes=5248
31.28	     nbRestartNogoods=326  mapSize=95  nbInferences=0  nbTooLargeKeys=0
31.28	       =>  wckTime=30.449  cpuTime=30.06  mem=17M677
37.79	   
37.79	   search
37.79	     run=5  nbConstraintChecks=54286967  nbValidityChecks=240390  nbPropagations=50716  nbRevisions=36013
37.79	     nbUselessRevisions=8907  nbAssignments=7109  nbFailedAssignments=2994  nbBacktracks=209  nbVisitedNodes=6282
37.79	     nbRestartNogoods=327  mapSize=150  nbInferences=0  nbTooLargeKeys=0
37.79	       =>  wckTime=36.964  cpuTime=36.51  mem=17M677
49.21	   
49.21	   search
49.21	     run=6  nbConstraintChecks=73573329  nbValidityChecks=382206  nbPropagations=67532  nbRevisions=50299
49.21	     nbUselessRevisions=11799  nbAssignments=8070  nbFailedAssignments=3826  nbBacktracks=324  nbVisitedNodes=8066
49.21	     nbRestartNogoods=349  mapSize=241  nbInferences=0  nbTooLargeKeys=0
49.21	       =>  wckTime=48.388  cpuTime=47.83  mem=17M677
100.73	   
100.73	   search
100.73	     run=7  nbConstraintChecks=161161583  nbValidityChecks=515431  nbPropagations=97842  nbRevisions=72963
100.73	     nbUselessRevisions=14857  nbAssignments=14572  nbFailedAssignments=10150  nbBacktracks=494  nbVisitedNodes=20884
100.73	     nbRestartNogoods=373  mapSize=388  nbInferences=0  nbTooLargeKeys=0
100.73	       =>  wckTime=99.905  cpuTime=98.88  mem=17M677
129.31	   
129.31	   search
129.31	     run=8  nbConstraintChecks=207380538  nbValidityChecks=728095  nbPropagations=135503  nbRevisions=101459
129.31	     nbUselessRevisions=18825  nbAssignments=17799  nbFailedAssignments=13095  nbBacktracks=752  nbVisitedNodes=27056
129.31	     nbRestartNogoods=373  mapSize=516  nbInferences=0  nbTooLargeKeys=0
129.31	       =>  wckTime=128.487  cpuTime=127.2  mem=17M677
135.35	   
135.35	   search
135.35	     run=9  nbConstraintChecks=217130412  nbValidityChecks=829206  nbPropagations=179158  nbRevisions=135293
135.35	     nbUselessRevisions=24543  nbAssignments=20538  nbFailedAssignments=13216  nbBacktracks=1136  nbVisitedNodes=27700
135.35	     nbRestartNogoods=681  mapSize=634  nbInferences=0  nbTooLargeKeys=0
135.35	       =>  wckTime=134.52  cpuTime=133.18  mem=18M652
140.55	   
140.55	   search
140.55	     run=10  nbConstraintChecks=225594935  nbValidityChecks=893194  nbPropagations=226078  nbRevisions=171602
140.55	     nbUselessRevisions=30758  nbAssignments=22044  nbFailedAssignments=13379  nbBacktracks=1713  nbVisitedNodes=28621
140.55	     nbRestartNogoods=742  mapSize=815  nbInferences=0  nbTooLargeKeys=0
140.55	       =>  wckTime=139.727  cpuTime=138.33  mem=18M652
145.74	   
145.74	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=18M652)
149.48	   
149.48	   search
149.48	     run=11  nbConstraintChecks=239467120  nbValidityChecks=972592  nbPropagations=277226  nbRevisions=211480
149.48	     nbUselessRevisions=37711  nbAssignments=23867  nbFailedAssignments=13714  nbBacktracks=2577  nbVisitedNodes=30175
149.48	     nbRestartNogoods=813
149.48	       =>  wckTime=148.652  cpuTime=147.17  mem=18M652
161.42	   
161.42	   search
161.42	     run=12  nbConstraintChecks=256547184  nbValidityChecks=1109293  nbPropagations=333642  nbRevisions=255558
161.42	     nbUselessRevisions=45609  nbAssignments=26228  nbFailedAssignments=14143  nbBacktracks=3876  nbVisitedNodes=32363
161.42	     nbRestartNogoods=896
161.42	       =>  wckTime=160.594  cpuTime=159.01  mem=18M652
178.25	   
178.25	   search
178.25	     run=13  nbConstraintChecks=279758880  nbValidityChecks=1321739  nbPropagations=397535  nbRevisions=305352
178.25	     nbUselessRevisions=54859  nbAssignments=29745  nbFailedAssignments=14697  nbBacktracks=5826  nbVisitedNodes=35451
178.25	     nbRestartNogoods=953
178.25	       =>  wckTime=177.428  cpuTime=175.68  mem=18M652
225.96	   
225.96	   search
225.96	     run=14  nbConstraintChecks=341483966  nbValidityChecks=1971658  nbPropagations=478308  nbRevisions=368779
225.96	     nbUselessRevisions=66382  nbAssignments=36196  nbFailedAssignments=16648  nbBacktracks=8745  nbVisitedNodes=42306
225.96	     nbRestartNogoods=1010
225.96	       =>  wckTime=225.131  cpuTime=222.95  mem=18M652
303.59	   
303.59	   search
303.59	     run=15  nbConstraintChecks=445494458  nbValidityChecks=2987215  nbPropagations=588492  nbRevisions=455175
303.59	     nbUselessRevisions=81621  nbAssignments=46834  nbFailedAssignments=20753  nbBacktracks=13125  nbVisitedNodes=54927
303.59	     nbRestartNogoods=1109
303.59	       =>  wckTime=302.763  cpuTime=299.88  mem=19M627
445.94	   
445.94	   search
445.94	     run=16  nbConstraintChecks=637093885  nbValidityChecks=5155836  nbPropagations=744469  nbRevisions=578967
445.94	     nbUselessRevisions=102746  nbAssignments=63596  nbFailedAssignments=28209  nbBacktracks=19693  nbVisitedNodes=76440
445.94	     nbRestartNogoods=1221
445.94	       =>  wckTime=445.115  cpuTime=440.92  mem=19M627
1116.24	   
1116.24	   search
1116.24	     run=17  nbConstraintChecks=1703837837  nbValidityChecks=18117963  nbPropagations=1073061  nbRevisions=898823
1116.24	     nbUselessRevisions=160334  nbAssignments=120719  nbFailedAssignments=71370  nbBacktracks=29546
1116.24	     nbVisitedNodes=172645  nbRestartNogoods=1350
1116.24	       =>  wckTime=1115.41  cpuTime=1107.86  mem=19M627
1793.48	   
1793.48	   search
1793.48	     run=18  nbConstraintChecks=2908722769  nbValidityChecks=30295452  nbPropagations=1558950  nbRevisions=1391620
1793.48	     nbUselessRevisions=234286  nbAssignments=190823  nbFailedAssignments=123787  nbBacktracks=44326
1793.48	     nbVisitedNodes=292289  nbRestartNogoods=1495
1793.48	       =>  wckTime=1792.655  cpuTime=1784.35  mem=19M627

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/node10/watcher-248427-1168399472 -o ROOT/results/node10/solver-248427-1168399472 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248427-1168399472/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: 2.00 1.96 1.65 4/94 5753
/proc/meminfo: memFree=1599328/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=18540 CPUtime=0
/proc/5752/stat : 5752 (runsolver) R 5750 5752 5685 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 188342416 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5752/statm: 4635 279 244 17 0 2626 0

[startup+0.108523 s]
/proc/loadavg: 2.00 1.96 1.65 4/94 5753
/proc/meminfo: memFree=1599328/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=914988 CPUtime=0.08
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 2992 0 1 0 7 1 0 0 17 0 8 0 188342416 936947712 2738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.520578 s]
/proc/loadavg: 2.00 1.96 1.65 4/94 5753
/proc/meminfo: memFree=1599328/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915328 CPUtime=0.49
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 6724 0 1 0 45 4 0 0 18 0 8 0 188342416 937295872 6463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152169651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228832 6463 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34369 s]
/proc/loadavg: 2.00 1.96 1.65 3/101 5760
/proc/meminfo: memFree=1573480/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1.3
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9170 0 1 0 124 6 0 0 25 0 8 0 188342416 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 8908 2540 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.14
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 188342424 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.98091 s]
/proc/loadavg: 2.00 1.96 1.65 3/101 5760
/proc/meminfo: memFree=1573480/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=2.92
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9173 0 1 0 286 6 0 0 25 0 8 0 188342416 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 8909 2540 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 17 0 8 0 188342420 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.15
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 188342424 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 8909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464

[startup+6.26435 s]
/proc/loadavg: 2.00 1.96 1.65 3/101 5760
/proc/meminfo: memFree=1572968/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=6.18
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9297 0 1 0 611 7 0 0 25 0 8 0 188342416 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 9030 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.17
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 372 0 0 0 17 0 0 0 15 0 8 0 188342424 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.7502 s]
/proc/loadavg: 2.00 1.96 1.65 3/101 5760
/proc/meminfo: memFree=1572968/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=12.6
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9310 0 1 0 1253 7 0 0 25 0 8 0 188342416 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758253 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 9039 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.19
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 379 0 0 0 18 1 0 0 15 0 8 0 188342424 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464

[startup+25.614 s]
/proc/loadavg: 2.00 1.96 1.66 3/101 5760
/proc/meminfo: memFree=1572776/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=25.36
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9368 0 1 0 2528 8 0 0 25 0 8 0 188342416 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 9090 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.23
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 188342424 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464

[startup+51.2215 s]
/proc/loadavg: 2.00 1.96 1.66 3/101 5760
/proc/meminfo: memFree=1572712/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=50.73
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9409 0 1 0 5065 8 0 0 25 0 8 0 188342416 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 9129 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.23
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 188342424 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915464

[startup+102.437 s]
/proc/loadavg: 2.00 1.97 1.68 3/101 5760
/proc/meminfo: memFree=1572712/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=101.47
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9421 0 1 0 10139 8 0 0 25 0 8 0 188342416 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5752/statm: 228866 9141 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.23
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 188342424 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915464

[startup+162.523 s]
/proc/loadavg: 2.00 1.97 1.70 3/101 5760
/proc/meminfo: memFree=1571560/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=161.01
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9703 0 1 0 16092 9 0 0 25 0 8 0 188342416 937435136 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1415.97
Current children cumulated vsize (KiB) 915464

[startup+1483.82 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124392/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1475.96
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9758 0 1 0 147583 13 0 0 25 0 8 0 188342416 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9475 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.96
Current children cumulated vsize (KiB) 915464

[startup+1543.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124392/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1536
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9758 0 1 0 153587 13 0 0 25 0 8 0 188342416 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9475 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536
Current children cumulated vsize (KiB) 915464

[startup+1604 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124328/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1595.99
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9758 0 1 0 159586 13 0 0 25 0 8 0 188342416 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9475 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.99
Current children cumulated vsize (KiB) 915464

[startup+1664.08 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124264/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1656.03
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9758 0 1 0 165589 14 0 0 25 0 8 0 188342416 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9475 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.03
Current children cumulated vsize (KiB) 915464

[startup+1724.16 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124264/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1716.05
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9758 0 1 0 171591 14 0 0 25 0 8 0 188342416 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9475 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.05
Current children cumulated vsize (KiB) 915464

[startup+1784.24 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124200/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1776.05
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9758 0 1 0 177591 14 0 0 25 0 8 0 188342416 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9475 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.05
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.21 s]
/proc/loadavg: 2.00 2.00 1.91 3/101 5832
/proc/meminfo: memFree=1124136/2055920 swapFree=4178216/4192956
[pid=5752] ppid=5750 vsize=915464 CPUtime=1800.01
/proc/5752/stat : 5752 (java) R 5750 5752 5685 0 -1 0 9774 0 1 0 179987 14 0 0 25 0 8 0 188342416 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5752/statm: 228866 9491 2543 14 0 215336 0
[pid=5752/tid=5754] ppid=5750 vsize=915464 CPUtime=0.02
/proc/5752/task/5754/stat : 5754 (java) S 5750 5752 5685 0 -1 64 217 0 0 0 2 0 0 0 16 0 8 0 188342420 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5755] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5755/stat : 5755 (java) S 5750 5752 5685 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188342421 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5756] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5756/stat : 5756 (java) S 5750 5752 5685 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188342421 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5757] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5757/stat : 5757 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 188342424 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5758] ppid=5750 vsize=915464 CPUtime=0.25
/proc/5752/task/5758/stat : 5758 (java) S 5750 5752 5685 0 -1 64 409 0 0 0 24 1 0 0 16 0 8 0 188342424 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5752/tid=5759] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5759/stat : 5759 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188342424 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5752/tid=5760] ppid=5750 vsize=915464 CPUtime=0
/proc/5752/task/5760/stat : 5760 (java) S 5750 5752 5685 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188342424 937435136 9491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 1808.26
CPU time (s): 1800.06
CPU user time (s): 1799.91
CPU system time (s): 0.148977
CPU usage (%): 99.5464
Max. virtual memory (cumulated for all children) (KiB): 915464

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

runsolver used 2.09168 s user time and 5.97809 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Wed Jan 10 03:24:33 UTC 2007


IDJOB= 248427
IDBENCH= 11706
FILE ID= node10/248427-1168399472

PBS_JOBID= 3522944

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3d041d73332540beef37bd599f20a283

RANDOM SEED= 113577082

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.232
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.232
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:       1599744 kB
Buffers:         38128 kB
Cached:         287860 kB
SwapCached:       2112 kB
Active:         246084 kB
Inactive:       157280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599744 kB
SwapTotal:     4192956 kB
SwapFree:      4178216 kB
Dirty:            1836 kB
Writeback:           0 kB
Mapped:          95668 kB
Slab:            37488 kB
Committed_AS:  6464900 kB
PageTables:       2400 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= 66563 MiB



End job on node10 on Wed Jan 10 03:54:41 UTC 2007