Trace number 203183

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 ESACSAT 718.704 722.448

DiagnosticValue
CHECKS439981372
NODES319010

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-13_ext.xml
MD5SUM09ed6e0d3778546675382686de961bcd
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark718.704
SatisfiableYES
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/203183-1168157485/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.43	       =>  wckTime=0.107  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
1.59	   
1.59	   constraints being loaded...
2.33	     nbConstraints=93  nbRelationTypes=93  nbExtensionStructures=93  nbSharedExtensionStructures=0
2.33	     nbConflictsStructures=93  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=20  maxArity=3
2.33	       =>  wckTime=2.012  cpuTime=1.61  mem=59M120
2.49	   
2.49	   solver IterativeSystematicSolver being built... 
2.67	       =>  wckTime=2.352  cpuTime=1.75  mem=66M149
2.82	   
2.82	   preprocessing
2.82	     nbConstraintChecks=49662  nbValidityChecks=78191  nbPropagations=248  nbRevisions=2662  nbUselessRevisions=2319
2.82	     nbSingletonTests=37  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.82	       =>  wckTime=0.15  cpuTime=0.11  mem=66M149
2.91	   
2.91	   search
2.91	     run=0  nbConstraintChecks=39685  nbValidityChecks=83613  nbPropagations=670  nbRevisions=7544
2.91	     nbUselessRevisions=6159  nbAssignments=38  nbFailedAssignments=19  nbBacktracks=11  nbVisitedNodes=65
2.91	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.91	       =>  wckTime=0.24  cpuTime=0.19  mem=67M157
3.09	   
3.09	   search
3.09	     run=1  nbConstraintChecks=130844  nbValidityChecks=279269  nbPropagations=2028  nbRevisions=23982
3.09	     nbUselessRevisions=19662  nbAssignments=107  nbFailedAssignments=44  nbBacktracks=27  nbVisitedNodes=149
3.09	     nbRestartNogoods=5  mapSize=26  nbInferences=0  nbTooLargeKeys=0
3.09	       =>  wckTime=0.417  cpuTime=0.36  mem=67M157
3.24	   
3.24	   search
3.24	     run=2  nbConstraintChecks=210936  nbValidityChecks=430552  nbPropagations=4137  nbRevisions=49355
3.24	     nbUselessRevisions=40292  nbAssignments=159  nbFailedAssignments=66  nbBacktracks=49  nbVisitedNodes=241
3.24	     nbRestartNogoods=7  mapSize=47  nbInferences=0  nbTooLargeKeys=0
3.24	       =>  wckTime=0.565  cpuTime=0.5  mem=67M157
3.47	   
3.47	   search
3.47	     run=3  nbConstraintChecks=346469  nbValidityChecks=683329  nbPropagations=7262  nbRevisions=88657
3.47	     nbUselessRevisions=72004  nbAssignments=251  nbFailedAssignments=116  nbBacktracks=83  nbVisitedNodes=401
3.47	     nbRestartNogoods=11  mapSize=75  nbInferences=0  nbTooLargeKeys=0
3.47	       =>  wckTime=0.798  cpuTime=0.73  mem=67M157
3.86	   
3.86	   search
3.86	     run=4  nbConstraintChecks=570891  nbValidityChecks=1164561  nbPropagations=12497  nbRevisions=154735
3.86	     nbUselessRevisions=125254  nbAssignments=423  nbFailedAssignments=197  nbBacktracks=134  nbVisitedNodes=666
3.86	     nbRestartNogoods=18  mapSize=126  nbInferences=0  nbTooLargeKeys=0
3.86	       =>  wckTime=1.188  cpuTime=1.11  mem=67M157
4.38	   
4.38	   search
4.38	     run=5  nbConstraintChecks=878957  nbValidityChecks=1750370  nbPropagations=19981  nbRevisions=251078
4.38	     nbUselessRevisions=202573  nbAssignments=604  nbFailedAssignments=294  nbBacktracks=210  nbVisitedNodes=990
4.38	     nbRestartNogoods=24  mapSize=192  nbInferences=0  nbTooLargeKeys=0
4.38	       =>  wckTime=1.711  cpuTime=1.63  mem=67M157
5.01	   
5.01	   search
5.01	     run=6  nbConstraintChecks=1240726  nbValidityChecks=2479677  nbPropagations=31123  nbRevisions=393092
5.01	     nbUselessRevisions=316260  nbAssignments=887  nbFailedAssignments=451  nbBacktracks=323  nbVisitedNodes=1498
5.01	     nbRestartNogoods=31  mapSize=291  nbInferences=0  nbTooLargeKeys=0
5.01	       =>  wckTime=2.334  cpuTime=2.24  mem=67M157
6.24	   
6.24	   search
6.24	     run=7  nbConstraintChecks=1959888  nbValidityChecks=3882866  nbPropagations=48784  nbRevisions=621207
6.24	     nbUselessRevisions=497636  nbAssignments=1334  nbFailedAssignments=721  nbBacktracks=493  nbVisitedNodes=2334
6.24	     nbRestartNogoods=38  mapSize=451  nbInferences=0  nbTooLargeKeys=0
6.24	       =>  wckTime=3.564  cpuTime=3.45  mem=67M157
7.50	   
7.50	   search
7.50	     run=8  nbConstraintChecks=2688556  nbValidityChecks=5301484  nbPropagations=72626  nbRevisions=931001
7.50	     nbUselessRevisions=744488  nbAssignments=1868  nbFailedAssignments=950  nbBacktracks=750  nbVisitedNodes=3187
7.50	     nbRestartNogoods=50  mapSize=660  nbInferences=0  nbTooLargeKeys=0
7.50	       =>  wckTime=4.825  cpuTime=4.68  mem=67M157
9.49	   
9.49	   search
9.49	     run=9  nbConstraintChecks=3878994  nbValidityChecks=7760858  nbPropagations=109287  nbRevisions=1392168
9.49	     nbUselessRevisions=1110293  nbAssignments=2811  nbFailedAssignments=1505  nbBacktracks=1134  nbVisitedNodes=4952
9.49	     nbRestartNogoods=55  mapSize=1000  nbInferences=0  nbTooLargeKeys=0
9.49	       =>  wckTime=6.82  cpuTime=6.65  mem=67M157
9.61	   
9.61	   INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=67M157)
12.38	   
12.38	   search
12.38	     run=10  nbConstraintChecks=5632814  nbValidityChecks=11301214  nbPropagations=163388  nbRevisions=2078906
12.38	     nbUselessRevisions=1657553  nbAssignments=4087  nbFailedAssignments=2198  nbBacktracks=1710  nbVisitedNodes=7306
12.38	     nbRestartNogoods=58
12.38	       =>  wckTime=9.71  cpuTime=9.51  mem=67M157
16.48	   
16.48	   search
16.48	     run=11  nbConstraintChecks=8167924  nbValidityChecks=16171404  nbPropagations=238666  nbRevisions=3046701
16.48	     nbUselessRevisions=2430083  nbAssignments=5795  nbFailedAssignments=3034  nbBacktracks=2575  nbVisitedNodes=10346
16.48	     nbRestartNogoods=63
16.48	       =>  wckTime=13.807  cpuTime=13.57  mem=67M157
23.72	   
23.72	   search
23.72	     run=12  nbConstraintChecks=12638445  nbValidityChecks=24935039  nbPropagations=351720  nbRevisions=4498387
23.72	     nbUselessRevisions=3587361  nbAssignments=8811  nbFailedAssignments=4734  nbBacktracks=3872  nbVisitedNodes=15889
23.72	     nbRestartNogoods=79
23.72	       =>  wckTime=21.049  cpuTime=20.75  mem=67M157
33.29	   
33.29	   search
33.29	     run=13  nbConstraintChecks=18410071  nbValidityChecks=36616945  nbPropagations=526730  nbRevisions=6697103
33.29	     nbUselessRevisions=5333464  nbAssignments=13402  nbFailedAssignments=7362  nbBacktracks=5818  nbVisitedNodes=24344
33.29	     nbRestartNogoods=92
33.29	       =>  wckTime=30.619  cpuTime=30.22  mem=67M157
45.89	   
45.89	   search
45.89	     run=14  nbConstraintChecks=26093978  nbValidityChecks=51897393  nbPropagations=775332  nbRevisions=9780750
45.89	     nbUselessRevisions=7776281  nbAssignments=19294  nbFailedAssignments=10329  nbBacktracks=8738  nbVisitedNodes=34818
45.89	     nbRestartNogoods=109
45.89	       =>  wckTime=43.219  cpuTime=42.72  mem=67M157
68.17	   
68.17	   search
68.17	     run=15  nbConstraintChecks=39401601  nbValidityChecks=79174922  nbPropagations=1169458  nbRevisions=14553877
68.17	     nbUselessRevisions=11543126  nbAssignments=29533  nbFailedAssignments=16181  nbBacktracks=13119
68.17	     nbVisitedNodes=53761  nbRestartNogoods=122
68.17	       =>  wckTime=65.502  cpuTime=64.8  mem=67M157
108.13	   
108.13	   search
108.13	     run=16  nbConstraintChecks=63478105  nbValidityChecks=126809910  nbPropagations=1794140  nbRevisions=22314253
108.13	     nbUselessRevisions=17678235  nbAssignments=44972  nbFailedAssignments=25044  nbBacktracks=19687
108.13	     nbVisitedNodes=82625  nbRestartNogoods=131
108.13	       =>  wckTime=105.457  cpuTime=104.39  mem=67M157
156.40	   
156.40	   search
156.40	     run=17  nbConstraintChecks=93156101  nbValidityChecks=184527896  nbPropagations=2678787  nbRevisions=33481469
156.40	     nbUselessRevisions=26530887  nbAssignments=66032  nbFailedAssignments=36207  nbBacktracks=29539
156.40	     nbVisitedNodes=120626  nbRestartNogoods=150
156.40	       =>  wckTime=153.728  cpuTime=152.22  mem=67M157
235.26	   
235.26	   search
235.26	     run=18  nbConstraintChecks=141520491  nbValidityChecks=278928829  nbPropagations=3985236  nbRevisions=50008302
235.26	     nbUselessRevisions=39633742  nbAssignments=98837  nbFailedAssignments=54217  nbBacktracks=44319
235.26	     nbVisitedNodes=180575  nbRestartNogoods=161
235.26	       =>  wckTime=232.593  cpuTime=230.36  mem=67M157
352.79	   
352.79	   search
352.79	     run=19  nbConstraintChecks=212201087  nbValidityChecks=422365044  nbPropagations=6032355  nbRevisions=75483153
352.79	     nbUselessRevisions=59777786  nbAssignments=153028  nbFailedAssignments=86200  nbBacktracks=66488
352.79	     nbVisitedNodes=281231  nbRestartNogoods=178
352.79	       =>  wckTime=350.118  cpuTime=346.82  mem=67M157
532.47	   
532.47	   search
532.47	     run=20  nbConstraintChecks=323800772  nbValidityChecks=645580316  nbPropagations=9162668  nbRevisions=114672370
532.47	     nbUselessRevisions=90765280  nbAssignments=230494  nbFailedAssignments=130407  nbBacktracks=99741
532.47	     nbVisitedNodes=425117  nbRestartNogoods=193
532.47	       =>  wckTime=529.802  cpuTime=526.21  mem=67M157
722.39	   
722.39	   search
722.39	     run=21  nbConstraintChecks=439931710  nbValidityChecks=883902384  nbPropagations=13564331  nbRevisions=169045009
722.39	     nbUselessRevisions=133713785  nbAssignments=319010  nbFailedAssignments=178495  nbBacktracks=140132
722.39	     nbVisitedNodes=586991  nbRestartNogoods=203
722.39	       =>  wckTime=719.713  cpuTime=715.93  mem=67M157
722.39	   
722.39	   global
722.39	     nbConstraintChecks=439981372  nbValidityChecks=883980575  nbPropagations=13564579  nbRevisions=169047671
722.39	     nbUselessRevisions=133716104  nbRestartNogoods=203  solvingWckTime=719.714  solvingCpuTime=715.93  expiredTime=no
722.39	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=717.74
722.39	       =>  wckTime=722.069  cpuTime=717.69  mem=67M157
722.39	   
722.39	s SATISFIABLE
722.39	v 8 10 23 7 23 24 11 8 19 14 20 16 12 7 19 26 1 20 23 8 23 20 2 5 15 2 5 22 
722.39	d NODES 319010
722.39	d CHECKS 439981372
722.39	   
722.39	   totalWckTime=722.15  totalCpuTime=717.74

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-203183-1168157485 -o ROOT/results/node58/solver-203183-1168157485 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203183-1168157485/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: 2.08 2.02 1.93 4/80 19807
/proc/meminfo: memFree=1240792/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=47416 CPUtime=0
/proc/19806/stat : 19806 (java) D 19804 19806 19257 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 164146491 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/19806/statm: 11973 968 766 14 0 1707 0

