Trace number 237501

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.17 1801.06

General information on the benchmark

Namehaystacks/
haystacks_38.xml
MD5SUM0f5123f7ed000168e0c68877853e29a7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark538.005
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1444
Number of constraints26751
Maximum constraint arity2
Maximum domain size38
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26751
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/237501-1168083326/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.56	     nbVariables=1444  nbDomainTypes=1  minDomainSize=38  maxDomainSize=38
0.56	       =>  wckTime=0.218  cpuTime=0.17  mem=10M787
0.56	   
0.56	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
3.76	     nbConstraints=26751  nbConvertedConstraints=26751  nbConvertConstraintsChecks=5776  nbExtensionStructures=4
3.76	     nbSharedExtensionStructures=26747  nbConflictsStructures=4  nbSharedConflictsStructures=26747
3.76	     nbSharedBinaryRepresentations=227  maxDegree=38  maxArity=2
3.76	       =>  wckTime=3.419  cpuTime=2.98  mem=32M87
3.94	   
3.94	   solver IterativeSystematicSolver being built... 
4.19	       =>  wckTime=3.846  cpuTime=3.18  mem=43M423
4.33	   
4.33	   preprocessing
4.33	     nbConstraintChecks=0  nbPropagations=1444  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
4.33	     detectedInconsistency=no
4.33	       =>  wckTime=0.129  cpuTime=0.12  mem=43M423
4.64	   
4.64	   search
4.64	     run=0  nbConstraintChecks=106489  nbPropagations=5045  nbRevisions=3629  nbUselessRevisions=81  nbAssignments=126
4.64	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=147  nbRestartNogoods=0  mapSize=10  nbInferences=0
4.64	     nbTooLargeKeys=0
4.64	       =>  wckTime=0.441  cpuTime=0.42  mem=44M432
4.80	   
4.80	   search
4.80	     run=1  nbConstraintChecks=213246  nbPropagations=13735  nbRevisions=10940  nbUselessRevisions=249
4.80	     nbAssignments=262  nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=311  nbRestartNogoods=4  mapSize=25
4.80	     nbInferences=0  nbTooLargeKeys=0
4.80	       =>  wckTime=0.601  cpuTime=0.58  mem=45M441
4.96	   
4.96	   search
4.96	     run=2  nbConstraintChecks=320178  nbPropagations=26109  nbRevisions=21984  nbUselessRevisions=511
4.96	     nbAssignments=407  nbFailedAssignments=42  nbBacktracks=47  nbVisitedNodes=492  nbRestartNogoods=7  mapSize=45
4.96	     nbInferences=0  nbTooLargeKeys=0
4.96	       =>  wckTime=0.766  cpuTime=0.74  mem=46M449
5.13	   
5.13	   search
5.13	     run=3  nbConstraintChecks=427472  nbPropagations=42261  nbRevisions=36853  nbUselessRevisions=867
5.13	     nbAssignments=572  nbFailedAssignments=68  nbBacktracks=80  nbVisitedNodes=710  nbRestartNogoods=10  mapSize=77
5.13	     nbInferences=1  nbTooLargeKeys=0
5.13	       =>  wckTime=0.94  cpuTime=0.91  mem=47M458
5.33	   
5.33	   search
5.33	     run=4  nbConstraintChecks=535191  nbPropagations=62339  nbRevisions=55689  nbUselessRevisions=1318
5.33	     nbAssignments=769  nbFailedAssignments=105  nbBacktracks=131  nbVisitedNodes=986  nbRestartNogoods=13  mapSize=128
5.33	     nbInferences=6  nbTooLargeKeys=0
5.33	       =>  wckTime=1.132  cpuTime=1.11  mem=48M466
5.56	   
5.56	   search
5.56	     run=5  nbConstraintChecks=643640  nbPropagations=86572  nbRevisions=78698  nbUselessRevisions=1865
5.56	     nbAssignments=1014  nbFailedAssignments=154  nbBacktracks=206  nbVisitedNodes=1346  nbRestartNogoods=17
5.56	     mapSize=203  nbInferences=23  nbTooLargeKeys=0
5.56	       =>  wckTime=1.361  cpuTime=1.33  mem=49M475
5.83	   
5.83	   search
5.83	     run=6  nbConstraintChecks=752947  nbPropagations=115280  nbRevisions=106191  nbUselessRevisions=2510
5.83	     nbAssignments=1330  nbFailedAssignments=229  nbBacktracks=320  nbVisitedNodes=1834  nbRestartNogoods=19
5.83	     mapSize=317  nbInferences=45  nbTooLargeKeys=0
5.83	       =>  wckTime=1.631  cpuTime=1.59  mem=51M492
6.17	   
6.17	   search
6.17	     run=7  nbConstraintChecks=863628  nbPropagations=148963  nbRevisions=138630  nbUselessRevisions=3256
6.17	     nbAssignments=1755  nbFailedAssignments=336  nbBacktracks=490  nbVisitedNodes=2515  nbRestartNogoods=25
6.17	     mapSize=487  nbInferences=87  nbTooLargeKeys=0
6.17	       =>  wckTime=1.974  cpuTime=1.93  mem=54M518
6.61	   
6.61	   search
6.61	     run=8  nbConstraintChecks=976443  nbPropagations=188404  nbRevisions=176722  nbUselessRevisions=4108
6.61	     nbAssignments=2350  nbFailedAssignments=487  nbBacktracks=746  nbVisitedNodes=3495  nbRestartNogoods=33
6.61	     mapSize=743  nbInferences=170  nbTooLargeKeys=0
6.61	       =>  wckTime=2.418  cpuTime=2.36  mem=57M544
7.23	   
7.23	   search
7.23	     run=9  nbConstraintChecks=1092770  nbPropagations=234886  nbRevisions=221603  nbUselessRevisions=5066
7.23	     nbAssignments=3214  nbFailedAssignments=705  nbBacktracks=1130  nbVisitedNodes=4951  nbRestartNogoods=40
7.23	     mapSize=1127  nbInferences=326  nbTooLargeKeys=0
7.23	       =>  wckTime=3.032  cpuTime=2.97  mem=63M596
8.15	   
8.15	   search
8.15	     run=10  nbConstraintChecks=1214302  nbPropagations=290409  nbRevisions=274988  nbUselessRevisions=6132
8.15	     nbAssignments=4505  nbFailedAssignments=1015  nbBacktracks=1707  nbVisitedNodes=7163  nbRestartNogoods=45
8.15	     mapSize=1704  nbInferences=627  nbTooLargeKeys=0
8.15	       =>  wckTime=3.956  cpuTime=3.86  mem=43M221
9.55	   
9.55	   search
9.55	     run=11  nbConstraintChecks=1345985  nbPropagations=358511  nbRevisions=339978  nbUselessRevisions=7431
9.55	     nbAssignments=6511  nbFailedAssignments=1432  nbBacktracks=2571  nbVisitedNodes=10623  nbRestartNogoods=48
9.55	     mapSize=2568  nbInferences=1247  nbTooLargeKeys=0
9.55	       =>  wckTime=5.357  cpuTime=5.26  mem=57M342
11.68	   
11.68	   search
11.68	     run=12  nbConstraintChecks=1493506  nbPropagations=444334  nbRevisions=420907  nbUselessRevisions=9013
11.68	     nbAssignments=9550  nbFailedAssignments=2027  nbBacktracks=3868  nbVisitedNodes=15900  nbRestartNogoods=64
11.68	     mapSize=3860  nbInferences=2295  nbTooLargeKeys=0
11.68	       =>  wckTime=7.482  cpuTime=7.38  mem=79M532
13.76	   
13.76	   search
13.76	     run=13  nbConstraintChecks=1651563  nbPropagations=549630  nbRevisions=520798  nbUselessRevisions=10838
13.76	     nbAssignments=13150  nbFailedAssignments=3259  nbBacktracks=5814  nbVisitedNodes=22331  nbRestartNogoods=71
13.76	     mapSize=5780  nbInferences=2662  nbTooLargeKeys=0
13.76	       =>  wckTime=9.561  cpuTime=9.4  mem=75M48
16.53	   
16.53	   search
16.53	     run=14  nbConstraintChecks=1832302  nbPropagations=683003  nbRevisions=648070  nbUselessRevisions=13167
16.53	     nbAssignments=18615  nbFailedAssignments=5091  nbBacktracks=8733  nbVisitedNodes=32139  nbRestartNogoods=73
16.53	     mapSize=8663  nbInferences=3341  nbTooLargeKeys=0
16.53	       =>  wckTime=12.334  cpuTime=12.17  mem=92M195
21.95	   
21.95	   search
21.95	     run=15  nbConstraintChecks=2159062  nbPropagations=884459  nbRevisions=832074  nbUselessRevisions=16354
21.95	     nbAssignments=30746  nbFailedAssignments=6638  nbBacktracks=13112  nbVisitedNodes=53537  nbRestartNogoods=79
21.95	     mapSize=12997  nbInferences=9514  nbTooLargeKeys=0
21.95	       =>  wckTime=17.758  cpuTime=17.58  mem=102M282
35.03	   
35.03	   search
35.03	     run=16  nbConstraintChecks=2730981  nbPropagations=1193190  nbRevisions=1104734  nbUselessRevisions=20973
35.03	     nbAssignments=49596  nbFailedAssignments=8708  nbBacktracks=19680  nbVisitedNodes=86598  nbRestartNogoods=92
35.03	     mapSize=19521  nbInferences=19586  nbTooLargeKeys=0
35.03	       =>  wckTime=30.831  cpuTime=30.5  mem=164M513
57.32	   
57.32	   search
57.32	     run=17  nbConstraintChecks=3539090  nbPropagations=1681987  nbRevisions=1522982  nbUselessRevisions=27814
57.32	     nbAssignments=80805  nbFailedAssignments=11286  nbBacktracks=29532  nbVisitedNodes=141602  nbRestartNogoods=109
57.32	     mapSize=29336  nbInferences=38226  nbTooLargeKeys=0
57.32	       =>  wckTime=53.123  cpuTime=52.6  mem=255M159
92.88	   
92.88	   search
92.88	     run=18  nbConstraintChecks=4685347  nbPropagations=2450339  nbRevisions=2164218  nbUselessRevisions=37995
92.88	     nbAssignments=129387  nbFailedAssignments=14666  nbBacktracks=44311  nbVisitedNodes=227230  nbRestartNogoods=126
92.88	     mapSize=44079  nbInferences=68512  nbTooLargeKeys=0
92.88	       =>  wckTime=88.682  cpuTime=87.84  mem=369M633
151.34	   
151.34	   INFO : Stopping hyperNogood (mapSize=66030, nbTooLargekeys=0, mem=600M764)
151.46	   
151.46	   search
151.46	     run=19  nbConstraintChecks=6643919  nbPropagations=3695814  nbRevisions=3186959  nbUselessRevisions=55718
151.46	     nbAssignments=208436  nbFailedAssignments=19149  nbBacktracks=66480  nbVisitedNodes=367502  nbRestartNogoods=146
151.46	       =>  wckTime=147.263  cpuTime=145.95  mem=600M764
169.41	   
169.41	   search
169.41	     run=20  nbConstraintChecks=7665122  nbPropagations=5203378  nbRevisions=4473671  nbUselessRevisions=75263
169.41	     nbAssignments=264828  nbFailedAssignments=42111  nbBacktracks=99733  nbVisitedNodes=469817  nbRestartNogoods=166
169.41	       =>  wckTime=165.219  cpuTime=163.9  mem=600M764
195.92	   
195.92	   search
195.92	     run=21  nbConstraintChecks=8998686  nbPropagations=7098151  nbRevisions=6149180  nbUselessRevisions=96413
195.92	     nbAssignments=349229  nbFailedAssignments=76458  nbBacktracks=149611  nbVisitedNodes=622911  nbRestartNogoods=180
195.92	       =>  wckTime=191.727  cpuTime=190.39  mem=600M764
235.75	   
235.75	   search
235.75	     run=22  nbConstraintChecks=10657092  nbPropagations=9565224  nbRevisions=8397918  nbUselessRevisions=118530
235.75	     nbAssignments=475942  nbFailedAssignments=128177  nbBacktracks=224430  nbVisitedNodes=853061  nbRestartNogoods=199
235.75	       =>  wckTime=231.56  cpuTime=230.21  mem=600M764
295.30	   
295.30	   search
295.30	     run=23  nbConstraintChecks=13023907  nbPropagations=12887746  nbRevisions=11503077  nbUselessRevisions=141631
295.30	     nbAssignments=666093  nbFailedAssignments=205927  nbBacktracks=336659  nbVisitedNodes=1198711  nbRestartNogoods=214
295.30	       =>  wckTime=291.101  cpuTime=289.73  mem=600M764
385.26	   
385.26	   search
385.26	     run=24  nbConstraintChecks=16454278  nbPropagations=17490395  nbRevisions=15889380  nbUselessRevisions=165749
385.26	     nbAssignments=951413  nbFailedAssignments=322742  nbBacktracks=505000  nbVisitedNodes=1717660  nbRestartNogoods=228
385.26	       =>  wckTime=381.065  cpuTime=379.67  mem=600M764
514.52	   
514.57	   search
514.57	     run=25  nbConstraintChecks=21745691  nbPropagations=24006306  nbRevisions=22193260  nbUselessRevisions=194140
514.57	     nbAssignments=1377141  nbFailedAssignments=495749  nbBacktracks=757511  nbVisitedNodes=2489399
514.57	     nbRestartNogoods=243
514.57	       =>  wckTime=510.321  cpuTime=508.88  mem=600M764
708.46	   
708.46	   search
708.46	     run=26  nbConstraintChecks=29577933  nbPropagations=33392478  nbRevisions=31375705  nbUselessRevisions=230732
708.46	     nbAssignments=2016556  nbFailedAssignments=756184  nbBacktracks=1136279  nbVisitedNodes=3649678
708.46	     nbRestartNogoods=271
708.46	       =>  wckTime=704.265  cpuTime=702.75  mem=600M764
999.87	   
999.87	   search
999.87	     run=27  nbConstraintChecks=40836910  nbPropagations=47078869  nbRevisions=44863197  nbUselessRevisions=272033
999.87	     nbAssignments=2977222  nbFailedAssignments=1148487  nbBacktracks=1704430  nbVisitedNodes=5394944
999.87	     nbRestartNogoods=298
999.87	       =>  wckTime=995.672  cpuTime=994.06  mem=600M764
1437.61	   
1437.61	   search
1437.61	     run=28  nbConstraintChecks=57490264  nbPropagations=67215633  nbRevisions=64806007  nbUselessRevisions=318283
1437.61	     nbAssignments=4419624  nbFailedAssignments=1738453  nbBacktracks=2556656  nbVisitedNodes=8017275
1437.61	     nbRestartNogoods=319
1437.61	       =>  wckTime=1433.415  cpuTime=1431.65  mem=600M764

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

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

