Trace number 196287

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.09 1805.34

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-34_ext.xml
MD5SUM7e84f3c7470c509274bafc2bca441264
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 constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
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.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/196287-1168070522/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.43	       =>  wckTime=0.105  cpuTime=0.1  mem=6M951
0.43	   
0.43	   relations being loaded...
1.08	   
1.08	   constraints being loaded...
1.37	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.37	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.37	       =>  wckTime=1.039  cpuTime=0.91  mem=50M840
1.49	   
1.49	   solver IterativeSystematicSolver being built... 
1.66	       =>  wckTime=1.337  cpuTime=1.06  mem=34M589
1.67	   
1.67	   preprocessing
1.67	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.67	     detectedInconsistency=no
1.67	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M589
1.79	   
1.79	   search
1.79	     run=0  nbConstraintChecks=34333  nbValidityChecks=58788  nbPropagations=368  nbRevisions=3734
1.79	     nbUselessRevisions=3040  nbAssignments=31  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=53
1.79	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.79	       =>  wckTime=0.125  cpuTime=0.08  mem=35M580
1.87	   
1.87	   search
1.87	     run=1  nbConstraintChecks=83819  nbValidityChecks=147539  nbPropagations=1096  nbRevisions=11830
1.87	     nbUselessRevisions=9549  nbAssignments=74  nbFailedAssignments=34  nbBacktracks=25  nbVisitedNodes=129
1.88	     nbRestartNogoods=4  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.88	       =>  wckTime=0.209  cpuTime=0.16  mem=35M580
1.96	   
1.96	   search
1.96	     run=2  nbConstraintChecks=129032  nbValidityChecks=234177  nbPropagations=2330  nbRevisions=25879
1.96	     nbUselessRevisions=20869  nbAssignments=126  nbFailedAssignments=56  nbBacktracks=48  nbVisitedNodes=214
1.96	     nbRestartNogoods=11  mapSize=38  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.29  cpuTime=0.23  mem=35M580
2.09	   
2.09	   search
2.09	     run=3  nbConstraintChecks=208300  nbValidityChecks=389518  nbPropagations=4442  nbRevisions=51073
2.09	     nbUselessRevisions=41151  nbAssignments=203  nbFailedAssignments=94  nbBacktracks=81  nbVisitedNodes=348
2.09	     nbRestartNogoods=14  mapSize=64  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.423  cpuTime=0.35  mem=35M580
2.29	   
2.29	   search
2.29	     run=4  nbConstraintChecks=342817  nbValidityChecks=626763  nbPropagations=7650  nbRevisions=89498
2.29	     nbUselessRevisions=72160  nbAssignments=313  nbFailedAssignments=149  nbBacktracks=132  nbVisitedNodes=541
2.29	     nbRestartNogoods=19  mapSize=105  nbInferences=0  nbTooLargeKeys=0
2.29	       =>  wckTime=0.621  cpuTime=0.54  mem=35M580
2.66	   
2.66	   search
2.66	     run=5  nbConstraintChecks=599694  nbValidityChecks=1083711  nbPropagations=13144  nbRevisions=154521
2.66	     nbUselessRevisions=123839  nbAssignments=489  nbFailedAssignments=245  nbBacktracks=207  nbVisitedNodes=864
2.66	     nbRestartNogoods=23  mapSize=174  nbInferences=0  nbTooLargeKeys=0
2.66	       =>  wckTime=0.99  cpuTime=0.9  mem=35M580
3.10	   
3.10	   search
3.10	     run=6  nbConstraintChecks=914652  nbValidityChecks=1654354  nbPropagations=21885  nbRevisions=257544
3.10	     nbUselessRevisions=205644  nbAssignments=815  nbFailedAssignments=451  nbBacktracks=320  nbVisitedNodes=1465
3.10	     nbRestartNogoods=26  mapSize=273  nbInferences=0  nbTooLargeKeys=0
3.10	       =>  wckTime=1.434  cpuTime=1.34  mem=35M580
4.31	   
4.31	   search
4.31	     run=7  nbConstraintChecks=1817169  nbValidityChecks=3219549  nbPropagations=36741  nbRevisions=438067
4.31	     nbUselessRevisions=347485  nbAssignments=1452  nbFailedAssignments=911  nbBacktracks=490  nbVisitedNodes=2707
4.32	     nbRestartNogoods=33  mapSize=438  nbInferences=0  nbTooLargeKeys=0
4.32	       =>  wckTime=2.649  cpuTime=2.53  mem=35M580
5.25	   
5.25	   search
5.25	     run=8  nbConstraintChecks=2469264  nbValidityChecks=4429236  nbPropagations=57568  nbRevisions=695076
5.25	     nbUselessRevisions=550588  nbAssignments=1989  nbFailedAssignments=1188  nbBacktracks=746  nbVisitedNodes=3676
5.25	     nbRestartNogoods=43  mapSize=653  nbInferences=0  nbTooLargeKeys=0
5.25	       =>  wckTime=3.586  cpuTime=3.46  mem=35M580
6.89	   
6.89	   search
6.89	     run=9  nbConstraintChecks=3632660  nbValidityChecks=6559012  nbPropagations=88928  nbRevisions=1082683
6.89	     nbUselessRevisions=857407  nbAssignments=2862  nbFailedAssignments=1671  nbBacktracks=1131  nbVisitedNodes=5278
6.89	     nbRestartNogoods=50  mapSize=996  nbInferences=0  nbTooLargeKeys=0
6.89	       =>  wckTime=5.22  cpuTime=5.06  mem=35M580
6.96	   
6.96	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=35M580)
9.21	   
9.21	   search
9.21	     run=10  nbConstraintChecks=5301565  nbValidityChecks=9690317  nbPropagations=138606  nbRevisions=1674329
9.21	     nbUselessRevisions=1323703  nbAssignments=4236  nbFailedAssignments=2463  nbBacktracks=1707  nbVisitedNodes=7846
9.21	     nbRestartNogoods=60
9.21	       =>  wckTime=7.545  cpuTime=7.36  mem=35M580
12.80	   
12.80	   search
12.80	     run=11  nbConstraintChecks=7913207  nbValidityChecks=14467763  nbPropagations=210904  nbRevisions=2532240
12.80	     nbUselessRevisions=1999272  nbAssignments=6337  nbFailedAssignments=3693  nbBacktracks=2572  nbVisitedNodes=11764
12.80	     nbRestartNogoods=66
12.80	       =>  wckTime=11.136  cpuTime=10.91  mem=35M580
16.78	   
16.78	   search
16.78	     run=12  nbConstraintChecks=10782633  nbValidityChecks=19861415  nbPropagations=314977  nbRevisions=3773952
16.78	     nbUselessRevisions=2981628  nbAssignments=9146  nbFailedAssignments=5198  nbBacktracks=3870  nbVisitedNodes=16838
16.78	     nbRestartNogoods=78
16.78	       =>  wckTime=15.112  cpuTime=14.85  mem=35M580
24.56	   
24.56	   search
24.56	     run=13  nbConstraintChecks=16428705  nbValidityChecks=30200878  nbPropagations=469921  nbRevisions=5643466
24.56	     nbUselessRevisions=4462541  nbAssignments=13336  nbFailedAssignments=7436  nbBacktracks=5816  nbVisitedNodes=24517
24.56	     nbRestartNogoods=88
24.56	       =>  wckTime=22.891  cpuTime=22.55  mem=35M580
35.53	   
35.53	   search
35.53	     run=14  nbConstraintChecks=24238529  nbValidityChecks=45193299  nbPropagations=714997  nbRevisions=8528404
35.53	     nbUselessRevisions=6738402  nbAssignments=20340  nbFailedAssignments=11515  nbBacktracks=8735  nbVisitedNodes=37632
35.53	     nbRestartNogoods=94
35.53	       =>  wckTime=33.863  cpuTime=33.39  mem=35M580
63.21	   
63.21	   search
63.21	     run=15  nbConstraintChecks=45231200  nbValidityChecks=82183306  nbPropagations=1103938  nbRevisions=13212817
63.21	     nbUselessRevisions=10417725  nbAssignments=34973  nbFailedAssignments=21764  nbBacktracks=13113
63.21	     nbVisitedNodes=65965  nbRestartNogoods=113
63.21	       =>  wckTime=61.545  cpuTime=60.87  mem=35M580
86.81	   
86.81	   search
86.81	     run=16  nbConstraintChecks=62614183  nbValidityChecks=114048768  nbPropagations=1650474  nbRevisions=19880021
86.81	     nbUselessRevisions=15683073  nbAssignments=48794  nbFailedAssignments=29011  nbBacktracks=19683
86.81	     nbVisitedNodes=90999  nbRestartNogoods=126
86.81	       =>  wckTime=85.144  cpuTime=84.35  mem=35M580
119.59	   
119.59	   search
119.59	     run=17  nbConstraintChecks=86647519  nbValidityChecks=158653092  nbPropagations=2446941  nbRevisions=29549911
119.59	     nbUselessRevisions=23337789  nbAssignments=69410  nbFailedAssignments=39770  nbBacktracks=29535
119.59	     nbVisitedNodes=128407  nbRestartNogoods=135
119.59	       =>  wckTime=117.925  cpuTime=116.98  mem=35M580
178.24	   
178.24	   search
178.24	     run=18  nbConstraintChecks=129507837  nbValidityChecks=237636564  nbPropagations=3653424  nbRevisions=44138913
178.24	     nbUselessRevisions=34892820  nbAssignments=101663  nbFailedAssignments=57237  nbBacktracks=44313
178.24	     nbVisitedNodes=187667  nbRestartNogoods=153
178.24	       =>  wckTime=176.57  cpuTime=175.35  mem=35M580
268.36	   
268.36	   search
268.36	     run=19  nbConstraintChecks=194423407  nbValidityChecks=361725172  nbPropagations=5518371  nbRevisions=66795279
268.36	     nbUselessRevisions=52831540  nbAssignments=157308  nbFailedAssignments=90706  nbBacktracks=66485
268.36	     nbVisitedNodes=292648  nbRestartNogoods=173
268.36	       =>  wckTime=266.691  cpuTime=265.04  mem=35M580
399.29	   
399.29	   search
399.29	     run=20  nbConstraintChecks=290391875  nbValidityChecks=536748625  nbPropagations=8264516  nbRevisions=100181494
399.29	     nbUselessRevisions=79289213  nbAssignments=227556  nbFailedAssignments=127696  nbBacktracks=99738
399.29	     nbVisitedNodes=420499  nbRestartNogoods=190
399.29	       =>  wckTime=397.62  cpuTime=395.36  mem=35M580
583.45	   
583.45	   search
583.45	     run=21  nbConstraintChecks=425325989  nbValidityChecks=788740728  nbPropagations=12407617  nbRevisions=149498174
583.45	     nbUselessRevisions=118262251  nbAssignments=345238  nbFailedAssignments=195493  nbBacktracks=149617
583.45	     nbVisitedNodes=639703  nbRestartNogoods=209
583.45	       =>  wckTime=581.781  cpuTime=578.65  mem=35M580
881.74	   
881.74	   search
881.74	     run=22  nbConstraintChecks=645006350  nbValidityChecks=1187898707  nbPropagations=18533932  nbRevisions=223333278
881.74	     nbUselessRevisions=176708921  nbAssignments=506529  nbFailedAssignments=281960  nbBacktracks=224435
881.74	     nbVisitedNodes=934147  nbRestartNogoods=237
881.74	       =>  wckTime=880.073  cpuTime=875.62  mem=35M580
1297.24	   
1297.24	   search
1297.24	     run=23  nbConstraintChecks=963741392  nbValidityChecks=1802599628  nbPropagations=28056212  nbRevisions=338065041
1297.24	     nbUselessRevisions=267491996  nbAssignments=796534  nbFailedAssignments=459732  nbBacktracks=336662
1297.24	     nbVisitedNodes=1481453  nbRestartNogoods=264
1297.24	       =>  wckTime=1295.576  cpuTime=1290.73  mem=35M580

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-196287-1168070522 -o ROOT/results/node42/solver-196287-1168070522 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196287-1168070522/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 1.91 5/86 21786
/proc/meminfo: memFree=1333664/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=9948 CPUtime=0
/proc/21785/stat : 21785 (java) S 21783 21785 21279 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 155451449 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/21785/statm: 2487 472 386 14 0 1142 0

