Trace number 460112

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 v3? (TO) 10000.2 5014.01

General information on the benchmark

Nameindustrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
MD5SUM07d9949e24a0b59bc9a141fd94f50f24
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 variables51145
Number of clauses228408
Sum of the clauses size587574
Maximum clause length20
Minimum clause length1
Number of clauses of size 1383
Number of clauses of size 2177786
Number of clauses of size 325137
Number of clauses of size 410250
Number of clauses of size 54464
Number of clauses of size over 510388

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-460112-1179237535 -o ROOT/results/node12/solver-460112-1179237535 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460112-1179237535/MiraXTv3_dyn /tmp/evaluation/460112-1179237535/instance-460112-1179237535.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.95 1.76 3/77 6021
/proc/meminfo: memFree=1489832/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=3788 CPUtime=0
/proc/6021/stat : 6021 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 399790883 3878912 308 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6021/statm: 947 317 202 20 0 305 0

[startup+0.100846 s]
/proc/loadavg: 1.84 1.95 1.76 3/77 6021
/proc/meminfo: memFree=1489832/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=9856 CPUtime=0.09
/proc/6021/stat : 6021 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194304 1934 0 0 0 8 1 0 0 18 0 1 0 399790883 10092544 1909 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 1 0 0
/proc/6021/statm: 2464 1909 206 20 0 1822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9856

[startup+0.201857 s]
/proc/loadavg: 1.84 1.95 1.76 3/77 6021
/proc/meminfo: memFree=1489832/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=16644 CPUtime=0.19
/proc/6021/stat : 6021 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194304 3410 0 0 0 17 2 0 0 18 0 1 0 399790883 17043456 3385 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/6021/statm: 4161 3386 206 20 0 3519 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16644

[startup+0.301866 s]
/proc/loadavg: 1.84 1.95 1.76 3/77 6021
/proc/meminfo: memFree=1489832/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=23240 CPUtime=0.28
/proc/6021/stat : 6021 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194304 4865 0 0 0 26 2 0 0 19 0 1 0 399790883 23797760 4840 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/6021/statm: 5810 4840 206 20 0 5168 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23240

[startup+0.701906 s]
/proc/loadavg: 1.84 1.95 1.76 3/77 6021
/proc/meminfo: memFree=1489832/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=29124 CPUtime=0.69
/proc/6021/stat : 6021 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194304 6380 0 0 0 66 3 0 0 23 0 1 0 399790883 29822976 6355 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/6021/statm: 7281 6356 207 20 0 6639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29124

[startup+1.50199 s]
/proc/loadavg: 1.84 1.95 1.76 2/78 6022
/proc/meminfo: memFree=1460000/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=73932 CPUtime=1.55
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 11953 0 0 0 149 6 0 0 25 0 3 0 399790883 75706368 11009 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 18483 11011 214 20 0 17841 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 73932

[startup+3.10115 s]
/proc/loadavg: 1.84 1.95 1.76 3/80 6024
/proc/meminfo: memFree=1440912/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=77004 CPUtime=4.11
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 13698 0 0 0 405 6 0 0 25 0 3 0 399790883 78852096 12353 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 19251 12353 218 20 0 18609 0
[pid=6021/tid=6023] ppid=6019 vsize=77004 CPUtime=1.64
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 3577 0 0 0 163 1 0 0 25 0 3 0 399791028 78852096 12353 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134566343 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=77004 CPUtime=1.02
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 1946 0 0 0 102 0 0 0 24 0 3 0 399791028 78852096 12353 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 77004

[startup+6.30247 s]
/proc/loadavg: 1.85 1.95 1.76 3/80 6024
/proc/meminfo: memFree=1440344/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=77004 CPUtime=10.5
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 13886 0 0 0 1043 7 0 0 25 0 3 0 399790883 78852096 12541 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 19251 12541 218 20 0 18609 0
[pid=6021/tid=6023] ppid=6019 vsize=77004 CPUtime=4.84
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 3675 0 0 0 483 1 0 0 25 0 3 0 399791028 78852096 12541 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134565542 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=77004 CPUtime=4.19
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 2036 0 0 0 419 0 0 0 25 0 3 0 399791028 78852096 12541 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.5
Current children cumulated vsize (KiB) 77004

