Trace number 203235

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.08 1802.13

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-49_ext.xml
MD5SUM92a99292a229da69be6d44bfb207d02f
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/203235-1168158178/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.57	   
1.57	   constraints being loaded...
2.35	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.35	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.35	     nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
2.35	       =>  wckTime=2.024  cpuTime=1.6  mem=58M36
2.51	   
2.51	   solver IterativeSystematicSolver being built... 
2.68	       =>  wckTime=2.361  cpuTime=1.76  mem=65M618
2.84	   
2.84	   preprocessing
2.84	     nbConstraintChecks=53829  nbValidityChecks=87362  nbPropagations=276  nbRevisions=3227  nbUselessRevisions=2797
2.84	     nbSingletonTests=37  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.84	       =>  wckTime=0.148  cpuTime=0.11  mem=65M618
2.95	   
2.95	   search
2.95	     run=0  nbConstraintChecks=52909  nbValidityChecks=108497  nbPropagations=777  nbRevisions=9536
2.95	     nbUselessRevisions=8000  nbAssignments=44  nbFailedAssignments=26  nbBacktracks=12  nbVisitedNodes=79
2.95	     nbRestartNogoods=0  mapSize=12  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=0.263  cpuTime=0.22  mem=66M626
3.07	   
3.07	   search
3.07	     run=1  nbConstraintChecks=110262  nbValidityChecks=229588  nbPropagations=2047  nbRevisions=25844
3.07	     nbUselessRevisions=21578  nbAssignments=90  nbFailedAssignments=48  nbBacktracks=27  nbVisitedNodes=158
3.07	     nbRestartNogoods=2  mapSize=26  nbInferences=0  nbTooLargeKeys=0
3.07	       =>  wckTime=0.378  cpuTime=0.33  mem=66M626
3.21	   
3.21	   search
3.21	     run=2  nbConstraintChecks=185163  nbValidityChecks=394426  nbPropagations=4005  nbRevisions=51637
3.21	     nbUselessRevisions=43064  nbAssignments=165  nbFailedAssignments=85  nbBacktracks=49  nbVisitedNodes=272
3.21	     nbRestartNogoods=7  mapSize=44  nbInferences=0  nbTooLargeKeys=0
3.21	       =>  wckTime=0.52  cpuTime=0.46  mem=66M626
3.37	   
3.37	   search
3.37	     run=3  nbConstraintChecks=280810  nbValidityChecks=591263  nbPropagations=6854  nbRevisions=89179
3.37	     nbUselessRevisions=74267  nbAssignments=249  nbFailedAssignments=130  nbBacktracks=82  nbVisitedNodes=422
3.37	     nbRestartNogoods=9  mapSize=71  nbInferences=0  nbTooLargeKeys=0
3.37	       =>  wckTime=0.686  cpuTime=0.63  mem=66M626
3.72	   
3.72	   search
3.72	     run=4  nbConstraintChecks=471961  nbValidityChecks=978058  nbPropagations=11465  nbRevisions=149613
3.72	     nbUselessRevisions=123826  nbAssignments=404  nbFailedAssignments=228  nbBacktracks=134  nbVisitedNodes=709
3.72	     nbRestartNogoods=13  mapSize=118  nbInferences=0  nbTooLargeKeys=0
3.72	       =>  wckTime=1.027  cpuTime=0.96  mem=66M626
4.29	   
4.29	   search
4.29	     run=5  nbConstraintChecks=811119  nbValidityChecks=1667779  nbPropagations=18721  nbRevisions=246912
4.29	     nbUselessRevisions=203559  nbAssignments=673  nbFailedAssignments=393  nbBacktracks=210  nbVisitedNodes=1171
4.29	     nbRestartNogoods=22  mapSize=180  nbInferences=0  nbTooLargeKeys=0
4.29	       =>  wckTime=1.601  cpuTime=1.52  mem=66M626
5.11	   
5.11	   search
5.11	     run=6  nbConstraintChecks=1289137  nbValidityChecks=2638869  nbPropagations=29909  nbRevisions=398083
5.11	     nbUselessRevisions=326861  nbAssignments=1016  nbFailedAssignments=580  nbBacktracks=323  nbVisitedNodes=1736
5.11	     nbRestartNogoods=29  mapSize=282  nbInferences=0  nbTooLargeKeys=0
5.11	       =>  wckTime=2.425  cpuTime=2.33  mem=66M626
6.00	   
6.00	   search
6.00	     run=7  nbConstraintChecks=1800219  nbValidityChecks=3673979  nbPropagations=45748  nbRevisions=607462
6.00	     nbUselessRevisions=497167  nbAssignments=1400  nbFailedAssignments=787  nbBacktracks=493  nbVisitedNodes=2430
6.00	     nbRestartNogoods=31  mapSize=425  nbInferences=0  nbTooLargeKeys=0
6.00	       =>  wckTime=3.318  cpuTime=3.21  mem=66M626
8.12	   
8.12	   search
8.12	     run=8  nbConstraintChecks=3087648  nbValidityChecks=6370170  nbPropagations=72201  nbRevisions=964222
8.12	     nbUselessRevisions=786356  nbAssignments=2514  nbFailedAssignments=1627  nbBacktracks=750  nbVisitedNodes=4554
8.12	     nbRestartNogoods=40  mapSize=658  nbInferences=0  nbTooLargeKeys=0
8.12	       =>  wckTime=5.43  cpuTime=5.28  mem=66M626
10.29	   
10.29	   search
10.29	     run=9  nbConstraintChecks=4347249  nbValidityChecks=9116331  nbPropagations=111593  nbRevisions=1488604
10.29	     nbUselessRevisions=1212858  nbAssignments=3634  nbFailedAssignments=2303  nbBacktracks=1134  nbVisitedNodes=6568
10.29	     nbRestartNogoods=55  mapSize=1023  nbInferences=0  nbTooLargeKeys=0
10.29	       =>  wckTime=7.602  cpuTime=7.42  mem=66M626
10.39	   
10.39	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=66M626)
13.69	   
13.69	   search
13.69	     run=10  nbConstraintChecks=6315787  nbValidityChecks=13196520  nbPropagations=170560  nbRevisions=2257849
13.69	     nbUselessRevisions=1835541  nbAssignments=5041  nbFailedAssignments=3125  nbBacktracks=1711  nbVisitedNodes=9219
13.69	     nbRestartNogoods=59
13.69	       =>  wckTime=11.001  cpuTime=10.79  mem=66M626
18.45	   
18.45	   search
18.45	     run=11  nbConstraintChecks=9211523  nbValidityChecks=19370575  nbPropagations=255568  nbRevisions=3386145
18.45	     nbUselessRevisions=2753064  nbAssignments=7510  nbFailedAssignments=4725  nbBacktracks=2575  nbVisitedNodes=13831
18.45	     nbRestartNogoods=71
18.45	       =>  wckTime=15.764  cpuTime=15.5  mem=66M626
26.08	   
26.08	   search
26.08	     run=12  nbConstraintChecks=13838817  nbValidityChecks=28918116  nbPropagations=383162  nbRevisions=5076572
26.08	     nbUselessRevisions=4124295  nbAssignments=10902  nbFailedAssignments=6814  nbBacktracks=3872  nbVisitedNodes=20184
26.08	     nbRestartNogoods=76
26.08	       =>  wckTime=23.398  cpuTime=23.07  mem=66M626
36.26	   
36.26	   search
36.26	     run=13  nbConstraintChecks=20183916  nbValidityChecks=42228305  nbPropagations=575083  nbRevisions=7590328
36.26	     nbUselessRevisions=6160722  nbAssignments=15756  nbFailedAssignments=9715  nbBacktracks=5819  nbVisitedNodes=29333
36.26	     nbRestartNogoods=88
36.26	       =>  wckTime=33.574  cpuTime=33.23  mem=66M626
52.65	   
52.65	   search
52.65	     run=14  nbConstraintChecks=30566903  nbValidityChecks=63712039  nbPropagations=855415  nbRevisions=11337349
52.65	     nbUselessRevisions=9206702  nbAssignments=24210  nbFailedAssignments=15242  nbBacktracks=8738  nbVisitedNodes=45169
52.65	     nbRestartNogoods=100
52.65	       =>  wckTime=49.963  cpuTime=49.59  mem=66M626
74.99	   
74.99	   search
74.99	     run=15  nbConstraintChecks=45029976  nbValidityChecks=93839874  nbPropagations=1272510  nbRevisions=16853511
74.99	     nbUselessRevisions=13680213  nbAssignments=35096  nbFailedAssignments=21744  nbBacktracks=13117
74.99	     nbVisitedNodes=65474  nbRestartNogoods=113
74.99	       =>  wckTime=72.302  cpuTime=71.9  mem=66M626
107.29	   
107.29	   search
107.29	     run=16  nbConstraintChecks=65439827  nbValidityChecks=136166850  nbPropagations=1894009  nbRevisions=24938702
107.29	     nbUselessRevisions=20219054  nbAssignments=50426  nbFailedAssignments=30500  nbBacktracks=19686
107.29	     nbVisitedNodes=94028  nbRestartNogoods=129
107.29	       =>  wckTime=104.605  cpuTime=104.15  mem=66M626
156.65	   
156.65	   search
156.65	     run=17  nbConstraintChecks=96412263  nbValidityChecks=201286148  nbPropagations=2795844  nbRevisions=36800730
156.65	     nbUselessRevisions=29844227  nbAssignments=76238  nbFailedAssignments=46455  nbBacktracks=29539
156.65	     nbVisitedNodes=141792  nbRestartNogoods=136
156.65	       =>  wckTime=153.962  cpuTime=153.45  mem=66M626
236.85	   
236.85	   search
236.85	     run=18  nbConstraintChecks=146248087  nbValidityChecks=303843348  nbPropagations=4168568  nbRevisions=54815830
236.85	     nbUselessRevisions=44451774  nbAssignments=114611  nbFailedAssignments=70043  nbBacktracks=44317
236.85	     nbVisitedNodes=213342  nbRestartNogoods=146
236.85	       =>  wckTime=234.162  cpuTime=233.58  mem=66M626
358.05	   
358.05	   search
358.05	     run=19  nbConstraintChecks=221287055  nbValidityChecks=457918318  nbPropagations=6241024  nbRevisions=82078808
358.05	     nbUselessRevisions=66548775  nbAssignments=173467  nbFailedAssignments=106723  nbBacktracks=66487
358.05	     nbVisitedNodes=323783  nbRestartNogoods=158
358.05	       =>  wckTime=355.363  cpuTime=354.65  mem=66M626
543.35	   
543.35	   search
543.35	     run=20  nbConstraintChecks=333422724  nbValidityChecks=691722573  nbPropagations=9398774  nbRevisions=123411760
543.35	     nbUselessRevisions=100014543  nbAssignments=257275  nbFailedAssignments=157275  nbBacktracks=99740
543.35	     nbVisitedNodes=480760  nbRestartNogoods=173
543.35	       =>  wckTime=540.662  cpuTime=539.77  mem=66M626
801.99	   
801.99	   search
801.99	     run=21  nbConstraintChecks=494195321  nbValidityChecks=1030778437  nbPropagations=14030516  nbRevisions=184606819
801.99	     nbUselessRevisions=149681121  nbAssignments=389042  nbFailedAssignments=239156  nbBacktracks=149619
801.99	     nbVisitedNodes=725532  nbRestartNogoods=201
801.99	       =>  wckTime=799.299  cpuTime=798.17  mem=66M626
1214.49	   
1214.49	   search
1214.49	     run=22  nbConstraintChecks=745314129  nbValidityChecks=1551352515  nbPropagations=21066003  nbRevisions=276922059
1214.49	     nbUselessRevisions=224423430  nbAssignments=574698  nbFailedAssignments=349987  nbBacktracks=224437
1214.49	     nbVisitedNodes=1072085  nbRestartNogoods=215
1214.49	       =>  wckTime=1211.806  cpuTime=1210.24  mem=66M626
1784.38	   
1784.38	   search
1784.38	     run=23  nbConstraintChecks=1097525547  nbValidityChecks=2292927754  nbPropagations=31328568  nbRevisions=412243365
1784.38	     nbUselessRevisions=334204949  nbAssignments=865675  nbFailedAssignments=528719  nbBacktracks=336664
1784.38	     nbVisitedNodes=1609947  nbRestartNogoods=229
1784.38	       =>  wckTime=1781.69  cpuTime=1779.61  mem=66M626

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/node58/watcher-203235-1168158178 -o ROOT/results/node58/solver-203235-1168158178 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203235-1168158178/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.04 1.99 2/80 19929
/proc/meminfo: memFree=1227600/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=18540 CPUtime=0
/proc/19928/stat : 19928 (runsolver) R 19926 19928 19230 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164215926 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226238197031 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19928/statm: 4635 279 244 17 0 2626 0