/proc/loadavg: 0.31 1.32 1.59 3/81 32057
/proc/meminfo: memFree=1640080/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=1784 CPUtime=0
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156726474 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32056/statm: 446 158 123 14 0 91 0

[startup+0.104815 s]
/proc/loadavg: 0.31 1.32 1.59 3/81 32057
/proc/meminfo: memFree=1640080/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=912588 CPUtime=0.06
/proc/32056/stat : 32056 (java) D 32054 32056 31759 0 -1 0 2750 0 1 0 5 1 0 0 22 0 8 0 156726474 934490112 2496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32056/statm: 228147 2496 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912588

[startup+0.512879 s]
/proc/loadavg: 0.31 1.32 1.59 3/81 32057
/proc/meminfo: memFree=1640080/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915328 CPUtime=0.45
/proc/32056/stat : 32056 (java) S 32054 32056 31759 0 -1 0 6476 0 1 0 41 4 0 0 16 0 8 0 156726474 937295872 6215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228832 6215 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33401 s]
/proc/loadavg: 0.31 1.32 1.59 2/88 32065
/proc/meminfo: memFree=1577368/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915628 CPUtime=1.27
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 17989 0 1 0 117 10 0 0 17 0 8 0 156726474 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228907 17727 2160 14 0 215377 0
[pid=32056/tid=32058] ppid=32054 vsize=915628 CPUtime=0.05
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 1459 0 0 0 5 0 0 0 17 0 8 0 156726478 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915628 CPUtime=0.13
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 156726481 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937603072 17727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915628

