Trace number 206540

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 1802.15

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-24_ext.xml
MD5SUM1a9e2f5dcb863b3e6755361b81695ce9
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/206540-1168174427/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.38	       =>  wckTime=0.093  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
1.44	   
1.44	   constraints being loaded...
2.13	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.13	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.13	     nbSharedBinaryRepresentations=0  maxDegree=17  maxArity=3
2.13	       =>  wckTime=1.841  cpuTime=1.48  mem=57M175
2.28	   
2.28	   solver IterativeSystematicSolver being built... 
2.44	       =>  wckTime=2.146  cpuTime=1.63  mem=65M435
2.56	   
2.56	   preprocessing
2.56	     nbConstraintChecks=41311  nbValidityChecks=66483  nbPropagations=207  nbRevisions=2172  nbUselessRevisions=1917
2.56	     nbSingletonTests=34  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.56	       =>  wckTime=0.116  cpuTime=0.09  mem=65M435
2.65	   
2.65	   search
2.65	     run=0  nbConstraintChecks=40969  nbValidityChecks=85114  nbPropagations=761  nbRevisions=8113
2.65	     nbUselessRevisions=6562  nbAssignments=36  nbFailedAssignments=18  nbBacktracks=11  nbVisitedNodes=64
2.65	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.65	       =>  wckTime=0.206  cpuTime=0.17  mem=65M435
2.73	   
2.73	   search
2.73	     run=1  nbConstraintChecks=89624  nbValidityChecks=175027  nbPropagations=1904  nbRevisions=20818
2.73	     nbUselessRevisions=16809  nbAssignments=74  nbFailedAssignments=35  nbBacktracks=27  nbVisitedNodes=125
2.73	     nbRestartNogoods=2  mapSize=21  nbInferences=0  nbTooLargeKeys=0
2.73	       =>  wckTime=0.29  cpuTime=0.25  mem=65M435
2.86	   
2.86	   search
2.86	     run=2  nbConstraintChecks=165524  nbValidityChecks=322201  nbPropagations=3728  nbRevisions=42329
2.86	     nbUselessRevisions=34142  nbAssignments=142  nbFailedAssignments=70  nbBacktracks=50  nbVisitedNodes=238
2.86	     nbRestartNogoods=4  mapSize=36  nbInferences=0  nbTooLargeKeys=0
2.86	       =>  wckTime=0.424  cpuTime=0.37  mem=65M435
3.08	   
3.08	   search
3.08	     run=3  nbConstraintChecks=297970  nbValidityChecks=616490  nbPropagations=6947  nbRevisions=80434
3.08	     nbUselessRevisions=64784  nbAssignments=280  nbFailedAssignments=131  nbBacktracks=84  nbVisitedNodes=427
3.08	     nbRestartNogoods=12  mapSize=66  nbInferences=0  nbTooLargeKeys=0
3.08	       =>  wckTime=0.642  cpuTime=0.58  mem=65M435
3.30	   
3.30	   search
3.30	     run=4  nbConstraintChecks=435177  nbValidityChecks=899928  nbPropagations=11612  nbRevisions=135985
3.30	     nbUselessRevisions=109377  nbAssignments=408  nbFailedAssignments=184  nbBacktracks=137  nbVisitedNodes=624
3.31	     nbRestartNogoods=18  mapSize=112  nbInferences=0  nbTooLargeKeys=0
3.31	       =>  wckTime=0.863  cpuTime=0.8  mem=66M441
3.61	   
3.61	   search
3.61	     run=5  nbConstraintChecks=626201  nbValidityChecks=1288354  nbPropagations=18782  nbRevisions=221235
3.61	     nbUselessRevisions=177582  nbAssignments=598  nbFailedAssignments=291  nbBacktracks=214  nbVisitedNodes=969
3.61	     nbRestartNogoods=19  mapSize=181  nbInferences=0  nbTooLargeKeys=0
3.61	       =>  wckTime=1.171  cpuTime=1.11  mem=66M441
4.23	   
4.23	   search
4.23	     run=6  nbConstraintChecks=1009473  nbValidityChecks=2081860  nbPropagations=30454  nbRevisions=359348
4.23	     nbUselessRevisions=286731  nbAssignments=887  nbFailedAssignments=457  nbBacktracks=329  nbVisitedNodes=1501
4.23	     nbRestartNogoods=20  mapSize=293  nbInferences=0  nbTooLargeKeys=0
4.23	       =>  wckTime=1.787  cpuTime=1.72  mem=66M441
5.04	   
5.04	   search
5.04	     run=7  nbConstraintChecks=1525540  nbValidityChecks=3150319  nbPropagations=47511  nbRevisions=564488
5.04	     nbUselessRevisions=448726  nbAssignments=1344  nbFailedAssignments=735  nbBacktracks=499  nbVisitedNodes=2342
5.04	     nbRestartNogoods=22  mapSize=433  nbInferences=0  nbTooLargeKeys=0
5.04	       =>  wckTime=2.599  cpuTime=2.53  mem=66M441
6.19	   
6.19	   search
6.19	     run=8  nbConstraintChecks=2270832  nbValidityChecks=4667662  nbPropagations=72212  nbRevisions=866048
6.19	     nbUselessRevisions=687433  nbAssignments=1973  nbFailedAssignments=1091  nbBacktracks=755  nbVisitedNodes=3479
6.19	     nbRestartNogoods=31  mapSize=663  nbInferences=0  nbTooLargeKeys=0
6.19	       =>  wckTime=3.749  cpuTime=3.66  mem=66M441
7.95	   
7.95	   search
7.95	     run=9  nbConstraintChecks=3418735  nbValidityChecks=6994081  nbPropagations=108153  nbRevisions=1304037
7.95	     nbUselessRevisions=1033788  nbAssignments=2974  nbFailedAssignments=1699  nbBacktracks=1139  nbVisitedNodes=5322
7.95	     nbRestartNogoods=36  mapSize=967  nbInferences=0  nbTooLargeKeys=0
7.95	       =>  wckTime=5.508  cpuTime=5.41  mem=66M441
8.31	   
8.31	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=66M441)
11.34	   
11.34	   search
11.34	     run=10  nbConstraintChecks=5557910  nbValidityChecks=11318613  nbPropagations=169727  nbRevisions=2033293
11.34	     nbUselessRevisions=1606395  nbAssignments=4613  nbFailedAssignments=2754  nbBacktracks=1716  nbVisitedNodes=8479
11.34	     nbRestartNogoods=44
11.34	       =>  wckTime=8.904  cpuTime=8.8  mem=66M441
14.61	   
14.61	   search
14.61	     run=11  nbConstraintChecks=7736798  nbValidityChecks=15737062  nbPropagations=253693  nbRevisions=3043626
14.61	     nbUselessRevisions=2402960  nbAssignments=6548  nbFailedAssignments=3821  nbBacktracks=2580  nbVisitedNodes=11983
14.61	     nbRestartNogoods=55
14.61	       =>  wckTime=12.174  cpuTime=12.07  mem=66M441
20.50	   
20.50	   search
20.50	     run=12  nbConstraintChecks=11661379  nbValidityChecks=23793526  nbPropagations=377321  nbRevisions=4542720
20.50	     nbUselessRevisions=3586324  nbAssignments=10059  nbFailedAssignments=6026  nbBacktracks=3879  nbVisitedNodes=18498
20.50	     nbRestartNogoods=57
20.50	       =>  wckTime=18.061  cpuTime=17.95  mem=66M441
29.27	   
29.27	   search
29.27	     run=13  nbConstraintChecks=17519597  nbValidityChecks=35957787  nbPropagations=563244  nbRevisions=6809837
29.27	     nbUselessRevisions=5376518  nbAssignments=15334  nbFailedAssignments=9250  nbBacktracks=5826  nbVisitedNodes=28066
29.27	     nbRestartNogoods=80
29.27	       =>  wckTime=26.834  cpuTime=26.72  mem=66M441
43.25	   
43.25	   search
43.25	     run=14  nbConstraintChecks=26696218  nbValidityChecks=54628566  nbPropagations=838270  nbRevisions=10146396
43.25	     nbUselessRevisions=8008027  nbAssignments=23110  nbFailedAssignments=14083  nbBacktracks=8747  nbVisitedNodes=42511
43.25	     nbRestartNogoods=96
43.25	       =>  wckTime=40.813  cpuTime=40.67  mem=66M441
67.38	   
67.38	   search
67.38	     run=15  nbConstraintChecks=42063028  nbValidityChecks=86182654  nbPropagations=1289057  nbRevisions=15512700
67.38	     nbUselessRevisions=12211870  nbAssignments=34554  nbFailedAssignments=21141  nbBacktracks=13125
67.38	     nbVisitedNodes=64314  nbRestartNogoods=116
67.38	       =>  wckTime=64.941  cpuTime=64.79  mem=66M441
95.79	   
95.79	   search
95.79	     run=16  nbConstraintChecks=61260824  nbValidityChecks=125593008  nbPropagations=1939792  nbRevisions=23365265
95.79	     nbUselessRevisions=18376571  nbAssignments=52181  nbFailedAssignments=32175  nbBacktracks=19696
95.79	     nbVisitedNodes=96832  nbRestartNogoods=136
95.79	       =>  wckTime=93.352  cpuTime=93.16  mem=66M441
139.94	   
139.94	   search
139.94	     run=17  nbConstraintChecks=90469790  nbValidityChecks=184548656  nbPropagations=2877935  nbRevisions=34702010
139.94	     nbUselessRevisions=27295037  nbAssignments=77624  nbFailedAssignments=47745  nbBacktracks=29548
139.94	     nbVisitedNodes=143797  nbRestartNogoods=154
139.94	       =>  wckTime=137.5  cpuTime=137.25  mem=66M441
203.66	   
203.66	   search
203.66	     run=18  nbConstraintChecks=131612711  nbValidityChecks=270876543  nbPropagations=4313904  nbRevisions=51786072
203.66	     nbUselessRevisions=40732890  nbAssignments=113441  nbFailedAssignments=68755  nbBacktracks=44326
203.66	     nbVisitedNodes=209897  nbRestartNogoods=164
203.66	       =>  wckTime=201.22  cpuTime=200.92  mem=66M441
306.13	   
306.13	   search
306.13	     run=19  nbConstraintChecks=197879114  nbValidityChecks=407738657  nbPropagations=6507653  nbRevisions=77769630
306.13	     nbUselessRevisions=61139503  nbAssignments=167708  nbFailedAssignments=100801  nbBacktracks=66495
306.13	     nbVisitedNodes=310695  nbRestartNogoods=188
306.13	       =>  wckTime=303.695  cpuTime=303.28  mem=66M441
464.60	   
464.60	   search
464.60	     run=20  nbConstraintChecks=301780550  nbValidityChecks=618161929  nbPropagations=9717147  nbRevisions=115941686
464.60	     nbUselessRevisions=91196400  nbAssignments=243490  nbFailedAssignments=143323  nbBacktracks=99747
464.60	     nbVisitedNodes=449725  nbRestartNogoods=211
464.60	       =>  wckTime=462.155  cpuTime=461.54  mem=66M441
671.04	   
671.04	   search
671.04	     run=21  nbConstraintChecks=439360781  nbValidityChecks=895720565  nbPropagations=14371300  nbRevisions=171674696
671.04	     nbUselessRevisions=135133947  nbAssignments=355387  nbFailedAssignments=205336  nbBacktracks=149625
671.04	     nbVisitedNodes=653714  nbRestartNogoods=233
671.04	       =>  wckTime=668.599  cpuTime=667.73  mem=66M441
1018.30	   
1018.30	   search
1018.30	     run=22  nbConstraintChecks=669078663  nbValidityChecks=1360738136  nbPropagations=21389418  nbRevisions=255716350
1018.30	     nbUselessRevisions=201283997  nbAssignments=552389  nbFailedAssignments=327499  nbBacktracks=224443
1018.30	     nbVisitedNodes=1020983  nbRestartNogoods=249
1018.30	       =>  wckTime=1015.863  cpuTime=1014.63  mem=66M441
1473.96	   
1473.96	   search
1473.96	     run=23  nbConstraintChecks=969066565  nbValidityChecks=1986601907  nbPropagations=31704134  nbRevisions=380423328
1473.96	     nbUselessRevisions=299665645  nbAssignments=825983  nbFailedAssignments=488838  nbBacktracks=336671
1473.96	     nbVisitedNodes=1524800  nbRestartNogoods=267
1473.96	       =>  wckTime=1471.524  cpuTime=1469.76  mem=66M441

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/node17/watcher-206540-1168174427 -o ROOT/results/node17/solver-206540-1168174427 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206540-1168174427/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.00 2.00 2.00 4/94 18123
/proc/meminfo: memFree=1604688/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=172 CPUtime=0
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 165837468 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 0 0 0
/proc/18122/statm: 43 24 18 14 0 3 0

