Trace number 206476

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.15 1812.28

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-2_ext.xml
MD5SUM860928ff7cfcb295e33958fc1dc04e8a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.41	   
0.41	Abscon 109 (November, 2006)
0.41	   
0.41	   configuration
0.41	     name=mac.xml
0.45	   
0.45	   instance
0.45	     name=/tmp/evaluation/206476-1168073646/unknown.xml
0.48	   
0.48	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.52	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.52	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.52	   
0.52	   relations being loaded...
1.68	   
1.68	   constraints being loaded...
2.45	     nbConstraints=90  nbRelationTypes=93  nbMergedConstraints=3  nbExtensionStructures=90
2.45	     nbSharedExtensionStructures=0  nbConflictsStructures=90  nbSharedConflictsStructures=0
2.45	     nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.45	       =>  wckTime=2.033  cpuTime=1.62  mem=55M882
2.61	   
2.61	   solver IterativeSystematicSolver being built... 
2.78	       =>  wckTime=2.364  cpuTime=1.75  mem=64M780
2.79	   
2.79	   preprocessing
2.79	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.79	     detectedInconsistency=no
2.79	       =>  wckTime=0.0040  cpuTime=0.01  mem=64M780
2.95	   
2.95	   search
2.95	     run=0  nbConstraintChecks=50772  nbValidityChecks=92782  nbPropagations=576  nbRevisions=6601
2.95	     nbUselessRevisions=5246  nbAssignments=42  nbFailedAssignments=24  nbBacktracks=11  nbVisitedNodes=74
2.95	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=0.163  cpuTime=0.13  mem=64M780
3.03	   
3.03	   search
3.03	     run=1  nbConstraintChecks=88960  nbValidityChecks=167320  nbPropagations=1558  nbRevisions=17703
3.03	     nbUselessRevisions=14126  nbAssignments=79  nbFailedAssignments=41  nbBacktracks=27  nbVisitedNodes=136
3.03	     nbRestartNogoods=2  mapSize=23  nbInferences=0  nbTooLargeKeys=0
3.03	       =>  wckTime=0.247  cpuTime=0.2  mem=64M780
3.14	   
3.14	   search
3.14	     run=2  nbConstraintChecks=145055  nbValidityChecks=272223  nbPropagations=3065  nbRevisions=34795
3.14	     nbUselessRevisions=27709  nbAssignments=130  nbFailedAssignments=60  nbBacktracks=52  nbVisitedNodes=216
3.14	     nbRestartNogoods=3  mapSize=35  nbInferences=0  nbTooLargeKeys=0
3.14	       =>  wckTime=0.361  cpuTime=0.3  mem=64M780
3.32	   
3.32	   search
3.32	     run=3  nbConstraintChecks=247828  nbValidityChecks=476852  nbPropagations=5868  nbRevisions=67197
3.32	     nbUselessRevisions=53424  nbAssignments=215  nbFailedAssignments=103  nbBacktracks=85  nbVisitedNodes=367
3.32	     nbRestartNogoods=9  mapSize=65  nbInferences=0  nbTooLargeKeys=0
3.32	       =>  wckTime=0.538  cpuTime=0.48  mem=64M780
3.59	   
3.59	   search
3.59	     run=4  nbConstraintChecks=395228  nbValidityChecks=784391  nbPropagations=10216  nbRevisions=117865
3.59	     nbUselessRevisions=93720  nbAssignments=339  nbFailedAssignments=169  nbBacktracks=136  nbVisitedNodes=587
3.59	     nbRestartNogoods=15  mapSize=109  nbInferences=0  nbTooLargeKeys=0
3.59	       =>  wckTime=0.802  cpuTime=0.74  mem=64M780
4.00	   
4.00	   search
4.00	     run=5  nbConstraintChecks=631893  nbValidityChecks=1241654  nbPropagations=16757  nbRevisions=193670
4.00	     nbUselessRevisions=153885  nbAssignments=522  nbFailedAssignments=269  nbBacktracks=213  nbVisitedNodes=912
4.00	     nbRestartNogoods=18  mapSize=161  nbInferences=0  nbTooLargeKeys=0
4.00	       =>  wckTime=1.22  cpuTime=1.14  mem=64M780
4.54	   
4.54	   search
4.54	     run=6  nbConstraintChecks=959803  nbValidityChecks=1846512  nbPropagations=26318  nbRevisions=305597
4.54	     nbUselessRevisions=242467  nbAssignments=745  nbFailedAssignments=374  nbBacktracks=326  nbVisitedNodes=1299
4.54	     nbRestartNogoods=29  mapSize=245  nbInferences=0  nbTooLargeKeys=0
4.54	       =>  wckTime=1.754  cpuTime=1.67  mem=64M780
5.91	   
5.91	   search
5.91	     run=7  nbConstraintChecks=1780740  nbValidityChecks=3466444  nbPropagations=43037  nbRevisions=508760
5.91	     nbUselessRevisions=402670  nbAssignments=1270  nbFailedAssignments=723  nbBacktracks=496  nbVisitedNodes=2298
5.91	     nbRestartNogoods=33  mapSize=403  nbInferences=0  nbTooLargeKeys=0
5.91	       =>  wckTime=3.125  cpuTime=3.02  mem=64M780
6.97	   
6.97	   search
6.97	     run=8  nbConstraintChecks=2391694  nbValidityChecks=4664369  nbPropagations=67227  nbRevisions=794312
6.97	     nbUselessRevisions=627380  nbAssignments=1825  nbFailedAssignments=1013  nbBacktracks=752  nbVisitedNodes=3297
6.97	     nbRestartNogoods=36  mapSize=610  nbInferences=0  nbTooLargeKeys=0
6.97	       =>  wckTime=4.184  cpuTime=4.06  mem=64M780
9.57	   
9.57	   search
9.57	     run=9  nbConstraintChecks=3891253  nbValidityChecks=7750474  nbPropagations=107896  nbRevisions=1269586
9.57	     nbUselessRevisions=998230  nbAssignments=2934  nbFailedAssignments=1732  nbBacktracks=1136  nbVisitedNodes=5434
9.57	     nbRestartNogoods=43  mapSize=975  nbInferences=0  nbTooLargeKeys=0
9.57	       =>  wckTime=6.787  cpuTime=6.62  mem=65M772
9.86	   
9.87	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=65M772)
12.11	   
12.11	   search
12.11	     run=10  nbConstraintChecks=5454569  nbValidityChecks=10750962  nbPropagations=166248  nbRevisions=1932736
12.11	     nbUselessRevisions=1515570  nbAssignments=4131  nbFailedAssignments=2347  nbBacktracks=1713  nbVisitedNodes=7583
12.11	     nbRestartNogoods=53
12.11	       =>  wckTime=9.329  cpuTime=9.14  mem=65M772
17.37	   
17.37	   search
17.37	     run=11  nbConstraintChecks=8637945  nbValidityChecks=17353772  nbPropagations=258024  nbRevisions=3013024
17.37	     nbUselessRevisions=2359480  nbAssignments=6861  nbFailedAssignments=4206  nbBacktracks=2577  nbVisitedNodes=12785
17.37	     nbRestartNogoods=66
17.37	       =>  wckTime=14.589  cpuTime=14.35  mem=65M772
27.30	   
27.30	   search
27.30	     run=12  nbConstraintChecks=15048194  nbValidityChecks=29825258  nbPropagations=404643  nbRevisions=4779435
27.30	     nbUselessRevisions=3740758  nbAssignments=11128  nbFailedAssignments=7167  nbBacktracks=3874  nbVisitedNodes=20936
27.30	     nbRestartNogoods=73
27.30	       =>  wckTime=24.52  cpuTime=24.19  mem=65M772
36.55	   
36.55	   search
36.55	     run=13  nbConstraintChecks=20736260  nbValidityChecks=40900027  nbPropagations=609176  nbRevisions=7229792
36.55	     nbUselessRevisions=5664613  nbAssignments=15475  nbFailedAssignments=9562  nbBacktracks=5820  nbVisitedNodes=28768
36.55	     nbRestartNogoods=101
36.55	       =>  wckTime=33.77  cpuTime=33.35  mem=65M772
52.65	   
52.65	   search
52.65	     run=14  nbConstraintChecks=30406568  nbValidityChecks=60043511  nbPropagations=907329  nbRevisions=10757281
52.65	     nbUselessRevisions=8432537  nbAssignments=22371  nbFailedAssignments=13531  nbBacktracks=8741  nbVisitedNodes=41500
52.65	     nbRestartNogoods=115
52.65	       =>  wckTime=49.864  cpuTime=49.29  mem=65M772
74.04	   
74.04	   search
74.04	     run=15  nbConstraintChecks=44021206  nbValidityChecks=85198850  nbPropagations=1335075  nbRevisions=15837354
74.04	     nbUselessRevisions=12431376  nbAssignments=32083  nbFailedAssignments=18859  nbBacktracks=13119
74.04	     nbVisitedNodes=59081  nbRestartNogoods=132
74.04	       =>  wckTime=71.258  cpuTime=70.49  mem=65M772
116.21	   
116.21	   search
116.21	     run=16  nbConstraintChecks=69611887  nbValidityChecks=137951093  nbPropagations=2019632  nbRevisions=24187795
116.21	     nbUselessRevisions=18996123  nbAssignments=53116  nbFailedAssignments=33314  nbBacktracks=19687
116.21	     nbVisitedNodes=99090  nbRestartNogoods=144
116.21	       =>  wckTime=113.428  cpuTime=112.27  mem=65M772
191.73	   
191.73	   search
191.73	     run=17  nbConstraintChecks=117808903  nbValidityChecks=232920215  nbPropagations=3117915  nbRevisions=37690903
191.73	     nbUselessRevisions=29601209  nbAssignments=84859  nbFailedAssignments=55198  nbBacktracks=29540
191.73	     nbVisitedNodes=159781  nbRestartNogoods=158
191.73	       =>  wckTime=188.944  cpuTime=187.09  mem=65M772
253.40	   
253.40	   search
253.40	     run=18  nbConstraintChecks=154731013  nbValidityChecks=306237283  nbPropagations=4642959  nbRevisions=55960385
253.40	     nbUselessRevisions=43947181  nbAssignments=115621  nbFailedAssignments=71174  nbBacktracks=44321
253.40	     nbVisitedNodes=215022  nbRestartNogoods=170
253.40	       =>  wckTime=250.614  cpuTime=248.2  mem=65M772
358.78	   
358.78	   search
358.78	     run=19  nbConstraintChecks=218459573  nbValidityChecks=430133395  nbPropagations=6825072  nbRevisions=81580602
358.78	     nbUselessRevisions=64045757  nbAssignments=162355  nbFailedAssignments=95732  nbBacktracks=66492
358.78	     nbVisitedNodes=299002  nbRestartNogoods=179
358.78	       =>  wckTime=355.997  cpuTime=352.6  mem=65M772
545.46	   
545.46	   search
545.46	     run=20  nbConstraintChecks=333235430  nbValidityChecks=659427492  nbPropagations=10091488  nbRevisions=120121044
545.46	     nbUselessRevisions=94256684  nbAssignments=242053  nbFailedAssignments=142171  nbBacktracks=99745
545.46	     nbVisitedNodes=446492  nbRestartNogoods=192
545.46	       =>  wckTime=542.677  cpuTime=537.34  mem=65M772
789.41	   
789.41	   search
789.41	     run=21  nbConstraintChecks=479530326  nbValidityChecks=948128485  nbPropagations=14869657  nbRevisions=175711546
789.41	     nbUselessRevisions=137808625  nbAssignments=352732  nbFailedAssignments=202964  nbBacktracks=149626
789.41	     nbVisitedNodes=647681  nbRestartNogoods=207
789.41	       =>  wckTime=786.623  cpuTime=779.04  mem=65M772
1174.12	   
1174.12	   search
1174.12	     run=22  nbConstraintChecks=719150410  nbValidityChecks=1408967807  nbPropagations=21893142  nbRevisions=258510426
1174.12	     nbUselessRevisions=202857859  nbAssignments=517830  nbFailedAssignments=293236  nbBacktracks=224444
1174.12	     nbVisitedNodes=945395  nbRestartNogoods=221
1174.12	       =>  wckTime=1171.334  cpuTime=1160.2  mem=65M772
1665.79	   
1665.79	   search
1665.79	     run=23  nbConstraintChecks=1035423005  nbValidityChecks=2054937100  nbPropagations=32469759  nbRevisions=382060376
1665.79	     nbUselessRevisions=299739871  nbAssignments=777576  nbFailedAssignments=440747  nbBacktracks=336671
1665.79	     nbVisitedNodes=1421671  nbRestartNogoods=232
1665.79	       =>  wckTime=1663.004  cpuTime=1651.09  mem=65M772

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

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

