Trace number 206826

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.13 1818.4

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-48_ext.xml
MD5SUM9534b39899ee9b0639caa17fe64db461
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.30	   
0.30	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/206826-1168178530/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.41	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
1.48	   
1.48	   constraints being loaded...
2.19	     nbConstraints=90  nbRelationTypes=93  nbMergedConstraints=3  nbExtensionStructures=90
2.19	     nbSharedExtensionStructures=0  nbConflictsStructures=90  nbSharedConflictsStructures=0
2.19	     nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
2.19	       =>  wckTime=1.883  cpuTime=1.48  mem=56M166
2.34	   
2.34	   solver IterativeSystematicSolver being built... 
2.51	       =>  wckTime=2.205  cpuTime=1.62  mem=64M908
2.65	   
2.65	   preprocessing
2.65	     nbConstraintChecks=46269  nbValidityChecks=78311  nbPropagations=257  nbRevisions=2590  nbUselessRevisions=2296
2.65	     nbSingletonTests=38  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.65	       =>  wckTime=0.131  cpuTime=0.1  mem=64M908
2.74	   
2.74	   search
2.74	     run=0  nbConstraintChecks=48870  nbValidityChecks=88923  nbPropagations=622  nbRevisions=6800
2.74	     nbUselessRevisions=5722  nbAssignments=38  nbFailedAssignments=19  nbBacktracks=10  nbVisitedNodes=65
2.74	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.74	       =>  wckTime=0.223  cpuTime=0.18  mem=64M908
2.88	   
2.88	   search
2.88	     run=1  nbConstraintChecks=123732  nbValidityChecks=258234  nbPropagations=1973  nbRevisions=22362
2.88	     nbUselessRevisions=18653  nbAssignments=125  nbFailedAssignments=48  nbBacktracks=25  nbVisitedNodes=159
2.88	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.88	       =>  wckTime=0.365  cpuTime=0.31  mem=64M908
3.04	   
3.04	   search
3.04	     run=2  nbConstraintChecks=212410  nbValidityChecks=428288  nbPropagations=4152  nbRevisions=47779
3.04	     nbUselessRevisions=39314  nbAssignments=184  nbFailedAssignments=77  nbBacktracks=47  nbVisitedNodes=264
3.04	     nbRestartNogoods=9  mapSize=42  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=0.522  cpuTime=0.46  mem=64M908
3.19	   
3.19	   search
3.20	     run=3  nbConstraintChecks=308074  nbValidityChecks=615566  nbPropagations=7306  nbRevisions=84509
3.20	     nbUselessRevisions=68962  nbAssignments=286  nbFailedAssignments=123  nbBacktracks=84  nbVisitedNodes=415
3.20	     nbRestartNogoods=13  mapSize=66  nbInferences=0  nbTooLargeKeys=0
3.20	       =>  wckTime=0.679  cpuTime=0.61  mem=64M908
3.42	   
3.42	   search
3.42	     run=4  nbConstraintChecks=438274  nbValidityChecks=876254  nbPropagations=11691  nbRevisions=136536
3.42	     nbUselessRevisions=110827  nbAssignments=399  nbFailedAssignments=179  nbBacktracks=134  nbVisitedNodes=611
3.42	     nbRestartNogoods=14  mapSize=98  nbInferences=0  nbTooLargeKeys=0
3.42	       =>  wckTime=0.902  cpuTime=0.83  mem=64M908
3.73	   
3.73	   search
3.73	     run=5  nbConstraintChecks=630534  nbValidityChecks=1251430  nbPropagations=18108  nbRevisions=212521
3.73	     nbUselessRevisions=171729  nbAssignments=585  nbFailedAssignments=266  nbBacktracks=209  nbVisitedNodes=910
3.73	     nbRestartNogoods=21  mapSize=157  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=1.209  cpuTime=1.13  mem=65M914
4.71	   
4.71	   search
4.71	     run=6  nbConstraintChecks=1222120  nbValidityChecks=2461247  nbPropagations=30239  nbRevisions=359745
4.71	     nbUselessRevisions=288378  nbAssignments=972  nbFailedAssignments=496  nbBacktracks=322  nbVisitedNodes=1575
4.71	     nbRestartNogoods=31  mapSize=264  nbInferences=0  nbTooLargeKeys=0
4.71	       =>  wckTime=2.195  cpuTime=2.11  mem=65M914
5.42	   
5.42	   search
5.42	     run=7  nbConstraintChecks=1664512  nbValidityChecks=3380820  nbPropagations=47930  nbRevisions=571877
5.42	     nbUselessRevisions=455721  nbAssignments=1400  nbFailedAssignments=744  nbBacktracks=494  nbVisitedNodes=2354
5.42	     nbRestartNogoods=43  mapSize=406  nbInferences=0  nbTooLargeKeys=0
5.42	       =>  wckTime=2.907  cpuTime=2.82  mem=65M914
6.64	   
6.64	   search
6.64	     run=8  nbConstraintChecks=2406469  nbValidityChecks=4968050  nbPropagations=74800  nbRevisions=893837
6.64	     nbUselessRevisions=709669  nbAssignments=2222  nbFailedAssignments=1301  nbBacktracks=751  nbVisitedNodes=3897
6.64	     nbRestartNogoods=46  mapSize=626  nbInferences=0  nbTooLargeKeys=0
6.64	       =>  wckTime=4.126  cpuTime=4.02  mem=65M914
8.53	   
8.53	   search
8.53	     run=9  nbConstraintChecks=3580236  nbValidityChecks=7459542  nbPropagations=116059  nbRevisions=1386180
8.53	     nbUselessRevisions=1096890  nbAssignments=3254  nbFailedAssignments=1940  nbBacktracks=1135  nbVisitedNodes=5854
8.53	     nbRestartNogoods=59  mapSize=987  nbInferences=0  nbTooLargeKeys=0
8.53	       =>  wckTime=6.014  cpuTime=5.88  mem=65M914
8.89	   
8.89	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=65M914)
11.29	   
11.29	   search
11.29	     run=10  nbConstraintChecks=5265842  nbValidityChecks=10986390  nbPropagations=175394  nbRevisions=2105022
11.29	     nbUselessRevisions=1664057  nbAssignments=4625  nbFailedAssignments=2713  nbBacktracks=1711  nbVisitedNodes=8350
11.29	     nbRestartNogoods=66
11.29	       =>  wckTime=8.77  cpuTime=8.63  mem=65M914
15.51	   
15.51	   search
15.51	     run=11  nbConstraintChecks=7924168  nbValidityChecks=16422349  nbPropagations=265777  nbRevisions=3200893
15.51	     nbUselessRevisions=2526416  nbAssignments=7018  nbFailedAssignments=4233  nbBacktracks=2576  nbVisitedNodes=12867
15.51	     nbRestartNogoods=76
15.51	       =>  wckTime=12.998  cpuTime=12.82  mem=65M914
20.36	   
20.36	   search
20.36	     run=12  nbConstraintChecks=10990592  nbValidityChecks=22661188  nbPropagations=393826  nbRevisions=4731525
20.36	     nbUselessRevisions=3728725  nbAssignments=9868  nbFailedAssignments=5779  nbBacktracks=3873  nbVisitedNodes=18029
20.36	     nbRestartNogoods=89
20.36	       =>  wckTime=17.84  cpuTime=17.64  mem=65M914
29.97	   
29.97	   search
29.97	     run=13  nbConstraintChecks=16856381  nbValidityChecks=34879076  nbPropagations=583409  nbRevisions=7037678
29.97	     nbUselessRevisions=5546093  nbAssignments=14442  nbFailedAssignments=8398  nbBacktracks=5820  nbVisitedNodes=26476
29.97	     nbRestartNogoods=97
29.97	       =>  wckTime=27.45  cpuTime=27.15  mem=65M914
44.20	   
44.20	   search
44.20	     run=14  nbConstraintChecks=25868881  nbValidityChecks=53363006  nbPropagations=868724  nbRevisions=10525403
44.20	     nbUselessRevisions=8291977  nbAssignments=21737  nbFailedAssignments=12767  nbBacktracks=8740  nbVisitedNodes=40089
44.20	     nbRestartNogoods=110
44.20	       =>  wckTime=41.686  cpuTime=41.24  mem=65M914
62.58	   
62.58	   search
62.58	     run=15  nbConstraintChecks=37354964  nbValidityChecks=76567055  nbPropagations=1279745  nbRevisions=15512475
62.58	     nbUselessRevisions=12218463  nbAssignments=31882  nbFailedAssignments=18526  nbBacktracks=13120
62.58	     nbVisitedNodes=58378  nbRestartNogoods=120
62.58	       =>  wckTime=60.064  cpuTime=59.45  mem=65M914
93.82	   
93.82	   search
93.82	     run=16  nbConstraintChecks=56954609  nbValidityChecks=115931618  nbPropagations=1910022  nbRevisions=23177568
93.82	     nbUselessRevisions=18257302  nbAssignments=48961  nbFailedAssignments=29030  nbBacktracks=19688
93.82	     nbVisitedNodes=90223  nbRestartNogoods=138
93.82	       =>  wckTime=91.299  cpuTime=90.37  mem=65M914
128.28	   
128.28	   search
128.28	     run=17  nbConstraintChecks=78923940  nbValidityChecks=160697444  nbPropagations=2812532  nbRevisions=34033447
128.28	     nbUselessRevisions=26796410  nbAssignments=70815  nbFailedAssignments=40904  nbBacktracks=29540
128.28	     nbVisitedNodes=129203  nbRestartNogoods=168
128.28	       =>  wckTime=125.767  cpuTime=124.46  mem=65M914
189.44	   
189.44	   search
189.44	     run=18  nbConstraintChecks=118136806  nbValidityChecks=240889243  nbPropagations=4173617  nbRevisions=50332928
189.44	     nbUselessRevisions=39623326  nbAssignments=108690  nbFailedAssignments=63979  nbBacktracks=44319
189.44	     nbVisitedNodes=198825  nbRestartNogoods=178
189.44	       =>  wckTime=186.922  cpuTime=184.99  mem=65M914
275.61	   
275.61	   search
275.61	     run=19  nbConstraintChecks=172911975  nbValidityChecks=353903126  nbPropagations=6209452  nbRevisions=74614541
275.61	     nbUselessRevisions=58696910  nbAssignments=161100  nbFailedAssignments=94213  nbBacktracks=66488
275.61	     nbVisitedNodes=294647  nbRestartNogoods=192
275.61	       =>  wckTime=273.098  cpuTime=270.28  mem=65M914
440.53	   
440.53	   search
440.53	     run=20  nbConstraintChecks=277551817  nbValidityChecks=569508502  nbPropagations=9445552  nbRevisions=113391537
440.53	     nbUselessRevisions=89182009  nbAssignments=259217  nbFailedAssignments=159056  nbBacktracks=99741
440.53	     nbVisitedNodes=479876  nbRestartNogoods=205
440.53	       =>  wckTime=438.015  cpuTime=433.53  mem=65M914
626.60	   
626.60	   search
626.60	     run=21  nbConstraintChecks=396252571  nbValidityChecks=813276357  nbPropagations=14169077  nbRevisions=169678737
626.60	     nbUselessRevisions=133397790  nbAssignments=375214  nbFailedAssignments=225167  nbBacktracks=149619
626.60	     nbVisitedNodes=691670  nbRestartNogoods=216
626.60	       =>  wckTime=624.088  cpuTime=617.68  mem=65M914
1044.61	   
1044.61	   search
1044.61	     run=22  nbConstraintChecks=658712159  nbValidityChecks=1354208230  nbPropagations=21598729  nbRevisions=260882294
1044.61	     nbUselessRevisions=205407090  nbAssignments=577487  nbFailedAssignments=352613  nbBacktracks=224439
1044.61	     nbVisitedNodes=1073602  nbRestartNogoods=236
1044.61	       =>  wckTime=1042.09  cpuTime=1031.38  mem=65M914
1766.01	   
1766.01	   search
1766.01	     run=23  nbConstraintChecks=1109729717  nbValidityChecks=2256234132  nbPropagations=33289866  nbRevisions=404599523
1766.01	     nbUselessRevisions=318916592  nbAssignments=884854  nbFailedAssignments=547733  nbBacktracks=336666
1766.01	     nbVisitedNodes=1654168  nbRestartNogoods=256
1766.01	       =>  wckTime=1763.493  cpuTime=1745.56  mem=65M914

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/node22/watcher-206826-1168178530 -o ROOT/results/node22/solver-206826-1168178530 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206826-1168178530/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: 0.88 0.98 1.06 3/87 6145
/proc/meminfo: memFree=1398264/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=1784 CPUtime=0
/proc/6144/stat : 6144 (java) D 6142 6144 6035 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 166247486 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/6144/statm: 446 160 125 14 0 91 0