[startup+0.108075 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 18123
/proc/meminfo: memFree=1604688/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=914988 CPUtime=0.09
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 3080 0 1 0 8 1 0 0 22 0 8 0 165837468 936947712 2826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.52012 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 18123
/proc/meminfo: memFree=1604688/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915328 CPUtime=0.49
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 8484 0 1 0 46 3 0 0 25 0 8 0 165837468 937295872 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228832 8224 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3442 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 18130
/proc/meminfo: memFree=1537560/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915328 CPUtime=1.32
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 19100 0 1 0 123 9 0 0 25 0 8 0 165837468 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228832 18838 2149 14 0 215302 0
[pid=18122/tid=18124] ppid=18120 vsize=915328 CPUtime=0.05
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165837472 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915328 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915328 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915328 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915328 CPUtime=0.07
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 165837475 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915328 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915328 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937295872 18838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328

[startup+2.98137 s]
/proc/loadavg: 2.00 2.00 2.00 4/101 18130
/proc/meminfo: memFree=1493336/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=2.96
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32449 0 1 0 280 16 0 0 25 0 8 0 165837468 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32184 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 17 0 8 0 165837472 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.19
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 380 0 0 0 18 1 0 0 15 0 8 0 165837475 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915440

[startup+6.26672 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 18130
/proc/meminfo: memFree=1485336/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=6.24
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32467 0 1 0 607 17 0 0 25 0 8 0 165837468 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805500 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32199 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 17 0 8 0 165837472 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.22
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 165837475 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915440

[startup+12.7534 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 18130
/proc/meminfo: memFree=1485464/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=12.73
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32475 0 1 0 1256 17 0 0 25 0 8 0 165837468 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32204 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915440

[startup+25.6207 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 18130
/proc/meminfo: memFree=1485656/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=25.59
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32475 0 1 0 2542 17 0 0 25 0 8 0 165837468 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32204 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915440

[startup+51.2354 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 18130
/proc/meminfo: memFree=1485656/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=51.16
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32475 0 1 0 5099 17 0 0 25 0 8 0 165837468 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32204 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915440

[startup+102.493 s]
/proc/loadavg: 2.09 2.03 2.01 3/101 18130
/proc/meminfo: memFree=1485720/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=102.36
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32475 0 1 0 10219 17 0 0 25 0 8 0 165837468 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32204 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915440

[startup+162.587 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 18130
/proc/meminfo: memFree=1485720/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=162.4
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32475 0 1 0 16223 17 0 0 25 0 8 0 165837468 937410560 32204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1484.18 s]
/proc/loadavg: 2.07 2.05 2.01 3/100 18463
/proc/meminfo: memFree=1417760/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1482.48
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 148204 44 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.48
Current children cumulated vsize (KiB) 915440

[startup+1544.2 s]
/proc/loadavg: 2.02 2.04 2.00 3/100 18465
/proc/meminfo: memFree=1417568/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1542.45
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 154201 44 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.45
Current children cumulated vsize (KiB) 915440

[startup+1604.22 s]
/proc/loadavg: 2.01 2.03 2.00 3/100 18465
/proc/meminfo: memFree=1417568/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1602.4
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 160196 44 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 915440

[startup+1664.24 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 18465
/proc/meminfo: memFree=1417632/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1662.35
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 166190 45 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 915440

[startup+1724.25 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 18465
/proc/meminfo: memFree=1417632/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1722.31
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 172186 45 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 915440

[startup+1784.27 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 18465
/proc/meminfo: memFree=1417632/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1782.27
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 178182 45 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.07 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 18465
/proc/meminfo: memFree=1417632/2055920 swapFree=4192812/4192956
[pid=18122] ppid=18120 vsize=915440 CPUtime=1800.05
/proc/18122/stat : 18122 (java) R 18120 18122 17907 0 -1 0 32477 0 1 0 179960 45 0 0 25 0 8 0 165837468 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18122/statm: 228860 32205 2531 14 0 215330 0
[pid=18122/tid=18124] ppid=18120 vsize=915440 CPUtime=0.41
/proc/18122/task/18124/stat : 18124 (java) S 18120 18122 17907 0 -1 64 15452 0 0 0 35 6 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18122/tid=18125] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18125/stat : 18125 (java) S 18120 18122 17907 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18126] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18126/stat : 18126 (java) S 18120 18122 17907 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165837472 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18127] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18127/stat : 18127 (java) S 18120 18122 17907 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18128] ppid=18120 vsize=915440 CPUtime=0.23
/proc/18122/task/18128/stat : 18128 (java) S 18120 18122 17907 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18129] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18129/stat : 18129 (java) S 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18122/tid=18130] ppid=18120 vsize=915440 CPUtime=0
/proc/18122/task/18130/stat : 18130 (java) R 18120 18122 17907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165837475 937410560 32205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1802.15
CPU time (s): 1800.13
CPU user time (s): 1799.65
CPU system time (s): 0.472928
CPU usage (%): 99.8876
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.472928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32495
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= 37675
involuntary context switches= 72392

runsolver used 2.24766 s user time and 5.74913 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sun Jan  7 12:53:47 UTC 2007


IDJOB= 206540
IDBENCH= 4216
FILE ID= node17/206540-1168174427

PBS_JOBID= 3478847

Free space on /tmp= 66315 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1a9e2f5dcb863b3e6755361b81695ce9

RANDOM SEED= 278510696

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.236
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.236
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:       1605168 kB
Buffers:         58524 kB
Cached:         210416 kB
SwapCached:          0 kB
Active:         220260 kB
Inactive:       168336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7484 kB
Writeback:           0 kB
Mapped:         146204 kB
Slab:            46788 kB
Committed_AS:  4445592 kB
PageTables:       2444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66314 MiB



End job on node17 on Sun Jan  7 13:23:49 UTC 2007