Trace number 199843

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 1813.99

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-37_ext.xml
MD5SUM77acb5387e5cce7e11a1449191e1b24c
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1180.2
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=mac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/199843-1168071607/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.46	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.46	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.46	   
0.46	   relations being loaded...
1.11	   
1.11	   constraints being loaded...
1.39	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.39	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.39	       =>  wckTime=1.028  cpuTime=0.89  mem=48M633
1.51	   
1.51	   solver IterativeSystematicSolver being built... 
1.68	       =>  wckTime=1.314  cpuTime=1.03  mem=34M664
1.68	   
1.68	   preprocessing
1.68	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.68	     detectedInconsistency=no
1.68	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M664
1.81	   
1.81	   search
1.81	     run=0  nbConstraintChecks=38213  nbValidityChecks=71427  nbPropagations=433  nbRevisions=4843
1.81	     nbUselessRevisions=3828  nbAssignments=30  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=54
1.81	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.81	       =>  wckTime=0.135  cpuTime=0.1  mem=34M664
1.90	   
1.90	   search
1.90	     run=1  nbConstraintChecks=88142  nbValidityChecks=169015  nbPropagations=1384  nbRevisions=15430
1.90	     nbUselessRevisions=12174  nbAssignments=67  nbFailedAssignments=32  nbBacktracks=25  nbVisitedNodes=121
1.90	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.226  cpuTime=0.19  mem=34M664
2.03	   
2.03	   search
2.03	     run=2  nbConstraintChecks=153419  nbValidityChecks=306841  nbPropagations=3081  nbRevisions=35734
2.03	     nbUselessRevisions=28385  nbAssignments=131  nbFailedAssignments=67  nbBacktracks=47  nbVisitedNodes=234
2.03	     nbRestartNogoods=10  mapSize=44  nbInferences=0  nbTooLargeKeys=0
2.03	       =>  wckTime=0.351  cpuTime=0.3  mem=34M664
2.19	   
2.19	   search
2.19	     run=3  nbConstraintChecks=258814  nbValidityChecks=513529  nbPropagations=5941  nbRevisions=69926
2.19	     nbUselessRevisions=55339  nbAssignments=218  nbFailedAssignments=114  nbBacktracks=81  nbVisitedNodes=396
2.19	     nbRestartNogoods=17  mapSize=74  nbInferences=0  nbTooLargeKeys=0
2.19	       =>  wckTime=0.517  cpuTime=0.46  mem=34M664
2.42	   
2.42	   search
2.42	     run=4  nbConstraintChecks=401421  nbValidityChecks=793630  nbPropagations=10343  nbRevisions=122381
2.42	     nbUselessRevisions=96535  nbAssignments=349  nbFailedAssignments=189  nbBacktracks=131  nbVisitedNodes=637
2.42	     nbRestartNogoods=23  mapSize=118  nbInferences=0  nbTooLargeKeys=0
2.42	       =>  wckTime=0.739  cpuTime=0.67  mem=34M664
2.73	   
2.73	   search
2.73	     run=5  nbConstraintChecks=601726  nbValidityChecks=1215218  nbPropagations=17362  nbRevisions=202696
2.73	     nbUselessRevisions=158969  nbAssignments=545  nbFailedAssignments=305  nbBacktracks=206  nbVisitedNodes=1004
2.73	     nbRestartNogoods=32  mapSize=189  nbInferences=0  nbTooLargeKeys=0
2.73	       =>  wckTime=1.057  cpuTime=0.98  mem=34M664
3.32	   
3.32	   search
3.32	     run=6  nbConstraintChecks=994778  nbValidityChecks=1940762  nbPropagations=27373  nbRevisions=322962
3.32	     nbUselessRevisions=253432  nbAssignments=832  nbFailedAssignments=474  nbBacktracks=319  nbVisitedNodes=1530
3.32	     nbRestartNogoods=38  mapSize=276  nbInferences=0  nbTooLargeKeys=0
3.32	       =>  wckTime=1.64  cpuTime=1.55  mem=34M664
4.03	   
4.03	   search
4.03	     run=7  nbConstraintChecks=1460278  nbValidityChecks=2849517  nbPropagations=42527  nbRevisions=504971
4.03	     nbUselessRevisions=396167  nbAssignments=1228  nbFailedAssignments=694  nbBacktracks=489  nbVisitedNodes=2262
4.03	     nbRestartNogoods=54  mapSize=428  nbInferences=0  nbTooLargeKeys=0
4.03	       =>  wckTime=2.353  cpuTime=2.25  mem=34M664
5.10	   
5.10	   search
5.10	     run=8  nbConstraintChecks=2178323  nbValidityChecks=4298719  nbPropagations=65810  nbRevisions=783162
5.10	     nbUselessRevisions=613123  nbAssignments=1895  nbFailedAssignments=1099  nbBacktracks=745  nbVisitedNodes=3516
5.10	     nbRestartNogoods=61  mapSize=653  nbInferences=0  nbTooLargeKeys=0
5.10	       =>  wckTime=3.423  cpuTime=3.29  mem=34M664
6.69	   
6.69	   search
6.69	     run=9  nbConstraintChecks=3261420  nbValidityChecks=6411007  nbPropagations=100923  nbRevisions=1205889
6.69	     nbUselessRevisions=943901  nbAssignments=2827  nbFailedAssignments=1639  nbBacktracks=1129  nbVisitedNodes=5261
6.69	     nbRestartNogoods=66  mapSize=1005  nbInferences=0  nbTooLargeKeys=0
6.69	       =>  wckTime=5.01  cpuTime=4.87  mem=34M664
6.76	   
6.76	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=34M664)
8.96	   
8.96	   search
8.96	     run=10  nbConstraintChecks=4775326  nbValidityChecks=9453014  nbPropagations=152436  nbRevisions=1828023
8.96	     nbUselessRevisions=1430857  nbAssignments=4092  nbFailedAssignments=2323  nbBacktracks=1705  nbVisitedNodes=7587
8.96	     nbRestartNogoods=75
8.96	       =>  wckTime=7.285  cpuTime=7.11  mem=34M664
12.65	   
12.65	   search
12.65	     run=11  nbConstraintChecks=7379321  nbValidityChecks=14531094  nbPropagations=230848  nbRevisions=2774702
12.65	     nbUselessRevisions=2172148  nbAssignments=6347  nbFailedAssignments=3709  nbBacktracks=2570  nbVisitedNodes=11840
12.65	     nbRestartNogoods=88
12.65	       =>  wckTime=10.973  cpuTime=10.75  mem=34M664
17.15	   
17.15	   search
17.15	     run=12  nbConstraintChecks=10508049  nbValidityChecks=20680845  nbPropagations=347914  nbRevisions=4174161
17.15	     nbUselessRevisions=3267622  nbAssignments=9102  nbFailedAssignments=5161  nbBacktracks=3867  nbVisitedNodes=16924
17.15	     nbRestartNogoods=92
17.15	       =>  wckTime=15.477  cpuTime=15.21  mem=34M664
24.20	   
24.20	   search
24.20	     run=13  nbConstraintChecks=15346261  nbValidityChecks=30391466  nbPropagations=525526  nbRevisions=6285452
24.20	     nbUselessRevisions=4917495  nbAssignments=13546  nbFailedAssignments=7653  nbBacktracks=5815  nbVisitedNodes=25220
24.20	     nbRestartNogoods=107
24.20	       =>  wckTime=22.518  cpuTime=22.19  mem=35M651
35.68	   
35.68	   search
35.68	     run=14  nbConstraintChecks=23395932  nbValidityChecks=46326655  nbPropagations=792017  nbRevisions=9421493
35.68	     nbUselessRevisions=7366198  nbAssignments=20799  nbFailedAssignments=11980  nbBacktracks=8737  nbVisitedNodes=38806
35.68	     nbRestartNogoods=118
35.68	       =>  wckTime=34.004  cpuTime=33.57  mem=35M651
52.85	   
52.85	   search
52.85	     run=15  nbConstraintChecks=35304345  nbValidityChecks=69919036  nbPropagations=1197891  nbRevisions=14233357
52.85	     nbUselessRevisions=11123628  nbAssignments=31151  nbFailedAssignments=17948  nbBacktracks=13115
52.85	     nbVisitedNodes=58262  nbRestartNogoods=127
52.85	       =>  wckTime=51.175  cpuTime=50.59  mem=35M651
76.40	   
76.40	   search
76.40	     run=16  nbConstraintChecks=51574420  nbValidityChecks=102471480  nbPropagations=1802652  nbRevisions=21369252
76.40	     nbUselessRevisions=16688684  nbAssignments=45769  nbFailedAssignments=25992  nbBacktracks=19683
76.40	     nbVisitedNodes=85423  nbRestartNogoods=134
76.40	       =>  wckTime=74.724  cpuTime=73.91  mem=35M651
120.88	   
120.88	   search
120.88	     run=17  nbConstraintChecks=82543265  nbValidityChecks=163050234  nbPropagations=2719640  nbRevisions=32383214
120.88	     nbUselessRevisions=25312844  nbAssignments=70576  nbFailedAssignments=40941  nbBacktracks=29536
120.88	     nbVisitedNodes=132285  nbRestartNogoods=147
120.88	       =>  wckTime=119.199  cpuTime=117.99  mem=35M651
181.23	   
181.23	   search
181.23	     run=18  nbConstraintChecks=124279600  nbValidityChecks=246502237  nbPropagations=4110106  nbRevisions=48916254
181.23	     nbUselessRevisions=38221747  nbAssignments=106311  nbFailedAssignments=61893  nbBacktracks=44314
181.23	     nbVisitedNodes=199236  nbRestartNogoods=157
181.23	       =>  wckTime=179.55  cpuTime=177.77  mem=35M651
263.49	   
263.49	   search
263.49	     run=19  nbConstraintChecks=181325295  nbValidityChecks=360651052  nbPropagations=6192482  nbRevisions=73586315
263.49	     nbUselessRevisions=57473125  nbAssignments=157844  nbFailedAssignments=91254  nbBacktracks=66483
263.49	     nbVisitedNodes=295263  nbRestartNogoods=166
263.49	       =>  wckTime=261.808  cpuTime=259.29  mem=35M651
413.87	   
413.87	   search
413.87	     run=20  nbConstraintChecks=286249040  nbValidityChecks=563801648  nbPropagations=9306095  nbRevisions=110903974
413.87	     nbUselessRevisions=86684487  nbAssignments=239962  nbFailedAssignments=140115  nbBacktracks=99735
413.87	     nbVisitedNodes=449746  nbRestartNogoods=180
413.87	       =>  wckTime=412.195  cpuTime=408.29  mem=35M651
607.55	   
607.55	   search
607.55	     run=21  nbConstraintChecks=421475010  nbValidityChecks=832394123  nbPropagations=13956186  nbRevisions=166417363
607.55	     nbUselessRevisions=130097080  nbAssignments=356286  nbFailedAssignments=206556  nbBacktracks=149613
607.55	     nbVisitedNodes=666566  nbRestartNogoods=204
607.55	       =>  wckTime=605.871  cpuTime=600.19  mem=35M651
907.66	   
907.66	   search
907.66	     run=22  nbConstraintChecks=632085693  nbValidityChecks=1253180522  nbPropagations=20947966  nbRevisions=249147434
907.66	     nbUselessRevisions=194777545  nbAssignments=547531  nbFailedAssignments=322978  nbBacktracks=224431
907.66	     nbVisitedNodes=1026206  nbRestartNogoods=223
907.66	       =>  wckTime=905.985  cpuTime=897.55  mem=35M651
1314.36	   
1314.36	   search
1314.36	     run=23  nbConstraintChecks=914104552  nbValidityChecks=1812051422  nbPropagations=31297066  nbRevisions=371484251
1314.36	     nbUselessRevisions=290414093  nbAssignments=796161  nbFailedAssignments=459375  nbBacktracks=336658
1314.36	     nbVisitedNodes=1486163  nbRestartNogoods=261
1314.36	       =>  wckTime=1312.686  cpuTime=1300.53  mem=35M651

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

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

