Trace number 238927

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 ESAC? (TO) 1800.14 1811.36

General information on the benchmark

NameblackHole/BH-4-13/
BlackHole-4-13-m-2_ext.xml
MD5SUM788076105474c4514c48ffcdd90f49b4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208
Number of constraints4218
Maximum constraint arity2
Maximum domain size52
Number of constraints which are defined in extension4218
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/238927-1168361601/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.43	     nbVariables=208  nbDomainTypes=4  minDomainSize=1  maxDomainSize=52
0.43	       =>  wckTime=0.124  cpuTime=0.09  mem=7M927
0.43	   
0.43	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.73	     nbConstraints=4217  nbRelationTypes=9  nbSingletonDomainVariables=3  nbDisconnectedVariables=1
0.73	     nbExtensionStructures=9  nbSharedExtensionStructures=4208  nbConflictsStructures=9
0.73	     nbSharedConflictsStructures=4208  nbSharedBinaryRepresentations=372  maxDegree=104  maxArity=2
0.73	       =>  wckTime=0.428  cpuTime=0.28  mem=19M678
0.79	   
0.79	   solver IterativeSystematicSolver being built... 
0.96	       =>  wckTime=0.657  cpuTime=0.42  mem=17M676
1.29	   
1.29	   preprocessing
1.29	     nbConstraintChecks=5997170  nbPropagations=5895  nbRevisions=132340  nbUselessRevisions=126128
1.29	     nbSingletonTests=238  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=793  detectedInconsistency=no
1.29	       =>  wckTime=0.319  cpuTime=0.29  mem=17M676
1.49	   
1.49	   search
1.49	     run=0  nbConstraintChecks=4169799  nbPropagations=9254  nbRevisions=224254  nbUselessRevisions=213606
1.49	     nbAssignments=55  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=69  nbRestartNogoods=0  mapSize=10
1.49	     nbInferences=1  nbTooLargeKeys=0
1.49	       =>  wckTime=0.525  cpuTime=0.48  mem=17M676
1.65	   
1.65	   search
1.65	     run=1  nbConstraintChecks=8248581  nbPropagations=21735  nbRevisions=538306  nbUselessRevisions=512934
1.65	     nbAssignments=117  nbFailedAssignments=14  nbBacktracks=25  nbVisitedNodes=148  nbRestartNogoods=2  mapSize=25
1.65	     nbInferences=2  nbTooLargeKeys=0
1.65	       =>  wckTime=0.688  cpuTime=0.64  mem=17M676
1.82	   
1.82	   search
1.82	     run=2  nbConstraintChecks=12702699  nbPropagations=37910  nbRevisions=950765  nbUselessRevisions=905752
1.82	     nbAssignments=188  nbFailedAssignments=21  nbBacktracks=48  nbVisitedNodes=237  nbRestartNogoods=4  mapSize=38
1.82	     nbInferences=6  nbTooLargeKeys=0
1.82	       =>  wckTime=0.857  cpuTime=0.81  mem=17M676
1.98	   
1.98	   search
1.98	     run=3  nbConstraintChecks=16802395  nbPropagations=57268  nbRevisions=1453492  nbUselessRevisions=1384828
1.98	     nbAssignments=282  nbFailedAssignments=36  nbBacktracks=91  nbVisitedNodes=360  nbRestartNogoods=7  mapSize=65
1.98	     nbInferences=7  nbTooLargeKeys=0
1.98	       =>  wckTime=1.016  cpuTime=0.97  mem=17M676
2.25	   
2.25	   search
2.25	     run=4  nbConstraintChecks=23755202  nbPropagations=83298  nbRevisions=2113214  nbUselessRevisions=2011235
2.25	     nbAssignments=406  nbFailedAssignments=57  nbBacktracks=142  nbVisitedNodes=541  nbRestartNogoods=8  mapSize=109
2.25	     nbInferences=20  nbTooLargeKeys=0
2.25	       =>  wckTime=1.279  cpuTime=1.23  mem=17M676
2.48	   
2.48	   search
2.48	     run=5  nbConstraintChecks=29413828  nbPropagations=114069  nbRevisions=2899379  nbUselessRevisions=2757988
2.48	     nbAssignments=565  nbFailedAssignments=91  nbBacktracks=226  nbVisitedNodes=775  nbRestartNogoods=11  mapSize=175
2.48	     nbInferences=27  nbTooLargeKeys=0
2.48	       =>  wckTime=1.511  cpuTime=1.45  mem=17M676
2.87	   
2.87	   search
2.87	     run=6  nbConstraintChecks=39973543  nbPropagations=155325  nbRevisions=3926340  nbUselessRevisions=3729675
2.87	     nbAssignments=791  nbFailedAssignments=141  nbBacktracks=343  nbVisitedNodes=1125  nbRestartNogoods=12  mapSize=275
2.87	     nbInferences=49  nbTooLargeKeys=0
2.87	       =>  wckTime=1.903  cpuTime=1.84  mem=18M651
3.35	   
3.35	   search
3.35	     run=7  nbConstraintChecks=52873078  nbPropagations=210124  nbRevisions=5250071  nbUselessRevisions=4977871
3.35	     nbAssignments=1129  nbFailedAssignments=238  nbBacktracks=514  nbVisitedNodes=1677  nbRestartNogoods=14
3.36	     mapSize=430  nbInferences=83  nbTooLargeKeys=0
3.36	       =>  wckTime=2.39  cpuTime=2.33  mem=18M651
3.93	   
3.93	   search
3.93	     run=8  nbConstraintChecks=67373283  nbPropagations=278068  nbRevisions=6901429  nbUselessRevisions=6537065
3.93	     nbAssignments=1653  nbFailedAssignments=373  nbBacktracks=773  nbVisitedNodes=2481  nbRestartNogoods=19
3.93	     mapSize=659  nbInferences=140  nbTooLargeKeys=0
3.93	       =>  wckTime=2.964  cpuTime=2.88  mem=18M651
4.94	   
4.94	   search
4.94	     run=9  nbConstraintChecks=93761607  nbPropagations=375810  nbRevisions=9166120  nbUselessRevisions=8665646
4.94	     nbAssignments=2433  nbFailedAssignments=494  nbBacktracks=1158  nbVisitedNodes=3729  nbRestartNogoods=23
4.94	     mapSize=963  nbInferences=375  nbTooLargeKeys=0
4.94	       =>  wckTime=3.969  cpuTime=3.87  mem=18M651
6.20	   
6.20	   search
6.20	     run=10  nbConstraintChecks=127470112  nbPropagations=509563  nbRevisions=12212843  nbUselessRevisions=11530219
6.20	     nbAssignments=3763  nbFailedAssignments=998  nbBacktracks=1736  nbVisitedNodes=5950  nbRestartNogoods=29
6.20	     mapSize=1466  nbInferences=528  nbTooLargeKeys=0
6.20	       =>  wckTime=5.233  cpuTime=5.12  mem=19M627
8.07	   
8.07	   search
8.07	     run=11  nbConstraintChecks=178258830  nbPropagations=703008  nbRevisions=16457551  nbUselessRevisions=15502871
8.07	     nbAssignments=5294  nbFailedAssignments=1398  nbBacktracks=2601  nbVisitedNodes=8419  nbRestartNogoods=31
8.07	     mapSize=2047  nbInferences=756  nbTooLargeKeys=0
8.07	       =>  wckTime=7.107  cpuTime=6.98  mem=20M602
10.33	   
10.33	   search
10.33	     run=12  nbConstraintChecks=239593261  nbPropagations=955194  nbRevisions=22115141  nbUselessRevisions=20815497
10.33	     nbAssignments=8063  nbFailedAssignments=2275  nbBacktracks=3898  nbVisitedNodes=13040  nbRestartNogoods=45
10.33	     mapSize=3303  nbInferences=1197  nbTooLargeKeys=0
10.33	       =>  wckTime=9.369  cpuTime=9.22  mem=21M577
13.61	   
13.61	   search
13.61	     run=13  nbConstraintChecks=329463270  nbPropagations=1303936  nbRevisions=29860058  nbUselessRevisions=28099747
13.61	     nbAssignments=12264  nbFailedAssignments=3386  nbBacktracks=5845  nbVisitedNodes=20073  nbRestartNogoods=53
13.61	     mapSize=5063  nbInferences=2218  nbTooLargeKeys=0
13.61	       =>  wckTime=12.647  cpuTime=12.48  mem=23M527
17.44	   
17.44	   search
17.44	     run=14  nbConstraintChecks=430875762  nbPropagations=1761536  nbRevisions=39996366  nbUselessRevisions=37621329
17.44	     nbAssignments=17312  nbFailedAssignments=4769  nbBacktracks=8764  nbVisitedNodes=28137  nbRestartNogoods=57
17.44	     mapSize=6946  nbInferences=2922  nbTooLargeKeys=0
17.44	       =>  wckTime=16.474  cpuTime=16.3  mem=25M543
21.09	   
21.09	   search
21.09	     run=15  nbConstraintChecks=520920159  nbPropagations=2304885  nbRevisions=52303470  nbUselessRevisions=49217457
21.09	     nbAssignments=25607  nbFailedAssignments=5957  nbBacktracks=13143  nbVisitedNodes=41094  nbRestartNogoods=65
21.09	     mapSize=9971  nbInferences=5608  nbTooLargeKeys=0
21.09	       =>  wckTime=20.128  cpuTime=19.93  mem=30M419
30.58	   
30.58	   search
30.58	     run=16  nbConstraintChecks=769225366  nbPropagations=3123880  nbRevisions=70571008  nbUselessRevisions=66380182
30.58	     nbAssignments=37069  nbFailedAssignments=9291  nbBacktracks=19721  nbVisitedNodes=59486  nbRestartNogoods=72
30.58	     mapSize=14228  nbInferences=7065  nbTooLargeKeys=0
30.58	       =>  wckTime=29.611  cpuTime=29.34  mem=35M295
53.81	   
53.81	   search
53.81	     run=17  nbConstraintChecks=1399728465  nbPropagations=4692635  nbRevisions=103688413  nbUselessRevisions=97448855
53.81	     nbAssignments=58103  nbFailedAssignments=15411  nbBacktracks=29573  nbVisitedNodes=95784  nbRestartNogoods=81
53.81	     mapSize=22875  nbInferences=12078  nbTooLargeKeys=0
53.81	       =>  wckTime=52.842  cpuTime=52.46  mem=46M997
70.80	   
70.80	   search
70.80	     run=18  nbConstraintChecks=1836632948  nbPropagations=6770154  nbRevisions=147336333  nbUselessRevisions=138419411
70.80	     nbAssignments=84325  nbFailedAssignments=21051  nbBacktracks=44353  nbVisitedNodes=136694  nbRestartNogoods=96
70.80	     mapSize=31805  nbInferences=17679  nbTooLargeKeys=0
70.80	       =>  wckTime=69.838  cpuTime=69.3  mem=32M175
91.82	   
91.82	   search
91.82	     run=19  nbConstraintChecks=2376220702  nbPropagations=9432462  nbRevisions=204094185  nbUselessRevisions=191786967
91.82	     nbAssignments=122751  nbFailedAssignments=28377  nbBacktracks=66524  nbVisitedNodes=196362  nbRestartNogoods=113
91.82	     mapSize=45856  nbInferences=26440  nbTooLargeKeys=0
91.82	       =>  wckTime=90.855  cpuTime=90.2  mem=54M58
127.95	   
127.95	   search
127.95	     run=20  nbConstraintChecks=3305640412  nbPropagations=12991659  nbRevisions=283234476  nbUselessRevisions=266475259
127.95	     nbAssignments=183436  nbFailedAssignments=41250  nbBacktracks=99780  nbVisitedNodes=294783  nbRestartNogoods=121
127.95	     mapSize=70435  nbInferences=40886  nbTooLargeKeys=0
127.95	       =>  wckTime=126.983  cpuTime=126.03  mem=61M379
198.70	   
198.70	   search
198.70	     run=21  nbConstraintChecks=5170864848  nbPropagations=18337614  nbRevisions=406129724  nbUselessRevisions=382896565
198.70	     nbAssignments=286774  nbFailedAssignments=61957  nbBacktracks=149659  nbVisitedNodes=467727  nbRestartNogoods=133
198.70	     mapSize=110350  nbInferences=73593  nbTooLargeKeys=0
198.70	       =>  wckTime=197.734  cpuTime=196.29  mem=97M662
260.97	   
260.97	   search
260.97	     run=22  nbConstraintChecks=6792079517  nbPropagations=25096556  nbRevisions=567166743  nbUselessRevisions=535830486
260.97	     nbAssignments=415366  nbFailedAssignments=84527  nbBacktracks=224478  nbVisitedNodes=668506  nbRestartNogoods=145
260.97	     mapSize=159555  nbInferences=104711  nbTooLargeKeys=0
260.97	       =>  wckTime=260.006  cpuTime=258.11  mem=138M978
372.58	   
372.58	   search
372.58	     run=23  nbConstraintChecks=9621187000  nbPropagations=34933021  nbRevisions=797265800  nbUselessRevisions=753984857
372.58	     nbAssignments=609463  nbFailedAssignments=124154  nbBacktracks=336705  nbVisitedNodes=972098  nbRestartNogoods=155
372.58	     mapSize=234066  nbInferences=146900  nbTooLargeKeys=0
372.58	       =>  wckTime=371.617  cpuTime=368.79  mem=173M715
909.54	   
909.54	   search
909.54	     run=24  nbConstraintChecks=23929537056  nbPropagations=61470183  nbRevisions=1360550462
909.54	     nbUselessRevisions=1285057655  nbAssignments=1020368  nbFailedAssignments=194954  nbBacktracks=505047
909.54	     nbVisitedNodes=1676110  nbRestartNogoods=179  mapSize=380371  nbInferences=318146  nbTooLargeKeys=0
909.54	       =>  wckTime=908.575  cpuTime=902.3  mem=301M443
1189.94	   
1189.94	   search
1189.94	     run=25  nbConstraintChecks=31107364538  nbPropagations=96517679  nbRevisions=2097890032
1189.94	     nbUselessRevisions=1979060458  nbAssignments=1448973  nbFailedAssignments=271317  nbBacktracks=757559
1189.94	     nbVisitedNodes=2339065  nbRestartNogoods=193  mapSize=537308  nbInferences=417827  nbTooLargeKeys=0
1189.94	       =>  wckTime=1188.979  cpuTime=1180.64  mem=410M160

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/node51/watcher-238927-1168361601 -o ROOT/results/node51/solver-238927-1168361601 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238927-1168361601/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.34 1.86 1.95 4/70 23009
/proc/meminfo: memFree=1823320/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=1784 CPUtime=0
/proc/23008/stat : 23008 (java) D 23004 23008 22899 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 184558642 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/23008/statm: 446 158 123 14 0 91 0

