Trace number 196066

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.17 1800.99

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-11_ext.xml
MD5SUM319c407682b16d5592d041c90ba4e937
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1232.27
SatisfiableNO
(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.58	   
0.58	Abscon 109 (November, 2006)
0.58	   
0.58	   configuration
0.58	     name=mac.xml
0.62	   
0.62	   instance
0.62	     name=/tmp/evaluation/196066-1168070421/unknown.xml
0.64	   
0.64	   domains being loaded...
0.65	   
0.65	   variables being loaded...
0.68	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.68	       =>  wckTime=0.096  cpuTime=0.08  mem=6M951
0.68	   
0.68	   relations being loaded...
1.29	   
1.29	   constraints being loaded...
1.53	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.53	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.53	       =>  wckTime=0.947  cpuTime=0.81  mem=47M649
1.65	   
1.65	   solver IterativeSystematicSolver being built... 
1.80	       =>  wckTime=1.212  cpuTime=0.94  mem=34M650
1.80	   
1.80	   preprocessing
1.80	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.80	     detectedInconsistency=no
1.80	       =>  wckTime=0.0030  cpuTime=0.0  mem=34M650
1.90	   
1.90	   search
1.90	     run=0  nbConstraintChecks=25029  nbValidityChecks=43530  nbPropagations=251  nbRevisions=2589
1.90	     nbUselessRevisions=2090  nbAssignments=26  nbFailedAssignments=9  nbBacktracks=13  nbVisitedNodes=41
1.90	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.098  cpuTime=0.07  mem=34M650
1.99	   
1.99	   search
1.99	     run=1  nbConstraintChecks=88368  nbValidityChecks=159238  nbPropagations=1012  nbRevisions=11465
1.99	     nbUselessRevisions=9181  nbAssignments=73  nbFailedAssignments=35  nbBacktracks=28  nbVisitedNodes=126
1.99	     nbRestartNogoods=1  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.99	       =>  wckTime=0.194  cpuTime=0.16  mem=34M650
2.09	   
2.09	   search
2.09	     run=2  nbConstraintChecks=143406  nbValidityChecks=274391  nbPropagations=2324  nbRevisions=26784
2.09	     nbUselessRevisions=21357  nbAssignments=119  nbFailedAssignments=56  nbBacktracks=50  nbVisitedNodes=207
2.09	     nbRestartNogoods=6  mapSize=43  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.287  cpuTime=0.25  mem=34M650
2.25	   
2.25	   search
2.25	     run=3  nbConstraintChecks=259590  nbValidityChecks=502278  nbPropagations=4964  nbRevisions=58023
2.25	     nbUselessRevisions=46243  nbAssignments=224  nbFailedAssignments=122  nbBacktracks=83  nbVisitedNodes=403
2.25	     nbRestartNogoods=8  mapSize=74  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=0.455  cpuTime=0.41  mem=34M650
2.47	   
2.47	   search
2.47	     run=4  nbConstraintChecks=413009  nbValidityChecks=773424  nbPropagations=8701  nbRevisions=103679
2.47	     nbUselessRevisions=82870  nbAssignments=330  nbFailedAssignments=173  nbBacktracks=133  nbVisitedNodes=590
2.47	     nbRestartNogoods=15  mapSize=114  nbInferences=0  nbTooLargeKeys=0
2.47	       =>  wckTime=0.665  cpuTime=0.61  mem=34M650
2.79	   
2.79	   search
2.79	     run=5  nbConstraintChecks=634472  nbValidityChecks=1212469  nbPropagations=14874  nbRevisions=177953
2.79	     nbUselessRevisions=142013  nbAssignments=536  nbFailedAssignments=299  nbBacktracks=208  nbVisitedNodes=971
2.79	     nbRestartNogoods=23  mapSize=177  nbInferences=0  nbTooLargeKeys=0
2.79	       =>  wckTime=0.987  cpuTime=0.93  mem=34M650
3.35	   
3.35	   search
3.35	     run=6  nbConstraintChecks=1030606  nbValidityChecks=1989129  nbPropagations=24455  nbRevisions=295679
3.35	     nbUselessRevisions=235986  nbAssignments=817  nbFailedAssignments=464  nbBacktracks=321  nbVisitedNodes=1501
3.35	     nbRestartNogoods=37  mapSize=286  nbInferences=0  nbTooLargeKeys=0
3.35	       =>  wckTime=1.546  cpuTime=1.49  mem=34M650
4.59	   
4.59	   search
4.59	     run=7  nbConstraintChecks=1923324  nbValidityChecks=3819357  nbPropagations=42200  nbRevisions=518017
4.59	     nbUselessRevisions=412686  nbAssignments=1562  nbFailedAssignments=1034  nbBacktracks=491  nbVisitedNodes=2959
4.59	     nbRestartNogoods=40  mapSize=453  nbInferences=0  nbTooLargeKeys=0
4.59	       =>  wckTime=2.789  cpuTime=2.71  mem=34M650
5.54	   
5.54	   search
5.54	     run=8  nbConstraintChecks=2614969  nbValidityChecks=5153772  nbPropagations=66556  nbRevisions=817514
5.54	     nbUselessRevisions=650431  nbAssignments=2105  nbFailedAssignments=1316  nbBacktracks=747  nbVisitedNodes=3940
5.54	     nbRestartNogoods=50  mapSize=656  nbInferences=0  nbTooLargeKeys=0
5.54	       =>  wckTime=3.736  cpuTime=3.65  mem=34M650
7.03	   
7.03	   search
7.03	     run=9  nbConstraintChecks=3679036  nbValidityChecks=7219097  nbPropagations=101033  nbRevisions=1237127
7.03	     nbUselessRevisions=983557  nbAssignments=2937  nbFailedAssignments=1757  nbBacktracks=1133  nbVisitedNodes=5450
7.03	     nbRestartNogoods=62  mapSize=984  nbInferences=0  nbTooLargeKeys=0
7.03	       =>  wckTime=5.232  cpuTime=5.14  mem=34M650
7.39	   
7.39	   INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=34M650)
9.27	   
9.27	   search
9.27	     run=10  nbConstraintChecks=5397666  nbValidityChecks=10236860  nbPropagations=148398  nbRevisions=1818581
9.27	     nbUselessRevisions=1445300  nbAssignments=4182  nbFailedAssignments=2422  nbBacktracks=1709  nbVisitedNodes=7670
9.27	     nbRestartNogoods=69
9.27	       =>  wckTime=7.472  cpuTime=7.37  mem=34M650
12.96	   
12.96	   search
12.96	     run=11  nbConstraintChecks=8060483  nbValidityChecks=15563420  nbPropagations=223493  nbRevisions=2731307
12.96	     nbUselessRevisions=2170935  nbAssignments=6399  nbFailedAssignments=3770  nbBacktracks=2573  nbVisitedNodes=11818
12.96	     nbRestartNogoods=81
12.96	       =>  wckTime=11.164  cpuTime=11.06  mem=34M650
20.05	   
20.05	   search
20.05	     run=12  nbConstraintChecks=13245958  nbValidityChecks=25549563  nbPropagations=343343  nbRevisions=4188520
20.05	     nbUselessRevisions=3323783  nbAssignments=9918  nbFailedAssignments=5987  nbBacktracks=3870  nbVisitedNodes=18572
20.05	     nbRestartNogoods=101
20.05	       =>  wckTime=18.253  cpuTime=18.15  mem=34M650
28.33	   
28.33	   search
28.33	     run=13  nbConstraintChecks=19315303  nbValidityChecks=37626042  nbPropagations=522829  nbRevisions=6362092
28.33	     nbUselessRevisions=5046213  nbAssignments=14623  nbFailedAssignments=8741  nbBacktracks=5817  nbVisitedNodes=27353
28.33	     nbRestartNogoods=126
28.33	       =>  wckTime=26.528  cpuTime=26.42  mem=34M650
38.64	   
38.64	   search
38.64	     run=14  nbConstraintChecks=27185105  nbValidityChecks=52139991  nbPropagations=766580  nbRevisions=9390748
38.64	     nbUselessRevisions=7454841  nbAssignments=21199  nbFailedAssignments=12391  nbBacktracks=8737  nbVisitedNodes=39230
38.64	     nbRestartNogoods=136
38.64	       =>  wckTime=36.836  cpuTime=36.73  mem=34M650
54.88	   
54.88	   search
54.88	     run=15  nbConstraintChecks=39071421  nbValidityChecks=75962668  nbPropagations=1130408  nbRevisions=13862111
54.88	     nbUselessRevisions=11003312  nbAssignments=31206  nbFailedAssignments=18015  nbBacktracks=13115
54.88	     nbVisitedNodes=57741  nbRestartNogoods=148
54.88	       =>  wckTime=53.083  cpuTime=52.93  mem=34M650
85.22	   
85.22	   search
85.22	     run=16  nbConstraintChecks=62277143  nbValidityChecks=120382598  nbPropagations=1698791  nbRevisions=20914235
85.22	     nbUselessRevisions=16604290  nbAssignments=48504  nbFailedAssignments=28738  nbBacktracks=19685
85.22	     nbVisitedNodes=90446  nbRestartNogoods=167
85.22	       =>  wckTime=83.42  cpuTime=83.23  mem=34M650
145.96	   
145.96	   search
145.96	     run=17  nbConstraintChecks=106442252  nbValidityChecks=205416455  nbPropagations=2644766  nbRevisions=32650878
145.96	     nbUselessRevisions=25864062  nbAssignments=78408  nbFailedAssignments=48785  nbBacktracks=29537
145.96	     nbVisitedNodes=148332  nbRestartNogoods=185
145.96	       =>  wckTime=144.162  cpuTime=143.93  mem=34M650
219.41	   
219.41	   search
219.41	     run=18  nbConstraintChecks=162899360  nbValidityChecks=311100447  nbPropagations=4070774  nbRevisions=50518182
219.41	     nbUselessRevisions=40035266  nbAssignments=117869  nbFailedAssignments=73463  nbBacktracks=44317
219.41	     nbVisitedNodes=223158  nbRestartNogoods=201
219.41	       =>  wckTime=217.609  cpuTime=217.35  mem=34M650
353.21	   
353.21	   search
353.21	     run=19  nbConstraintChecks=260496224  nbValidityChecks=499175805  nbPropagations=6330978  nbRevisions=78701162
353.21	     nbUselessRevisions=62276654  nbAssignments=184548  nbFailedAssignments=117970  nbBacktracks=66485
353.21	     nbVisitedNodes=352089  nbRestartNogoods=221
353.21	       =>  wckTime=351.412  cpuTime=351.13  mem=34M650
498.35	   
498.35	   search
498.35	     run=20  nbConstraintChecks=369453055  nbValidityChecks=706302291  nbPropagations=9559219  nbRevisions=119053397
498.35	     nbUselessRevisions=94267202  nbAssignments=263187  nbFailedAssignments=163349  nbBacktracks=99739
498.35	     nbVisitedNodes=498444  nbRestartNogoods=243
498.35	       =>  wckTime=496.554  cpuTime=496.23  mem=34M650
677.92	   
677.92	   search
677.92	     run=21  nbConstraintChecks=504907913  nbValidityChecks=959190716  nbPropagations=13969630  nbRevisions=174659148
677.92	     nbUselessRevisions=138458534  nbAssignments=370793  nbFailedAssignments=221070  nbBacktracks=149618
677.92	     nbVisitedNodes=693088  nbRestartNogoods=259
677.92	       =>  wckTime=676.122  cpuTime=675.75  mem=34M650
985.83	   
985.83	   search
985.83	     run=22  nbConstraintChecks=735177883  nbValidityChecks=1409618062  nbPropagations=20525513  nbRevisions=256771757
985.83	     nbUselessRevisions=203739577  nbAssignments=550053  nbFailedAssignments=325507  nbBacktracks=224436
985.83	     nbVisitedNodes=1027632  nbRestartNogoods=268
985.83	       =>  wckTime=984.029  cpuTime=983.58  mem=34M650
1441.00	   
1441.00	   search
1441.00	     run=23  nbConstraintChecks=1075511470  nbValidityChecks=2067399289  nbPropagations=30175616  nbRevisions=377619330
1441.00	     nbUselessRevisions=299821466  nbAssignments=813492  nbFailedAssignments=476714  nbBacktracks=336663
1441.00	     nbVisitedNodes=1516092  nbRestartNogoods=292
1441.00	       =>  wckTime=1439.198  cpuTime=1438.64  mem=34M650

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/node72/watcher-196066-1168070421 -o ROOT/results/node72/solver-196066-1168070421 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196066-1168070421/unknown.xml 

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

