Trace number 196118

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.07 1801.42

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-14_ext.xml
MD5SUM4e6c42cb632ce7285d1803ee4c764767
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 constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.65	   
0.66	Abscon 109 (November, 2006)
0.66	   
0.66	   configuration
0.66	     name=mac.xml
0.69	   
0.69	   instance
0.69	     name=/tmp/evaluation/196118-1168070443/unknown.xml
0.72	   
0.72	   domains being loaded...
0.73	   
0.73	   variables being loaded...
0.76	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.76	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.76	   
0.76	   relations being loaded...
1.39	   
1.39	   constraints being loaded...
1.65	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.65	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.65	       =>  wckTime=0.987  cpuTime=0.87  mem=48M683
1.76	   
1.76	   solver IterativeSystematicSolver being built... 
1.92	       =>  wckTime=1.254  cpuTime=1.0  mem=34M625
1.92	   
1.92	   preprocessing
1.92	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.92	     detectedInconsistency=no
1.92	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M625
2.05	   
2.05	   search
2.05	     run=0  nbConstraintChecks=50691  nbValidityChecks=86947  nbPropagations=467  nbRevisions=5023
2.05	     nbUselessRevisions=4036  nbAssignments=38  nbFailedAssignments=19  nbBacktracks=14  nbVisitedNodes=66
2.05	     nbRestartNogoods=0  mapSize=13  nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=0.135  cpuTime=0.1  mem=34M625
2.12	   
2.12	   search
2.12	     run=1  nbConstraintChecks=87528  nbValidityChecks=152494  nbPropagations=1262  nbRevisions=13859
2.12	     nbUselessRevisions=11096  nbAssignments=70  nbFailedAssignments=32  nbBacktracks=29  nbVisitedNodes=118
2.12	     nbRestartNogoods=2  mapSize=23  nbInferences=0  nbTooLargeKeys=0
2.12	       =>  wckTime=0.198  cpuTime=0.16  mem=34M625
2.22	   
2.22	   search
2.22	     run=2  nbConstraintChecks=151067  nbValidityChecks=265517  nbPropagations=2596  nbRevisions=28731
2.22	     nbUselessRevisions=22906  nbAssignments=125  nbFailedAssignments=59  nbBacktracks=51  nbVisitedNodes=208
2.22	     nbRestartNogoods=4  mapSize=38  nbInferences=0  nbTooLargeKeys=0
2.22	       =>  wckTime=0.303  cpuTime=0.26  mem=34M625
2.40	   
2.40	   search
2.40	     run=3  nbConstraintChecks=274770  nbValidityChecks=491771  nbPropagations=4996  nbRevisions=56794
2.40	     nbUselessRevisions=44970  nbAssignments=211  nbFailedAssignments=105  nbBacktracks=85  nbVisitedNodes=363
2.40	     nbRestartNogoods=7  mapSize=66  nbInferences=0  nbTooLargeKeys=0
2.40	       =>  wckTime=0.48  cpuTime=0.43  mem=34M625
2.61	   
2.61	   search
2.61	     run=4  nbConstraintChecks=435192  nbValidityChecks=791672  nbPropagations=8954  nbRevisions=102123
2.61	     nbUselessRevisions=80536  nbAssignments=346  nbFailedAssignments=185  nbBacktracks=135  nbVisitedNodes=609
2.61	     nbRestartNogoods=14  mapSize=108  nbInferences=0  nbTooLargeKeys=0
2.61	       =>  wckTime=0.694  cpuTime=0.64  mem=34M625
2.92	   
2.92	   search
2.92	     run=5  nbConstraintChecks=650609  nbValidityChecks=1179041  nbPropagations=14720  nbRevisions=168849
2.92	     nbUselessRevisions=132572  nbAssignments=501  nbFailedAssignments=260  nbBacktracks=211  nbVisitedNodes=880
2.92	     nbRestartNogoods=19  mapSize=167  nbInferences=0  nbTooLargeKeys=0
2.92	       =>  wckTime=1.001  cpuTime=0.94  mem=34M625
3.35	   
3.35	   search
3.35	     run=6  nbConstraintChecks=953151  nbValidityChecks=1751736  nbPropagations=23452  nbRevisions=269372
3.35	     nbUselessRevisions=211003  nbAssignments=741  nbFailedAssignments=382  nbBacktracks=324  nbVisitedNodes=1306
3.35	     nbRestartNogoods=24  mapSize=256  nbInferences=0  nbTooLargeKeys=0
3.35	       =>  wckTime=1.429  cpuTime=1.37  mem=34M625
4.07	   
4.07	   search
4.07	     run=7  nbConstraintChecks=1484446  nbValidityChecks=2750142  nbPropagations=37720  nbRevisions=432747
4.07	     nbUselessRevisions=338414  nbAssignments=1198  nbFailedAssignments=663  nbBacktracks=494  nbVisitedNodes=2163
4.07	     nbRestartNogoods=35  mapSize=410  nbInferences=0  nbTooLargeKeys=0
4.07	       =>  wckTime=2.157  cpuTime=2.09  mem=34M625
5.11	   
5.11	   search
5.11	     run=8  nbConstraintChecks=2215727  nbValidityChecks=4109827  nbPropagations=59078  nbRevisions=676576
5.11	     nbUselessRevisions=528405  nbAssignments=1762  nbFailedAssignments=963  nbBacktracks=753  nbVisitedNodes=3177
5.12	     nbRestartNogoods=39  mapSize=618  nbInferences=0  nbTooLargeKeys=0
5.12	       =>  wckTime=3.198  cpuTime=3.11  mem=34M625
6.38	   
6.38	   search
6.38	     run=9  nbConstraintChecks=3162224  nbValidityChecks=5910186  nbPropagations=90364  nbRevisions=1034368
6.38	     nbUselessRevisions=807789  nbAssignments=2605  nbFailedAssignments=1414  nbBacktracks=1139  nbVisitedNodes=4701
6.39	     nbRestartNogoods=51  mapSize=935  nbInferences=0  nbTooLargeKeys=0
6.39	       =>  wckTime=4.467  cpuTime=4.37  mem=34M625
6.76	   
6.76	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=35M612)
8.51	   
8.51	   search
8.51	     run=10  nbConstraintChecks=4818614  nbValidityChecks=8941591  nbPropagations=136534  nbRevisions=1564899
8.51	     nbUselessRevisions=1221102  nbAssignments=3815  nbFailedAssignments=2043  nbBacktracks=1715  nbVisitedNodes=6881
8.51	     nbRestartNogoods=60
8.51	       =>  wckTime=6.591  cpuTime=6.49  mem=35M612
11.56	   
11.56	   search
11.56	     run=11  nbConstraintChecks=7231206  nbValidityChecks=13513354  nbPropagations=207154  nbRevisions=2373801
11.56	     nbUselessRevisions=1853421  nbAssignments=5946  nbFailedAssignments=3305  nbBacktracks=2579  nbVisitedNodes=10830
11.56	     nbRestartNogoods=69
11.56	       =>  wckTime=9.647  cpuTime=9.54  mem=35M612
16.26	   
16.26	   search
16.26	     run=12  nbConstraintChecks=10892295  nbValidityChecks=20263794  nbPropagations=311889  nbRevisions=3578286
16.26	     nbUselessRevisions=2793468  nbAssignments=8660  nbFailedAssignments=4716  nbBacktracks=3877  nbVisitedNodes=15719
16.26	     nbRestartNogoods=80
16.26	       =>  wckTime=14.341  cpuTime=14.23  mem=35M612
23.05	   
23.05	   search
23.05	     run=13  nbConstraintChecks=16086545  nbValidityChecks=29937043  nbPropagations=467792  nbRevisions=5366472
23.05	     nbUselessRevisions=4187955  nbAssignments=12625  nbFailedAssignments=6728  nbBacktracks=5823  nbVisitedNodes=22818
23.05	     nbRestartNogoods=94
23.05	       =>  wckTime=21.136  cpuTime=21.01  mem=35M612
34.23	   
34.23	   search
34.23	     run=14  nbConstraintChecks=24895864  nbValidityChecks=46306675  nbPropagations=707906  nbRevisions=8099872
34.23	     nbUselessRevisions=6308341  nbAssignments=19300  nbFailedAssignments=10478  nbBacktracks=8744  nbVisitedNodes=35115
34.23	     nbRestartNogoods=110
34.23	       =>  wckTime=32.313  cpuTime=32.18  mem=35M612
50.41	   
50.41	   search
50.41	     run=15  nbConstraintChecks=37316432  nbValidityChecks=70295521  nbPropagations=1073318  nbRevisions=12362082
50.41	     nbUselessRevisions=9644828  nbAssignments=30016  nbFailedAssignments=16811  nbBacktracks=13123
50.41	     nbVisitedNodes=55026  nbRestartNogoods=119
50.41	       =>  wckTime=48.493  cpuTime=48.36  mem=35M612
71.73	   
71.73	   search
71.73	     run=16  nbConstraintChecks=53734928  nbValidityChecks=100516900  nbPropagations=1596025  nbRevisions=18419370
71.73	     nbUselessRevisions=14379206  nbAssignments=42598  nbFailedAssignments=22821  nbBacktracks=19691
71.73	     nbVisitedNodes=77222  nbRestartNogoods=131
71.73	       =>  wckTime=69.814  cpuTime=69.65  mem=35M612
119.78	   
119.78	   search
119.78	     run=17  nbConstraintChecks=91052437  nbValidityChecks=171129898  nbPropagations=2440988  nbRevisions=28509369
119.78	     nbUselessRevisions=22294904  nbAssignments=69233  nbFailedAssignments=39599  nbBacktracks=29543
119.78	     nbVisitedNodes=127853  nbRestartNogoods=145
119.78	       =>  wckTime=117.862  cpuTime=117.67  mem=35M612
171.24	   
171.24	   search
171.24	     run=18  nbConstraintChecks=131140390  nbValidityChecks=249213759  nbPropagations=3706144  nbRevisions=43508053
171.24	     nbUselessRevisions=34060157  nbAssignments=104706  nbFailedAssignments=60287  nbBacktracks=44322
171.24	     nbVisitedNodes=193642  nbRestartNogoods=158
171.24	       =>  wckTime=169.319  cpuTime=169.1  mem=35M612
248.23	   
248.23	   search
248.23	     run=19  nbConstraintChecks=191717896  nbValidityChecks=362929593  nbPropagations=5577539  nbRevisions=65168835
248.23	     nbUselessRevisions=51005278  nbAssignments=155366  nbFailedAssignments=88773  nbBacktracks=66492
248.23	     nbVisitedNodes=286393  nbRestartNogoods=177
248.23	       =>  wckTime=246.315  cpuTime=246.05  mem=35M612
358.62	   
358.62	   search
358.62	     run=20  nbConstraintChecks=277346930  nbValidityChecks=522165891  nbPropagations=8279854  nbRevisions=96275170
358.62	     nbUselessRevisions=75282688  nbAssignments=220927  nbFailedAssignments=121076  nbBacktracks=99744
358.62	     nbVisitedNodes=403489  nbRestartNogoods=197
358.62	       =>  wckTime=356.701  cpuTime=356.37  mem=35M612
521.18	   
521.18	   search
521.18	     run=21  nbConstraintChecks=403942783  nbValidityChecks=763004788  nbPropagations=12307615  nbRevisions=141959936
521.18	     nbUselessRevisions=111031292  nbAssignments=334588  nbFailedAssignments=184851  nbBacktracks=149625
521.18	     nbVisitedNodes=610765  nbRestartNogoods=222
521.18	       =>  wckTime=519.266  cpuTime=518.84  mem=35M612
774.94	   
774.94	   search
774.94	     run=22  nbConstraintChecks=600831030  nbValidityChecks=1132495333  nbPropagations=18260831  nbRevisions=209712708
774.94	     nbUselessRevisions=163911472  nbAssignments=488292  nbFailedAssignments=263731  nbBacktracks=224445
774.94	     nbVisitedNodes=887459  nbRestartNogoods=245
774.94	       =>  wckTime=773.022  cpuTime=772.46  mem=35M612
1164.49	   
1164.49	   search
1164.49	     run=23  nbConstraintChecks=905908753  nbValidityChecks=1709268602  nbPropagations=27205305  nbRevisions=311600718
1164.49	     nbUselessRevisions=243457337  nbAssignments=735451  nbFailedAssignments=398657  nbBacktracks=336673
1164.49	     nbVisitedNodes=1338229  nbRestartNogoods=257
1164.49	       =>  wckTime=1162.569  cpuTime=1161.78  mem=35M612
1778.81	   
1778.81	   search
1778.81	     run=24  nbConstraintChecks=1387266977  nbValidityChecks=2622723064  nbPropagations=40818898  nbRevisions=467725320
1778.81	     nbUselessRevisions=365206516  nbAssignments=1121496  nbFailedAssignments=616355  nbBacktracks=505016
1778.81	     nbVisitedNodes=2047833  nbRestartNogoods=286
1778.81	       =>  wckTime=1776.897  cpuTime=1775.83  mem=35M612

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/node48/watcher-196118-1168070443 -o ROOT/results/node48/solver-196118-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196118-1168070443/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.92 0.98 0.99 4/65 30002
/proc/meminfo: memFree=1699960/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=18540 CPUtime=0
/proc/30001/stat : 30001 (runsolver) R 29999 30001 29362 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155443041 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30001/statm: 4635 279 244 17 0 2626 0

