Trace number 210417

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 124.961 125.091

DiagnosticValue
CHECKS79930459
NODES436418

General information on the benchmark

NamepseudoSeries/fpga/
fpga-13-11.xml
MD5SUMe3cf89f494b402d682900d8c1ff0cbd2
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.332948
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables215
Number of constraints178
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension178
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/210417-1168197862/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=215  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.42	       =>  wckTime=0.11  cpuTime=0.1  mem=6M951
0.42	   
0.42	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
0.61	     nbConstraints=178  nbConflictsStructures=6  nbSharedConflictsStructures=172  nbSharedBinaryRepresentations=0
0.61	     nbEvaluationManagers=6  nbSharedEvaluationManagers=172  maxDegree=12  maxArity=13
0.61	       =>  wckTime=0.299  cpuTime=0.22  mem=10M852
0.65	   
0.65	   solver IterativeSystematicSolver being built... 
0.84	       =>  wckTime=0.531  cpuTime=0.38  mem=17M859
0.91	   
0.92	   preprocessing
0.92	     nbConstraintChecks=2680  nbValidityChecks=2626  nbPropagations=849  nbRevisions=2250  nbUselessRevisions=2002
0.92	     nbSingletonTests=399  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
0.92	       =>  wckTime=0.07  cpuTime=0.05  mem=17M859
0.97	   
0.98	   search
0.98	     run=0  nbConstraintChecks=2775  nbValidityChecks=347  nbPropagations=1068  nbRevisions=2664
0.98	     nbUselessRevisions=2191  nbAssignments=183  nbFailedAssignments=1  nbBacktracks=117  nbVisitedNodes=186
0.98	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.133  cpuTime=0.1  mem=17M859
1.02	   
1.02	   search
1.02	     run=1  nbConstraintChecks=9086  nbValidityChecks=866  nbPropagations=2400  nbRevisions=5829
1.02	     nbUselessRevisions=4603  nbAssignments=379  nbFailedAssignments=3  nbBacktracks=139  nbVisitedNodes=386
1.02	     nbRestartNogoods=1  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.179  cpuTime=0.14  mem=17M859
1.05	   
1.06	   search
1.06	     run=2  nbConstraintChecks=13354  nbValidityChecks=1436  nbPropagations=3974  nbRevisions=9561
1.06	     nbUselessRevisions=7330  nbAssignments=487  nbFailedAssignments=4  nbBacktracks=180  nbVisitedNodes=497
1.06	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.21  cpuTime=0.17  mem=17M859
1.09	   
1.09	   search
1.09	     run=3  nbConstraintChecks=21268  nbValidityChecks=2280  nbPropagations=5838  nbRevisions=14059
1.09	     nbUselessRevisions=10511  nbAssignments=604  nbFailedAssignments=6  nbBacktracks=227  nbVisitedNodes=620
1.09	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.09	       =>  wckTime=0.247  cpuTime=0.2  mem=17M859
1.15	   
1.15	   search
1.15	     run=4  nbConstraintChecks=33859  nbValidityChecks=3452  nbPropagations=8076  nbRevisions=19588
1.15	     nbUselessRevisions=14317  nbAssignments=770  nbFailedAssignments=9  nbBacktracks=286  nbVisitedNodes=795
1.15	     nbRestartNogoods=4  mapSize=18  nbInferences=3  nbTooLargeKeys=0
1.15	       =>  wckTime=0.303  cpuTime=0.26  mem=18M834
1.20	   
1.21	   search
1.21	     run=5  nbConstraintChecks=45427  nbValidityChecks=4524  nbPropagations=10677  nbRevisions=26034
1.21	     nbUselessRevisions=18636  nbAssignments=952  nbFailedAssignments=12  nbBacktracks=394  nbVisitedNodes=986
1.21	     nbRestartNogoods=6  mapSize=25  nbInferences=4  nbTooLargeKeys=0
1.21	       =>  wckTime=0.358  cpuTime=0.31  mem=18M834
1.26	   
1.27	   search
1.27	     run=6  nbConstraintChecks=55726  nbValidityChecks=5900  nbPropagations=13820  nbRevisions=33677
1.27	     nbUselessRevisions=23606  nbAssignments=1146  nbFailedAssignments=14  nbBacktracks=509  nbVisitedNodes=1193
1.27	     nbRestartNogoods=8  mapSize=33  nbInferences=12  nbTooLargeKeys=0
1.27	       =>  wckTime=0.42  cpuTime=0.36  mem=18M834
1.40	   
1.41	   search
1.41	     run=7  nbConstraintChecks=112972  nbValidityChecks=11202  nbPropagations=18462  nbRevisions=45283
1.41	     nbUselessRevisions=30984  nbAssignments=1576  nbFailedAssignments=36  nbBacktracks=680  nbVisitedNodes=1538
1.41	     nbRestartNogoods=13  mapSize=78  nbInferences=16  nbTooLargeKeys=0
1.41	       =>  wckTime=0.56  cpuTime=0.5  mem=18M834
1.51	   
1.51	   search
1.51	     run=8  nbConstraintChecks=133596  nbValidityChecks=15244  nbPropagations=24187  nbRevisions=60104
1.51	     nbUselessRevisions=40436  nbAssignments=2040  nbFailedAssignments=49  nbBacktracks=949  nbVisitedNodes=1960
1.51	     nbRestartNogoods=17  mapSize=98  nbInferences=16  nbTooLargeKeys=0
1.51	       =>  wckTime=0.665  cpuTime=0.59  mem=18M834
1.73	   
1.74	   search
1.74	     run=9  nbConstraintChecks=236317  nbValidityChecks=24413  nbPropagations=32224  nbRevisions=81079
1.74	     nbUselessRevisions=53434  nbAssignments=2773  nbFailedAssignments=90  nbBacktracks=1333  nbVisitedNodes=2625
1.74	     nbRestartNogoods=22  mapSize=190  nbInferences=16  nbTooLargeKeys=0
1.74	       =>  wckTime=0.888  cpuTime=0.81  mem=18M834
2.08	   
2.08	   search
2.08	     run=10  nbConstraintChecks=450775  nbValidityChecks=37554  nbPropagations=43897  nbRevisions=111232
2.08	     nbUselessRevisions=71012  nbAssignments=3525  nbFailedAssignments=163  nbBacktracks=1917  nbVisitedNodes=3561
2.08	     nbRestartNogoods=26  mapSize=360  nbInferences=16  nbTooLargeKeys=0
2.08	       =>  wckTime=1.237  cpuTime=1.15  mem=18M834
2.54	   
2.54	   search
2.54	     run=11  nbConstraintChecks=728124  nbValidityChecks=53328  nbPropagations=60536  nbRevisions=151826
2.54	     nbUselessRevisions=93061  nbAssignments=4590  nbFailedAssignments=247  nbBacktracks=2799  nbVisitedNodes=4845
2.54	     nbRestartNogoods=28  mapSize=575  nbInferences=16  nbTooLargeKeys=0
2.54	       =>  wckTime=1.698  cpuTime=1.61  mem=18M834
3.24	   
3.24	   search
3.24	     run=12  nbConstraintChecks=1166216  nbValidityChecks=72045  nbPropagations=83106  nbRevisions=202940
3.24	     nbUselessRevisions=119123  nbAssignments=6136  nbFailedAssignments=392  nbBacktracks=4107  nbVisitedNodes=6724
3.24	     nbRestartNogoods=30  mapSize=906  nbInferences=16  nbTooLargeKeys=0
3.24	       =>  wckTime=2.401  cpuTime=2.31  mem=19M809
3.88	   
3.88	   search
3.88	     run=13  nbConstraintChecks=1473746  nbValidityChecks=92703  nbPropagations=113072  nbRevisions=265694
3.88	     nbUselessRevisions=149139  nbAssignments=8338  nbFailedAssignments=543  nbBacktracks=6054  nbVisitedNodes=9300
3.88	     nbRestartNogoods=32  mapSize=1276  nbInferences=16  nbTooLargeKeys=0
3.88	       =>  wckTime=3.034  cpuTime=2.94  mem=19M809
5.26	   
5.26	   search
5.26	     run=14  nbConstraintChecks=2299490  nbValidityChecks=140561  nbPropagations=158113  nbRevisions=355513
5.26	     nbUselessRevisions=188962  nbAssignments=11626  nbFailedAssignments=816  nbBacktracks=8976  nbVisitedNodes=13485
5.26	     nbRestartNogoods=36  mapSize=2169  nbInferences=16  nbTooLargeKeys=0
5.26	       =>  wckTime=4.419  cpuTime=4.32  mem=20M785
7.04	   
7.04	   INFO : Stopping hyperNogood (mapSize=3207, nbTooLargekeys=0, mem=21M760)
7.09	   
7.09	   search
7.09	     run=15  nbConstraintChecks=3401441  nbValidityChecks=200300  nbPropagations=223609  nbRevisions=478834
7.09	     nbUselessRevisions=240702  nbAssignments=16510  nbFailedAssignments=1221  nbBacktracks=13356  nbVisitedNodes=19461
7.09	     nbRestartNogoods=39
7.09	       =>  wckTime=6.25  cpuTime=6.14  mem=21M760
8.84	   
8.84	   search
8.84	     run=16  nbConstraintChecks=4574236  nbValidityChecks=275808  nbPropagations=315702  nbRevisions=645714
8.84	     nbUselessRevisions=307195  nbAssignments=23784  nbFailedAssignments=1828  nbBacktracks=19924  nbVisitedNodes=28145
8.84	     nbRestartNogoods=43
8.84	       =>  wckTime=7.996  cpuTime=7.88  mem=21M760
12.18	   
12.18	   search
12.18	     run=17  nbConstraintChecks=6841787  nbValidityChecks=410553  nbPropagations=451505  nbRevisions=889973
12.18	     nbUselessRevisions=401236  nbAssignments=34780  nbFailedAssignments=2866  nbBacktracks=29794  nbVisitedNodes=41732
12.18	     nbRestartNogoods=47
12.18	       =>  wckTime=11.337  cpuTime=11.22  mem=21M760
16.33	   
16.33	   search
16.33	     run=18  nbConstraintChecks=9444999  nbValidityChecks=637687  nbPropagations=666094  nbRevisions=1263293
16.33	     nbUselessRevisions=538702  nbAssignments=50910  nbFailedAssignments=4109  nbBacktracks=44603  nbVisitedNodes=62028
16.33	     nbRestartNogoods=49
16.33	       =>  wckTime=15.487  cpuTime=15.37  mem=21M760
22.93	   
22.93	   search
22.93	     run=19  nbConstraintChecks=13655108  nbValidityChecks=971254  nbPropagations=990784  nbRevisions=1825467
22.93	     nbUselessRevisions=742155  nbAssignments=75245  nbFailedAssignments=6169  nbBacktracks=66778  nbVisitedNodes=92871
22.93	     nbRestartNogoods=51
22.93	       =>  wckTime=22.089  cpuTime=21.97  mem=21M760
33.05	   
33.05	   search
33.05	     run=20  nbConstraintChecks=20268488  nbValidityChecks=1442328  nbPropagations=1468139  nbRevisions=2657227
33.05	     nbUselessRevisions=1041989  nbAssignments=111250  nbFailedAssignments=8827  nbBacktracks=100030
33.05	     nbVisitedNodes=137085  nbRestartNogoods=56
33.05	       =>  wckTime=32.204  cpuTime=32.08  mem=21M760
50.70	   
50.70	   search
50.70	     run=21  nbConstraintChecks=32078291  nbValidityChecks=2225419  nbPropagations=2208420  nbRevisions=3930835
50.70	     nbUselessRevisions=1495220  nbAssignments=165923  nbFailedAssignments=13523  nbBacktracks=149918
50.70	     nbVisitedNodes=206265  nbRestartNogoods=60
50.70	       =>  wckTime=49.859  cpuTime=49.73  mem=21M760
72.35	   
72.35	   search
72.35	     run=22  nbConstraintChecks=46013989  nbValidityChecks=3292400  nbPropagations=3294365  nbRevisions=5807024
72.35	     nbUselessRevisions=2157875  nbAssignments=246479  nbFailedAssignments=19170  nbBacktracks=224737
72.35	     nbVisitedNodes=305874  nbRestartNogoods=64
72.35	       =>  wckTime=71.511  cpuTime=71.38  mem=21M760
107.06	   
107.06	   search
107.06	     run=23  nbConstraintChecks=68481943  nbValidityChecks=4959198  nbPropagations=4920809  nbRevisions=8628511
107.06	     nbUselessRevisions=3146457  nbAssignments=367760  nbFailedAssignments=28142  nbBacktracks=336975
107.06	     nbVisitedNodes=455014  nbRestartNogoods=68
107.06	       =>  wckTime=106.22  cpuTime=106.08  mem=21M760
125.02	   
125.02	   search
125.02	     run=24  nbConstraintChecks=79927779  nbValidityChecks=5852698  nbPropagations=6827082  nbRevisions=11962922
125.02	     nbUselessRevisions=4324603  nbAssignments=436418  nbFailedAssignments=32914  nbBacktracks=400646
125.02	     nbVisitedNodes=538759  nbRestartNogoods=71
125.02	       =>  wckTime=124.178  cpuTime=124.03  mem=21M760
125.02	   
125.02	   global
125.02	     nbConstraintChecks=79930459  nbValidityChecks=5855324  nbPropagations=6827931  nbRevisions=11965172
125.02	     nbUselessRevisions=4326605  nbRestartNogoods=71  solvingWckTime=124.179  solvingCpuTime=124.03  expiredTime=no
125.02	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=124.46
125.02	       =>  wckTime=124.711  cpuTime=124.41  mem=21M760
125.02	   
125.02	s SATISFIABLE
125.02	v 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 
125.02	d NODES 436418
125.02	d CHECKS 79930459
125.02	   
125.03	   totalWckTime=124.788  totalCpuTime=124.46

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/node48/watcher-210417-1168197862 -o ROOT/results/node48/solver-210417-1168197862 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210417-1168197862/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.77 1.94 1.81 3/68 12028
/proc/meminfo: memFree=1679032/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=1784 CPUtime=0
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 168185108 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12027/statm: 446 140 106 14 0 91 0