/proc/loadavg: 2.30 2.07 1.98 5/93 28194
/proc/meminfo: memFree=1531664/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=18540 CPUtime=0
/proc/28193/stat : 28193 (runsolver) R 28191 28193 28126 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155759663 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28193/statm: 4635 279 244 17 0 2626 0

[startup+0.103005 s]
/proc/loadavg: 2.30 2.07 1.98 5/93 28194
/proc/meminfo: memFree=1531664/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=9600 CPUtime=0
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 378 0 0 0 0 0 0 0 18 0 1 0 155759663 9830400 166 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7943919 0 0 4096 0 0 0 0 17 1 0 0
/proc/28193/statm: 2400 166 129 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9600

[startup+0.51509 s]
/proc/loadavg: 2.30 2.07 1.98 5/93 28194
/proc/meminfo: memFree=1531664/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915328 CPUtime=0.39
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 6091 0 1 0 36 3 0 0 18 0 8 0 155759663 937295872 5830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228832 5830 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33826 s]
/proc/loadavg: 2.30 2.07 1.98 4/100 28201
/proc/meminfo: memFree=1466520/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915328 CPUtime=1.21
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 19098 0 1 0 112 9 0 0 24 0 8 0 155759663 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228832 18836 2149 14 0 215302 0
[pid=28193/tid=28195] ppid=28191 vsize=915328 CPUtime=0.05
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155759676 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915328 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915328 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915328 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915328 CPUtime=0.08
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155759680 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915328 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915328 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328

