Trace number 426116

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.15 2507.23

General information on the benchmark

Namerandom/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
MD5SUM54161bb7f5d80f36a000875f17de5551
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 variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

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/node15/watcher-426116-1178988971 -o ROOT/results/node15/solver-426116-1178988971 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426116-1178988971/MiraXTv3_dyn /tmp/evaluation/426116-1178988971/instance-426116-1178988971.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.84 1.97 1.90 3/77 21117
/proc/meminfo: memFree=1777264/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=3788 CPUtime=0
/proc/21117/stat : 21117 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 346814733 3878912 289 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 0 0 0
/proc/21117/statm: 947 290 206 20 0 305 0

[startup+0.049085 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 21117
/proc/meminfo: memFree=1777264/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=4328 CPUtime=0.04
/proc/21117/stat : 21117 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194304 457 0 0 0 4 0 0 0 18 0 1 0 346814733 4431872 432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583921 0 0 4096 0 0 0 0 17 0 0 0
/proc/21117/statm: 1082 432 207 20 0 440 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4328

[startup+0.10109 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 21117
/proc/meminfo: memFree=1777264/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=4328 CPUtime=0.09
/proc/21117/stat : 21117 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194304 463 0 0 0 9 0 0 0 18 0 1 0 346814733 4431872 438 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583871 0 0 4096 0 0 0 0 17 0 0 0
/proc/21117/statm: 1082 438 207 20 0 440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4328

[startup+0.301113 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 21117
/proc/meminfo: memFree=1777264/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=8896 CPUtime=0.46
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 1080 0 0 0 46 0 0 0 18 0 3 0 346814733 9109504 1055 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 2224 1055 218 20 0 1582 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 8896

[startup+0.701151 s]
/proc/loadavg: 1.84 1.97 1.90 3/77 21117
/proc/meminfo: memFree=1777264/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=12640 CPUtime=1.26
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 1860 0 0 0 125 1 0 0 18 0 3 0 346814733 12943360 1835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 3160 1835 218 20 0 2518 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 12640

[startup+1.50223 s]
/proc/loadavg: 1.84 1.97 1.90 3/80 21120
/proc/meminfo: memFree=1768728/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=16448 CPUtime=2.85
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 2867 0 0 0 284 1 0 0 18 0 3 0 346814733 16842752 2842 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 4112 2842 218 20 0 3470 0
[pid=21117/tid=21119] ppid=21115 vsize=16448 CPUtime=1.36
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 1197 0 0 0 136 0 0 0 18 0 3 0 346814745 16842752 2842 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=16448 CPUtime=1.35
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 1173 0 0 0 135 0 0 0 17 0 3 0 346814745 16842752 2842 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 16448

[startup+3.10137 s]
/proc/loadavg: 1.84 1.97 1.90 3/80 21120
/proc/meminfo: memFree=1766360/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=19960 CPUtime=6.04
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 3675 0 0 0 603 1 0 0 18 0 3 0 346814733 20439040 3614 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 4990 3614 218 20 0 4348 0
[pid=21117/tid=21119] ppid=21115 vsize=19960 CPUtime=2.96
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 1556 0 0 0 296 0 0 0 25 0 3 0 346814745 20439040 3614 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520292 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=19960 CPUtime=2.95
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 1622 0 0 0 294 1 0 0 25 0 3 0 346814745 20439040 3614 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526472 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 19960

[startup+6.30167 s]
/proc/loadavg: 1.85 1.97 1.90 3/80 21120
/proc/meminfo: memFree=1756760/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=27356 CPUtime=12.43
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 5945 0 0 0 1240 3 0 0 18 0 3 0 346814733 28012544 5772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 6839 5772 218 20 0 6197 0
[pid=21117/tid=21119] ppid=21115 vsize=27356 CPUtime=6.16
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 2726 0 0 0 615 1 0 0 24 0 3 0 346814745 28012544 5772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=27356 CPUtime=6.13
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 2722 0 0 0 611 2 0 0 25 0 3 0 346814745 28012544 5772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 27356

[startup+12.7013 s]
/proc/loadavg: 1.86 1.97 1.90 3/80 21120
/proc/meminfo: memFree=1745496/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=37436 CPUtime=25.19
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 8445 0 0 0 2513 6 0 0 18 0 3 0 346814733 38334464 7974 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 9359 7974 218 20 0 8717 0
[pid=21117/tid=21119] ppid=21115 vsize=37436 CPUtime=12.55
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 4063 0 0 0 1253 2 0 0 25 0 3 0 346814745 38334464 7974 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=37436 CPUtime=12.51
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 3885 0 0 0 1247 4 0 0 25 0 3 0 346814745 38334464 7974 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 37436

[startup+25.5024 s]
/proc/loadavg: 1.89 1.97 1.91 3/80 21120
/proc/meminfo: memFree=1735192/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=47148 CPUtime=50.73
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 11634 0 0 0 5062 11 0 0 18 0 3 0 346814733 48279552 10620 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 11787 10620 218 20 0 11145 0
[pid=21117/tid=21119] ppid=21115 vsize=47148 CPUtime=25.32
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 5581 0 0 0 2530 2 0 0 25 0 3 0 346814745 48279552 10620 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=47148 CPUtime=25.25
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 5556 0 0 0 2518 7 0 0 25 0 3 0 346814745 48279552 10620 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 47148

[startup+51.1028 s]
/proc/loadavg: 1.93 1.97 1.91 3/80 21120
/proc/meminfo: memFree=1730648/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=52320 CPUtime=101.8
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 13750 0 0 0 10167 13 0 0 18 0 3 0 346814733 53575680 11700 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 13080 11700 218 20 0 12438 0
[pid=21117/tid=21119] ppid=21115 vsize=52320 CPUtime=50.91
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 6698 0 0 0 5087 4 0 0 25 0 3 0 346814745 53575680 11700 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=52320 CPUtime=50.75
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 6555 0 0 0 5067 8 0 0 25 0 3 0 346814745 53575680 11700 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 52320

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.91 3/80 21120
/proc/meminfo: memFree=1727576/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=55096 CPUtime=203.92
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 16565 0 0 0 20378 14 0 0 18 0 3 0 346814733 56418304 12469 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 13774 12469 218 20 0 13132 0
[pid=21117/tid=21119] ppid=21115 vsize=55096 CPUtime=102.05
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 8190 0 0 0 10201 4 0 0 25 0 3 0 346814745 56418304 12469 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=55096 CPUtime=101.72
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 7878 0 0 0 10163 9 0 0 25 0 3 0 346814745 56418304 12469 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 55096

[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21120
/proc/meminfo: memFree=1723288/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=58376 CPUtime=323.57
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 19875 0 0 0 32340 17 0 0 18 0 3 0 346814733 59777024 13513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 14594 13513 218 20 0 13952 0
[pid=21117/tid=21119] ppid=21115 vsize=58376 CPUtime=161.98
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 9748 0 0 0 16193 5 0 0 18 0 3 0 346814745 59777024 13513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=58376 CPUtime=161.45
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 9630 0 0 0 16134 11 0 0 25 0 3 0 346814745 59777024 13513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 58376

[startup+222.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21120
/proc/meminfo: memFree=1721368/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=61108 CPUtime=443.22
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 22656 0 0 0 44302 20 0 0 18 0 3 0 346814733 62574592 14016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 15277 14016 218 20 0 14635 0
[pid=21117/tid=21119] ppid=21115 vsize=61108 CPUtime=221.9
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 11242 0 0 0 22184 6 0 0 25 0 3 0 346814745 62574592 14016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=61108 CPUtime=221.18
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 10917 0 0 0 22105 13 0 0 19 0 3 0 346814745 62574592 14016 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.22
Current children cumulated vsize (KiB) 61108

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21120
/proc/meminfo: memFree=1718104/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=65124 CPUtime=562.9
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 25565 0 0 0 56267 23 0 0 18 0 3 0 346814733 66686976 14848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 16281 14848 218 20 0 15639 0
[pid=21117/tid=21119] ppid=21115 vsize=65124 CPUtime=281.85
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 12913 0 0 0 28177 8 0 0 25 0 3 0 346814745 66686976 14848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=65124 CPUtime=280.91
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 12155 0 0 0 28077 14 0 0 25 0 3 0 346814745 66686976 14848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.9
Current children cumulated vsize (KiB) 65124

[startup+342.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/86 21296
/proc/meminfo: memFree=1714792/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=66804 CPUtime=682.28
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 28233 0 0 0 68190 38 0 0 18 0 3 0 346814733 68407296 15360 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 16701 15360 218 20 0 16059 0
[pid=21117/tid=21119] ppid=21115 vsize=66804 CPUtime=341.54
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 14092 0 0 0 34139 15 0 0 25 0 3 0 346814745 68407296 15360 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21117/tid=21120] ppid=21115 vsize=66804 CPUtime=340.6
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 13644 0 0 0 34038 22 0 0 25 0 3 0 346814745 68407296 15360 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.28
Current children cumulated vsize (KiB) 66804

[startup+402.302 s]

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

/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 41021 0 0 0 183786 40 0 0 25 0 3 0 346814745 94797824 21462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=92576 CPUtime=1835.57
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 39329 0 0 0 183505 52 0 0 25 0 3 0 346814745 94797824 21462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3673.96
Current children cumulated vsize (KiB) 92576

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1691160/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=92784 CPUtime=3793.62
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 82966 0 0 0 379268 94 0 0 18 0 3 0 346814733 95010816 21486 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23196 21486 218 20 0 22554 0
[pid=21117/tid=21119] ppid=21115 vsize=92784 CPUtime=1898.18
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 42163 0 0 0 189778 40 0 0 25 0 3 0 346814745 95010816 21486 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=92784 CPUtime=1895.29
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 40306 0 0 0 189476 53 0 0 25 0 3 0 346814745 95010816 21486 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.62
Current children cumulated vsize (KiB) 92784

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1690840/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=93048 CPUtime=3913.29
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 85078 0 0 0 391233 96 0 0 18 0 3 0 346814733 95281152 21569 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23262 21569 218 20 0 22620 0
[pid=21117/tid=21119] ppid=21115 vsize=93048 CPUtime=1958.12
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 43240 0 0 0 195771 41 0 0 25 0 3 0 346814745 95281152 21569 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=93048 CPUtime=1955.04
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 41341 0 0 0 195449 55 0 0 25 0 3 0 346814745 95281152 21569 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.29
Current children cumulated vsize (KiB) 93048

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1690648/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=93388 CPUtime=4032.96
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 87048 0 0 0 403198 98 0 0 18 0 3 0 346814733 95629312 21649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23347 21649 218 20 0 22705 0
[pid=21117/tid=21119] ppid=21115 vsize=93388 CPUtime=2018.06
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 44317 0 0 0 201764 42 0 0 25 0 3 0 346814745 95629312 21649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=93388 CPUtime=2014.77
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 42234 0 0 0 201421 56 0 0 25 0 3 0 346814745 95629312 21649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.96
Current children cumulated vsize (KiB) 93388

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1690328/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=93388 CPUtime=4152.65
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 88880 0 0 0 415165 100 0 0 18 0 3 0 346814733 95629312 21731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23347 21731 218 20 0 22705 0
[pid=21117/tid=21119] ppid=21115 vsize=93388 CPUtime=2077.99
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 45117 0 0 0 207757 42 0 0 25 0 3 0 346814745 95629312 21731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=93388 CPUtime=2074.52
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 43266 0 0 0 207395 57 0 0 25 0 3 0 346814745 95629312 21731 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.65
Current children cumulated vsize (KiB) 93388

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1689944/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=94644 CPUtime=4272.31
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 90310 0 0 0 427130 101 0 0 18 0 3 0 346814733 96915456 21831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23661 21831 218 20 0 23019 0
[pid=21117/tid=21119] ppid=21115 vsize=94644 CPUtime=2137.93
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 45941 0 0 0 213750 43 0 0 25 0 3 0 346814745 96915456 21831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=94644 CPUtime=2134.25
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 43872 0 0 0 213367 58 0 0 25 0 3 0 346814745 96915456 21831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.31
Current children cumulated vsize (KiB) 94644

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1689496/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=94644 CPUtime=4391.98
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 91999 0 0 0 439095 103 0 0 18 0 3 0 346814733 96915456 21910 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23661 21910 218 20 0 23019 0
[pid=21117/tid=21119] ppid=21115 vsize=94644 CPUtime=2197.85
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 46991 0 0 0 219742 43 0 0 25 0 3 0 346814745 96915456 21910 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=94644 CPUtime=2193.99
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 44511 0 0 0 219340 59 0 0 25 0 3 0 346814745 96915456 21910 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.98
Current children cumulated vsize (KiB) 94644

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1689368/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=94852 CPUtime=4511.66
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 93730 0 0 0 451062 104 0 0 18 0 3 0 346814733 97128448 21961 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23713 21961 218 20 0 23071 0
[pid=21117/tid=21119] ppid=21115 vsize=94852 CPUtime=2257.79
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 47952 0 0 0 225735 44 0 0 17 0 3 0 346814745 97128448 21961 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=94852 CPUtime=2253.72
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 45281 0 0 0 225313 59 0 0 17 0 3 0 346814745 97128448 21961 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.66
Current children cumulated vsize (KiB) 94852

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21318
/proc/meminfo: memFree=1689112/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=95060 CPUtime=4631.33
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 95458 0 0 0 463027 106 0 0 18 0 3 0 346814733 97341440 22009 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23765 22009 218 20 0 23123 0
[pid=21117/tid=21119] ppid=21115 vsize=95060 CPUtime=2317.73
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 48746 0 0 0 231728 45 0 0 21 0 3 0 346814745 97341440 22009 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=95060 CPUtime=2313.46
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 46215 0 0 0 231286 60 0 0 20 0 3 0 346814745 97341440 22009 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.33
Current children cumulated vsize (KiB) 95060

[startup+2382.3 s]
/proc/loadavg: 2.03 1.99 1.91 3/80 21318
/proc/meminfo: memFree=1689048/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=95060 CPUtime=4751
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 96975 0 0 0 474992 108 0 0 18 0 3 0 346814733 97341440 22056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 23765 22056 218 20 0 23123 0
[pid=21117/tid=21119] ppid=21115 vsize=95060 CPUtime=2377.66
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 49867 0 0 0 237721 45 0 0 25 0 3 0 346814745 97341440 22056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=95060 CPUtime=2373.21
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 46611 0 0 0 237259 62 0 0 25 0 3 0 346814745 97341440 22056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530101 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751
Current children cumulated vsize (KiB) 95060

[startup+2442.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 21318
/proc/meminfo: memFree=1687640/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=96216 CPUtime=4870.67
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 98600 0 0 0 486957 110 0 0 18 0 3 0 346814733 98525184 22351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 24054 22351 218 20 0 23412 0
[pid=21117/tid=21119] ppid=21115 vsize=96216 CPUtime=2437.58
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 50792 0 0 0 243712 46 0 0 25 0 3 0 346814745 98525184 22351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=96216 CPUtime=2432.94
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 47311 0 0 0 243231 63 0 0 25 0 3 0 346814745 98525184 22351 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.67
Current children cumulated vsize (KiB) 96216

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21318
/proc/meminfo: memFree=1687640/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=96348 CPUtime=4990.33
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 100798 0 0 0 498921 112 0 0 18 0 3 0 346814733 98660352 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 24087 22379 218 20 0 23445 0
[pid=21117/tid=21119] ppid=21115 vsize=96348 CPUtime=2497.51
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 51940 0 0 0 249704 47 0 0 25 0 3 0 346814745 98660352 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=96348 CPUtime=2492.68
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 48361 0 0 0 249204 64 0 0 25 0 3 0 346814745 98660352 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.33
Current children cumulated vsize (KiB) 96348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21318
/proc/meminfo: memFree=1687640/2055920 swapFree=4156504/4192956
[pid=21117] ppid=21115 vsize=96348 CPUtime=5000.11
/proc/21117/stat : 21117 (MiraXTv3_dyn) S 21115 21117 20729 0 -1 4194304 100938 0 0 0 499899 112 0 0 18 0 3 0 346814733 98660352 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/21117/statm: 24087 22379 218 20 0 23445 0
[pid=21117/tid=21119] ppid=21115 vsize=96348 CPUtime=2502.41
/proc/21117/task/21119/stat : 21119 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 52010 0 0 0 250194 47 0 0 25 0 3 0 346814745 98660352 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21117/tid=21120] ppid=21115 vsize=96348 CPUtime=2497.56
/proc/21117/task/21120/stat : 21120 (MiraXTv3_dyn) R 21115 21117 20729 0 -1 4194368 48431 0 0 0 249692 64 0 0 25 0 3 0 346814745 98660352 22379 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 96348

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.23
CPU time (s): 5000.15
CPU user time (s): 4999.01
CPU system time (s): 1.13983
CPU usage (%): 199.429
Max. virtual memory (cumulated for all children) (KiB): 96348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.01
system time used= 1.13983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100938
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= 1306
involuntary context switches= 94457

runsolver used 2.67159 second user time and 6.51501 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat May 12 16:56:11 UTC 2007

IDJOB= 426116
IDBENCH= 19923
IDSOLVER= 196
FILE ID= node15/426116-1178988971

PBS_JOBID= 5252813

Free space on /tmp= 66552 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v70/unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426116-1178988971/MiraXTv3_dyn /tmp/evaluation/426116-1178988971/instance-426116-1178988971.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-426116-1178988971 -o ROOT/results/node15/solver-426116-1178988971 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426116-1178988971/MiraXTv3_dyn /tmp/evaluation/426116-1178988971/instance-426116-1178988971.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  54161bb7f5d80f36a000875f17de5551

RANDOM SEED= 833403896

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1777544 kB
Buffers:         41556 kB
Cached:         170352 kB
SwapCached:      16300 kB
Active:          77248 kB
Inactive:       158952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777544 kB
SwapTotal:     4192956 kB
SwapFree:      4156504 kB
Dirty:            4084 kB
Writeback:           0 kB
Mapped:          30164 kB
Slab:            27672 kB
Committed_AS: 10916896 kB
PageTables:       1868 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= 66552 MiB

End job on node15 on Sat May 12 17:38:01 UTC 2007