Trace number 199817

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 1814.94

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-29_ext.xml
MD5SUM9c6a9349bdd157e01642ecaeb6b5556a
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 variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/199817-1168071592/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.06	   
1.06	   constraints being loaded...
1.32	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.32	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=13  maxArity=3
1.32	       =>  wckTime=0.999  cpuTime=0.88  mem=47M670
1.44	   
1.44	   solver IterativeSystematicSolver being built... 
1.61	       =>  wckTime=1.288  cpuTime=1.01  mem=34M354
1.62	   
1.62	   preprocessing
1.62	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.62	     detectedInconsistency=no
1.62	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M354
1.74	   
1.74	   search
1.74	     run=0  nbConstraintChecks=35393  nbValidityChecks=61849  nbPropagations=386  nbRevisions=4066
1.74	     nbUselessRevisions=3279  nbAssignments=33  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=56
1.74	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.128  cpuTime=0.09  mem=34M354
1.84	   
1.84	   search
1.84	     run=1  nbConstraintChecks=89583  nbValidityChecks=164520  nbPropagations=1406  nbRevisions=15466
1.84	     nbUselessRevisions=12437  nbAssignments=82  nbFailedAssignments=42  nbBacktracks=26  nbVisitedNodes=145
1.84	     nbRestartNogoods=2  mapSize=25  nbInferences=0  nbTooLargeKeys=0
1.84	       =>  wckTime=0.224  cpuTime=0.18  mem=34M354
1.99	   
1.99	   search
1.99	     run=2  nbConstraintChecks=174499  nbValidityChecks=336365  nbPropagations=3403  nbRevisions=38701
1.99	     nbUselessRevisions=30830  nbAssignments=165  nbFailedAssignments=97  nbBacktracks=48  nbVisitedNodes=298
1.99	     nbRestartNogoods=9  mapSize=47  nbInferences=0  nbTooLargeKeys=0
1.99	       =>  wckTime=0.375  cpuTime=0.31  mem=34M354
2.11	   
2.11	   search
2.11	     run=3  nbConstraintChecks=249787  nbValidityChecks=494029  nbPropagations=6404  nbRevisions=74228
2.11	     nbUselessRevisions=58952  nbAssignments=241  nbFailedAssignments=133  nbBacktracks=83  nbVisitedNodes=433
2.11	     nbRestartNogoods=12  mapSize=78  nbInferences=0  nbTooLargeKeys=0
2.11	       =>  wckTime=0.495  cpuTime=0.43  mem=34M354
2.24	   
2.24	   search
2.24	     run=4  nbConstraintChecks=334917  nbValidityChecks=655836  nbPropagations=10366  nbRevisions=120974
2.24	     nbUselessRevisions=95858  nbAssignments=327  nbFailedAssignments=161  nbBacktracks=133  nbVisitedNodes=569
2.24	     nbRestartNogoods=16  mapSize=111  nbInferences=0  nbTooLargeKeys=0
2.24	       =>  wckTime=0.628  cpuTime=0.56  mem=34M354
2.55	   
2.55	   search
2.55	     run=5  nbConstraintChecks=530805  nbValidityChecks=1035318  nbPropagations=16618  nbRevisions=195890
2.55	     nbUselessRevisions=155003  nbAssignments=492  nbFailedAssignments=247  nbBacktracks=209  nbVisitedNodes=871
2.55	     nbRestartNogoods=19  mapSize=178  nbInferences=0  nbTooLargeKeys=0
2.55	       =>  wckTime=0.938  cpuTime=0.86  mem=34M354
3.02	   
3.02	   search
3.02	     run=6  nbConstraintChecks=858546  nbValidityChecks=1655576  nbPropagations=26649  nbRevisions=318424
3.02	     nbUselessRevisions=252321  nbAssignments=782  nbFailedAssignments=418  nbBacktracks=322  nbVisitedNodes=1416
3.02	     nbRestartNogoods=20  mapSize=284  nbInferences=0  nbTooLargeKeys=0
3.02	       =>  wckTime=1.41  cpuTime=1.32  mem=34M354
3.97	   
3.97	   search
3.97	     run=7  nbConstraintChecks=1488065  nbValidityChecks=2931473  nbPropagations=43460  nbRevisions=526066
3.97	     nbUselessRevisions=416278  nbAssignments=1311  nbFailedAssignments=771  nbBacktracks=492  nbVisitedNodes=2439
3.97	     nbRestartNogoods=28  mapSize=448  nbInferences=0  nbTooLargeKeys=0
3.97	       =>  wckTime=2.356  cpuTime=2.25  mem=34M354
4.98	   
4.98	   search
4.98	     run=8  nbConstraintChecks=2158867  nbValidityChecks=4234333  nbPropagations=68285  nbRevisions=830564
4.98	     nbUselessRevisions=656617  nbAssignments=1890  nbFailedAssignments=1089  nbBacktracks=748  nbVisitedNodes=3517
4.98	     nbRestartNogoods=36  mapSize=680  nbInferences=0  nbTooLargeKeys=0
4.98	       =>  wckTime=3.369  cpuTime=3.23  mem=34M354
6.40	   
6.40	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=34M354)
6.53	   
6.53	   search
6.53	     run=9  nbConstraintChecks=3231836  nbValidityChecks=6285815  nbPropagations=105331  nbRevisions=1277445
6.53	     nbUselessRevisions=1008709  nbAssignments=2764  nbFailedAssignments=1572  nbBacktracks=1133  nbVisitedNodes=5146
6.53	     nbRestartNogoods=41
6.53	       =>  wckTime=4.919  cpuTime=4.76  mem=34M354
9.67	   
9.67	   search
9.67	     run=10  nbConstraintChecks=5309430  nbValidityChecks=10628896  nbPropagations=166169  nbRevisions=2005478
9.67	     nbUselessRevisions=1580548  nbAssignments=4564  nbFailedAssignments=2792  nbBacktracks=1709  nbVisitedNodes=8639
9.67	     nbRestartNogoods=48
9.67	       =>  wckTime=8.058  cpuTime=7.87  mem=34M354
13.15	   
13.15	   search
13.15	     run=11  nbConstraintChecks=7746843  nbValidityChecks=15295219  nbPropagations=254932  nbRevisions=3076728
13.15	     nbUselessRevisions=2423486  nbAssignments=6614  nbFailedAssignments=3971  nbBacktracks=2575  nbVisitedNodes=12491
13.15	     nbRestartNogoods=50
13.15	       =>  wckTime=11.534  cpuTime=11.31  mem=34M354
19.01	   
19.01	   search
19.01	     run=12  nbConstraintChecks=11947029  nbValidityChecks=23508708  nbPropagations=389020  nbRevisions=4708328
19.01	     nbUselessRevisions=3710216  nbAssignments=10128  nbFailedAssignments=6183  nbBacktracks=3873  nbVisitedNodes=19200
19.01	     nbRestartNogoods=64
19.01	       =>  wckTime=17.391  cpuTime=17.12  mem=35M342
27.65	   
27.65	   search
27.65	     run=13  nbConstraintChecks=17877033  nbValidityChecks=35614879  nbPropagations=591073  nbRevisions=7171207
27.65	     nbUselessRevisions=5649138  nbAssignments=15486  nbFailedAssignments=9586  nbBacktracks=5819  nbVisitedNodes=29424
27.65	     nbRestartNogoods=70
27.65	       =>  wckTime=26.037  cpuTime=25.68  mem=35M342
38.94	   
38.94	   search
38.94	     run=14  nbConstraintChecks=25639898  nbValidityChecks=50939054  nbPropagations=886109  nbRevisions=10743213
38.94	     nbUselessRevisions=8460037  nbAssignments=22534  nbFailedAssignments=13709  nbBacktracks=8738  nbVisitedNodes=42600
38.94	     nbRestartNogoods=81
38.94	       =>  wckTime=37.33  cpuTime=36.87  mem=35M342
61.80	   
61.80	   search
61.80	     run=15  nbConstraintChecks=42104887  nbValidityChecks=83030890  nbPropagations=1347274  nbRevisions=16377395
61.80	     nbUselessRevisions=12894447  nbAssignments=35516  nbFailedAssignments=22306  nbBacktracks=13116
61.80	     nbVisitedNodes=67536  nbRestartNogoods=90
61.80	       =>  wckTime=60.187  cpuTime=59.52  mem=35M342
92.47	   
92.47	   search
92.47	     run=16  nbConstraintChecks=63368028  nbValidityChecks=126074366  nbPropagations=2045426  nbRevisions=24931227
92.47	     nbUselessRevisions=19621319  nbAssignments=54415  nbFailedAssignments=34630  nbBacktracks=19684
92.47	     nbVisitedNodes=103761  nbRestartNogoods=110
92.47	       =>  wckTime=90.856  cpuTime=89.91  mem=35M342
133.98	   
133.98	   search
133.98	     run=17  nbConstraintChecks=92068547  nbValidityChecks=183426100  nbPropagations=3082841  nbRevisions=37516525
133.98	     nbUselessRevisions=29523805  nbAssignments=81162  nbFailedAssignments=51517  nbBacktracks=29537
133.98	     nbVisitedNodes=154265  nbRestartNogoods=133
133.98	       =>  wckTime=132.37  cpuTime=131.03  mem=35M342
210.39	   
210.39	   search
210.39	     run=18  nbConstraintChecks=144808315  nbValidityChecks=290316078  nbPropagations=4696627  nbRevisions=57151992
210.39	     nbUselessRevisions=44943048  nbAssignments=125424  nbFailedAssignments=80995  nbBacktracks=44315
210.39	     nbVisitedNodes=239595  nbRestartNogoods=154
210.39	       =>  wckTime=208.776  cpuTime=206.75  mem=35M342
304.10	   
304.10	   search
304.10	     run=19  nbConstraintChecks=208226194  nbValidityChecks=419706711  nbPropagations=7078337  nbRevisions=85872573
304.10	     nbUselessRevisions=67478814  nbAssignments=185932  nbFailedAssignments=119331  nbBacktracks=66483
304.10	     nbVisitedNodes=353630  nbRestartNogoods=181
304.10	       =>  wckTime=302.482  cpuTime=299.59  mem=35M342
460.23	   
460.23	   search
460.23	     run=20  nbConstraintChecks=320801984  nbValidityChecks=637066799  nbPropagations=10631247  nbRevisions=129320097
460.23	     nbUselessRevisions=101673402  nbAssignments=277909  nbFailedAssignments=178051  nbBacktracks=99735
460.23	     nbVisitedNodes=529500  nbRestartNogoods=196
460.23	       =>  wckTime=458.613  cpuTime=454.29  mem=35M342
725.59	   
725.59	   search
725.59	     run=21  nbConstraintChecks=509370635  nbValidityChecks=1007670998  nbPropagations=16129041  nbRevisions=196719328
725.59	     nbUselessRevisions=154727202  nbAssignments=427521  nbFailedAssignments=277779  nbBacktracks=149613
725.59	     nbVisitedNodes=818480  nbRestartNogoods=221
725.59	       =>  wckTime=723.971  cpuTime=717.24  mem=35M342
1046.50	   
1046.50	   search
1046.50	     run=22  nbConstraintChecks=732186553  nbValidityChecks=1457697215  nbPropagations=24296002  nbRevisions=295706832
1046.50	     nbUselessRevisions=232616450  nbAssignments=647844  nbFailedAssignments=423278  nbBacktracks=224433
1046.50	     nbVisitedNodes=1237701  nbRestartNogoods=238
1046.50	       =>  wckTime=1044.881  cpuTime=1035.21  mem=35M342
1577.16	   
1577.16	   search
1577.16	     run=23  nbConstraintChecks=1096551696  nbValidityChecks=2200109738  nbPropagations=36608119  nbRevisions=445334628
1577.16	     nbUselessRevisions=350315030  nbAssignments=969907  nbFailedAssignments=633108  nbBacktracks=336660
1577.16	     nbVisitedNodes=1855630  nbRestartNogoods=263
1577.16	       =>  wckTime=1575.546  cpuTime=1561.02  mem=35M342

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/node1/watcher-199817-1168071592 -o ROOT/results/node1/solver-199817-1168071592 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199817-1168071592/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: 1.96 1.89 1.86 4/93 15622
/proc/meminfo: memFree=1230248/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=18540 CPUtime=0
/proc/15621/stat : 15621 (runsolver) R 15619 15621 15326 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155554984 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15621/statm: 4635 279 244 17 0 2626 0

