Trace number 426379

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.31 2506.91

General information on the benchmark

Namerandom/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
MD5SUM05c3fabf805829dbf896864dc67f5a6b
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 variables19000
Number of clauses79800
Sum of the clauses size239400
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 379800
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/node50/watcher-426379-1179012993 -o ROOT/results/node50/solver-426379-1179012993 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426379-1179012993/MiraXTv3_dyn /tmp/evaluation/426379-1179012993/instance-426379-1179012993.cnf 

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 28543
/proc/meminfo: memFree=1293624/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=3788 CPUtime=0
/proc/28543/stat : 28543 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194304 323 0 0 0 0 0 0 0 18 0 1 0 256144474 3878912 298 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28543/statm: 947 305 202 20 0 305 0

[startup+0.058384 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 28543
/proc/meminfo: memFree=1293624/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=7872 CPUtime=0.04
/proc/28543/stat : 28543 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194304 1442 0 0 0 4 0 0 0 18 0 1 0 256144474 8060928 1417 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 1 0 0
/proc/28543/statm: 1968 1417 206 20 0 1326 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7872

[startup+0.101388 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 28543
/proc/meminfo: memFree=1293624/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=9152 CPUtime=0.08
/proc/28543/stat : 28543 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194304 1732 0 0 0 8 0 0 0 18 0 1 0 256144474 9371648 1707 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 1 0 0
/proc/28543/statm: 2288 1707 206 20 0 1646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9152

[startup+0.301406 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 28543
/proc/meminfo: memFree=1293624/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=11368 CPUtime=0.29
/proc/28543/stat : 28543 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194304 2335 0 0 0 28 1 0 0 19 0 1 0 256144474 11640832 2310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134587483 0 0 4096 0 0 0 0 17 1 0 0
/proc/28543/statm: 2842 2310 207 20 0 2200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11368

[startup+0.701453 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 28543
/proc/meminfo: memFree=1293624/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=43180 CPUtime=0.85
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 6168 0 0 0 82 3 0 0 21 0 3 0 256144474 44216320 5778 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 10795 5778 218 20 0 10153 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 43180

[startup+1.50152 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 28546
/proc/meminfo: memFree=1270752/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=44108 CPUtime=2.45
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 6422 0 0 0 242 3 0 0 21 0 3 0 256144474 45166592 6032 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 11027 6032 218 20 0 10385 0
[pid=28543/tid=28545] ppid=28541 vsize=44108 CPUtime=1.07
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 1949 0 0 0 106 1 0 0 25 0 3 0 256144517 45166592 6032 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=44108 CPUtime=0.94
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 1595 0 0 0 94 0 0 0 24 0 3 0 256144517 45166592 6032 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520129 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 44108

[startup+3.10166 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 28546
/proc/meminfo: memFree=1269024/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=48536 CPUtime=5.63
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 7408 0 0 0 559 4 0 0 21 0 3 0 256144474 49700864 7018 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 12134 7018 218 20 0 11492 0
[pid=28543/tid=28545] ppid=28541 vsize=48536 CPUtime=2.66
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 2335 0 0 0 265 1 0 0 25 0 3 0 256144517 49700864 7018 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526571 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=48536 CPUtime=2.54
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 2195 0 0 0 253 1 0 0 25 0 3 0 256144517 49700864 7018 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 48536

[startup+6.30294 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 28546
/proc/meminfo: memFree=1257952/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=59004 CPUtime=12.02
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 10237 0 0 0 1194 8 0 0 21 0 3 0 256144474 60420096 9847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 14751 9847 218 20 0 14109 0
[pid=28543/tid=28545] ppid=28541 vsize=59004 CPUtime=5.86
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 3532 0 0 0 583 3 0 0 25 0 3 0 256144517 60420096 9847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=59004 CPUtime=5.73
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 3827 0 0 0 570 3 0 0 18 0 3 0 256144517 60420096 9847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 59004

[startup+12.7015 s]
/proc/loadavg: 1.87 1.94 1.90 3/67 28546
/proc/meminfo: memFree=1233512/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=82844 CPUtime=24.79
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 16270 0 0 0 2463 16 0 0 21 0 3 0 256144474 84832256 15880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 20711 15880 218 20 0 20069 0
[pid=28543/tid=28545] ppid=28541 vsize=82844 CPUtime=12.26
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 6358 0 0 0 1218 8 0 0 25 0 3 0 256144517 84832256 15880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526652 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=82844 CPUtime=12.1
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 7034 0 0 0 1204 6 0 0 25 0 3 0 256144517 84832256 15880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 82844

[startup+25.5016 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 28546
/proc/meminfo: memFree=1211688/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=101688 CPUtime=50.33
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 21014 0 0 0 5009 24 0 0 21 0 3 0 256144474 104128512 20624 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 25422 20624 218 20 0 24780 0
[pid=28543/tid=28545] ppid=28541 vsize=101688 CPUtime=25.05
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 8629 0 0 0 2493 12 0 0 25 0 3 0 256144517 104128512 20624 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=101688 CPUtime=24.83
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 9507 0 0 0 2474 9 0 0 25 0 3 0 256144517 104128512 20624 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (KiB) 101688

[startup+51.1019 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 28546
/proc/meminfo: memFree=1144936/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=169764 CPUtime=101.41
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 38214 0 0 0 10094 47 0 0 21 0 3 0 256144474 173838336 37752 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 42441 37752 218 20 0 41799 0
[pid=28543/tid=28545] ppid=28541 vsize=169764 CPUtime=50.64
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 17534 0 0 0 5037 27 0 0 25 0 3 0 256144517 173838336 37752 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=169764 CPUtime=50.33
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 17802 0 0 0 5015 18 0 0 25 0 3 0 256144517 173838336 37752 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 169764

[startup+102.305 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 28546
/proc/meminfo: memFree=1046120/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=265400 CPUtime=203.56
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 62689 0 0 0 20276 80 0 0 21 0 3 0 256144474 271769600 61847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 66350 61847 218 20 0 65708 0
[pid=28543/tid=28545] ppid=28541 vsize=265400 CPUtime=101.82
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 29482 0 0 0 10134 48 0 0 20 0 3 0 256144517 271769600 61847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=265400 CPUtime=101.31
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 30329 0 0 0 10101 30 0 0 25 0 3 0 256144517 271769600 61847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4160576663 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 265400

[startup+162.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 28546
/proc/meminfo: memFree=994600/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=319172 CPUtime=323.28
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 76384 0 0 0 32230 98 0 0 21 0 3 0 256144474 326832128 75302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 79793 75302 218 20 0 79151 0
[pid=28543/tid=28545] ppid=28541 vsize=319172 CPUtime=161.8
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 35222 0 0 0 16122 58 0 0 25 0 3 0 256144517 326832128 75302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=319172 CPUtime=161.04
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 38284 0 0 0 16066 38 0 0 25 0 3 0 256144517 326832128 75302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.28
Current children cumulated vsize (KiB) 319172

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 28546
/proc/meminfo: memFree=975656/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=335568 CPUtime=442.95
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 80779 0 0 0 44190 105 0 0 21 0 3 0 256144474 343621632 79442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 83892 79442 218 20 0 83250 0
[pid=28543/tid=28545] ppid=28541 vsize=335568 CPUtime=221.76
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 37425 0 0 0 22115 61 0 0 25 0 3 0 256144517 343621632 79442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=335568 CPUtime=220.75
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 40476 0 0 0 22034 41 0 0 25 0 3 0 256144517 343621632 79442 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.95
Current children cumulated vsize (KiB) 335568

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 28546
/proc/meminfo: memFree=900328/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=411276 CPUtime=562.59
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 99844 0 0 0 56130 129 0 0 21 0 3 0 256144474 421146624 98244 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 102819 98244 218 20 0 102177 0
[pid=28543/tid=28545] ppid=28541 vsize=411276 CPUtime=281.74
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 48231 0 0 0 28098 76 0 0 25 0 3 0 256144517 421146624 98244 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=411276 CPUtime=280.41
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 48735 0 0 0 27991 50 0 0 25 0 3 0 256144517 421146624 98244 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.59
Current children cumulated vsize (KiB) 411276

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 28546
/proc/meminfo: memFree=889000/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=422540 CPUtime=682.29
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 103093 0 0 0 68095 134 0 0 21 0 3 0 256144474 432680960 101226 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 105635 101226 218 20 0 104993 0
[pid=28543/tid=28545] ppid=28541 vsize=422540 CPUtime=341.72
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 51404 0 0 0 34090 82 0 0 25 0 3 0 256144517 432680960 101226 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=422540 CPUtime=340.14
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 48811 0 0 0 33964 50 0 0 25 0 3 0 256144517 432680960 101226 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.29
Current children cumulated vsize (KiB) 422540

[startup+402.302 s]

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

/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76868 0 0 0 183949 125 0 0 25 0 3 0 256144517 652959744 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637656 CPUtime=1833.2
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78628 0 0 0 183223 97 0 0 25 0 3 0 256144517 652959744 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.37
Current children cumulated vsize (KiB) 637656

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28744
/proc/meminfo: memFree=672168/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=3794.08
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158378 0 0 0 379184 224 0 0 21 0 3 0 256144474 652898304 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155176 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=1900.71
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76871 0 0 0 189946 125 0 0 25 0 3 0 256144517 652898304 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=1892.94
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78629 0 0 0 189197 97 0 0 25 0 3 0 256144517 652898304 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.08
Current children cumulated vsize (KiB) 637596

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28744
/proc/meminfo: memFree=672168/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=3913.81
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158378 0 0 0 391157 224 0 0 21 0 3 0 256144474 652898304 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155176 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=1960.7
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76871 0 0 0 195945 125 0 0 25 0 3 0 256144517 652898304 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=1952.68
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78629 0 0 0 195171 97 0 0 25 0 3 0 256144517 652898304 155176 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.81
Current children cumulated vsize (KiB) 637596

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28744
/proc/meminfo: memFree=672168/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4033.47
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158380 0 0 0 403122 225 0 0 21 0 3 0 256144474 652898304 155178 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155178 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2020.67
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76872 0 0 0 201942 125 0 0 25 0 3 0 256144517 652898304 155178 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2012.36
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78630 0 0 0 201138 98 0 0 25 0 3 0 256144517 652898304 155178 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.47
Current children cumulated vsize (KiB) 637596

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28744
/proc/meminfo: memFree=672168/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4153.21
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158388 0 0 0 415096 225 0 0 21 0 3 0 256144474 652898304 155186 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155186 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2080.66
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76876 0 0 0 207941 125 0 0 25 0 3 0 256144517 652898304 155186 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2072.11
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78634 0 0 0 207113 98 0 0 25 0 3 0 256144517 652898304 155186 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.21
Current children cumulated vsize (KiB) 637596

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=672040/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4272.9
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158404 0 0 0 427065 225 0 0 21 0 3 0 256144474 652898304 155202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155202 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2140.63
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76886 0 0 0 213938 125 0 0 25 0 3 0 256144517 652898304 155202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2131.83
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78640 0 0 0 213085 98 0 0 25 0 3 0 256144517 652898304 155202 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.9
Current children cumulated vsize (KiB) 637596

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=672040/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4392.62
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158405 0 0 0 439037 225 0 0 21 0 3 0 256144474 652898304 155203 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155203 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2200.62
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76886 0 0 0 219937 125 0 0 25 0 3 0 256144517 652898304 155203 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526499 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2191.57
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78641 0 0 0 219059 98 0 0 25 0 3 0 256144517 652898304 155203 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.62
Current children cumulated vsize (KiB) 637596

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=671912/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4512.33
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158455 0 0 0 451007 226 0 0 21 0 3 0 256144474 652898304 155253 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155253 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2260.58
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76936 0 0 0 225933 125 0 0 25 0 3 0 256144517 652898304 155253 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2251.3
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78641 0 0 0 225032 98 0 0 25 0 3 0 256144517 652898304 155253 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 8353436 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.33
Current children cumulated vsize (KiB) 637596

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=671848/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4632.05
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158456 0 0 0 462979 226 0 0 21 0 3 0 256144474 652898304 155254 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155254 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2320.57
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76936 0 0 0 231932 125 0 0 25 0 3 0 256144517 652898304 155254 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2311.04
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78642 0 0 0 231006 98 0 0 25 0 3 0 256144517 652898304 155254 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.05
Current children cumulated vsize (KiB) 637596

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=671848/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4751.77
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158464 0 0 0 474951 226 0 0 21 0 3 0 256144474 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155262 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2380.55
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76937 0 0 0 237930 125 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2370.77
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78649 0 0 0 236979 98 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.77
Current children cumulated vsize (KiB) 637596

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=671784/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4871.49
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158464 0 0 0 486923 226 0 0 21 0 3 0 256144474 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155262 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2440.53
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76937 0 0 0 243928 125 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2430.51
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78649 0 0 0 242953 98 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.49
Current children cumulated vsize (KiB) 637596

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=671720/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=4991.21
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158464 0 0 0 498895 226 0 0 21 0 3 0 256144474 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155262 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2500.52
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76937 0 0 0 249927 125 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2490.25
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78649 0 0 0 248927 98 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.21
Current children cumulated vsize (KiB) 637596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/67 28746
/proc/meminfo: memFree=671720/2055920 swapFree=4183876/4192956
[pid=28543] ppid=28541 vsize=637596 CPUtime=5000.2
/proc/28543/stat : 28543 (MiraXTv3_dyn) S 28541 28543 28214 0 -1 4194304 158464 0 0 0 499794 226 0 0 21 0 3 0 256144474 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28543/statm: 159399 155262 218 20 0 158757 0
[pid=28543/tid=28545] ppid=28541 vsize=637596 CPUtime=2505.02
/proc/28543/task/28545/stat : 28545 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 76937 0 0 0 250377 125 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=28543/tid=28546] ppid=28541 vsize=637596 CPUtime=2494.73
/proc/28543/task/28546/stat : 28546 (MiraXTv3_dyn) R 28541 28543 28214 0 -1 4194368 78649 0 0 0 249375 98 0 0 25 0 3 0 256144517 652898304 155262 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.2
Current children cumulated vsize (KiB) 637596

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): 2506.91
CPU time (s): 5000.31
CPU user time (s): 4997.96
CPU system time (s): 2.35564
CPU usage (%): 199.461
Max. virtual memory (cumulated for all children) (KiB): 637940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.96
system time used= 2.35564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158464
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= 763
involuntary context switches= 37923

runsolver used 2.57061 second user time and 6.559 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat May 12 23:36:33 UTC 2007

IDJOB= 426379
IDBENCH= 20204
IDSOLVER= 196
FILE ID= node50/426379-1179012993

PBS_JOBID= 5252981

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v19000/unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
COMMAND LINE= /tmp/evaluation/426379-1179012993/MiraXTv3_dyn /tmp/evaluation/426379-1179012993/instance-426379-1179012993.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-426379-1179012993 -o ROOT/results/node50/solver-426379-1179012993 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426379-1179012993/MiraXTv3_dyn /tmp/evaluation/426379-1179012993/instance-426379-1179012993.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  05c3fabf805829dbf896864dc67f5a6b

RANDOM SEED= 60319986

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1293968 kB
Buffers:         50212 kB
Cached:         582372 kB
SwapCached:       3148 kB
Active:         326744 kB
Inactive:       315748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1293968 kB
SwapTotal:     4192956 kB
SwapFree:      4183876 kB
Dirty:            5440 kB
Writeback:           0 kB
Mapped:          15876 kB
Slab:           105480 kB
Committed_AS:  4948616 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= 66548 MiB

End job on node50 on Sun May 13 00:18:22 UTC 2007