[startup+2.97558 s]
/proc/loadavg: 2.30 2.07 1.98 4/100 28201
/proc/meminfo: memFree=1442840/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=2.82
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32296 0 1 0 266 16 0 0 25 0 8 0 155759663 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228860 32030 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.2
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 155759680 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915440

[startup+6.17722 s]
/proc/loadavg: 2.28 2.06 1.98 3/100 28201
/proc/meminfo: memFree=1413144/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=6
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32312 0 1 0 583 17 0 0 25 0 8 0 155759663 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228860 32043 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.23
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 155759680 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915440

[startup+12.6585 s]
/proc/loadavg: 2.25 2.06 1.98 3/100 28201
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=12.42
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32330 0 1 0 1225 17 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.26
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 915440

[startup+25.5291 s]
/proc/loadavg: 2.20 2.06 1.98 3/100 28201
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=25.16
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32330 0 1 0 2499 17 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.26
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 915440

[startup+51.1641 s]
/proc/loadavg: 2.13 2.05 1.98 3/100 28201
/proc/meminfo: memFree=1413344/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=50.57
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32330 0 1 0 5039 18 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.26
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 915440

[startup+102.426 s]
/proc/loadavg: 2.10 2.06 1.98 3/100 28201
/proc/meminfo: memFree=1413408/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=101.35
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32330 0 1 0 10117 18 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915440