[startup+2.97129 s]
/proc/loadavg: 0.37 1.32 1.59 2/88 32065
/proc/meminfo: memFree=1567192/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915628 CPUtime=2.92
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 20557 0 1 0 207 85 0 0 17 0 8 0 156726474 937603072 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228908 20293 2180 14 0 215378 0
[pid=32056/tid=32058] ppid=32054 vsize=915628 CPUtime=0.13
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 3938 0 0 0 12 1 0 0 16 0 8 0 156726478 937603072 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915632 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937607168 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937603072 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937603072 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915632 CPUtime=0.18
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 424 0 0 0 17 1 0 0 16 0 8 0 156726481 937607168 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915628 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937603072 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915632 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937607168 20293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915628

[startup+6.26585 s]
/proc/loadavg: 0.37 1.32 1.59 2/88 32065
/proc/meminfo: memFree=1549400/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=6.2
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 25355 0 1 0 503 117 0 0 17 0 8 0 156726474 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 25065 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=0.44
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 8214 0 0 0 43 1 0 0 16 0 8 0 156726478 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.3
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 505 0 0 0 29 1 0 0 15 0 8 0 156726481 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 25065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915856

[startup+12.7399 s]
/proc/loadavg: 0.46 1.31 1.58 2/88 32066
/proc/meminfo: memFree=1535704/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=12.67
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 28797 0 1 0 1149 118 0 0 25 0 8 0 156726474 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 28503 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=0.48
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 11644 0 0 0 45 3 0 0 16 0 8 0 156726478 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.31
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 514 0 0 0 30 1 0 0 17 0 8 0 156726481 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 28503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915856

