Trace number 210737

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 1811.52

General information on the benchmark

NamepseudoSeries/uclid/
ooo-burch-dill-3-accl.xml
MD5SUMbffe4df83243320da15e0cb4f79702b5
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark55.4786
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables4622
Number of constraints12568
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12568
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=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/210737-1168075188/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.62	     nbVariables=4622  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.62	       =>  wckTime=0.29  cpuTime=0.2  mem=14M704
0.62	   
0.62	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
2.70	     nbConstraints=11909  nbMergedConstraints=659  nbSingletonDomainVariables=27  nbConvertedConstraints=7752
2.70	     nbConvertConstraintsChecks=42043  nbExtensionStructures=8  nbSharedExtensionStructures=7744
2.70	     nbConflictsStructures=42  nbSharedConflictsStructures=11867  nbSharedBinaryRepresentations=19
2.70	     nbEvaluationManagers=34  nbSharedEvaluationManagers=4123  maxDegree=187  maxArity=11
2.70	       =>  wckTime=2.37  cpuTime=1.94  mem=28M808
2.81	   
2.81	   solver IterativeSystematicSolver being built... 
3.27	       =>  wckTime=2.943  cpuTime=2.31  mem=33M879
3.32	   
3.32	   preprocessing
3.32	     nbConstraintChecks=0  nbPropagations=4622  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.32	     detectedInconsistency=no
3.32	       =>  wckTime=0.037  cpuTime=0.02  mem=34M895
5.81	   
5.81	   search
5.81	     run=0  nbConstraintChecks=43392  nbValidityChecks=41541  nbPropagations=8817  nbRevisions=40589
5.81	     nbUselessRevisions=36440  nbAssignments=271  nbFailedAssignments=6  nbBacktracks=14  nbVisitedNodes=289
5.81	     nbRestartNogoods=0  mapSize=14  nbInferences=0  nbTooLargeKeys=0
5.81	       =>  wckTime=2.529  cpuTime=2.45  mem=35M910
8.20	   
8.20	   search
8.20	     run=1  nbConstraintChecks=74013  nbValidityChecks=88528  nbPropagations=21831  nbRevisions=121375
8.20	     nbUselessRevisions=108939  nbAssignments=543  nbFailedAssignments=10  nbBacktracks=31  nbVisitedNodes=578
8.20	     nbRestartNogoods=3  mapSize=30  nbInferences=0  nbTooLargeKeys=0
8.20	       =>  wckTime=4.926  cpuTime=4.82  mem=35M910
10.47	   
10.47	   search
10.47	     run=2  nbConstraintChecks=100228  nbValidityChecks=130894  nbPropagations=38857  nbRevisions=239560
10.47	     nbUselessRevisions=214899  nbAssignments=801  nbFailedAssignments=12  nbBacktracks=58  nbVisitedNodes=842
10.47	     nbRestartNogoods=4  mapSize=35  nbInferences=0  nbTooLargeKeys=0
10.47	       =>  wckTime=7.192  cpuTime=7.07  mem=36M926
13.03	   
13.03	   search
13.03	     run=3  nbConstraintChecks=129014  nbValidityChecks=177451  nbPropagations=59976  nbRevisions=397848
13.03	     nbUselessRevisions=356939  nbAssignments=1088  nbFailedAssignments=15  nbBacktracks=110  nbVisitedNodes=1140
13.03	     nbRestartNogoods=5  mapSize=44  nbInferences=1  nbTooLargeKeys=0
13.03	       =>  wckTime=9.753  cpuTime=9.6  mem=36M926
15.62	   
15.62	   search
15.62	     run=4  nbConstraintChecks=157058  nbValidityChecks=220758  nbPropagations=85055  nbRevisions=593951
15.62	     nbUselessRevisions=532897  nbAssignments=1380  nbFailedAssignments=19  nbBacktracks=165  nbVisitedNodes=1446
15.62	     nbRestartNogoods=7  mapSize=56  nbInferences=3  nbTooLargeKeys=0
15.62	       =>  wckTime=12.345  cpuTime=12.17  mem=36M926
18.53	   
18.53	   search
18.53	     run=5  nbConstraintChecks=188530  nbValidityChecks=266435  nbPropagations=114206  nbRevisions=829476
18.53	     nbUselessRevisions=744256  nbAssignments=1704  nbFailedAssignments=27  nbBacktracks=247  nbVisitedNodes=1791
18.53	     nbRestartNogoods=9  mapSize=74  nbInferences=6  nbTooLargeKeys=0
18.53	       =>  wckTime=15.255  cpuTime=15.03  mem=37M942
21.77	   
21.77	   search
21.77	     run=6  nbConstraintChecks=220651  nbValidityChecks=317053  nbPropagations=147550  nbRevisions=1107854
21.77	     nbUselessRevisions=994339  nbAssignments=2064  nbFailedAssignments=36  nbBacktracks=361  nbVisitedNodes=2168
21.77	     nbRestartNogoods=12  mapSize=87  nbInferences=10  nbTooLargeKeys=0
21.77	       =>  wckTime=18.49  cpuTime=18.24  mem=37M942
25.42	   
25.42	   search
25.42	     run=7  nbConstraintChecks=308777  nbValidityChecks=408643  nbPropagations=188205  nbRevisions=1463164
25.42	     nbUselessRevisions=1313932  nbAssignments=2477  nbFailedAssignments=68  nbBacktracks=551  nbVisitedNodes=2676
25.42	     nbRestartNogoods=16  mapSize=181  nbInferences=10  nbTooLargeKeys=0
25.42	       =>  wckTime=22.146  cpuTime=21.86  mem=38M958
28.78	   
28.78	   search
28.78	     run=8  nbConstraintChecks=351104  nbValidityChecks=453979  nbPropagations=235172  nbRevisions=1868361
28.78	     nbUselessRevisions=1677019  nbAssignments=2891  nbFailedAssignments=100  nbBacktracks=810  nbVisitedNodes=3162
28.78	     nbRestartNogoods=17  mapSize=252  nbInferences=10  nbTooLargeKeys=0
28.78	       =>  wckTime=25.507  cpuTime=25.19  mem=39M973
32.40	   
32.40	   search
32.40	     run=9  nbConstraintChecks=394096  nbValidityChecks=492654  nbPropagations=287272  nbRevisions=2315789
32.40	     nbUselessRevisions=2077087  nbAssignments=3365  nbFailedAssignments=129  nbBacktracks=1199  nbVisitedNodes=3706
32.40	     nbRestartNogoods=18  mapSize=321  nbInferences=10  nbTooLargeKeys=0
32.40	       =>  wckTime=29.121  cpuTime=28.78  mem=39M973
37.31	   
37.31	   search
37.31	     run=10  nbConstraintChecks=471739  nbValidityChecks=538742  nbPropagations=348233  nbRevisions=2825824
37.31	     nbUselessRevisions=2530674  nbAssignments=4024  nbFailedAssignments=170  nbBacktracks=1778  nbVisitedNodes=4487
37.31	     nbRestartNogoods=19  mapSize=440  nbInferences=10  nbTooLargeKeys=0
37.31	       =>  wckTime=34.034  cpuTime=33.63  mem=40M989
46.65	   
46.65	   search
46.65	     run=11  nbConstraintChecks=758290  nbValidityChecks=733807  nbPropagations=446410  nbRevisions=3581091
46.65	     nbUselessRevisions=3189228  nbAssignments=5152  nbFailedAssignments=283  nbBacktracks=2655  nbVisitedNodes=5961
46.65	     nbRestartNogoods=22  mapSize=778  nbInferences=10  nbTooLargeKeys=0
46.65	       =>  wckTime=43.374  cpuTime=42.89  mem=43M20
59.08	   
59.08	   search
59.08	     run=12  nbConstraintChecks=1010184  nbValidityChecks=894805  nbPropagations=577820  nbRevisions=4558929
59.08	     nbUselessRevisions=4034705  nbAssignments=6758  nbFailedAssignments=478  nbBacktracks=3960  nbVisitedNodes=7936
59.08	     nbRestartNogoods=30  mapSize=1145  nbInferences=10  nbTooLargeKeys=0
59.08	       =>  wckTime=55.801  cpuTime=55.2  mem=46M67
79.64	   
79.64	   search
79.64	     run=13  nbConstraintChecks=1924809  nbValidityChecks=1643963  nbPropagations=762716  nbRevisions=6180107
79.64	     nbUselessRevisions=5462324  nbAssignments=9201  nbFailedAssignments=788  nbBacktracks=5930  nbVisitedNodes=11122
79.64	     nbRestartNogoods=32  mapSize=1861  nbInferences=39  nbTooLargeKeys=0
79.64	       =>  wckTime=76.367  cpuTime=75.59  mem=49M115
106.46	   
106.46	   search
106.46	     run=14  nbConstraintChecks=2498018  nbValidityChecks=1998781  nbPropagations=1031640  nbRevisions=8366980
106.46	     nbUselessRevisions=7366320  nbAssignments=12587  nbFailedAssignments=1014  nbBacktracks=8862  nbVisitedNodes=15026
106.46	     nbRestartNogoods=39  mapSize=2370  nbInferences=40  nbTooLargeKeys=0
106.46	       =>  wckTime=103.184  cpuTime=102.16  mem=55M209
147.45	   
147.45	   search
147.45	     run=15  nbConstraintChecks=3297536  nbValidityChecks=2725138  nbPropagations=1425239  nbRevisions=11482152
147.45	     nbUselessRevisions=10067149  nbAssignments=17420  nbFailedAssignments=1364  nbBacktracks=13250
147.45	     nbVisitedNodes=20678  nbRestartNogoods=48  mapSize=3185  nbInferences=41  nbTooLargeKeys=0
147.45	       =>  wckTime=144.174  cpuTime=142.79  mem=62M319
243.31	   
243.31	   search
243.31	     run=16  nbConstraintChecks=3837693  nbValidityChecks=3386405  nbPropagations=1874028  nbRevisions=15193035
243.31	     nbUselessRevisions=13311869  nbAssignments=26490  nbFailedAssignments=1405  nbBacktracks=19820
243.31	     nbVisitedNodes=32005  nbRestartNogoods=52  mapSize=5434  nbInferences=2176  nbTooLargeKeys=0
243.31	       =>  wckTime=240.038  cpuTime=237.77  mem=34M816
396.41	   
396.41	   search
396.41	     run=17  nbConstraintChecks=4544969  nbValidityChecks=4341810  nbPropagations=2381920  nbRevisions=19667811
396.41	     nbUselessRevisions=17268979  nbAssignments=40453  nbFailedAssignments=1418  nbBacktracks=29672
396.41	     nbVisitedNodes=49773  nbRestartNogoods=60  mapSize=9232  nbInferences=5962  nbTooLargeKeys=0
396.41	       =>  wckTime=393.138  cpuTime=389.51  mem=48M936
617.42	   
617.42	   search
617.42	     run=18  nbConstraintChecks=5603156  nbValidityChecks=5739791  nbPropagations=2981641  nbRevisions=25282308
617.42	     nbUselessRevisions=22284955  nbAssignments=61142  nbFailedAssignments=1454  nbBacktracks=44452
617.42	     nbVisitedNodes=76071  nbRestartNogoods=67  mapSize=14836  nbInferences=11501  nbTooLargeKeys=0
617.42	       =>  wckTime=614.147  cpuTime=608.81  mem=71M126
863.32	   
863.32	   search
863.32	     run=19  nbConstraintChecks=11406253  nbValidityChecks=9645113  nbPropagations=4354971  nbRevisions=36286715
863.32	     nbUselessRevisions=31890345  nbAssignments=87216  nbFailedAssignments=3081  nbBacktracks=66620
863.32	     nbVisitedNodes=108088  nbRestartNogoods=72  mapSize=20770  nbInferences=13545  nbTooLargeKeys=0
863.32	       =>  wckTime=860.041  cpuTime=853.39  mem=66M978
1213.92	   
1213.92	   search
1213.92	     run=20  nbConstraintChecks=24546938  nbValidityChecks=19037541  nbPropagations=7638647  nbRevisions=61465657
1213.92	     nbUselessRevisions=53579475  nbAssignments=125835  nbFailedAssignments=7509  nbBacktracks=99872
1213.92	     nbVisitedNodes=159843  nbRestartNogoods=81  mapSize=33895  nbInferences=14265  nbTooLargeKeys=0
1213.92	       =>  wckTime=1210.641  cpuTime=1202.13  mem=84M115
1657.79	   
1657.79	   search
1657.79	     run=21  nbConstraintChecks=36234300  nbValidityChecks=25096281  nbPropagations=12704642  nbRevisions=97946238
1657.79	     nbUselessRevisions=84624032  nbAssignments=180481  nbFailedAssignments=11952  nbBacktracks=149755
1657.79	     nbVisitedNodes=224443  nbRestartNogoods=90  mapSize=43840  nbInferences=14448  nbTooLargeKeys=0
1657.79	       =>  wckTime=1654.514  cpuTime=1643.67  mem=121M981

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

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