[startup+0.105672 s]
/proc/loadavg: 1.34 1.86 1.95 4/70 23009
/proc/meminfo: memFree=1823320/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=914988 CPUtime=0.08
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 2995 0 1 0 7 1 0 0 23 0 8 0 184558642 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513782 s]
/proc/loadavg: 1.34 1.86 1.95 4/70 23009
/proc/meminfo: memFree=1823320/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915328 CPUtime=0.49
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 6496 0 1 0 45 4 0 0 25 0 8 0 184558642 937295872 6235 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587486 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228832 6235 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33688 s]
/proc/loadavg: 1.34 1.86 1.95 3/88 23040
/proc/meminfo: memFree=1757824/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1.31
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 10560 0 1 0 124 7 0 0 25 0 8 0 184558642 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 10298 2523 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184558646 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184558646 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.24
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 409 0 0 0 23 1 0 0 15 0 8 0 184558650 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 10298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915572

[startup+2.99016 s]
/proc/loadavg: 1.34 1.86 1.95 4/88 23040
/proc/meminfo: memFree=1710912/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=2.95
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 10572 0 1 0 288 7 0 0 25 0 8 0 184558642 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 10308 2524 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184558646 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184558646 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.26
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 417 0 0 0 25 1 0 0 15 0 8 0 184558650 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 10308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915572

