Trace number 225525

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 4.44132 4.52129

DiagnosticValue
CHECKS50480652
NODES7670

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-33_ext.xml
MD5SUM2c1d63f71aa62cd0d008f2331a6aee4a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.44132
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
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/225525-1168272708/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.41	       =>  wckTime=0.102  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.77	   
0.77	   constraints being loaded...
0.90	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.90	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=7  maxArity=2
0.90	       =>  wckTime=0.591  cpuTime=0.54  mem=36M311
0.96	   
0.96	   solver IterativeSystematicSolver being built... 
1.12	       =>  wckTime=0.809  cpuTime=0.68  mem=16M387
1.20	   
1.20	   preprocessing
1.20	     nbConstraintChecks=473128  nbPropagations=962  nbRevisions=3305  nbUselessRevisions=1917  nbSingletonTests=49
1.20	     nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=0  detectedInconsistency=no
1.20	       =>  wckTime=0.067  cpuTime=0.04  mem=16M387
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=229201  nbPropagations=2273  nbRevisions=7345  nbUselessRevisions=3628  nbAssignments=42
1.25	     nbFailedAssignments=25  nbBacktracks=11  nbVisitedNodes=75  nbRestartNogoods=0  mapSize=11  nbInferences=0
1.25	     nbTooLargeKeys=0
1.25	       =>  wckTime=0.117  cpuTime=0.08  mem=16M387
1.27	   
1.28	   search
1.28	     run=1  nbConstraintChecks=550458  nbPropagations=5897  nbRevisions=19176  nbUselessRevisions=9301  nbAssignments=89
1.28	     nbFailedAssignments=51  nbBacktracks=27  nbVisitedNodes=156  nbRestartNogoods=4  mapSize=22  nbInferences=0
1.28	     nbTooLargeKeys=0
1.28	       =>  wckTime=0.146  cpuTime=0.11  mem=16M387
1.33	   
1.33	   search
1.33	     run=2  nbConstraintChecks=1378350  nbPropagations=12206  nbRevisions=40987  nbUselessRevisions=19580
1.33	     nbAssignments=186  nbFailedAssignments=120  nbBacktracks=49  nbVisitedNodes=341  nbRestartNogoods=7  mapSize=42
1.33	     nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.205  cpuTime=0.16  mem=16M387
1.41	   
1.41	   search
1.41	     run=3  nbConstraintChecks=2586110  nbPropagations=23333  nbRevisions=78469  nbUselessRevisions=37385
1.41	     nbAssignments=341  nbFailedAssignments=177  nbBacktracks=83  nbVisitedNodes=517  nbRestartNogoods=29  mapSize=69
1.41	     nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.282  cpuTime=0.23  mem=16M387
1.55	   
1.55	   search
1.55	     run=4  nbConstraintChecks=4753388  nbPropagations=42713  nbRevisions=146240  nbUselessRevisions=69503
1.55	     nbAssignments=655  nbFailedAssignments=429  nbBacktracks=133  nbVisitedNodes=1112  nbRestartNogoods=36  mapSize=111
1.55	     nbInferences=0  nbTooLargeKeys=0
1.55	       =>  wckTime=0.42  cpuTime=0.37  mem=16M387
1.63	   
1.63	   search
1.63	     run=5  nbConstraintChecks=5778498  nbPropagations=68911  nbRevisions=235299  nbUselessRevisions=110557
1.63	     nbAssignments=877  nbFailedAssignments=569  nbBacktracks=208  nbVisitedNodes=1519  nbRestartNogoods=46  mapSize=169
1.63	     nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.501  cpuTime=0.45  mem=16M387
1.76	   
1.76	   search
1.76	     run=6  nbConstraintChecks=7596216  nbPropagations=106207  nbRevisions=360452  nbUselessRevisions=167248
1.76	     nbAssignments=1212  nbFailedAssignments=771  nbBacktracks=322  nbVisitedNodes=2115  nbRestartNogoods=53
1.76	     mapSize=266  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.633  cpuTime=0.57  mem=17M359
2.15	   
2.15	   search
2.15	     run=7  nbConstraintChecks=13573251  nbPropagations=165923  nbRevisions=567537  nbUselessRevisions=260727
2.15	     nbAssignments=1961  nbFailedAssignments=1348  nbBacktracks=492  nbVisitedNodes=3571  nbRestartNogoods=66
2.15	     mapSize=419  nbInferences=0  nbTooLargeKeys=0
2.15	       =>  wckTime=1.017  cpuTime=0.94  mem=17M359
2.41	   
2.41	   search
2.41	     run=8  nbConstraintChecks=17375810  nbPropagations=249870  nbRevisions=852855  nbUselessRevisions=387584
2.41	     nbAssignments=2623  nbFailedAssignments=1747  nbBacktracks=748  nbVisitedNodes=4794  nbRestartNogoods=68
2.41	     mapSize=623  nbInferences=0  nbTooLargeKeys=0
2.41	       =>  wckTime=1.285  cpuTime=1.2  mem=17M359
2.79	   
2.79	   search
2.79	     run=9  nbConstraintChecks=22982670  nbPropagations=369680  nbRevisions=1252805  nbUselessRevisions=562968
2.79	     nbAssignments=3685  nbFailedAssignments=2417  nbBacktracks=1133  nbVisitedNodes=6773  nbRestartNogoods=76
2.79	     mapSize=938  nbInferences=0  nbTooLargeKeys=0
2.79	       =>  wckTime=1.657  cpuTime=1.57  mem=17M359
2.96	   
2.96	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=17M359)
3.77	   
3.77	   search
3.77	     run=10  nbConstraintChecks=39359495  nbPropagations=552933  nbRevisions=1883663  nbUselessRevisions=841674
3.77	     nbAssignments=5679  nbFailedAssignments=3818  nbBacktracks=1710  nbVisitedNodes=10590  nbRestartNogoods=91
3.77	       =>  wckTime=2.638  cpuTime=2.53  mem=17M359
4.47	   
4.47	   search
4.47	     run=11  nbConstraintChecks=50007524  nbPropagations=808506  nbRevisions=2743801  nbUselessRevisions=1217013
4.47	     nbAssignments=7670  nbFailedAssignments=4992  nbBacktracks=2487  nbVisitedNodes=14258  nbRestartNogoods=97
4.47	       =>  wckTime=3.343  cpuTime=3.23  mem=17M359
4.47	   
4.47	   global
4.47	     nbConstraintChecks=50480652  nbPropagations=809468  nbRevisions=2747106  nbUselessRevisions=1218930
4.47	     nbRestartNogoods=97  solvingWckTime=3.344  solvingCpuTime=3.23  expiredTime=no  totalExploration=no
4.47	     nbFoundSolutions=1  globalCpuTime=3.95
4.47	       =>  wckTime=4.164  cpuTime=3.91  mem=17M359
4.48	   
4.48	s SATISFIABLE
4.48	v 157 74 139 23 95 156 178 171 156 13 34 103 51 80 100 104 119 165 63 113 38 44 50 69 147 91 92 3 47 14 134 30 94 63 120 77 21 178 30 143 
4.48	d NODES 7670
4.48	d CHECKS 50480652
4.48	   
4.48	   totalWckTime=4.244  totalCpuTime=3.95

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/node26/watcher-225525-1168272708 -o ROOT/results/node26/solver-225525-1168272708 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225525-1168272708/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.80 1.33 1.12 4/86 19083
/proc/meminfo: memFree=356384/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=9788 CPUtime=0
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 461 0 0 0 0 0 0 0 19 0 1 0 175665039 10022912 248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12555359 0 0 4096 0 0 0 0 17 1 0 0
/proc/19082/statm: 2447 248 181 14 0 1138 0

