Trace number 196156

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.18 1813.23

General information on the benchmark

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

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/196156-1168119804/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.08	   
1.08	   constraints being loaded...
1.36	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.36	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.36	       =>  wckTime=1.034  cpuTime=0.91  mem=48M720
1.48	   
1.48	   solver IterativeSystematicSolver being built... 
1.65	       =>  wckTime=1.329  cpuTime=1.04  mem=34M529
1.77	   
1.77	   preprocessing
1.77	     nbConstraintChecks=34604  nbValidityChecks=55900  nbPropagations=228  nbRevisions=2386  nbUselessRevisions=2051
1.77	     nbSingletonTests=32  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.77	       =>  wckTime=0.114  cpuTime=0.07  mem=34M529
1.88	   
1.88	   search
1.88	     run=0  nbConstraintChecks=66651  nbValidityChecks=120767  nbPropagations=787  nbRevisions=8959
1.88	     nbUselessRevisions=7185  nbAssignments=50  nbFailedAssignments=34  nbBacktracks=10  nbVisitedNodes=94
1.88	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.88	       =>  wckTime=0.229  cpuTime=0.18  mem=35M531
2.00	   
2.00	   search
2.00	     run=1  nbConstraintChecks=134461  nbValidityChecks=258852  nbPropagations=2230  nbRevisions=25620
2.00	     nbUselessRevisions=20579  nbAssignments=113  nbFailedAssignments=49  nbBacktracks=25  nbVisitedNodes=156
2.00	     nbRestartNogoods=8  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.00	       =>  wckTime=0.345  cpuTime=0.28  mem=35M531
2.14	   
2.14	   search
2.14	     run=2  nbConstraintChecks=221403  nbValidityChecks=424812  nbPropagations=4584  nbRevisions=53147
2.14	     nbUselessRevisions=42490  nbAssignments=182  nbFailedAssignments=79  nbBacktracks=47  nbVisitedNodes=260
2.14	     nbRestartNogoods=11  mapSize=44  nbInferences=0  nbTooLargeKeys=0
2.14	       =>  wckTime=0.484  cpuTime=0.42  mem=35M531
2.33	   
2.33	   search
2.33	     run=3  nbConstraintChecks=340810  nbValidityChecks=660058  nbPropagations=8099  nbRevisions=95582
2.33	     nbUselessRevisions=76364  nbAssignments=280  nbFailedAssignments=128  nbBacktracks=80  nbVisitedNodes=421
2.33	     nbRestartNogoods=20  mapSize=76  nbInferences=0  nbTooLargeKeys=0
2.33	       =>  wckTime=0.673  cpuTime=0.6  mem=35M531
2.56	   
2.56	   search
2.56	     run=4  nbConstraintChecks=498727  nbValidityChecks=972971  nbPropagations=13519  nbRevisions=159993
2.56	     nbUselessRevisions=127434  nbAssignments=442  nbFailedAssignments=232  nbBacktracks=131  nbVisitedNodes=722
2.56	     nbRestartNogoods=22  mapSize=117  nbInferences=0  nbTooLargeKeys=0
2.56	       =>  wckTime=0.904  cpuTime=0.83  mem=35M531
2.85	   
2.85	   search
2.85	     run=5  nbConstraintChecks=693283  nbValidityChecks=1346188  nbPropagations=21099  nbRevisions=249238
2.85	     nbUselessRevisions=198190  nbAssignments=617  nbFailedAssignments=319  nbBacktracks=209  nbVisitedNodes=1025
2.85	     nbRestartNogoods=29  mapSize=183  nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=1.197  cpuTime=1.11  mem=35M531
3.66	   
3.66	   search
3.66	     run=6  nbConstraintChecks=1256471  nbValidityChecks=2421386  nbPropagations=33686  nbRevisions=404789
3.66	     nbUselessRevisions=320706  nbAssignments=1059  nbFailedAssignments=642  nbBacktracks=322  nbVisitedNodes=1880
3.66	     nbRestartNogoods=33  mapSize=288  nbInferences=0  nbTooLargeKeys=0
3.66	       =>  wckTime=2.008  cpuTime=1.91  mem=35M531
4.38	   
4.38	   search
4.38	     run=7  nbConstraintChecks=1737273  nbValidityChecks=3387851  nbPropagations=52255  nbRevisions=632071
4.38	     nbUselessRevisions=499649  nbAssignments=1585  nbFailedAssignments=978  nbBacktracks=493  nbVisitedNodes=2849
4.38	     nbRestartNogoods=40  mapSize=438  nbInferences=0  nbTooLargeKeys=0
4.38	       =>  wckTime=2.726  cpuTime=2.61  mem=35M531
5.39	   
5.39	   search
5.39	     run=8  nbConstraintChecks=2460916  nbValidityChecks=4733433  nbPropagations=78263  nbRevisions=944056
5.39	     nbUselessRevisions=744765  nbAssignments=2158  nbFailedAssignments=1278  nbBacktracks=752  nbVisitedNodes=3874
5.39	     nbRestartNogoods=58  mapSize=654  nbInferences=0  nbTooLargeKeys=0
5.39	       =>  wckTime=3.74  cpuTime=3.6  mem=35M531
7.01	   
7.01	   search
7.01	     run=9  nbConstraintChecks=3632228  nbValidityChecks=6986880  nbPropagations=116767  nbRevisions=1405429
7.01	     nbUselessRevisions=1107449  nbAssignments=3129  nbFailedAssignments=1849  nbBacktracks=1136  nbVisitedNodes=5670
7.01	     nbRestartNogoods=70  mapSize=994  nbInferences=0  nbTooLargeKeys=0
7.01	       =>  wckTime=5.36  cpuTime=5.2  mem=35M531
7.09	   
7.09	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=35M531)
9.33	   
9.33	   search
9.33	     run=10  nbConstraintChecks=5270566  nbValidityChecks=10276432  nbPropagations=175176  nbRevisions=2101927
9.33	     nbUselessRevisions=1654776  nbAssignments=4805  nbFailedAssignments=2943  nbBacktracks=1713  nbVisitedNodes=8845
9.33	     nbRestartNogoods=78
9.33	       =>  wckTime=7.678  cpuTime=7.49  mem=35M531
12.40	   
12.40	   search
12.40	     run=11  nbConstraintChecks=7487096  nbValidityChecks=14638284  nbPropagations=260037  nbRevisions=3112857
12.40	     nbUselessRevisions=2450254  nbAssignments=6811  nbFailedAssignments=4079  nbBacktracks=2579  nbVisitedNodes=12615
12.40	     nbRestartNogoods=90
12.40	       =>  wckTime=10.749  cpuTime=10.54  mem=35M531
17.80	   
17.80	   search
17.80	     run=12  nbConstraintChecks=11447139  nbValidityChecks=22094680  nbPropagations=387024  nbRevisions=4617276
17.80	     nbUselessRevisions=3632263  nbAssignments=10167  nbFailedAssignments=6132  nbBacktracks=3876  nbVisitedNodes=18925
17.80	     nbRestartNogoods=98
17.80	       =>  wckTime=16.144  cpuTime=15.88  mem=35M531
25.41	   
25.42	   search
25.42	     run=13  nbConstraintChecks=16888182  nbValidityChecks=32749863  nbPropagations=577174  nbRevisions=6863077
25.42	     nbUselessRevisions=5398773  nbAssignments=15129  nbFailedAssignments=9107  nbBacktracks=5822  nbVisitedNodes=28150
25.42	     nbRestartNogoods=122
25.42	       =>  wckTime=23.762  cpuTime=23.43  mem=35M531
39.31	   
39.31	   search
39.31	     run=14  nbConstraintChecks=26685973  nbValidityChecks=51693753  nbPropagations=869145  nbRevisions=10316610
39.31	     nbUselessRevisions=8113074  nbAssignments=22827  nbFailedAssignments=13882  nbBacktracks=8741  nbVisitedNodes=42683
39.31	     nbRestartNogoods=130
39.31	       =>  wckTime=37.657  cpuTime=37.19  mem=35M531
55.13	   
55.13	   search
55.13	     run=15  nbConstraintChecks=38028142  nbValidityChecks=72972074  nbPropagations=1275147  nbRevisions=15125371
55.13	     nbUselessRevisions=11904400  nbAssignments=32722  nbFailedAssignments=19395  nbBacktracks=13120
55.13	     nbVisitedNodes=60622  nbRestartNogoods=142
55.13	       =>  wckTime=53.475  cpuTime=52.86  mem=35M531
85.29	   
85.29	   search
85.29	     run=16  nbConstraintChecks=59301716  nbValidityChecks=114134777  nbPropagations=1904765  nbRevisions=22627774
85.29	     nbUselessRevisions=17815700  nbAssignments=49852  nbFailedAssignments=29951  nbBacktracks=19688
85.29	     nbVisitedNodes=93032  nbRestartNogoods=148
85.29	       =>  wckTime=83.635  cpuTime=82.74  mem=35M531
126.34	   
126.34	   search
126.34	     run=17  nbConstraintChecks=88891849  nbValidityChecks=169675658  nbPropagations=2831463  nbRevisions=33596050
126.34	     nbUselessRevisions=26452108  nbAssignments=74180  nbFailedAssignments=44411  nbBacktracks=29540
126.34	     nbVisitedNodes=138097  nbRestartNogoods=172
126.34	       =>  wckTime=124.684  cpuTime=123.41  mem=35M531
184.63	   
184.63	   search
184.63	     run=18  nbConstraintChecks=129782035  nbValidityChecks=247065833  nbPropagations=4182846  nbRevisions=49588111
184.63	     nbUselessRevisions=39049545  nbAssignments=107248  nbFailedAssignments=62697  nbBacktracks=44318
184.63	     nbVisitedNodes=198401  nbRestartNogoods=188
184.63	       =>  wckTime=182.98  cpuTime=181.17  mem=35M531
283.57	   
283.57	   search
283.57	     run=19  nbConstraintChecks=201464047  nbValidityChecks=383443487  nbPropagations=6258055  nbRevisions=74104193
283.57	     nbUselessRevisions=58338255  nbAssignments=164968  nbFailedAssignments=98243  nbBacktracks=66486
283.57	     nbVisitedNodes=306995  nbRestartNogoods=200
283.57	       =>  wckTime=281.917  cpuTime=279.21  mem=35M531
434.48	   
434.48	   search
434.48	     run=20  nbConstraintChecks=306968686  nbValidityChecks=578866894  nbPropagations=9326786  nbRevisions=110572997
434.48	     nbUselessRevisions=87020139  nbAssignments=244735  nbFailedAssignments=144741  nbBacktracks=99739
434.48	     nbVisitedNodes=454641  nbRestartNogoods=225
434.48	       =>  wckTime=432.827  cpuTime=428.73  mem=35M531
669.97	   
669.97	   search
669.97	     run=21  nbConstraintChecks=476092617  nbValidityChecks=905331524  nbPropagations=14125344  nbRevisions=167953604
669.97	     nbUselessRevisions=132192078  nbAssignments=382870  nbFailedAssignments=232991  nbBacktracks=149618
669.97	     nbVisitedNodes=716797  nbRestartNogoods=243
669.97	       =>  wckTime=668.318  cpuTime=662.05  mem=35M531
966.64	   
966.64	   search
966.64	     run=22  nbConstraintChecks=691275772  nbValidityChecks=1312591801  nbPropagations=21128147  nbRevisions=251706043
966.64	     nbUselessRevisions=198238099  nbAssignments=560315  nbFailedAssignments=335613  nbBacktracks=224437
966.64	     nbVisitedNodes=1044383  nbRestartNogoods=269
966.64	       =>  wckTime=964.985  cpuTime=956.15  mem=35M531
1488.50	   
1488.50	   search
1488.50	     run=23  nbConstraintChecks=1073562944  nbValidityChecks=2022487085  nbPropagations=31779832  nbRevisions=379313074
1488.50	     nbUselessRevisions=298655728  nbAssignments=836459  nbFailedAssignments=499522  nbBacktracks=336668
1488.50	     nbVisitedNodes=1560963  nbRestartNogoods=305
1488.50	       =>  wckTime=1486.847  cpuTime=1474.06  mem=35M531

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/node38/watcher-196156-1168119804 -o ROOT/results/node38/solver-196156-1168119804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196156-1168119804/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.12 2.04 2.01 4/80 28841
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=18540 CPUtime=0
/proc/28840/stat : 28840 (runsolver) R 28838 28840 28134 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 160380027 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28840/statm: 4635 279 244 17 0 2626 0

