Trace number 229350

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 ACUNSAT 4.78427 4.83434

DiagnosticValue
CHECKS25038357
NODES18931

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-45_ext.xml
MD5SUMc03e85f81ef9d6cb4dc5dc2a8bf18586
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.04184
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
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=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/229350-1168080962/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.60	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.60	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1283  maxDegree=21
0.60	     maxArity=2
0.60	       =>  wckTime=0.282  cpuTime=0.21  mem=11M893
0.64	   
0.64	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.48  cpuTime=0.34  mem=13M737
0.80	   
0.80	   preprocessing
0.80	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.80	     detectedInconsistency=no
0.80	       =>  wckTime=0.0030  cpuTime=0.0  mem=13M737
0.85	   
0.85	   search
0.85	     run=0  nbConstraintChecks=27061  nbPropagations=467  nbRevisions=4369  nbUselessRevisions=3308  nbAssignments=22
0.85	     nbFailedAssignments=8  nbBacktracks=12  nbVisitedNodes=36  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.051  cpuTime=0.03  mem=14M712
0.87	   
0.87	   search
0.87	     run=1  nbConstraintChecks=64868  nbPropagations=1557  nbRevisions=15201  nbUselessRevisions=11528  nbAssignments=54
0.87	     nbFailedAssignments=19  nbBacktracks=30  nbVisitedNodes=89  nbRestartNogoods=1  mapSize=23  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.071  cpuTime=0.04  mem=14M712
0.89	   
0.89	   search
0.89	     run=2  nbConstraintChecks=123062  nbPropagations=3508  nbRevisions=35096  nbUselessRevisions=26496
0.89	     nbAssignments=101  nbFailedAssignments=42  nbBacktracks=52  nbVisitedNodes=171  nbRestartNogoods=4  mapSize=43
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.094  cpuTime=0.06  mem=14M712
0.91	   
0.91	   search
0.91	     run=3  nbConstraintChecks=204205  nbPropagations=6734  nbRevisions=68175  nbUselessRevisions=51415
0.91	     nbAssignments=161  nbFailedAssignments=63  nbBacktracks=86  nbVisitedNodes=275  nbRestartNogoods=5  mapSize=72
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.111  cpuTime=0.08  mem=14M712
0.93	   
0.93	   search
0.93	     run=4  nbConstraintChecks=309750  nbPropagations=11724  nbRevisions=120191  nbUselessRevisions=90785
0.93	     nbAssignments=252  nbFailedAssignments=98  nbBacktracks=138  nbVisitedNodes=432  nbRestartNogoods=11  mapSize=118
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.135  cpuTime=0.1  mem=14M712
0.97	   
0.97	   search
0.97	     run=5  nbConstraintChecks=479189  nbPropagations=19297  nbRevisions=200122  nbUselessRevisions=150618
0.97	     nbAssignments=390  nbFailedAssignments=156  nbBacktracks=214  nbVisitedNodes=671  nbRestartNogoods=15  mapSize=178
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.172  cpuTime=0.13  mem=14M712
1.02	   
1.02	   search
1.02	     run=6  nbConstraintChecks=741344  nbPropagations=30859  nbRevisions=324270  nbUselessRevisions=243535
1.02	     nbAssignments=585  nbFailedAssignments=236  nbBacktracks=327  nbVisitedNodes=1016  nbRestartNogoods=22  mapSize=273
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.224  cpuTime=0.18  mem=14M712
1.10	   
1.10	   search
1.10	     run=7  nbConstraintChecks=1133563  nbPropagations=48673  nbRevisions=515840  nbUselessRevisions=387147
1.10	     nbAssignments=892  nbFailedAssignments=370  nbBacktracks=497  nbVisitedNodes=1562  nbRestartNogoods=27  mapSize=427
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.3  cpuTime=0.25  mem=14M712
1.21	   
1.21	   search
1.21	     run=8  nbConstraintChecks=1671346  nbPropagations=75136  nbRevisions=802296  nbUselessRevisions=602198
1.21	     nbAssignments=1351  nbFailedAssignments=567  nbBacktracks=754  nbVisitedNodes=2370  nbRestartNogoods=33
1.21	     mapSize=650  nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.41  cpuTime=0.35  mem=14M712
1.37	   
1.37	   search
1.37	     run=9  nbConstraintChecks=2527656  nbPropagations=115588  nbRevisions=1240939  nbUselessRevisions=932694
1.37	     nbAssignments=2044  nbFailedAssignments=871  nbBacktracks=1139  nbVisitedNodes=3615  nbRestartNogoods=40
1.37	     mapSize=1003  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.575  cpuTime=0.5  mem=14M712
1.38	   
1.38	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=14M712)
1.57	   
1.57	   search
1.57	     run=10  nbConstraintChecks=3719833  nbPropagations=174663  nbRevisions=1876772  nbUselessRevisions=1411372
1.57	     nbAssignments=2984  nbFailedAssignments=1232  nbBacktracks=1715  nbVisitedNodes=5247  nbRestartNogoods=47
1.57	       =>  wckTime=0.774  cpuTime=0.69  mem=14M712
1.89	   
1.89	   search
1.89	     run=11  nbConstraintChecks=5775403  nbPropagations=265559  nbRevisions=2861477  nbUselessRevisions=2153064
1.89	     nbAssignments=4509  nbFailedAssignments=1888  nbBacktracks=2582  nbVisitedNodes=7997  nbRestartNogoods=55
1.89	       =>  wckTime=1.091  cpuTime=1.0  mem=14M712
2.34	   
2.34	   search
2.34	     run=12  nbConstraintChecks=8752761  nbPropagations=403166  nbRevisions=4354529  nbUselessRevisions=3279059
2.34	     nbAssignments=6842  nbFailedAssignments=2921  nbBacktracks=3880  nbVisitedNodes=12180  nbRestartNogoods=61
2.34	       =>  wckTime=1.548  cpuTime=1.46  mem=14M712
3.04	   
3.04	   search
3.04	     run=13  nbConstraintChecks=13386465  nbPropagations=611724  nbRevisions=6631767  nbUselessRevisions=4997364
3.04	     nbAssignments=10317  nbFailedAssignments=4447  nbBacktracks=5827  nbVisitedNodes=18422  nbRestartNogoods=70
3.04	       =>  wckTime=2.244  cpuTime=2.15  mem=14M712
4.13	   
4.13	   search
4.13	     run=14  nbConstraintChecks=20640123  nbPropagations=929553  nbRevisions=10138579  nbUselessRevisions=7648291
4.13	     nbAssignments=15619  nbFailedAssignments=6825  nbBacktracks=8749  nbVisitedNodes=27971  nbRestartNogoods=78
4.13	       =>  wckTime=3.335  cpuTime=3.24  mem=14M712
4.81	   
4.81	   search
4.81	     run=15  nbConstraintChecks=25038357  nbPropagations=1315854  nbRevisions=14391552  nbUselessRevisions=10862905
4.81	     nbAssignments=18931  nbFailedAssignments=8206  nbBacktracks=10681  nbVisitedNodes=33849  nbRestartNogoods=82
4.81	       =>  wckTime=4.011  cpuTime=3.91  mem=14M712
4.81	   
4.81	   global
4.81	     nbConstraintChecks=25038357  nbPropagations=1315894  nbRevisions=14391552  nbUselessRevisions=10862905
4.81	     nbRestartNogoods=82  solvingWckTime=4.012  solvingCpuTime=3.91  expiredTime=no  totalExploration=yes
4.81	     nbFoundSolutions=0  globalCpuTime=4.31
4.81	       =>  wckTime=4.495  cpuTime=4.25  mem=14M712
4.81	   
4.81	s UNSATISFIABLE
4.81	d NODES 18931
4.81	d CHECKS 25038357
4.81	   
4.81	   totalWckTime=4.575  totalCpuTime=4.31

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node35/watcher-229350-1168080962 -o ROOT/results/node35/solver-229350-1168080962 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229350-1168080962/unknown.xml 

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