[startup+0.10512 s]
/proc/loadavg: 1.80 1.33 1.12 4/86 19083
/proc/meminfo: memFree=356384/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=914988 CPUtime=0.09
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 3004 0 1 0 7 2 0 0 20 0 8 0 175665039 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153838974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513157 s]
/proc/loadavg: 1.80 1.33 1.12 4/86 19083
/proc/meminfo: memFree=356384/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=915328 CPUtime=0.49
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 7529 0 1 0 45 4 0 0 18 0 8 0 175665039 937295872 7268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228832 7268 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33449 s]
/proc/loadavg: 1.80 1.33 1.12 3/93 19090
/proc/meminfo: memFree=303976/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=915464 CPUtime=1.3
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 14367 0 1 0 122 8 0 0 25 0 8 0 175665039 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228866 14105 2524 14 0 215336 0
[pid=19082/tid=19084] ppid=19080 vsize=915464 CPUtime=0.04
/proc/19082/task/19084/stat : 19084 (java) S 19080 19082 18779 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175665043 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19085] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19085/stat : 19085 (java) S 19080 19082 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19086] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19086/stat : 19086 (java) S 19080 19082 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19087] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19087/stat : 19087 (java) S 19080 19082 18779 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19088] ppid=19080 vsize=915464 CPUtime=0.17
/proc/19082/task/19088/stat : 19088 (java) S 19080 19082 18779 0 -1 64 358 0 0 0 17 0 0 0 15 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19089] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19089/stat : 19089 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19090] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19090/stat : 19090 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175665047 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.97238 s]
/proc/loadavg: 1.80 1.33 1.12 3/93 19090
/proc/meminfo: memFree=298216/2055920 swapFree=4192812/4192956
[pid=19082] ppid=19080 vsize=915464 CPUtime=2.93
/proc/19082/stat : 19082 (java) R 19080 19082 18779 0 -1 0 14386 0 1 0 285 8 0 0 25 0 8 0 175665039 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19082/statm: 228866 14122 2524 14 0 215336 0
[pid=19082/tid=19084] ppid=19080 vsize=915464 CPUtime=0.04
/proc/19082/task/19084/stat : 19084 (java) S 19080 19082 18779 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 175665043 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19085] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19085/stat : 19085 (java) S 19080 19082 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19086] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19086/stat : 19086 (java) S 19080 19082 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175665044 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19087] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19087/stat : 19087 (java) S 19080 19082 18779 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19088] ppid=19080 vsize=915464 CPUtime=0.2
/proc/19082/task/19088/stat : 19088 (java) S 19080 19082 18779 0 -1 64 375 0 0 0 20 0 0 0 15 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19089] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19089/stat : 19089 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19082/tid=19090] ppid=19080 vsize=915464 CPUtime=0
/proc/19082/task/19090/stat : 19090 (java) S 19080 19082 18779 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175665047 937435136 14122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 4.52129
CPU time (s): 4.44132
CPU user time (s): 4.34134
CPU system time (s): 0.099984
CPU usage (%): 98.2312
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34134
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14399
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= 1143
involuntary context switches= 1488

runsolver used 0.005999 s user time and 0.024996 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Jan  8 16:11:48 UTC 2007


IDJOB= 225525
IDBENCH= 5868
FILE ID= node26/225525-1168272708

PBS_JOBID= 3483225

Free space on /tmp= 66537 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225525-1168272708/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-225525-1168272708 -o ROOT/results/node26/solver-225525-1168272708 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225525-1168272708/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2c1d63f71aa62cd0d008f2331a6aee4a

RANDOM SEED= 562293630

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.236
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.236
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:        356928 kB
Buffers:         13164 kB
Cached:        1499632 kB
SwapCached:          0 kB
Active:         980220 kB
Inactive:       665692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        356928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3624 kB
Writeback:           0 kB
Mapped:         152756 kB
Slab:            37768 kB
Committed_AS:  3580944 kB
PageTables:       2448 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= 66537 MiB



End job on node26 on Mon Jan  8 16:11:52 UTC 2007