Trace number 426294

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

General information on the benchmark

Namerandom/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
MD5SUM30cedd343a249ee79ef6344a724972e1
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 variables220
Number of clauses18700
Sum of the clauses size130900
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 518700

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/node3/watcher-426294-1179007555 -o ROOT/results/node3/solver-426294-1179007555 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426294-1179007555/MiraXTv3_dyn /tmp/evaluation/426294-1179007555/instance-426294-1179007555.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.90 1.97 1.98 3/77 29386
/proc/meminfo: memFree=1723872/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=3788 CPUtime=0
/proc/29386/stat : 29386 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194304 358 0 0 0 0 0 0 0 18 0 1 0 376793284 3878912 333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29386/statm: 947 340 202 20 0 305 0

[startup+0.087619 s]
/proc/loadavg: 1.90 1.97 1.98 3/77 29386
/proc/meminfo: memFree=1723872/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=5636 CPUtime=0.08
/proc/29386/stat : 29386 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194304 873 0 0 0 8 0 0 0 18 0 1 0 376793284 5771264 848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583910 0 0 4096 0 0 0 0 17 1 0 0
/proc/29386/statm: 1409 848 207 20 0 767 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5636

[startup+0.101621 s]
/proc/loadavg: 1.90 1.97 1.98 3/77 29386
/proc/meminfo: memFree=1723872/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=5636 CPUtime=0.09
/proc/29386/stat : 29386 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194304 873 0 0 0 9 0 0 0 18 0 1 0 376793284 5771264 848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583719 0 0 4096 0 0 0 0 17 1 0 0
/proc/29386/statm: 1409 848 207 20 0 767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5636

[startup+0.301653 s]
/proc/loadavg: 1.90 1.97 1.98 3/77 29386
/proc/meminfo: memFree=1723872/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=5800 CPUtime=0.29
/proc/29386/stat : 29386 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194304 917 0 0 0 29 0 0 0 19 0 1 0 376793284 5939200 892 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/29386/statm: 1450 892 207 20 0 808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5800

[startup+0.702725 s]
/proc/loadavg: 1.90 1.97 1.98 3/77 29386
/proc/meminfo: memFree=1723872/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=14192 CPUtime=0.88
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 1846 0 0 0 87 1 0 0 21 0 3 0 376793284 14532608 1782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 3548 1782 218 20 0 2906 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 14192

[startup+1.50185 s]
/proc/loadavg: 1.90 1.97 1.98 3/80 29389
/proc/meminfo: memFree=1714568/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=21316 CPUtime=2.47
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 3669 0 0 0 245 2 0 0 21 0 3 0 376793284 21827584 3605 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 5329 3605 218 20 0 4687 0
[pid=29386/tid=29388] ppid=29384 vsize=21316 CPUtime=0.99
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 1308 0 0 0 99 0 0 0 25 0 3 0 376793335 21827584 3605 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=21316 CPUtime=0.97
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 1381 0 0 0 96 1 0 0 17 0 3 0 376793335 21827584 3606 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 21316

[startup+3.10111 s]
/proc/loadavg: 1.91 1.97 1.98 3/80 29389
/proc/meminfo: memFree=1705352/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=28928 CPUtime=5.66
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 5556 0 0 0 563 3 0 0 21 0 3 0 376793284 29622272 5492 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 7232 5492 218 20 0 6590 0
[pid=29386/tid=29388] ppid=29384 vsize=28928 CPUtime=2.58
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 2234 0 0 0 258 0 0 0 25 0 3 0 376793335 29622272 5492 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=28928 CPUtime=2.57
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 2342 0 0 0 255 2 0 0 21 0 3 0 376793335 29622272 5492 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 28928

[startup+6.30263 s]
/proc/loadavg: 1.91 1.97 1.98 3/80 29389
/proc/meminfo: memFree=1695560/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=39568 CPUtime=12.04
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 8400 0 0 0 1198 6 0 0 21 0 3 0 376793284 40517632 8264 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 9892 8265 218 20 0 9250 0
[pid=29386/tid=29388] ppid=29384 vsize=39568 CPUtime=5.79
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 3647 0 0 0 578 1 0 0 25 0 3 0 376793335 40517632 8265 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11359867 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=39568 CPUtime=5.74
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 3774 0 0 0 570 4 0 0 18 0 3 0 376793335 40517632 8265 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 39568

[startup+12.7017 s]
/proc/loadavg: 1.92 1.97 1.98 3/80 29389
/proc/meminfo: memFree=1666696/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=66532 CPUtime=24.8
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 15144 0 0 0 2469 11 0 0 21 0 3 0 376793284 68128768 14791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 16633 14791 218 20 0 15991 0
[pid=29386/tid=29388] ppid=29384 vsize=66532 CPUtime=12.17
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 7003 0 0 0 1215 2 0 0 18 0 3 0 376793335 68128768 14791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=66532 CPUtime=12.1
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 7161 0 0 0 1203 7 0 0 18 0 3 0 376793335 68128768 14791 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520643 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 66532