[startup+0.103907 s]
/proc/loadavg: 1.96 1.89 1.86 4/93 15622
/proc/meminfo: memFree=1230248/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=914988 CPUtime=0.08
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 2963 0 1 0 7 1 0 0 17 0 8 0 155554984 936947712 2709 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072935156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228747 2709 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511953 s]
/proc/loadavg: 1.96 1.89 1.86 4/93 15622
/proc/meminfo: memFree=1230248/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915328 CPUtime=0.48
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 7368 0 1 0 44 4 0 0 18 0 8 0 155554984 937295872 7107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228832 7107 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33505 s]
/proc/loadavg: 1.96 1.89 1.86 3/100 15629
/proc/meminfo: memFree=1163120/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1.3
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 19144 0 1 0 120 10 0 0 25 0 8 0 155554984 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 18881 2168 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.06
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 15326 0 -1 64 2659 0 0 0 5 1 0 0 16 0 8 0 155554988 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134381 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155554989 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.1
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 155554992 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 18881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915416

[startup+2.98825 s]
/proc/loadavg: 1.96 1.89 1.86 4/100 15629
/proc/meminfo: memFree=1147248/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=2.93
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23391 0 1 0 281 12 0 0 25 0 8 0 155554984 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23126 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 17 0 8 0 155554988 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.21
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 371 0 0 0 20 1 0 0 15 0 8 0 155554992 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416

