Trace number 206371

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.1 1813.82

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-9_ext.xml
MD5SUMe2e8a8340b13797e86b3854763e864ee
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 variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/206371-1168172192/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.102  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
1.61	   
1.61	   constraints being loaded...
2.40	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.40	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.40	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.40	       =>  wckTime=2.079  cpuTime=1.66  mem=56M957
2.56	   
2.56	   solver IterativeSystematicSolver being built... 
2.74	       =>  wckTime=2.422  cpuTime=1.8  mem=65M47
2.90	   
2.90	   preprocessing
2.90	     nbConstraintChecks=52291  nbValidityChecks=83554  nbPropagations=272  nbRevisions=2909  nbUselessRevisions=2536
2.90	     nbSingletonTests=37  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.90	       =>  wckTime=0.152  cpuTime=0.12  mem=65M47
2.97	   
2.97	   search
2.97	     run=0  nbConstraintChecks=33548  nbValidityChecks=59623  nbPropagations=579  nbRevisions=6302
2.97	     nbUselessRevisions=5218  nbAssignments=31  nbFailedAssignments=13  nbBacktracks=11  nbVisitedNodes=52
2.97	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.97	       =>  wckTime=0.227  cpuTime=0.19  mem=66M56
3.10	   
3.10	   search
3.10	     run=1  nbConstraintChecks=100164  nbValidityChecks=182422  nbPropagations=1677  nbRevisions=19495
3.10	     nbUselessRevisions=15947  nbAssignments=73  nbFailedAssignments=32  nbBacktracks=26  nbVisitedNodes=123
3.10	     nbRestartNogoods=1  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.10	       =>  wckTime=0.353  cpuTime=0.3  mem=66M56
3.21	   
3.21	   search
3.21	     run=2  nbConstraintChecks=154525  nbValidityChecks=282382  nbPropagations=3279  nbRevisions=38643
3.21	     nbUselessRevisions=31489  nbAssignments=124  nbFailedAssignments=51  nbBacktracks=51  nbVisitedNodes=204
3.21	     nbRestartNogoods=7  mapSize=37  nbInferences=0  nbTooLargeKeys=0
3.21	       =>  wckTime=0.467  cpuTime=0.4  mem=66M56
3.48	   
3.48	   search
3.48	     run=3  nbConstraintChecks=304419  nbValidityChecks=583514  nbPropagations=6467  nbRevisions=77437
3.48	     nbUselessRevisions=62757  nbAssignments=228  nbFailedAssignments=113  nbBacktracks=85  nbVisitedNodes=396
3.48	     nbRestartNogoods=10  mapSize=70  nbInferences=0  nbTooLargeKeys=0
3.48	       =>  wckTime=0.731  cpuTime=0.66  mem=66M56
3.73	   
3.73	   search
3.73	     run=4  nbConstraintChecks=446358  nbValidityChecks=867672  nbPropagations=11289  nbRevisions=134933
3.73	     nbUselessRevisions=108677  nbAssignments=329  nbFailedAssignments=158  nbBacktracks=135  nbVisitedNodes=574
3.73	     nbRestartNogoods=15  mapSize=115  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=0.988  cpuTime=0.92  mem=66M56
4.09	   
4.09	   search
4.09	     run=5  nbConstraintChecks=666249  nbValidityChecks=1282209  nbPropagations=18091  nbRevisions=215534
4.09	     nbUselessRevisions=172571  nbAssignments=485  nbFailedAssignments=232  nbBacktracks=211  nbVisitedNodes=847
4.09	     nbRestartNogoods=21  mapSize=174  nbInferences=0  nbTooLargeKeys=0
4.09	       =>  wckTime=1.348  cpuTime=1.27  mem=66M56
4.66	   
4.66	   search
4.66	     run=6  nbConstraintChecks=976740  nbValidityChecks=1906832  nbPropagations=28824  nbRevisions=339990
4.66	     nbUselessRevisions=270795  nbAssignments=755  nbFailedAssignments=382  nbBacktracks=325  nbVisitedNodes=1339
4.66	     nbRestartNogoods=25  mapSize=271  nbInferences=0  nbTooLargeKeys=0
4.66	       =>  wckTime=1.916  cpuTime=1.83  mem=66M56
6.40	   
6.40	   search
6.40	     run=7  nbConstraintChecks=2027268  nbValidityChecks=3904916  nbPropagations=47622  nbRevisions=574648
6.40	     nbUselessRevisions=455497  nbAssignments=1321  nbFailedAssignments=771  nbBacktracks=495  nbVisitedNodes=2429
6.40	     nbRestartNogoods=29  mapSize=433  nbInferences=0  nbTooLargeKeys=0
6.40	       =>  wckTime=3.658  cpuTime=3.55  mem=66M56
8.11	   
8.11	   search
8.11	     run=8  nbConstraintChecks=3027987  nbValidityChecks=5930059  nbPropagations=77731  nbRevisions=946713
8.11	     nbUselessRevisions=748449  nbAssignments=2217  nbFailedAssignments=1383  nbBacktracks=751  nbVisitedNodes=4106
8.11	     nbRestartNogoods=41  mapSize=670  nbInferences=0  nbTooLargeKeys=0
8.11	       =>  wckTime=5.365  cpuTime=5.22  mem=66M56
10.56	   
10.56	   search
10.56	     run=9  nbConstraintChecks=4579318  nbValidityChecks=8801029  nbPropagations=120836  nbRevisions=1476177
10.56	     nbUselessRevisions=1164899  nbAssignments=3228  nbFailedAssignments=2002  nbBacktracks=1135  nbVisitedNodes=5987
10.56	     nbRestartNogoods=50  mapSize=1005  nbInferences=0  nbTooLargeKeys=0
10.56	       =>  wckTime=7.81  cpuTime=7.64  mem=66M56
10.67	   
10.67	   INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=66M56)
14.21	   
14.21	   search
14.21	     run=10  nbConstraintChecks=6890755  nbValidityChecks=13186430  nbPropagations=185070  nbRevisions=2282093
14.21	     nbUselessRevisions=1800933  nbAssignments=4632  nbFailedAssignments=2809  nbBacktracks=1711  nbVisitedNodes=8612
14.21	     nbRestartNogoods=54
14.21	       =>  wckTime=11.464  cpuTime=11.26  mem=66M56
19.31	   
19.31	   search
19.31	     run=11  nbConstraintChecks=9882053  nbValidityChecks=19146530  nbPropagations=283092  nbRevisions=3474462
19.31	     nbUselessRevisions=2737975  nbAssignments=6818  nbFailedAssignments=4122  nbBacktracks=2576  nbVisitedNodes=12729
19.31	     nbRestartNogoods=72
19.31	       =>  wckTime=16.561  cpuTime=16.28  mem=66M56
26.99	   
26.99	   search
26.99	     run=12  nbConstraintChecks=14616356  nbValidityChecks=28106474  nbPropagations=426487  nbRevisions=5244730
26.99	     nbUselessRevisions=4133123  nbAssignments=10062  nbFailedAssignments=6061  nbBacktracks=3875  nbVisitedNodes=18757
26.99	     nbRestartNogoods=81
26.99	       =>  wckTime=24.25  cpuTime=23.9  mem=66M56
36.27	   
36.27	   search
36.27	     run=13  nbConstraintChecks=20128080  nbValidityChecks=39350688  nbPropagations=642575  nbRevisions=7853310
36.27	     nbUselessRevisions=6179843  nbAssignments=15200  nbFailedAssignments=9245  nbBacktracks=5821  nbVisitedNodes=28481
36.27	     nbRestartNogoods=93
36.27	       =>  wckTime=33.521  cpuTime=33.06  mem=66M56
58.01	   
58.01	   search
58.01	     run=14  nbConstraintChecks=33630739  nbValidityChecks=65240845  nbPropagations=972096  nbRevisions=12001089
58.01	     nbUselessRevisions=9451571  nbAssignments=23618  nbFailedAssignments=14736  nbBacktracks=8741  nbVisitedNodes=44494
58.01	     nbRestartNogoods=102
58.01	       =>  wckTime=55.27  cpuTime=54.61  mem=66M56
84.47	   
84.47	   search
84.47	     run=15  nbConstraintChecks=49544655  nbValidityChecks=96301227  nbPropagations=1469318  nbRevisions=18201455
84.47	     nbUselessRevisions=14323833  nbAssignments=35070  nbFailedAssignments=21803  nbBacktracks=13119
84.47	     nbVisitedNodes=66209  nbRestartNogoods=116
84.47	       =>  wckTime=81.729  cpuTime=80.82  mem=66M56
126.37	   
126.37	   search
126.37	     run=16  nbConstraintChecks=75756452  nbValidityChecks=147850452  nbPropagations=2223629  nbRevisions=27709168
126.37	     nbUselessRevisions=21812345  nbAssignments=56804  nbFailedAssignments=36960  nbBacktracks=19687
126.37	     nbVisitedNodes=107751  nbRestartNogoods=124
126.37	       =>  wckTime=123.626  cpuTime=122.31  mem=66M56
173.92	   
173.92	   search
173.92	     run=17  nbConstraintChecks=104163388  nbValidityChecks=205256446  nbPropagations=3333515  nbRevisions=41381361
173.92	     nbUselessRevisions=32547472  nbAssignments=82460  nbFailedAssignments=52745  nbBacktracks=29539
173.92	     nbVisitedNodes=156097  nbRestartNogoods=139
173.92	       =>  wckTime=171.175  cpuTime=169.42  mem=66M56
251.63	   
251.63	   search
251.63	     run=18  nbConstraintChecks=151052041  nbValidityChecks=296113943  nbPropagations=4954133  nbRevisions=61192287
251.63	     nbUselessRevisions=48107450  nbAssignments=117154  nbFailedAssignments=72652  nbBacktracks=44319
251.63	     nbVisitedNodes=220486  nbRestartNogoods=146
251.63	       =>  wckTime=248.89  cpuTime=246.37  mem=66M56
379.42	   
379.42	   search
379.42	     run=19  nbConstraintChecks=228712932  nbValidityChecks=446146255  nbPropagations=7359606  nbRevisions=90538385
379.42	     nbUselessRevisions=71141704  nbAssignments=168564  nbFailedAssignments=101887  nbBacktracks=66487
379.42	     nbVisitedNodes=315740  nbRestartNogoods=159
379.42	       =>  wckTime=376.675  cpuTime=372.98  mem=66M56
579.40	   
579.40	   search
579.40	     run=20  nbConstraintChecks=352938489  nbValidityChecks=690447179  nbPropagations=11007058  nbRevisions=134587272
579.40	     nbUselessRevisions=105657389  nbAssignments=259978  nbFailedAssignments=160015  nbBacktracks=99740
579.40	     nbVisitedNodes=487787  nbRestartNogoods=179
579.40	       =>  wckTime=576.656  cpuTime=570.37  mem=66M56
877.03	   
877.03	   search
877.03	     run=21  nbConstraintChecks=536860430  nbValidityChecks=1042615065  nbPropagations=16449322  nbRevisions=200584292
877.03	     nbUselessRevisions=157442606  nbAssignments=377699  nbFailedAssignments=227851  nbBacktracks=149618
877.03	     nbVisitedNodes=707425  nbRestartNogoods=195
877.03	       =>  wckTime=874.29  cpuTime=864.4  mem=66M56
1261.94	   
1261.95	   search
1261.95	     run=22  nbConstraintChecks=780155016  nbValidityChecks=1529694309  nbPropagations=24657573  nbRevisions=299381740
1261.95	     nbUselessRevisions=234859907  nbAssignments=575825  nbFailedAssignments=351151  nbBacktracks=224436
1261.95	     nbVisitedNodes=1081111  nbRestartNogoods=215
1261.95	       =>  wckTime=1259.2  cpuTime=1246.79  mem=66M56

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/node4/watcher-206371-1168172192 -o ROOT/results/node4/solver-206371-1168172192 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206371-1168172192/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.92 1.98 1.98 4/95 15998
/proc/meminfo: memFree=1154408/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=9748 CPUtime=0
/proc/15997/stat : 15997 (java) D 15995 15997 15930 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 165614830 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15997/statm: 2487 472 386 14 0 1142 0