/proc/loadavg: 0.12 1.12 1.62 6/73 14186
/proc/meminfo: memFree=1635632/2055920 swapFree=4192812/4192956
[pid=14185] ppid=14180 vsize=18540 CPUtime=0
/proc/14185/stat : 14185 (runsolver) R 14180 14185 14076 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156491414 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14185/statm: 4635 279 244 17 0 2626 0

[startup+0.105146 s]
/proc/loadavg: 0.12 1.12 1.62 6/73 14186
/proc/meminfo: memFree=1635632/2055920 swapFree=4192812/4192956
[pid=14185] ppid=14180 vsize=914988 CPUtime=0.08
/proc/14185/stat : 14185 (java) S 14180 14185 14076 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 156491414 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14185/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513193 s]
/proc/loadavg: 0.12 1.12 1.62 6/73 14186
/proc/meminfo: memFree=1635632/2055920 swapFree=4192812/4192956
[pid=14185] ppid=14180 vsize=915328 CPUtime=0.5
/proc/14185/stat : 14185 (java) R 14180 14185 14076 0 -1 0 6674 0 1 0 45 5 0 0 20 0 8 0 156491414 937295872 6413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14185/statm: 228832 6413 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33529 s]
/proc/loadavg: 0.43 1.16 1.64 3/87 14200
/proc/meminfo: memFree=1588920/2055920 swapFree=4192812/4192956
[pid=14185] ppid=14180 vsize=915452 CPUtime=1.3
/proc/14185/stat : 14185 (java) R 14180 14185 14076 0 -1 0 8581 0 1 0 124 6 0 0 25 0 8 0 156491414 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14185/statm: 228863 8319 2513 14 0 215333 0
[pid=14185/tid=14188] ppid=14180 vsize=915452 CPUtime=0.03
/proc/14185/task/14188/stat : 14188 (java) S 14180 14185 14076 0 -1 64 243 0 0 0 3 0 0 0 17 0 8 0 156491418 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14191] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14191/stat : 14191 (java) S 14180 14185 14076 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491418 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14192] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14192/stat : 14192 (java) S 14180 14185 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491418 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14197] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14197/stat : 14197 (java) S 14180 14185 14076 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491422 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14198] ppid=14180 vsize=915452 CPUtime=0.2
/proc/14185/task/14198/stat : 14198 (java) S 14180 14185 14076 0 -1 64 381 0 0 0 20 0 0 0 15 0 8 0 156491422 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14199] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14199/stat : 14199 (java) S 14180 14185 14076 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491422 937422848 8319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14200] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14200/stat : 14200 (java) S 14180 14185 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491422 937422848 8319 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) 915452

