Trace number 210992

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.1 1817.9

General information on the benchmark

NamepseudoSeries/uclid/
ooo-rf8.xml
MD5SUMf4056108bd4332be422359611791b5ec
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.55
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables6832
Number of constraints19476
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension19476
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/210992-1168075379/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.61	     nbVariables=6832  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.61	       =>  wckTime=0.295  cpuTime=0.21  mem=17M615
0.61	   
0.61	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
3.11	     nbConstraints=18885  nbMergedConstraints=591  nbSingletonDomainVariables=1  nbConvertedConstraints=12525
3.11	     nbConvertConstraintsChecks=22570  nbExtensionStructures=3  nbSharedExtensionStructures=12522
3.11	     nbConflictsStructures=33  nbSharedConflictsStructures=18852  nbSharedBinaryRepresentations=7
3.11	     nbEvaluationManagers=30  nbSharedEvaluationManagers=6330  maxDegree=144  maxArity=11
3.11	       =>  wckTime=2.798  cpuTime=2.34  mem=52M823
3.28	   
3.28	   solver IterativeSystematicSolver being built... 
3.80	       =>  wckTime=3.488  cpuTime=2.77  mem=59M76
3.86	   
3.86	   preprocessing
3.86	     nbConstraintChecks=120  nbValidityChecks=7  nbPropagations=6854  nbRevisions=80  nbUselessRevisions=58
3.86	     nbRemovedValues=22  detectedInconsistency=no
3.86	       =>  wckTime=0.044  cpuTime=0.03  mem=60M79
5.24	   
5.24	   search
5.24	     run=0  nbConstraintChecks=75645  nbValidityChecks=15023  nbPropagations=19342  nbRevisions=67252
5.24	     nbUselessRevisions=54674  nbAssignments=95  nbFailedAssignments=4  nbBacktracks=10  nbVisitedNodes=103
5.24	     nbRestartNogoods=0  mapSize=4  nbInferences=0  nbTooLargeKeys=0
5.24	       =>  wckTime=1.434  cpuTime=1.37  mem=60M79
6.58	   
6.58	   search
6.58	     run=1  nbConstraintChecks=125921  nbValidityChecks=32519  nbPropagations=47405  nbRevisions=183923
6.58	     nbUselessRevisions=150004  nbAssignments=195  nbFailedAssignments=8  nbBacktracks=25  nbVisitedNodes=211
6.58	     nbRestartNogoods=3  mapSize=9  nbInferences=0  nbTooLargeKeys=0
6.58	       =>  wckTime=2.773  cpuTime=2.69  mem=60M79
8.07	   
8.07	   search
8.07	     run=2  nbConstraintChecks=190427  nbValidityChecks=55379  nbPropagations=85898  nbRevisions=361773
8.07	     nbUselessRevisions=296014  nbAssignments=306  nbFailedAssignments=14  nbBacktracks=49  nbVisitedNodes=334
8.07	     nbRestartNogoods=6  mapSize=18  nbInferences=0  nbTooLargeKeys=0
8.07	       =>  wckTime=4.266  cpuTime=4.16  mem=61M83
9.70	   
9.71	   search
9.71	     run=3  nbConstraintChecks=264581  nbValidityChecks=82958  nbPropagations=136623  nbRevisions=612647
9.71	     nbUselessRevisions=502719  nbAssignments=428  nbFailedAssignments=22  nbBacktracks=82  nbVisitedNodes=472
9.71	     nbRestartNogoods=9  mapSize=31  nbInferences=0  nbTooLargeKeys=0
9.71	       =>  wckTime=5.898  cpuTime=5.78  mem=61M83
11.72	   
11.72	   search
11.72	     run=4  nbConstraintChecks=363321  nbValidityChecks=121092  nbPropagations=202938  nbRevisions=959333
11.72	     nbUselessRevisions=789384  nbAssignments=578  nbFailedAssignments=37  nbBacktracks=134  nbVisitedNodes=649
11.72	     nbRestartNogoods=12  mapSize=55  nbInferences=0  nbTooLargeKeys=0
11.72	       =>  wckTime=7.911  cpuTime=7.77  mem=61M83
14.06	   
14.06	   search
14.06	     run=5  nbConstraintChecks=492983  nbValidityChecks=172279  nbPropagations=289908  nbRevisions=1437614
14.06	     nbUselessRevisions=1185802  nbAssignments=757  nbFailedAssignments=63  nbBacktracks=209  nbVisitedNodes=879
14.06	     nbRestartNogoods=15  mapSize=102  nbInferences=0  nbTooLargeKeys=0
14.06	       =>  wckTime=10.254  cpuTime=10.09  mem=61M83
18.02	   
18.02	   search
18.02	     run=6  nbConstraintChecks=578955  nbValidityChecks=194407  nbPropagations=391203  nbRevisions=1992248
18.02	     nbUselessRevisions=1643250  nbAssignments=1081  nbFailedAssignments=82  nbBacktracks=335  nbVisitedNodes=1236
18.02	     nbRestartNogoods=19  mapSize=128  nbInferences=0  nbTooLargeKeys=0
18.02	       =>  wckTime=14.217  cpuTime=14.02  mem=62M86
22.58	   
22.58	   search
22.58	     run=7  nbConstraintChecks=629479  nbValidityChecks=210828  nbPropagations=502074  nbRevisions=2596798
22.58	     nbUselessRevisions=2140728  nbAssignments=1443  nbFailedAssignments=90  nbBacktracks=510  nbVisitedNodes=1614
22.58	     nbRestartNogoods=26  mapSize=141  nbInferences=0  nbTooLargeKeys=0
22.58	       =>  wckTime=18.77  cpuTime=18.52  mem=63M89
28.00	   
28.00	   search
28.00	     run=8  nbConstraintChecks=696000  nbValidityChecks=232593  nbPropagations=625466  nbRevisions=3268111
28.00	     nbUselessRevisions=2691735  nbAssignments=1854  nbFailedAssignments=102  nbBacktracks=783  nbVisitedNodes=2058
28.00	     nbRestartNogoods=29  mapSize=173  nbInferences=0  nbTooLargeKeys=0
28.00	       =>  wckTime=24.19  cpuTime=23.87  mem=64M93
34.50	   
34.50	   search
34.50	     run=9  nbConstraintChecks=907042  nbValidityChecks=307249  nbPropagations=787835  nbRevisions=4161735
34.50	     nbUselessRevisions=3422417  nbAssignments=2366  nbFailedAssignments=146  nbBacktracks=1168  nbVisitedNodes=2689
34.50	     nbRestartNogoods=30  mapSize=290  nbInferences=0  nbTooLargeKeys=0
34.50	       =>  wckTime=30.694  cpuTime=30.29  mem=65M96
45.84	   
45.84	   search
45.84	     run=10  nbConstraintChecks=1258282  nbValidityChecks=421033  nbPropagations=1012444  nbRevisions=5421326
45.84	     nbUselessRevisions=4451331  nbAssignments=3261  nbFailedAssignments=222  nbBacktracks=1771  nbVisitedNodes=3738
45.84	     nbRestartNogoods=32  mapSize=440  nbInferences=0  nbTooLargeKeys=0
45.84	       =>  wckTime=42.036  cpuTime=41.52  mem=66M100
61.69	   
61.69	   search
61.69	     run=11  nbConstraintChecks=1327621  nbValidityChecks=447574  nbPropagations=1250286  nbRevisions=6754389
61.69	     nbUselessRevisions=5539941  nbAssignments=4417  nbFailedAssignments=259  nbBacktracks=2675  nbVisitedNodes=4954
61.69	     nbRestartNogoods=36  mapSize=498  nbInferences=0  nbTooLargeKeys=0
61.69	       =>  wckTime=57.879  cpuTime=57.2  mem=68M106
83.35	   
83.35	   search
83.35	     run=12  nbConstraintChecks=1524697  nbValidityChecks=528833  nbPropagations=1527803  nbRevisions=8309802
83.35	     nbUselessRevisions=6808287  nbAssignments=5957  nbFailedAssignments=310  nbBacktracks=3974  nbVisitedNodes=6645
83.35	     nbRestartNogoods=38  mapSize=648  nbInferences=0  nbTooLargeKeys=0
83.35	       =>  wckTime=79.54  cpuTime=78.64  mem=70M113
113.20	   
113.20	   search
113.20	     run=13  nbConstraintChecks=1779149  nbValidityChecks=636385  nbPropagations=1857370  nbRevisions=10159465
113.20	     nbUselessRevisions=8317204  nbAssignments=8132  nbFailedAssignments=386  nbBacktracks=5925  nbVisitedNodes=8956
113.20	     nbRestartNogoods=39  mapSize=778  nbInferences=0  nbTooLargeKeys=0
113.20	       =>  wckTime=109.39  cpuTime=108.2  mem=72M120
126.55	   
126.55	   INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=74M126)
134.08	   
134.08	   search
134.08	     run=14  nbConstraintChecks=3682335  nbValidityChecks=1520029  nbPropagations=2493727  nbRevisions=13981170
134.08	     nbUselessRevisions=11465542  nbAssignments=11688  nbFailedAssignments=951  nbBacktracks=8845  nbVisitedNodes=13725
134.08	     nbRestartNogoods=45
134.08	       =>  wckTime=130.275  cpuTime=128.88  mem=74M126
145.00	   
145.00	   search
145.00	     run=15  nbConstraintChecks=5649153  nbValidityChecks=2159633  nbPropagations=3488608  nbRevisions=19825375
145.00	     nbUselessRevisions=16260548  nbAssignments=16474  nbFailedAssignments=1312  nbBacktracks=13226
145.00	     nbVisitedNodes=19237  nbRestartNogoods=50
145.00	       =>  wckTime=141.197  cpuTime=139.69  mem=74M126
160.81	   
160.81	   search
160.81	     run=16  nbConstraintChecks=8543128  nbValidityChecks=3097247  nbPropagations=5001475  nbRevisions=28521582
160.81	     nbUselessRevisions=23359295  nbAssignments=23465  nbFailedAssignments=1655  nbBacktracks=19806
160.81	     nbVisitedNodes=26936  nbRestartNogoods=53
160.81	       =>  wckTime=157.0  cpuTime=155.35  mem=74M126
183.82	   
183.82	   search
183.82	     run=17  nbConstraintChecks=12172729  nbValidityChecks=4362901  nbPropagations=7157875  nbRevisions=41000390
183.82	     nbUselessRevisions=33557044  nbAssignments=33864  nbFailedAssignments=2127  nbBacktracks=29659
183.82	     nbVisitedNodes=38425  nbRestartNogoods=58
183.82	       =>  wckTime=180.01  cpuTime=178.12  mem=74M126
215.99	   
215.99	   search
215.99	     run=18  nbConstraintChecks=16110095  nbValidityChecks=5857542  nbPropagations=10014378  nbRevisions=57527104
215.99	     nbUselessRevisions=47074820  nbAssignments=49342  nbFailedAssignments=2737  nbBacktracks=44472
215.99	     nbVisitedNodes=55145  nbRestartNogoods=65
215.99	       =>  wckTime=212.179  cpuTime=209.96  mem=74M126
263.46	   
263.46	   search
263.46	     run=19  nbConstraintChecks=21720601  nbValidityChecks=7846790  nbPropagations=13894168  nbRevisions=79879937
263.46	     nbUselessRevisions=65341867  nbAssignments=72555  nbFailedAssignments=3692  nbBacktracks=66690
263.46	     nbVisitedNodes=80340  nbRestartNogoods=69
263.46	       =>  wckTime=259.65  cpuTime=256.96  mem=74M126
345.60	   
345.60	   search
345.60	     run=20  nbConstraintChecks=36913567  nbValidityChecks=12957869  nbPropagations=20364217  nbRevisions=116707155
345.60	     nbUselessRevisions=95227794  nbAssignments=108442  nbFailedAssignments=6262  nbBacktracks=99943
345.60	     nbVisitedNodes=121423  nbRestartNogoods=73
345.60	       =>  wckTime=341.79  cpuTime=338.3  mem=74M126
456.43	   
456.43	   search
456.43	     run=21  nbConstraintChecks=51977976  nbValidityChecks=18113340  nbPropagations=29441740  nbRevisions=168602612
456.43	     nbUselessRevisions=137331053  nbAssignments=161195  nbFailedAssignments=9013  nbBacktracks=149843
456.43	     nbVisitedNodes=180114  nbRestartNogoods=84
456.43	       =>  wckTime=452.621  cpuTime=448.03  mem=74M126
625.21	   
625.21	   search
625.21	     run=22  nbConstraintChecks=76641730  nbValidityChecks=26897430  nbPropagations=42774445  nbRevisions=244383689
625.21	     nbUselessRevisions=198741582  nbAssignments=240527  nbFailedAssignments=13393  nbBacktracks=224744
625.21	     nbVisitedNodes=268361  nbRestartNogoods=99
625.21	       =>  wckTime=621.406  cpuTime=615.14  mem=74M126
912.04	   
912.04	   search
912.04	     run=23  nbConstraintChecks=130209153  nbValidityChecks=47370645  nbPropagations=65109962  nbRevisions=373382007
912.04	     nbUselessRevisions=303493339  nbAssignments=361835  nbFailedAssignments=22396  nbBacktracks=336975
912.04	     nbVisitedNodes=408047  nbRestartNogoods=106
912.04	       =>  wckTime=908.237  cpuTime=899.15  mem=74M126
1334.88	   
1334.88	   search
1334.88	     run=24  nbConstraintChecks=210169948  nbValidityChecks=75385356  nbPropagations=101234594  nbRevisions=582208961
1334.88	     nbUselessRevisions=472965615  nbAssignments=544370  nbFailedAssignments=36407  nbBacktracks=505351
1334.88	     nbVisitedNodes=616144  nbRestartNogoods=116
1334.88	       =>  wckTime=1331.07  cpuTime=1317.81  mem=74M126

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/node6/watcher-210992-1168075379 -o ROOT/results/node6/solver-210992-1168075379 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210992-1168075379/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.92 1.98 1.91 2/93 9118
/proc/meminfo: memFree=965424/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=18540 CPUtime=0
/proc/9117/stat : 9117 (runsolver) R 9115 9117 7358 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155933824 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9117/statm: 4635 279 244 17 0 2626 0