/proc/loadavg: 1.98 1.91 1.91 4/93 21709
/proc/meminfo: memFree=1237776/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=47976 CPUtime=0
/proc/21708/stat : 21708 (java) D 21706 21708 21529 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 155913622 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21708/statm: 11994 972 769 14 0 1707 0

[startup+0.103777 s]
/proc/loadavg: 1.98 1.91 1.91 4/93 21709
/proc/meminfo: memFree=1237776/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=912908 CPUtime=0.08
/proc/21708/stat : 21708 (java) S 21706 21708 21529 0 -1 0 2819 0 1 0 6 2 0 0 18 0 8 0 155913622 934817792 2565 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228227 2565 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908

[startup+0.515703 s]
/proc/loadavg: 1.98 1.91 1.91 4/93 21709
/proc/meminfo: memFree=1237776/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915328 CPUtime=0.48
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 6451 0 1 0 44 4 0 0 18 0 8 0 155913622 937295872 6190 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228832 6190 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33856 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 21716
/proc/meminfo: memFree=1176280/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915644 CPUtime=1.3
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 17755 0 1 0 116 14 0 0 24 0 8 0 155913622 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228911 17493 2178 14 0 215381 0
[pid=21708/tid=21710] ppid=21706 vsize=915644 CPUtime=0.05
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 1150 0 0 0 5 0 0 0 17 0 8 0 155913626 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915644 CPUtime=0.18
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 413 0 0 0 17 1 0 0 16 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915644 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937619456 17493 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644

