Trace number 196209

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.18 1816.92

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-39_ext.xml
MD5SUM42af1ef904ee8c0046f5cc5a17801e12
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark395.207
SatisfiableYES
(Un)Satisfiability was proved
Number of variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.57	   
0.57	Abscon 109 (November, 2006)
0.57	   
0.57	   configuration
0.57	     name=mac.xml
0.61	   
0.61	   instance
0.61	     name=/tmp/evaluation/196209-1168070455/unknown.xml
0.64	   
0.64	   domains being loaded...
0.64	   
0.64	   variables being loaded...
0.68	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.68	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.68	   
0.68	   relations being loaded...
1.29	   
1.29	   constraints being loaded...
1.55	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.55	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.55	       =>  wckTime=0.972  cpuTime=0.84  mem=48M699
1.67	   
1.67	   solver IterativeSystematicSolver being built... 
1.83	       =>  wckTime=1.253  cpuTime=0.96  mem=34M621
1.83	   
1.83	   preprocessing
1.83	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.83	     detectedInconsistency=no
1.83	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M621
1.93	   
1.93	   search
1.93	     run=0  nbConstraintChecks=20105  nbValidityChecks=33151  nbPropagations=240  nbRevisions=2313
1.93	     nbUselessRevisions=1828  nbAssignments=23  nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=36
1.93	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.93	       =>  wckTime=0.095  cpuTime=0.07  mem=34M621
1.99	   
1.99	   search
1.99	     run=1  nbConstraintChecks=52115  nbValidityChecks=98741  nbPropagations=936  nbRevisions=9431
1.99	     nbUselessRevisions=7489  nbAssignments=68  nbFailedAssignments=28  nbBacktracks=26  nbVisitedNodes=110
1.99	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.99	       =>  wckTime=0.159  cpuTime=0.13  mem=34M621
2.08	   
2.08	   search
2.08	     run=2  nbConstraintChecks=105697  nbValidityChecks=206043  nbPropagations=2247  nbRevisions=23561
2.08	     nbUselessRevisions=18753  nbAssignments=121  nbFailedAssignments=50  nbBacktracks=50  nbVisitedNodes=201
2.08	     nbRestartNogoods=4  mapSize=42  nbInferences=0  nbTooLargeKeys=0
2.08	       =>  wckTime=0.253  cpuTime=0.22  mem=34M621
2.21	   
2.21	   search
2.21	     run=3  nbConstraintChecks=188707  nbValidityChecks=373768  nbPropagations=4585  nbRevisions=50087
2.21	     nbUselessRevisions=39657  nbAssignments=220  nbFailedAssignments=111  nbBacktracks=83  nbVisitedNodes=386
2.21	     nbRestartNogoods=12  mapSize=73  nbInferences=0  nbTooLargeKeys=0
2.21	       =>  wckTime=0.379  cpuTime=0.33  mem=34M621
2.38	   
2.38	   search
2.38	     run=4  nbConstraintChecks=296962  nbValidityChecks=604287  nbPropagations=8336  nbRevisions=93507
2.38	     nbUselessRevisions=74163  nbAssignments=359  nbFailedAssignments=193  nbBacktracks=133  nbVisitedNodes=639
2.38	     nbRestartNogoods=13  mapSize=117  nbInferences=0  nbTooLargeKeys=0
2.38	       =>  wckTime=0.549  cpuTime=0.49  mem=34M621
2.57	   
2.57	   search
2.57	     run=5  nbConstraintChecks=426343  nbValidityChecks=859167  nbPropagations=13711  nbRevisions=154659
2.57	     nbUselessRevisions=122594  nbAssignments=517  nbFailedAssignments=270  nbBacktracks=208  nbVisitedNodes=915
2.57	     nbRestartNogoods=18  mapSize=169  nbInferences=0  nbTooLargeKeys=0
2.57	       =>  wckTime=0.736  cpuTime=0.68  mem=34M621
2.85	   
2.85	   search
2.85	     run=6  nbConstraintChecks=623408  nbValidityChecks=1255915  nbPropagations=21821  nbRevisions=245070
2.85	     nbUselessRevisions=193596  nbAssignments=764  nbFailedAssignments=397  nbBacktracks=322  nbVisitedNodes=1351
2.85	     nbRestartNogoods=21  mapSize=260  nbInferences=0  nbTooLargeKeys=0
2.85	       =>  wckTime=1.018  cpuTime=0.96  mem=34M621
3.85	   
3.85	   search
3.85	     run=7  nbConstraintChecks=1308391  nbValidityChecks=2607177  nbPropagations=36420  nbRevisions=414930
3.85	     nbUselessRevisions=326494  nbAssignments=1245  nbFailedAssignments=701  nbBacktracks=494  nbVisitedNodes=2279
3.85	     nbRestartNogoods=29  mapSize=420  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=2.024  cpuTime=1.93  mem=34M621
4.89	   
4.89	   search
4.89	     run=8  nbConstraintChecks=2004342  nbValidityChecks=4010389  nbPropagations=58506  nbRevisions=675240
4.89	     nbUselessRevisions=530794  nbAssignments=1851  nbFailedAssignments=1044  nbBacktracks=750  nbVisitedNodes=3393
4.89	     nbRestartNogoods=40  mapSize=643  nbInferences=0  nbTooLargeKeys=0
4.89	       =>  wckTime=3.058  cpuTime=2.93  mem=34M621
6.08	   
6.08	   search
6.08	     run=9  nbConstraintChecks=2863688  nbValidityChecks=5757347  nbPropagations=90900  nbRevisions=1049359
6.08	     nbUselessRevisions=823044  nbAssignments=2710  nbFailedAssignments=1511  nbBacktracks=1136  nbVisitedNodes=4935
6.08	     nbRestartNogoods=52  mapSize=932  nbInferences=0  nbTooLargeKeys=0
6.08	       =>  wckTime=4.248  cpuTime=4.11  mem=34M621
6.45	   
6.45	   INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=35M607)
7.88	   
7.88	   search
7.88	     run=10  nbConstraintChecks=4212637  nbValidityChecks=8433273  nbPropagations=138871  nbRevisions=1599679
7.88	     nbUselessRevisions=1252380  nbAssignments=4118  nbFailedAssignments=2336  nbBacktracks=1713  nbVisitedNodes=7517
7.88	     nbRestartNogoods=61
7.88	       =>  wckTime=6.055  cpuTime=5.89  mem=35M607
10.92	   
10.92	   search
10.92	     run=11  nbConstraintChecks=6418043  nbValidityChecks=12997911  nbPropagations=215063  nbRevisions=2496574
10.92	     nbUselessRevisions=1958270  nbAssignments=6541  nbFailedAssignments=3889  nbBacktracks=2577  nbVisitedNodes=12108
10.92	     nbRestartNogoods=66
10.92	       =>  wckTime=9.093  cpuTime=8.9  mem=35M607
14.45	   
14.45	   search
14.45	     run=12  nbConstraintChecks=9054812  nbValidityChecks=18178100  nbPropagations=323076  nbRevisions=3748736
14.45	     nbUselessRevisions=2939871  nbAssignments=9465  nbFailedAssignments=5510  nbBacktracks=3874  nbVisitedNodes=17365
14.45	     nbRestartNogoods=72
14.45	       =>  wckTime=12.621  cpuTime=12.37  mem=35M607
20.29	   
20.29	   search
20.29	     run=13  nbConstraintChecks=13419733  nbValidityChecks=26981264  nbPropagations=483741  nbRevisions=5600062
20.29	     nbUselessRevisions=4387879  nbAssignments=14180  nbFailedAssignments=8271  nbBacktracks=5822  nbVisitedNodes=25961
20.29	     nbRestartNogoods=81
20.29	       =>  wckTime=18.458  cpuTime=18.14  mem=35M607
31.63	   
31.63	   search
31.63	     run=14  nbConstraintChecks=21694092  nbValidityChecks=43740740  nbPropagations=744384  nbRevisions=8683789
31.63	     nbUselessRevisions=6810590  nbAssignments=21814  nbFailedAssignments=12981  nbBacktracks=8741  nbVisitedNodes=40434
31.63	     nbRestartNogoods=86
31.63	       =>  wckTime=29.804  cpuTime=29.38  mem=35M607
45.13	   
45.13	   search
45.13	     run=15  nbConstraintChecks=31794497  nbValidityChecks=63789960  nbPropagations=1117103  nbRevisions=13061402
45.13	     nbUselessRevisions=10245707  nbAssignments=31845  nbFailedAssignments=18627  nbBacktracks=13119
45.13	     nbVisitedNodes=58571  nbRestartNogoods=99
45.13	       =>  wckTime=43.303  cpuTime=42.74  mem=35M607
70.26	   
70.26	   search
70.26	     run=16  nbConstraintChecks=49826200  nbValidityChecks=101161963  nbPropagations=1717257  nbRevisions=20258211
70.26	     nbUselessRevisions=15899096  nbAssignments=49946  nbFailedAssignments=30153  nbBacktracks=19688
70.26	     nbVisitedNodes=92882  nbRestartNogoods=117
70.26	       =>  wckTime=68.428  cpuTime=67.59  mem=35M607
96.09	   
96.09	   search
96.09	     run=17  nbConstraintChecks=68887008  nbValidityChecks=139165038  nbPropagations=2536054  nbRevisions=29934529
96.09	     nbUselessRevisions=23491264  nbAssignments=69913  nbFailedAssignments=40260  nbBacktracks=29543
96.09	     nbVisitedNodes=128026  nbRestartNogoods=130
96.09	       =>  wckTime=94.262  cpuTime=93.19  mem=35M607
137.52	   
137.52	   search
137.52	     run=18  nbConstraintChecks=99409506  nbValidityChecks=201221836  nbPropagations=3751958  nbRevisions=44191772
137.52	     nbUselessRevisions=34704093  nbAssignments=104103  nbFailedAssignments=59666  nbBacktracks=44321
137.52	     nbVisitedNodes=190419  nbRestartNogoods=141
137.52	       =>  wckTime=135.693  cpuTime=134.2  mem=35M607
221.48	   
221.48	   search
221.48	     run=19  nbConstraintChecks=162381221  nbValidityChecks=326038796  nbPropagations=5634150  nbRevisions=66413615
221.48	     nbUselessRevisions=52170324  nbAssignments=161469  nbFailedAssignments=94854  nbBacktracks=66492
221.48	     nbVisitedNodes=297122  nbRestartNogoods=160
221.48	       =>  wckTime=219.651  cpuTime=217.37  mem=35M607
327.93	   
327.93	   search
327.93	     run=20  nbConstraintChecks=241019567  nbValidityChecks=484423269  nbPropagations=8420924  nbRevisions=99219218
327.93	     nbUselessRevisions=77881462  nbAssignments=237435  nbFailedAssignments=137562  nbBacktracks=99744
327.93	     nbVisitedNodes=436642  nbRestartNogoods=174
327.93	       =>  wckTime=326.1  cpuTime=322.83  mem=35M607
460.33	   
460.33	   search
460.33	     run=21  nbConstraintChecks=339409183  nbValidityChecks=681967357  nbPropagations=12462234  nbRevisions=146034449
460.33	     nbUselessRevisions=114524826  nbAssignments=344490  nbFailedAssignments=194732  nbBacktracks=149622
460.33	     nbVisitedNodes=628836  nbRestartNogoods=191
460.33	       =>  wckTime=458.498  cpuTime=454.07  mem=35M607
804.37	   
804.37	   search
804.37	     run=22  nbConstraintChecks=594746666  nbValidityChecks=1183916092  nbPropagations=18999340  nbRevisions=223330566
804.37	     nbUselessRevisions=175187820  nbAssignments=542945  nbFailedAssignments=318363  nbBacktracks=224440
804.37	     nbVisitedNodes=1005379  nbRestartNogoods=215
804.37	       =>  wckTime=802.544  cpuTime=795.0  mem=35M607
1093.55	   
1093.55	   search
1093.55	     run=23  nbConstraintChecks=812252530  nbValidityChecks=1617824848  nbPropagations=28220845  nbRevisions=330804853
1093.55	     nbUselessRevisions=259400271  nbAssignments=790946  nbFailedAssignments=454131  nbBacktracks=336667
1093.55	     nbVisitedNodes=1447790  nbRestartNogoods=252
1093.55	       =>  wckTime=1091.719  cpuTime=1081.56  mem=35M607

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

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