[startup+25.5028 s]
/proc/loadavg: 1.94 1.97 1.98 3/80 29389
/proc/meminfo: memFree=1659080/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=72680 CPUtime=50.34
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 17299 0 0 0 5020 14 0 0 21 0 3 0 376793284 74424320 16556 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 18170 16556 218 20 0 17528 0
[pid=29386/tid=29388] ppid=29384 vsize=72680 CPUtime=24.97
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 7941 0 0 0 2494 3 0 0 19 0 3 0 376793335 74424320 16556 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=72680 CPUtime=24.85
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 8378 0 0 0 2476 9 0 0 20 0 3 0 376793335 74424320 16556 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 72680

[startup+51.1029 s]
/proc/loadavg: 2.01 1.99 1.99 3/80 29389
/proc/meminfo: memFree=1641480/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=88148 CPUtime=101.37
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 22249 0 0 0 10119 18 0 0 21 0 3 0 376793284 90263552 20626 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 22037 20626 218 20 0 21395 0
[pid=29386/tid=29388] ppid=29384 vsize=88148 CPUtime=50.54
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 10333 0 0 0 5049 5 0 0 25 0 3 0 376793335 90263552 20626 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=88148 CPUtime=50.32
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 10936 0 0 0 5020 12 0 0 25 0 3 0 376793335 90263552 20626 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520992 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 88148

[startup+102.306 s]
/proc/loadavg: 2.11 2.02 2.00 3/80 29389
/proc/meminfo: memFree=1636424/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=93008 CPUtime=203.47
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 25048 0 0 0 20326 21 0 0 21 0 3 0 376793284 95240192 21865 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 23252 21865 218 20 0 22610 0
[pid=29386/tid=29388] ppid=29384 vsize=93008 CPUtime=101.7
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 11842 0 0 0 10163 7 0 0 25 0 3 0 376793335 95240192 21865 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=93008 CPUtime=101.26
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 12226 0 0 0 10113 13 0 0 25 0 3 0 376793335 95240192 21865 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (KiB) 93008

[startup+162.302 s]
/proc/loadavg: 2.04 2.01 2.00 3/80 29389
/proc/meminfo: memFree=1633608/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=96392 CPUtime=323.09
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 27489 0 0 0 32286 23 0 0 21 0 3 0 376793284 98705408 22551 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 24098 22551 218 20 0 23456 0
[pid=29386/tid=29388] ppid=29384 vsize=96392 CPUtime=161.63
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 12833 0 0 0 16155 8 0 0 25 0 3 0 376793335 98705408 22551 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=96392 CPUtime=160.95
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 13676 0 0 0 16081 14 0 0 25 0 3 0 376793335 98705408 22551 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.09
Current children cumulated vsize (KiB) 96392

[startup+222.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/80 29389
/proc/meminfo: memFree=1632520/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=97824 CPUtime=442.71
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 29458 0 0 0 44246 25 0 0 21 0 3 0 376793284 100171776 22895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 24456 22895 218 20 0 23814 0
[pid=29386/tid=29388] ppid=29384 vsize=97824 CPUtime=221.57
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 13768 0 0 0 22148 9 0 0 25 0 3 0 376793335 100171776 22895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=97824 CPUtime=220.63
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 14710 0 0 0 22048 15 0 0 25 0 3 0 376793335 100171776 22895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.71
Current children cumulated vsize (KiB) 97824

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29389
/proc/meminfo: memFree=1629128/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=100620 CPUtime=562.37
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 31785 0 0 0 56208 29 0 0 21 0 3 0 376793284 103034880 23718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 25155 23718 218 20 0 24513 0
[pid=29386/tid=29388] ppid=29384 vsize=100620 CPUtime=281.53
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 14943 0 0 0 28142 11 0 0 25 0 3 0 376793335 103034880 23718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=100620 CPUtime=280.34
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 15862 0 0 0 28017 17 0 0 25 0 3 0 376793335 103034880 23718 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.37
Current children cumulated vsize (KiB) 100620

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29389
/proc/meminfo: memFree=1623944/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=106480 CPUtime=682.05
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 34444 0 0 0 68173 32 0 0 21 0 3 0 376793284 109035520 25011 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 26620 25011 218 20 0 25978 0
[pid=29386/tid=29388] ppid=29384 vsize=106480 CPUtime=341.48
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 16609 0 0 0 34135 13 0 0 25 0 3 0 376793335 109035520 25011 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29386/tid=29389] ppid=29384 vsize=106480 CPUtime=340.06
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 16855 0 0 0 33988 18 0 0 25 0 3 0 376793335 109035520 25011 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.05
Current children cumulated vsize (KiB) 106480

