Trace number 456534

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
MiraXT v3UNSAT 4593.7 2304.36

General information on the benchmark

Namecrafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
MD5SUMd65aa32f539d7b147c82042f18f65687
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark338.762
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses560
Sum of the clauses size2240
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 4560
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...
4593.64/2304.36	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-456534-1179024650 -o ROOT/results/node50/solver-456534-1179024650 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456534-1179024650/MiraXTv3_dyn /tmp/evaluation/456534-1179024650/instance-456534-1179024650.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 1.84 1.97 2.05 3/64 520
/proc/meminfo: memFree=1208264/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=3788 CPUtime=0
/proc/520/stat : 520 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 257310186 3878912 249 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 1 0 0
/proc/520/statm: 947 250 206 20 0 305 0

[startup+0.094431 s]
/proc/loadavg: 1.84 1.97 2.05 3/64 520
/proc/meminfo: memFree=1208264/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=6932 CPUtime=0.17
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 811 0 0 0 17 0 0 0 18 0 3 0 257310186 7098368 786 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 1733 786 218 20 0 1091 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6932

[startup+0.101428 s]
/proc/loadavg: 1.84 1.97 2.05 3/64 520
/proc/meminfo: memFree=1208264/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=7064 CPUtime=0.18
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 851 0 0 0 18 0 0 0 18 0 3 0 257310186 7233536 826 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 1766 826 218 20 0 1124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7064

[startup+0.301449 s]
/proc/loadavg: 1.84 1.97 2.05 3/64 520
/proc/meminfo: memFree=1208264/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=9580 CPUtime=0.58
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 1494 0 0 0 58 0 0 0 18 0 3 0 257310186 9809920 1469 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 2395 1469 218 20 0 1753 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9580

[startup+0.701485 s]
/proc/loadavg: 1.84 1.97 2.05 3/64 520
/proc/meminfo: memFree=1208264/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=13168 CPUtime=1.38
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 2173 0 0 0 137 1 0 0 18 0 3 0 257310186 13484032 2148 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 3292 2148 218 20 0 2650 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 13168

[startup+1.50256 s]
/proc/loadavg: 1.84 1.97 2.05 3/67 523
/proc/meminfo: memFree=1199344/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=17504 CPUtime=2.97
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 3213 0 0 0 296 1 0 0 18 0 3 0 257310186 17924096 3116 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 4376 3116 218 20 0 3734 0
[pid=520/tid=522] ppid=518 vsize=17504 CPUtime=1.48
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 1157 0 0 0 148 0 0 0 22 0 3 0 257310187 17924096 3116 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=17504 CPUtime=1.47
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 1742 0 0 0 147 0 0 0 18 0 3 0 257310187 17924096 3116 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 17504

[startup+3.1027 s]
/proc/loadavg: 1.84 1.97 2.05 3/67 523
/proc/meminfo: memFree=1193072/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=25580 CPUtime=6.18
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 5429 0 0 0 615 3 0 0 18 0 3 0 257310186 26193920 5166 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 6395 5166 218 20 0 5753 0
[pid=520/tid=522] ppid=518 vsize=25580 CPUtime=3.08
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 2231 0 0 0 307 1 0 0 20 0 3 0 257310187 26193920 5166 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520091 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=25580 CPUtime=3.07
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 2884 0 0 0 306 1 0 0 18 0 3 0 257310187 26193920 5166 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 25580

[startup+6.30198 s]
/proc/loadavg: 1.85 1.97 2.05 3/67 523
/proc/meminfo: memFree=1183472/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=30088 CPUtime=12.54
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 6901 0 0 0 1250 4 0 0 18 0 3 0 257310186 30810112 6373 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 7522 6373 218 20 0 6880 0
[pid=520/tid=522] ppid=518 vsize=30088 CPUtime=6.27
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 2914 0 0 0 626 1 0 0 25 0 3 0 257310187 30810112 6373 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530101 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=30088 CPUtime=6.25
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 3673 0 0 0 623 2 0 0 25 0 3 0 257310187 30810112 6373 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 30088

