Trace number 216228

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.16 1800.68

General information on the benchmark

NamepseudoSeries/ppp/
ppp-1-11-19-21.xml
MD5SUMc6c6f910320bb57891b536d9eff7e0af
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 variables4602
Number of constraints30353
Maximum constraint arity29
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension30353
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/216228-1168078888/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.54	     nbVariables=4602  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.54	       =>  wckTime=0.245  cpuTime=0.17  mem=13M728
0.54	   
0.54	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
4.34	     nbConstraints=30179  nbMergedConstraints=174  nbConflictsStructures=5  nbSharedConflictsStructures=30096
4.34	     nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  nbEvaluationManagers=10
4.34	     nbSharedEvaluationManagers=30169  maxDegree=31  maxArity=29
4.34	       =>  wckTime=4.051  cpuTime=3.52  mem=78M216
4.60	   
4.60	   solver IterativeSystematicSolver being built... 
5.44	       =>  wckTime=5.152  cpuTime=4.14  mem=66M208
5.53	   
5.53	   preprocessing
5.53	     nbConstraintChecks=0  nbPropagations=4602  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
5.53	     detectedInconsistency=no
5.53	       =>  wckTime=0.076  cpuTime=0.07  mem=69M248
6.75	   
6.75	   search
6.75	     run=0  nbConstraintChecks=21001  nbValidityChecks=36097  nbPropagations=5748  nbRevisions=33920
6.75	     nbUselessRevisions=33769  nbAssignments=1021  nbFailedAssignments=2  nbBacktracks=16  nbVisitedNodes=1029
6.75	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
6.75	       =>  wckTime=1.299  cpuTime=1.26  mem=71M276
10.66	   
10.66	   search
10.66	     run=1  nbConstraintChecks=1204830  nbValidityChecks=79702  nbPropagations=12596  nbRevisions=95210
10.66	     nbUselessRevisions=94504  nbAssignments=1773  nbFailedAssignments=5  nbBacktracks=44  nbVisitedNodes=1798
10.66	     nbRestartNogoods=1  mapSize=22  nbInferences=0  nbTooLargeKeys=0
10.66	       =>  wckTime=5.213  cpuTime=5.14  mem=71M276
11.24	   
11.24	   search
11.24	     run=2  nbConstraintChecks=1213124  nbValidityChecks=108643  nbPropagations=20129  nbRevisions=174497
11.24	     nbUselessRevisions=173011  nbAssignments=2270  nbFailedAssignments=8  nbBacktracks=80  nbVisitedNodes=2304
11.24	     nbRestartNogoods=2  mapSize=30  nbInferences=0  nbTooLargeKeys=0
11.24	       =>  wckTime=5.792  cpuTime=5.71  mem=72M289
14.60	   
14.60	   search
14.60	     run=3  nbConstraintChecks=2425985  nbValidityChecks=125925  nbPropagations=28333  nbRevisions=264149
14.60	     nbUselessRevisions=261375  nbAssignments=2500  nbFailedAssignments=12  nbBacktracks=130  nbVisitedNodes=2553
14.60	     nbRestartNogoods=3  mapSize=48  nbInferences=0  nbTooLargeKeys=0
14.60	       =>  wckTime=9.154  cpuTime=9.07  mem=72M289
14.72	   
14.72	   search
14.72	     run=4  nbConstraintChecks=2426665  nbValidityChecks=128228  nbPropagations=36819  nbRevisions=355006
14.72	     nbUselessRevisions=350725  nbAssignments=2599  nbFailedAssignments=22  nbBacktracks=185  nbVisitedNodes=2672
14.72	     nbRestartNogoods=4  mapSize=66  nbInferences=0  nbTooLargeKeys=0
14.72	       =>  wckTime=9.269  cpuTime=9.18  mem=72M289
14.87	   
14.87	   search
14.87	     run=5  nbConstraintChecks=2427537  nbValidityChecks=131216  nbPropagations=45684  nbRevisions=447434
14.87	     nbUselessRevisions=441350  nbAssignments=2728  nbFailedAssignments=36  nbBacktracks=265  nbVisitedNodes=2829
14.87	     nbRestartNogoods=6  mapSize=92  nbInferences=0  nbTooLargeKeys=0
14.87	       =>  wckTime=9.42  cpuTime=9.34  mem=72M289
15.06	   
15.06	   search
15.06	     run=6  nbConstraintChecks=2428588  nbValidityChecks=135059  nbPropagations=55047  nbRevisions=541896
15.06	     nbUselessRevisions=533631  nbAssignments=2898  nbFailedAssignments=54  nbBacktracks=383  nbVisitedNodes=3035
15.06	     nbRestartNogoods=8  mapSize=126  nbInferences=0  nbTooLargeKeys=0
15.06	       =>  wckTime=9.614  cpuTime=9.53  mem=72M289
15.33	   
15.33	   search
15.33	     run=7  nbConstraintChecks=2430086  nbValidityChecks=140345  nbPropagations=65111  nbRevisions=639171
15.33	     nbUselessRevisions=628187  nbAssignments=3131  nbFailedAssignments=80  nbBacktracks=555  nbVisitedNodes=3320
15.33	     nbRestartNogoods=10  mapSize=176  nbInferences=0  nbTooLargeKeys=0
15.33	       =>  wckTime=9.881  cpuTime=9.8  mem=72M289
30.42	   
30.42	   search
30.42	     run=8  nbConstraintChecks=7677864  nbValidityChecks=206909  nbPropagations=77490  nbRevisions=780523
30.42	     nbUselessRevisions=765800  nbAssignments=4576  nbFailedAssignments=122  nbBacktracks=817  nbVisitedNodes=4849
30.42	     nbRestartNogoods=12  mapSize=256  nbInferences=0  nbTooLargeKeys=0
30.42	       =>  wckTime=24.973  cpuTime=24.88  mem=74M316
37.44	   
37.44	   search
37.44	     run=9  nbConstraintChecks=9782420  nbValidityChecks=267369  nbPropagations=92269  nbRevisions=960176
37.44	     nbUselessRevisions=940304  nbAssignments=5879  nbFailedAssignments=173  nbBacktracks=1208  nbVisitedNodes=6254
37.44	     nbRestartNogoods=16  mapSize=354  nbInferences=0  nbTooLargeKeys=0
37.44	       =>  wckTime=31.988  cpuTime=31.9  mem=76M342
47.90	   
47.90	   search
47.90	     run=10  nbConstraintChecks=13280780  nbValidityChecks=343688  nbPropagations=111622  nbRevisions=1186863
47.90	     nbUselessRevisions=1158011  nbAssignments=7107  nbFailedAssignments=301  nbBacktracks=1784  nbVisitedNodes=7738
47.90	     nbRestartNogoods=20  mapSize=543  nbInferences=0  nbTooLargeKeys=0
47.90	       =>  wckTime=42.452  cpuTime=42.35  mem=77M355
51.65	   
51.65	   search
51.65	     run=11  nbConstraintChecks=14244702  nbValidityChecks=421931  nbPropagations=136962  nbRevisions=1460618
51.65	     nbUselessRevisions=1417257  nbAssignments=8243  nbFailedAssignments=467  nbBacktracks=2649  nbVisitedNodes=9206
51.65	     nbRestartNogoods=24  mapSize=785  nbInferences=0  nbTooLargeKeys=0
51.65	       =>  wckTime=46.199  cpuTime=46.09  mem=78M368
76.55	   
76.55	   INFO : Stopping hyperNogood (mapSize=1044, nbTooLargekeys=0, mem=81M407)
79.05	   
79.05	   search
79.05	     run=12  nbConstraintChecks=23852483  nbValidityChecks=570657  nbPropagations=172135  nbRevisions=1830668
79.05	     nbUselessRevisions=1763791  nbAssignments=10825  nbFailedAssignments=735  nbBacktracks=3952  nbVisitedNodes=12340
79.05	     nbRestartNogoods=29
79.05	       =>  wckTime=73.606  cpuTime=73.49  mem=81M407
99.24	   
99.24	   search
99.24	     run=13  nbConstraintChecks=30545925  nbValidityChecks=731043  nbPropagations=219211  nbRevisions=2302758
99.24	     nbUselessRevisions=2201498  nbAssignments=13690  nbFailedAssignments=1132  nbBacktracks=5900  nbVisitedNodes=15999
99.24	     nbRestartNogoods=36
99.24	       =>  wckTime=93.791  cpuTime=93.67  mem=81M407
116.45	   
116.45	   search
116.45	     run=14  nbConstraintChecks=35865246  nbValidityChecks=927597  nbPropagations=282594  nbRevisions=2899473
116.45	     nbUselessRevisions=2748911  nbAssignments=17271  nbFailedAssignments=1682  nbBacktracks=8821  nbVisitedNodes=20695
116.45	     nbRestartNogoods=44
116.45	       =>  wckTime=111.005  cpuTime=110.88  mem=81M407
662.72	   
662.72	   search
662.72	     run=15  nbConstraintChecks=246058484  nbValidityChecks=1378741  nbPropagations=383337  nbRevisions=3816958
662.72	     nbUselessRevisions=3579536  nbAssignments=23482  nbFailedAssignments=2452  nbBacktracks=13199  nbVisitedNodes=28642
662.72	     nbRestartNogoods=48
662.72	       =>  wckTime=657.277  cpuTime=657.0  mem=81M407

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/node75/watcher-216228-1168078888 -o ROOT/results/node75/solver-216228-1168078888 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216228-1168078888/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.94 1.45 1.70 1/65 23542
/proc/meminfo: memFree=1719104/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=1496 CPUtime=0
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 58 0 0 0 0 0 0 0 20 0 1 0 156288220 1531904 41 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6738951 0 0 4096 0 0 0 0 17 1 0 0
/proc/23541/statm: 375 47 37 14 0 8 0

