Trace number 203170

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.08 1813.94

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-21_ext.xml
MD5SUMcce2fe8a82350e68a666dd3adc81b815
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/203170-1168157286/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.57	   
1.57	   constraints being loaded...
2.33	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.33	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.33	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.33	       =>  wckTime=2.017  cpuTime=1.62  mem=58M10
2.49	   
2.50	   solver IterativeSystematicSolver being built... 
2.67	       =>  wckTime=2.352  cpuTime=1.77  mem=65M645
2.83	   
2.83	   preprocessing
2.83	     nbConstraintChecks=53687  nbValidityChecks=93811  nbPropagations=326  nbRevisions=3527  nbUselessRevisions=3113
2.83	     nbSingletonTests=42  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.83	       =>  wckTime=0.153  cpuTime=0.12  mem=65M645
2.94	   
2.94	   search
2.94	     run=0  nbConstraintChecks=62899  nbValidityChecks=119515  nbPropagations=793  nbRevisions=9733
2.94	     nbUselessRevisions=8118  nbAssignments=52  nbFailedAssignments=35  nbBacktracks=10  nbVisitedNodes=96
2.94	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=0.271  cpuTime=0.23  mem=66M662
3.03	   
3.03	   search
3.03	     run=1  nbConstraintChecks=103540  nbValidityChecks=194746  nbPropagations=1963  nbRevisions=23583
3.03	     nbUselessRevisions=19467  nbAssignments=89  nbFailedAssignments=49  nbBacktracks=25  nbVisitedNodes=153
3.03	     nbRestartNogoods=2  mapSize=19  nbInferences=0  nbTooLargeKeys=0
3.03	       =>  wckTime=0.353  cpuTime=0.3  mem=66M662
3.16	   
3.16	   search
3.16	     run=2  nbConstraintChecks=172659  nbValidityChecks=358381  nbPropagations=3823  nbRevisions=45601
3.16	     nbUselessRevisions=37524  nbAssignments=172  nbFailedAssignments=71  nbBacktracks=51  nbVisitedNodes=241
3.16	     nbRestartNogoods=7  mapSize=32  nbInferences=0  nbTooLargeKeys=0
3.16	       =>  wckTime=0.488  cpuTime=0.42  mem=66M662
3.32	   
3.32	   search
3.32	     run=3  nbConstraintChecks=260982  nbValidityChecks=531269  nbPropagations=6663  nbRevisions=78838
3.32	     nbUselessRevisions=64494  nbAssignments=249  nbFailedAssignments=108  nbBacktracks=85  nbVisitedNodes=375
3.32	     nbRestartNogoods=10  mapSize=59  nbInferences=0  nbTooLargeKeys=0
3.32	       =>  wckTime=0.648  cpuTime=0.57  mem=66M662
3.63	   
3.63	   search
3.63	     run=4  nbConstraintChecks=445219  nbValidityChecks=904466  nbPropagations=11227  nbRevisions=135328
3.63	     nbUselessRevisions=110371  nbAssignments=400  nbFailedAssignments=201  nbBacktracks=135  nbVisitedNodes=653
3.63	     nbRestartNogoods=13  mapSize=103  nbInferences=0  nbTooLargeKeys=0
3.63	       =>  wckTime=0.954  cpuTime=0.88  mem=66M662
4.18	   
4.18	   search
4.18	     run=5  nbConstraintChecks=777196  nbValidityChecks=1570094  nbPropagations=19274  nbRevisions=236275
4.18	     nbUselessRevisions=191198  nbAssignments=688  nbFailedAssignments=406  nbBacktracks=211  nbVisitedNodes=1201
4.18	     nbRestartNogoods=18  mapSize=176  nbInferences=0  nbTooLargeKeys=0
4.18	       =>  wckTime=1.507  cpuTime=1.42  mem=66M662
4.71	   
4.71	   search
4.71	     run=6  nbConstraintChecks=1096755  nbValidityChecks=2220526  nbPropagations=30885  nbRevisions=377962
4.71	     nbUselessRevisions=304016  nbAssignments=1007  nbFailedAssignments=604  nbBacktracks=324  nbVisitedNodes=1787
4.71	     nbRestartNogoods=22  mapSize=279  nbInferences=0  nbTooLargeKeys=0
4.71	       =>  wckTime=2.034  cpuTime=1.94  mem=66M662
6.18	   
6.18	   search
6.18	     run=7  nbConstraintChecks=1977100  nbValidityChecks=3973885  nbPropagations=49369  nbRevisions=614902
6.18	     nbUselessRevisions=493965  nbAssignments=1563  nbFailedAssignments=982  nbBacktracks=494  nbVisitedNodes=2859
6.18	     nbRestartNogoods=29  mapSize=444  nbInferences=0  nbTooLargeKeys=0
6.18	       =>  wckTime=3.505  cpuTime=3.38  mem=66M662
7.90	   
7.90	   search
7.90	     run=8  nbConstraintChecks=3040723  nbValidityChecks=6047389  nbPropagations=76981  nbRevisions=970165
7.90	     nbUselessRevisions=778440  nbAssignments=2283  nbFailedAssignments=1405  nbBacktracks=751  nbVisitedNodes=4158
7.90	     nbRestartNogoods=39  mapSize=679  nbInferences=0  nbTooLargeKeys=0
7.90	       =>  wckTime=5.231  cpuTime=5.08  mem=66M662
10.22	   
10.22	   search
10.22	     run=9  nbConstraintChecks=4487815  nbValidityChecks=8876742  nbPropagations=119077  nbRevisions=1516900
10.22	     nbUselessRevisions=1214438  nbAssignments=3590  nbFailedAssignments=2320  nbBacktracks=1137  nbVisitedNodes=6627
10.22	     nbRestartNogoods=47  mapSize=1010  nbInferences=0  nbTooLargeKeys=0
10.22	       =>  wckTime=7.547  cpuTime=7.37  mem=66M662
10.30	   
10.30	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=66M662)
13.85	   
13.85	   search
13.85	     run=10  nbConstraintChecks=6665433  nbValidityChecks=13329251  nbPropagations=179726  nbRevisions=2309566
13.85	     nbUselessRevisions=1845724  nbAssignments=5080  nbFailedAssignments=3227  nbBacktracks=1713  nbVisitedNodes=9403
13.85	     nbRestartNogoods=51
13.85	       =>  wckTime=11.176  cpuTime=10.96  mem=66M662
18.43	   
18.43	   search
18.43	     run=11  nbConstraintChecks=9545197  nbValidityChecks=18938922  nbPropagations=267531  nbRevisions=3437322
18.44	     nbUselessRevisions=2744797  nbAssignments=7085  nbFailedAssignments=4361  nbBacktracks=2579  nbVisitedNodes=13108
18.44	     nbRestartNogoods=60
18.44	       =>  wckTime=15.762  cpuTime=15.5  mem=66M662
24.34	   
24.34	   search
24.34	     run=12  nbConstraintChecks=13350100  nbValidityChecks=26630883  nbPropagations=395966  nbRevisions=5048355
24.34	     nbUselessRevisions=4022842  nbAssignments=10852  nbFailedAssignments=6822  nbBacktracks=3876  nbVisitedNodes=20050
24.34	     nbRestartNogoods=72
24.34	       =>  wckTime=21.664  cpuTime=21.35  mem=66M662
34.33	   
34.33	   search
34.33	     run=13  nbConstraintChecks=19623857  nbValidityChecks=39122931  nbPropagations=584811  nbRevisions=7437124
34.33	     nbUselessRevisions=5923696  nbAssignments=15833  nbFailedAssignments=9843  nbBacktracks=5824  nbVisitedNodes=29328
34.33	     nbRestartNogoods=84
34.33	       =>  wckTime=31.659  cpuTime=31.25  mem=66M662
50.24	   
50.24	   search
50.24	     run=14  nbConstraintChecks=29601613  nbValidityChecks=58615961  nbPropagations=875538  nbRevisions=11078186
50.24	     nbUselessRevisions=8816106  nbAssignments=23091  nbFailedAssignments=14175  nbBacktracks=8744  nbVisitedNodes=42967
50.24	     nbRestartNogoods=96
50.24	       =>  wckTime=47.566  cpuTime=47.01  mem=66M662
80.05	   
80.05	   search
80.05	     run=15  nbConstraintChecks=47998812  nbValidityChecks=94319224  nbPropagations=1336027  nbRevisions=16907306
80.05	     nbUselessRevisions=13450355  nbAssignments=34797  nbFailedAssignments=21497  nbBacktracks=13122
80.05	     nbVisitedNodes=65366  nbRestartNogoods=109
80.05	       =>  wckTime=77.38  cpuTime=76.55  mem=66M662
115.50	   
115.50	   search
115.50	     run=16  nbConstraintChecks=70752528  nbValidityChecks=138776825  nbPropagations=2033200  nbRevisions=25735833
115.50	     nbUselessRevisions=20442473  nbAssignments=55857  nbFailedAssignments=35971  nbBacktracks=19690
115.50	     nbVisitedNodes=105243  nbRestartNogoods=133
115.50	       =>  wckTime=112.825  cpuTime=111.67  mem=66M662
173.02	   
173.02	   search
173.02	     run=17  nbConstraintChecks=106857690  nbValidityChecks=210604337  nbPropagations=3025251  nbRevisions=38669500
173.02	     nbUselessRevisions=30776041  nbAssignments=80901  nbFailedAssignments=51156  nbBacktracks=29543
173.02	     nbVisitedNodes=152140  nbRestartNogoods=144
173.02	       =>  wckTime=170.349  cpuTime=168.67  mem=66M662
255.33	   
255.33	   search
255.33	     run=18  nbConstraintChecks=158335364  nbValidityChecks=310685092  nbPropagations=4492891  nbRevisions=57530312
255.33	     nbUselessRevisions=45809994  nbAssignments=115317  nbFailedAssignments=70787  nbBacktracks=44322
255.33	     nbVisitedNodes=216037  nbRestartNogoods=155
255.33	       =>  wckTime=252.659  cpuTime=250.23  mem=66M662
390.00	   
390.00	   search
390.00	     run=19  nbConstraintChecks=241612571  nbValidityChecks=472312020  nbPropagations=6709567  nbRevisions=86039696
390.00	     nbUselessRevisions=68518151  nbAssignments=168599  nbFailedAssignments=101888  nbBacktracks=66490
390.00	     nbVisitedNodes=315486  nbRestartNogoods=177
390.00	       =>  wckTime=387.328  cpuTime=383.67  mem=66M662
554.92	   
554.92	   search
554.92	     run=20  nbConstraintChecks=347977820  nbValidityChecks=683920431  nbPropagations=10043105  nbRevisions=128499398
554.92	     nbUselessRevisions=102182432  nbAssignments=272734  nbFailedAssignments=172761  nbBacktracks=99743
554.92	     nbVisitedNodes=510262  nbRestartNogoods=193
554.92	       =>  wckTime=552.245  cpuTime=547.08  mem=66M662
820.85	   
820.85	   search
820.85	     run=21  nbConstraintChecks=515734102  nbValidityChecks=1014428291  nbPropagations=14907957  nbRevisions=190906213
820.85	     nbUselessRevisions=151832742  nbAssignments=397682  nbFailedAssignments=247791  nbBacktracks=149621
820.85	     nbVisitedNodes=743179  nbRestartNogoods=206
820.85	       =>  wckTime=818.173  cpuTime=810.57  mem=66M662
1215.63	   
1215.63	   search
1215.63	     run=22  nbConstraintChecks=766180164  nbValidityChecks=1498305314  nbPropagations=22263069  nbRevisions=283738467
1215.63	     nbUselessRevisions=225647847  nbAssignments=579539  nbFailedAssignments=354823  nbBacktracks=224441
1215.63	     nbVisitedNodes=1083081  nbRestartNogoods=224
1215.63	       =>  wckTime=1212.955  cpuTime=1201.76  mem=66M662

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/node42/watcher-203170-1168157286 -o ROOT/results/node42/solver-203170-1168157286 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203170-1168157286/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 1.92 4/80 15232
/proc/meminfo: memFree=1618920/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=9748 CPUtime=0
/proc/15231/stat : 15231 (java) D 15229 15231 14405 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 164127883 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15231/statm: 2437 412 333 14 0 1140 0