[startup+0.10488 s]
/proc/loadavg: 0.92 0.98 0.99 4/65 30002
/proc/meminfo: memFree=1699960/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=9908 CPUtime=0
/proc/30001/stat : 30001 (java) D 29999 30001 29362 0 -1 0 681 0 15 0 0 0 0 0 18 0 1 0 155443041 10145792 453 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 3531556 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/30001/statm: 2477 453 369 14 0 1142 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9908

[startup+0.512921 s]
/proc/loadavg: 0.92 0.98 0.99 4/65 30002
/proc/meminfo: memFree=1699960/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915120 CPUtime=0.19
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 3738 0 71 0 15 4 0 0 17 0 8 0 155443041 937082880 3554 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153795320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30001/statm: 228780 3554 1747 14 0 215275 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 915120

[startup+1.334 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1636992/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915328 CPUtime=0.98
/proc/30001/stat : 30001 (java) S 29999 30001 29362 0 -1 0 17520 0 81 0 86 12 0 0 17 0 8 0 155443041 937295872 17339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30001/statm: 228832 17343 2146 14 0 215302 0
[pid=30001/tid=30003] ppid=29999 vsize=915328 CPUtime=0.01
/proc/30001/task/30003/stat : 30003 (java) R 29999 30001 29362 0 -1 64 1198 0 0 0 1 0 0 0 16 0 8 0 155443062 937295872 17346 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 155443062 937295872 17349 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155443062 937295872 17352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937295872 17355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915328 CPUtime=0.06
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 307 0 0 0 6 0 0 0 16 0 8 0 155443072 937295872 17358 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937295872 17361 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937295872 17364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 915328

[startup+2.98615 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1595392/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=2.62
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23380 0 82 0 247 15 0 0 17 0 8 0 155443041 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073774976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30001/statm: 228854 23196 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 15 0 8 0 155443062 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.16
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 372 0 0 0 16 0 0 0 15 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 915416

[startup+6.28144 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1595264/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=5.9
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23399 0 82 0 575 15 0 0 18 0 8 0 155443041 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073779641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23210 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 17 0 8 0 155443062 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.2
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 915416

[startup+12.759 s]
/proc/loadavg: 0.94 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1595272/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=12.37
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23405 0 82 0 1222 15 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 915416

[startup+25.5992 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 30075
/proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=25.2
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23405 0 82 0 2503 17 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915416

[startup+51.2016 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 30133
/proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=50.78
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 5057 21 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073817584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915416

[startup+102.502 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 30183
/proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=102.06
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 10177 29 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915416

[startup+162.53 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 30207
/proc/meminfo: memFree=1595080/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=162.03
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 16173 30 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073759211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 915416

[startup+1482.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30209
/proc/meminfo: memFree=1595016/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1481.57
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 148125 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073768445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 915416

[startup+1542.83 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1541.55
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 154123 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755988 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 915416

[startup+1602.85 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1601.55
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 160123 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 915416

[startup+1662.86 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1661.54
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 166122 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 915416

[startup+1722.87 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1721.54
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 172122 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073817636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 915416

[startup+1782.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30209
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1781.53
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 178121 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.38 s]
/proc/loadavg: 1.08 1.02 1.01 2/72 30209
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1800.03
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 179971 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1801.42
CPU time (s): 1800.07
CPU user time (s): 1799.73
CPU system time (s): 0.344947
CPU usage (%): 99.9253
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23423
page faults= 82
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37434
involuntary context switches= 40120

runsolver used 2.17167 s user time and 4.26535 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Jan  6 08:00:43 UTC 2007


IDJOB= 196118
IDBENCH= 3327
FILE ID= node48/196118-1168070443

PBS_JOBID= 3475628

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4e6c42cb632ce7285d1803ee4c764767

RANDOM SEED= 407651258

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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1700376 kB
Buffers:         27628 kB
Cached:         240156 kB
SwapCached:          0 kB
Active:          41132 kB
Inactive:       242084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4620 kB
Writeback:           0 kB
Mapped:          25604 kB
Slab:            58332 kB
Committed_AS:  3049776 kB
PageTables:       1388 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= 66557 MiB



End job on node48 on Sat Jan  6 08:30:47 UTC 2007