[startup+0.103116 s]
/proc/loadavg: 2.00 2.04 1.99 2/80 19929
/proc/meminfo: memFree=1227600/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=912908 CPUtime=0.07
/proc/19928/stat : 19928 (java) S 19926 19928 19230 0 -1 0 2832 0 1 0 6 1 0 0 19 0 8 0 164215926 934817792 2578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228227 2578 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.51315 s]
/proc/loadavg: 2.00 2.04 1.99 2/80 19929
/proc/meminfo: memFree=1227600/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915328 CPUtime=0.48
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 7442 0 1 0 44 4 0 0 18 0 8 0 164215926 937295872 7181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228832 7181 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33422 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1160472/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915328 CPUtime=1.29
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 19099 0 1 0 118 11 0 0 25 0 8 0 164215926 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228832 18837 2149 14 0 215302 0
[pid=19928/tid=19930] ppid=19926 vsize=915328 CPUtime=0.05
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 164215930 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915328 CPUtime=0.07
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915328 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.97136 s]
/proc/loadavg: 2.00 2.04 1.99 4/87 19936
/proc/meminfo: memFree=1119960/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=2.91
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32572 0 1 0 273 18 0 0 25 0 8 0 164215926 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32307 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 17 0 8 0 164215930 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.19
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915440

