Trace number 196274

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-30_ext.xml
MD5SUM94937a49dba715d36ca494032f55eabb
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
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 variables24
Number of constraints72
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension72
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/196274-1168070504/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.099  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
0.96	   
0.96	   constraints being loaded...
1.29	     nbConstraints=72  nbRelationTypes=72  nbExtensionStructures=72  nbSharedExtensionStructures=0
1.29	     nbConflictsStructures=72  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.29	       =>  wckTime=0.973  cpuTime=0.84  mem=43M990
1.40	   
1.40	   solver IterativeSystematicSolver being built... 
1.57	       =>  wckTime=1.257  cpuTime=0.98  mem=33M58
1.58	   
1.58	   preprocessing
1.58	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.58	     detectedInconsistency=no
1.58	       =>  wckTime=0.0040  cpuTime=0.0  mem=33M58
1.72	   
1.72	   search
1.72	     run=0  nbConstraintChecks=39582  nbValidityChecks=67909  nbPropagations=375  nbRevisions=4174
1.72	     nbUselessRevisions=3276  nbAssignments=32  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=55
1.72	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.141  cpuTime=0.1  mem=34M98
1.80	   
1.80	   search
1.80	     run=1  nbConstraintChecks=81853  nbValidityChecks=150462  nbPropagations=1315  nbRevisions=14058
1.80	     nbUselessRevisions=10843  nbAssignments=78  nbFailedAssignments=40  nbBacktracks=25  nbVisitedNodes=136
1.80	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.224  cpuTime=0.18  mem=34M98
1.88	   
1.88	   search
1.88	     run=2  nbConstraintChecks=122056  nbValidityChecks=232715  nbPropagations=2765  nbRevisions=29814
1.88	     nbUselessRevisions=23064  nbAssignments=130  nbFailedAssignments=64  nbBacktracks=48  nbVisitedNodes=225
1.88	     nbRestartNogoods=6  mapSize=41  nbInferences=0  nbTooLargeKeys=0
1.88	       =>  wckTime=0.307  cpuTime=0.25  mem=34M98
2.02	   
2.02	   search
2.02	     run=3  nbConstraintChecks=199829  nbValidityChecks=386473  nbPropagations=5295  nbRevisions=55485
2.02	     nbUselessRevisions=42694  nbAssignments=210  nbFailedAssignments=103  nbBacktracks=82  nbVisitedNodes=365
2.02	     nbRestartNogoods=8  mapSize=72  nbInferences=0  nbTooLargeKeys=0
2.02	       =>  wckTime=0.447  cpuTime=0.38  mem=34M98
2.20	   
2.20	   search
2.20	     run=4  nbConstraintChecks=304722  nbValidityChecks=593387  nbPropagations=9193  nbRevisions=95070
2.20	     nbUselessRevisions=72997  nbAssignments=317  nbFailedAssignments=155  nbBacktracks=132  nbVisitedNodes=552
2.20	     nbRestartNogoods=13  mapSize=115  nbInferences=0  nbTooLargeKeys=0
2.20	       =>  wckTime=0.626  cpuTime=0.56  mem=34M98
2.61	   
2.61	   search
2.61	     run=5  nbConstraintChecks=556689  nbValidityChecks=1059922  nbPropagations=15694  nbRevisions=167538
2.61	     nbUselessRevisions=129030  nbAssignments=523  nbFailedAssignments=280  nbBacktracks=207  nbVisitedNodes=933
2.61	     nbRestartNogoods=16  mapSize=173  nbInferences=0  nbTooLargeKeys=0
2.61	       =>  wckTime=1.031  cpuTime=0.95  mem=34M98
2.99	   
2.99	   search
2.99	     run=6  nbConstraintChecks=785836  nbValidityChecks=1516890  nbPropagations=25252  nbRevisions=275621
2.99	     nbUselessRevisions=213008  nbAssignments=821  nbFailedAssignments=456  nbBacktracks=320  nbVisitedNodes=1476
2.99	     nbRestartNogoods=24  mapSize=266  nbInferences=0  nbTooLargeKeys=0
2.99	       =>  wckTime=1.415  cpuTime=1.33  mem=34M98
3.59	   
3.59	   search
3.59	     run=7  nbConstraintChecks=1152302  nbValidityChecks=2244919  nbPropagations=39791  nbRevisions=441356
3.59	     nbUselessRevisions=341768  nbAssignments=1253  nbFailedAssignments=712  nbBacktracks=492  nbVisitedNodes=2262
3.59	     nbRestartNogoods=29  mapSize=409  nbInferences=0  nbTooLargeKeys=0
3.59	       =>  wckTime=2.013  cpuTime=1.91  mem=34M98
4.85	   
4.85	   search
4.85	     run=8  nbConstraintChecks=1912281  nbValidityChecks=3749376  nbPropagations=62965  nbRevisions=707818
4.85	     nbUselessRevisions=548476  nbAssignments=1971  nbFailedAssignments=1167  nbBacktracks=749  nbVisitedNodes=3623
4.85	     nbRestartNogoods=31  mapSize=643  nbInferences=0  nbTooLargeKeys=0
4.85	       =>  wckTime=3.271  cpuTime=3.14  mem=34M98
6.35	   
6.35	   search
6.35	     run=9  nbConstraintChecks=2823546  nbValidityChecks=5591798  nbPropagations=99140  nbRevisions=1099642
6.35	     nbUselessRevisions=848994  nbAssignments=2891  nbFailedAssignments=1696  nbBacktracks=1133  nbVisitedNodes=5322
6.35	     nbRestartNogoods=39  mapSize=989  nbInferences=0  nbTooLargeKeys=0
6.35	       =>  wckTime=4.779  cpuTime=4.62  mem=34M98
6.42	   
6.42	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=34M98)
8.32	   
8.32	   search
8.32	     run=10  nbConstraintChecks=4078127  nbValidityChecks=8150300  nbPropagations=151262  nbRevisions=1668734
8.32	     nbUselessRevisions=1287947  nbAssignments=4194  nbFailedAssignments=2417  nbBacktracks=1709  nbVisitedNodes=7684
8.33	     nbRestartNogoods=47
8.33	       =>  wckTime=6.751  cpuTime=6.57  mem=34M98
11.29	   
11.29	   search
11.29	     run=11  nbConstraintChecks=5884845  nbValidityChecks=11836469  nbPropagations=230217  nbRevisions=2493745
11.29	     nbUselessRevisions=1918184  nbAssignments=6138  nbFailedAssignments=3492  nbBacktracks=2574  nbVisitedNodes=11252
11.29	     nbRestartNogoods=59
11.29	       =>  wckTime=9.711  cpuTime=9.5  mem=34M98
17.65	   
17.65	   search
17.65	     run=12  nbConstraintChecks=10244311  nbValidityChecks=19702038  nbPropagations=348900  nbRevisions=3805673
17.65	     nbUselessRevisions=2927847  nbAssignments=9174  nbFailedAssignments=5224  nbBacktracks=3871  nbVisitedNodes=16851
17.65	     nbRestartNogoods=62
17.65	       =>  wckTime=16.077  cpuTime=15.8  mem=34M98
22.79	   
22.79	   search
22.79	     run=13  nbConstraintChecks=13535768  nbValidityChecks=26295820  nbPropagations=510578  nbRevisions=5616356
22.79	     nbUselessRevisions=4332435  nbAssignments=13133  nbFailedAssignments=7230  nbBacktracks=5817  nbVisitedNodes=23930
22.79	     nbRestartNogoods=84
22.79	       =>  wckTime=21.219  cpuTime=20.89  mem=34M98
33.42	   
33.42	   search
33.42	     run=14  nbConstraintChecks=20071328  nbValidityChecks=39425512  nbPropagations=765673  nbRevisions=8335215
33.42	     nbUselessRevisions=6419193  nbAssignments=19883  nbFailedAssignments=11055  nbBacktracks=8736  nbVisitedNodes=36381
33.42	     nbRestartNogoods=93
33.42	       =>  wckTime=31.847  cpuTime=31.4  mem=34M98
49.89	   
49.89	   search
49.89	     run=15  nbConstraintChecks=30309556  nbValidityChecks=60293517  nbPropagations=1160990  nbRevisions=12501482
49.89	     nbUselessRevisions=9614520  nbAssignments=30730  nbFailedAssignments=17518  nbBacktracks=13114
49.89	     nbVisitedNodes=56610  nbRestartNogoods=114
49.89	       =>  wckTime=48.318  cpuTime=47.72  mem=34M98
78.87	   
78.87	   search
78.87	     run=16  nbConstraintChecks=48599941  nbValidityChecks=97165755  nbPropagations=1777847  nbRevisions=19117857
78.87	     nbUselessRevisions=14699552  nbAssignments=48809  nbFailedAssignments=29021  nbBacktracks=19682
78.87	     nbVisitedNodes=90612  nbRestartNogoods=130
78.87	       =>  wckTime=77.294  cpuTime=76.4  mem=34M98
113.34	   
113.34	   search
113.34	     run=17  nbConstraintChecks=70000052  nbValidityChecks=140829794  nbPropagations=2702295  nbRevisions=28819314
113.34	     nbUselessRevisions=22123918  nbAssignments=71898  nbFailedAssignments=42251  nbBacktracks=29534
113.34	     nbVisitedNodes=133289  nbRestartNogoods=143
113.34	       =>  wckTime=111.764  cpuTime=110.56  mem=34M98
165.43	   
165.43	   search
165.43	     run=18  nbConstraintChecks=102543886  nbValidityChecks=206241504  nbPropagations=4085381  nbRevisions=43099938
165.43	     nbUselessRevisions=32994246  nbAssignments=105621  nbFailedAssignments=61189  nbBacktracks=44312
165.43	     nbVisitedNodes=195445  nbRestartNogoods=162
165.43	       =>  wckTime=163.859  cpuTime=162.17  mem=34M98
241.92	   
241.92	   search
241.92	     run=19  nbConstraintChecks=152159874  nbValidityChecks=306529979  nbPropagations=6083345  nbRevisions=64412344
241.92	     nbUselessRevisions=49386063  nbAssignments=158594  nbFailedAssignments=91990  nbBacktracks=66480
241.92	     nbVisitedNodes=293351  nbRestartNogoods=178
241.92	       =>  wckTime=240.346  cpuTime=237.96  mem=34M98
362.61	   
362.61	   search
362.61	     run=20  nbConstraintChecks=226615255  nbValidityChecks=456325142  nbPropagations=9133683  nbRevisions=95880211
362.61	     nbUselessRevisions=73373072  nbAssignments=232200  nbFailedAssignments=132337  nbBacktracks=99732
362.61	     nbVisitedNodes=429114  nbRestartNogoods=191
362.61	       =>  wckTime=361.039  cpuTime=357.54  mem=34M98
539.53	   
539.53	   search
539.53	     run=21  nbConstraintChecks=336563137  nbValidityChecks=679238324  nbPropagations=13752523  nbRevisions=142833144
539.53	     nbUselessRevisions=109022047  nbAssignments=346903  nbFailedAssignments=197155  nbBacktracks=149610
539.53	     nbVisitedNodes=641662  nbRestartNogoods=209
539.53	       =>  wckTime=537.953  cpuTime=532.83  mem=34M98
805.01	   
805.01	   search
805.01	     run=22  nbConstraintChecks=501145341  nbValidityChecks=1011983733  nbPropagations=20707205  nbRevisions=212570034
805.01	     nbUselessRevisions=161767858  nbAssignments=514337  nbFailedAssignments=289764  nbBacktracks=224429
805.01	     nbVisitedNodes=951003  nbRestartNogoods=218
805.01	       =>  wckTime=803.44  cpuTime=795.89  mem=34M98
1181.65	   
1181.65	   search
1181.65	     run=23  nbConstraintChecks=742260344  nbValidityChecks=1503436497  nbPropagations=30729445  nbRevisions=316621775
1181.65	     nbUselessRevisions=241379862  nbAssignments=768794  nbFailedAssignments=431987  nbBacktracks=336659
1181.65	     nbVisitedNodes=1419728  nbRestartNogoods=240
1181.65	       =>  wckTime=1180.08  cpuTime=1169.09  mem=34M98
1786.59	   
1786.59	   search
1786.59	     run=24  nbConstraintChecks=1118921538  nbValidityChecks=2258757265  nbPropagations=46069646  nbRevisions=472764932
1786.59	     nbUselessRevisions=360121006  nbAssignments=1145100  nbFailedAssignments=639948  nbBacktracks=505000
1786.59	     nbVisitedNodes=2114199  nbRestartNogoods=263
1786.59	       =>  wckTime=1785.012  cpuTime=1768.87  mem=34M98

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/node51/watcher-196274-1168070504 -o ROOT/results/node51/solver-196274-1168070504 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196274-1168070504/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: 1.89 1.96 1.90 4/86 30892
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=11820 CPUtime=0
/proc/30891/stat : 30891 (java) D 30889 30891 30419 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 155448987 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2618148 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30891/statm: 2955 510 421 14 0 1602 0

