Trace number 206488

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 ESAC? (TO) 1800.13 1809.36

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-23_ext.xml
MD5SUM6bb99aa1c47efae32568e103d14a27ff
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/206488-1168173931/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.45	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.45	       =>  wckTime=0.101  cpuTime=0.09  mem=6M951
0.45	   
0.45	   relations being loaded...
1.60	   
1.60	   constraints being loaded...
2.36	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.36	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.36	     nbSharedBinaryRepresentations=0  maxDegree=20  maxArity=3
2.36	       =>  wckTime=2.01  cpuTime=1.6  mem=58M77
2.52	   
2.52	   solver IterativeSystematicSolver being built... 
2.70	       =>  wckTime=2.343  cpuTime=1.75  mem=65M620
2.83	   
2.83	   preprocessing
2.83	     nbConstraintChecks=45027  nbValidityChecks=73444  nbPropagations=230  nbRevisions=2532  nbUselessRevisions=2208
2.83	     nbSingletonTests=34  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.83	       =>  wckTime=0.134  cpuTime=0.1  mem=65M620
2.92	   
2.92	   search
2.92	     run=0  nbConstraintChecks=40410  nbValidityChecks=88562  nbPropagations=665  nbRevisions=7584
2.92	     nbUselessRevisions=6258  nbAssignments=34  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=59
2.93	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.93	       =>  wckTime=0.226  cpuTime=0.18  mem=66M628
2.99	   
2.99	   search
2.99	     run=1  nbConstraintChecks=70145  nbValidityChecks=147665  nbPropagations=1679  nbRevisions=19274
2.99	     nbUselessRevisions=15762  nbAssignments=67  nbFailedAssignments=28  nbBacktracks=25  nbVisitedNodes=111
2.99	     nbRestartNogoods=2  mapSize=21  nbInferences=0  nbTooLargeKeys=0
2.99	       =>  wckTime=0.287  cpuTime=0.24  mem=66M628
3.10	   
3.10	   search
3.10	     run=2  nbConstraintChecks=121196  nbValidityChecks=262990  nbPropagations=3355  nbRevisions=38893
3.10	     nbUselessRevisions=31553  nbAssignments=123  nbFailedAssignments=55  nbBacktracks=47  nbVisitedNodes=205
3.10	     nbRestartNogoods=3  mapSize=37  nbInferences=0  nbTooLargeKeys=0
3.10	       =>  wckTime=0.398  cpuTime=0.34  mem=66M628
3.26	   
3.26	   search
3.26	     run=3  nbConstraintChecks=206786  nbValidityChecks=452936  nbPropagations=6237  nbRevisions=72955
3.26	     nbUselessRevisions=58756  nbAssignments=217  nbFailedAssignments=106  nbBacktracks=80  nbVisitedNodes=373
3.26	     nbRestartNogoods=5  mapSize=67  nbInferences=0  nbTooLargeKeys=0
3.26	       =>  wckTime=0.557  cpuTime=0.49  mem=66M628
3.54	   
3.54	   search
3.54	     run=4  nbConstraintChecks=371752  nbValidityChecks=773752  nbPropagations=10637  nbRevisions=124866
3.54	     nbUselessRevisions=100200  nbAssignments=332  nbFailedAssignments=163  nbBacktracks=130  nbVisitedNodes=577
3.54	     nbRestartNogoods=8  mapSize=104  nbInferences=0  nbTooLargeKeys=0
3.54	       =>  wckTime=0.844  cpuTime=0.77  mem=66M628
4.24	   
4.24	   search
4.24	     run=5  nbConstraintChecks=772086  nbValidityChecks=1663199  nbPropagations=18556  nbRevisions=221912
4.24	     nbUselessRevisions=178695  nbAssignments=681  nbFailedAssignments=269  nbBacktracks=206  nbVisitedNodes=921
4.24	     nbRestartNogoods=31  mapSize=169  nbInferences=0  nbTooLargeKeys=0
4.24	       =>  wckTime=1.54  cpuTime=1.46  mem=66M628
4.76	   
4.76	   search
4.76	     run=6  nbConstraintChecks=1075518  nbValidityChecks=2291990  nbPropagations=30702  nbRevisions=367519
4.76	     nbUselessRevisions=295179  nbAssignments=983  nbFailedAssignments=450  nbBacktracks=319  nbVisitedNodes=1483
4.76	     nbRestartNogoods=35  mapSize=276  nbInferences=0  nbTooLargeKeys=0
4.76	       =>  wckTime=2.064  cpuTime=1.97  mem=66M628
5.49	   
5.49	   search
5.49	     run=7  nbConstraintChecks=1506715  nbValidityChecks=3191662  nbPropagations=48248  nbRevisions=577985
5.49	     nbUselessRevisions=462798  nbAssignments=1394  nbFailedAssignments=653  nbBacktracks=489  nbVisitedNodes=2171
5.49	     nbRestartNogoods=43  mapSize=415  nbInferences=0  nbTooLargeKeys=0
5.49	       =>  wckTime=2.793  cpuTime=2.69  mem=66M628
6.52	   
6.52	   search
6.52	     run=8  nbConstraintChecks=2107623  nbValidityChecks=4457022  nbPropagations=73393  nbRevisions=881760
6.52	     nbUselessRevisions=704024  nbAssignments=1932  nbFailedAssignments=926  nbBacktracks=748  nbVisitedNodes=3154
6.52	     nbRestartNogoods=51  mapSize=653  nbInferences=0  nbTooLargeKeys=0
6.52	       =>  wckTime=3.818  cpuTime=3.69  mem=66M628
8.00	   
8.00	   search
8.00	     run=9  nbConstraintChecks=2993633  nbValidityChecks=6341199  nbPropagations=108824  nbRevisions=1307670
8.00	     nbUselessRevisions=1042237  nbAssignments=2813  nbFailedAssignments=1414  nbBacktracks=1133  nbVisitedNodes=4768
8.00	     nbRestartNogoods=56  mapSize=1001  nbInferences=0  nbTooLargeKeys=0
8.00	       =>  wckTime=5.299  cpuTime=5.15  mem=66M628
8.09	   
8.09	   INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=66M628)
10.14	   
10.14	   search
10.14	     run=10  nbConstraintChecks=4322620  nbValidityChecks=9099869  nbPropagations=160591  nbRevisions=1932908
10.14	     nbUselessRevisions=1537850  nbAssignments=4079  nbFailedAssignments=2094  nbBacktracks=1713  nbVisitedNodes=7042
10.14	     nbRestartNogoods=68
10.14	       =>  wckTime=7.443  cpuTime=7.27  mem=66M628
12.41	   
12.41	   search
12.41	     run=11  nbConstraintChecks=5693956  nbValidityChecks=11957596  nbPropagations=230708  nbRevisions=2779298
12.41	     nbUselessRevisions=2209343  nbAssignments=5621  nbFailedAssignments=2762  nbBacktracks=2581  nbVisitedNodes=9645
12.41	     nbRestartNogoods=76
12.41	       =>  wckTime=9.712  cpuTime=9.51  mem=66M628
17.56	   
17.56	   search
17.56	     run=12  nbConstraintChecks=8900086  nbValidityChecks=18670774  nbPropagations=341666  nbRevisions=4129462
17.56	     nbUselessRevisions=3279280  nbAssignments=8889  nbFailedAssignments=4725  nbBacktracks=3878  nbVisitedNodes=15680
17.56	     nbRestartNogoods=79
17.56	       =>  wckTime=14.857  cpuTime=14.61  mem=66M628
24.81	   
24.81	   search
24.81	     run=13  nbConstraintChecks=13349585  nbValidityChecks=28134196  nbPropagations=507609  nbRevisions=6141923
24.81	     nbUselessRevisions=4877230  nbAssignments=13485  nbFailedAssignments=7355  nbBacktracks=5824  nbVisitedNodes=24107
24.81	     nbRestartNogoods=92
24.81	       =>  wckTime=22.11  cpuTime=21.79  mem=66M628
33.78	   
33.78	   search
33.78	     run=14  nbConstraintChecks=18845507  nbValidityChecks=39621564  nbPropagations=745929  nbRevisions=9025778
33.78	     nbUselessRevisions=7165656  nbAssignments=19177  nbFailedAssignments=10120  nbBacktracks=8743  nbVisitedNodes=34092
33.78	     nbRestartNogoods=105
33.78	       =>  wckTime=31.079  cpuTime=30.68  mem=66M628
46.94	   
46.94	   search
46.94	     run=15  nbConstraintChecks=26857165  nbValidityChecks=56262715  nbPropagations=1087811  nbRevisions=13155801
46.94	     nbUselessRevisions=10442221  nbAssignments=27526  nbFailedAssignments=14081  nbBacktracks=13124
46.94	     nbVisitedNodes=48599  nbRestartNogoods=120
46.94	       =>  wckTime=44.237  cpuTime=43.71  mem=66M628
75.50	   
75.50	   search
75.50	     run=16  nbConstraintChecks=44704774  nbValidityChecks=93833728  nbPropagations=1644923  nbRevisions=19883944
75.50	     nbUselessRevisions=15756491  nbAssignments=44597  nbFailedAssignments=24540  nbBacktracks=19692
75.50	     nbVisitedNodes=80456  nbRestartNogoods=137
75.50	       =>  wckTime=72.798  cpuTime=72.02  mem=66M628
118.53	   
118.53	   search
118.53	     run=17  nbConstraintChecks=71008652  nbValidityChecks=149493798  nbPropagations=2542082  nbRevisions=30619753
118.53	     nbUselessRevisions=24212668  nbAssignments=68896  nbFailedAssignments=38964  nbBacktracks=29544
118.53	     nbVisitedNodes=125771  nbRestartNogoods=147
118.53	       =>  wckTime=115.831  cpuTime=114.65  mem=66M628
161.88	   
161.88	   search
161.88	     run=18  nbConstraintChecks=97130368  nbValidityChecks=203929990  nbPropagations=3775287  nbRevisions=45399534
161.88	     nbUselessRevisions=35876422  nbAssignments=95705  nbFailedAssignments=50988  nbBacktracks=44323
161.88	     nbVisitedNodes=171823  nbRestartNogoods=161
161.88	       =>  wckTime=159.182  cpuTime=157.61  mem=66M628
237.06	   
237.06	   search
237.06	     run=19  nbConstraintChecks=143154785  nbValidityChecks=299242388  nbPropagations=5570659  nbRevisions=67131899
237.06	     nbUselessRevisions=53046713  nbAssignments=142152  nbFailedAssignments=75257  nbBacktracks=66495
237.06	     nbVisitedNodes=254270  nbRestartNogoods=177
237.06	       =>  wckTime=234.364  cpuTime=232.11  mem=66M628
358.17	   
358.17	   search
358.17	     run=20  nbConstraintChecks=216115264  nbValidityChecks=455232949  nbPropagations=8295901  nbRevisions=99927324
358.17	     nbUselessRevisions=79013879  nbAssignments=217128  nbFailedAssignments=116972  nbBacktracks=99747
358.17	     nbVisitedNodes=391098  nbRestartNogoods=194
358.17	       =>  wckTime=355.469  cpuTime=352.11  mem=66M628
537.98	   
537.98	   search
537.98	     run=21  nbConstraintChecks=324759821  nbValidityChecks=682520941  nbPropagations=12389804  nbRevisions=149240806
537.98	     nbUselessRevisions=118050477  nbAssignments=320657  nbFailedAssignments=170615  nbBacktracks=149628
537.98	     nbVisitedNodes=576235  nbRestartNogoods=206
537.98	       =>  wckTime=535.28  cpuTime=530.28  mem=66M628
792.51	   
792.51	   search
792.51	     run=22  nbConstraintChecks=480032862  nbValidityChecks=1005655215  nbPropagations=18411454  nbRevisions=221734867
792.51	     nbUselessRevisions=175378726  nbAssignments=468669  nbFailedAssignments=243804  nbBacktracks=224447
792.51	     nbVisitedNodes=838430  nbRestartNogoods=215
792.51	       =>  wckTime=789.81  cpuTime=782.51  mem=66M628
1347.16	   
1347.16	   search
1347.16	     run=23  nbConstraintChecks=837667632  nbValidityChecks=1761863889  nbPropagations=28752697  nbRevisions=346084527
1347.16	     nbUselessRevisions=273208330  nbAssignments=791838  nbFailedAssignments=454738  nbBacktracks=336674
1347.16	     nbVisitedNodes=1454584  nbRestartNogoods=226
1347.16	       =>  wckTime=1344.464  cpuTime=1335.66  mem=66M628

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

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

