Trace number 426436

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) 5000.19 2506.33

General information on the benchmark

Namerandom/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
MD5SUM54c1eff6d0c1d0b678598195ef471075
Bench CategoryRANDOM (random 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 variables2034
Number of clauses6327
Sum of the clauses size17716
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21265
Number of clauses of size 35062
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

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/node55/watcher-426436-1179048536 -o ROOT/results/node55/solver-426436-1179048536 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426436-1179048536/MiraXTv3_dyn /tmp/evaluation/426436-1179048536/instance-426436-1179048536.cnf 

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 21664
/proc/meminfo: memFree=1100940/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=3788 CPUtime=0
/proc/21664/stat : 21664 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 352763698 3878912 246 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21664/statm: 947 253 202 20 0 305 0

[startup+0.029741 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 21664
/proc/meminfo: memFree=1100940/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=5848 CPUtime=0.02
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 639 0 0 0 2 0 0 0 18 0 3 0 352763698 5988352 614 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 1462 614 216 20 0 820 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5848

[startup+0.101731 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 21664
/proc/meminfo: memFree=1100940/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=7872 CPUtime=0.16
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 900 0 0 0 16 0 0 0 18 0 3 0 352763698 8060928 875 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 1968 875 218 20 0 1326 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 7872

[startup+0.301749 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 21664
/proc/meminfo: memFree=1100940/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=10100 CPUtime=0.55
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 1184 0 0 0 55 0 0 0 18 0 3 0 352763698 10342400 1159 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 2525 1159 218 20 0 1883 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10100

[startup+0.701786 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 21664
/proc/meminfo: memFree=1100940/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=12144 CPUtime=1.36
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 1686 0 0 0 135 1 0 0 18 0 3 0 352763698 12435456 1661 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 3036 1661 218 20 0 2394 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 12144

[startup+1.50186 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 21667
/proc/meminfo: memFree=1093748/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=14876 CPUtime=2.95
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 2571 0 0 0 294 1 0 0 18 0 3 0 352763698 15233024 2546 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 3719 2546 218 20 0 3077 0
[pid=21664/tid=21666] ppid=21662 vsize=14876 CPUtime=1.46
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 992 0 0 0 146 0 0 0 23 0 3 0 352763700 15233024 2546 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565889 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=14876 CPUtime=1.45
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 1077 0 0 0 145 0 0 0 20 0 3 0 352763700 15233024 2546 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520513 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 14876

[startup+3.10201 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 21667
/proc/meminfo: memFree=1089012/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=20336 CPUtime=6.14
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 3922 0 0 0 612 2 0 0 18 0 3 0 352763698 20824064 3897 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 5084 3897 218 20 0 4442 0
[pid=21664/tid=21666] ppid=21662 vsize=20336 CPUtime=3.06
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 1587 0 0 0 306 0 0 0 25 0 3 0 352763700 20824064 3897 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=20336 CPUtime=3.04
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 1833 0 0 0 303 1 0 0 18 0 3 0 352763700 20824064 3897 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 20336

[startup+6.30131 s]
/proc/loadavg: 0.16 0.03 0.01 3/67 21667
/proc/meminfo: memFree=1083252/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=23344 CPUtime=12.52
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 4662 0 0 0 1249 3 0 0 18 0 3 0 352763698 23904256 4637 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 5836 4637 218 20 0 5194 0
[pid=21664/tid=21666] ppid=21662 vsize=23344 CPUtime=6.26
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 2091 0 0 0 625 1 0 0 20 0 3 0 352763700 23904256 4637 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=23344 CPUtime=6.22
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 2069 0 0 0 621 1 0 0 25 0 3 0 352763700 23904256 4637 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 23344

[startup+12.7029 s]
/proc/loadavg: 0.31 0.07 0.02 3/67 21667
/proc/meminfo: memFree=1070772/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=36800 CPUtime=25.3
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 8137 0 0 0 2523 7 0 0 18 0 3 0 352763698 37683200 7958 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 9200 7958 218 20 0 8558 0
[pid=21664/tid=21666] ppid=21662 vsize=36800 CPUtime=12.66
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 3715 0 0 0 1264 2 0 0 25 0 3 0 352763700 37683200 7958 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=36800 CPUtime=12.6
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 3920 0 0 0 1257 3 0 0 18 0 3 0 352763700 37683200 7958 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 36800

[startup+25.5011 s]
/proc/loadavg: 0.68 0.16 0.05 3/67 21667
/proc/meminfo: memFree=1055092/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=51804 CPUtime=50.81
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 11907 0 0 0 5069 12 0 0 18 0 3 0 352763698 53047296 11525 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 12951 11525 218 20 0 12309 0
[pid=21664/tid=21666] ppid=21662 vsize=51804 CPUtime=25.45
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 5489 0 0 0 2540 5 0 0 25 0 3 0 352763700 53047296 11525 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=51804 CPUtime=25.33
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 5916 0 0 0 2526 7 0 0 25 0 3 0 352763700 53047296 11525 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 51804

[startup+51.1015 s]
/proc/loadavg: 1.13 0.31 0.10 3/67 21667
/proc/meminfo: memFree=1039092/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=68496 CPUtime=101.89
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 16681 0 0 0 10170 19 0 0 18 0 3 0 352763698 70139904 15795 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 17124 15795 218 20 0 16482 0
[pid=21664/tid=21666] ppid=21662 vsize=68496 CPUtime=51.04
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 7786 0 0 0 5096 8 0 0 25 0 3 0 352763700 70139904 15795 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=68496 CPUtime=50.82
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 8393 0 0 0 5071 11 0 0 25 0 3 0 352763700 70139904 15795 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 68496

[startup+102.305 s]
/proc/loadavg: 1.62 0.56 0.20 3/67 21667
/proc/meminfo: memFree=1032052/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=74652 CPUtime=204.03
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 19149 0 0 0 20381 22 0 0 18 0 3 0 352763698 76443648 17315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 18663 17315 218 20 0 18021 0
[pid=21664/tid=21666] ppid=21662 vsize=74652 CPUtime=102.2
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 8517 0 0 0 10212 8 0 0 25 0 3 0 352763700 76443648 17315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=74652 CPUtime=101.78
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 10130 0 0 0 10165 13 0 0 25 0 3 0 352763700 76443648 17315 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526142 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 74652

[startup+162.302 s]
/proc/loadavg: 1.86 0.82 0.31 3/67 21667
/proc/meminfo: memFree=1026292/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=80324 CPUtime=323.71
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 21626 0 0 0 32347 24 0 0 18 0 3 0 352763698 82251776 18691 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 20081 18691 218 20 0 19439 0
[pid=21664/tid=21666] ppid=21662 vsize=80324 CPUtime=162.17
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 10361 0 0 0 16207 10 0 0 25 0 3 0 352763700 82251776 18691 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=80324 CPUtime=161.51
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 10763 0 0 0 16137 14 0 0 25 0 3 0 352763700 82251776 18691 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.71
Current children cumulated vsize (KiB) 80324

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.41 3/67 21667
/proc/meminfo: memFree=1022964/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=83544 CPUtime=443.41
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 23456 0 0 0 44314 27 0 0 18 0 3 0 352763698 85549056 19531 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 20886 19531 218 20 0 20244 0
[pid=21664/tid=21666] ppid=21662 vsize=83544 CPUtime=222.14
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 10924 0 0 0 22204 10 0 0 25 0 3 0 352763700 85549056 19531 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=83544 CPUtime=221.23
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 12030 0 0 0 22107 16 0 0 25 0 3 0 352763700 85549056 19531 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.41
Current children cumulated vsize (KiB) 83544

[startup+282.302 s]
/proc/loadavg: 1.98 1.21 0.51 3/67 21667
/proc/meminfo: memFree=1022388/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=84228 CPUtime=563.12
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 24648 0 0 0 56284 28 0 0 18 0 3 0 352763698 86249472 19697 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 21057 19697 218 20 0 20415 0
[pid=21664/tid=21666] ppid=21662 vsize=84228 CPUtime=282.11
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 11521 0 0 0 28200 11 0 0 25 0 3 0 352763700 86249472 19697 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=84228 CPUtime=280.97
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 12625 0 0 0 28080 17 0 0 25 0 3 0 352763700 86249472 19697 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 84228

[startup+342.302 s]
/proc/loadavg: 1.99 1.35 0.60 3/67 21667
/proc/meminfo: memFree=1021684/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=84644 CPUtime=682.82
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 25686 0 0 0 68253 29 0 0 18 0 3 0 352763698 86675456 19854 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 21161 19854 218 20 0 20519 0
[pid=21664/tid=21666] ppid=21662 vsize=84644 CPUtime=342.08
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 12001 0 0 0 34197 11 0 0 25 0 3 0 352763700 86675456 19854 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=84644 CPUtime=340.7
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 13183 0 0 0 34053 17 0 0 25 0 3 0 352763700 86675456 19854 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526613 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.82
Current children cumulated vsize (KiB) 84644

[startup+402.301 s]

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

/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 29738 0 0 0 190131 26 0 0 25 0 3 0 352763700 125263872 29334 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21664/tid=21667] ppid=21662 vsize=122328 CPUtime=1893.69
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 29759 0 0 0 189336 33 0 0 25 0 3 0 352763700 125263872 29334 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565473 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3795.28
Current children cumulated vsize (KiB) 122328

[startup+1962.3 s]
/proc/loadavg: 2.02 1.99 1.72 3/73 21835
/proc/meminfo: memFree=982364/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=122328 CPUtime=3914.79
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 61023 0 0 0 391407 72 0 0 18 0 3 0 352763698 125263872 29350 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30582 29350 218 20 0 29940 0
[pid=21664/tid=21666] ppid=21662 vsize=122328 CPUtime=1961.39
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 30248 0 0 0 196113 26 0 0 20 0 3 0 352763700 125263872 29350 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=122328 CPUtime=1953.36
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 30273 0 0 0 195291 45 0 0 19 0 3 0 352763700 125263872 29350 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.79
Current children cumulated vsize (KiB) 122328

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/67 21867
/proc/meminfo: memFree=983220/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=122328 CPUtime=4034.45
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 61951 0 0 0 403369 76 0 0 18 0 3 0 352763698 125263872 29390 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30582 29390 218 20 0 29940 0
[pid=21664/tid=21666] ppid=21662 vsize=122328 CPUtime=2021.12
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 30650 0 0 0 202082 30 0 0 25 0 3 0 352763700 125263872 29390 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=122328 CPUtime=2013.3
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 30799 0 0 0 201285 45 0 0 25 0 3 0 352763700 125263872 29390 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.45
Current children cumulated vsize (KiB) 122328

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.75 3/67 21867
/proc/meminfo: memFree=983156/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=122460 CPUtime=4154.18
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 63019 0 0 0 415341 77 0 0 18 0 3 0 352763698 125399040 29438 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30615 29438 218 20 0 29973 0
[pid=21664/tid=21666] ppid=21662 vsize=122460 CPUtime=2080.87
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 31183 0 0 0 208056 31 0 0 25 0 3 0 352763700 125399040 29438 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=122460 CPUtime=2073.28
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 31334 0 0 0 207282 46 0 0 25 0 3 0 352763700 125399040 29438 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4154.18
Current children cumulated vsize (KiB) 122460

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/67 21867
/proc/meminfo: memFree=982708/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=123524 CPUtime=4273.87
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 64035 0 0 0 427309 78 0 0 18 0 3 0 352763698 126488576 29557 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30881 29557 218 20 0 30239 0
[pid=21664/tid=21666] ppid=21662 vsize=123524 CPUtime=2140.59
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 31582 0 0 0 214028 31 0 0 25 0 3 0 352763700 126488576 29557 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=123524 CPUtime=2133.26
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 31951 0 0 0 213279 47 0 0 25 0 3 0 352763700 126488576 29557 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.87
Current children cumulated vsize (KiB) 123524

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/67 21867
/proc/meminfo: memFree=982580/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=123524 CPUtime=4393.6
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 64947 0 0 0 439281 79 0 0 18 0 3 0 352763698 126488576 29566 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30881 29566 218 20 0 30239 0
[pid=21664/tid=21666] ppid=21662 vsize=123524 CPUtime=2200.32
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 32103 0 0 0 220001 31 0 0 25 0 3 0 352763700 126488576 29566 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=123524 CPUtime=2193.24
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 32342 0 0 0 219277 47 0 0 25 0 3 0 352763700 126488576 29566 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.6
Current children cumulated vsize (KiB) 123524

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/67 21867
/proc/meminfo: memFree=982580/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=123524 CPUtime=4513.32
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 65999 0 0 0 451253 79 0 0 18 0 3 0 352763698 126488576 29580 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30881 29580 218 20 0 30239 0
[pid=21664/tid=21666] ppid=21662 vsize=123524 CPUtime=2260.06
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 32629 0 0 0 225974 32 0 0 25 0 3 0 352763700 126488576 29580 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=123524 CPUtime=2253.23
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 32868 0 0 0 225276 47 0 0 25 0 3 0 352763700 126488576 29580 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4513.32
Current children cumulated vsize (KiB) 123524

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/67 21867
/proc/meminfo: memFree=982452/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=123524 CPUtime=4633.03
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 67080 0 0 0 463223 80 0 0 18 0 3 0 352763698 126488576 29613 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30881 29613 218 20 0 30239 0
[pid=21664/tid=21666] ppid=21662 vsize=123524 CPUtime=2319.78
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 33163 0 0 0 231946 32 0 0 25 0 3 0 352763700 126488576 29613 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=123524 CPUtime=2313.21
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 33415 0 0 0 231274 47 0 0 25 0 3 0 352763700 126488576 29613 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4633.03
Current children cumulated vsize (KiB) 123524

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/67 21867
/proc/meminfo: memFree=982324/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=123524 CPUtime=4752.74
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 68039 0 0 0 475194 80 0 0 18 0 3 0 352763698 126488576 29648 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 30881 29648 218 20 0 30239 0
[pid=21664/tid=21666] ppid=21662 vsize=123524 CPUtime=2379.52
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 33697 0 0 0 237920 32 0 0 25 0 3 0 352763700 126488576 29648 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=123524 CPUtime=2373.18
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 33840 0 0 0 237271 47 0 0 25 0 3 0 352763700 126488576 29648 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.74
Current children cumulated vsize (KiB) 123524

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/67 21867
/proc/meminfo: memFree=980980/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=124584 CPUtime=4872.45
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 69395 0 0 0 487164 81 0 0 18 0 3 0 352763698 127574016 29941 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 31146 29941 218 20 0 30504 0
[pid=21664/tid=21666] ppid=21662 vsize=124584 CPUtime=2439.26
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 34515 0 0 0 243894 32 0 0 25 0 3 0 352763700 127574016 29941 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=124584 CPUtime=2433.15
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 34378 0 0 0 243267 48 0 0 25 0 3 0 352763700 127574016 29941 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.45
Current children cumulated vsize (KiB) 124584

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/67 21867
/proc/meminfo: memFree=981044/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=124740 CPUtime=4992.16
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 70360 0 0 0 499135 81 0 0 18 0 3 0 352763698 127733760 29968 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 31185 29968 218 20 0 30543 0
[pid=21664/tid=21666] ppid=21662 vsize=124740 CPUtime=2498.99
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 35073 0 0 0 249866 33 0 0 25 0 3 0 352763700 127733760 29968 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=124740 CPUtime=2493.14
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 34785 0 0 0 249266 48 0 0 25 0 3 0 352763700 127733760 29968 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4992.16
Current children cumulated vsize (KiB) 124740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/67 21867
/proc/meminfo: memFree=980980/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=124740 CPUtime=5000.15
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 70495 0 0 0 499933 82 0 0 18 0 3 0 352763698 127733760 29969 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 31185 29969 218 20 0 30543 0
[pid=21664/tid=21666] ppid=21662 vsize=124740 CPUtime=2502.98
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 35073 0 0 0 250265 33 0 0 25 0 3 0 352763700 127733760 29969 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=124740 CPUtime=2497.14
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 34920 0 0 0 249666 48 0 0 25 0 3 0 352763700 127733760 29969 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.15
Current children cumulated vsize (KiB) 124740

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

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

[startup+2506.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/67 21867
/proc/meminfo: memFree=980980/2055920 swapFree=4184564/4192956
[pid=21664] ppid=21662 vsize=124740 CPUtime=5000.15
/proc/21664/stat : 21664 (MiraXTv3_dyn) S 21662 21664 21592 0 -1 4194304 70495 0 0 0 499933 82 0 0 18 0 3 0 352763698 127733760 29969 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21664/statm: 31185 29969 218 20 0 30543 0
[pid=21664/tid=21666] ppid=21662 vsize=124740 CPUtime=2502.98
/proc/21664/task/21666/stat : 21666 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 35073 0 0 0 250265 33 0 0 25 0 3 0 352763700 127733760 29969 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21664/tid=21667] ppid=21662 vsize=124740 CPUtime=2497.14
/proc/21664/task/21667/stat : 21667 (MiraXTv3_dyn) R 21662 21664 21592 0 -1 4194368 34920 0 0 0 249666 48 0 0 25 0 3 0 352763700 127733760 29969 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.15
Current children cumulated vsize (KiB) 124740

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.33
CPU time (s): 5000.19
CPU user time (s): 4999.35
CPU system time (s): 0.838872
CPU usage (%): 199.502
Max. virtual memory (cumulated for all children) (KiB): 124740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.35
system time used= 0.838872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70495
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= 377
involuntary context switches= 37949

runsolver used 2.68359 second user time and 6.43602 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Sun May 13 09:28:57 UTC 2007

IDJOB= 426436
IDBENCH= 20307
IDSOLVER= 196
FILE ID= node55/426436-1179048536

PBS_JOBID= 5253459

Free space on /tmp= 66538 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2035/unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/426436-1179048536/MiraXTv3_dyn /tmp/evaluation/426436-1179048536/instance-426436-1179048536.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-426436-1179048536 -o ROOT/results/node55/solver-426436-1179048536 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426436-1179048536/MiraXTv3_dyn /tmp/evaluation/426436-1179048536/instance-426436-1179048536.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  54c1eff6d0c1d0b678598195ef471075

RANDOM SEED= 728891098

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
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.216
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:       1101284 kB
Buffers:         53684 kB
Cached:         751700 kB
SwapCached:       2456 kB
Active:         435524 kB
Inactive:       379408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1101284 kB
SwapTotal:     4192956 kB
SwapFree:      4184564 kB
Dirty:            3996 kB
Writeback:           0 kB
Mapped:          15960 kB
Slab:           125768 kB
Committed_AS:  4454016 kB
PageTables:       1408 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= 66538 MiB

End job on node55 on Sun May 13 10:10:45 UTC 2007