Trace number 330374

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
Mmisat 2007-02-08? (MO) 767.076 767.292

General information on the benchmark

Nameindustrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
MD5SUMe2ce53da4f00ba19b35d5b71c6e657f7
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables70924
Number of clauses294099
Sum of the clauses size752291
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2207955
Number of clauses of size 354916
Number of clauses of size 410434
Number of clauses of size 55929
Number of clauses of size over 512793

Solver Data (download as text)



Verifier Data (download as text)




ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: 



Watcher Data (download as text)




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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-330374-1173163669 -o ROOT/results/node55/solver-330374-1173163669 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330374-1173163669/mmisat /tmp/evaluation/330374-1173163669/instance-330374-1173163669.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24477
/proc/meminfo: memFree=1854752/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1044 CPUtime=0
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 103 0 0 0 0 0 0 0 18 0 1 0 336323365 1069056 86 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 135051325 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 261 86 74 214 0 43 0

[startup+0.0221281 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24477
/proc/meminfo: memFree=1854752/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=3604 CPUtime=0.01
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 761 0 0 0 1 0 0 0 18 0 1 0 336323365 3690496 744 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 901 744 81 214 0 683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3604

[startup+0.101134 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24477
/proc/meminfo: memFree=1854752/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=24172 CPUtime=0.09
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 5916 0 0 0 7 2 0 0 18 0 1 0 336323365 24752128 5899 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134523161 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 6043 5899 81 214 0 5825 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24172

[startup+0.301153 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24477
/proc/meminfo: memFree=1854752/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=57940 CPUtime=0.29
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 14363 0 0 0 23 6 0 0 19 0 1 0 336323365 59330560 14346 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134522779 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 14485 14347 81 214 0 14267 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57940

[startup+0.701191 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 24477
/proc/meminfo: memFree=1854752/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=100168 CPUtime=0.69
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 24921 0 0 0 58 11 0 0 23 0 1 0 336323365 102572032 24904 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 25042 24904 81 214 0 24824 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100168

[startup+1.50127 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1729880/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=157420 CPUtime=1.49
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 39202 0 0 0 133 16 0 0 25 0 1 0 336323365 161198080 39185 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 39355 39185 81 214 0 39137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157420

[startup+3.10142 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1663192/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=230344 CPUtime=3.09
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 57465 0 0 0 285 24 0 0 25 0 1 0 336323365 235872256 57448 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 57586 57448 81 214 0 57368 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 230344

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1563928/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=309100 CPUtime=6.29
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 77122 0 0 0 597 32 0 0 25 0 1 0 336323365 316518400 77105 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 77275 77105 81 214 0 77057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 309100

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1470040/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=389392 CPUtime=12.69
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 97195 0 0 0 1230 39 0 0 25 0 1 0 336323365 398737408 97178 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 97348 97178 81 214 0 97130 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 389392

[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1369688/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=487024 CPUtime=25.48
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 121616 0 0 0 2500 48 0 0 25 0 1 0 336323365 498712576 121599 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 121756 121599 81 214 0 121538 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 487024

[startup+51.103 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1248664/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=606448 CPUtime=51.07
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 151465 0 0 0 5047 60 0 0 25 0 1 0 336323365 621002752 151448 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 151612 151448 81 214 0 151394 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 606448

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 24478
/proc/meminfo: memFree=1080728/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=773464 CPUtime=102.26
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 193239 0 0 0 10151 75 0 0 25 0 1 0 336323365 792027136 193222 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 193366 193222 81 214 0 193148 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 773464

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=932888/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=922696 CPUtime=162.24
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 230521 0 0 0 16137 87 0 0 25 0 1 0 336323365 944840704 230504 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 230674 230504 81 214 0 230456 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 922696

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=801112/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1052716 CPUtime=222.22
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 263026 0 0 0 22123 99 0 0 25 0 1 0 336323365 1077981184 263009 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 263179 263009 81 214 0 262961 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1052716

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=687128/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1167688 CPUtime=282.2
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 291782 0 0 0 28112 108 0 0 25 0 1 0 336323365 1195712512 291765 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 291922 291765 81 214 0 291704 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1167688

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=583768/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1269304 CPUtime=342.19
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 317179 0 0 0 34100 119 0 0 25 0 1 0 336323365 1299767296 317162 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 317326 317162 81 214 0 317108 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1269304

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=490456/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1363732 CPUtime=402.18
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 340793 0 0 0 40091 127 0 0 25 0 1 0 336323365 1396461568 340776 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 340933 340776 81 214 0 340715 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1363732

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=399960/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1452616 CPUtime=462.16
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 363001 0 0 0 46081 135 0 0 25 0 1 0 336323365 1487478784 362984 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 363154 362984 81 214 0 362936 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1452616

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=317848/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1535668 CPUtime=522.15
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 383790 0 0 0 52072 143 0 0 25 0 1 0 336323365 1572524032 383773 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 383917 383773 81 214 0 383699 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1535668

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=237656/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1615024 CPUtime=582.12
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 403616 0 0 0 58063 149 0 0 25 0 1 0 336323365 1653784576 403599 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 403756 403599 81 214 0 403538 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1615024

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=160152/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1691620 CPUtime=642.12
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 422752 0 0 0 64055 157 0 0 25 0 1 0 336323365 1732218880 422735 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 422905 422735 81 214 0 422687 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1691620

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=82520/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1769308 CPUtime=702.09
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 442174 0 0 0 70046 163 0 0 25 0 1 0 336323365 1811771392 442157 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517738 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 442327 442157 81 214 0 442109 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1769308

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=16152/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1841296 CPUtime=762.08
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 460190 0 0 0 76039 169 0 0 25 0 1 0 336323365 1885487104 460173 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517190 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 460324 460173 81 214 0 460106 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1841296



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+767.002 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=15768/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=1843300 CPUtime=766.78
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4194304 460698 0 0 0 76509 169 0 0 25 0 1 0 336323365 1887539200 460681 18446744073709551615 134512640 135391789 4294956720 18446744073709551615 134517196 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 460825 460681 81 214 0 460607 0
Current children cumulated CPU time (s) 766.78
Current children cumulated vsize (KiB) 1843300

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

Solver just ended. Dumping a history of the last processes samples

[startup+767.202 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 24478
/proc/meminfo: memFree=15768/2055920 swapFree=4183804/4192956
[pid=24477] ppid=24475 vsize=0 CPUtime=766.98
/proc/24477/stat : 24477 (mmisat) R 24475 24477 24329 0 -1 4195332 460698 0 0 0 76509 189 0 0 25 0 1 0 336323365 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/24477/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 766.98
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 767.292
CPU time (s): 767.076
CPU user time (s): 765.096
CPU system time (s): 1.9807
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1843300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 765.096
system time used= 1.9807
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1364

runsolver used 0.604908 second user time and 1.50877 second system time

The end



Launcher Data (download as text)




Begin job on node55 on Tue Mar  6 06:47:49 UTC 2007

IDJOB= 330374
IDBENCH= 20562
IDSOLVER= 108
FILE ID= node55/330374-1173163669

PBS_JOBID= 4015245

Free space on /tmp= 66497 MiB

SOLVER NAME= Mmisat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
COMMAND LINE= /tmp/evaluation/330374-1173163669/mmisat /tmp/evaluation/330374-1173163669/instance-330374-1173163669.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-330374-1173163669 -o ROOT/results/node55/solver-330374-1173163669 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/330374-1173163669/mmisat /tmp/evaluation/330374-1173163669/instance-330374-1173163669.cnf            

META MD5SUM SOLVER= f0471644c1818c6834832b41e70bf7e6
MD5SUM BENCH=  e2ce53da4f00ba19b35d5b71c6e657f7

RANDOM SEED= 690293947

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.247
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.247
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:       1855160 kB
Buffers:         11880 kB
Cached:         120088 kB
SwapCached:       3216 kB
Active:          28220 kB
Inactive:       113328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855160 kB
SwapTotal:     4192956 kB
SwapFree:      4183804 kB
Dirty:            7764 kB
Writeback:           0 kB
Mapped:          15520 kB
Slab:            45296 kB
Committed_AS:   979268 kB
PageTables:       1380 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= 66497 MiB

End job on node55 on Tue Mar  6 07:00:38 UTC 2007