/proc/loadavg: 0.92 0.98 1.04 4/78 31530
/proc/meminfo: memFree=1514992/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=18540 CPUtime=0
/proc/31529/stat : 31529 (runsolver) R 31527 31529 30925 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155450961 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31529/statm: 4635 279 244 17 0 2626 0

[startup+0.10384 s]
/proc/loadavg: 0.92 0.98 1.04 4/78 31530
/proc/meminfo: memFree=1514992/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=9948 CPUtime=0.01
/proc/31529/stat : 31529 (java) D 31527 31529 30925 0 -1 0 710 0 15 0 0 1 0 0 16 0 1 0 155450961 10186752 474 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 0 0 0
/proc/31529/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948

[startup+0.51488 s]
/proc/loadavg: 0.92 0.98 1.04 4/78 31530
/proc/meminfo: memFree=1514992/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915148 CPUtime=0.24
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 4278 0 66 0 19 5 0 0 17 0 8 0 155450961 937111552 4089 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31529/statm: 228787 4089 1929 14 0 215275 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 915148

[startup+1.34295 s]
/proc/loadavg: 0.92 0.98 1.04 2/85 31537
/proc/meminfo: memFree=1443448/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915328 CPUtime=1.07
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 19049 0 69 0 94 13 0 0 16 0 8 0 155450961 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072942952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31529/statm: 228832 18854 2160 14 0 215302 0
[pid=31529/tid=31531] ppid=31527 vsize=915328 CPUtime=0.04
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 2658 0 0 0 4 0 0 0 16 0 8 0 155450978 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915328 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155450979 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915328 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915328 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915328 CPUtime=0.09
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 155450984 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915328 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915328 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937295872 18854 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 915328

