Trace number 206606

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.13 1800.79

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-14_ext.xml
MD5SUMd1ada6ee371b83aaf6d37e2247a61b93
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/206606-1168073930/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.40	       =>  wckTime=0.095  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
1.49	   
1.49	   constraints being loaded...
2.21	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.21	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.21	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.21	       =>  wckTime=1.911  cpuTime=1.54  mem=56M975
2.35	   
2.36	   solver IterativeSystematicSolver being built... 
2.51	       =>  wckTime=2.213  cpuTime=1.69  mem=65M75
2.52	   
2.52	   preprocessing
2.52	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.52	     detectedInconsistency=no
2.52	       =>  wckTime=0.0030  cpuTime=0.0  mem=65M75
2.68	   
2.68	   search
2.68	     run=0  nbConstraintChecks=55332  nbValidityChecks=107293  nbPropagations=598  nbRevisions=6697
2.68	     nbUselessRevisions=5343  nbAssignments=38  nbFailedAssignments=21  nbBacktracks=10  nbVisitedNodes=70
2.68	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.68	       =>  wckTime=0.161  cpuTime=0.13  mem=65M75
2.80	   
2.80	   search
2.80	     run=1  nbConstraintChecks=120270  nbValidityChecks=231108  nbPropagations=1804  nbRevisions=20862
2.80	     nbUselessRevisions=16623  nbAssignments=89  nbFailedAssignments=48  nbBacktracks=28  nbVisitedNodes=158
2.80	     nbRestartNogoods=6  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=0.281  cpuTime=0.24  mem=65M75
2.91	   
2.91	   search
2.91	     run=2  nbConstraintChecks=183132  nbValidityChecks=354570  nbPropagations=3680  nbRevisions=43040
2.91	     nbUselessRevisions=34282  nbAssignments=140  nbFailedAssignments=72  nbBacktracks=51  nbVisitedNodes=246
2.91	     nbRestartNogoods=9  mapSize=45  nbInferences=0  nbTooLargeKeys=0
2.91	       =>  wckTime=0.399  cpuTime=0.35  mem=65M75
3.06	   
3.06	   search
3.06	     run=3  nbConstraintChecks=267753  nbValidityChecks=523704  nbPropagations=6407  nbRevisions=76515
3.06	     nbUselessRevisions=61175  nbAssignments=215  nbFailedAssignments=104  nbBacktracks=87  nbVisitedNodes=374
3.06	     nbRestartNogoods=10  mapSize=76  nbInferences=0  nbTooLargeKeys=0
3.06	       =>  wckTime=0.542  cpuTime=0.49  mem=65M75
3.28	   
3.28	   search
3.28	     run=4  nbConstraintChecks=406003  nbValidityChecks=790877  nbPropagations=10694  nbRevisions=128893
3.28	     nbUselessRevisions=103273  nbAssignments=342  nbFailedAssignments=173  nbBacktracks=137  nbVisitedNodes=602
3.28	     nbRestartNogoods=14  mapSize=124  nbInferences=0  nbTooLargeKeys=0
3.28	       =>  wckTime=0.766  cpuTime=0.72  mem=66M67
3.63	   
3.64	   search
3.64	     run=5  nbConstraintChecks=622922  nbValidityChecks=1245295  nbPropagations=17399  nbRevisions=212552
3.64	     nbUselessRevisions=170573  nbAssignments=567  nbFailedAssignments=316  nbBacktracks=212  nbVisitedNodes=1018
3.64	     nbRestartNogoods=21  mapSize=190  nbInferences=0  nbTooLargeKeys=0
3.64	       =>  wckTime=1.12  cpuTime=1.06  mem=66M67
4.29	   
4.29	   search
4.29	     run=6  nbConstraintChecks=1061689  nbValidityChecks=2104276  nbPropagations=27955  nbRevisions=343961
4.29	     nbUselessRevisions=275766  nbAssignments=867  nbFailedAssignments=496  nbBacktracks=325  nbVisitedNodes=1570
4.29	     nbRestartNogoods=30  mapSize=298  nbInferences=0  nbTooLargeKeys=0
4.29	       =>  wckTime=1.776  cpuTime=1.72  mem=66M67
4.95	   
4.95	   search
4.95	     run=7  nbConstraintChecks=1483616  nbValidityChecks=2925403  nbPropagations=43257  nbRevisions=532321
4.95	     nbUselessRevisions=425881  nbAssignments=1242  nbFailedAssignments=694  nbBacktracks=495  nbVisitedNodes=2234
4.95	     nbRestartNogoods=41  mapSize=438  nbInferences=0  nbTooLargeKeys=0
4.95	       =>  wckTime=2.431  cpuTime=2.37  mem=66M67
6.06	   
6.06	   search
6.06	     run=8  nbConstraintChecks=2185478  nbValidityChecks=4275664  nbPropagations=66158  nbRevisions=811281
6.06	     nbUselessRevisions=647458  nbAssignments=1851  nbFailedAssignments=1038  nbBacktracks=751  nbVisitedNodes=3339
6.06	     nbRestartNogoods=48  mapSize=655  nbInferences=0  nbTooLargeKeys=0
6.06	       =>  wckTime=3.543  cpuTime=3.46  mem=66M67
9.61	   
9.61	   search
9.61	     run=9  nbConstraintChecks=4505585  nbValidityChecks=8775704  nbPropagations=106957  nbRevisions=1335333
9.61	     nbUselessRevisions=1064985  nbAssignments=3259  nbFailedAssignments=2055  nbBacktracks=1135  nbVisitedNodes=6094
9.61	     nbRestartNogoods=59  mapSize=1031  nbInferences=0  nbTooLargeKeys=0
9.61	       =>  wckTime=7.098  cpuTime=7.0  mem=66M67
9.67	   
9.67	   INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=66M67)
11.63	   
11.63	   search
11.63	     run=10  nbConstraintChecks=5788981  nbValidityChecks=11216106  nbPropagations=160886  nbRevisions=2023673
11.63	     nbUselessRevisions=1613454  nbAssignments=4362  nbFailedAssignments=2574  nbBacktracks=1714  nbVisitedNodes=7991
11.63	     nbRestartNogoods=69
11.63	       =>  wckTime=9.115  cpuTime=9.01  mem=66M67
14.88	   
14.88	   search
14.88	     run=11  nbConstraintChecks=7872933  nbValidityChecks=15142162  nbPropagations=235819  nbRevisions=2974111
14.88	     nbUselessRevisions=2370108  nbAssignments=6057  nbFailedAssignments=3398  nbBacktracks=2580  nbVisitedNodes=10932
14.88	     nbRestartNogoods=77
14.88	       =>  wckTime=12.364  cpuTime=12.26  mem=66M67
22.54	   
22.55	   search
22.55	     run=12  nbConstraintChecks=13116607  nbValidityChecks=25332906  nbPropagations=352582  nbRevisions=4537192
22.55	     nbUselessRevisions=3619212  nbAssignments=10016  nbFailedAssignments=6055  nbBacktracks=3877  nbVisitedNodes=18396
22.55	     nbRestartNogoods=92
22.55	       =>  wckTime=20.03  cpuTime=19.92  mem=66M67
30.38	   
30.38	   search
30.38	     run=13  nbConstraintChecks=18091060  nbValidityChecks=35127913  nbPropagations=522765  nbRevisions=6743667
30.38	     nbUselessRevisions=5379913  nbAssignments=14127  nbFailedAssignments=8215  nbBacktracks=5823  nbVisitedNodes=25781
30.38	     nbRestartNogoods=105
30.38	       =>  wckTime=27.863  cpuTime=27.75  mem=66M67
42.55	   
42.55	   search
42.55	     run=14  nbConstraintChecks=25829333  nbValidityChecks=50126996  nbPropagations=771294  nbRevisions=9918676
42.55	     nbUselessRevisions=7910574  nbAssignments=20327  nbFailedAssignments=11487  nbBacktracks=8743  nbVisitedNodes=36896
42.55	     nbRestartNogoods=116
42.55	       =>  wckTime=40.032  cpuTime=39.93  mem=66M67
78.73	   
78.73	   search
78.73	     run=15  nbConstraintChecks=49439158  nbValidityChecks=96414986  nbPropagations=1214125  nbRevisions=15693535
78.73	     nbUselessRevisions=12526131  nbAssignments=35038  nbFailedAssignments=21814  nbBacktracks=13122
78.73	     nbVisitedNodes=65550  nbRestartNogoods=127
78.73	       =>  wckTime=76.216  cpuTime=76.1  mem=66M67
101.32	   
101.32	   search
101.32	     run=16  nbConstraintChecks=63804335  nbValidityChecks=124574297  nbPropagations=1808516  nbRevisions=23336705
101.32	     nbUselessRevisions=18638145  nbAssignments=47531  nbFailedAssignments=27734  nbBacktracks=19690
101.32	     nbVisitedNodes=87443  nbRestartNogoods=148
101.32	       =>  wckTime=98.807  cpuTime=98.68  mem=66M67
138.16	   
138.16	   search
138.16	     run=17  nbConstraintChecks=87366142  nbValidityChecks=169996159  nbPropagations=2645245  nbRevisions=34000135
138.16	     nbUselessRevisions=27162303  nbAssignments=67131  nbFailedAssignments=37476  nbBacktracks=29543
138.16	     nbVisitedNodes=121992  nbRestartNogoods=165
138.16	       =>  wckTime=135.648  cpuTime=135.48  mem=66M67
263.61	   
263.61	   search
263.61	     run=18  nbConstraintChecks=169038553  nbValidityChecks=329455581  nbPropagations=4147728  nbRevisions=53662377
263.61	     nbUselessRevisions=42870968  nbAssignments=119087  nbFailedAssignments=74647  nbBacktracks=44321
263.61	     nbVisitedNodes=223463  nbRestartNogoods=178
263.61	       =>  wckTime=261.1  cpuTime=260.83  mem=66M67
342.50	   
342.50	   search
342.50	     run=19  nbConstraintChecks=219075647  nbValidityChecks=428055303  nbPropagations=6172999  nbRevisions=79721943
342.50	     nbUselessRevisions=63697232  nbAssignments=162639  nbFailedAssignments=96024  nbBacktracks=66491
342.50	     nbVisitedNodes=299927  nbRestartNogoods=194
342.50	       =>  wckTime=339.983  cpuTime=339.68  mem=66M67
461.78	   
461.78	   search
461.78	     run=20  nbConstraintChecks=295494924  nbValidityChecks=574753774  nbPropagations=8982200  nbRevisions=115598280
461.78	     nbUselessRevisions=92370910  nbAssignments=227642  nbFailedAssignments=127768  nbBacktracks=99744
461.78	     nbVisitedNodes=413625  nbRestartNogoods=208
461.78	       =>  wckTime=459.263  cpuTime=458.93  mem=66M67
647.46	   
647.46	   search
647.46	     run=21  nbConstraintChecks=415509506  nbValidityChecks=804978195  nbPropagations=13004383  nbRevisions=166846703
647.46	     nbUselessRevisions=133356472  nbAssignments=330238  nbFailedAssignments=180479  nbBacktracks=149622
647.46	     nbVisitedNodes=594749  nbRestartNogoods=233
647.46	       =>  wckTime=644.941  cpuTime=644.55  mem=66M67
1254.80	   
1254.80	   search
1254.80	     run=22  nbConstraintChecks=812842731  nbValidityChecks=1577736019  nbPropagations=20273544  nbRevisions=262034868
1254.80	     nbUselessRevisions=209359406  nbAssignments=587484  nbFailedAssignments=362901  nbBacktracks=224440
1254.80	     nbVisitedNodes=1093729  nbRestartNogoods=255
1254.80	       =>  wckTime=1252.285  cpuTime=1251.71  mem=66M67
1650.83	   
1650.83	   search
1650.83	     run=23  nbConstraintChecks=1065123764  nbValidityChecks=2071254292  nbPropagations=30208740  nbRevisions=390066316
1650.83	     nbUselessRevisions=311631255  nbAssignments=806712  nbFailedAssignments=469895  nbBacktracks=336668
1650.83	     nbVisitedNodes=1479290  nbRestartNogoods=272
1650.83	       =>  wckTime=1648.313  cpuTime=1647.62  mem=66M67

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

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