[startup+0.104173 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 15232
/proc/meminfo: memFree=1618920/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=914988 CPUtime=0.09
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 164127883 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512219 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 15232
/proc/meminfo: memFree=1618920/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915328 CPUtime=0.5
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 7520 0 1 0 46 4 0 0 18 0 8 0 164127883 937295872 7259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228832 7259 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33531 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1551728/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915328 CPUtime=1.3
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 19099 0 1 0 120 10 0 0 25 0 8 0 164127883 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228832 18837 2149 14 0 215302 0
[pid=15231/tid=15233] ppid=15229 vsize=915328 CPUtime=0.05
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 164127887 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915328 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915328 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915328 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915328 CPUtime=0.08
/proc/15231/task/15237/stat : 15237 (java) R 15229 15231 14405 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 164127891 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153086821 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915328 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915328 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.98849 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1510960/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=2.95
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32572 0 1 0 277 18 0 0 25 0 8 0 164127883 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228860 32307 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 17 0 8 0 164127887 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.2
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 164127891 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440

[startup+6.27886 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1498992/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=6.21
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32595 0 1 0 602 19 0 0 25 0 8 0 164127883 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228860 32327 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 17 0 8 0 164127887 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.24
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 395 0 0 0 23 1 0 0 15 0 8 0 164127891 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915440

[startup+12.7746 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1499056/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=12.64
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32604 0 1 0 1245 19 0 0 25 0 8 0 164127883 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228860 32332 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.25
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 164127891 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915440

[startup+25.621 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1499184/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=25.37
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32606 0 1 0 2518 19 0 0 25 0 8 0 164127883 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228860 32334 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 403 0 0 0 25 1 0 0 15 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440

[startup+51.2508 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1499312/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=50.75
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32606 0 1 0 5056 19 0 0 25 0 8 0 164127883 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228860 32334 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 403 0 0 0 25 1 0 0 15 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915440

[startup+102.509 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1499376/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=101.55
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32607 0 1 0 10136 19 0 0 25 0 8 0 164127883 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15231/statm: 228860 32334 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440

[startup+162.513 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 15239
/proc/meminfo: memFree=1499312/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=161
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32607 0 1 0 16081 19 0 0 25 0 8 0 164127883 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.9 s]
/proc/loadavg: 1.97 2.00 1.95 3/79 15298
/proc/meminfo: memFree=1376488/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1469.48
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 146925 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.48
Current children cumulated vsize (KiB) 915440

[startup+1542.93 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 15305
/proc/meminfo: memFree=1389152/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1529.45
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 152922 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.45
Current children cumulated vsize (KiB) 915440

[startup+1602.96 s]
/proc/loadavg: 1.99 2.00 1.95 3/80 15305
/proc/meminfo: memFree=1210144/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1589.41
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 158918 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.41
Current children cumulated vsize (KiB) 915440

[startup+1662.98 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15306
/proc/meminfo: memFree=1116760/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1649.38
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 164915 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.38
Current children cumulated vsize (KiB) 915440

[startup+1722.99 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15306
/proc/meminfo: memFree=1116760/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1709.33
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 170910 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.33
Current children cumulated vsize (KiB) 915440

[startup+1783.01 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15306
/proc/meminfo: memFree=1116696/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1769.26
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 176903 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.26
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.87 s]
/proc/loadavg: 1.99 2.00 1.95 3/81 15306
/proc/meminfo: memFree=1116696/2055920 swapFree=4191892/4192956
[pid=15231] ppid=15229 vsize=915440 CPUtime=1800.02
/proc/15231/stat : 15231 (java) R 15229 15231 14405 0 -1 0 32608 0 1 0 179979 23 0 0 25 0 8 0 164127883 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15231/statm: 228860 32335 2531 14 0 215330 0
[pid=15231/tid=15233] ppid=15229 vsize=915440 CPUtime=0.45
/proc/15231/task/15233/stat : 15233 (java) S 15229 15231 14405 0 -1 64 15582 0 0 0 39 6 0 0 16 0 8 0 164127887 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15234] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15234/stat : 15234 (java) S 15229 15231 14405 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15235] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15235/stat : 15235 (java) S 15229 15231 14405 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164127888 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15236] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15236/stat : 15236 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15237] ppid=15229 vsize=915440 CPUtime=0.26
/proc/15231/task/15237/stat : 15237 (java) S 15229 15231 14405 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15238] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15238/stat : 15238 (java) S 15229 15231 14405 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15231/tid=15239] ppid=15229 vsize=915440 CPUtime=0
/proc/15231/task/15239/stat : 15239 (java) S 15229 15231 14405 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164127891 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1813.94
CPU time (s): 1800.08
CPU user time (s): 1799.82
CPU system time (s): 0.25896
CPU usage (%): 99.2363
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32625
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= 37850
involuntary context switches= 69423

runsolver used 1.76473 s user time and 6.27205 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sun Jan  7 08:08:07 UTC 2007


IDJOB= 203170
IDBENCH= 3924
FILE ID= node42/203170-1168157286

PBS_JOBID= 3478497

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cce2fe8a82350e68a666dd3adc81b815

RANDOM SEED= 89586830

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.229
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.229
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:       1619336 kB
Buffers:         30104 kB
Cached:         207700 kB
SwapCached:        400 kB
Active:         262692 kB
Inactive:       115028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1619336 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7488 kB
Writeback:           0 kB
Mapped:         158844 kB
Slab:            44060 kB
Committed_AS:  3871604 kB
PageTables:       2052 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= 66537 MiB



End job on node42 on Sun Jan  7 08:38:21 UTC 2007