[startup+2.97248 s]
/proc/loadavg: 0.43 1.16 1.64 3/87 14200
/proc/meminfo: memFree=1588600/2055920 swapFree=4192812/4192956
[pid=14185] ppid=14180 vsize=915452 CPUtime=2.93
/proc/14185/stat : 14185 (java) R 14180 14185 14076 0 -1 0 8603 0 1 0 287 6 0 0 25 0 8 0 156491414 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14185/statm: 228863 8340 2513 14 0 215333 0
[pid=14185/tid=14188] ppid=14180 vsize=915452 CPUtime=0.03
/proc/14185/task/14188/stat : 14188 (java) S 14180 14185 14076 0 -1 64 243 0 0 0 3 0 0 0 17 0 8 0 156491418 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14191] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14191/stat : 14191 (java) S 14180 14185 14076 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156491418 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14192] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14192/stat : 14192 (java) S 14180 14185 14076 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156491418 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14197] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14197/stat : 14197 (java) S 14180 14185 14076 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156491422 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14198] ppid=14180 vsize=915452 CPUtime=0.22
/proc/14185/task/14198/stat : 14198 (java) S 14180 14185 14076 0 -1 64 389 0 0 0 22 0 0 0 15 0 8 0 156491422 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14199] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14199/stat : 14199 (java) S 14180 14185 14076 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156491422 937422848 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14185/tid=14200] ppid=14180 vsize=915452 CPUtime=0
/proc/14185/task/14200/stat : 14200 (java) S 14180 14185 14076 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156491422 937422848 8340 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) 915452

Child status: 0
Real time (s): 4.83434
CPU time (s): 4.78427
CPU user time (s): 4.70928
CPU system time (s): 0.074988
CPU usage (%): 98.9643
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.70928
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8701
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= 1170
involuntary context switches= 1436

runsolver used 0.009998 s user time and 0.025996 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan  6 10:56:09 UTC 2007


IDJOB= 229350
IDBENCH= 6298
FILE ID= node35/229350-1168080962

PBS_JOBID= 3476111

Free space on /tmp= 66558 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229350-1168080962/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-229350-1168080962 -o ROOT/results/node35/solver-229350-1168080962 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229350-1168080962/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c03e85f81ef9d6cb4dc5dc2a8bf18586

RANDOM SEED= 752769682

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.234
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.234
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:       1636896 kB
Buffers:         28120 kB
Cached:         295288 kB
SwapCached:          0 kB
Active:          81176 kB
Inactive:       262268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636896 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3796 kB
Writeback:           0 kB
Mapped:          30184 kB
Slab:            61288 kB
Committed_AS:  3052168 kB
PageTables:       1620 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB



End job on node35 on Sat Jan  6 10:56:32 UTC 2007