[startup+12.7015 s]
/proc/loadavg: 1.86 1.97 2.05 3/67 523
/proc/meminfo: memFree=1176624/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=36036 CPUtime=25.3
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 9097 0 0 0 2524 6 0 0 18 0 3 0 257310186 36900864 7962 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 9009 7962 218 20 0 8367 0
[pid=520/tid=522] ppid=518 vsize=36036 CPUtime=12.66
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 3821 0 0 0 1264 2 0 0 17 0 3 0 257310187 36900864 7962 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=36036 CPUtime=12.62
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 4962 0 0 0 1258 4 0 0 25 0 3 0 257310187 36900864 7962 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 36036

[startup+25.5017 s]
/proc/loadavg: 1.89 1.97 2.05 3/67 523
/proc/meminfo: memFree=1174192/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=39404 CPUtime=50.8
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 10891 0 0 0 5072 8 0 0 18 0 3 0 257310186 40349696 8594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 9851 8594 218 20 0 9209 0
[pid=520/tid=522] ppid=518 vsize=39404 CPUtime=25.44
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 4898 0 0 0 2541 3 0 0 25 0 3 0 257310187 40349696 8594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=39404 CPUtime=25.34
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 5679 0 0 0 2530 4 0 0 25 0 3 0 257310187 40349696 8594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 39404

[startup+51.1019 s]
/proc/loadavg: 1.93 1.97 2.05 3/67 523
/proc/meminfo: memFree=1169520/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=43796 CPUtime=101.82
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 14159 0 0 0 10173 9 0 0 18 0 3 0 257310186 44847104 9782 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 10949 9782 218 20 0 10307 0
[pid=520/tid=522] ppid=518 vsize=43796 CPUtime=51.01
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 6515 0 0 0 5097 4 0 0 25 0 3 0 257310187 44847104 9782 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530097 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=43796 CPUtime=50.8
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 7330 0 0 0 5075 5 0 0 25 0 3 0 257310187 44847104 9782 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 43796

[startup+102.305 s]
/proc/loadavg: 1.97 1.97 2.04 3/67 523
/proc/meminfo: memFree=1157616/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=57196 CPUtime=203.89
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 21207 0 0 0 20373 16 0 0 18 0 3 0 257310186 58568704 12735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 14299 12735 218 20 0 13657 0
[pid=520/tid=522] ppid=518 vsize=57196 CPUtime=102.13
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 10507 0 0 0 10206 7 0 0 25 0 3 0 257310187 58568704 12735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=57196 CPUtime=101.74
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 10386 0 0 0 10166 8 0 0 25 0 3 0 257310187 58568704 12735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 57196

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 2.04 3/67 523
/proc/meminfo: memFree=1154736/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=60204 CPUtime=323.45
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 26446 0 0 0 32326 19 0 0 18 0 3 0 257310186 61648896 13424 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 15051 13424 218 20 0 14409 0
[pid=520/tid=522] ppid=518 vsize=60204 CPUtime=162.02
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 13288 0 0 0 16193 9 0 0 25 0 3 0 257310187 61648896 13424 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=60204 CPUtime=161.42
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 12844 0 0 0 16133 9 0 0 25 0 3 0 257310187 61648896 13424 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.45
Current children cumulated vsize (KiB) 60204

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 2.03 3/67 523
/proc/meminfo: memFree=1152304/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=62628 CPUtime=443.03
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 31461 0 0 0 44280 23 0 0 18 0 3 0 257310186 64131072 14038 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 15657 14038 218 20 0 15015 0
[pid=520/tid=522] ppid=518 vsize=62628 CPUtime=221.95
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 15770 0 0 0 22184 11 0 0 25 0 3 0 257310187 64131072 14038 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=62628 CPUtime=221.07
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 15377 0 0 0 22096 11 0 0 25 0 3 0 257310187 64131072 14038 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.03
Current children cumulated vsize (KiB) 62628

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 2.03 3/67 523
/proc/meminfo: memFree=1151280/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=64100 CPUtime=562.66
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 35568 0 0 0 56239 27 0 0 18 0 3 0 257310186 65638400 14326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 16025 14326 218 20 0 15383 0
[pid=520/tid=522] ppid=518 vsize=64100 CPUtime=281.87
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 17737 0 0 0 28174 13 0 0 25 0 3 0 257310187 65638400 14326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=64100 CPUtime=280.77
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 17517 0 0 0 28064 13 0 0 25 0 3 0 257310187 65638400 14326 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.66
Current children cumulated vsize (KiB) 64100

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 2.02 3/67 523
/proc/meminfo: memFree=1146864/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=67904 CPUtime=682.27
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 40154 0 0 0 68196 31 0 0 18 0 3 0 257310186 69533696 15402 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 16976 15402 218 20 0 16334 0
[pid=520/tid=522] ppid=518 vsize=67904 CPUtime=341.82
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 21020 0 0 0 34166 16 0 0 21 0 3 0 257310187 69533696 15402 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=67904 CPUtime=340.43
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 18820 0 0 0 34029 14 0 0 25 0 3 0 257310187 69533696 15402 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.27
Current children cumulated vsize (KiB) 67904