[startup+0.104028 s]
/proc/loadavg: 0.88 0.98 1.06 3/87 6145
/proc/meminfo: memFree=1398264/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=914988 CPUtime=0.08
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 2983 0 1 0 7 1 0 0 22 0 8 0 166247486 936947712 2729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549401 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228747 2729 1425 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51209 s]
/proc/loadavg: 0.88 0.98 1.06 3/87 6145
/proc/meminfo: memFree=1398264/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915328 CPUtime=0.48
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 7811 0 1 0 43 5 0 0 24 0 8 0 166247486 937295872 7550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228832 7550 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33422 s]
/proc/loadavg: 0.88 0.98 1.06 4/107 6184
/proc/meminfo: memFree=1256728/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915328 CPUtime=1.29
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 19100 0 1 0 119 10 0 0 25 0 8 0 166247486 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228832 18838 2149 14 0 215302 0
[pid=6144/tid=6160] ppid=6142 vsize=915328 CPUtime=0.04
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 2680 0 0 0 4 0 0 0 17 0 8 0 166247490 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915328 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915328 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915328 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915328 CPUtime=0.08
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 166247494 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915328 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915328 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328

[startup+2.98747 s]
/proc/loadavg: 0.88 0.98 1.06 5/107 6184
/proc/meminfo: memFree=1204888/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=2.94
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32320 0 1 0 278 16 0 0 25 0 8 0 166247486 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32055 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 17 0 8 0 166247490 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.23
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 379 0 0 0 22 1 0 0 15 0 8 0 166247494 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937410560 32055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440