/proc/loadavg: 0.92 1.07 1.38 3/78 22397
/proc/meminfo: memFree=1769240/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=172 CPUtime=0
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155787625 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7618859 0 0 4096 0 0 0 0 17 0 0 0
/proc/22396/statm: 43 24 18 14 0 3 0

[startup+0.103359 s]
/proc/loadavg: 0.92 1.07 1.38 3/78 22397
/proc/meminfo: memFree=1769240/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=914988 CPUtime=0.09
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 3046 0 1 0 7 2 0 0 16 0 8 0 155787625 936947712 2792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153559620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228747 2792 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511407 s]
/proc/loadavg: 0.92 1.07 1.38 3/78 22397
/proc/meminfo: memFree=1769240/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915328 CPUtime=0.49
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 8005 0 1 0 44 5 0 0 17 0 8 0 155787625 937295872 7744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228832 7744 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3325 s]
/proc/loadavg: 0.92 1.07 1.38 2/85 22404
/proc/meminfo: memFree=1701984/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915328 CPUtime=1.3
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 19098 0 1 0 120 10 0 0 19 0 8 0 155787625 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22396/statm: 228832 18836 2149 14 0 215302 0
[pid=22396/tid=22398] ppid=22394 vsize=915328 CPUtime=0.05
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 2682 0 0 0 5 0 0 0 17 0 8 0 155787629 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915328 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915328 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915328 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915328 CPUtime=0.06
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 308 0 0 0 6 0 0 0 16 0 8 0 155787633 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915328 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915328 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.97671 s]
/proc/loadavg: 0.93 1.06 1.37 2/85 22404
/proc/meminfo: memFree=1661472/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=2.95
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32430 0 1 0 279 16 0 0 17 0 8 0 155787625 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32164 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 15 0 8 0 155787629 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.17
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 378 0 0 0 17 0 0 0 16 0 8 0 155787633 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440