[startup+0.104525 s]
/proc/loadavg: 2.08 2.02 1.93 4/80 19807
/proc/meminfo: memFree=1240792/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=914988 CPUtime=0.08
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 2981 0 1 0 7 1 0 0 17 0 8 0 164146491 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.517043 s]
/proc/loadavg: 2.08 2.02 1.93 4/80 19807
/proc/meminfo: memFree=1240792/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915328 CPUtime=0.49
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 7472 0 1 0 45 4 0 0 18 0 8 0 164146491 937295872 7211 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228832 7211 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34612 s]
/proc/loadavg: 2.15 2.04 1.94 3/87 19814
/proc/meminfo: memFree=1173664/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915328 CPUtime=1.31
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 19099 0 1 0 123 8 0 0 25 0 8 0 164146491 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228832 18837 2149 14 0 215302 0
[pid=19806/tid=19808] ppid=19804 vsize=915328 CPUtime=0.05
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 164146495 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915328 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915328 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915328 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915328 CPUtime=0.09
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 164146499 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915328 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915328 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98526 s]
/proc/loadavg: 2.15 2.04 1.94 3/87 19814
/proc/meminfo: memFree=1132896/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=2.94
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32690 0 1 0 280 14 0 0 25 0 8 0 164146491 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32425 2531 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 17 0 8 0 164146495 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.19
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 363 0 0 0 19 0 0 0 15 0 8 0 164146499 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915424