[startup+2.97526 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 21716
/proc/meminfo: memFree=1168600/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=2.92
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24221 0 1 0 227 65 0 0 25 0 8 0 155913622 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073594613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 23932 2498 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.3
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7204 0 0 0 28 2 0 0 17 0 8 0 155913626 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.26
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 465 0 0 0 25 1 0 0 15 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 23932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915740

[startup+6.26666 s]
/proc/loadavg: 1.98 1.91 1.91 3/100 21716
/proc/meminfo: memFree=1151128/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=6.18
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24350 0 1 0 552 66 0 0 25 0 8 0 155913622 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24057 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.37
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 522 0 0 0 35 2 0 0 15 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915740

[startup+12.7505 s]
/proc/loadavg: 2.06 1.93 1.91 3/100 21716
/proc/meminfo: memFree=1151064/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=12.61
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24356 0 1 0 1195 66 0 0 25 0 8 0 155913622 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24060 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.38
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 526 0 0 0 36 2 0 0 15 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24060 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915740

[startup+25.6282 s]
/proc/loadavg: 2.05 1.93 1.91 3/100 21716
/proc/meminfo: memFree=1151256/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=25.37
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24370 0 1 0 2471 66 0 0 25 0 8 0 155913622 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24069 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.4
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 538 0 0 0 38 2 0 0 16 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915740

[startup+51.2585 s]
/proc/loadavg: 2.03 1.94 1.91 3/100 21716
/proc/meminfo: memFree=1151192/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=50.77
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24382 0 1 0 5011 66 0 0 25 0 8 0 155913622 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074220585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24076 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.41
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 547 0 0 0 39 2 0 0 16 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915740

[startup+102.512 s]
/proc/loadavg: 2.05 1.96 1.92 3/100 21716
/proc/meminfo: memFree=1151256/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=101.57
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24383 0 1 0 10090 67 0 0 25 0 8 0 155913622 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21708/statm: 228935 24076 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.33
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 7205 0 0 0 30 3 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.41
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 547 0 0 0 39 2 0 0 16 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 915740

[startup+162.516 s]
/proc/loadavg: 2.02 1.97 1.92 3/100 21716
/proc/meminfo: memFree=1151256/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=161.04
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 24383 0 1 0 16037 67 0 0 25 0 8 0 155913622 937717760 24076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074182726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1413.72
Current children cumulated vsize (KiB) 915740

[startup+1483.18 s]
/proc/loadavg: 2.00 2.02 1.96 3/100 21774
/proc/meminfo: memFree=1080352/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1473.46
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 147267 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.46
Current children cumulated vsize (KiB) 915740

[startup+1543.22 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 21774
/proc/meminfo: memFree=1080288/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1533.18
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 153239 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074221508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) R 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.18
Current children cumulated vsize (KiB) 915740

[startup+1603.27 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1080288/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1592.93
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 159214 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.93
Current children cumulated vsize (KiB) 915740

[startup+1663.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1080224/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1652.67
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 37826 0 1 0 165188 79 0 0 25 0 8 0 155913622 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074179178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 37515 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.52
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 20642 0 0 0 45 7 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 37515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.67
Current children cumulated vsize (KiB) 915740

[startup+1723.35 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1071264/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1712.39
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 40099 0 1 0 171159 80 0 0 25 0 8 0 155913622 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 39787 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.56
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 22914 0 0 0 48 8 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.39
Current children cumulated vsize (KiB) 915740

[startup+1783.39 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1071264/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1772.13
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 40099 0 1 0 177133 80 0 0 25 0 8 0 155913622 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 39787 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.56
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 22914 0 0 0 48 8 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.13
Current children cumulated vsize (KiB) 915740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.46 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 21774
/proc/meminfo: memFree=1071200/2055920 swapFree=4191880/4192956
[pid=21708] ppid=21706 vsize=915740 CPUtime=1800.07
/proc/21708/stat : 21708 (java) R 21706 21708 21529 0 -1 0 40099 0 1 0 179927 80 0 0 25 0 8 0 155913622 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074162340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21708/statm: 228935 39787 2538 14 0 215405 0
[pid=21708/tid=21710] ppid=21706 vsize=915740 CPUtime=0.56
/proc/21708/task/21710/stat : 21710 (java) S 21706 21708 21529 0 -1 64 22914 0 0 0 48 8 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21711] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21711/stat : 21711 (java) S 21706 21708 21529 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21712] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21712/stat : 21712 (java) S 21706 21708 21529 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155913626 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21713] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21713/stat : 21713 (java) S 21706 21708 21529 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21714] ppid=21706 vsize=915740 CPUtime=0.42
/proc/21708/task/21714/stat : 21714 (java) S 21706 21708 21529 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21708/tid=21715] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21715/stat : 21715 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21708/tid=21716] ppid=21706 vsize=915740 CPUtime=0
/proc/21708/task/21716/stat : 21716 (java) S 21706 21708 21529 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155913631 937717760 39787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915740

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

Child status: 143
Real time (s): 1811.52
CPU time (s): 1800.13
CPU user time (s): 1799.3
CPU system time (s): 0.824874
CPU usage (%): 99.371
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.824874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40113
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= 38477
involuntary context switches= 57319

runsolver used 2.00669 s user time and 6.02508 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Jan  6 09:19:48 UTC 2007


IDJOB= 210737
IDBENCH= 4642
FILE ID= node16/210737-1168075188

PBS_JOBID= 3475792

Free space on /tmp= 66493 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-burch-dill-3-accl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210737-1168075188/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-210737-1168075188 -o ROOT/results/node16/solver-210737-1168075188 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210737-1168075188/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bffe4df83243320da15e0cb4f79702b5

RANDOM SEED= 583608909

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.220
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.220
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:       1238192 kB
Buffers:         64152 kB
Cached:         486788 kB
SwapCached:        268 kB
Active:         321316 kB
Inactive:       398624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1238192 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3544 kB
Writeback:           0 kB
Mapped:         197436 kB
Slab:            82244 kB
Committed_AS:  4660240 kB
PageTables:       2640 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= 66498 MiB



End job on node16 on Sat Jan  6 09:49:59 UTC 2007