Trace number 206697

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.14 1813.89

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-18_ext.xml
MD5SUM3687c46586991f5a464cf8250795dac6
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.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=mac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/206697-1168074023/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.49	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.49	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.49	   
0.49	   relations being loaded...
1.66	   
1.66	   constraints being loaded...
2.42	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.42	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.42	     nbSharedBinaryRepresentations=0  maxDegree=18  maxArity=3
2.42	       =>  wckTime=2.04  cpuTime=1.63  mem=56M977
2.58	   
2.58	   solver IterativeSystematicSolver being built... 
2.75	       =>  wckTime=2.372  cpuTime=1.77  mem=65M73
2.76	   
2.76	   preprocessing
2.76	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.76	     detectedInconsistency=no
2.76	       =>  wckTime=0.0040  cpuTime=0.0  mem=65M73
2.94	   
2.94	   search
2.94	     run=0  nbConstraintChecks=61083  nbValidityChecks=112370  nbPropagations=596  nbRevisions=6345
2.94	     nbUselessRevisions=5002  nbAssignments=43  nbFailedAssignments=24  nbBacktracks=12  nbVisitedNodes=78
2.94	     nbRestartNogoods=0  mapSize=12  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=0.181  cpuTime=0.14  mem=65M73
3.05	   
3.05	   search
3.05	     run=1  nbConstraintChecks=113019  nbValidityChecks=209991  nbPropagations=1756  nbRevisions=19282
3.05	     nbUselessRevisions=15250  nbAssignments=93  nbFailedAssignments=52  nbBacktracks=27  nbVisitedNodes=167
3.05	     nbRestartNogoods=1  mapSize=26  nbInferences=0  nbTooLargeKeys=0
3.05	       =>  wckTime=0.29  cpuTime=0.24  mem=65M73
3.27	   
3.27	   search
3.27	     run=2  nbConstraintChecks=238275  nbValidityChecks=451914  nbPropagations=3754  nbRevisions=44394
3.27	     nbUselessRevisions=35283  nbAssignments=173  nbFailedAssignments=101  nbBacktracks=51  nbVisitedNodes=313
3.27	     nbRestartNogoods=5  mapSize=48  nbInferences=0  nbTooLargeKeys=0
3.27	       =>  wckTime=0.51  cpuTime=0.45  mem=65M73
3.46	   
3.46	   search
3.46	     run=3  nbConstraintChecks=344582  nbValidityChecks=673918  nbPropagations=7018  nbRevisions=83832
3.46	     nbUselessRevisions=66594  nbAssignments=269  nbFailedAssignments=156  nbBacktracks=84  nbVisitedNodes=492
3.46	     nbRestartNogoods=10  mapSize=80  nbInferences=0  nbTooLargeKeys=0
3.46	       =>  wckTime=0.704  cpuTime=0.64  mem=65M73
3.73	   
3.73	   search
3.73	     run=4  nbConstraintChecks=494358  nbValidityChecks=1000425  nbPropagations=12319  nbRevisions=148274
3.73	     nbUselessRevisions=117719  nbAssignments=422  nbFailedAssignments=250  nbBacktracks=137  nbVisitedNodes=776
3.73	     nbRestartNogoods=12  mapSize=129  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=0.971  cpuTime=0.9  mem=66M65
4.10	   
4.10	   search
4.10	     run=5  nbConstraintChecks=698567  nbValidityChecks=1422289  nbPropagations=20231  nbRevisions=241680
4.10	     nbUselessRevisions=191259  nbAssignments=598  nbFailedAssignments=343  nbBacktracks=213  nbVisitedNodes=1094
4.10	     nbRestartNogoods=13  mapSize=195  nbInferences=0  nbTooLargeKeys=0
4.10	       =>  wckTime=1.345  cpuTime=1.27  mem=66M65
4.75	   
4.75	   search
4.75	     run=6  nbConstraintChecks=1072320  nbValidityChecks=2214344  nbPropagations=32789  nbRevisions=390069
4.75	     nbUselessRevisions=307847  nbAssignments=1007  nbFailedAssignments=630  nbBacktracks=326  nbVisitedNodes=1873
4.75	     nbRestartNogoods=20  mapSize=304  nbInferences=0  nbTooLargeKeys=0
4.75	       =>  wckTime=1.996  cpuTime=1.91  mem=66M65
5.89	   
5.89	   search
5.89	     run=7  nbConstraintChecks=1748368  nbValidityChecks=3531523  nbPropagations=50935  nbRevisions=613077
5.89	     nbUselessRevisions=484084  nbAssignments=1393  nbFailedAssignments=838  nbBacktracks=496  nbVisitedNodes=2598
5.89	     nbRestartNogoods=26  mapSize=465  nbInferences=0  nbTooLargeKeys=0
5.89	       =>  wckTime=3.133  cpuTime=3.04  mem=66M65
6.92	   
6.92	   search
6.92	     run=8  nbConstraintChecks=2325725  nbValidityChecks=4714396  nbPropagations=75196  nbRevisions=908933
6.92	     nbUselessRevisions=717866  nbAssignments=1904  nbFailedAssignments=1085  nbBacktracks=752  nbVisitedNodes=3480
6.92	     nbRestartNogoods=29  mapSize=649  nbInferences=0  nbTooLargeKeys=0
6.92	       =>  wckTime=4.16  cpuTime=4.05  mem=66M65
8.68	   
8.68	   search
8.68	     run=9  nbConstraintChecks=3351914  nbValidityChecks=6884118  nbPropagations=110894  nbRevisions=1336722
8.68	     nbUselessRevisions=1055230  nbAssignments=2745  nbFailedAssignments=1533  nbBacktracks=1136  nbVisitedNodes=5004
8.68	     nbRestartNogoods=39  mapSize=972  nbInferences=0  nbTooLargeKeys=0
8.68	       =>  wckTime=5.923  cpuTime=5.79  mem=66M65
8.97	   
8.97	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=66M65)
11.25	   
11.25	   search
11.25	     run=10  nbConstraintChecks=4899015  nbValidityChecks=10018005  nbPropagations=164622  nbRevisions=1981094
11.25	     nbUselessRevisions=1564173  nbAssignments=4019  nbFailedAssignments=2224  nbBacktracks=1712  nbVisitedNodes=7322
11.25	     nbRestartNogoods=50
11.25	       =>  wckTime=8.495  cpuTime=8.33  mem=66M65
16.26	   
16.26	   search
16.26	     run=11  nbConstraintChecks=7952975  nbValidityChecks=16307893  nbPropagations=252867  nbRevisions=3033179
16.26	     nbUselessRevisions=2391064  nbAssignments=6820  nbFailedAssignments=4153  nbBacktracks=2577  nbVisitedNodes=12670
16.26	     nbRestartNogoods=63
16.26	       =>  wckTime=13.499  cpuTime=13.28  mem=66M65
24.30	   
24.30	   search
24.30	     run=12  nbConstraintChecks=12921750  nbValidityChecks=25764714  nbPropagations=381263  nbRevisions=4610814
24.30	     nbUselessRevisions=3641770  nbAssignments=9940  nbFailedAssignments=5968  nbBacktracks=3874  nbVisitedNodes=18374
24.30	     nbRestartNogoods=75
24.30	       =>  wckTime=21.545  cpuTime=21.25  mem=66M65
32.49	   
32.49	   search
32.49	     run=13  nbConstraintChecks=17878619  nbValidityChecks=35716334  nbPropagations=569831  nbRevisions=6911492
32.49	     nbUselessRevisions=5463676  nbAssignments=14366  nbFailedAssignments=8441  nbBacktracks=5820  nbVisitedNodes=26540
32.49	     nbRestartNogoods=93
32.49	       =>  wckTime=29.736  cpuTime=29.37  mem=66M65
45.21	   
45.21	   search
45.21	     run=14  nbConstraintChecks=25396655  nbValidityChecks=51182538  nbPropagations=850661  nbRevisions=10314909
45.21	     nbUselessRevisions=8156560  nbAssignments=21036  nbFailedAssignments=12183  nbBacktracks=8740  nbVisitedNodes=38863
45.21	     nbRestartNogoods=101
45.21	       =>  wckTime=42.453  cpuTime=41.9  mem=66M65
72.64	   
72.64	   search
72.64	     run=15  nbConstraintChecks=41987439  nbValidityChecks=84912634  nbPropagations=1281990  nbRevisions=15627887
72.64	     nbUselessRevisions=12370523  nbAssignments=31822  nbFailedAssignments=18582  nbBacktracks=13118
72.64	     nbVisitedNodes=59093  nbRestartNogoods=115
72.64	       =>  wckTime=69.887  cpuTime=69.03  mem=66M65
99.15	   
99.15	   search
99.15	     run=16  nbConstraintChecks=57755693  nbValidityChecks=117618198  nbPropagations=1909239  nbRevisions=23237836
99.15	     nbUselessRevisions=18395022  nbAssignments=45976  nbFailedAssignments=26159  nbBacktracks=19687
99.15	     nbVisitedNodes=84911  nbRestartNogoods=141
99.15	       =>  wckTime=96.39  cpuTime=95.26  mem=66M65
148.51	   
148.51	   search
148.51	     run=17  nbConstraintChecks=87016556  nbValidityChecks=176857027  nbPropagations=2874799  nbRevisions=34778234
148.51	     nbUselessRevisions=27497079  nbAssignments=70438  nbFailedAssignments=40762  nbBacktracks=29540
148.51	     nbVisitedNodes=130515  nbRestartNogoods=155
148.51	       =>  wckTime=145.75  cpuTime=144.11  mem=66M65
233.05	   
233.05	   search
233.05	     run=18  nbConstraintChecks=139771276  nbValidityChecks=281604389  nbPropagations=4332709  nbRevisions=52428999
233.05	     nbUselessRevisions=41474135  nbAssignments=107345  nbFailedAssignments=62881  nbBacktracks=44321
233.05	     nbVisitedNodes=199175  nbRestartNogoods=162
233.05	       =>  wckTime=230.288  cpuTime=227.88  mem=66M65
324.83	   
324.83	   search
324.83	     run=19  nbConstraintChecks=195211587  nbValidityChecks=394357129  nbPropagations=6453932  nbRevisions=78046369
324.83	     nbUselessRevisions=61745136  nbAssignments=155751  nbFailedAssignments=89111  nbBacktracks=66492
324.83	     nbVisitedNodes=287620  nbRestartNogoods=182
324.83	       =>  wckTime=322.074  cpuTime=318.83  mem=66M65
481.52	   
481.52	   search
481.52	     run=20  nbConstraintChecks=288486614  nbValidityChecks=584289766  nbPropagations=9657624  nbRevisions=116234872
481.52	     nbUselessRevisions=91866162  nbAssignments=236488  nbFailedAssignments=136590  nbBacktracks=99744
481.52	     nbVisitedNodes=437258  nbRestartNogoods=192
481.52	       =>  wckTime=478.759  cpuTime=474.08  mem=66M65
731.38	   
731.38	   search
731.38	     run=21  nbConstraintChecks=439821538  nbValidityChecks=888246921  nbPropagations=14364619  nbRevisions=172588000
731.38	     nbUselessRevisions=136336950  nbAssignments=345497  nbFailedAssignments=195713  nbBacktracks=149622
731.38	     nbVisitedNodes=636345  nbRestartNogoods=208
731.38	       =>  wckTime=728.622  cpuTime=721.67  mem=66M65
1081.82	   
1081.82	   search
1081.82	     run=22  nbConstraintChecks=655203030  nbValidityChecks=1323672455  nbPropagations=21461300  nbRevisions=257468649
1081.82	     nbUselessRevisions=203375131  nbAssignments=522677  nbFailedAssignments=298068  nbBacktracks=224441
1081.82	     nbVisitedNodes=963862  nbRestartNogoods=225
1081.82	       =>  wckTime=1079.059  cpuTime=1068.9  mem=66M65
1613.21	   
1613.21	   search
1613.21	     run=23  nbConstraintChecks=977929286  nbValidityChecks=1975736815  nbPropagations=32282785  nbRevisions=385513300
1613.21	     nbUselessRevisions=304187943  nbAssignments=787861  nbFailedAssignments=451017  nbBacktracks=336669
1613.21	     nbVisitedNodes=1455222  nbRestartNogoods=240
1613.21	       =>  wckTime=1610.449  cpuTime=1596.89  mem=66M65

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/node9/watcher-206697-1168074023 -o ROOT/results/node9/solver-206697-1168074023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206697-1168074023/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
/proc/loadavg: 1.95 1.96 1.89 4/93 16769
/proc/meminfo: memFree=1135784/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=18540 CPUtime=0
/proc/16768/stat : 16768 (runsolver) R 16766 15127 15127 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 1 0 155797551 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215418827446 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16768/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.108239 s]
/proc/loadavg: 1.95 1.96 1.89 4/93 16769
/proc/meminfo: memFree=1135784/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=907676 CPUtime=0.03
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 2220 0 1 0 3 0 0 0 16 0 4 0 155797551 929460224 1967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020620 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 226919 1967 1117 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.520284 s]
/proc/loadavg: 1.95 1.96 1.89 4/93 16769
/proc/meminfo: memFree=1135784/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915328 CPUtime=0.43
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 6376 0 1 0 40 3 0 0 18 0 8 0 155797551 937295872 6115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228832 6115 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.34438 s]
/proc/loadavg: 1.95 1.96 1.89 3/100 16776
/proc/meminfo: memFree=1068656/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915328 CPUtime=1.24
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 19099 0 1 0 114 10 0 0 25 0 8 0 155797551 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228832 18837 2149 14 0 215302 0
[pid=16768/tid=16770] ppid=16766 vsize=915328 CPUtime=0.05
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 155797561 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915328 CPUtime=0.08
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915328 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915328