/proc/loadavg: 1.92 1.95 1.92 4/93 28818
/proc/meminfo: memFree=1178400/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=18540 CPUtime=0
/proc/28817/stat : 28817 (runsolver) R 28815 28817 28750 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155556337 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28817/statm: 4635 279 244 17 0 2626 0

[startup+0.102968 s]
/proc/loadavg: 1.92 1.95 1.92 4/93 28818
/proc/meminfo: memFree=1178400/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=907808 CPUtime=0.06
/proc/28817/stat : 28817 (java) D 28815 28817 28750 0 -1 0 2505 0 1 0 5 1 0 0 17 0 4 0 155556337 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.511035 s]
/proc/loadavg: 1.92 1.95 1.92 4/93 28818
/proc/meminfo: memFree=1178400/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915328 CPUtime=0.44
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 6595 0 1 0 41 3 0 0 18 0 8 0 155556337 937295872 6334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228832 6334 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33417 s]
/proc/loadavg: 1.92 1.95 1.92 4/100 28825
/proc/meminfo: memFree=1111208/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915328 CPUtime=1.25
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 19105 0 1 0 117 8 0 0 25 0 8 0 155556337 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073654882 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228832 18843 2160 14 0 215302 0
[pid=28817/tid=28819] ppid=28815 vsize=915328 CPUtime=0.05
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 2644 0 0 0 5 0 0 0 17 0 8 0 155556341 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915328 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915328 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155556342 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915328 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915328 CPUtime=0.1
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155556349 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915328 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915328 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937295872 18843 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915328