[startup+0.104444 s]
/proc/loadavg: 2.00 2.00 1.91 5/86 21786
/proc/meminfo: memFree=1333664/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=914988 CPUtime=0.09
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 2975 0 1 0 7 2 0 0 19 0 8 0 155451449 936947712 2721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228747 2721 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516489 s]
/proc/loadavg: 2.00 2.00 1.91 5/86 21786
/proc/meminfo: memFree=1333664/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915328 CPUtime=0.49
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 7276 0 1 0 45 4 0 0 18 0 8 0 155451449 937295872 7015 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228832 7015 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34359 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 21793
/proc/meminfo: memFree=1266728/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915328 CPUtime=1.31
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 19113 0 1 0 121 10 0 0 24 0 8 0 155451449 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155213455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228832 18851 2160 14 0 215302 0
[pid=21785/tid=21787] ppid=21783 vsize=915328 CPUtime=0.05
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 2650 0 0 0 4 1 0 0 17 0 8 0 155451453 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915328 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915328 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155451453 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915328 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915328 CPUtime=0.11
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 321 0 0 0 10 1 0 0 16 0 8 0 155451457 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915328 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915328 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937295872 18851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98177 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 21797
/proc/meminfo: memFree=1250344/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=2.93
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23549 0 1 0 280 13 0 0 25 0 8 0 155451449 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228855 23284 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155451453 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.22
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 373 0 0 0 21 1 0 0 15 0 8 0 155451457 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23284 18446744073709551615 134512640 134570532 4294956480 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) 915420