[startup+6.27572 s]
/proc/loadavg: 1.39 1.86 1.95 3/89 23041
/proc/meminfo: memFree=1685008/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=6.22
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 10590 0 1 0 615 7 0 0 25 0 8 0 184558642 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 10323 2524 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 184558646 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184558646 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.29
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 184558650 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 10323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915572

[startup+12.7678 s]
/proc/loadavg: 1.44 1.86 1.95 4/89 23041
/proc/meminfo: memFree=1684952/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=12.67
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 10668 0 1 0 1260 7 0 0 25 0 8 0 184558642 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 10401 2524 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184558646 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184558646 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.29
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 435 0 0 0 28 1 0 0 16 0 8 0 184558650 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 10401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915572

[startup+25.63 s]
/proc/loadavg: 1.56 1.87 1.95 3/89 23041
/proc/meminfo: memFree=1675928/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=25.48
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 13028 0 1 0 2539 9 0 0 25 0 8 0 184558642 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 12761 2524 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184558646 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184558646 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.29
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 435 0 0 0 28 1 0 0 16 0 8 0 184558650 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 12761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915572

[startup+51.2624 s]
/proc/loadavg: 1.71 1.88 1.95 3/89 23041
/proc/meminfo: memFree=1622936/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=50.95
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 16163 0 1 0 5085 10 0 0 25 0 8 0 184558642 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 15896 2524 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 184558646 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 184558646 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.29
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 435 0 0 0 28 1 0 0 16 0 8 0 184558650 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 15896 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915572