/proc/loadavg: 1.04 1.01 1.14 5/83 2065
/proc/meminfo: memFree=1230000/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=18540 CPUtime=0
/proc/2064/stat : 2064 (runsolver) D 2060 2064 1950 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155439620 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 0 4096 24578 18446744071563479169 0 0 17 1 0 0
/proc/2064/statm: 4635 279 244 17 0 2626 0

[startup+0.104342 s]
/proc/loadavg: 1.04 1.01 1.14 5/83 2065
/proc/meminfo: memFree=1230000/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=11868 CPUtime=0
/proc/2064/stat : 2064 (java) D 2060 2064 1950 0 -1 0 747 0 19 0 0 0 0 0 18 0 1 0 155439620 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7017019 0 4 0 7368 18446744072100037788 0 0 17 0 0 0
/proc/2064/statm: 2967 515 425 14 0 1602 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11868

[startup+0.513297 s]
/proc/loadavg: 1.04 1.01 1.14 5/83 2065
/proc/meminfo: memFree=1230000/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915148 CPUtime=0.26
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 4358 0 94 0 21 5 0 0 17 0 8 0 155439620 937111552 4197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228787 4197 1937 14 0 215275 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 915148

[startup+1.33535 s]
/proc/loadavg: 1.11 1.03 1.14 3/100 2085
/proc/meminfo: memFree=1109992/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915328 CPUtime=1.06
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 19008 0 97 0 93 13 0 0 18 0 8 0 155439620 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228832 18841 2160 14 0 215302 0
[pid=2064/tid=2070] ppid=2060 vsize=915328 CPUtime=0.05
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 2644 0 0 0 4 1 0 0 17 0 8 0 155439635 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915328 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915328 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155439636 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915328 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915328 CPUtime=0.09
/proc/2064/task/2077/stat : 2077 (java) R 2060 2064 1950 0 -1 64 316 0 0 0 8 1 0 0 16 0 8 0 155439640 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153133443 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915328 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915328 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937295872 18841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 915328