[startup+0.104227 s]
/proc/loadavg: 1.92 1.98 1.98 4/95 15998
/proc/meminfo: memFree=1154408/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=914988 CPUtime=0.08
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 165614830 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512265 s]
/proc/loadavg: 1.92 1.98 1.98 4/95 15998
/proc/meminfo: memFree=1154408/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915328 CPUtime=0.5
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 7354 0 1 0 45 5 0 0 18 0 8 0 165614830 937295872 7093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154296849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228832 7093 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33435 s]
/proc/loadavg: 1.92 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1087088/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915328 CPUtime=1.31
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 19098 0 1 0 120 11 0 0 25 0 8 0 165614830 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228832 18836 2149 14 0 215302 0
[pid=15997/tid=15999] ppid=15995 vsize=915328 CPUtime=0.05
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165614834 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915328 CPUtime=0.07
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915328 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.9785 s]
/proc/loadavg: 1.93 1.98 1.98 4/102 16005
/proc/meminfo: memFree=1054576/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=2.94
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32442 0 1 0 277 17 0 0 25 0 8 0 165614830 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32177 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 17 0 8 0 165614834 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.19
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32177 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440

[startup+6.18681 s]
/proc/loadavg: 1.93 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035120/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=6.11
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32455 0 1 0 594 17 0 0 25 0 8 0 165614830 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32188 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 17 0 8 0 165614834 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.22
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915440