[startup+6.27598 s]
/proc/loadavg: 0.97 1.00 1.06 3/107 6186
/proc/meminfo: memFree=1164760/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=6.21
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32336 0 1 0 603 18 0 0 25 0 8 0 166247486 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32068 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 17 0 8 0 166247490 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.26
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 392 0 0 0 25 1 0 0 16 0 8 0 166247494 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937410560 32068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915440

[startup+12.772 s]
/proc/loadavg: 1.13 1.03 1.08 3/107 6192
/proc/meminfo: memFree=1068248/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=12.67
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32345 0 1 0 1248 19 0 0 25 0 8 0 166247486 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32074 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.27
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 400 0 0 0 26 1 0 0 16 0 8 0 166247494 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937410560 32074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915440

[startup+25.641 s]
/proc/loadavg: 1.32 1.08 1.09 3/101 6218
/proc/meminfo: memFree=761736/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=25.44
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32347 0 1 0 2523 21 0 0 25 0 8 0 166247486 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32076 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 402 0 0 0 27 1 0 0 15 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915440

[startup+51.2679 s]
/proc/loadavg: 1.55 1.15 1.11 3/102 6219
/proc/meminfo: memFree=730128/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=50.82
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32347 0 1 0 5060 22 0 0 25 0 8 0 166247486 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32076 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 402 0 0 0 27 1 0 0 15 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915440