[startup+102.526 s]
/proc/loadavg: 1.87 1.89 1.95 4/89 23041
/proc/meminfo: memFree=1597336/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=101.93
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 22512 0 1 0 10180 13 0 0 25 0 8 0 184558642 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 22244 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=0.11
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 5465 0 0 0 9 2 0 0 16 0 8 0 184558646 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.29
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 436 0 0 0 28 1 0 0 16 0 8 0 184558650 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 22244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915572

[startup+162.545 s]
/proc/loadavg: 1.95 1.91 1.95 4/89 23041
/proc/meminfo: memFree=1528216/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=161.61
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 29681 0 1 0 16146 15 0 0 25 0 8 0 184558642 937545728 29411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073947478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1415.01
Current children cumulated vsize (KiB) 915572

[startup+1482.89 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 23239
/proc/meminfo: memFree=773720/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1474.7
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 133288 0 1 0 147401 69 0 0 25 0 8 0 184558642 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923434 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 133000 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.05
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 116219 0 0 0 167 38 0 0 16 0 8 0 184558646 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 133000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.7
Current children cumulated vsize (KiB) 915572

[startup+1542.99 s]
/proc/loadavg: 2.06 2.01 1.99 3/89 23241
/proc/meminfo: memFree=708760/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1534.24
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 138794 0 1 0 153353 71 0 0 25 0 8 0 184558642 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928418 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 138505 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.14
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 121724 0 0 0 175 39 0 0 16 0 8 0 184558646 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 138505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.24
Current children cumulated vsize (KiB) 915572

[startup+1603.03 s]
/proc/loadavg: 2.02 2.01 1.99 4/89 23241
/proc/meminfo: memFree=686872/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1593.72
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 144223 0 1 0 159299 73 0 0 25 0 8 0 184558642 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 143933 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.24
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 127152 0 0 0 183 41 0 0 16 0 8 0 184558646 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.72
Current children cumulated vsize (KiB) 915572

[startup+1663.09 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 23241
/proc/meminfo: memFree=686872/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1653.26
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 144223 0 1 0 165252 74 0 0 25 0 8 0 184558642 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 143933 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.24
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 127152 0 0 0 183 41 0 0 16 0 8 0 184558646 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 143933 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.26
Current children cumulated vsize (KiB) 915572

[startup+1723.15 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 23241
/proc/meminfo: memFree=665816/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1712.75
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 149478 0 1 0 171198 77 0 0 25 0 8 0 184558642 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 149187 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.33
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 132406 0 0 0 190 43 0 0 16 0 8 0 184558646 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 149187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.75
Current children cumulated vsize (KiB) 915572

[startup+1783.16 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 23241
/proc/meminfo: memFree=643288/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1772.19
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 155100 0 1 0 177139 80 0 0 25 0 8 0 184558642 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 154808 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.43
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 138027 0 0 0 197 46 0 0 16 0 8 0 184558646 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.19
Current children cumulated vsize (KiB) 915572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.26 s]
/proc/loadavg: 1.92 1.98 1.99 3/88 23316
/proc/meminfo: memFree=1167904/2055920 swapFree=4192812/4192956
[pid=23008] ppid=23004 vsize=915572 CPUtime=1800.03
/proc/23008/stat : 23008 (java) R 23004 23008 22899 0 -1 0 155100 0 1 0 179922 81 0 0 25 0 8 0 184558642 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23008/statm: 228893 154808 2528 14 0 215363 0
[pid=23008/tid=23025] ppid=23004 vsize=915572 CPUtime=2.43
/proc/23008/task/23025/stat : 23025 (java) S 23004 23008 22899 0 -1 64 138027 0 0 0 197 46 0 0 16 0 8 0 184558646 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23028] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23028/stat : 23028 (java) S 23004 23008 22899 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23029] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23029/stat : 23029 (java) S 23004 23008 22899 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 184558646 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23031] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23031/stat : 23031 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23032] ppid=23004 vsize=915572 CPUtime=0.3
/proc/23008/task/23032/stat : 23032 (java) S 23004 23008 22899 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23033] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23033/stat : 23033 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23008/tid=23034] ppid=23004 vsize=915572 CPUtime=0
/proc/23008/task/23034/stat : 23034 (java) S 23004 23008 22899 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 184558650 937545728 154808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915572

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

Child status: 143
Real time (s): 1811.36
CPU time (s): 1800.14
CPU user time (s): 1799.24
CPU system time (s): 0.899863
CPU usage (%): 99.3803
Max. virtual memory (cumulated for all children) (KiB): 915572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.899863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155117
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= 38201
involuntary context switches= 64669

runsolver used 2.6346 s user time and 5.2452 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue Jan  9 16:53:21 UTC 2007


IDJOB= 238927
IDBENCH= 7028
FILE ID= node51/238927-1168361601

PBS_JOBID= 3504008

Free space on /tmp= 66559 MiB

BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-m-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238927-1168361601/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-238927-1168361601 -o ROOT/results/node51/solver-238927-1168361601 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238927-1168361601/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  788076105474c4514c48ffcdd90f49b4

RANDOM SEED= 24997843

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.277
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.277
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:       1824064 kB
Buffers:         28008 kB
Cached:         134784 kB
SwapCached:          0 kB
Active:          98156 kB
Inactive:        84656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1824064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5912 kB
Writeback:           0 kB
Mapped:          30172 kB
Slab:            34676 kB
Committed_AS:  4209084 kB
PageTables:       1616 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= 66558 MiB



End job on node51 on Tue Jan  9 17:23:32 UTC 2007