Trace number 426138

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

General information on the benchmark

Namerandom/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
MD5SUMc980bbb828358ff4d2a9cdb308a41d76
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.47747
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses6675
Sum of the clauses size46725
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 56675

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-426138-1179010066 -o ROOT/results/node3/solver-426138-1179010066 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426138-1179010066/MiraXTv3_dyn /tmp/evaluation/426138-1179010066/instance-426138-1179010066.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: 2.00 2.00 2.00 3/77 29445
/proc/meminfo: memFree=1723808/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=3788 CPUtime=0
/proc/29445/stat : 29445 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194304 313 0 0 0 0 0 0 0 18 0 1 0 377044406 3878912 288 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/29445/statm: 947 288 206 20 0 305 0

[startup+0.103839 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 29445
/proc/meminfo: memFree=1723808/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=4452 CPUtime=0.09
/proc/29445/stat : 29445 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194304 477 0 0 0 9 0 0 0 18 0 1 0 377044406 4558848 452 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 1 0 0
/proc/29445/statm: 1113 452 207 20 0 471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4452

[startup+0.201858 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 29445
/proc/meminfo: memFree=1723808/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=7744 CPUtime=0.24
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 802 0 0 0 24 0 0 0 18 0 3 0 377044406 7929856 777 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 1936 777 218 20 0 1294 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 7744

[startup+0.301875 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 29445
/proc/meminfo: memFree=1723808/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=8952 CPUtime=0.43
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 1064 0 0 0 43 0 0 0 18 0 3 0 377044406 9166848 1039 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 2238 1039 218 20 0 1596 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 8952

[startup+0.701941 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 29445
/proc/meminfo: memFree=1723808/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=12552 CPUtime=1.24
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 1861 0 0 0 123 1 0 0 18 0 3 0 377044406 12853248 1836 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 3138 1836 218 20 0 2496 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 12552

[startup+1.50107 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1714632/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=16648 CPUtime=2.82
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 2917 0 0 0 281 1 0 0 18 0 3 0 377044406 17047552 2892 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 4162 2892 218 20 0 3520 0
[pid=29445/tid=29447] ppid=29443 vsize=16648 CPUtime=1.34
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 1188 0 0 0 134 0 0 0 17 0 3 0 377044421 17047552 2892 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=16648 CPUtime=1.33
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 1216 0 0 0 132 1 0 0 17 0 3 0 377044421 17047552 2892 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 16648

[startup+3.10133 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1711816/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=19304 CPUtime=6.02
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 3651 0 0 0 600 2 0 0 18 0 3 0 377044406 19767296 3590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 4826 3590 218 20 0 4184 0
[pid=29445/tid=29447] ppid=29443 vsize=19304 CPUtime=2.94
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 1527 0 0 0 293 1 0 0 25 0 3 0 377044421 19767296 3590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11359867 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=19304 CPUtime=2.93
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 1611 0 0 0 292 1 0 0 25 0 3 0 377044421 19767296 3590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526502 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 19304

[startup+6.30185 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1702600/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=28684 CPUtime=12.4
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 6124 0 0 0 1236 4 0 0 18 0 3 0 377044406 29372416 5950 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 7171 5950 218 20 0 6529 0
[pid=29445/tid=29447] ppid=29443 vsize=28684 CPUtime=6.14
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 2745 0 0 0 612 2 0 0 25 0 3 0 377044421 29372416 5950 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=28684 CPUtime=6.1
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 2866 0 0 0 608 2 0 0 19 0 3 0 377044421 29372416 5950 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 28684

[startup+12.7019 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1693192/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=35400 CPUtime=25.15
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 8174 0 0 0 2509 6 0 0 18 0 3 0 377044406 36249600 7702 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 8850 7702 218 20 0 8208 0
[pid=29445/tid=29447] ppid=29443 vsize=35400 CPUtime=12.53
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 3816 0 0 0 1250 3 0 0 25 0 3 0 377044421 36249600 7702 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=35400 CPUtime=12.47
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 3845 0 0 0 1244 3 0 0 25 0 3 0 377044421 36249600 7702 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 35400

[startup+25.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1683592/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=45652 CPUtime=50.69
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 11066 0 0 0 5059 10 0 0 18 0 3 0 377044406 46747648 10116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 11413 10116 218 20 0 10771 0
[pid=29445/tid=29447] ppid=29443 vsize=45652 CPUtime=25.31
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 5278 0 0 0 2527 4 0 0 25 0 3 0 377044421 46747648 10116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=45652 CPUtime=25.2
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 5275 0 0 0 2516 4 0 0 25 0 3 0 377044421 46747648 10116 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 45652

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1678664/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=49908 CPUtime=101.74
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 13416 0 0 0 10162 12 0 0 18 0 3 0 377044406 51105792 11370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 12477 11370 218 20 0 11835 0
[pid=29445/tid=29447] ppid=29443 vsize=49908 CPUtime=50.9
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 6131 0 0 0 5085 5 0 0 25 0 3 0 377044421 51105792 11370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=49908 CPUtime=50.68
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 6772 0 0 0 5062 6 0 0 25 0 3 0 377044421 51105792 11370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526483 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 49908

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1675400/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=52840 CPUtime=203.84
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 16254 0 0 0 20370 14 0 0 18 0 3 0 377044406 54108160 12162 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 13210 12162 218 20 0 12568 0
[pid=29445/tid=29447] ppid=29443 vsize=52840 CPUtime=102.06
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 7690 0 0 0 10199 7 0 0 25 0 3 0 377044421 54108160 12162 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=52840 CPUtime=101.63
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 8051 0 0 0 10156 7 0 0 25 0 3 0 377044421 54108160 12162 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 52840

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1668744/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=59532 CPUtime=323.48
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 20197 0 0 0 32331 17 0 0 18 0 3 0 377044406 60960768 13787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 14883 13787 218 20 0 14241 0
[pid=29445/tid=29447] ppid=29443 vsize=59532 CPUtime=161.99
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 9801 0 0 0 16191 8 0 0 25 0 3 0 377044421 60960768 13787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=59532 CPUtime=161.33
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 9883 0 0 0 16125 8 0 0 25 0 3 0 377044421 60960768 13787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.48
Current children cumulated vsize (KiB) 59532

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1662536/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=64868 CPUtime=443.15
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 23887 0 0 0 44294 21 0 0 18 0 3 0 377044406 66424832 15333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 16217 15333 218 20 0 15575 0
[pid=29445/tid=29447] ppid=29443 vsize=64868 CPUtime=221.95
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 11160 0 0 0 22186 9 0 0 25 0 3 0 377044421 66424832 15333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=64868 CPUtime=221.05
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 12214 0 0 0 22094 11 0 0 25 0 3 0 377044421 66424832 15333 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.15
Current children cumulated vsize (KiB) 64868

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1660552/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=68116 CPUtime=562.81
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 26632 0 0 0 56257 24 0 0 18 0 3 0 377044406 69750784 15867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 17029 15867 218 20 0 16387 0
[pid=29445/tid=29447] ppid=29443 vsize=68116 CPUtime=281.83
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 12511 0 0 0 28173 10 0 0 25 0 3 0 377044421 69750784 15867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29445/tid=29448] ppid=29443 vsize=68116 CPUtime=280.82
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 13608 0 0 0 28069 13 0 0 25 0 3 0 377044421 69750784 15867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.81
Current children cumulated vsize (KiB) 68116

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29448
/proc/meminfo: memFree=1658952/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=68964 CPUtime=682.45
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 29264 0 0 0 68219 26 0 0 18 0 3 0 377044406 70619136 16221 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 17241 16221 218 20 0 16599 0
[pid=29445/tid=29447] ppid=29443 vsize=68964 CPUtime=341.54
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 13903 0 0 0 34142 12 0 0 25 0 3 0 377044421 70619136 16221 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29445/tid=29448] ppid=29443 vsize=68964 CPUtime=340.76
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 14848 0 0 0 34062 14 0 0 25 0 3 0 377044421 70619136 16221 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.45
Current children cumulated vsize (KiB) 68964

[startup+402.301 s]

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

/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 40767 0 0 0 189534 35 0 0 25 0 3 0 377044421 93536256 21502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91344 CPUtime=1897.46
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 41175 0 0 0 189690 56 0 0 25 0 3 0 377044421 93536256 21502 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.3
Current children cumulated vsize (KiB) 91344

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29646
/proc/meminfo: memFree=1637640/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91344 CPUtime=3912.96
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 84000 0 0 0 391203 93 0 0 18 0 3 0 377044406 93536256 21529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22836 21529 218 20 0 22194 0
[pid=29445/tid=29447] ppid=29443 vsize=91344 CPUtime=1955.4
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 41737 0 0 0 195504 36 0 0 25 0 3 0 377044421 93536256 21529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91344 CPUtime=1957.41
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 41750 0 0 0 195684 57 0 0 25 0 3 0 377044421 93536256 21529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3912.96
Current children cumulated vsize (KiB) 91344

[startup+2022.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/80 29646
/proc/meminfo: memFree=1637512/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91344 CPUtime=4032.61
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 85404 0 0 0 403166 95 0 0 18 0 3 0 377044406 93536256 21553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22836 21553 218 20 0 22194 0
[pid=29445/tid=29447] ppid=29443 vsize=91344 CPUtime=2015.1
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 42634 0 0 0 201473 37 0 0 25 0 3 0 377044421 93536256 21553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91344 CPUtime=2017.36
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 42257 0 0 0 201678 58 0 0 25 0 3 0 377044421 93536256 21553 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.61
Current children cumulated vsize (KiB) 91344

[startup+2082.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/80 29646
/proc/meminfo: memFree=1637320/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91552 CPUtime=4152.28
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 87039 0 0 0 415131 97 0 0 18 0 3 0 377044406 93749248 21601 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22888 21601 218 20 0 22246 0
[pid=29445/tid=29447] ppid=29443 vsize=91552 CPUtime=2074.82
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 43278 0 0 0 207444 38 0 0 25 0 3 0 377044421 93749248 21601 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91552 CPUtime=2077.3
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 43248 0 0 0 207672 58 0 0 25 0 3 0 377044421 93749248 21601 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.28
Current children cumulated vsize (KiB) 91552

[startup+2142.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/80 29646
/proc/meminfo: memFree=1637192/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91760 CPUtime=4271.94
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 89022 0 0 0 427095 99 0 0 18 0 3 0 377044406 93962240 21652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22940 21652 218 20 0 22298 0
[pid=29445/tid=29447] ppid=29443 vsize=91760 CPUtime=2134.7
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 44362 0 0 0 213431 39 0 0 25 0 3 0 377044421 93962240 21652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91760 CPUtime=2137.08
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 44147 0 0 0 213649 59 0 0 25 0 3 0 377044421 93962240 21652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4271.94
Current children cumulated vsize (KiB) 91760

[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29646
/proc/meminfo: memFree=1637128/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91760 CPUtime=4391.61
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 90887 0 0 0 439061 100 0 0 18 0 3 0 377044406 93962240 21654 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22940 21654 218 20 0 22298 0
[pid=29445/tid=29447] ppid=29443 vsize=91760 CPUtime=2194.66
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 45261 0 0 0 219426 40 0 0 25 0 3 0 377044421 93962240 21654 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91760 CPUtime=2196.79
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 45113 0 0 0 219620 59 0 0 25 0 3 0 377044421 93962240 21654 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4391.61
Current children cumulated vsize (KiB) 91760

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29646
/proc/meminfo: memFree=1636936/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91760 CPUtime=4511.26
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 92804 0 0 0 451024 102 0 0 18 0 3 0 377044406 93962240 21708 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22940 21708 218 20 0 22298 0
[pid=29445/tid=29447] ppid=29443 vsize=91760 CPUtime=2254.6
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 46186 0 0 0 225419 41 0 0 25 0 3 0 377044421 93962240 21708 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91760 CPUtime=2256.5
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 46105 0 0 0 225590 60 0 0 25 0 3 0 377044421 93962240 21708 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.26
Current children cumulated vsize (KiB) 91760

[startup+2322.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/80 29646
/proc/meminfo: memFree=1636680/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=91964 CPUtime=4630.91
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 94238 0 0 0 462988 103 0 0 18 0 3 0 377044406 94171136 21762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 22991 21762 218 20 0 22349 0
[pid=29445/tid=29447] ppid=29443 vsize=91964 CPUtime=2314.56
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 46905 0 0 0 231414 42 0 0 21 0 3 0 377044421 94171136 21762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520643 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=91964 CPUtime=2316.2
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 46820 0 0 0 231559 61 0 0 25 0 3 0 377044421 94171136 21762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4630.91
Current children cumulated vsize (KiB) 91964

[startup+2382.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/80 29646
/proc/meminfo: memFree=1634248/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=95036 CPUtime=4750.58
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 96718 0 0 0 474952 106 0 0 18 0 3 0 377044406 97316864 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 23759 22379 218 20 0 23117 0
[pid=29445/tid=29447] ppid=29443 vsize=95036 CPUtime=2374.51
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 47941 0 0 0 237408 43 0 0 25 0 3 0 377044421 97316864 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=95036 CPUtime=2375.92
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 48264 0 0 0 237530 62 0 0 25 0 3 0 377044421 97316864 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4750.58
Current children cumulated vsize (KiB) 95036

[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 29646
/proc/meminfo: memFree=1634184/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=95036 CPUtime=4870.24
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 98811 0 0 0 486916 108 0 0 18 0 3 0 377044406 97316864 22402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 23759 22402 218 20 0 23117 0
[pid=29445/tid=29447] ppid=29443 vsize=95036 CPUtime=2434.47
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 49045 0 0 0 243403 44 0 0 25 0 3 0 377044421 97316864 22402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=95036 CPUtime=2435.62
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 49253 0 0 0 243499 63 0 0 25 0 3 0 377044421 97316864 22402 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.24
Current children cumulated vsize (KiB) 95036

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 29646
/proc/meminfo: memFree=1634056/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=95036 CPUtime=4989.9
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 100906 0 0 0 498880 110 0 0 18 0 3 0 377044406 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 23759 22427 218 20 0 23117 0
[pid=29445/tid=29447] ppid=29443 vsize=95036 CPUtime=2494.42
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 50103 0 0 0 249396 46 0 0 25 0 3 0 377044421 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=95036 CPUtime=2495.34
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 50290 0 0 0 249470 64 0 0 25 0 3 0 377044421 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4989.9
Current children cumulated vsize (KiB) 95036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 29646
/proc/meminfo: memFree=1634056/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=95036 CPUtime=5000.07
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 101044 0 0 0 499897 110 0 0 18 0 3 0 377044406 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 23759 22427 218 20 0 23117 0
[pid=29445/tid=29447] ppid=29443 vsize=95036 CPUtime=2499.51
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 50172 0 0 0 249905 46 0 0 25 0 3 0 377044421 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=95036 CPUtime=2500.41
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 50359 0 0 0 249977 64 0 0 25 0 3 0 377044421 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526515 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 95036

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

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

[startup+2507.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 29646
/proc/meminfo: memFree=1634056/2055920 swapFree=4138684/4192956
[pid=29445] ppid=29443 vsize=95036 CPUtime=5000.07
/proc/29445/stat : 29445 (MiraXTv3_dyn) S 29443 29445 29314 0 -1 4194304 101044 0 0 0 499897 110 0 0 18 0 3 0 377044406 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 23759 22427 218 20 0 23117 0
[pid=29445/tid=29447] ppid=29443 vsize=95036 CPUtime=2499.51
/proc/29445/task/29447/stat : 29447 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 50172 0 0 0 249905 46 0 0 25 0 3 0 377044421 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29443 vsize=95036 CPUtime=2500.41
/proc/29445/task/29448/stat : 29448 (MiraXTv3_dyn) R 29443 29445 29314 0 -1 4194368 50359 0 0 0 249977 64 0 0 25 0 3 0 377044421 97316864 22427 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526515 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 95036

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.43
CPU time (s): 5000.1
CPU user time (s): 4998.98
CPU system time (s): 1.11883
CPU usage (%): 199.412
Max. virtual memory (cumulated for all children) (KiB): 95036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.98
system time used= 1.11883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101044
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= 1400
involuntary context switches= 94535

runsolver used 2.43363 second user time and 6.73597 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Sat May 12 22:47:47 UTC 2007

IDJOB= 426138
IDBENCH= 19955
IDSOLVER= 196
FILE ID= node3/426138-1179010066

PBS_JOBID= 5252861

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426138-1179010066/MiraXTv3_dyn /tmp/evaluation/426138-1179010066/instance-426138-1179010066.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-426138-1179010066 -o ROOT/results/node3/solver-426138-1179010066 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426138-1179010066/MiraXTv3_dyn /tmp/evaluation/426138-1179010066/instance-426138-1179010066.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  c980bbb828358ff4d2a9cdb308a41d76

RANDOM SEED= 820902988

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:       1724024 kB
Buffers:         43604 kB
Cached:         221100 kB
SwapCached:      18176 kB
Active:         137100 kB
Inactive:       151848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724024 kB
SwapTotal:     4192956 kB
SwapFree:      4138684 kB
Dirty:            4084 kB
Writeback:           0 kB
Mapped:          30028 kB
Slab:            28460 kB
Committed_AS: 11558440 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= 66548 MiB

End job on node3 on Sat May 12 23:29:36 UTC 2007