[startup+402.302 s]

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

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1134640/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=80776 CPUtime=4031.44
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 128436 0 0 0 403025 119 0 0 18 0 3 0 257310186 82714624 18451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20194 18451 218 20 0 19552 0
[pid=520/tid=522] ppid=518 vsize=80776 CPUtime=2019.77
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 68830 0 0 0 201922 55 0 0 24 0 3 0 257310187 82714624 18451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=80776 CPUtime=2011.64
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 59292 0 0 0 201102 62 0 0 25 0 3 0 257310187 82714624 18451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4031.44
Current children cumulated vsize (KiB) 80776

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1134064/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=80940 CPUtime=4151.06
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 130592 0 0 0 414985 121 0 0 18 0 3 0 257310186 82882560 18595 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20235 18595 218 20 0 19593 0
[pid=520/tid=522] ppid=518 vsize=80940 CPUtime=2079.71
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 69232 0 0 0 207914 57 0 0 25 0 3 0 257310187 82882560 18595 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=80940 CPUtime=2071.35
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 61046 0 0 0 207071 64 0 0 25 0 3 0 257310187 82882560 18595 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4151.06
Current children cumulated vsize (KiB) 80940

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133936/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81104 CPUtime=4270.69
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 132374 0 0 0 426945 124 0 0 18 0 3 0 257310186 83050496 18632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20276 18632 218 20 0 19634 0
[pid=520/tid=522] ppid=518 vsize=81104 CPUtime=2139.64
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 70639 0 0 0 213906 58 0 0 25 0 3 0 257310187 83050496 18632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=520/tid=523] ppid=518 vsize=81104 CPUtime=2131.03
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 61421 0 0 0 213038 65 0 0 25 0 3 0 257310187 83050496 18632 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4270.69
Current children cumulated vsize (KiB) 81104

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133872/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81168 CPUtime=4390.3
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 133995 0 0 0 438904 126 0 0 18 0 3 0 257310186 83116032 18644 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20292 18644 218 20 0 19650 0
[pid=520/tid=522] ppid=518 vsize=81168 CPUtime=2199.46
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 70641 0 0 0 219887 59 0 0 25 0 3 0 257310187 83116032 18644 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81168 CPUtime=2190.82
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 63040 0 0 0 219016 66 0 0 25 0 3 0 257310187 83116032 18644 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4390.3
Current children cumulated vsize (KiB) 81168

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1134000/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4509.92
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 135536 0 0 0 450865 127 0 0 18 0 3 0 257310186 83419136 18626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18626 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2259.16
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71043 0 0 0 225856 60 0 0 25 0 3 0 257310187 83419136 18626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2250.74
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 64179 0 0 0 225008 66 0 0 25 0 3 0 257310187 83419136 18626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4509.92
Current children cumulated vsize (KiB) 81464

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