[startup+0.102499 s]
/proc/loadavg: 0.94 1.45 1.70 1/65 23542
/proc/meminfo: memFree=1719104/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=914988 CPUtime=0.08
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 3000 0 1 0 7 1 0 0 16 0 8 0 156288220 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23541/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510548 s]
/proc/loadavg: 0.94 1.45 1.70 1/65 23542
/proc/meminfo: memFree=1719104/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915328 CPUtime=0.48
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 6843 0 1 0 44 4 0 0 16 0 8 0 156288220 937295872 6582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23541/statm: 228832 6582 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33164 s]
/proc/loadavg: 0.94 1.45 1.70 2/72 23549
/proc/meminfo: memFree=1654472/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915640 CPUtime=1.3
/proc/23541/stat : 23541 (java) S 23539 23541 22728 0 -1 0 19088 0 1 0 122 8 0 0 18 0 8 0 156288220 937615360 18824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23541/statm: 228910 18826 2157 14 0 215380 0
[pid=23541/tid=23543] ppid=23539 vsize=915640 CPUtime=0.09
/proc/23541/task/23543/stat : 23543 (java) R 23539 23541 22728 0 -1 64 2557 0 0 0 9 0 0 0 16 0 8 0 156288224 937615360 18827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156288224 937615360 18828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937615360 18829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937615360 18831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915640 CPUtime=0.13
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 405 0 0 0 13 0 0 0 15 0 8 0 156288227 937615360 18832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937615360 18834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937615360 18835 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) 915640