[startup+2.98157 s]
/proc/loadavg: 1.95 1.96 1.89 4/100 16776
/proc/meminfo: memFree=1039792/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=2.87
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32426 0 1 0 270 17 0 0 25 0 8 0 155797551 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32160 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.19
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915440

[startup+6.27194 s]
/proc/loadavg: 1.95 1.96 1.89 3/100 16776
/proc/meminfo: memFree=1016496/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=6.13
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32447 0 1 0 595 18 0 0 25 0 8 0 155797551 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32179 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.24
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 393 0 0 0 24 0 0 0 16 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915440

[startup+12.7597 s]
/proc/loadavg: 2.04 1.98 1.89 3/100 16776
/proc/meminfo: memFree=1016624/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=12.56
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 1238 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915440

[startup+25.6381 s]
/proc/loadavg: 2.03 1.98 1.89 3/100 16776
/proc/meminfo: memFree=1016752/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=25.32
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 2514 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915440

[startup+51.277 s]
/proc/loadavg: 2.02 1.98 1.90 3/106 16850
/proc/meminfo: memFree=1015648/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=50.65
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 5047 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915440

[startup+102.564 s]
/proc/loadavg: 2.05 2.00 1.91 3/106 16932
/proc/meminfo: memFree=1015592/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=101.39
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 10121 18 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16768/statm: 228860 32187 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 401 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915440

