Trace number 460033

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.1 5012.45

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
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 variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

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/node50/watcher-460033-1179235830 -o ROOT/results/node50/solver-460033-1179235830 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/460033-1179235830/MiraXTv3_dyn /tmp/evaluation/460033-1179235830/instance-460033-1179235830.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 26063
/proc/meminfo: memFree=870272/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=3788 CPUtime=0
/proc/26063/stat : 26063 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 278428182 3878912 272 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26063/statm: 947 272 202 20 0 305 0

[startup+0.033847 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26063
/proc/meminfo: memFree=870272/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=7588 CPUtime=0.03
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 760 0 0 0 3 0 0 0 18 0 3 0 278428182 7770112 735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 1897 735 218 20 0 1255 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7588

[startup+0.102855 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26063
/proc/meminfo: memFree=870272/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=7588 CPUtime=0.15
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 818 0 0 0 15 0 0 0 18 0 3 0 278428182 7770112 793 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 1897 793 218 20 0 1255 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 7588

[startup+0.302885 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26063
/proc/meminfo: memFree=870272/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=9052 CPUtime=0.54
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 1189 0 0 0 54 0 0 0 18 0 3 0 278428182 9269248 1164 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 2263 1164 218 20 0 1621 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9052

[startup+0.701909 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 26063
/proc/meminfo: memFree=870272/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=12360 CPUtime=1.34
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 1850 0 0 0 134 0 0 0 18 0 3 0 278428182 12656640 1825 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 3090 1825 218 20 0 2448 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 12360

[startup+1.50198 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 26066
/proc/meminfo: memFree=862056/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=16868 CPUtime=2.94
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 3042 0 0 0 293 1 0 0 18 0 3 0 278428182 17272832 3017 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 4217 3017 218 20 0 3575 0
[pid=26063/tid=26065] ppid=26061 vsize=16868 CPUtime=1.46
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 1261 0 0 0 146 0 0 0 20 0 3 0 278428185 17272832 3017 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=16868 CPUtime=1.43
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 1261 0 0 0 143 0 0 0 24 0 3 0 278428185 17272832 3017 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 16868

[startup+3.10112 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 26066
/proc/meminfo: memFree=855272/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=25120 CPUtime=6.13
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 5149 0 0 0 611 2 0 0 18 0 3 0 278428182 25722880 5124 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 6280 5124 218 20 0 5638 0
[pid=26063/tid=26065] ppid=26061 vsize=25120 CPUtime=3.07
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 2271 0 0 0 306 1 0 0 24 0 3 0 278428185 25722880 5124 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8353403 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=25120 CPUtime=3.03
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 2358 0 0 0 302 1 0 0 22 0 3 0 278428185 25722880 5124 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521354 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 25120

[startup+6.3014 s]
/proc/loadavg: 0.16 0.03 0.01 3/67 26066
/proc/meminfo: memFree=846888/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=28280 CPUtime=12.52
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 6044 0 0 0 1248 4 0 0 18 0 3 0 278428182 28958720 6019 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 7070 6019 218 20 0 6428 0
[pid=26063/tid=26065] ppid=26061 vsize=28280 CPUtime=6.26
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 2548 0 0 0 624 2 0 0 25 0 3 0 278428185 28958720 6019 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=28280 CPUtime=6.21
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 2976 0 0 0 620 1 0 0 25 0 3 0 278428185 28958720 6019 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565430 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 28280

[startup+12.702 s]
/proc/loadavg: 0.31 0.07 0.02 3/67 26066
/proc/meminfo: memFree=828200/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=48204 CPUtime=25.29
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 11150 0 0 0 2520 9 0 0 18 0 3 0 278428182 49360896 11051 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 12051 11051 218 20 0 11409 0
[pid=26063/tid=26065] ppid=26061 vsize=48204 CPUtime=12.66
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 5001 0 0 0 1263 3 0 0 25 0 3 0 278428185 49360896 11051 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=48204 CPUtime=12.59
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 5629 0 0 0 1254 5 0 0 25 0 3 0 278428185 49360896 11051 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526195 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 48204

[startup+25.5021 s]
/proc/loadavg: 0.68 0.16 0.05 3/67 26066
/proc/meminfo: memFree=796904/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=78488 CPUtime=50.82
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 18919 0 0 0 5064 18 0 0 18 0 3 0 278428182 80371712 18641 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 19622 18641 218 20 0 18980 0
[pid=26063/tid=26065] ppid=26061 vsize=78488 CPUtime=25.46
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 9113 0 0 0 2538 8 0 0 25 0 3 0 278428185 80371712 18641 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=78488 CPUtime=25.32
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 9286 0 0 0 2523 9 0 0 25 0 3 0 278428185 80371712 18641 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 78488

[startup+51.1024 s]
/proc/loadavg: 1.13 0.31 0.10 3/67 26066
/proc/meminfo: memFree=783656/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=90728 CPUtime=101.89
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 22269 0 0 0 10166 23 0 0 18 0 3 0 278428182 92905472 21704 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 22682 21704 218 20 0 22040 0
[pid=26063/tid=26065] ppid=26061 vsize=90728 CPUtime=51.04
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 10939 0 0 0 5094 10 0 0 25 0 3 0 278428185 92905472 21704 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=90728 CPUtime=50.81
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 10810 0 0 0 5070 11 0 0 25 0 3 0 278428185 92905472 21704 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 90728

[startup+102.307 s]
/proc/loadavg: 1.62 0.56 0.20 3/67 26066
/proc/meminfo: memFree=742568/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=132568 CPUtime=204.06
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 33081 0 0 0 20369 37 0 0 18 0 3 0 278428182 135749632 31913 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 33142 31913 218 20 0 32500 0
[pid=26063/tid=26065] ppid=26061 vsize=132568 CPUtime=102.22
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 16791 0 0 0 10206 16 0 0 25 0 3 0 278428185 135749632 31913 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=132568 CPUtime=101.79
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 15770 0 0 0 10159 20 0 0 25 0 3 0 278428185 135749632 31913 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 132568

[startup+162.302 s]
/proc/loadavg: 1.90 0.84 0.31 3/67 26066
/proc/meminfo: memFree=722088/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=153368 CPUtime=323.77
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 38983 0 0 0 32332 45 0 0 18 0 3 0 278428182 157048832 37015 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 38342 37015 218 20 0 37700 0
[pid=26063/tid=26065] ppid=26061 vsize=153368 CPUtime=162.2
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 19778 0 0 0 16201 19 0 0 25 0 3 0 278428185 157048832 37015 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526417 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=153368 CPUtime=161.53
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 18685 0 0 0 16128 25 0 0 25 0 3 0 278428185 157048832 37015 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.77
Current children cumulated vsize (KiB) 153368

[startup+222.302 s]
/proc/loadavg: 2.05 1.08 0.43 3/67 26066
/proc/meminfo: memFree=712424/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=162584 CPUtime=443.46
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 42029 0 0 0 44296 50 0 0 18 0 3 0 278428182 166486016 39460 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 40646 39460 218 20 0 40004 0
[pid=26063/tid=26065] ppid=26061 vsize=162584 CPUtime=222.18
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 20126 0 0 0 22198 20 0 0 25 0 3 0 278428185 166486016 39460 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=162584 CPUtime=221.26
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 21383 0 0 0 22096 30 0 0 25 0 3 0 278428185 166486016 39460 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.46
Current children cumulated vsize (KiB) 162584

[startup+282.303 s]
/proc/loadavg: 2.02 1.24 0.52 3/67 26066
/proc/meminfo: memFree=707816/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=168132 CPUtime=563.18
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 44160 0 0 0 56266 52 0 0 18 0 3 0 278428182 172167168 40903 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 42033 40903 218 20 0 41391 0
[pid=26063/tid=26065] ppid=26061 vsize=168132 CPUtime=282.14
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 20794 0 0 0 28194 20 0 0 17 0 3 0 278428185 172167168 40903 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=168132 CPUtime=281
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 22846 0 0 0 28069 31 0 0 17 0 3 0 278428185 172167168 40903 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8352095 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.18
Current children cumulated vsize (KiB) 168132

[startup+342.303 s]
/proc/loadavg: 2.00 1.38 0.61 3/67 26066
/proc/meminfo: memFree=706600/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=168412 CPUtime=682.91
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 44863 0 0 0 68238 53 0 0 18 0 3 0 278428182 172453888 40985 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 42103 40985 218 20 0 41461 0
[pid=26063/tid=26065] ppid=26061 vsize=168412 CPUtime=342.13
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 21259 0 0 0 34193 20 0 0 25 0 3 0 278428185 172453888 40985 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=168412 CPUtime=340.74
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 23084 0 0 0 34042 32 0 0 25 0 3 0 278428185 172453888 40985 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.91
Current children cumulated vsize (KiB) 168412

[startup+402.302 s]

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

/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 37274 0 0 0 429370 63 0 0 25 0 3 0 278428185 212475904 50753 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207496 CPUtime=4288.98
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28808 0 0 0 428849 49 0 0 25 0 3 0 278428185 212475904 50753 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8583.35
Current children cumulated vsize (KiB) 207496

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=666984/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207496 CPUtime=8703.06
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 66999 0 0 0 870193 113 0 0 18 0 3 0 278428182 212475904 50755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51874 50755 218 20 0 51232 0
[pid=26063/tid=26065] ppid=26061 vsize=207496 CPUtime=4354.3
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 37670 0 0 0 435367 63 0 0 25 0 3 0 278428185 212475904 50755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207496 CPUtime=4348.72
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28809 0 0 0 434823 49 0 0 25 0 3 0 278428185 212475904 50755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8703.06
Current children cumulated vsize (KiB) 207496

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=666984/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207368 CPUtime=8822.75
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67300 0 0 0 882161 114 0 0 18 0 3 0 278428182 212344832 50733 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51842 50733 218 20 0 51200 0
[pid=26063/tid=26065] ppid=26061 vsize=207368 CPUtime=4414.26
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 37971 0 0 0 441363 63 0 0 25 0 3 0 278428185 212344832 50733 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207368 CPUtime=4408.44
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28809 0 0 0 440795 49 0 0 25 0 3 0 278428185 212344832 50733 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8822.75
Current children cumulated vsize (KiB) 207368

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667048/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207368 CPUtime=8942.48
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67501 0 0 0 894134 114 0 0 18 0 3 0 278428182 212344832 50736 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51842 50736 218 20 0 51200 0
[pid=26063/tid=26065] ppid=26061 vsize=207368 CPUtime=4474.26
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38169 0 0 0 447362 64 0 0 25 0 3 0 278428185 212344832 50736 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207368 CPUtime=4468.19
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28812 0 0 0 446769 50 0 0 25 0 3 0 278428185 212344832 50736 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8942.48
Current children cumulated vsize (KiB) 207368

[startup+4542.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/67 26266
/proc/meminfo: memFree=667112/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207368 CPUtime=9062.13
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67601 0 0 0 906099 114 0 0 18 0 3 0 278428182 212344832 50737 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51842 50737 218 20 0 51200 0
[pid=26063/tid=26065] ppid=26061 vsize=207368 CPUtime=4534.21
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38269 0 0 0 453357 64 0 0 25 0 3 0 278428185 212344832 50737 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207368 CPUtime=4527.89
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28812 0 0 0 452739 50 0 0 25 0 3 0 278428185 212344832 50737 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9062.13
Current children cumulated vsize (KiB) 207368

[startup+4602.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/67 26266
/proc/meminfo: memFree=667112/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207308 CPUtime=9181.86
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67701 0 0 0 918071 115 0 0 18 0 3 0 278428182 212283392 50723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51827 50723 218 20 0 51185 0
[pid=26063/tid=26065] ppid=26061 vsize=207308 CPUtime=4594.2
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38269 0 0 0 459356 64 0 0 25 0 3 0 278428185 212283392 50723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207308 CPUtime=4587.62
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28912 0 0 0 458712 50 0 0 25 0 3 0 278428185 212283392 50723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9181.86
Current children cumulated vsize (KiB) 207308

[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667112/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207308 CPUtime=9301.56
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67702 0 0 0 930041 115 0 0 18 0 3 0 278428182 212283392 50724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51827 50724 218 20 0 51185 0
[pid=26063/tid=26065] ppid=26061 vsize=207308 CPUtime=4654.17
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38270 0 0 0 465353 64 0 0 25 0 3 0 278428185 212283392 50724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207308 CPUtime=4647.36
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28912 0 0 0 464686 50 0 0 25 0 3 0 278428185 212283392 50724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9301.56
Current children cumulated vsize (KiB) 207308

[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667176/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207304 CPUtime=9421.25
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67703 0 0 0 942010 115 0 0 18 0 3 0 278428182 212279296 50724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51826 50724 218 20 0 51184 0
[pid=26063/tid=26065] ppid=26061 vsize=207304 CPUtime=4714.14
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38270 0 0 0 471350 64 0 0 25 0 3 0 278428185 212279296 50724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207304 CPUtime=4707.07
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28913 0 0 0 470657 50 0 0 25 0 3 0 278428185 212279296 50724 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9421.25
Current children cumulated vsize (KiB) 207304

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667176/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207224 CPUtime=9540.95
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67704 0 0 0 953980 115 0 0 18 0 3 0 278428182 212197376 50705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51806 50705 218 20 0 51164 0
[pid=26063/tid=26065] ppid=26061 vsize=207224 CPUtime=4774.13
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38271 0 0 0 477348 65 0 0 25 0 3 0 278428185 212197376 50705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207224 CPUtime=4766.8
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28913 0 0 0 476630 50 0 0 25 0 3 0 278428185 212197376 50705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9540.95
Current children cumulated vsize (KiB) 207224

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667240/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207224 CPUtime=9660.67
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67705 0 0 0 965951 116 0 0 18 0 3 0 278428182 212197376 50706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51806 50706 218 20 0 51164 0
[pid=26063/tid=26065] ppid=26061 vsize=207224 CPUtime=4834.1
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38271 0 0 0 483345 65 0 0 25 0 3 0 278428185 212197376 50706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207224 CPUtime=4826.53
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28914 0 0 0 482603 50 0 0 25 0 3 0 278428185 212197376 50706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9660.67
Current children cumulated vsize (KiB) 207224

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667240/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207224 CPUtime=9780.37
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67705 0 0 0 977921 116 0 0 18 0 3 0 278428182 212197376 50706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51806 50706 218 20 0 51164 0
[pid=26063/tid=26065] ppid=26061 vsize=207224 CPUtime=4894.07
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38271 0 0 0 489342 65 0 0 25 0 3 0 278428185 212197376 50706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207224 CPUtime=4886.27
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28914 0 0 0 488576 51 0 0 25 0 3 0 278428185 212197376 50706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9780.37
Current children cumulated vsize (KiB) 207224

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667304/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207224 CPUtime=9900.11
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67711 0 0 0 989894 117 0 0 18 0 3 0 278428182 212197376 50712 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51806 50712 218 20 0 51164 0
[pid=26063/tid=26065] ppid=26061 vsize=207224 CPUtime=4954.06
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38274 0 0 0 495341 65 0 0 25 0 3 0 278428185 212197376 50712 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207224 CPUtime=4946.01
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28917 0 0 0 494550 51 0 0 25 0 3 0 278428185 212197376 50712 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9900.11
Current children cumulated vsize (KiB) 207224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/67 26266
/proc/meminfo: memFree=667112/2055920 swapFree=4183876/4192956
[pid=26063] ppid=26061 vsize=207224 CPUtime=10000.1
/proc/26063/stat : 26063 (MiraXTv3_dyn) S 26061 26063 25989 0 -1 4194304 67811 0 0 0 999890 117 0 0 18 0 3 0 278428182 212197376 50712 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26063/statm: 51806 50712 218 20 0 51164 0
[pid=26063/tid=26065] ppid=26061 vsize=207224 CPUtime=5004.14
/proc/26063/task/26065/stat : 26065 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 38374 0 0 0 500348 66 0 0 25 0 3 0 278428185 212197376 50712 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=26063/tid=26066] ppid=26061 vsize=207224 CPUtime=4995.9
/proc/26063/task/26066/stat : 26066 (MiraXTv3_dyn) R 26061 26063 25989 0 -1 4194368 28917 0 0 0 499539 51 0 0 25 0 3 0 278428185 212197376 50712 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 207224

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): 5012.45
CPU time (s): 10000.1
CPU user time (s): 9998.92
CPU system time (s): 1.20382
CPU usage (%): 199.506
Max. virtual memory (cumulated for all children) (KiB): 207496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9998.92
system time used= 1.20382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67811
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= 771
involuntary context switches= 75228

runsolver used 4.87726 second user time and 13.359 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue May 15 13:30:30 UTC 2007

IDJOB= 460033
IDBENCH= 20468
IDSOLVER= 196
FILE ID= node50/460033-1179235830

PBS_JOBID= 5274715

Free space on /tmp= 66546 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= /tmp/evaluation/460033-1179235830/MiraXTv3_dyn /tmp/evaluation/460033-1179235830/instance-460033-1179235830.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-460033-1179235830 -o ROOT/results/node50/solver-460033-1179235830 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/460033-1179235830/MiraXTv3_dyn /tmp/evaluation/460033-1179235830/instance-460033-1179235830.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  8d6acb9f6b752ad76c024133f5175c69

RANDOM SEED= 158357893

TIME LIMIT= 10000 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:        870552 kB
Buffers:         54172 kB
Cached:         971452 kB
SwapCached:       3148 kB
Active:         542496 kB
Inactive:       492644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        870552 kB
SwapTotal:     4192956 kB
SwapFree:      4183876 kB
Dirty:            4276 kB
Writeback:           0 kB
Mapped:          15528 kB
Slab:           136212 kB
Committed_AS:  4978044 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 Tue May 15 14:54:05 UTC 2007