Trace number 206593

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.1 1807.4

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-27_ext.xml
MD5SUM515d716182a383524298f355d85cb43c
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.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=mac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/206593-1168073928/unknown.xml
0.47	   
0.47	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.51	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.51	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.51	   
0.51	   relations being loaded...
1.67	   
1.67	   constraints being loaded...
2.43	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.43	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.43	     nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
2.43	       =>  wckTime=2.028  cpuTime=1.62  mem=58M32
2.59	   
2.59	   solver IterativeSystematicSolver being built... 
2.76	       =>  wckTime=2.355  cpuTime=1.76  mem=65M859
2.77	   
2.77	   preprocessing
2.77	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.77	     detectedInconsistency=no
2.77	       =>  wckTime=0.0040  cpuTime=0.01  mem=65M859
2.94	   
2.94	   search
2.94	     run=0  nbConstraintChecks=51189  nbValidityChecks=107412  nbPropagations=548  nbRevisions=6509
2.94	     nbUselessRevisions=5217  nbAssignments=47  nbFailedAssignments=29  nbBacktracks=10  nbVisitedNodes=87
2.94	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=0.172  cpuTime=0.14  mem=65M859
3.04	   
3.04	   search
3.04	     run=1  nbConstraintChecks=99675  nbValidityChecks=194359  nbPropagations=1527  nbRevisions=18289
3.04	     nbUselessRevisions=14687  nbAssignments=87  nbFailedAssignments=44  nbBacktracks=25  nbVisitedNodes=151
3.04	     nbRestartNogoods=1  mapSize=23  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=0.273  cpuTime=0.23  mem=65M859
3.19	   
3.19	   search
3.19	     run=2  nbConstraintChecks=175025  nbValidityChecks=344694  nbPropagations=3294  nbRevisions=39793
3.19	     nbUselessRevisions=31858  nbAssignments=149  nbFailedAssignments=74  nbBacktracks=48  nbVisitedNodes=258
3.19	     nbRestartNogoods=7  mapSize=42  nbInferences=0  nbTooLargeKeys=0
3.19	       =>  wckTime=0.42  cpuTime=0.37  mem=65M859
3.33	   
3.33	   search
3.33	     run=3  nbConstraintChecks=259054  nbValidityChecks=509921  nbPropagations=6000  nbRevisions=73183
3.33	     nbUselessRevisions=58616  nbAssignments=228  nbFailedAssignments=113  nbBacktracks=81  nbVisitedNodes=396
3.33	     nbRestartNogoods=10  mapSize=69  nbInferences=0  nbTooLargeKeys=0
3.33	       =>  wckTime=0.565  cpuTime=0.51  mem=65M859
3.62	   
3.62	   search
3.62	     run=4  nbConstraintChecks=424211  nbValidityChecks=848714  nbPropagations=10329  nbRevisions=126422
3.62	     nbUselessRevisions=101423  nbAssignments=371  nbFailedAssignments=197  nbBacktracks=131  nbVisitedNodes=655
3.62	     nbRestartNogoods=12  mapSize=111  nbInferences=0  nbTooLargeKeys=0
3.62	       =>  wckTime=0.856  cpuTime=0.79  mem=65M859
3.99	   
3.99	   search
3.99	     run=5  nbConstraintChecks=633718  nbValidityChecks=1273450  nbPropagations=17157  nbRevisions=209172
3.99	     nbUselessRevisions=167541  nbAssignments=541  nbFailedAssignments=282  nbBacktracks=209  nbVisitedNodes=962
3.99	     nbRestartNogoods=15  mapSize=183  nbInferences=0  nbTooLargeKeys=0
3.99	       =>  wckTime=1.223  cpuTime=1.16  mem=65M859
4.50	   
4.50	   search
4.50	     run=6  nbConstraintChecks=932715  nbValidityChecks=1869641  nbPropagations=27179  nbRevisions=330832
4.50	     nbUselessRevisions=264957  nbAssignments=795  nbFailedAssignments=415  nbBacktracks=322  nbVisitedNodes=1417
4.50	     nbRestartNogoods=20  mapSize=277  nbInferences=0  nbTooLargeKeys=0
4.50	       =>  wckTime=1.736  cpuTime=1.66  mem=65M859
5.44	   
5.44	   search
5.44	     run=7  nbConstraintChecks=1485696  nbValidityChecks=2991214  nbPropagations=42455  nbRevisions=517851
5.44	     nbUselessRevisions=414344  nbAssignments=1260  nbFailedAssignments=702  nbBacktracks=493  nbVisitedNodes=2268
5.44	     nbRestartNogoods=23  mapSize=413  nbInferences=0  nbTooLargeKeys=0
5.44	       =>  wckTime=2.679  cpuTime=2.59  mem=65M859
6.82	   
6.82	   search
6.82	     run=8  nbConstraintChecks=2326825  nbValidityChecks=4653386  nbPropagations=65678  nbRevisions=809536
6.82	     nbUselessRevisions=647444  nbAssignments=1896  nbFailedAssignments=1073  nbBacktracks=752  nbVisitedNodes=3454
6.82	     nbRestartNogoods=27  mapSize=645  nbInferences=0  nbTooLargeKeys=0
6.82	       =>  wckTime=4.056  cpuTime=3.93  mem=65M859
8.33	   
8.33	   search
8.33	     run=9  nbConstraintChecks=3229888  nbValidityChecks=6473720  nbPropagations=98932  nbRevisions=1228119
8.33	     nbUselessRevisions=982700  nbAssignments=2712  nbFailedAssignments=1498  nbBacktracks=1136  nbVisitedNodes=4899
8.33	     nbRestartNogoods=31  mapSize=962  nbInferences=0  nbTooLargeKeys=0
8.33	       =>  wckTime=5.56  cpuTime=5.42  mem=66M851
8.70	   
8.70	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=66M851)
11.86	   
11.86	   search
11.86	     run=10  nbConstraintChecks=5358148  nbValidityChecks=10863937  nbPropagations=152822  nbRevisions=1903333
11.86	     nbUselessRevisions=1522023  nbAssignments=4350  nbFailedAssignments=2554  nbBacktracks=1712  nbVisitedNodes=7995
11.86	     nbRestartNogoods=44
11.86	       =>  wckTime=9.095  cpuTime=8.91  mem=66M851
15.73	   
15.73	   search
15.73	     run=11  nbConstraintChecks=7644964  nbValidityChecks=15619183  nbPropagations=234992  nbRevisions=2909766
15.73	     nbUselessRevisions=2322393  nbAssignments=6369  nbFailedAssignments=3701  nbBacktracks=2576  nbVisitedNodes=11740
15.73	     nbRestartNogoods=50
15.73	       =>  wckTime=12.966  cpuTime=12.74  mem=66M851
22.49	   
22.49	   search
22.49	     run=12  nbConstraintChecks=11754538  nbValidityChecks=24320906  nbPropagations=363131  nbRevisions=4470349
22.49	     nbUselessRevisions=3559714  nbAssignments=9952  nbFailedAssignments=5979  nbBacktracks=3873  nbVisitedNodes=18530
22.49	     nbRestartNogoods=56
22.49	       =>  wckTime=19.725  cpuTime=19.44  mem=66M851
30.23	   
30.23	   search
30.23	     run=13  nbConstraintChecks=16398331  nbValidityChecks=33623790  nbPropagations=541433  nbRevisions=6650583
30.23	     nbUselessRevisions=5291879  nbAssignments=13808  nbFailedAssignments=7881  nbBacktracks=5820  nbVisitedNodes=25376
30.23	     nbRestartNogoods=64
30.23	       =>  wckTime=27.462  cpuTime=27.11  mem=66M851
43.26	   
43.26	   search
43.26	     run=14  nbConstraintChecks=24431477  nbValidityChecks=49509330  nbPropagations=808021  nbRevisions=9951676
43.26	     nbUselessRevisions=7919829  nbAssignments=20853  nbFailedAssignments=12001  nbBacktracks=8739  nbVisitedNodes=38340
43.26	     nbRestartNogoods=71
43.26	       =>  wckTime=40.497  cpuTime=40.02  mem=66M851
67.80	   
67.80	   search
67.80	     run=15  nbConstraintChecks=39378165  nbValidityChecks=80381496  nbPropagations=1225943  nbRevisions=15147453
67.80	     nbUselessRevisions=12065139  nbAssignments=33191  nbFailedAssignments=19952  nbBacktracks=13117
67.80	     nbVisitedNodes=61540  nbRestartNogoods=77
67.80	       =>  wckTime=65.038  cpuTime=64.34  mem=66M851
100.06	   
100.06	   search
100.06	     run=16  nbConstraintChecks=59026041  nbValidityChecks=121051036  nbPropagations=1872509  nbRevisions=23078144
100.06	     nbUselessRevisions=18371758  nbAssignments=49947  nbFailedAssignments=30132  nbBacktracks=19685
100.06	     nbVisitedNodes=93053  nbRestartNogoods=92
100.06	       =>  wckTime=97.299  cpuTime=96.3  mem=66M851
140.08	   
140.08	   search
140.08	     run=17  nbConstraintChecks=83537696  nbValidityChecks=169432674  nbPropagations=2790700  nbRevisions=34392014
140.08	     nbUselessRevisions=27380768  nbAssignments=71801  nbFailedAssignments=42126  nbBacktracks=29537
140.08	     nbVisitedNodes=132544  nbRestartNogoods=109
140.08	       =>  wckTime=137.319  cpuTime=135.87  mem=66M851
212.16	   
212.16	   search
212.16	     run=18  nbConstraintChecks=127241647  nbValidityChecks=256592995  nbPropagations=4148546  nbRevisions=51285763
212.16	     nbUselessRevisions=40831790  nbAssignments=105330  nbFailedAssignments=60869  nbBacktracks=44315
212.16	     nbVisitedNodes=193908  nbRestartNogoods=122
212.16	       =>  wckTime=209.396  cpuTime=207.16  mem=66M851
305.69	   
305.69	   search
305.69	     run=19  nbConstraintChecks=183176973  nbValidityChecks=369389241  nbPropagations=6094762  nbRevisions=75497918
305.69	     nbUselessRevisions=60131309  nbAssignments=151702  nbFailedAssignments=85064  nbBacktracks=66483
305.69	     nbVisitedNodes=277155  nbRestartNogoods=135
305.70	       =>  wckTime=302.93  cpuTime=299.78  mem=66M851
491.18	   
491.18	   search
491.18	     run=20  nbConstraintChecks=295919528  nbValidityChecks=600243456  nbPropagations=9179040  nbRevisions=114076654
491.18	     nbUselessRevisions=90893770  nbAssignments=240441  nbFailedAssignments=140545  nbBacktracks=99735
491.18	     nbVisitedNodes=443651  nbRestartNogoods=157
491.18	       =>  wckTime=488.416  cpuTime=483.55  mem=66M851
737.58	   
737.58	   search
737.58	     run=21  nbConstraintChecks=448283759  nbValidityChecks=914992891  nbPropagations=14039523  nbRevisions=173945035
737.58	     nbUselessRevisions=138444343  nbAssignments=375349  nbFailedAssignments=225567  nbBacktracks=149614
737.58	     nbVisitedNodes=698594  nbRestartNogoods=188
737.58	       =>  wckTime=734.811  cpuTime=727.93  mem=66M851
1036.32	   
1036.33	   search
1036.33	     run=22  nbConstraintChecks=641941049  nbValidityChecks=1304816665  nbPropagations=20906759  nbRevisions=258541041
1036.33	     nbUselessRevisions=205706270  nbAssignments=530593  nbFailedAssignments=305983  nbBacktracks=224434
1036.33	     nbVisitedNodes=976837  nbRestartNogoods=204
1036.33	       =>  wckTime=1033.56  cpuTime=1026.57  mem=66M851
1544.61	   
1544.62	   search
1544.62	     run=23  nbConstraintChecks=976878650  nbValidityChecks=1968686935  nbPropagations=31167285  nbRevisions=385757380
1544.62	     nbUselessRevisions=306882083  nbAssignments=795921  nbFailedAssignments=459076  nbBacktracks=336662
1544.62	     nbVisitedNodes=1464857  nbRestartNogoods=231
1544.62	       =>  wckTime=1541.85  cpuTime=1534.68  mem=66M851

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/node33/watcher-206593-1168073928 -o ROOT/results/node33/solver-206593-1168073928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206593-1168073928/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.07 2.02 1.83 2/80 10308
/proc/meminfo: memFree=1020096/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=18540 CPUtime=0
/proc/10307/stat : 10307 (runsolver) R 10305 10307 9938 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155786684 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10307/statm: 4635 279 244 17 0 2626 0