[startup+6.26854 s]
/proc/loadavg: 2.14 2.04 1.94 3/87 19814
/proc/meminfo: memFree=1120480/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=6.19
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32704 0 1 0 605 14 0 0 25 0 8 0 164146491 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32437 2531 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 17 0 8 0 164146495 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.22
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 375 0 0 0 22 0 0 0 15 0 8 0 164146499 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915424

[startup+12.7621 s]
/proc/loadavg: 2.13 2.03 1.94 3/87 19814
/proc/meminfo: memFree=1120672/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=12.62
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32722 0 1 0 1248 14 0 0 25 0 8 0 164146491 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32452 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 389 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915424

[startup+25.6302 s]
/proc/loadavg: 2.11 2.03 1.94 3/87 19814
/proc/meminfo: memFree=1120800/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=25.37
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32722 0 1 0 2523 14 0 0 25 0 8 0 164146491 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32452 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 389 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915424

[startup+51.2624 s]
/proc/loadavg: 2.12 2.04 1.94 3/87 19814
/proc/meminfo: memFree=1120864/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=50.77
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32722 0 1 0 5063 14 0 0 25 0 8 0 164146491 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32452 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 389 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915424

[startup+102.52 s]
/proc/loadavg: 2.05 2.03 1.94 3/87 19814
/proc/meminfo: memFree=1120864/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=101.56
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32722 0 1 0 10142 14 0 0 25 0 8 0 164146491 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32452 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 389 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915424