[startup+12.6634 s]
/proc/loadavg: 1.94 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035312/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=12.52
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32472 0 1 0 1234 18 0 0 25 0 8 0 165614830 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32202 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915440

[startup+25.5387 s]
/proc/loadavg: 1.95 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035440/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=25.27
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32474 0 1 0 2508 19 0 0 25 0 8 0 165614830 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32204 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915440

[startup+51.1771 s]
/proc/loadavg: 1.96 1.98 1.98 3/102 16005
/proc/meminfo: memFree=1035504/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=50.64
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32474 0 1 0 5045 19 0 0 25 0 8 0 165614830 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32204 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915440

[startup+102.447 s]
/proc/loadavg: 1.98 1.98 1.98 3/102 16007
/proc/meminfo: memFree=1035248/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=101.44
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32474 0 1 0 10125 19 0 0 25 0 8 0 165614830 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15997/statm: 228860 32204 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915440

[startup+162.48 s]
/proc/loadavg: 1.99 1.98 1.98 3/102 16007
/proc/meminfo: memFree=1035248/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=160.89
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32475 0 1 0 16069 20 0 0 25 0 8 0 165614830 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1410.87
Current children cumulated vsize (KiB) 915440

[startup+1483.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461576/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1470.84
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 147049 35 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.84
Current children cumulated vsize (KiB) 915440

[startup+1543.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1530.79
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 153044 35 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.79
Current children cumulated vsize (KiB) 915440

[startup+1603.44 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1590.74
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 159039 35 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.74
Current children cumulated vsize (KiB) 915440

[startup+1663.45 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461512/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1650.55
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 165019 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (KiB) 915440

[startup+1723.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461448/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1710.23
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 170987 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.23
Current children cumulated vsize (KiB) 915440

[startup+1783.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 16065
/proc/meminfo: memFree=1461448/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1769.9
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 176954 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.9
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.75 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 16065
/proc/meminfo: memFree=1461448/2055920 swapFree=4182144/4192956
[pid=15997] ppid=15995 vsize=915440 CPUtime=1800.03
/proc/15997/stat : 15997 (java) R 15995 15997 15930 0 -1 0 32477 0 1 0 179967 36 0 0 25 0 8 0 165614830 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15997/statm: 228860 32206 2531 14 0 215330 0
[pid=15997/tid=15999] ppid=15995 vsize=915440 CPUtime=0.46
/proc/15997/task/15999/stat : 15999 (java) S 15995 15997 15930 0 -1 64 15453 0 0 0 40 6 0 0 16 0 8 0 165614834 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16000] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16000/stat : 16000 (java) S 15995 15997 15930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16001] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16001/stat : 16001 (java) S 15995 15997 15930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165614835 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16002] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16002/stat : 16002 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16003] ppid=15995 vsize=915440 CPUtime=0.25
/proc/15997/task/16003/stat : 16003 (java) S 15995 15997 15930 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15997/tid=16004] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16004/stat : 16004 (java) S 15995 15997 15930 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15997/tid=16005] ppid=15995 vsize=915440 CPUtime=0
/proc/15997/task/16005/stat : 16005 (java) S 15995 15997 15930 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165614838 937410560 32206 18446744073709551615 134512640 134570532 4294956464 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) 915440

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

Child status: 143
Real time (s): 1813.82
CPU time (s): 1800.1
CPU user time (s): 1799.71
CPU system time (s): 0.387941
CPU usage (%): 99.2437
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.387941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37853
involuntary context switches= 71540

runsolver used 2.91656 s user time and 7.08892 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sun Jan  7 12:16:33 UTC 2007


IDJOB= 206371
IDBENCH= 4203
FILE ID= node4/206371-1168172192

PBS_JOBID= 3478843

Free space on /tmp= 66294 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206371-1168172192/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-206371-1168172192 -o ROOT/results/node4/solver-206371-1168172192 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206371-1168172192/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e2e8a8340b13797e86b3854763e864ee

RANDOM SEED= 661676448

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.223
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.223
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:       1154888 kB
Buffers:         42708 kB
Cached:         211200 kB
SwapCached:       2520 kB
Active:         686920 kB
Inactive:       159664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1154888 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            7648 kB
Writeback:           0 kB
Mapped:         611060 kB
Slab:            37904 kB
Committed_AS:  5012364 kB
PageTables:       3600 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= 66295 MiB



End job on node4 on Sun Jan  7 12:46:47 UTC 2007