[startup+6.26763 s]
/proc/loadavg: 1.96 1.89 1.86 3/100 15629
/proc/meminfo: memFree=1147312/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=6.18
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23408 0 1 0 605 13 0 0 25 0 8 0 155554984 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23140 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 17 0 8 0 155554988 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.24
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 385 0 0 0 23 1 0 0 16 0 8 0 155554992 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915416

[startup+12.7654 s]
/proc/loadavg: 1.96 1.89 1.86 3/100 15629
/proc/meminfo: memFree=1147376/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=12.62
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23412 0 1 0 1249 13 0 0 25 0 8 0 155554984 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23143 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416

[startup+25.6229 s]
/proc/loadavg: 1.97 1.89 1.87 3/100 15629
/proc/meminfo: memFree=1147504/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=25.36
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23412 0 1 0 2523 13 0 0 25 0 8 0 155554984 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23143 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416

[startup+51.2559 s]
/proc/loadavg: 1.98 1.90 1.87 3/100 15629
/proc/meminfo: memFree=1147568/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=50.76
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 5063 13 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915416

[startup+102.516 s]
/proc/loadavg: 1.99 1.91 1.87 3/100 15629
/proc/meminfo: memFree=1147640/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=101.54
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 10141 13 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915416

[startup+162.531 s]
/proc/loadavg: 1.99 1.93 1.88 3/100 15629
/proc/meminfo: memFree=1147704/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=161.01
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 16087 14 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.81 s]
/proc/loadavg: 2.04 2.01 1.93 3/100 15629
/proc/meminfo: memFree=1147576/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1469.21
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 146895 26 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.21
Current children cumulated vsize (KiB) 915416