/proc/loadavg: 1.94 1.99 1.97 4/87 18167
/proc/meminfo: memFree=944864/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=18540 CPUtime=0
/proc/18166/stat : 18166 (runsolver) R 18164 18166 17365 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165788355 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18166/statm: 4635 279 244 17 0 2626 0

[startup+0.103097 s]
/proc/loadavg: 1.94 1.99 1.97 4/87 18167
/proc/meminfo: memFree=944864/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=907808 CPUtime=0.05
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 2429 0 1 0 4 1 0 0 16 0 4 0 165788355 929595392 2176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155239863 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 226952 2176 1201 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.511138 s]
/proc/loadavg: 1.94 1.99 1.97 4/87 18167
/proc/meminfo: memFree=944864/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915328 CPUtime=0.45
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 6794 0 1 0 41 4 0 0 18 0 8 0 165788355 937295872 6533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228832 6533 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33423 s]
/proc/loadavg: 1.94 1.99 1.97 3/94 18174
/proc/meminfo: memFree=877736/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915328 CPUtime=1.26
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 19099 0 1 0 117 9 0 0 25 0 8 0 165788355 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228832 18837 2149 14 0 215302 0
[pid=18166/tid=18168] ppid=18164 vsize=915328 CPUtime=0.05
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 165788363 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915328 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915328 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915328 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915328 CPUtime=0.07
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 165788367 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915328 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915328 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 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.26
Current children cumulated vsize (KiB) 915328