[startup+0.103124 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 28841
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=913228 CPUtime=0.08
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 2919 0 1 0 7 1 0 0 19 0 8 0 160380027 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.51121 s]
/proc/loadavg: 2.12 2.04 2.01 4/80 28841
/proc/meminfo: memFree=1448928/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915328 CPUtime=0.48
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 7361 0 1 0 44 4 0 0 18 0 8 0 160380027 937295872 7100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228832 7100 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33537 s]
/proc/loadavg: 2.12 2.04 2.01 3/87 28848
/proc/meminfo: memFree=1381864/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915328 CPUtime=1.3
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 19108 0 1 0 121 9 0 0 25 0 8 0 160380027 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228832 18846 2160 14 0 215302 0
[pid=28840/tid=28842] ppid=28838 vsize=915328 CPUtime=0.05
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 2643 0 0 0 5 0 0 0 17 0 8 0 160380031 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160380032 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915328 CPUtime=0.1
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915328 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937295872 18846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.97869 s]
/proc/loadavg: 2.12 2.04 2.01 3/87 28848
/proc/meminfo: memFree=1365800/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=2.92
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23478 0 1 0 281 11 0 0 25 0 8 0 160380027 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23214 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 17 0 8 0 160380031 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.2
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 371 0 0 0 20 0 0 0 15 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915416