[startup+0.107988 s]
/proc/loadavg: 1.77 1.94 1.81 3/68 12028
/proc/meminfo: memFree=1679032/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=914988 CPUtime=0.08
/proc/12027/stat : 12027 (java) D 12025 12027 11489 0 -1 0 2989 0 1 0 7 1 0 0 16 0 8 0 168185108 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.520025 s]
/proc/loadavg: 1.77 1.94 1.81 3/68 12028
/proc/meminfo: memFree=1679032/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=0.49
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 6947 0 1 0 45 4 0 0 16 0 8 0 168185108 937431040 6686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073574987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 6686 2159 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.3461 s]
/proc/loadavg: 1.77 1.94 1.81 4/88 12094
/proc/meminfo: memFree=1643416/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=1.31
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 9543 0 1 0 123 8 0 0 16 0 8 0 168185108 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073893915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12027/statm: 228865 9281 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 17 0 8 0 168185112 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.22
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 168185116 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 9281 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) 915460

[startup+2.98225 s]
/proc/loadavg: 1.78 1.94 1.81 2/76 12100
/proc/meminfo: memFree=1650616/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=2.95
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 9796 0 1 0 286 9 0 0 17 0 8 0 168185108 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 9533 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.24
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 401 0 0 0 23 1 0 0 15 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 9533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 9533 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) 915460