[startup+2278.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1134000/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4541.82
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 135871 0 0 0 454054 128 0 0 18 0 3 0 257310186 83419136 18626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18626 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2275.07
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71043 0 0 0 227447 60 0 0 25 0 3 0 257310187 83419136 18626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2266.73
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 64514 0 0 0 226606 67 0 0 25 0 3 0 257310187 83419136 18626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4541.82
Current children cumulated vsize (KiB) 81464

[startup+2291.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133936/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4567.34
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136408 0 0 0 456606 128 0 0 18 0 3 0 257310186 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18627 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2287.81
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71043 0 0 0 228721 60 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2279.51
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 65051 0 0 0 227884 67 0 0 20 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4567.34
Current children cumulated vsize (KiB) 81464

[startup+2297.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133936/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4580.09
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136542 0 0 0 457881 128 0 0 18 0 3 0 257310186 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18627 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2294.17
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71043 0 0 0 229357 60 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2285.9
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 65185 0 0 0 228523 67 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4580.09
Current children cumulated vsize (KiB) 81464

[startup+2300.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133936/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4586.48
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136542 0 0 0 458520 128 0 0 18 0 3 0 257310186 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18627 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2297.36
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71043 0 0 0 229676 60 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2289.1
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 65185 0 0 0 228843 67 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526440 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4586.48
Current children cumulated vsize (KiB) 81464

[startup+2302.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133936/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4589.67
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136542 0 0 0 458839 128 0 0 18 0 3 0 257310186 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18627 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2298.95
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71043 0 0 0 229835 60 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2290.7
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 65185 0 0 0 229003 67 0 0 22 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4589.67
Current children cumulated vsize (KiB) 81464

[startup+2303.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133936/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4591.26
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136609 0 0 0 458998 128 0 0 18 0 3 0 257310186 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18627 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2299.74
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71110 0 0 0 229914 60 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2291.49
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 65185 0 0 0 229082 67 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4591.26
Current children cumulated vsize (KiB) 81464

[startup+2303.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133872/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=81464 CPUtime=4592.85
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136609 0 0 0 459156 129 0 0 18 0 3 0 257310186 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 20366 18627 218 20 0 19724 0
[pid=520/tid=522] ppid=518 vsize=81464 CPUtime=2300.54
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71110 0 0 0 229994 60 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=81464 CPUtime=2292.29
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 65185 0 0 0 229161 68 0 0 25 0 3 0 257310187 83419136 18627 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4592.85
Current children cumulated vsize (KiB) 81464

[startup+2304.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/67 723
/proc/meminfo: memFree=1133872/2055920 swapFree=4183876/4192956
[pid=520] ppid=518 vsize=79508 CPUtime=4593.64
/proc/520/stat : 520 (MiraXTv3_dyn) S 518 520 29852 0 -1 4194304 136609 0 0 0 459235 129 0 0 18 0 3 0 257310186 81416192 18205 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/520/statm: 19877 18205 218 20 0 19235 0
[pid=520/tid=522] ppid=518 vsize=79508 CPUtime=2300.93
/proc/520/task/522/stat : 522 (MiraXTv3_dyn) R 518 520 29852 0 -1 4194368 71110 0 0 0 230033 60 0 0 22 0 3 0 257310187 81416192 18205 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=520/tid=523] ppid=518 vsize=79508 CPUtime=2292.69
/proc/520/task/523/stat : 523 (MiraXTv3_dyn) D 518 520 29852 0 -1 4194368 65185 0 0 0 229201 68 0 0 17 0 3 0 257310187 81416192 18205 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4593.64
Current children cumulated vsize (KiB) 79508

Child status: 20
Real time (s): 2304.36
CPU time (s): 4593.7
CPU user time (s): 4592.4
CPU system time (s): 1.3038
CPU usage (%): 199.348
Max. virtual memory (cumulated for all children) (KiB): 81732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4592.4
system time used= 1.3038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136615
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= 2536
involuntary context switches= 34914

runsolver used 2.57261 second user time and 5.81112 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun May 13 02:50:50 UTC 2007

IDJOB= 456534
IDBENCH= 24743
IDSOLVER= 196
FILE ID= node50/456534-1179024650

PBS_JOBID= 5253226

Free space on /tmp= 66546 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/jarvisalo/mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456534-1179024650/MiraXTv3_dyn /tmp/evaluation/456534-1179024650/instance-456534-1179024650.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-456534-1179024650 -o ROOT/results/node50/solver-456534-1179024650 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456534-1179024650/MiraXTv3_dyn /tmp/evaluation/456534-1179024650/instance-456534-1179024650.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  d65aa32f539d7b147c82042f18f65687

RANDOM SEED= 604862198

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1208608 kB
Buffers:         51588 kB
Cached:         661712 kB
SwapCached:       3148 kB
Active:         363880 kB
Inactive:       359396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1208608 kB
SwapTotal:     4192956 kB
SwapFree:      4183876 kB
Dirty:            3904 kB
Writeback:           0 kB
Mapped:          15996 kB
Slab:           110064 kB
Committed_AS:  4968448 kB
PageTables:       1460 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= 66546 MiB

End job on node50 on Sun May 13 03:29:15 UTC 2007