[startup+2.98344 s]
/proc/loadavg: 1.92 1.95 1.92 3/100 28825
/proc/meminfo: memFree=1095080/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=2.89
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23460 0 1 0 278 11 0 0 25 0 8 0 155556337 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228854 23195 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 155556341 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.2
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 373 0 0 0 20 0 0 0 15 0 8 0 155556349 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23195 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915416

[startup+6.27097 s]
/proc/loadavg: 1.93 1.95 1.92 3/100 28825
/proc/meminfo: memFree=1095016/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=6.14
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23475 0 1 0 603 11 0 0 25 0 8 0 155556337 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228854 23207 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 155556341 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.23
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 155556349 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915416

[startup+12.764 s]
/proc/loadavg: 1.94 1.95 1.92 3/100 28825
/proc/meminfo: memFree=1095024/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=12.58
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23482 0 1 0 1246 12 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915416

[startup+25.6171 s]
/proc/loadavg: 1.95 1.95 1.92 3/100 28825
/proc/meminfo: memFree=1095216/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=25.32
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23482 0 1 0 2520 12 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915416

[startup+51.2503 s]
/proc/loadavg: 1.96 1.95 1.92 3/100 28825
/proc/meminfo: memFree=1081008/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=50.71
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 5059 12 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915416

[startup+102.507 s]
/proc/loadavg: 1.98 1.96 1.92 3/100 28825
/proc/meminfo: memFree=1061104/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=101.49
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 10137 12 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915416