[startup+0.103027 s]
/proc/loadavg: 2.07 2.02 1.83 2/80 10308
/proc/meminfo: memFree=1020096/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=12076 CPUtime=0
/proc/10307/stat : 10307 (java) D 10305 10307 9938 0 -1 0 789 0 1 0 0 0 0 0 17 0 1 0 155786684 12365824 538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10307/statm: 3019 538 443 14 0 1602 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12076

[startup+0.515109 s]
/proc/loadavg: 2.07 2.02 1.83 2/80 10308
/proc/meminfo: memFree=1020096/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915328 CPUtime=0.4
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 6116 0 1 0 36 4 0 0 18 0 8 0 155786684 937295872 5855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152161212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228832 5855 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328

[startup+1.33928 s]
/proc/loadavg: 2.06 2.02 1.83 4/87 10315
/proc/meminfo: memFree=953480/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915328 CPUtime=1.21
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 19099 0 1 0 111 10 0 0 25 0 8 0 155786684 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228832 18837 2149 14 0 215302 0
[pid=10307/tid=10309] ppid=10305 vsize=915328 CPUtime=0.05
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155786697 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915328 CPUtime=0.08
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155786700 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328

[startup+2.97662 s]
/proc/loadavg: 2.06 2.02 1.83 4/87 10315
/proc/meminfo: memFree=926280/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=2.83
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32556 0 1 0 266 17 0 0 25 0 8 0 155786684 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32290 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.18
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 374 0 0 0 18 0 0 0 15 0 8 0 155786700 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915440