[startup+2.98741 s]
/proc/loadavg: 1.94 1.99 1.97 4/94 18174
/proc/meminfo: memFree=837736/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=2.91
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32572 0 1 0 273 18 0 0 25 0 8 0 165788355 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228860 32307 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 17 0 8 0 165788363 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.2
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 165788367 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915440

[startup+6.27776 s]
/proc/loadavg: 1.94 1.99 1.97 3/94 18174
/proc/meminfo: memFree=825000/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=6.16
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32595 0 1 0 598 18 0 0 25 0 8 0 165788355 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228860 32327 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 17 0 8 0 165788363 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.24
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 165788367 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915440

[startup+12.7735 s]
/proc/loadavg: 1.95 1.99 1.97 3/94 18174
/proc/meminfo: memFree=825192/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=12.59
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32605 0 1 0 1241 18 0 0 25 0 8 0 165788355 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228860 32334 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 401 0 0 0 25 1 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915440

[startup+25.6188 s]
/proc/loadavg: 1.96 1.99 1.97 3/94 18174
/proc/meminfo: memFree=825320/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=25.32
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32605 0 1 0 2514 18 0 0 25 0 8 0 165788355 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228860 32334 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 401 0 0 0 25 1 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915440

[startup+51.2526 s]
/proc/loadavg: 2.09 2.02 1.98 3/94 18174
/proc/meminfo: memFree=825448/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=50.72
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32605 0 1 0 5053 19 0 0 25 0 8 0 165788355 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228860 32334 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 401 0 0 0 25 1 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915440