[startup+162.591 s]
/proc/loadavg: 2.02 2.00 1.91 3/100 16973
/proc/meminfo: memFree=1016688/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=160.82
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32458 0 1 0 16063 19 0 0 25 0 8 0 155797551 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.99 s]
/proc/loadavg: 1.91 1.97 1.93 3/100 17089
/proc/meminfo: memFree=1031480/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1469.56
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 146923 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.56
Current children cumulated vsize (KiB) 915440

[startup+1543 s]
/proc/loadavg: 2.01 1.99 1.93 3/100 17089
/proc/meminfo: memFree=1031608/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1529.51
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 152918 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.51
Current children cumulated vsize (KiB) 915440

[startup+1603.02 s]
/proc/loadavg: 2.05 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1589.47
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 158914 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.47
Current children cumulated vsize (KiB) 915440

[startup+1663.04 s]
/proc/loadavg: 2.02 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028152/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1649.41
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 164908 33 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.41
Current children cumulated vsize (KiB) 915440

[startup+1723.05 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1709.38
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 170904 34 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.38
Current children cumulated vsize (KiB) 915440

[startup+1783.07 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1769.34
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 176900 34 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.34
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.85 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17089
/proc/meminfo: memFree=1028088/2055920 swapFree=4191880/4192956
[pid=16768] ppid=16766 vsize=915440 CPUtime=1800.1
/proc/16768/stat : 16768 (java) R 16766 16768 15127 0 -1 0 32460 0 1 0 179976 34 0 0 25 0 8 0 155797551 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16768/statm: 228860 32188 2521 14 0 215330 0
[pid=16768/tid=16770] ppid=16766 vsize=915440 CPUtime=0.45
/proc/16768/task/16770/stat : 16770 (java) S 16766 16768 15127 0 -1 64 15452 0 0 0 38 7 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16771] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 15127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16772] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 15127 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155797561 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16773] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16774] ppid=16766 vsize=915440 CPUtime=0.26
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 15127 0 -1 64 402 0 0 0 26 0 0 0 16 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16775] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16768/tid=16776] ppid=16766 vsize=915440 CPUtime=0
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 15127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155797565 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1813.89
CPU time (s): 1800.14
CPU user time (s): 1799.77
CPU system time (s): 0.361944
CPU usage (%): 99.2418
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32476
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= 37856
involuntary context switches= 69590

runsolver used 2.69759 s user time and 5.33019 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 09:00:23 UTC 2007


IDJOB= 206697
IDBENCH= 4228
FILE ID= node9/206697-1168074023

PBS_JOBID= 3475747

Free space on /tmp= 66531 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3687c46586991f5a464cf8250795dac6

RANDOM SEED= 753621135

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.231
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.231
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:       1136200 kB
Buffers:         83608 kB
Cached:         566340 kB
SwapCached:        268 kB
Active:         448016 kB
Inactive:       369308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1136200 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7496 kB
Writeback:           0 kB
Mapped:         189112 kB
Slab:            86860 kB
Committed_AS:  4744592 kB
PageTables:       2568 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= 66533 MiB



End job on node9 on Sat Jan  6 09:30:38 UTC 2007