[startup+2.98746 s]
/proc/loadavg: 1.11 1.03 1.14 3/100 2085
/proc/meminfo: memFree=1041576/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=2.71
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23365 0 98 0 254 17 0 0 25 0 8 0 155439620 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23197 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 155439635 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.18
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 373 0 0 0 17 1 0 0 15 0 8 0 155439640 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 915416

[startup+6.28667 s]
/proc/loadavg: 1.18 1.04 1.15 3/106 2119
/proc/meminfo: memFree=1040096/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=5.95
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23382 0 98 0 576 19 0 0 25 0 8 0 155439620 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23210 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 155439635 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.21
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 388 0 0 0 20 1 0 0 15 0 8 0 155439640 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 915416

[startup+12.7741 s]
/proc/loadavg: 1.25 1.06 1.15 3/106 2159
/proc/meminfo: memFree=1040024/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=12.34
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23386 0 98 0 1215 19 0 0 25 0 8 0 155439620 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23213 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 915416

[startup+25.6279 s]
/proc/loadavg: 1.52 1.12 1.17 3/106 2177
/proc/meminfo: memFree=1040296/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=25.08
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23386 0 98 0 2486 22 0 0 25 0 8 0 155439620 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23213 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 915416

[startup+51.2585 s]
/proc/loadavg: 1.71 1.21 1.20 3/106 2235
/proc/meminfo: memFree=1040352/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=50.43
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23387 0 98 0 5017 26 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 915416