[startup+6.27533 s]
/proc/loadavg: 2.11 2.04 2.00 3/87 28848
/proc/meminfo: memFree=1365672/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=6.19
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23494 0 1 0 607 12 0 0 25 0 8 0 160380027 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23227 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 17 0 8 0 160380031 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.24
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23227 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416

[startup+12.7606 s]
/proc/loadavg: 2.10 2.04 2.00 3/87 28848
/proc/meminfo: memFree=1365800/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=12.62
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23498 0 1 0 1250 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416

[startup+25.6211 s]
/proc/loadavg: 2.08 2.03 2.00 3/87 28848
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=25.36
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 2524 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416

[startup+51.2531 s]
/proc/loadavg: 2.05 2.03 2.00 3/87 28848
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=50.75
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 5063 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915416

[startup+102.51 s]
/proc/loadavg: 2.02 2.02 2.00 3/87 28848
/proc/meminfo: memFree=1365992/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=101.54
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 10142 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915416

[startup+162.513 s]
/proc/loadavg: 2.01 2.02 2.00 3/87 28848
/proc/meminfo: memFree=1366056/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=160.99
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 16087 12 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.04 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 29346
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1470.34
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 147016 18 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.34
Current children cumulated vsize (KiB) 915416

[startup+1543.07 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 29346
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1530.3
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 153011 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.3
Current children cumulated vsize (KiB) 915416

[startup+1603.09 s]
/proc/loadavg: 2.01 2.01 2.00 3/89 29346
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1590.28
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 159009 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.28
Current children cumulated vsize (KiB) 915416

[startup+1663.12 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 29346
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1650.22
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 165003 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.22
Current children cumulated vsize (KiB) 915416

[startup+1723.17 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29346
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1710.2
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 171001 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.2
Current children cumulated vsize (KiB) 915416

[startup+1783.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29346
/proc/meminfo: memFree=1164952/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1770.17
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 176998 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.17
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 29346
/proc/meminfo: memFree=1164888/2055920 swapFree=4192812/4192956
[pid=28840] ppid=28838 vsize=915416 CPUtime=1800.1
/proc/28840/stat : 28840 (java) R 28838 28840 28134 0 -1 0 23499 0 1 0 179991 19 0 0 25 0 8 0 160380027 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28840/statm: 228854 23231 2531 14 0 215324 0
[pid=28840/tid=28842] ppid=28838 vsize=915416 CPUtime=0.17
/proc/28840/task/28842/stat : 28842 (java) S 28838 28840 28134 0 -1 64 6495 0 0 0 15 2 0 0 16 0 8 0 160380031 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28843] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28843/stat : 28843 (java) S 28838 28840 28134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28844] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28844/stat : 28844 (java) S 28838 28840 28134 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160380032 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28845] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28845/stat : 28845 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28846] ppid=28838 vsize=915416 CPUtime=0.25
/proc/28840/task/28846/stat : 28846 (java) S 28838 28840 28134 0 -1 64 388 0 0 0 24 1 0 0 16 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28847] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28847/stat : 28847 (java) S 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28840/tid=28848] ppid=28838 vsize=915416 CPUtime=0
/proc/28840/task/28848/stat : 28848 (java) R 28838 28840 28134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160380035 937385984 23231 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1813.23
CPU time (s): 1800.18
CPU user time (s): 1799.97
CPU system time (s): 0.210967
CPU usage (%): 99.2801
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23515
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= 37745
involuntary context switches= 68878

runsolver used 2.24966 s user time and 5.86611 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan  6 21:43:24 UTC 2007


IDJOB= 196156
IDBENCH= 3330
FILE ID= node38/196156-1168119804

PBS_JOBID= 3477436

Free space on /tmp= 66509 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  606274943ef2c001f8e91e29fbfaccb0

RANDOM SEED= 264410433

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.267
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.267
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:       1449344 kB
Buffers:         41360 kB
Cached:         388400 kB
SwapCached:          0 kB
Active:         209076 kB
Inactive:       325376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1449344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4520 kB
Writeback:           0 kB
Mapped:         124928 kB
Slab:            57100 kB
Committed_AS:  4085784 kB
PageTables:       2064 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= 66507 MiB



End job on node38 on Sat Jan  6 22:13:37 UTC 2007