[startup+0.102534 s]
/proc/loadavg: 1.92 1.98 1.91 2/93 9118
/proc/meminfo: memFree=965424/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=913068 CPUtime=0.08
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 2872 0 1 0 7 1 0 0 25 0 8 0 155933824 934981632 2618 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228267 2618 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510579 s]
/proc/loadavg: 1.92 1.98 1.91 2/93 9118
/proc/meminfo: memFree=965424/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915328 CPUtime=0.48
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 6625 0 1 0 44 4 0 0 25 0 8 0 155933824 937295872 6364 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228832 6364 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33168 s]
/proc/loadavg: 1.92 1.98 1.91 3/100 9125
/proc/meminfo: memFree=903416/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915620 CPUtime=1.28
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 18311 0 1 0 117 11 0 0 25 0 8 0 155933824 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228905 18048 2159 14 0 215375 0
[pid=9117/tid=9119] ppid=9115 vsize=915620 CPUtime=0.05
/proc/9117/task/9119/stat : 9119 (java) R 9115 9117 7358 0 -1 64 1767 0 0 0 5 0 0 0 16 0 8 0 155933829 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152891584 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915620 CPUtime=0.16
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 413 0 0 0 15 1 0 0 16 0 8 0 155933832 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937594880 18048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915620

[startup+2.97186 s]
/proc/loadavg: 1.93 1.98 1.91 3/100 9125
/proc/meminfo: memFree=894648/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915620 CPUtime=2.89
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 21525 0 1 0 208 81 0 0 25 0 8 0 155933824 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073895911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228905 21260 2179 14 0 215375 0
[pid=9117/tid=9119] ppid=9115 vsize=915620 CPUtime=0.22
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 4893 0 0 0 20 2 0 0 16 0 8 0 155933829 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915620 CPUtime=0.2
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 438 0 0 0 19 1 0 0 15 0 8 0 155933832 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915620 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937594880 21260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915620