[startup+1542.82 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 15629
/proc/meminfo: memFree=1147512/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1528.67
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 152841 26 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.67
Current children cumulated vsize (KiB) 915416

[startup+1602.83 s]
/proc/loadavg: 1.93 1.99 1.93 3/100 15687
/proc/meminfo: memFree=1145456/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1588.23
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 158796 27 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.23
Current children cumulated vsize (KiB) 915416

[startup+1662.89 s]
/proc/loadavg: 2.05 2.00 1.93 3/100 15687
/proc/meminfo: memFree=1145648/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1648.22
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 164795 27 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.22
Current children cumulated vsize (KiB) 915416

[startup+1722.94 s]
/proc/loadavg: 2.02 2.00 1.93 3/100 15687
/proc/meminfo: memFree=1145712/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1708.24
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 170796 28 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.24
Current children cumulated vsize (KiB) 915416

[startup+1783.01 s]
/proc/loadavg: 2.05 2.01 1.94 3/100 15687
/proc/meminfo: memFree=1145648/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1768.22
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 176794 28 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.22
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.87 s]
/proc/loadavg: 2.03 2.01 1.94 3/100 15687
/proc/meminfo: memFree=1145648/2055920 swapFree=4165584/4192956
[pid=15621] ppid=15619 vsize=915416 CPUtime=1800.08
/proc/15621/stat : 15621 (java) R 15619 15621 15326 0 -1 0 23414 0 1 0 179980 28 0 0 25 0 8 0 155554984 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15621/statm: 228854 23144 2521 14 0 215324 0
[pid=15621/tid=15623] ppid=15619 vsize=915416 CPUtime=0.16
/proc/15621/task/15623/stat : 15623 (java) S 15619 15621 15326 0 -1 64 6427 0 0 0 14 2 0 0 16 0 8 0 155554988 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15624] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 15326 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15625] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 15326 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155554989 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15626] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15627] ppid=15619 vsize=915416 CPUtime=0.25
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 15326 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15628] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 15326 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15621/tid=15629] ppid=15619 vsize=915416 CPUtime=0
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 15326 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155554992 937385984 23144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1814.94
CPU time (s): 1800.14
CPU user time (s): 1799.84
CPU system time (s): 0.297954
CPU usage (%): 99.1846
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.297954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23429
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= 37804
involuntary context switches= 70681

runsolver used 2.43163 s user time and 5.62315 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 08:19:52 UTC 2007


IDJOB= 199817
IDBENCH= 3638
FILE ID= node1/199817-1168071592

PBS_JOBID= 3475738

Free space on /tmp= 66299 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9c6a9349bdd157e01642ecaeb6b5556a

RANDOM SEED= 828518169

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.234
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.234
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:       1230728 kB
Buffers:         69384 kB
Cached:         593732 kB
SwapCached:       3692 kB
Active:         381296 kB
Inactive:       346648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1230728 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:            4560 kB
Writeback:           0 kB
Mapped:          84772 kB
Slab:            81728 kB
Committed_AS:  4910528 kB
PageTables:       2444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66299 MiB



End job on node1 on Sat Jan  6 08:50:09 UTC 2007