[startup+102.515 s]
/proc/loadavg: 1.87 1.33 1.24 3/100 2291
/proc/meminfo: memFree=1041432/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=101.15
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 10084 31 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 915416

[startup+162.6 s]
/proc/loadavg: 1.95 1.45 1.28 3/100 2291
/proc/meminfo: memFree=1041448/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=160.66
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 16035 31 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1484.5 s]
/proc/loadavg: 2.00 1.97 1.79 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1470.67
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 147030 37 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.67
Current children cumulated vsize (KiB) 915416

[startup+1544.6 s]
/proc/loadavg: 2.00 1.97 1.80 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1530.21
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 152984 37 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763886 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.21
Current children cumulated vsize (KiB) 915416

[startup+1604.68 s]
/proc/loadavg: 2.00 1.97 1.82 3/100 2293
/proc/meminfo: memFree=1041576/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1589.77
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 158940 37 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.77
Current children cumulated vsize (KiB) 915416

[startup+1664.78 s]
/proc/loadavg: 2.00 1.97 1.82 3/100 2293
/proc/meminfo: memFree=1041576/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1649.32
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 164895 37 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788275 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.32
Current children cumulated vsize (KiB) 915416

[startup+1724.88 s]
/proc/loadavg: 2.00 1.97 1.83 4/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1708.86
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 170849 37 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.86
Current children cumulated vsize (KiB) 915416