[startup+2.96883 s]
/proc/loadavg: 0.94 1.45 1.70 2/72 23549
/proc/meminfo: memFree=1642952/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915640 CPUtime=2.93
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 21418 0 1 0 233 60 0 0 24 0 8 0 156288220 937615360 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228911 21151 2177 14 0 215381 0
[pid=23541/tid=23543] ppid=23539 vsize=915640 CPUtime=0.21
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 4797 0 0 0 20 1 0 0 17 0 8 0 156288224 937615360 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915644 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156288224 937619456 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937615360 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937615360 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915644 CPUtime=0.17
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 429 0 0 0 17 0 0 0 16 0 8 0 156288227 937619456 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915640 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937615360 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915644 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937619456 21151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915640

[startup+6.17221 s]
/proc/loadavg: 0.95 1.44 1.70 2/72 23549
/proc/meminfo: memFree=1589064/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=6.14
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35295 0 1 0 483 131 0 0 21 0 8 0 156288220 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074188086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34946 2533 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18135 0 0 0 69 6 0 0 17 0 8 0 156288224 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.29
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 519 0 0 0 28 1 0 0 15 0 8 0 156288227 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915872

[startup+12.633 s]
/proc/loadavg: 0.95 1.43 1.70 2/72 23549
/proc/meminfo: memFree=1589008/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=12.58
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35321 0 1 0 1127 131 0 0 25 0 8 0 156288220 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34968 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.33
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 535 0 0 0 32 1 0 0 16 0 8 0 156288227 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915872

[startup+25.4795 s]
/proc/loadavg: 0.96 1.41 1.68 2/72 23549
/proc/meminfo: memFree=1589072/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=25.42
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35324 0 1 0 2411 131 0 0 25 0 8 0 156288220 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34970 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.33
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 537 0 0 0 32 1 0 0 15 0 8 0 156288227 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34970 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915872