[startup+0.104395 s]
/proc/loadavg: 1.89 1.96 1.90 4/86 30892
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916012 CPUtime=0.08
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 2990 0 1 0 7 1 0 0 17 0 8 0 155448987 937996288 2736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229003 2736 1426 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012

[startup+0.513466 s]
/proc/loadavg: 1.89 1.96 1.90 4/86 30892
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916352 CPUtime=0.48
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 7459 0 1 0 44 4 0 0 18 0 8 0 155448987 938344448 7198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229088 7198 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916352

[startup+1.34161 s]
/proc/loadavg: 1.89 1.96 1.90 3/93 30899
/proc/meminfo: memFree=1346088/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1.31
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 19152 0 1 0 122 9 0 0 24 0 8 0 155448987 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 18889 2169 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.1
/proc/30891/task/30893/stat : 30893 (java) R 30889 30891 30419 0 -1 64 2662 0 0 0 9 1 0 0 16 0 8 0 155448991 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525278 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155448992 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.1
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155448995 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 18889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916448

[startup+2.97988 s]
/proc/loadavg: 1.89 1.96 1.90 3/93 30899
/proc/meminfo: memFree=1331240/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=2.93
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23187 0 1 0 281 12 0 0 25 0 8 0 155448987 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22922 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.2
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 373 0 0 0 20 0 0 0 15 0 8 0 155448995 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22922 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22922 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) 916448