[startup+162.607 s]
/proc/loadavg: 1.99 1.96 1.92 3/100 28825
/proc/meminfo: memFree=1038192/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=161.05
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 16092 13 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.67 s]
/proc/loadavg: 1.85 1.99 1.94 3/100 29029
/proc/meminfo: memFree=1254320/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1470.15
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 146990 25 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.15
Current children cumulated vsize (KiB) 915416

[startup+1543.74 s]
/proc/loadavg: 1.98 2.00 1.94 3/100 29029
/proc/meminfo: memFree=1254448/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1530.16
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 152990 26 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.16
Current children cumulated vsize (KiB) 915416

[startup+1603.81 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 29029
/proc/meminfo: memFree=1254512/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1590.15
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 158989 26 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790533 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.15
Current children cumulated vsize (KiB) 915416

[startup+1663.87 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 29029
/proc/meminfo: memFree=1254448/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1650.15
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 164989 26 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763901 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.15
Current children cumulated vsize (KiB) 915416

[startup+1723.93 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 29029
/proc/meminfo: memFree=1254448/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1710.15
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 170989 26 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.15
Current children cumulated vsize (KiB) 915416

[startup+1783.98 s]
/proc/loadavg: 1.99 2.00 1.94 4/100 29029
/proc/meminfo: memFree=1254448/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1770.13
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 176987 26 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.13
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.91 s]
/proc/loadavg: 1.99 2.00 1.94 3/100 29029
/proc/meminfo: memFree=1254448/2055920 swapFree=4192812/4192956
[pid=28817] ppid=28815 vsize=915416 CPUtime=1800.05
/proc/28817/stat : 28817 (java) R 28815 28817 28750 0 -1 0 23483 0 1 0 179978 27 0 0 25 0 8 0 155556337 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28817/statm: 228854 23212 2521 14 0 215324 0
[pid=28817/tid=28819] ppid=28815 vsize=915416 CPUtime=0.16
/proc/28817/task/28819/stat : 28819 (java) S 28815 28817 28750 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28820] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28820/stat : 28820 (java) S 28815 28817 28750 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155556341 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28821] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28821/stat : 28821 (java) S 28815 28817 28750 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155556342 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28822] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28822/stat : 28822 (java) S 28815 28817 28750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28823] ppid=28815 vsize=915416 CPUtime=0.25
/proc/28817/task/28823/stat : 28823 (java) S 28815 28817 28750 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28824] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28824/stat : 28824 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28817/tid=28825] ppid=28815 vsize=915416 CPUtime=0
/proc/28817/task/28825/stat : 28825 (java) S 28815 28817 28750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155556349 937385984 23212 18446744073709551615 134512640 134570532 4294956464 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) 915416

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

Child status: 143
Real time (s): 1813.99
CPU time (s): 1800.13
CPU user time (s): 1799.85
CPU system time (s): 0.283956
CPU usage (%): 99.2358
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.283956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23500
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= 37781
involuntary context switches= 70569

runsolver used 2.38664 s user time and 5.64614 s system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat Jan  6 08:20:07 UTC 2007


IDJOB= 199843
IDBENCH= 3643
FILE ID= node3/199843-1168071607

PBS_JOBID= 3475742

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  77acb5387e5cce7e11a1449191e1b24c

RANDOM SEED= 580348449

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.279
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.279
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:       1178880 kB
Buffers:         65148 kB
Cached:         471780 kB
SwapCached:          0 kB
Active:         299808 kB
Inactive:       482100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1178880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4696 kB
Writeback:           0 kB
Mapped:         274072 kB
Slab:            79868 kB
Committed_AS:  4517628 kB
PageTables:       2468 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 node3 on Sat Jan  6 08:50:23 UTC 2007