[startup+402.303 s]

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

/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 38096 0 0 0 189864 38 0 0 25 0 3 0 376793335 150970368 35250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520126 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=147432 CPUtime=1893.88
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 40852 0 0 0 189348 40 0 0 25 0 3 0 376793335 150970368 35250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.41
Current children cumulated vsize (KiB) 147432

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1581128/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=149480 CPUtime=3913.09
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 81389 0 0 0 391228 81 0 0 21 0 3 0 376793284 153067520 35735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 37370 35735 218 20 0 36728 0
[pid=29386/tid=29388] ppid=29384 vsize=149480 CPUtime=1958.74
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 38894 0 0 0 195835 39 0 0 25 0 3 0 376793335 153067520 35735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=149480 CPUtime=1953.85
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 41515 0 0 0 195344 41 0 0 25 0 3 0 376793335 153067520 35735 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.09
Current children cumulated vsize (KiB) 149480

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1580680/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=150668 CPUtime=4032.76
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 82771 0 0 0 403193 83 0 0 21 0 3 0 376793284 154284032 35817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 37667 35817 218 20 0 37025 0
[pid=29386/tid=29388] ppid=29384 vsize=150668 CPUtime=2018.45
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 39566 0 0 0 201805 40 0 0 25 0 3 0 376793335 154284032 35817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=150668 CPUtime=2013.8
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 42225 0 0 0 201338 42 0 0 25 0 3 0 376793335 154284032 35817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.76
Current children cumulated vsize (KiB) 150668

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1579208/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=151728 CPUtime=4152.44
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 84445 0 0 0 415159 85 0 0 21 0 3 0 376793284 155369472 36188 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 37932 36188 218 20 0 37290 0
[pid=29386/tid=29388] ppid=29384 vsize=151728 CPUtime=2078.17
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 40512 0 0 0 207776 41 0 0 25 0 3 0 376793335 155369472 36188 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=151728 CPUtime=2073.77
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 42953 0 0 0 207334 43 0 0 25 0 3 0 376793335 155369472 36188 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.44
Current children cumulated vsize (KiB) 151728

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1578632/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=152032 CPUtime=4272.11
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 85694 0 0 0 427125 86 0 0 21 0 3 0 376793284 155680768 36330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 38008 36330 218 20 0 37366 0
[pid=29386/tid=29388] ppid=29384 vsize=152032 CPUtime=2137.88
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 41096 0 0 0 213747 41 0 0 25 0 3 0 376793335 155680768 36330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=152032 CPUtime=2133.72
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 43618 0 0 0 213328 44 0 0 25 0 3 0 376793335 155680768 36330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.11
Current children cumulated vsize (KiB) 152032

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1578312/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=153192 CPUtime=4391.78
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 87074 0 0 0 439090 88 0 0 21 0 3 0 376793284 156868608 36406 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 38298 36406 218 20 0 37656 0
[pid=29386/tid=29388] ppid=29384 vsize=153192 CPUtime=2197.59
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 41768 0 0 0 219717 42 0 0 25 0 3 0 376793335 156868608 36406 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=153192 CPUtime=2193.68
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 44326 0 0 0 219323 45 0 0 25 0 3 0 376793335 156868608 36406 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.78
Current children cumulated vsize (KiB) 153192

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1577352/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=153868 CPUtime=4511.45
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 88488 0 0 0 451056 89 0 0 21 0 3 0 376793284 157560832 36649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 38467 36649 218 20 0 37825 0
[pid=29386/tid=29388] ppid=29384 vsize=153868 CPUtime=2257.31
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 42597 0 0 0 225688 43 0 0 25 0 3 0 376793335 157560832 36649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=153868 CPUtime=2253.63
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 44911 0 0 0 225318 45 0 0 25 0 3 0 376793335 157560832 36649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.45
Current children cumulated vsize (KiB) 153868

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1576712/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=154524 CPUtime=4631.13
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 89761 0 0 0 463023 90 0 0 21 0 3 0 376793284 158232576 36814 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 38631 36814 218 20 0 37989 0
[pid=29386/tid=29388] ppid=29384 vsize=154524 CPUtime=2317.03
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 43389 0 0 0 231660 43 0 0 25 0 3 0 376793335 158232576 36814 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=154524 CPUtime=2313.59
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 45392 0 0 0 231313 46 0 0 25 0 3 0 376793335 158232576 36814 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.13
Current children cumulated vsize (KiB) 154524

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1567304/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=163740 CPUtime=4750.78
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 93409 0 0 0 474981 97 0 0 21 0 3 0 376793284 167669760 39160 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 40935 39160 218 20 0 40293 0
[pid=29386/tid=29388] ppid=29384 vsize=163740 CPUtime=2376.73
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 46300 0 0 0 237624 49 0 0 25 0 3 0 376793335 167669760 39160 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=163740 CPUtime=2373.54
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 46129 0 0 0 237307 47 0 0 25 0 3 0 376793335 167669760 39160 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.78
Current children cumulated vsize (KiB) 163740

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1566984/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=163740 CPUtime=4870.44
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 94884 0 0 0 486946 98 0 0 21 0 3 0 376793284 167669760 39204 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 40935 39204 218 20 0 40293 0
[pid=29386/tid=29388] ppid=29384 vsize=163740 CPUtime=2436.43
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47101 0 0 0 243594 49 0 0 25 0 3 0 376793335 167669760 39204 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=163740 CPUtime=2433.5
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 46803 0 0 0 243302 48 0 0 25 0 3 0 376793335 167669760 39204 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.44
Current children cumulated vsize (KiB) 163740

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1568264/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=162716 CPUtime=4990.12
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 96121 0 0 0 498913 99 0 0 21 0 3 0 376793284 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 40679 38916 218 20 0 40037 0
[pid=29386/tid=29388] ppid=29384 vsize=162716 CPUtime=2496.16
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47687 0 0 0 249567 49 0 0 25 0 3 0 376793335 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=162716 CPUtime=2493.46
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47454 0 0 0 249297 49 0 0 25 0 3 0 376793335 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.12
Current children cumulated vsize (KiB) 162716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29391
/proc/meminfo: memFree=1568264/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=162716 CPUtime=5000.09
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 96251 0 0 0 499910 99 0 0 21 0 3 0 376793284 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 40679 38916 218 20 0 40037 0
[pid=29386/tid=29388] ppid=29384 vsize=162716 CPUtime=2501.13
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47752 0 0 0 250064 49 0 0 25 0 3 0 376793335 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=162716 CPUtime=2498.45
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47519 0 0 0 249796 49 0 0 25 0 3 0 376793335 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 162716

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 2.00 3/80 29391
/proc/meminfo: memFree=1568264/2055920 swapFree=4138684/4192956
[pid=29386] ppid=29384 vsize=162716 CPUtime=5000.09
/proc/29386/stat : 29386 (MiraXTv3_dyn) S 29384 29386 29314 0 -1 4194304 96251 0 0 0 499910 99 0 0 21 0 3 0 376793284 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29386/statm: 40679 38916 218 20 0 40037 0
[pid=29386/tid=29388] ppid=29384 vsize=162716 CPUtime=2501.13
/proc/29386/task/29388/stat : 29388 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47752 0 0 0 250064 49 0 0 25 0 3 0 376793335 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29386/tid=29389] ppid=29384 vsize=162716 CPUtime=2498.45
/proc/29386/task/29389/stat : 29389 (MiraXTv3_dyn) R 29384 29386 29314 0 -1 4194368 47519 0 0 0 249796 49 0 0 25 0 3 0 376793335 166621184 38916 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 162716

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.34
CPU time (s): 5000.14
CPU user time (s): 4999.12
CPU system time (s): 1.02184
CPU usage (%): 199.42
Max. virtual memory (cumulated for all children) (KiB): 164000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.12
system time used= 1.02184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96251
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= 1236
involuntary context switches= 94142