[startup+162.439 s]
/proc/loadavg: 2.04 2.05 1.98 3/100 28201
/proc/meminfo: memFree=1413408/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=160.81
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32331 0 1 0 16063 18 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.04 s]
/proc/loadavg: 1.85 1.76 1.88 3/100 28771
/proc/meminfo: memFree=1485184/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1471.29
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32331 0 1 0 147091 38 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.29
Current children cumulated vsize (KiB) 915440

[startup+1543.09 s]
/proc/loadavg: 1.94 1.80 1.88 3/100 28773
/proc/meminfo: memFree=1482560/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1531.26
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32331 0 1 0 153088 38 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.26
Current children cumulated vsize (KiB) 915440

[startup+1603.16 s]
/proc/loadavg: 2.01 1.85 1.89 3/100 28773
/proc/meminfo: memFree=1481344/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1591.25
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32331 0 1 0 159087 38 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.25
Current children cumulated vsize (KiB) 915440

[startup+1663.21 s]
/proc/loadavg: 2.00 1.87 1.90 3/100 28773
/proc/meminfo: memFree=1481088/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1651.25
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32331 0 1 0 165087 38 0 0 25 0 8 0 155759663 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32057 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32057 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.25
Current children cumulated vsize (KiB) 915440

[startup+1723.27 s]
/proc/loadavg: 2.00 1.89 1.91 3/100 28773
/proc/meminfo: memFree=1480512/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1711.23
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32332 0 1 0 171085 38 0 0 25 0 8 0 155759663 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32058 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.23
Current children cumulated vsize (KiB) 915440