[startup+102.508 s]
/proc/loadavg: 1.80 1.28 1.16 3/102 6219
/proc/meminfo: memFree=730256/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=101.56
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32347 0 1 0 10134 22 0 0 25 0 8 0 166247486 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32076 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 402 0 0 0 27 1 0 0 15 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166247494 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915440

[startup+162.56 s]
/proc/loadavg: 1.93 1.41 1.21 3/102 6219
/proc/meminfo: memFree=730320/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=160.96
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32347 0 1 0 16074 22 0 0 25 0 8 0 166247486 937410560 32076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.75 s]
/proc/loadavg: 2.00 2.00 1.78 3/102 6221
/proc/meminfo: memFree=730256/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1468.72
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 146837 35 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1468.72
Current children cumulated vsize (KiB) 915440

[startup+1543.85 s]
/proc/loadavg: 2.00 2.00 1.79 3/102 6221
/proc/meminfo: memFree=730320/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1528.23
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 152788 35 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.23
Current children cumulated vsize (KiB) 915440

[startup+1603.86 s]
/proc/loadavg: 2.00 2.00 1.81 3/102 6221
/proc/meminfo: memFree=730256/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1587.63
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 158728 35 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1587.63
Current children cumulated vsize (KiB) 915440

[startup+1663.95 s]
/proc/loadavg: 2.00 2.00 1.82 3/102 6221
/proc/meminfo: memFree=730256/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1647.13
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 164678 35 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.13
Current children cumulated vsize (KiB) 915440