runsolver used 2.40063 second user time and 6.72498 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat May 12 22:05:55 UTC 2007

IDJOB= 426294
IDBENCH= 20119
IDSOLVER= 196
FILE ID= node3/426294-1179007555

PBS_JOBID= 5252861

Free space on /tmp= 66547 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v220/unif-k7-r85-v220-c18700-S879514135-06.cnf
COMMAND LINE= /tmp/evaluation/426294-1179007555/MiraXTv3_dyn /tmp/evaluation/426294-1179007555/instance-426294-1179007555.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-426294-1179007555 -o ROOT/results/node3/solver-426294-1179007555 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426294-1179007555/MiraXTv3_dyn /tmp/evaluation/426294-1179007555/instance-426294-1179007555.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  30cedd343a249ee79ef6344a724972e1

RANDOM SEED= 579674393

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1724152 kB
Buffers:         43564 kB
Cached:         221276 kB
SwapCached:      18176 kB
Active:         137088 kB
Inactive:       151652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724152 kB
SwapTotal:     4192956 kB
SwapFree:      4138684 kB
Dirty:            4584 kB
Writeback:           0 kB
Mapped:          29676 kB
Slab:            28644 kB
Committed_AS: 11557040 kB
PageTables:       1780 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= 66547 MiB

End job on node3 on Sat May 12 22:47:45 UTC 2007