[startup+2.9831 s]
/proc/loadavg: 0.92 0.98 1.04 2/85 31537
/proc/meminfo: memFree=1410488/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=2.7
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23324 0 70 0 254 16 0 0 24 0 8 0 155450961 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073753268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23128 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 17 0 8 0 155450978 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.18
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 372 0 0 0 17 1 0 0 15 0 8 0 155450984 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23128 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 915416

[startup+6.26139 s]
/proc/loadavg: 0.93 0.98 1.04 2/85 31537
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=5.98
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23342 0 70 0 582 16 0 0 23 0 8 0 155450961 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23142 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 17 0 8 0 155450978 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.21
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 155450984 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 915416

[startup+12.743 s]
/proc/loadavg: 0.93 0.98 1.04 2/85 31537
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=12.45
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23345 0 70 0 1229 16 0 0 25 0 8 0 155450961 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073625311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23145 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915416

[startup+25.5801 s]
/proc/loadavg: 0.95 0.98 1.03 2/85 31537
/proc/meminfo: memFree=1410488/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=25.29
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23345 0 70 0 2512 17 0 0 25 0 8 0 155450961 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23145 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915416

[startup+51.2685 s]
/proc/loadavg: 0.96 0.98 1.03 2/91 31609
/proc/meminfo: memFree=1409272/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=50.94
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 5077 17 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915416