[startup+1783.33 s]
/proc/loadavg: 2.00 1.91 1.91 3/100 28773
/proc/meminfo: memFree=1471168/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1771.23
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32332 0 1 0 177085 38 0 0 25 0 8 0 155759663 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32058 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.23
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.23 s]
/proc/loadavg: 2.13 1.95 1.92 3/100 28773
/proc/meminfo: memFree=1468672/2055920 swapFree=4192812/4192956
[pid=28193] ppid=28191 vsize=915440 CPUtime=1800.09
/proc/28193/stat : 28193 (java) R 28191 28193 28126 0 -1 0 32332 0 1 0 179971 38 0 0 25 0 8 0 155759663 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28193/statm: 228860 32058 2521 14 0 215330 0
[pid=28193/tid=28195] ppid=28191 vsize=915440 CPUtime=0.45
/proc/28193/task/28195/stat : 28195 (java) S 28191 28193 28126 0 -1 64 15324 0 0 0 39 6 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28196] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28196/stat : 28196 (java) S 28191 28193 28126 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28197] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28197/stat : 28197 (java) S 28191 28193 28126 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155759676 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28198] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28198/stat : 28198 (java) S 28191 28193 28126 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28199] ppid=28191 vsize=915440 CPUtime=0.27
/proc/28193/task/28199/stat : 28199 (java) S 28191 28193 28126 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28193/tid=28200] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28200/stat : 28200 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28193/tid=28201] ppid=28191 vsize=915440 CPUtime=0
/proc/28193/task/28201/stat : 28201 (java) S 28191 28193 28126 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155759680 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1812.28
CPU time (s): 1800.15
CPU user time (s): 1799.74
CPU system time (s): 0.406938
CPU usage (%): 99.3304
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.406938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32349
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= 37822
involuntary context switches= 69884

runsolver used 2.26666 s user time and 5.68214 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan  6 08:54:06 UTC 2007


IDJOB= 206476
IDBENCH= 4211
FILE ID= node11/206476-1168073646

PBS_JOBID= 3475776

Free space on /tmp= 66308 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  860928ff7cfcb295e33958fc1dc04e8a

RANDOM SEED= 371945182

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.261
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	: 5931.00
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.261
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:       1532080 kB
Buffers:         38100 kB
Cached:         220028 kB
SwapCached:          0 kB
Active:         251612 kB
Inactive:       187600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532080 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7668 kB
Writeback:           0 kB
Mapped:         210088 kB
Slab:            69064 kB
Committed_AS:  5085784 kB
PageTables:       2652 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= 66314 MiB



End job on node11 on Sat Jan  6 09:24:20 UTC 2007