[startup+6.26813 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 21799
/proc/meminfo: memFree=1250280/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=6.19
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23564 0 1 0 605 14 0 0 25 0 8 0 155451449 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228855 23296 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 155451453 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.24
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 386 0 0 0 23 1 0 0 15 0 8 0 155451457 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915420

[startup+12.7578 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 21807
/proc/meminfo: memFree=1250344/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=12.6
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23569 0 1 0 1246 14 0 0 25 0 8 0 155451449 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228855 23300 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915420

[startup+25.6333 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 21815
/proc/meminfo: memFree=1250408/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=25.36
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23570 0 1 0 2522 14 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915420

[startup+51.2621 s]
/proc/loadavg: 2.05 2.01 1.92 3/87 21839
/proc/meminfo: memFree=1251496/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=50.72
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23570 0 1 0 5058 14 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915420

[startup+102.511 s]
/proc/loadavg: 2.02 2.01 1.92 3/87 21839
/proc/meminfo: memFree=1251560/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=101.72
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 10158 14 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915420

[startup+162.611 s]
/proc/loadavg: 2.05 2.02 1.93 3/87 21839
/proc/meminfo: memFree=1251624/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=161.54
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 16140 14 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1419.07
Current children cumulated vsize (KiB) 915420

[startup+1484.02 s]
/proc/loadavg: 2.01 2.01 1.95 3/87 21899
/proc/meminfo: memFree=1251808/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1479.07
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 147891 16 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) R 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.07
Current children cumulated vsize (KiB) 915420

[startup+1544.08 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 21899
/proc/meminfo: memFree=1251808/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1539.08
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 153892 16 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.08
Current children cumulated vsize (KiB) 915420

[startup+1604.14 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 21899
/proc/meminfo: memFree=1251808/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1599.06
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 159890 16 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073893451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.06
Current children cumulated vsize (KiB) 915420

[startup+1664.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 21899
/proc/meminfo: memFree=1251808/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1659.07
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 165891 16 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770055 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.07
Current children cumulated vsize (KiB) 915420

[startup+1724.26 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 21899
/proc/meminfo: memFree=1251744/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1719.09
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 171892 17 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763350 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.09
Current children cumulated vsize (KiB) 915420

[startup+1784.32 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 21899
/proc/meminfo: memFree=1251744/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1779.07
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 177890 17 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.07
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 21899
/proc/meminfo: memFree=1251744/2055920 swapFree=4191892/4192956
[pid=21785] ppid=21783 vsize=915420 CPUtime=1800.06
/proc/21785/stat : 21785 (java) R 21783 21785 21279 0 -1 0 23571 0 1 0 179989 17 0 0 25 0 8 0 155451449 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21785/statm: 228855 23301 2521 14 0 215325 0
[pid=21785/tid=21787] ppid=21783 vsize=915420 CPUtime=0.16
/proc/21785/task/21787/stat : 21787 (java) S 21783 21785 21279 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21788] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21788/stat : 21788 (java) S 21783 21785 21279 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21789] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21789/stat : 21789 (java) S 21783 21785 21279 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155451453 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21790] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21790/stat : 21790 (java) S 21783 21785 21279 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21791] ppid=21783 vsize=915420 CPUtime=0.25
/proc/21785/task/21791/stat : 21791 (java) S 21783 21785 21279 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21785/tid=21792] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21792/stat : 21792 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21785/tid=21793] ppid=21783 vsize=915420 CPUtime=0
/proc/21785/task/21793/stat : 21793 (java) S 21783 21785 21279 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155451457 937390080 23301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1805.34
CPU time (s): 1800.09
CPU user time (s): 1799.91
CPU system time (s): 0.187971
CPU usage (%): 99.7096
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23588
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= 37619
involuntary context switches= 32020

runsolver used 1.84172 s user time and 6.15106 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 08:02:02 UTC 2007


IDJOB= 196287
IDBENCH= 3340
FILE ID= node42/196287-1168070522

PBS_JOBID= 3475892

Free space on /tmp= 66538 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7e84f3c7470c509274bafc2bca441264

RANDOM SEED= 202758236

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1334144 kB
Buffers:         49156 kB
Cached:         548092 kB
SwapCached:        268 kB
Active:         124304 kB
Inactive:       521672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1334144 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4652 kB
Writeback:           0 kB
Mapped:          68076 kB
Slab:            60572 kB
Committed_AS:  3427664 kB
PageTables:       2112 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= 66538 MiB



End job on node42 on Sat Jan  6 08:32:08 UTC 2007