[startup+102.551 s]
/proc/loadavg: 0.98 0.98 1.03 2/91 31689
/proc/meminfo: memFree=1409344/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=102.16
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 10199 17 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915416

[startup+162.56 s]
/proc/loadavg: 0.99 0.98 1.02 2/85 31739
/proc/meminfo: memFree=1410288/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=162.14
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 16196 18 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.5 s]
/proc/loadavg: 1.00 1.00 1.00 3/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1483.74
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 148345 29 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.74
Current children cumulated vsize (KiB) 915416

[startup+1544.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1543.83
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 154353 30 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.83
Current children cumulated vsize (KiB) 915416

[startup+1604.69 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1603.92
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 160362 30 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073865632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.92
Current children cumulated vsize (KiB) 915416

[startup+1664.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1664
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 166369 31 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073762284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664
Current children cumulated vsize (KiB) 915416

[startup+1724.89 s]
/proc/loadavg: 1.04 1.01 1.00 2/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1724.08
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 172377 31 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073784767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.08
Current children cumulated vsize (KiB) 915416

[startup+1784.99 s]
/proc/loadavg: 1.01 1.01 1.00 2/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1784.17
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 178385 32 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073758782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.17
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.92 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 31741
/proc/meminfo: memFree=1410296/2055920 swapFree=4192812/4192956
[pid=31529] ppid=31527 vsize=915416 CPUtime=1800.1
/proc/31529/stat : 31529 (java) R 31527 31529 30925 0 -1 0 23347 0 70 0 179978 32 0 0 25 0 8 0 155450961 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31529/statm: 228854 23146 2521 14 0 215324 0
[pid=31529/tid=31531] ppid=31527 vsize=915416 CPUtime=0.15
/proc/31529/task/31531/stat : 31531 (java) S 31527 31529 30925 0 -1 64 6429 0 0 0 14 1 0 0 16 0 8 0 155450978 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31532] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31532/stat : 31532 (java) S 31527 31529 30925 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31533] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31533/stat : 31533 (java) S 31527 31529 30925 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155450979 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31534] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31534/stat : 31534 (java) S 31527 31529 30925 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31535] ppid=31527 vsize=915416 CPUtime=0.22
/proc/31529/task/31535/stat : 31535 (java) S 31527 31529 30925 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31529/tid=31536] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31536/stat : 31536 (java) S 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31529/tid=31537] ppid=31527 vsize=915416 CPUtime=0
/proc/31529/task/31537/stat : 31537 (java) R 31527 31529 30925 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155450984 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915416

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

Child status: 143
Real time (s): 1800.99
CPU time (s): 1800.17
CPU user time (s): 1799.83
CPU system time (s): 0.337948
CPU usage (%): 99.9546
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23363
page faults= 70
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37433
involuntary context switches= 5323

runsolver used 1.66775 s user time and 4.74628 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 08:00:21 UTC 2007


IDJOB= 196066
IDBENCH= 3323
FILE ID= node72/196066-1168070421

PBS_JOBID= 3475642

Free space on /tmp= 66549 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  319c407682b16d5592d041c90ba4e937

RANDOM SEED= 169817796

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.223
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.223
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:       1515344 kB
Buffers:         39608 kB
Cached:         385868 kB
SwapCached:          0 kB
Active:         112684 kB
Inactive:       356104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1515344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4564 kB
Writeback:           0 kB
Mapped:          62252 kB
Slab:            57140 kB
Committed_AS:  2536284 kB
PageTables:       1916 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= 66549 MiB



End job on node72 on Sat Jan  6 08:30:22 UTC 2007