[startup+6.17825 s]
/proc/loadavg: 1.93 1.98 1.91 3/100 9125
/proc/meminfo: memFree=872632/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=6.08
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25885 0 1 0 522 86 0 0 25 0 8 0 155933824 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074176783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25598 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.35
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 533 0 0 0 33 2 0 0 15 0 8 0 155933832 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25598 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915880

[startup+12.651 s]
/proc/loadavg: 1.94 1.98 1.91 3/100 9125
/proc/meminfo: memFree=872696/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=12.48
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25887 0 1 0 1162 86 0 0 25 0 8 0 155933824 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074228206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25599 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.36
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 534 0 0 0 34 2 0 0 15 0 8 0 155933832 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915880

[startup+25.5125 s]
/proc/loadavg: 2.03 2.00 1.92 3/100 9125
/proc/meminfo: memFree=872824/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=25.23
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25899 0 1 0 2437 86 0 0 25 0 8 0 155933824 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074176631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25609 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.38
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 545 0 0 0 36 2 0 0 15 0 8 0 155933832 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915880

[startup+51.1375 s]
/proc/loadavg: 2.02 2.00 1.92 3/100 9125
/proc/meminfo: memFree=872888/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=50.58
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25910 0 1 0 4971 87 0 0 25 0 8 0 155933824 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074229091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25614 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.39
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 550 0 0 0 37 2 0 0 16 0 8 0 155933832 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915880