[startup+102.516 s]
/proc/loadavg: 2.04 2.02 1.98 3/94 18174
/proc/meminfo: memFree=825512/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=101.52
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32606 0 1 0 10133 19 0 0 25 0 8 0 165788355 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18166/statm: 228860 32334 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915440

[startup+162.526 s]
/proc/loadavg: 2.01 2.01 1.98 3/94 18174
/proc/meminfo: memFree=825512/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=160.97
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32606 0 1 0 16078 19 0 0 25 0 8 0 165788355 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 18448
/proc/meminfo: memFree=1255328/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1474.41
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 147407 34 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.41
Current children cumulated vsize (KiB) 915440

[startup+1543.37 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 18448
/proc/meminfo: memFree=1255264/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1534.4
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 153405 35 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.4
Current children cumulated vsize (KiB) 915440

[startup+1603.42 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 18448
/proc/meminfo: memFree=1255328/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1594.38
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 159403 35 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.38
Current children cumulated vsize (KiB) 915440

[startup+1663.46 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 18448
/proc/meminfo: memFree=1255264/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1654.37
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 165402 35 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629901 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.37
Current children cumulated vsize (KiB) 915440

[startup+1723.5 s]
/proc/loadavg: 2.08 2.02 2.00 3/101 18448
/proc/meminfo: memFree=1255328/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1714.35
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 171400 35 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.35
Current children cumulated vsize (KiB) 915440

[startup+1783.55 s]
/proc/loadavg: 2.03 2.01 2.00 3/101 18448
/proc/meminfo: memFree=1255264/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1774.32
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 177397 35 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.32
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 18448
/proc/meminfo: memFree=1255328/2055920 swapFree=4192812/4192956
[pid=18166] ppid=18164 vsize=915440 CPUtime=1800.06
/proc/18166/stat : 18166 (java) R 18164 18166 17365 0 -1 0 32607 0 1 0 179971 35 0 0 25 0 8 0 165788355 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18166/statm: 228860 32335 2531 14 0 215330 0
[pid=18166/tid=18168] ppid=18164 vsize=915440 CPUtime=0.44
/proc/18166/task/18168/stat : 18168 (java) S 18164 18166 17365 0 -1 64 15582 0 0 0 38 6 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18169] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18169/stat : 18169 (java) S 18164 18166 17365 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18170] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18170/stat : 18170 (java) S 18164 18166 17365 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165788363 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18171] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18171/stat : 18171 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18172] ppid=18164 vsize=915440 CPUtime=0.26
/proc/18166/task/18172/stat : 18172 (java) S 18164 18166 17365 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18173] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18173/stat : 18173 (java) S 18164 18166 17365 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18166/tid=18174] ppid=18164 vsize=915440 CPUtime=0
/proc/18166/task/18174/stat : 18174 (java) S 18164 18166 17365 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165788367 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1809.36
CPU time (s): 1800.13
CPU user time (s): 1799.75
CPU system time (s): 0.376942
CPU usage (%): 99.49
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37758
involuntary context switches= 62101

runsolver used 2.25766 s user time and 5.77012 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sun Jan  7 12:45:31 UTC 2007


IDJOB= 206488
IDBENCH= 4212
FILE ID= node24/206488-1168173931

PBS_JOBID= 3479013

Free space on /tmp= 66455 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6bb99aa1c47efae32568e103d14a27ff

RANDOM SEED= 33802429

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.234
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.234
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:        945280 kB
Buffers:         56800 kB
Cached:         437356 kB
SwapCached:          0 kB
Active:         738660 kB
Inactive:       301668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        945280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7568 kB
Writeback:           0 kB
Mapped:         566440 kB
Slab:            53528 kB
Committed_AS:  4023448 kB
PageTables:       3812 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= 66463 MiB



End job on node24 on Sun Jan  7 13:15:41 UTC 2007