[startup+25.5931 s]
/proc/loadavg: 0.55 1.30 1.57 2/88 32066
/proc/meminfo: memFree=1474264/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=25.51
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 44188 0 1 0 2427 124 0 0 21 0 8 0 156726474 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 43891 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=0.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 27031 0 0 0 51 9 0 0 16 0 8 0 156726478 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.31
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 515 0 0 0 30 1 0 0 16 0 8 0 156726481 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 43891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915856

[startup+51.2945 s]
/proc/loadavg: 0.78 1.29 1.56 3/100 32111
/proc/meminfo: memFree=1289656/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=51.19
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 70333 0 1 0 4984 135 0 0 25 0 8 0 156726474 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074178567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 70029 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=0.82
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 53168 0 0 0 63 19 0 0 16 0 8 0 156726478 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 70029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915856

[startup+102.595 s]
/proc/loadavg: 1.47 1.39 1.58 3/100 32111
/proc/meminfo: memFree=998264/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=102.48
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 117188 0 1 0 10094 154 0 0 25 0 8 0 156726474 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 116872 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.25
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 100011 0 0 0 87 38 0 0 16 0 8 0 156726478 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 116872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915856

[startup+162.645 s]
/proc/loadavg: 1.80 1.50 1.61 3/100 32111
/proc/meminfo: memFree=743800/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=162.5
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 16081 169 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.63
Current children cumulated vsize (KiB) 915856