[startup+6.17828 s]
/proc/loadavg: 2.06 2.01 1.83 3/87 10315
/proc/meminfo: memFree=900360/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=6.01
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32579 0 1 0 583 18 0 0 25 0 8 0 155786684 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32310 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 17 0 8 0 155786697 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.24
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155786700 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 915440

[startup+12.6556 s]
/proc/loadavg: 2.05 2.01 1.83 3/87 10315
/proc/meminfo: memFree=900504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=12.42
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32588 0 1 0 1224 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 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.5273 s]
/proc/loadavg: 2.04 2.01 1.83 3/87 10315
/proc/meminfo: memFree=900696/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=25.18
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32588 0 1 0 2500 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915440

[startup+51.1555 s]
/proc/loadavg: 2.02 2.01 1.84 3/87 10315
/proc/meminfo: memFree=900696/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=50.57
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32588 0 1 0 5039 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 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.413 s]
/proc/loadavg: 2.05 2.02 1.85 3/87 10315
/proc/meminfo: memFree=900760/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=101.35
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32589 0 1 0 10117 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 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.427 s]
/proc/loadavg: 2.17 2.06 1.87 3/93 10431
/proc/meminfo: memFree=899400/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=160.69
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32589 0 1 0 16050 19 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.71 s]
/proc/loadavg: 1.00 1.08 1.40 2/72 10587
/proc/meminfo: memFree=1033568/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1475.53
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 147531 22 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.53
Current children cumulated vsize (KiB) 915440