[startup+162.524 s]
/proc/loadavg: 2.02 2.03 1.94 3/87 19814
/proc/meminfo: memFree=1120864/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=161.01
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 16087 14 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (KiB) 915424

[startup+342.541 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 19814
/proc/meminfo: memFree=1120864/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=339.4
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 33925 15 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 915424

[startup+402.617 s]
/proc/loadavg: 2.35 2.10 1.97 4/88 19880
/proc/meminfo: memFree=619664/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=399.23
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 39904 19 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 915424

[startup+462.661 s]
/proc/loadavg: 2.22 2.11 1.99 3/88 19880
/proc/meminfo: memFree=580432/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=459.22
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 45903 19 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 459.22
Current children cumulated vsize (KiB) 915424

[startup+522.687 s]
/proc/loadavg: 2.08 2.08 1.99 3/88 19880
/proc/meminfo: memFree=580368/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=519.17
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 51898 19 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 519.17
Current children cumulated vsize (KiB) 915424

[startup+582.727 s]
/proc/loadavg: 2.03 2.07 1.99 3/88 19880
/proc/meminfo: memFree=580368/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=579.16
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 57897 19 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 579.16
Current children cumulated vsize (KiB) 915424

[startup+642.794 s]
/proc/loadavg: 2.01 2.05 1.99 3/88 19880
/proc/meminfo: memFree=580368/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=639.17
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 63898 19 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 639.17
Current children cumulated vsize (KiB) 915424

[startup+702.859 s]
/proc/loadavg: 2.00 2.04 1.99 3/87 19936
/proc/meminfo: memFree=1107864/2055920 swapFree=4192812/4192956
[pid=19806] ppid=19804 vsize=915424 CPUtime=699.15
/proc/19806/stat : 19806 (java) R 19804 19806 19257 0 -1 0 32725 0 1 0 69892 23 0 0 25 0 8 0 164146491 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19806/statm: 228856 32454 2532 14 0 215326 0
[pid=19806/tid=19808] ppid=19804 vsize=915424 CPUtime=0.45
/proc/19806/task/19808/stat : 19808 (java) S 19804 19806 19257 0 -1 64 15712 0 0 0 41 4 0 0 16 0 8 0 164146495 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19809] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19809/stat : 19809 (java) S 19804 19806 19257 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19810] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19810/stat : 19810 (java) S 19804 19806 19257 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164146496 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19811] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19811/stat : 19811 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19812] ppid=19804 vsize=915424 CPUtime=0.26
/proc/19806/task/19812/stat : 19812 (java) S 19804 19806 19257 0 -1 64 391 0 0 0 26 0 0 0 16 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19813] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19813/stat : 19813 (java) S 19804 19806 19257 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19806/tid=19814] ppid=19804 vsize=915424 CPUtime=0
/proc/19806/task/19814/stat : 19814 (java) S 19804 19806 19257 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164146499 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 699.15
Current children cumulated vsize (KiB) 915424

Child status: 0
Real time (s): 722.448
CPU time (s): 718.704
CPU user time (s): 718.446
CPU system time (s): 0.25796
CPU usage (%): 99.4817
Max. virtual memory (cumulated for all children) (KiB): 915424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 718.446
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32732
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= 15751
involuntary context switches= 26969

runsolver used 0.965853 s user time and 2.6136 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Sun Jan  7 08:11:25 UTC 2007


IDJOB= 203183
IDBENCH= 3926
FILE ID= node58/203183-1168157485

PBS_JOBID= 3478503

Free space on /tmp= 66543 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203183-1168157485/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-203183-1168157485 -o ROOT/results/node58/solver-203183-1168157485 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203183-1168157485/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  09ed6e0d3778546675382686de961bcd

RANDOM SEED= 700884112

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1241272 kB
Buffers:         39404 kB
Cached:         566476 kB
SwapCached:          0 kB
Active:         266424 kB
Inactive:       480284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1241272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7484 kB
Writeback:           0 kB
Mapped:         161024 kB
Slab:            53196 kB
Committed_AS:  3367988 kB
PageTables:       2000 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= 66543 MiB



End job on node58 on Sun Jan  7 08:23:28 UTC 2007