[startup+12.7011 s]
/proc/loadavg: 1.87 1.95 1.76 3/80 6024
/proc/meminfo: memFree=1431000/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=86512 CPUtime=23.27
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 16368 0 0 0 2317 10 0 0 25 0 3 0 399790883 88588288 14956 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 21628 14956 218 20 0 20986 0
[pid=6021/tid=6023] ppid=6019 vsize=86512 CPUtime=11.24
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 4650 0 0 0 1121 3 0 0 25 0 3 0 399791028 88588288 14956 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=86512 CPUtime=10.57
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 3543 0 0 0 1055 2 0 0 25 0 3 0 399791028 88588288 14956 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.27
Current children cumulated vsize (KiB) 86512

[startup+25.5014 s]
/proc/loadavg: 1.89 1.96 1.76 3/80 6024
/proc/meminfo: memFree=1395416/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=121420 CPUtime=48.8
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 25376 0 0 0 4859 21 0 0 25 0 3 0 399790883 124334080 23860 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 30355 23860 218 20 0 29713 0
[pid=6021/tid=6023] ppid=6019 vsize=121420 CPUtime=24.04
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 8987 0 0 0 2395 9 0 0 25 0 3 0 399791028 124334080 23860 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134565817 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=121420 CPUtime=23.31
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 8214 0 0 0 2324 7 0 0 25 0 3 0 399791028 124334080 23860 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134519930 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.8
Current children cumulated vsize (KiB) 121420

[startup+51.1019 s]
/proc/loadavg: 1.93 1.96 1.77 3/80 6024
/proc/meminfo: memFree=1345432/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=168928 CPUtime=99.86
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 37916 0 0 0 9950 36 0 0 25 0 3 0 399790883 172982272 36165 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 42232 36165 218 20 0 41590 0
[pid=6021/tid=6023] ppid=6019 vsize=168928 CPUtime=49.62
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 14799 0 0 0 4945 17 0 0 25 0 3 0 399791028 172982272 36165 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=168928 CPUtime=48.8
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 14942 0 0 0 4865 15 0 0 25 0 3 0 399791028 172982272 36165 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.86
Current children cumulated vsize (KiB) 168928

[startup+102.301 s]
/proc/loadavg: 1.97 1.96 1.77 3/80 6024
/proc/meminfo: memFree=1240664/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=273384 CPUtime=202.03
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 64647 0 0 0 20136 67 0 0 25 0 3 0 399790883 279945216 62310 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 68346 62310 218 20 0 67704 0
[pid=6021/tid=6023] ppid=6019 vsize=273384 CPUtime=100.8
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 25397 0 0 0 10046 34 0 0 25 0 3 0 399791028 279945216 62310 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134525979 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=273384 CPUtime=99.78
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 31075 0 0 0 9949 29 0 0 24 0 3 0 399791028 279945216 62310 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134517064 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.03
Current children cumulated vsize (KiB) 273384

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/86 6188
/proc/meminfo: memFree=1209424/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=304676 CPUtime=321.49
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 72944 0 0 0 32061 88 0 0 25 0 3 0 399790883 311988224 69945 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 76169 69945 218 20 0 75527 0
[pid=6021/tid=6023] ppid=6019 vsize=304676 CPUtime=160.63
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 28788 0 0 0 16024 39 0 0 25 0 3 0 399791028 311988224 69945 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=304676 CPUtime=159.4
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 35981 0 0 0 15896 44 0 0 25 0 3 0 399791028 311988224 69945 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 321.49
Current children cumulated vsize (KiB) 304676