[startup+102.38 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 9125
/proc/meminfo: memFree=872952/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=101.32
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25914 0 1 0 10045 87 0 0 25 0 8 0 155933824 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074202410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25615 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 551 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 915880

[startup+162.475 s]
/proc/loadavg: 2.04 2.01 1.93 3/100 9125
/proc/meminfo: memFree=873016/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=160.83
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 15996 87 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1410.36
Current children cumulated vsize (KiB) 915880

[startup+1484.56 s]
/proc/loadavg: 2.00 2.02 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1469.85
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 146894 91 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074177804 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.85
Current children cumulated vsize (KiB) 915880

[startup+1544.65 s]
/proc/loadavg: 2.00 2.01 1.96 4/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1529.35
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 152844 91 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074169699 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.35
Current children cumulated vsize (KiB) 915880

[startup+1604.74 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1588.86
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 158795 91 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074253075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) R 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.86
Current children cumulated vsize (KiB) 915880

[startup+1664.84 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1648.34
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 164743 91 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074202363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.34
Current children cumulated vsize (KiB) 915880

[startup+1724.94 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 9125
/proc/meminfo: memFree=856632/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1707.86
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 170695 91 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074202363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.86
Current children cumulated vsize (KiB) 915880

[startup+1785.03 s]
/proc/loadavg: 2.04 2.01 1.96 3/100 9183
/proc/meminfo: memFree=953656/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1767.41
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 176649 92 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074254852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.41
Current children cumulated vsize (KiB) 915880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.84 s]
/proc/loadavg: 2.02 2.01 1.96 3/100 9183
/proc/meminfo: memFree=933048/2055924 swapFree=4165672/4192956
[pid=9117] ppid=9115 vsize=915880 CPUtime=1800.04
/proc/9117/stat : 9117 (java) R 9115 9117 7358 0 -1 0 25918 0 1 0 179911 93 0 0 25 0 8 0 155933824 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9117/statm: 228970 25617 2530 14 0 215440 0
[pid=9117/tid=9119] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9119/stat : 9119 (java) S 9115 9117 7358 0 -1 64 8723 0 0 0 37 3 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9120] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9120/stat : 9120 (java) S 9115 9117 7358 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9121] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9121/stat : 9121 (java) S 9115 9117 7358 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933829 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9122] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9122/stat : 9122 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9123] ppid=9115 vsize=915880 CPUtime=0.4
/proc/9117/task/9123/stat : 9123 (java) S 9115 9117 7358 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9124] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9124/stat : 9124 (java) S 9115 9117 7358 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9117/tid=9125] ppid=9115 vsize=915880 CPUtime=0
/proc/9117/task/9125/stat : 9125 (java) S 9115 9117 7358 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933832 937861120 25617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915880

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

Child status: 143
Real time (s): 1817.9
CPU time (s): 1800.1
CPU user time (s): 1799.15
CPU system time (s): 0.948855
CPU usage (%): 99.0207
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.948855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25934
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38529
involuntary context switches= 88538

runsolver used 2.19167 s user time and 5.85411 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan  6 09:23:02 UTC 2007


IDJOB= 210992
IDBENCH= 4660
FILE ID= node6/210992-1168075379

PBS_JOBID= 3475737

Free space on /tmp= 66516 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210992-1168075379/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-210992-1168075379 -o ROOT/results/node6/solver-210992-1168075379 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210992-1168075379/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f4056108bd4332be422359611791b5ec

RANDOM SEED= 396382422

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.240
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.240
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:      2055924 kB
MemFree:        966032 kB
Buffers:         82864 kB
Cached:         607292 kB
SwapCached:       3036 kB
Active:         636784 kB
Inactive:       356020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        966032 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:           16476 kB
Writeback:           0 kB
Mapped:         321796 kB
Slab:            81276 kB
Committed_AS:  5028228 kB
PageTables:       2924 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= 66524 MiB



End job on node6 on Sat Jan  6 09:53:22 UTC 2007