[startup+51.1605 s]
/proc/loadavg: 0.97 1.38 1.67 2/72 23549
/proc/meminfo: memFree=1589136/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=51.09
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35333 0 1 0 4978 131 0 0 25 0 8 0 156288220 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34975 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.34
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 156288227 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915872

[startup+102.416 s]
/proc/loadavg: 0.99 1.32 1.63 2/72 23549
/proc/meminfo: memFree=1589200/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=102.34
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 10102 132 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.34
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 33 1 0 0 16 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915872

[startup+162.504 s]
/proc/loadavg: 0.99 1.26 1.59 2/72 23549
/proc/meminfo: memFree=1589200/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=162.42
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 16110 132 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.95
Current children cumulated vsize (KiB) 915872

[startup+1484.46 s]
/proc/loadavg: 1.05 1.01 1.11 2/72 23549
/proc/meminfo: memFree=1588880/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1484.02
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 148268 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1484.02
Current children cumulated vsize (KiB) 915872

[startup+1544.55 s]
/proc/loadavg: 1.02 1.01 1.10 2/72 23549
/proc/meminfo: memFree=1588816/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1544.09
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 154275 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1544.09
Current children cumulated vsize (KiB) 915872

[startup+1604.65 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 23549
/proc/meminfo: memFree=1588816/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1604.17
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 160283 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1604.17
Current children cumulated vsize (KiB) 915872

[startup+1664.74 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 23549
/proc/meminfo: memFree=1588816/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1664.24
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 166290 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848746 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1664.24
Current children cumulated vsize (KiB) 915872

[startup+1724.82 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 23549
/proc/meminfo: memFree=1588816/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1724.31
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 172297 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.31
Current children cumulated vsize (KiB) 915872

[startup+1784.91 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 23549
/proc/meminfo: memFree=1588816/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1784.38
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 178304 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.62 s]
/proc/loadavg: 1.00 1.00 1.07 2/72 23549
/proc/meminfo: memFree=1588816/2055920 swapFree=4184496/4192956
[pid=23541] ppid=23539 vsize=915872 CPUtime=1800.09
/proc/23541/stat : 23541 (java) R 23539 23541 22728 0 -1 0 35336 0 1 0 179875 134 0 0 25 0 8 0 156288220 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23541/statm: 228968 34976 2537 14 0 215438 0
[pid=23541/tid=23543] ppid=23539 vsize=915872 CPUtime=0.75
/proc/23541/task/23543/stat : 23543 (java) S 23539 23541 22728 0 -1 64 18136 0 0 0 69 6 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23544] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23544/stat : 23544 (java) S 23539 23541 22728 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23545] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23545/stat : 23545 (java) S 23539 23541 22728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156288224 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23546] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23546/stat : 23546 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23541/tid=23547] ppid=23539 vsize=915872 CPUtime=0.35
/proc/23541/task/23547/stat : 23547 (java) S 23539 23541 22728 0 -1 64 544 0 0 0 34 1 0 0 17 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23548] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23548/stat : 23548 (java) S 23539 23541 22728 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23541/tid=23549] ppid=23539 vsize=915872 CPUtime=0
/proc/23541/task/23549/stat : 23549 (java) S 23539 23541 22728 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156288227 937852928 34976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1800.68
CPU time (s): 1800.16
CPU user time (s): 1798.79
CPU system time (s): 1.37079
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.37079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35352
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= 37770
involuntary context switches= 40688

runsolver used 2.10168 s user time and 4.29035 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan  6 10:21:28 UTC 2007


IDJOB= 216228
IDBENCH= 5062
FILE ID= node75/216228-1168078888

PBS_JOBID= 3476040

Free space on /tmp= 66544 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ppp/ppp-1-11-19-21.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216228-1168078888/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-216228-1168078888 -o ROOT/results/node75/solver-216228-1168078888 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216228-1168078888/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c6c6f910320bb57891b536d9eff7e0af

RANDOM SEED= 674951729

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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1719584 kB
Buffers:          5160 kB
Cached:         271036 kB
SwapCached:       2468 kB
Active:          90556 kB
Inactive:       195644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1719584 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            6208 kB
Writeback:           0 kB
Mapped:          16092 kB
Slab:            36068 kB
Committed_AS:  3099340 kB
PageTables:       1432 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= 66544 MiB



End job on node75 on Sat Jan  6 10:51:31 UTC 2007