[startup+222.306 s]
/proc/loadavg: 1.99 1.97 1.80 3/80 6222
/proc/meminfo: memFree=1146456/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=367004 CPUtime=441.13
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 89289 0 0 0 44003 110 0 0 25 0 3 0 399790883 375812096 85679 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 91751 85679 218 20 0 91109 0
[pid=6021/tid=6023] ppid=6019 vsize=367004 CPUtime=220.56
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 33889 0 0 0 22010 46 0 0 25 0 3 0 399791028 375812096 85679 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520492 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=367004 CPUtime=219.12
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 47225 0 0 0 21853 59 0 0 25 0 3 0 399791028 375812096 85679 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.13
Current children cumulated vsize (KiB) 367004

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.81 3/80 6222
/proc/meminfo: memFree=1139352/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=376220 CPUtime=560.84
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 91908 0 0 0 55970 114 0 0 25 0 3 0 399790883 385249280 87851 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 94055 87851 218 20 0 93413 0
[pid=6021/tid=6023] ppid=6019 vsize=376220 CPUtime=280.55
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 36228 0 0 0 28004 51 0 0 25 0 3 0 399791028 385249280 87851 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134565430 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=376220 CPUtime=278.85
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 47505 0 0 0 27826 59 0 0 25 0 3 0 399791028 385249280 87851 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.84
Current children cumulated vsize (KiB) 376220

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.82 3/80 6222
/proc/meminfo: memFree=1129560/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=384404 CPUtime=680.54
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 94535 0 0 0 67936 118 0 0 25 0 3 0 399790883 393629696 89934 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 96101 89934 218 20 0 95459 0
[pid=6021/tid=6023] ppid=6019 vsize=384404 CPUtime=340.51
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 38568 0 0 0 33997 54 0 0 25 0 3 0 399791028 393629696 89934 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=384404 CPUtime=338.57
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 47792 0 0 0 33798 59 0 0 25 0 3 0 399791028 393629696 89934 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526051 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.54
Current children cumulated vsize (KiB) 384404

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.83 3/80 6222
/proc/meminfo: memFree=1092248/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=420920 CPUtime=800.26
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 104465 0 0 0 79894 132 0 0 25 0 3 0 399790883 431022080 99311 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0

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

/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 72506 0 0 0 429748 115 0 0 25 0 3 0 399791028 618934272 145147 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=604428 CPUtime=4280.27
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 90127 0 0 0 427894 133 0 0 25 0 3 0 399791028 618934272 145147 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8580.35
Current children cumulated vsize (KiB) 604428

[startup+4362.3 s]
/proc/loadavg: 2.09 2.03 1.95 3/80 6422
/proc/meminfo: memFree=908184/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=604428 CPUtime=8700.09
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 171174 0 0 0 869755 254 0 0 25 0 3 0 399790883 618934272 145156 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 151107 145156 218 20 0 150465 0
[pid=6021/tid=6023] ppid=6019 vsize=604428 CPUtime=4358.62
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 72749 0 0 0 435746 116 0 0 25 0 3 0 399791028 618934272 145156 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=604428 CPUtime=4340.02
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 90250 0 0 0 433869 133 0 0 25 0 3 0 399791028 618934272 145156 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8700.09
Current children cumulated vsize (KiB) 604428

[startup+4422.3 s]
/proc/loadavg: 2.09 2.04 1.96 3/80 6422
/proc/meminfo: memFree=908184/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=604428 CPUtime=8819.8
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 171651 0 0 0 881726 254 0 0 25 0 3 0 399790883 618934272 145157 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 151107 145157 218 20 0 150465 0
[pid=6021/tid=6023] ppid=6019 vsize=604428 CPUtime=4418.6
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 72987 0 0 0 441744 116 0 0 25 0 3 0 399791028 618934272 145157 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=604428 CPUtime=4399.75
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 90489 0 0 0 439842 133 0 0 25 0 3 0 399791028 618934272 145157 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8819.8
Current children cumulated vsize (KiB) 604428

[startup+4482.3 s]
/proc/loadavg: 2.09 2.04 1.96 3/80 6422
/proc/meminfo: memFree=908248/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=604428 CPUtime=8939.5
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 172009 0 0 0 893695 255 0 0 25 0 3 0 399790883 618934272 145158 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 151107 145158 218 20 0 150465 0
[pid=6021/tid=6023] ppid=6019 vsize=604428 CPUtime=4478.57
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 73226 0 0 0 447740 117 0 0 25 0 3 0 399791028 618934272 145158 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=6021/tid=6024] ppid=6019 vsize=604428 CPUtime=4459.48
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 90608 0 0 0 445815 133 0 0 25 0 3 0 399791028 618934272 145158 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134566030 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8939.5
Current children cumulated vsize (KiB) 604428

