Trace number 426270

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.13 2507.34

General information on the benchmark

Namerandom/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
MD5SUMa02a2738089687e729cfe1ab1c276d10
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 variables240
Number of clauses20400
Sum of the clauses size142800
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520400

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/node74/watcher-426270-1179048317 -o ROOT/results/node74/solver-426270-1179048317 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426270-1179048317/MiraXTv3_dyn /tmp/evaluation/426270-1179048317/instance-426270-1179048317.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/65 10644
/proc/meminfo: memFree=1440816/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=3788 CPUtime=0
/proc/10644/stat : 10644 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194304 312 0 0 0 0 0 0 0 18 0 1 0 352746493 3878912 287 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10644/statm: 947 294 202 20 0 305 0

[startup+0.082899 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10644
/proc/meminfo: memFree=1440816/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=5788 CPUtime=0.07
/proc/10644/stat : 10644 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194304 929 0 0 0 7 0 0 0 18 0 1 0 352746493 5926912 904 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583881 0 0 4096 0 0 0 0 17 1 0 0
/proc/10644/statm: 1447 904 207 20 0 805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5788

[startup+0.1019 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10644
/proc/meminfo: memFree=1440816/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=5788 CPUtime=0.09
/proc/10644/stat : 10644 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194304 929 0 0 0 9 0 0 0 18 0 1 0 352746493 5926912 904 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/10644/statm: 1447 904 207 20 0 805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5788

[startup+0.301924 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10644
/proc/meminfo: memFree=1440816/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=5788 CPUtime=0.29
/proc/10644/stat : 10644 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194304 929 0 0 0 29 0 0 0 19 0 1 0 352746493 5926912 904 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134575882 0 0 4096 0 0 0 0 17 1 0 0
/proc/10644/statm: 1447 904 207 20 0 805 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5788

[startup+0.701976 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10644
/proc/meminfo: memFree=1440816/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=13616 CPUtime=0.79
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 1789 0 0 0 79 0 0 0 21 0 3 0 352746493 13942784 1718 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 3404 1718 218 20 0 2762 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 13616

[startup+1.50107 s]
/proc/loadavg: 0.08 0.02 0.01 3/68 10647
/proc/meminfo: memFree=1431960/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=21636 CPUtime=2.39
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 3581 0 0 0 237 2 0 0 21 0 3 0 352746493 22155264 3510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 5409 3510 218 20 0 4767 0
[pid=10644/tid=10646] ppid=10642 vsize=21636 CPUtime=0.91
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 1210 0 0 0 91 0 0 0 17 0 3 0 352746552 22155264 3510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526391 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=21636 CPUtime=0.89
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 1326 0 0 0 88 1 0 0 18 0 3 0 352746552 22155264 3510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522148 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 21636

[startup+3.10126 s]
/proc/loadavg: 0.08 0.02 0.01 3/68 10647
/proc/meminfo: memFree=1422872/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=31340 CPUtime=5.59
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 5925 0 0 0 555 4 0 0 21 0 3 0 352746493 32092160 5854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 7835 5854 218 20 0 7193 0
[pid=10644/tid=10646] ppid=10642 vsize=31340 CPUtime=2.5
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 2394 0 0 0 250 0 0 0 23 0 3 0 352746552 32092160 5854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=31340 CPUtime=2.48
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 2486 0 0 0 246 2 0 0 17 0 3 0 352746552 32092160 5854 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565782 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 31340

[startup+6.30263 s]
/proc/loadavg: 0.08 0.02 0.01 3/68 10647
/proc/meminfo: memFree=1412824/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=40068 CPUtime=11.97
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 8379 0 0 0 1191 6 0 0 21 0 3 0 352746493 41029632 8236 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 10017 8236 218 20 0 9375 0
[pid=10644/tid=10646] ppid=10642 vsize=40068 CPUtime=5.7
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 3599 0 0 0 569 1 0 0 22 0 3 0 352746552 41029632 8236 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520526 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=40068 CPUtime=5.67
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 3735 0 0 0 563 4 0 0 25 0 3 0 352746552 41029632 8236 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 40068

[startup+12.7014 s]
/proc/loadavg: 0.37 0.08 0.03 3/68 10647
/proc/meminfo: memFree=1383320/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=67856 CPUtime=24.74
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 15483 0 0 0 2460 14 0 0 21 0 3 0 352746493 69484544 15172 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 16964 15172 218 20 0 16322 0
[pid=10644/tid=10646] ppid=10642 vsize=67856 CPUtime=12.1
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 7112 0 0 0 1206 4 0 0 18 0 3 0 352746552 69484544 15172 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=67856 CPUtime=12.04
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 7326 0 0 0 1195 9 0 0 18 0 3 0 352746552 69484544 15172 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 67856

[startup+25.5018 s]
/proc/loadavg: 0.62 0.14 0.05 3/68 10647
/proc/meminfo: memFree=1375192/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=74696 CPUtime=50.25
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 17559 0 0 0 5008 17 0 0 21 0 3 0 352746493 76488704 16808 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 18674 16808 218 20 0 18032 0
[pid=10644/tid=10646] ppid=10642 vsize=74696 CPUtime=24.9
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 7965 0 0 0 2485 5 0 0 25 0 3 0 352746552 76488704 16808 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=74696 CPUtime=24.76
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 8549 0 0 0 2465 11 0 0 25 0 3 0 352746552 76488704 16808 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521745 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 74696

[startup+51.1018 s]
/proc/loadavg: 1.16 0.32 0.11 2/68 10647
/proc/meminfo: memFree=1353368/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=93980 CPUtime=101.28
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 23535 0 0 0 10104 24 0 0 21 0 3 0 352746493 96235520 21968 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 23495 21968 218 20 0 22853 0
[pid=10644/tid=10646] ppid=10642 vsize=93980 CPUtime=50.46
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 10965 0 0 0 5038 8 0 0 20 0 3 0 352746552 96235520 21968 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=93980 CPUtime=50.23
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 11525 0 0 0 5008 15 0 0 21 0 3 0 352746552 96235520 21968 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 93980

[startup+102.306 s]
/proc/loadavg: 1.64 0.58 0.20 3/68 10647
/proc/meminfo: memFree=1340504/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=106432 CPUtime=203.39
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 28192 0 0 0 20309 30 0 0 21 0 3 0 352746493 108986368 25131 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 26608 25131 218 20 0 25966 0
[pid=10644/tid=10646] ppid=10642 vsize=106432 CPUtime=101.63
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 12951 0 0 0 10153 10 0 0 25 0 3 0 352746552 108986368 25131 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=106432 CPUtime=101.16
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 14196 0 0 0 10097 19 0 0 25 0 3 0 352746552 108986368 25131 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.39
Current children cumulated vsize (KiB) 106432

[startup+162.302 s]
/proc/loadavg: 1.86 0.83 0.31 3/68 10647
/proc/meminfo: memFree=1339224/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=107744 CPUtime=323.01
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 29877 0 0 0 32270 31 0 0 21 0 3 0 352746493 110329856 25451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 26936 25451 218 20 0 26294 0
[pid=10644/tid=10646] ppid=10642 vsize=107744 CPUtime=161.58
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 13820 0 0 0 16148 10 0 0 25 0 3 0 352746552 110329856 25451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=107744 CPUtime=160.84
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 15012 0 0 0 16064 20 0 0 25 0 3 0 352746552 110329856 25451 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.01
Current children cumulated vsize (KiB) 107744

[startup+222.302 s]
/proc/loadavg: 1.95 1.04 0.42 3/68 10647
/proc/meminfo: memFree=1338264/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=108820 CPUtime=442.68
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 30994 0 0 0 44236 32 0 0 21 0 3 0 352746493 111431680 25723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 27205 25723 218 20 0 26563 0
[pid=10644/tid=10646] ppid=10642 vsize=108820 CPUtime=221.5
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 14921 0 0 0 22139 11 0 0 25 0 3 0 352746552 111431680 25723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=108820 CPUtime=220.59
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 15028 0 0 0 22039 20 0 0 25 0 3 0 352746552 111431680 25723 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.68
Current children cumulated vsize (KiB) 108820

[startup+282.302 s]
/proc/loadavg: 1.98 1.21 0.51 3/68 10647
/proc/meminfo: memFree=1333144/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=113884 CPUtime=562.35
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 32965 0 0 0 56201 34 0 0 21 0 3 0 352746493 116617216 26979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 28471 26979 218 20 0 27829 0
[pid=10644/tid=10646] ppid=10642 vsize=113884 CPUtime=281.44
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 16892 0 0 0 28131 13 0 0 25 0 3 0 352746552 116617216 26979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=113884 CPUtime=280.32
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 15028 0 0 0 28012 20 0 0 25 0 3 0 352746552 116617216 26979 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.35
Current children cumulated vsize (KiB) 113884

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.60 3/68 10647
/proc/meminfo: memFree=1327000/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=120040 CPUtime=682.03
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 35682 0 0 0 68164 39 0 0 21 0 3 0 352746493 122920960 28526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 30010 28526 218 20 0 29368 0
[pid=10644/tid=10646] ppid=10642 vsize=120040 CPUtime=341.41
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 18053 0 0 0 34126 15 0 0 25 0 3 0 352746552 122920960 28526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526465 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10644/tid=10647] ppid=10642 vsize=120040 CPUtime=340.03
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 16584 0 0 0 33980 23 0 0 25 0 3 0 352746552 122920960 28526 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.03
Current children cumulated vsize (KiB) 120040

[startup+402.301 s]

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

/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 40590 0 0 0 189436 33 0 0 25 0 3 0 352746552 158339072 37051 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=154628 CPUtime=1898.34
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 37169 0 0 0 189792 42 0 0 25 0 3 0 352746552 158339072 37051 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.62
Current children cumulated vsize (KiB) 154628

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/68 10649
/proc/meminfo: memFree=1292440/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=154628 CPUtime=3913.29
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 80104 0 0 0 391252 77 0 0 21 0 3 0 352746493 158339072 37114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 38657 37114 218 20 0 38015 0
[pid=10644/tid=10646] ppid=10642 vsize=154628 CPUtime=1954.4
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 41241 0 0 0 195407 33 0 0 25 0 3 0 352746552 158339072 37114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=154628 CPUtime=1958.29
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 37818 0 0 0 195787 42 0 0 25 0 3 0 352746552 158339072 37114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.29
Current children cumulated vsize (KiB) 154628

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.73 3/68 10649
/proc/meminfo: memFree=1291992/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=155968 CPUtime=4032.97
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 81244 0 0 0 403219 78 0 0 21 0 3 0 352746493 159711232 37214 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 38992 37214 218 20 0 38350 0
[pid=10644/tid=10646] ppid=10642 vsize=155968 CPUtime=2014.13
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 41839 0 0 0 201379 34 0 0 25 0 3 0 352746552 159711232 37214 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=155968 CPUtime=2018.25
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 38360 0 0 0 201782 43 0 0 25 0 3 0 352746552 159711232 37214 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.97
Current children cumulated vsize (KiB) 155968

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.75 3/68 10649
/proc/meminfo: memFree=1291480/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=156304 CPUtime=4152.66
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 82613 0 0 0 415188 78 0 0 21 0 3 0 352746493 160055296 37346 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 39076 37346 218 20 0 38434 0
[pid=10644/tid=10646] ppid=10642 vsize=156304 CPUtime=2073.85
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 42587 0 0 0 207351 34 0 0 25 0 3 0 352746552 160055296 37346 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=156304 CPUtime=2078.21
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 38981 0 0 0 207778 43 0 0 16 0 3 0 352746552 160055296 37346 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10188290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.66
Current children cumulated vsize (KiB) 156304

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/68 10649
/proc/meminfo: memFree=1290136/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=157496 CPUtime=4272.33
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 83994 0 0 0 427153 80 0 0 21 0 3 0 352746493 161275904 37685 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 39374 37685 218 20 0 38732 0
[pid=10644/tid=10646] ppid=10642 vsize=157496 CPUtime=2133.56
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 43125 0 0 0 213321 35 0 0 25 0 3 0 352746552 161275904 37685 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520159 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=157496 CPUtime=2138.17
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 39824 0 0 0 213773 44 0 0 25 0 3 0 352746552 161275904 37685 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.33
Current children cumulated vsize (KiB) 157496

[startup+2202.3 s]
/proc/loadavg: 2.08 2.00 1.78 3/74 10827
/proc/meminfo: memFree=1288280/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=158520 CPUtime=4391.78
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 85434 0 0 0 439079 99 0 0 21 0 3 0 352746493 162324480 37825 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 39630 37825 218 20 0 38988 0
[pid=10644/tid=10646] ppid=10642 vsize=158520 CPUtime=2193.24
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 43841 0 0 0 219271 53 0 0 25 0 3 0 352746552 162324480 37825 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=158520 CPUtime=2197.95
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 40548 0 0 0 219750 45 0 0 25 0 3 0 352746552 162324480 37825 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.78
Current children cumulated vsize (KiB) 158520

[startup+2262.3 s]
/proc/loadavg: 2.03 2.00 1.79 3/68 10847
/proc/meminfo: memFree=1288792/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=158784 CPUtime=4511.43
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 86893 0 0 0 451043 100 0 0 21 0 3 0 352746493 162594816 37984 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 39696 37984 218 20 0 39054 0
[pid=10644/tid=10646] ppid=10642 vsize=158784 CPUtime=2252.95
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 44588 0 0 0 225242 53 0 0 25 0 3 0 352746552 162594816 37984 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=158784 CPUtime=2257.89
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 41260 0 0 0 225743 46 0 0 25 0 3 0 352746552 162594816 37984 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.43
Current children cumulated vsize (KiB) 158784

[startup+2322.3 s]
/proc/loadavg: 2.01 2.00 1.80 3/68 10847
/proc/meminfo: memFree=1287384/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=160168 CPUtime=4631.09
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 88492 0 0 0 463007 102 0 0 21 0 3 0 352746493 164012032 38345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 40042 38345 218 20 0 39400 0
[pid=10644/tid=10646] ppid=10642 vsize=160168 CPUtime=2312.65
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 45494 0 0 0 231211 54 0 0 25 0 3 0 352746552 164012032 38345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=160168 CPUtime=2317.85
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 41953 0 0 0 231738 47 0 0 25 0 3 0 352746552 164012032 38345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.09
Current children cumulated vsize (KiB) 160168

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/68 10847
/proc/meminfo: memFree=1284824/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=162216 CPUtime=4750.76
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 90327 0 0 0 474973 103 0 0 21 0 3 0 352746493 166109184 38945 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 40554 38945 218 20 0 39912 0
[pid=10644/tid=10646] ppid=10642 vsize=162216 CPUtime=2372.38
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 46631 0 0 0 237183 55 0 0 25 0 3 0 352746552 166109184 38945 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=162216 CPUtime=2377.8
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 42651 0 0 0 237733 47 0 0 25 0 3 0 352746552 166109184 38945 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.76
Current children cumulated vsize (KiB) 162216

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/68 10847
/proc/meminfo: memFree=1284696/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=163240 CPUtime=4870.44
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 91625 0 0 0 486940 104 0 0 21 0 3 0 352746493 167157760 39008 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 40810 39008 218 20 0 40168 0
[pid=10644/tid=10646] ppid=10642 vsize=163240 CPUtime=2432.1
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 47342 0 0 0 243154 56 0 0 25 0 3 0 352746552 167157760 39008 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=163240 CPUtime=2437.76
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 43238 0 0 0 243729 47 0 0 25 0 3 0 352746552 167157760 39008 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.44
Current children cumulated vsize (KiB) 163240

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/68 10847
/proc/meminfo: memFree=1273240/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=174504 CPUtime=4990.11
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 95791 0 0 0 498902 109 0 0 21 0 3 0 352746493 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 43626 41867 218 20 0 42984 0
[pid=10644/tid=10646] ppid=10642 vsize=174504 CPUtime=2491.81
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 50913 0 0 0 249120 61 0 0 25 0 3 0 352746552 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=174504 CPUtime=2497.73
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 43833 0 0 0 249725 48 0 0 25 0 3 0 352746552 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.11
Current children cumulated vsize (KiB) 174504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/68 10847
/proc/meminfo: memFree=1273240/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=174504 CPUtime=5000.08
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 95922 0 0 0 499898 110 0 0 21 0 3 0 352746493 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 43626 41867 218 20 0 42984 0
[pid=10644/tid=10646] ppid=10642 vsize=174504 CPUtime=2496.77
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 50978 0 0 0 249616 61 0 0 25 0 3 0 352746552 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=174504 CPUtime=2502.72
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 43899 0 0 0 250224 48 0 0 25 0 3 0 352746552 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 174504

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

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

[startup+2507.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/68 10847
/proc/meminfo: memFree=1273240/2055920 swapFree=4183240/4192956
[pid=10644] ppid=10642 vsize=174504 CPUtime=5000.08
/proc/10644/stat : 10644 (MiraXTv3_dyn) S 10642 10644 10572 0 -1 4194304 95922 0 0 0 499898 110 0 0 21 0 3 0 352746493 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10644/statm: 43626 41867 218 20 0 42984 0
[pid=10644/tid=10646] ppid=10642 vsize=174504 CPUtime=2496.77
/proc/10644/task/10646/stat : 10646 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 50978 0 0 0 249616 61 0 0 25 0 3 0 352746552 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10644/tid=10647] ppid=10642 vsize=174504 CPUtime=2502.72
/proc/10644/task/10647/stat : 10647 (MiraXTv3_dyn) R 10642 10644 10572 0 -1 4194368 43899 0 0 0 250224 48 0 0 25 0 3 0 352746552 178692096 41867 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 174504

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.34
CPU time (s): 5000.13
CPU user time (s): 4999
CPU system time (s): 1.12783
CPU usage (%): 199.42
Max. virtual memory (cumulated for all children) (KiB): 174768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999
system time used= 1.12783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95922
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= 1172
involuntary context switches= 37753

runsolver used 2.43263 second user time and 6.70898 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sun May 13 09:25:17 UTC 2007

IDJOB= 426270
IDBENCH= 20095
IDSOLVER= 196
FILE ID= node74/426270-1179048317

PBS_JOBID= 5253438

Free space on /tmp= 103226 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v240/unif-k7-r85-v240-c20400-S787287513-16.cnf
COMMAND LINE= /tmp/evaluation/426270-1179048317/MiraXTv3_dyn /tmp/evaluation/426270-1179048317/instance-426270-1179048317.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-426270-1179048317 -o ROOT/results/node74/solver-426270-1179048317 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426270-1179048317/MiraXTv3_dyn /tmp/evaluation/426270-1179048317/instance-426270-1179048317.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  a02a2738089687e729cfe1ab1c276d10

RANDOM SEED= 777298907

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1441224 kB
Buffers:         42772 kB
Cached:         452096 kB
SwapCached:       3232 kB
Active:          97980 kB
Inactive:       406808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1441224 kB
SwapTotal:     4192956 kB
SwapFree:      4183240 kB
Dirty:            4516 kB
Writeback:           0 kB
Mapped:          15692 kB
Slab:            95760 kB
Committed_AS:  6945724 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103226 MiB

End job on node74 on Sun May 13 10:07:07 UTC 2007