[startup+6.26465 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1107864/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=6.17
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32589 0 1 0 599 18 0 0 25 0 8 0 164215926 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32321 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 17 0 8 0 164215930 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.24
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 388 0 0 0 22 2 0 0 16 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915440

[startup+12.7462 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1107992/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=12.59
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32604 0 1 0 1240 19 0 0 25 0 8 0 164215926 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32332 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915440

[startup+25.6273 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1108184/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=25.36
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32606 0 1 0 2517 19 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915440

[startup+51.2625 s]
/proc/loadavg: 2.15 2.07 2.00 3/88 20008
/proc/meminfo: memFree=976144/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=50.93
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32606 0 1 0 5074 19 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915440

[startup+102.53 s]
/proc/loadavg: 2.13 2.08 2.00 3/88 20008
/proc/meminfo: memFree=859088/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=102.14
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32606 0 1 0 10194 20 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915440

[startup+162.557 s]
/proc/loadavg: 2.05 2.06 2.00 3/81 20009
/proc/meminfo: memFree=1079944/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=162.1
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 16190 20 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=947016/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1481.34
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 148110 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.34
Current children cumulated vsize (KiB) 915440

[startup+1543.12 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=943688/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1541.31
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 154107 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.31
Current children cumulated vsize (KiB) 915440

[startup+1603.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=940808/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1601.28
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 160104 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.28
Current children cumulated vsize (KiB) 915440

[startup+1663.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=936520/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1661.24
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 166100 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 915440

[startup+1723.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 20009
/proc/meminfo: memFree=931912/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1721.22
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 172098 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.22
Current children cumulated vsize (KiB) 915440

[startup+1783.23 s]
/proc/loadavg: 2.05 2.01 2.00 3/81 20009
/proc/meminfo: memFree=926728/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1781.19
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 178095 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.19
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.07 s]
/proc/loadavg: 2.03 2.01 2.00 4/81 20009
/proc/meminfo: memFree=925768/2055920 swapFree=4192812/4192956
[pid=19928] ppid=19926 vsize=915440 CPUtime=1800.01
/proc/19928/stat : 19928 (java) R 19926 19928 19230 0 -1 0 32607 0 1 0 179977 24 0 0 25 0 8 0 164215926 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19928/statm: 228860 32334 2531 14 0 215330 0
[pid=19928/tid=19930] ppid=19926 vsize=915440 CPUtime=0.45
/proc/19928/task/19930/stat : 19930 (java) S 19926 19928 19230 0 -1 64 15581 0 0 0 39 6 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19931] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19931/stat : 19931 (java) S 19926 19928 19230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19932] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19932/stat : 19932 (java) S 19926 19928 19230 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164215930 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19933] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19933/stat : 19933 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19934] ppid=19926 vsize=915440 CPUtime=0.26
/proc/19928/task/19934/stat : 19934 (java) S 19926 19928 19230 0 -1 64 404 0 0 0 24 2 0 0 16 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19928/tid=19935] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19935/stat : 19935 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19928/tid=19936] ppid=19926 vsize=915440 CPUtime=0
/proc/19928/task/19936/stat : 19936 (java) S 19926 19928 19230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164215934 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1802.13
CPU time (s): 1800.08
CPU user time (s): 1799.81
CPU system time (s): 0.267959
CPU usage (%): 99.8862
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37606
involuntary context switches= 9720

runsolver used 2.68459 s user time and 5.31119 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Jan  7 08:23:00 UTC 2007


IDJOB= 203235
IDBENCH= 3939
FILE ID= node58/203235-1168158178

PBS_JOBID= 3478502

Free space on /tmp= 66543 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  92a99292a229da69be6d44bfb207d02f

RANDOM SEED= 865809653

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:       1228016 kB
Buffers:         39800 kB
Cached:         578184 kB
SwapCached:          0 kB
Active:         267540 kB
Inactive:       492196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1228016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7472 kB
Writeback:           0 kB
Mapped:         161984 kB
Slab:            53260 kB
Committed_AS:  3375364 kB
PageTables:       2004 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= 66509 MiB



End job on node58 on Sun Jan  7 08:53:02 UTC 2007