[startup+4542.3 s]
/proc/loadavg: 2.20 2.08 1.98 3/80 6422
/proc/meminfo: memFree=908184/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=604428 CPUtime=9059.14
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 172489 0 0 0 905659 255 0 0 25 0 3 0 399790883 618934272 145159 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 151107 145159 218 20 0 150465 0
[pid=6021/tid=6023] ppid=6019 vsize=604428 CPUtime=4538.32
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 73466 0 0 0 453715 117 0 0 25 0 3 0 399791028 618934272 145159 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=604428 CPUtime=4519.36
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 90848 0 0 0 451803 133 0 0 25 0 3 0 399791028 618934272 145159 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9059.14
Current children cumulated vsize (KiB) 604428

[startup+4602.3 s]
/proc/loadavg: 2.07 2.06 1.98 3/80 6422
/proc/meminfo: memFree=902232/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=610476 CPUtime=9178.8
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 174386 0 0 0 917622 258 0 0 25 0 3 0 399790883 625127424 146688 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 152619 146688 218 20 0 151977 0
[pid=6021/tid=6023] ppid=6019 vsize=610476 CPUtime=4598
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 73707 0 0 0 459683 117 0 0 25 0 3 0 399791028 625127424 146688 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=610476 CPUtime=4579.34
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 92504 0 0 0 457798 136 0 0 25 0 3 0 399791028 625127424 146688 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9178.8
Current children cumulated vsize (KiB) 610476

[startup+4662.3 s]
/proc/loadavg: 2.02 2.05 1.98 3/80 6422
/proc/meminfo: memFree=902040/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=610476 CPUtime=9298.52
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 174748 0 0 0 929593 259 0 0 25 0 3 0 399790883 625127424 146690 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 152619 146690 218 20 0 151977 0
[pid=6021/tid=6023] ppid=6019 vsize=610476 CPUtime=4657.75
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 73948 0 0 0 465657 118 0 0 25 0 3 0 399791028 625127424 146690 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=610476 CPUtime=4639.31
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 92625 0 0 0 463795 136 0 0 25 0 3 0 399791028 625127424 146690 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9298.52
Current children cumulated vsize (KiB) 610476

[startup+4722.3 s]
/proc/loadavg: 2.01 2.04 1.98 3/80 6422
/proc/meminfo: memFree=883160/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=628908 CPUtime=9418.22
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 179978 0 0 0 941557 265 0 0 25 0 3 0 399790883 644001792 151440 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 157227 151440 218 20 0 156585 0
[pid=6021/tid=6023] ppid=6019 vsize=628908 CPUtime=4717.48
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 78937 0 0 0 471624 124 0 0 25 0 3 0 399791028 644001792 151440 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=628908 CPUtime=4699.3
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 92866 0 0 0 469793 137 0 0 25 0 3 0 399791028 644001792 151440 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9418.22
Current children cumulated vsize (KiB) 628908