[startup+6.28244 s]
/proc/loadavg: 1.98 1.98 1.91 3/93 30903
/proc/meminfo: memFree=1330984/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=6.2
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23203 0 1 0 608 12 0 0 25 0 8 0 155448987 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752828 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22936 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.23
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 388 0 0 0 23 0 0 0 15 0 8 0 155448995 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 916448

[startup+12.7635 s]
/proc/loadavg: 1.98 1.98 1.91 3/93 30907
/proc/meminfo: memFree=1331048/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=12.61
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23208 0 1 0 1249 12 0 0 25 0 8 0 155448987 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22940 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.23
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 393 0 0 0 23 0 0 0 15 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 916448

[startup+25.6277 s]
/proc/loadavg: 1.99 1.98 1.91 3/93 30917
/proc/meminfo: memFree=1331304/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=25.35
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23208 0 1 0 2523 12 0 0 25 0 8 0 155448987 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22940 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.23
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 393 0 0 0 23 0 0 0 15 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 916448

[startup+51.2571 s]
/proc/loadavg: 1.99 1.98 1.91 3/87 30957
/proc/meminfo: memFree=1332304/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=50.69
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23209 0 1 0 5057 12 0 0 25 0 8 0 155448987 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22940 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 916448

[startup+102.488 s]
/proc/loadavg: 1.99 1.98 1.91 3/87 30957
/proc/meminfo: memFree=1332304/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=101.45
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23209 0 1 0 10133 12 0 0 25 0 8 0 155448987 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758744 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22940 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 916448

