Trace number 460089

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.3 5014.27

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
MD5SUM36bafb0e2398f637017636b2f5f0beae
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 variables36217
Number of clauses144560
Sum of the clauses size395432
Maximum clause length37
Minimum clause length1
Number of clauses of size 1538
Number of clauses of size 267306
Number of clauses of size 371140
Number of clauses of size 4246
Number of clauses of size 5465
Number of clauses of size over 54865

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/node60/watcher-460089-1179235855 -o ROOT/results/node60/solver-460089-1179235855 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460089-1179235855/MiraXTv3_dyn /tmp/evaluation/460089-1179235855/instance-460089-1179235855.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: 0.00 0.00 0.00 3/64 30139
/proc/meminfo: memFree=1288008/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=3788 CPUtime=0
/proc/30139/stat : 30139 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194304 311 0 0 0 0 0 0 0 18 0 1 0 371495533 3878912 286 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30139/statm: 947 294 202 20 0 305 0

[startup+0.049801 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 30139
/proc/meminfo: memFree=1288008/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=6440 CPUtime=0.04
/proc/30139/stat : 30139 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194304 1177 0 0 0 4 0 0 0 18 0 1 0 371495533 6594560 1152 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 1 0 0
/proc/30139/statm: 1610 1152 206 20 0 968 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6440

[startup+0.101805 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 30139
/proc/meminfo: memFree=1288008/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=9892 CPUtime=0.09
/proc/30139/stat : 30139 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194304 1954 0 0 0 8 1 0 0 18 0 1 0 371495533 10129408 1929 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30139/statm: 2473 1929 206 20 0 1831 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9892

[startup+0.301825 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 30139
/proc/meminfo: memFree=1288008/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=18144 CPUtime=0.29
/proc/30139/stat : 30139 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194304 3877 0 0 0 27 2 0 0 19 0 1 0 371495533 18579456 3852 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 5969531 0 0 4096 0 0 0 0 17 1 0 0
/proc/30139/statm: 4536 3852 207 20 0 3894 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18144

[startup+0.701865 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 30139
/proc/meminfo: memFree=1288008/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=25632 CPUtime=0.69
/proc/30139/stat : 30139 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194304 5624 0 0 0 66 3 0 0 22 0 1 0 371495533 26247168 5599 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583892 0 0 4096 0 0 0 0 17 1 0 0
/proc/30139/statm: 6408 5599 207 20 0 5766 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25632

[startup+1.50194 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 30142
/proc/meminfo: memFree=1256880/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=70332 CPUtime=1.57
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 10871 0 0 0 151 6 0 0 25 0 3 0 371495533 72019968 10202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 17583 10202 218 20 0 16941 0
[pid=30139/tid=30141] ppid=30137 vsize=70332 CPUtime=0.53
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 2819 0 0 0 52 1 0 0 21 0 3 0 371495629 72019968 10202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526049 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=70332 CPUtime=0.07
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194368 2079 0 0 0 6 1 0 0 18 0 3 0 371495629 72019968 10202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 70332

[startup+3.10211 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 30142
/proc/meminfo: memFree=1247664/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=69180 CPUtime=3.21
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 11025 0 0 0 315 6 0 0 25 0 3 0 371495533 70840320 10070 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 17295 10070 218 20 0 16653 0
[pid=30139/tid=30141] ppid=30137 vsize=69180 CPUtime=2.13
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 2859 0 0 0 212 1 0 0 25 0 3 0 371495629 70840320 10070 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=69180 CPUtime=0.11
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 2193 0 0 0 10 1 0 0 17 0 3 0 371495629 70840320 10070 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 69180

[startup+6.30143 s]
/proc/loadavg: 0.08 0.02 0.01 3/67 30142
/proc/meminfo: memFree=1239792/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=79324 CPUtime=9.58
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 13955 0 0 0 949 9 0 0 25 0 3 0 371495533 81227776 13000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 19831 13000 218 20 0 19189 0
[pid=30139/tid=30141] ppid=30137 vsize=79324 CPUtime=5.32
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 4050 0 0 0 529 3 0 0 23 0 3 0 371495629 81227776 13000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=79324 CPUtime=3.3
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 3932 0 0 0 327 3 0 0 17 0 3 0 371495629 81227776 13000 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 79324

[startup+12.7011 s]
/proc/loadavg: 0.37 0.08 0.03 3/67 30142
/proc/meminfo: memFree=1219440/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=98108 CPUtime=22.35
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 18959 0 0 0 2220 15 0 0 25 0 3 0 371495533 100462592 17928 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 24527 17928 218 20 0 23885 0
[pid=30139/tid=30141] ppid=30137 vsize=98108 CPUtime=11.72
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 7091 0 0 0 1167 5 0 0 25 0 3 0 371495629 100462592 17928 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=98108 CPUtime=9.66
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 5895 0 0 0 960 6 0 0 25 0 3 0 371495629 100462592 17928 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.35
Current children cumulated vsize (KiB) 98108

[startup+25.5013 s]
/proc/loadavg: 0.62 0.14 0.05 3/67 30142
/proc/meminfo: memFree=1175472/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=138540 CPUtime=47.89
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 29494 0 0 0 4762 27 0 0 25 0 3 0 371495533 141864960 28230 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 34635 28230 218 20 0 33993 0
[pid=30139/tid=30141] ppid=30137 vsize=138540 CPUtime=24.5
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 11526 0 0 0 2442 8 0 0 25 0 3 0 371495629 141864960 28230 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=138540 CPUtime=22.41
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 11995 0 0 0 2227 14 0 0 25 0 3 0 371495629 141864960 28230 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.89
Current children cumulated vsize (KiB) 138540

[startup+51.1019 s]
/proc/loadavg: 1.09 0.29 0.10 3/67 30142
/proc/meminfo: memFree=1141104/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=175780 CPUtime=98.96
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 39506 0 0 0 9860 36 0 0 25 0 3 0 371495533 179998720 37545 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 43945 37545 218 20 0 43303 0
[pid=30139/tid=30141] ppid=30137 vsize=175780 CPUtime=50.09
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 18575 0 0 0 4996 13 0 0 25 0 3 0 371495629 179998720 37545 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=175780 CPUtime=47.89
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 14958 0 0 0 4771 18 0 0 24 0 3 0 371495629 179998720 37545 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.96
Current children cumulated vsize (KiB) 175780

[startup+102.307 s]
/proc/loadavg: 1.64 0.58 0.20 3/67 30142
/proc/meminfo: memFree=1079152/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=233524 CPUtime=201.09
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 55004 0 0 0 20060 49 0 0 25 0 3 0 371495533 239128576 52178 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 58381 52178 218 20 0 57739 0
[pid=30139/tid=30141] ppid=30137 vsize=233524 CPUtime=101.26
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 24395 0 0 0 10109 17 0 0 25 0 3 0 371495629 239128576 52178 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=233524 CPUtime=98.86
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 24636 0 0 0 9858 28 0 0 25 0 3 0 371495629 239128576 52178 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 201.09
Current children cumulated vsize (KiB) 233524

[startup+162.302 s]
/proc/loadavg: 1.86 0.83 0.31 3/67 30142
/proc/meminfo: memFree=1064432/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=248236 CPUtime=320.76
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 59413 0 0 0 32023 53 0 0 25 0 3 0 371495533 254193664 55887 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 62059 55887 218 20 0 61417 0
[pid=30139/tid=30141] ppid=30137 vsize=248236 CPUtime=161.22
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 27842 0 0 0 16103 19 0 0 25 0 3 0 371495629 254193664 55887 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=248236 CPUtime=158.57
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 25598 0 0 0 15827 30 0 0 25 0 3 0 371495629 254193664 55887 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 320.76
Current children cumulated vsize (KiB) 248236

[startup+222.302 s]
/proc/loadavg: 1.95 1.04 0.42 3/67 30142
/proc/meminfo: memFree=1037104/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=275884 CPUtime=440.43
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 66740 0 0 0 43978 65 0 0 25 0 3 0 371495533 282505216 62812 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 68971 62812 218 20 0 68329 0
[pid=30139/tid=30141] ppid=30137 vsize=275884 CPUtime=221.17
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 28021 0 0 0 22097 20 0 0 25 0 3 0 371495629 282505216 62812 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=275884 CPUtime=218.31
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 32746 0 0 0 21789 42 0 0 25 0 3 0 371495629 282505216 62812 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 440.43
Current children cumulated vsize (KiB) 275884

[startup+282.302 s]
/proc/loadavg: 1.98 1.21 0.51 3/67 30142
/proc/meminfo: memFree=981424/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=331556 CPUtime=560.14
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 81182 0 0 0 55931 83 0 0 25 0 3 0 371495533 339513344 76594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 82889 76594 218 20 0 82247 0
[pid=30139/tid=30141] ppid=30137 vsize=331556 CPUtime=281.12
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 34251 0 0 0 28086 26 0 0 25 0 3 0 371495629 339513344 76594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=331556 CPUtime=278.05
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 40958 0 0 0 27752 53 0 0 25 0 3 0 371495629 339513344 76594 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 560.14
Current children cumulated vsize (KiB) 331556

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.60 3/67 30142
/proc/meminfo: memFree=981360/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=331556 CPUtime=679.85
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 81471 0 0 0 67901 84 0 0 25 0 3 0 371495533 339513344 76630 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 82889 76630 218 20 0 82247 0
[pid=30139/tid=30141] ppid=30137 vsize=331556 CPUtime=341.1
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 34524 0 0 0 34083 27 0 0 25 0 3 0 371495629 339513344 76630 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134566020 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=331556 CPUtime=337.78
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 40974 0 0 0 33725 53 0 0 25 0 3 0 371495629 339513344 76630 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 679.85
Current children cumulated vsize (KiB) 331556

[startup+402.302 s]

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

[pid=30139] ppid=30137 vsize=804544 CPUtime=8699.69
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 204574 0 0 0 869710 259 0 0 25 0 3 0 371495533 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201136 194783 218 20 0 200494 0
[pid=30139/tid=30141] ppid=30137 vsize=804544 CPUtime=4352.73
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 83938 0 0 0 435180 93 0 0 25 0 3 0 371495629 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=804544 CPUtime=4345.98
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 114663 0 0 0 434436 162 0 0 25 0 3 0 371495629 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8699.69
Current children cumulated vsize (KiB) 804544

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=507504/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=804544 CPUtime=8819.4
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 204574 0 0 0 881681 259 0 0 25 0 3 0 371495533 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201136 194783 218 20 0 200494 0
[pid=30139/tid=30141] ppid=30137 vsize=804544 CPUtime=4412.71
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 83938 0 0 0 441178 93 0 0 25 0 3 0 371495629 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=804544 CPUtime=4405.72
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 114663 0 0 0 440410 162 0 0 25 0 3 0 371495629 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520272 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8819.4
Current children cumulated vsize (KiB) 804544

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=507504/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=804544 CPUtime=8939.13
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 204574 0 0 0 893654 259 0 0 25 0 3 0 371495533 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 201136 194783 218 20 0 200494 0
[pid=30139/tid=30141] ppid=30137 vsize=804544 CPUtime=4472.69
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 83938 0 0 0 447176 93 0 0 25 0 3 0 371495629 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=804544 CPUtime=4465.47
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 114663 0 0 0 446385 162 0 0 25 0 3 0 371495629 823853056 194783 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565726 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8939.13
Current children cumulated vsize (KiB) 804544

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=475824/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=836860 CPUtime=9058.86
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 212762 0 0 0 905617 269 0 0 25 0 3 0 371495533 856944640 202858 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 209215 202858 218 20 0 208573 0
[pid=30139/tid=30141] ppid=30137 vsize=836860 CPUtime=4532.68
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 92126 0 0 0 453166 102 0 0 25 0 3 0 371495629 856944640 202858 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=836860 CPUtime=4525.21
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 114663 0 0 0 452358 163 0 0 25 0 3 0 371495629 856944640 202858 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9058.86
Current children cumulated vsize (KiB) 836860

[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=446448/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=865800 CPUtime=9178.56
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 220074 0 0 0 917580 276 0 0 25 0 3 0 371495533 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 216450 210010 218 20 0 215808 0
[pid=30139/tid=30141] ppid=30137 vsize=865800 CPUtime=4592.65
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 97431 0 0 0 459159 106 0 0 25 0 3 0 371495629 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=865800 CPUtime=4584.94
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 116670 0 0 0 458328 166 0 0 25 0 3 0 371495629 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520091 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9178.56
Current children cumulated vsize (KiB) 865800

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=446448/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=865800 CPUtime=9298.27
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 220074 0 0 0 929551 276 0 0 25 0 3 0 371495533 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 216450 210010 218 20 0 215808 0
[pid=30139/tid=30141] ppid=30137 vsize=865800 CPUtime=4652.62
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 97431 0 0 0 465156 106 0 0 25 0 3 0 371495629 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134542703 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=865800 CPUtime=4644.68
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 116670 0 0 0 464302 166 0 0 25 0 3 0 371495629 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9298.27
Current children cumulated vsize (KiB) 865800

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=446448/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=865800 CPUtime=9418.01
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 220074 0 0 0 941524 277 0 0 25 0 3 0 371495533 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 216450 210010 218 20 0 215808 0
[pid=30139/tid=30141] ppid=30137 vsize=865800 CPUtime=4712.61
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 97431 0 0 0 471155 106 0 0 25 0 3 0 371495629 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=865800 CPUtime=4704.42
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 116670 0 0 0 470276 166 0 0 25 0 3 0 371495629 886579200 210010 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9418.01
Current children cumulated vsize (KiB) 865800

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=387888/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=925128 CPUtime=9537.72
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 234990 0 0 0 953485 287 0 0 25 0 3 0 371495533 947331072 224813 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 231282 224813 218 20 0 230640 0
[pid=30139/tid=30141] ppid=30137 vsize=925128 CPUtime=4772.58
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 112347 0 0 0 477142 116 0 0 25 0 3 0 371495629 947331072 224813 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=925128 CPUtime=4764.17
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 116670 0 0 0 476250 167 0 0 25 0 3 0 371495629 947331072 224813 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9537.72
Current children cumulated vsize (KiB) 925128

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=340592/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=971548 CPUtime=9657.43
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 246733 0 0 0 965443 300 0 0 25 0 3 0 371495533 994865152 236442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 242887 236442 218 20 0 242245 0
[pid=30139/tid=30141] ppid=30137 vsize=971548 CPUtime=4832.55
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 121935 0 0 0 483131 124 0 0 25 0 3 0 371495629 994865152 236442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565791 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=971548 CPUtime=4823.91
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 118825 0 0 0 482219 172 0 0 25 0 3 0 371495629 994865152 236442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9657.43
Current children cumulated vsize (KiB) 971548

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=335920/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=977040 CPUtime=9777.17
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 248104 0 0 0 977416 301 0 0 25 0 3 0 371495533 1000488960 237813 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 244260 237813 218 20 0 243618 0
[pid=30139/tid=30141] ppid=30137 vsize=977040 CPUtime=4892.54
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 123306 0 0 0 489129 125 0 0 25 0 3 0 371495629 1000488960 237813 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=977040 CPUtime=4883.66
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 118825 0 0 0 488194 172 0 0 25 0 3 0 371495629 1000488960 237813 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9777.17
Current children cumulated vsize (KiB) 977040

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=273968/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=1038348 CPUtime=9896.88
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 263430 0 0 0 989375 313 0 0 25 0 3 0 371495533 1063268352 253139 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 259587 253139 218 20 0 258945 0
[pid=30139/tid=30141] ppid=30137 vsize=1038348 CPUtime=4952.52
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 138632 0 0 0 495115 137 0 0 25 0 3 0 371495629 1063268352 253139 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=1038348 CPUtime=4943.39
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 118825 0 0 0 494167 172 0 0 25 0 3 0 371495629 1063268352 253139 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9896.88
Current children cumulated vsize (KiB) 1038348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5014.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=264112/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=1047716 CPUtime=10000.2
/proc/30139/stat : 30139 (MiraXTv3_dyn) S 30137 30139 30065 0 -1 4194304 265892 0 0 0 999703 314 0 0 25 0 3 0 371495533 1072861184 255487 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 261929 255487 218 20 0 261287 0
[pid=30139/tid=30141] ppid=30137 vsize=1047716 CPUtime=5004.25
/proc/30139/task/30141/stat : 30141 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 141093 0 0 0 500286 139 0 0 25 0 3 0 371495629 1072861184 255487 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30139/tid=30142] ppid=30137 vsize=1047716 CPUtime=4994.95
/proc/30139/task/30142/stat : 30142 (MiraXTv3_dyn) R 30137 30139 30065 0 -1 4194368 118826 0 0 0 499323 172 0 0 25 0 3 0 371495629 1072861184 255487 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 1047716

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

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

[startup+5014.21 s]
/proc/loadavg: 2.00 2.00 1.91 3/67 30344
/proc/meminfo: memFree=264112/2055920 swapFree=4183392/4192956
[pid=30139] ppid=30137 vsize=0 CPUtime=10000.3
/proc/30139/stat : 30139 (MiraXTv3_dyn) Z 30137 30139 30065 0 -1 4195340 265892 0 0 0 999704 324 0 0 16 0 2 0 371495533 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30139/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5014.27
CPU time (s): 10000.3
CPU user time (s): 9997.04
CPU system time (s): 3.2965
CPU usage (%): 199.438
Max. virtual memory (cumulated for all children) (KiB): 1047716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.04
system time used= 3.2965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265892
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= 877
involuntary context switches= 75297

runsolver used 4.94125 second user time and 13.306 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May 15 13:30:55 UTC 2007

IDJOB= 460089
IDBENCH= 20524
IDSOLVER= 196
FILE ID= node60/460089-1179235855

PBS_JOBID= 5274711

Free space on /tmp= 66543 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  36bafb0e2398f637017636b2f5f0beae

RANDOM SEED= 286745262

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1288352 kB
Buffers:         43980 kB
Cached:         587464 kB
SwapCached:       3676 kB
Active:         243256 kB
Inactive:       397740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1288352 kB
SwapTotal:     4192956 kB
SwapFree:      4183392 kB
Dirty:            7356 kB
Writeback:           0 kB
Mapped:          15540 kB
Slab:           112564 kB
Committed_AS:  5328704 kB
PageTables:       1484 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= 66543 MiB

End job on node60 on Tue May 15 14:54:32 UTC 2007