[startup+4782.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/80 6422
/proc/meminfo: memFree=882968/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=628908 CPUtime=9537.94
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 180341 0 0 0 953528 266 0 0 25 0 3 0 399790883 644001792 151443 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 157227 151443 218 20 0 156585 0
[pid=6021/tid=6023] ppid=6019 vsize=628908 CPUtime=4777.21
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 79180 0 0 0 477597 124 0 0 25 0 3 0 399791028 644001792 151443 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=628908 CPUtime=4759.28
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 92986 0 0 0 475791 137 0 0 25 0 3 0 399791028 644001792 151443 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9537.94
Current children cumulated vsize (KiB) 628908

[startup+4842.31 s]
/proc/loadavg: 2.05 2.03 1.98 3/80 6422
/proc/meminfo: memFree=882968/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=628908 CPUtime=9657.68
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 180945 0 0 0 965501 267 0 0 25 0 3 0 399790883 644001792 151447 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 157227 151447 218 20 0 156585 0
[pid=6021/tid=6023] ppid=6019 vsize=628908 CPUtime=4836.97
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 79421 0 0 0 483572 125 0 0 25 0 3 0 399791028 644001792 151447 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=628908 CPUtime=4819.26
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 93349 0 0 0 481789 137 0 0 25 0 3 0 399791028 644001792 151447 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134521271 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9657.68
Current children cumulated vsize (KiB) 628908

[startup+4902.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/80 6422
/proc/meminfo: memFree=883032/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=628876 CPUtime=9777.36
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 181428 0 0 0 977469 267 0 0 25 0 3 0 399790883 643969024 151440 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 157219 151440 218 20 0 156577 0
[pid=6021/tid=6023] ppid=6019 vsize=628876 CPUtime=4896.68
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 79662 0 0 0 489543 125 0 0 25 0 3 0 399791028 643969024 151440 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134565733 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=628876 CPUtime=4879.23
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 93591 0 0 0 487785 138 0 0 25 0 3 0 399791028 643969024 151440 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9777.36
Current children cumulated vsize (KiB) 628876

[startup+4962.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/80 6422
/proc/meminfo: memFree=883032/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=628876 CPUtime=9897.08
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 181672 0 0 0 989440 268 0 0 25 0 3 0 399790883 643969024 151442 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 157219 151442 218 20 0 156577 0
[pid=6021/tid=6023] ppid=6019 vsize=628876 CPUtime=4956.42
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 79663 0 0 0 495517 125 0 0 25 0 3 0 399791028 643969024 151442 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=628876 CPUtime=4939.21
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 93834 0 0 0 493783 138 0 0 25 0 3 0 399791028 643969024 151442 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9897.08
Current children cumulated vsize (KiB) 628876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5013.91 s]
/proc/loadavg: 2.04 2.03 1.99 3/80 6422
/proc/meminfo: memFree=882968/2055920 swapFree=4154876/4192956
[pid=6021] ppid=6019 vsize=628876 CPUtime=10000.1
/proc/6021/stat : 6021 (MiraXTv3_dyn) S 6019 6021 5887 0 -1 4194304 181795 0 0 0 999738 268 0 0 25 0 3 0 399790883 643969024 151444 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/6021/statm: 157219 151444 218 20 0 156577 0
[pid=6021/tid=6023] ppid=6019 vsize=628876 CPUtime=5007.8
/proc/6021/task/6023/stat : 6023 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 79664 0 0 0 500655 125 0 0 25 0 3 0 399791028 643969024 151444 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=6021/tid=6024] ppid=6019 vsize=628876 CPUtime=4990.8
/proc/6021/task/6024/stat : 6024 (MiraXTv3_dyn) R 6019 6021 5887 0 -1 4194368 93956 0 0 0 498942 138 0 0 25 0 3 0 399791028 643969024 151444 18446744073709551615 134512640 134597700 4294956576 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 628876

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.01
CPU time (s): 10000.2
CPU user time (s): 9997.39
CPU system time (s): 2.77458
CPU usage (%): 199.445
Max. virtual memory (cumulated for all children) (KiB): 629392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.39
system time used= 2.77458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181795
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= 730
involuntary context switches= 188907

runsolver used 4.95225 second user time and 13.391 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue May 15 13:58:55 UTC 2007

IDJOB= 460112
IDBENCH= 20547
IDSOLVER= 196
FILE ID= node12/460112-1179237535

PBS_JOBID= 5274517

Free space on /tmp= 66523 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_31_1_rule_1/SAT_dat.k35.cnf
COMMAND LINE= /tmp/evaluation/460112-1179237535/MiraXTv3_dyn /tmp/evaluation/460112-1179237535/instance-460112-1179237535.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-460112-1179237535 -o ROOT/results/node12/solver-460112-1179237535 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460112-1179237535/MiraXTv3_dyn /tmp/evaluation/460112-1179237535/instance-460112-1179237535.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  07d9949e24a0b59bc9a141fd94f50f24

RANDOM SEED= 55883853

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1490048 kB
Buffers:         53888 kB
Cached:         417128 kB
SwapCached:      17700 kB
Active:         234912 kB
Inactive:       260976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1490048 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            9088 kB
Writeback:           0 kB
Mapped:          30264 kB
Slab:            55516 kB
Committed_AS: 11013652 kB
PageTables:       1792 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= 66523 MiB

End job on node12 on Tue May 15 15:22:31 UTC 2007