[startup+6.18209 s]
/proc/loadavg: 0.93 1.06 1.37 2/85 22404
/proc/meminfo: memFree=1650208/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=6.14
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32450 0 1 0 598 16 0 0 17 0 8 0 155787625 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32181 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 17 0 8 0 155787629 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.21
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 396 0 0 0 20 1 0 0 16 0 8 0 155787633 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915440

[startup+12.6517 s]
/proc/loadavg: 0.94 1.06 1.37 2/85 22404
/proc/meminfo: memFree=1650224/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=12.61
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32457 0 1 0 1245 16 0 0 19 0 8 0 155787625 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32185 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.22
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440

[startup+25.5072 s]
/proc/loadavg: 0.95 1.06 1.36 3/85 22404
/proc/meminfo: memFree=1650352/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=25.46
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32457 0 1 0 2530 16 0 0 25 0 8 0 155787625 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32185 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.22
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915440

[startup+51.1913 s]
/proc/loadavg: 0.96 1.05 1.35 2/85 22404
/proc/meminfo: memFree=1650416/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=51.13
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32457 0 1 0 5097 16 0 0 25 0 8 0 155787625 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32185 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.22
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915440

[startup+102.455 s]
/proc/loadavg: 0.98 1.04 1.33 2/85 22404
/proc/meminfo: memFree=1650480/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=102.39
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32457 0 1 0 10222 17 0 0 25 0 8 0 155787625 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32185 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.22
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915440