[startup+1483.24 s]
/proc/loadavg: 2.07 2.02 1.89 3/100 32111
/proc/meminfo: memFree=421176/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1482.63
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 148084 179 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.63
Current children cumulated vsize (KiB) 915856

[startup+1543.26 s]
/proc/loadavg: 2.02 2.01 1.90 3/106 32213
/proc/meminfo: memFree=419680/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1542.54
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 154075 179 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074125850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.54
Current children cumulated vsize (KiB) 915856

[startup+1603.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/106 32283
/proc/meminfo: memFree=419896/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1602.5
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 160071 179 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.5
Current children cumulated vsize (KiB) 915856

[startup+1663.33 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 32309
/proc/meminfo: memFree=420792/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1662.47
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 166068 179 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.47
Current children cumulated vsize (KiB) 915856

[startup+1723.35 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 32309
/proc/meminfo: memFree=420856/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1722.47
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 172068 179 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.47
Current children cumulated vsize (KiB) 915856

[startup+1783.37 s]
/proc/loadavg: 2.04 2.01 1.91 3/100 32309
/proc/meminfo: memFree=420856/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1782.47
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 178067 180 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (KiB) 915856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.93 s]
/proc/loadavg: 2.03 2.01 1.91 3/100 32309
/proc/meminfo: memFree=420856/2055920 swapFree=4192812/4192956
[pid=32056] ppid=32054 vsize=915856 CPUtime=1800.03
/proc/32056/stat : 32056 (java) R 32054 32056 31759 0 -1 0 154276 0 1 0 179823 180 0 0 25 0 8 0 156726474 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074098908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32056/statm: 228964 153948 2535 14 0 215434 0
[pid=32056/tid=32058] ppid=32054 vsize=915856 CPUtime=1.6
/proc/32056/task/32058/stat : 32058 (java) S 32054 32056 31759 0 -1 64 137087 0 0 0 108 52 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32059] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32059/stat : 32059 (java) S 32054 32056 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32060] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32060/stat : 32060 (java) S 32054 32056 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156726478 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32062] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32062/stat : 32062 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32063] ppid=32054 vsize=915856 CPUtime=0.32
/proc/32056/task/32063/stat : 32063 (java) S 32054 32056 31759 0 -1 64 516 0 0 0 31 1 0 0 16 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32056/tid=32064] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32064/stat : 32064 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32056/tid=32065] ppid=32054 vsize=915856 CPUtime=0
/proc/32056/task/32065/stat : 32065 (java) S 32054 32056 31759 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156726481 937836544 153948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915856

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

Child status: 143
Real time (s): 1801.06
CPU time (s): 1800.17
CPU user time (s): 1798.26
CPU system time (s): 1.90171
CPU usage (%): 99.9504
Max. virtual memory (cumulated for all children) (KiB): 915952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.26
system time used= 1.90171
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154292
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= 37722
involuntary context switches= 70161

runsolver used 1.87571 s user time and 4.95525 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sat Jan  6 11:35:40 UTC 2007


IDJOB= 237501
IDBENCH= 6945
FILE ID= node25/237501-1168083326

PBS_JOBID= 3476230

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_38.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237501-1168083326/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-237501-1168083326 -o ROOT/results/node25/solver-237501-1168083326 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237501-1168083326/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0f5123f7ed000168e0c68877853e29a7

RANDOM SEED= 928354721

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.279
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.279
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:       1640496 kB
Buffers:         44572 kB
Cached:         250208 kB
SwapCached:          0 kB
Active:          89628 kB
Inactive:       254692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1640496 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4976 kB
Writeback:           0 kB
Mapped:          68516 kB
Slab:            56136 kB
Committed_AS:  2904504 kB
PageTables:       2144 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= 66545 MiB



End job on node25 on Sat Jan  6 12:05:44 UTC 2007