[startup+1542.72 s]
/proc/loadavg: 1.00 1.06 1.37 2/72 10587
/proc/meminfo: memFree=1033568/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1535.52
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 153530 22 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.52
Current children cumulated vsize (KiB) 915440

[startup+1602.74 s]
/proc/loadavg: 1.08 1.06 1.35 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1595.51
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 159529 22 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.51
Current children cumulated vsize (KiB) 915440

[startup+1662.76 s]
/proc/loadavg: 1.03 1.05 1.32 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1655.52
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 165529 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.52
Current children cumulated vsize (KiB) 915440

[startup+1722.77 s]
/proc/loadavg: 1.01 1.04 1.30 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1715.51
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 171528 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.51
Current children cumulated vsize (KiB) 915440

[startup+1782.78 s]
/proc/loadavg: 1.00 1.03 1.28 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1775.49
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 177526 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.49
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.34 s]
/proc/loadavg: 1.00 1.03 1.27 2/72 10587
/proc/meminfo: memFree=1033440/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1800.03
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 179980 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1807.4
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.254961
CPU usage (%): 99.5961
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32607
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= 37729
involuntary context switches= 37271

runsolver used 2.26865 s user time and 4.80827 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Jan  6 08:58:48 UTC 2007


IDJOB= 206593
IDBENCH= 4220
FILE ID= node33/206593-1168073928

PBS_JOBID= 3475966

Free space on /tmp= 66542 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  515d716182a383524298f355d85cb43c

RANDOM SEED= 296055402

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.281
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.281
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:       1020576 kB
Buffers:         42912 kB
Cached:         768288 kB
SwapCached:        448 kB
Active:         237968 kB
Inactive:       713620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1020576 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            7480 kB
Writeback:           0 kB
Mapped:         159824 kB
Slab:            68848 kB
Committed_AS:  3447756 kB
PageTables:       2048 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= 66549 MiB



End job on node33 on Sat Jan  6 09:28:56 UTC 2007