[startup+162.467 s]
/proc/loadavg: 0.99 1.03 1.31 2/91 22522
/proc/meminfo: memFree=1649152/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=162.33
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32457 0 1 0 16213 20 0 0 25 0 8 0 155787625 937410560 32185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.5 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1483.93
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 148363 30 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665375 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.93
Current children cumulated vsize (KiB) 915440

[startup+1544.6 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1544
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 154370 30 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1544
Current children cumulated vsize (KiB) 915440

[startup+1604.7 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1604.08
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 160378 30 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1604.08
Current children cumulated vsize (KiB) 915440

[startup+1664.8 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1664.17
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 166386 31 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1664.17
Current children cumulated vsize (KiB) 915440

[startup+1724.9 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1724.25
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 172394 31 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.25
Current children cumulated vsize (KiB) 915440

[startup+1785 s]
/proc/loadavg: 1.05 1.01 1.03 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1784.33
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 178401 32 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.72 s]
/proc/loadavg: 1.04 1.01 1.03 2/85 22604
/proc/meminfo: memFree=1649840/2055920 swapFree=4170284/4192956
[pid=22396] ppid=22394 vsize=915440 CPUtime=1800.05
/proc/22396/stat : 22396 (java) R 22394 22396 21897 0 -1 0 32459 0 1 0 179973 32 0 0 25 0 8 0 155787625 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22396/statm: 228860 32186 2521 14 0 215330 0
[pid=22396/tid=22398] ppid=22394 vsize=915440 CPUtime=0.41
/proc/22396/task/22398/stat : 22398 (java) S 22394 22396 21897 0 -1 64 15454 0 0 0 36 5 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22399] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22399/stat : 22399 (java) S 22394 22396 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22400] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22400/stat : 22400 (java) S 22394 22396 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155787629 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22401] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22401/stat : 22401 (java) S 22394 22396 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22402] ppid=22394 vsize=915440 CPUtime=0.23
/proc/22396/task/22402/stat : 22402 (java) S 22394 22396 21897 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22403] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22403/stat : 22403 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22396/tid=22404] ppid=22394 vsize=915440 CPUtime=0
/proc/22396/task/22404/stat : 22404 (java) S 22394 22396 21897 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155787633 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1800.79
CPU time (s): 1800.13
CPU user time (s): 1799.78
CPU system time (s): 0.347947
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.347947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32475
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= 37321
involuntary context switches= 69998

runsolver used 1.91071 s user time and 4.50731 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 08:58:51 UTC 2007


IDJOB= 206606
IDBENCH= 4221
FILE ID= node20/206606-1168073930

PBS_JOBID= 3475956

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d1ada6ee371b83aaf6d37e2247a61b93

RANDOM SEED= 828342628

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.216
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.216
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:       1769728 kB
Buffers:         36808 kB
Cached:         154456 kB
SwapCached:       4236 kB
Active:          74944 kB
Inactive:       142528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1769728 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            7492 kB
Writeback:           0 kB
Mapped:          40000 kB
Slab:            53988 kB
Committed_AS:  2820020 kB
PageTables:       2016 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= 66540 MiB



End job on node20 on Sat Jan  6 09:28:52 UTC 2007