[startup+162.557 s]
/proc/loadavg: 1.99 1.98 1.91 3/87 30957
/proc/meminfo: memFree=1332304/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=160.97
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23209 0 1 0 16085 12 0 0 25 0 8 0 155448987 938442752 22940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1411.01
Current children cumulated vsize (KiB) 916448

[startup+1484.24 s]
/proc/loadavg: 2.03 2.02 1.93 3/87 30959
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1470.54
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 147041 13 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.54
Current children cumulated vsize (KiB) 916448

[startup+1544.31 s]
/proc/loadavg: 2.06 2.03 1.94 3/87 30959
/proc/meminfo: memFree=1332120/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1530.06
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 152993 13 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.06
Current children cumulated vsize (KiB) 916448

[startup+1604.38 s]
/proc/loadavg: 2.02 2.02 1.94 3/87 30959
/proc/meminfo: memFree=1332056/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1589.58
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 158945 13 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.58
Current children cumulated vsize (KiB) 916448

[startup+1664.45 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 30959
/proc/meminfo: memFree=1332056/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1649.11
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 164898 13 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.11
Current children cumulated vsize (KiB) 916448

[startup+1724.53 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 30959
/proc/meminfo: memFree=1332056/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1708.64
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 170851 13 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.64
Current children cumulated vsize (KiB) 916448

[startup+1784.6 s]
/proc/loadavg: 1.81 1.94 1.91 3/87 31073
/proc/meminfo: memFree=1265712/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1768.53
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 176833 20 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.53
Current children cumulated vsize (KiB) 916448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.15 s]
/proc/loadavg: 1.88 1.95 1.91 3/87 31073
/proc/meminfo: memFree=1265904/2055920 swapFree=4192812/4192956
[pid=30891] ppid=30889 vsize=916448 CPUtime=1800.09
/proc/30891/stat : 30891 (java) R 30889 30891 30419 0 -1 0 23210 0 1 0 179988 21 0 0 25 0 8 0 155448987 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30891/statm: 229112 22941 2521 14 0 215582 0
[pid=30891/tid=30893] ppid=30889 vsize=916448 CPUtime=0.16
/proc/30891/task/30893/stat : 30893 (java) S 30889 30891 30419 0 -1 64 6219 0 0 0 14 2 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30894] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30894/stat : 30894 (java) S 30889 30891 30419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155448991 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30895] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30895/stat : 30895 (java) S 30889 30891 30419 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155448992 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30896] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30896/stat : 30896 (java) S 30889 30891 30419 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30897] ppid=30889 vsize=916448 CPUtime=0.24
/proc/30891/task/30897/stat : 30897 (java) S 30889 30891 30419 0 -1 64 394 0 0 0 24 0 0 0 16 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30898] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30898/stat : 30898 (java) S 30889 30891 30419 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155448995 938442752 22941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30891/tid=30899] ppid=30889 vsize=916448 CPUtime=0
/proc/30891/task/30899/stat : 30899 (java) S 30889 30891 30419 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155448995 938442752 22941 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) 916448

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

Child status: 143
Real time (s): 1816.22
CPU time (s): 1800.15
CPU user time (s): 1799.93
CPU system time (s): 0.225965
CPU usage (%): 99.1153
Max. virtual memory (cumulated for all children) (KiB): 916448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23226
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= 37828
involuntary context switches= 74191

runsolver used 2.67859 s user time and 5.31619 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan  6 08:01:44 UTC 2007


IDJOB= 196274
IDBENCH= 3339
FILE ID= node51/196274-1168070504

PBS_JOBID= 3475912

Free space on /tmp= 66540 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196274-1168070504/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-196274-1168070504 -o ROOT/results/node51/solver-196274-1168070504 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196274-1168070504/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  94937a49dba715d36ca494032f55eabb

RANDOM SEED= 467069723

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.277
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.277
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:       1413696 kB
Buffers:         29316 kB
Cached:         437912 kB
SwapCached:          0 kB
Active:         139432 kB
Inactive:       432104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1413696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4424 kB
Writeback:           0 kB
Mapped:         124928 kB
Slab:            55548 kB
Committed_AS:  3809200 kB
PageTables:       2216 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= 66539 MiB



End job on node51 on Sat Jan  6 08:32:01 UTC 2007