[startup+6.26755 s]
/proc/loadavg: 1.78 1.94 1.81 3/88 12167
/proc/meminfo: memFree=1605968/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=6.23
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10294 0 1 0 613 10 0 0 19 0 8 0 168185108 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12027/statm: 228865 10029 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.24
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7522 s]
/proc/loadavg: 1.90 1.96 1.82 3/91 12228
/proc/meminfo: memFree=1563000/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=12.7
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10428 0 1 0 1259 11 0 0 25 0 8 0 168185108 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10162 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.24
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 404 0 0 0 23 1 0 0 16 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460

[startup+25.6193 s]
/proc/loadavg: 1.91 1.96 1.82 3/92 12229
/proc/meminfo: memFree=1560240/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=25.57
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10435 0 1 0 2546 11 0 0 25 0 8 0 168185108 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10169 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.25
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460

[startup+51.2597 s]
/proc/loadavg: 1.94 1.96 1.82 3/92 12229
/proc/meminfo: memFree=1543344/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=51.2
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10440 0 1 0 5109 11 0 0 25 0 8 0 168185108 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10174 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.25
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460

[startup+102.512 s]
/proc/loadavg: 1.97 1.97 1.83 3/92 12229
/proc/meminfo: memFree=1543408/2055920 swapFree=4192812/4192956
[pid=12027] ppid=12025 vsize=915460 CPUtime=102.44
/proc/12027/stat : 12027 (java) R 12025 12027 11489 0 -1 0 10443 0 1 0 10233 11 0 0 25 0 8 0 168185108 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073897389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12027/statm: 228865 10177 2543 14 0 215335 0
[pid=12027/tid=12029] ppid=12025 vsize=915460 CPUtime=0.02
/proc/12027/task/12029/stat : 12029 (java) S 12025 12027 11489 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 168185112 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12030] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12030/stat : 12030 (java) S 12025 12027 11489 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12031] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12031/stat : 12031 (java) S 12025 12027 11489 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168185113 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12032] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12032/stat : 12032 (java) S 12025 12027 11489 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12033] ppid=12025 vsize=915460 CPUtime=0.25
/proc/12027/task/12033/stat : 12033 (java) S 12025 12027 11489 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12027/tid=12034] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12034/stat : 12034 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12027/tid=12035] ppid=12025 vsize=915460 CPUtime=0
/proc/12027/task/12035/stat : 12035 (java) S 12025 12027 11489 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168185116 937431040 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 125.091
CPU time (s): 124.961
CPU user time (s): 124.841
CPU system time (s): 0.119981
CPU usage (%): 99.8963
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.841
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10542
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= 3559
involuntary context switches= 996

runsolver used 0.162975 s user time and 0.379942 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sun Jan  7 19:24:23 UTC 2007


IDJOB= 210417
IDBENCH= 4618
FILE ID= node48/210417-1168197862

PBS_JOBID= 3480696

Free space on /tmp= 66563 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-13-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210417-1168197862/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-210417-1168197862 -o ROOT/results/node48/solver-210417-1168197862 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210417-1168197862/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e3cf89f494b402d682900d8c1ff0cbd2

RANDOM SEED= 83407380

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.218
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.218
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:       1679448 kB
Buffers:         59632 kB
Cached:         238072 kB
SwapCached:          0 kB
Active:         134072 kB
Inactive:       184216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1679448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:          30804 kB
Slab:            43932 kB
Committed_AS:  3707284 kB
PageTables:       1584 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= 66561 MiB



End job on node48 on Sun Jan  7 19:26:29 UTC 2007