[startup+1784.98 s]
/proc/loadavg: 2.00 1.97 1.83 3/100 2293
/proc/meminfo: memFree=1041640/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1768.42
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 176804 38 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.42
Current children cumulated vsize (KiB) 915416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.85 s]
/proc/loadavg: 1.86 1.94 1.83 3/100 2351
/proc/meminfo: memFree=1028008/2055920 swapFree=4191880/4192956
[pid=2064] ppid=2060 vsize=915416 CPUtime=1800.1
/proc/2064/stat : 2064 (java) R 2060 2064 1950 0 -1 0 23388 0 98 0 179971 39 0 0 25 0 8 0 155439620 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2064/statm: 228854 23214 2521 14 0 215324 0
[pid=2064/tid=2070] ppid=2060 vsize=915416 CPUtime=0.16
/proc/2064/task/2070/stat : 2070 (java) S 2060 2064 1950 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 155439635 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2073] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2073/stat : 2073 (java) S 2060 2064 1950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2075] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2075/stat : 2075 (java) S 2060 2064 1950 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155439636 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2076] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2076/stat : 2076 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2077] ppid=2060 vsize=915416 CPUtime=0.22
/proc/2064/task/2077/stat : 2077 (java) S 2060 2064 1950 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2064/tid=2078] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2078/stat : 2078 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2064/tid=2079] ppid=2060 vsize=915416 CPUtime=0
/proc/2064/task/2079/stat : 2079 (java) S 2060 2064 1950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155439640 937385984 23214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 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): 1816.92
CPU time (s): 1800.18
CPU user time (s): 1799.77
CPU system time (s): 0.409937
CPU usage (%): 99.0785
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23403
page faults= 98
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38061
involuntary context switches= 82716

runsolver used 1.84472 s user time and 5.44617 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan  6 08:00:55 UTC 2007


IDJOB= 196209
IDBENCH= 3334
FILE ID= node30/196209-1168070455

PBS_JOBID= 3475943

Free space on /tmp= 66476 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  42af1ef904ee8c0046f5cc5a17801e12

RANDOM SEED= 982029397

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1230944 kB
Buffers:         50212 kB
Cached:         631696 kB
SwapCached:        268 kB
Active:         175076 kB
Inactive:       563212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1230944 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            9372 kB
Writeback:           0 kB
Mapped:          74036 kB
Slab:            71800 kB
Committed_AS:  3024836 kB
PageTables:       2080 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= 66474 MiB



End job on node30 on Sat Jan  6 08:31:14 UTC 2007