[startup+1724.05 s]
/proc/loadavg: 2.03 2.01 1.83 3/102 6221
/proc/meminfo: memFree=730256/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1706.64
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 170629 35 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1706.64
Current children cumulated vsize (KiB) 915440

[startup+1784.14 s]
/proc/loadavg: 2.01 2.01 1.84 3/102 6221
/proc/meminfo: memFree=730256/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1766.11
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 176576 35 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.11
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.33 s]
/proc/loadavg: 2.07 2.02 1.84 3/101 6293
/proc/meminfo: memFree=1203864/2055920 swapFree=4157532/4192956
[pid=6144] ppid=6142 vsize=915440 CPUtime=1800.05
/proc/6144/stat : 6144 (java) R 6142 6144 6035 0 -1 0 32349 0 1 0 179969 36 0 0 25 0 8 0 166247486 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6144/statm: 228860 32077 2531 14 0 215330 0
[pid=6144/tid=6160] ppid=6142 vsize=915440 CPUtime=0.42
/proc/6144/task/6160/stat : 6160 (java) S 6142 6144 6035 0 -1 64 15323 0 0 0 37 5 0 0 16 0 8 0 166247490 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6164] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6164/stat : 6164 (java) S 6142 6144 6035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6165] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6165/stat : 6165 (java) S 6142 6144 6035 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166247491 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6168] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6168/stat : 6168 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6169] ppid=6142 vsize=915440 CPUtime=0.28
/proc/6144/task/6169/stat : 6169 (java) S 6142 6144 6035 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6170] ppid=6142 vsize=915440 CPUtime=0
/proc/6144/task/6170/stat : 6170 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6144/tid=6171] ppid=6142 vsize=915440 CPUtime=0.03
/proc/6144/task/6171/stat : 6171 (java) S 6142 6144 6035 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 166247494 937410560 32077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1818.4
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.38894
CPU usage (%): 98.995
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32366
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= 37998
involuntary context switches= 80189

runsolver used 2.44263 s user time and 6.00909 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Sun Jan  7 14:02:10 UTC 2007


IDJOB= 206826
IDBENCH= 4238
FILE ID= node22/206826-1168178530

PBS_JOBID= 3479113

Free space on /tmp= 66539 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9534b39899ee9b0639caa17fe64db461

RANDOM SEED= 770614000

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.279
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.279
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:       1398680 kB
Buffers:         45060 kB
Cached:         495944 kB
SwapCached:      11496 kB
Active:         127068 kB
Inactive:       455220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398680 kB
SwapTotal:     4192956 kB
SwapFree:      4157532 kB
Dirty:           16952 kB
Writeback:           0 kB
Mapped:          59148 kB
Slab:            59664 kB
Committed_AS:  2957764 kB
PageTables:       2340 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= 66547 MiB



End job on node22 on Sun Jan  7 14:32:29 UTC 2007