Trace number 426310

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.23 2507.64

General information on the benchmark

Namerandom/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
MD5SUMdf8cf6a022cc11177f2b8acfa52efe18
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark131.45
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses13600
Sum of the clauses size95200
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 513600

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/node13/watcher-426310-1179010093 -o ROOT/results/node13/solver-426310-1179010093 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426310-1179010093/MiraXTv3_dyn /tmp/evaluation/426310-1179010093/instance-426310-1179010093.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.99 1.97 1.98 3/77 29236
/proc/meminfo: memFree=1708664/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=3788 CPUtime=0
/proc/29236/stat : 29236 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 348927131 3878912 345 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 12317645 0 0 4096 0 0 0 0 17 0 0 0
/proc/29236/statm: 947 345 206 20 0 305 0

[startup+0.095856 s]
/proc/loadavg: 1.99 1.97 1.98 3/77 29236
/proc/meminfo: memFree=1708664/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=5196 CPUtime=0.09
/proc/29236/stat : 29236 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194304 703 0 0 0 9 0 0 0 18 0 1 0 348927131 5320704 678 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583960 0 0 4096 0 0 0 0 17 0 0 0
/proc/29236/statm: 1299 678 207 20 0 657 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5196

[startup+0.102857 s]
/proc/loadavg: 1.99 1.97 1.98 3/77 29236
/proc/meminfo: memFree=1708664/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=5196 CPUtime=0.09
/proc/29236/stat : 29236 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194304 703 0 0 0 9 0 0 0 18 0 1 0 348927131 5320704 678 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/29236/statm: 1299 678 207 20 0 657 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5196

[startup+0.3019 s]
/proc/loadavg: 1.99 1.97 1.98 3/77 29236
/proc/meminfo: memFree=1708664/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=5196 CPUtime=0.29
/proc/29236/stat : 29236 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194304 716 0 0 0 29 0 0 0 20 0 1 0 348927131 5320704 691 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583753 0 0 4096 0 0 0 0 17 0 0 0
/proc/29236/statm: 1299 691 207 20 0 657 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5196

[startup+0.701991 s]
/proc/loadavg: 1.99 1.97 1.98 3/77 29236
/proc/meminfo: memFree=1708664/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=13120 CPUtime=1.06
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 2002 0 0 0 105 1 0 0 20 0 3 0 348927131 13434880 1977 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 3280 1977 218 20 0 2638 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13120

[startup+1.50116 s]
/proc/loadavg: 1.91 1.95 1.98 3/80 29239
/proc/meminfo: memFree=1698784/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=20028 CPUtime=2.65
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 3617 0 0 0 264 1 0 0 20 0 3 0 348927131 20508672 3592 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 5007 3592 218 20 0 4365 0
[pid=29236/tid=29238] ppid=29234 vsize=20028 CPUtime=1.17
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 1451 0 0 0 117 0 0 0 19 0 3 0 348927163 20508672 3592 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526445 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=20028 CPUtime=1.15
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 1407 0 0 0 115 0 0 0 19 0 3 0 348927163 20508672 3592 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 20028

[startup+3.1015 s]
/proc/loadavg: 1.91 1.95 1.98 3/80 29239
/proc/meminfo: memFree=1690784/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=25220 CPUtime=5.84
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 4687 0 0 0 581 3 0 0 20 0 3 0 348927131 25825280 4662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 6305 4662 218 20 0 5663 0
[pid=29236/tid=29238] ppid=29234 vsize=25220 CPUtime=2.76
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 2012 0 0 0 275 1 0 0 25 0 3 0 348927163 25825280 4662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=25220 CPUtime=2.75
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 1916 0 0 0 274 1 0 0 25 0 3 0 348927163 25825280 4662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565740 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 25220

[startup+6.30119 s]
/proc/loadavg: 1.92 1.95 1.98 3/80 29239
/proc/meminfo: memFree=1680480/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=38668 CPUtime=12.22
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 8243 0 0 0 1216 6 0 0 20 0 3 0 348927131 39596032 8108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 9667 8108 218 20 0 9025 0
[pid=29236/tid=29238] ppid=29234 vsize=38668 CPUtime=5.96
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 3663 0 0 0 594 2 0 0 21 0 3 0 348927163 39596032 8108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=38668 CPUtime=5.94
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 3821 0 0 0 591 3 0 0 23 0 3 0 348927163 39596032 8108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 38668

[startup+12.7016 s]
/proc/loadavg: 1.93 1.95 1.98 3/80 29239
/proc/meminfo: memFree=1657376/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=57300 CPUtime=24.98
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 13234 0 0 0 2489 9 0 0 20 0 3 0 348927131 58675200 12871 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 14325 12871 218 20 0 13683 0
[pid=29236/tid=29238] ppid=29234 vsize=57300 CPUtime=12.35
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 6282 0 0 0 1232 3 0 0 25 0 3 0 348927163 58675200 12871 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=57300 CPUtime=12.31
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 6193 0 0 0 1226 5 0 0 25 0 3 0 348927163 58675200 12871 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 57300

[startup+25.5023 s]
/proc/loadavg: 1.94 1.96 1.98 3/80 29239
/proc/meminfo: memFree=1644384/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=70676 CPUtime=50.52
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 17216 0 0 0 5039 13 0 0 20 0 3 0 348927131 72372224 16331 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 17669 16331 218 20 0 17027 0
[pid=29236/tid=29238] ppid=29234 vsize=70676 CPUtime=25.13
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 8133 0 0 0 2509 4 0 0 25 0 3 0 348927163 72372224 16331 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=70676 CPUtime=25.06
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 8324 0 0 0 2498 8 0 0 25 0 3 0 348927163 72372224 16331 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 70676

[startup+51.1017 s]
/proc/loadavg: 1.96 1.96 1.98 3/80 29239
/proc/meminfo: memFree=1633568/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=79748 CPUtime=101.56
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 20590 0 0 0 10140 16 0 0 20 0 3 0 348927131 81661952 18812 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 19937 18812 218 20 0 19295 0
[pid=29236/tid=29238] ppid=29234 vsize=79748 CPUtime=50.69
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 9846 0 0 0 5063 6 0 0 25 0 3 0 348927163 81661952 18812 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=79748 CPUtime=50.55
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 9985 0 0 0 5046 9 0 0 25 0 3 0 348927163 81661952 18812 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 79748

[startup+102.306 s]
/proc/loadavg: 1.98 1.96 1.98 3/80 29239
/proc/meminfo: memFree=1629216/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=85664 CPUtime=203.67
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 23294 0 0 0 20349 18 0 0 20 0 3 0 348927131 87719936 19891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 21416 19891 218 20 0 20774 0
[pid=29236/tid=29238] ppid=29234 vsize=85664 CPUtime=101.81
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 11474 0 0 0 10174 7 0 0 25 0 3 0 348927163 87719936 19891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=85664 CPUtime=101.52
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 11061 0 0 0 10142 10 0 0 25 0 3 0 348927163 87719936 19891 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 85664

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 29239
/proc/meminfo: memFree=1624224/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=90332 CPUtime=323.22
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 26314 0 0 0 32300 22 0 0 20 0 3 0 348927131 92499968 21091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 22583 21091 218 20 0 21941 0
[pid=29236/tid=29238] ppid=29234 vsize=90332 CPUtime=161.63
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 12800 0 0 0 16155 8 0 0 25 0 3 0 348927163 92499968 21091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=90332 CPUtime=161.26
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 12755 0 0 0 16113 13 0 0 25 0 3 0 348927163 92499968 21091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.22
Current children cumulated vsize (KiB) 90332

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 29239
/proc/meminfo: memFree=1621408/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=92232 CPUtime=442.87
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 28847 0 0 0 44262 25 0 0 20 0 3 0 348927131 94445568 21804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 23058 21804 218 20 0 22416 0
[pid=29236/tid=29238] ppid=29234 vsize=92232 CPUtime=221.56
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 14198 0 0 0 22147 9 0 0 25 0 3 0 348927163 94445568 21804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=92232 CPUtime=220.98
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 13890 0 0 0 22083 15 0 0 25 0 3 0 348927163 94445568 21804 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.87
Current children cumulated vsize (KiB) 92232

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 29239
/proc/meminfo: memFree=1619744/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=94292 CPUtime=562.52
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 30896 0 0 0 56225 27 0 0 20 0 3 0 348927131 96555008 22228 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 23573 22228 218 20 0 22931 0
[pid=29236/tid=29238] ppid=29234 vsize=94292 CPUtime=281.48
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 15353 0 0 0 28138 10 0 0 25 0 3 0 348927163 96555008 22228 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=94292 CPUtime=280.71
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 14784 0 0 0 28055 16 0 0 25 0 3 0 348927163 96555008 22228 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.52
Current children cumulated vsize (KiB) 94292

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 29239
/proc/meminfo: memFree=1618144/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=95920 CPUtime=682.18
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 32966 0 0 0 68188 30 0 0 20 0 3 0 348927131 98222080 22608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 23980 22608 218 20 0 23338 0
[pid=29236/tid=29238] ppid=29234 vsize=95920 CPUtime=341.42
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 16509 0 0 0 34130 12 0 0 25 0 3 0 348927163 98222080 22608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=95920 CPUtime=340.44
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 15698 0 0 0 34027 17 0 0 25 0 3 0 348927163 98222080 22608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.18
Current children cumulated vsize (KiB) 95920

[startup+402.302 s]

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

/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 38301 0 0 0 183644 34 0 0 25 0 3 0 348927163 134352896 31110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=131204 CPUtime=1836.22
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 39690 0 0 0 183564 58 0 0 25 0 3 0 348927163 134352896 31110 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3673.33
Current children cumulated vsize (KiB) 131204

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 29437
/proc/meminfo: memFree=1582880/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=132160 CPUtime=3792.99
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 80422 0 0 0 379204 95 0 0 20 0 3 0 348927131 135331840 31392 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 33040 31392 218 20 0 32398 0
[pid=29236/tid=29238] ppid=29234 vsize=132160 CPUtime=1896.71
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 39345 0 0 0 189636 35 0 0 25 0 3 0 348927163 135331840 31392 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=132160 CPUtime=1895.95
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 40318 0 0 0 189537 58 0 0 25 0 3 0 348927163 135331840 31392 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3792.99
Current children cumulated vsize (KiB) 132160

[startup+1962.3 s]
/proc/loadavg: 2.24 2.06 2.01 3/80 29437
/proc/meminfo: memFree=1582624/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=132432 CPUtime=3912.65
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 82010 0 0 0 391169 96 0 0 20 0 3 0 348927131 135610368 31457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 33108 31457 218 20 0 32466 0
[pid=29236/tid=29238] ppid=29234 vsize=132432 CPUtime=1956.64
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 40141 0 0 0 195628 36 0 0 25 0 3 0 348927163 135610368 31457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29236/tid=29239] ppid=29234 vsize=132432 CPUtime=1955.68
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 41110 0 0 0 195509 59 0 0 25 0 3 0 348927163 135610368 31457 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3912.65
Current children cumulated vsize (KiB) 132432

[startup+2022.3 s]
/proc/loadavg: 2.39 2.15 2.04 3/80 29437
/proc/meminfo: memFree=1582496/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=132636 CPUtime=4032.32
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 83443 0 0 0 403134 98 0 0 20 0 3 0 348927131 135819264 31504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 33159 31504 218 20 0 32517 0
[pid=29236/tid=29238] ppid=29234 vsize=132636 CPUtime=2016.4
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 40824 0 0 0 201604 36 0 0 25 0 3 0 348927163 135819264 31504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=132636 CPUtime=2015.58
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 41860 0 0 0 201498 60 0 0 25 0 3 0 348927163 135819264 31504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4032.32
Current children cumulated vsize (KiB) 132636

[startup+2082.31 s]
/proc/loadavg: 2.20 2.13 2.04 3/80 29437
/proc/meminfo: memFree=1582368/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=132636 CPUtime=4151.98
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 84591 0 0 0 415099 99 0 0 20 0 3 0 348927131 135819264 31530 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 33159 31530 218 20 0 32517 0
[pid=29236/tid=29238] ppid=29234 vsize=132636 CPUtime=2076.14
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 41354 0 0 0 207577 37 0 0 25 0 3 0 348927163 135819264 31530 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=132636 CPUtime=2075.51
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 42478 0 0 0 207490 61 0 0 25 0 3 0 348927163 135819264 31530 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4151.98
Current children cumulated vsize (KiB) 132636

[startup+2142.3 s]
/proc/loadavg: 2.12 2.12 2.04 3/80 29437
/proc/meminfo: memFree=1582432/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=132636 CPUtime=4271.64
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 85912 0 0 0 427063 101 0 0 20 0 3 0 348927131 135819264 31531 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 33159 31531 218 20 0 32517 0
[pid=29236/tid=29238] ppid=29234 vsize=132636 CPUtime=2135.88
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 42015 0 0 0 213550 38 0 0 25 0 3 0 348927163 135819264 31531 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=132636 CPUtime=2135.43
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 43138 0 0 0 213481 62 0 0 25 0 3 0 348927163 135819264 31531 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4271.64
Current children cumulated vsize (KiB) 132636

[startup+2202.3 s]
/proc/loadavg: 2.09 2.11 2.04 3/80 29437
/proc/meminfo: memFree=1575584/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=139804 CPUtime=4391.31
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 89269 0 0 0 439025 106 0 0 20 0 3 0 348927131 143159296 33238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 34951 33238 218 20 0 34309 0
[pid=29236/tid=29238] ppid=29234 vsize=139804 CPUtime=2195.62
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 42807 0 0 0 219522 40 0 0 25 0 3 0 348927163 143159296 33238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=139804 CPUtime=2195.36
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 45703 0 0 0 219471 65 0 0 25 0 3 0 348927163 143159296 33238 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4391.31
Current children cumulated vsize (KiB) 139804

[startup+2262.3 s]
/proc/loadavg: 2.13 2.12 2.04 3/80 29437
/proc/meminfo: memFree=1574560/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=140828 CPUtime=4510.96
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 91028 0 0 0 450989 107 0 0 20 0 3 0 348927131 144207872 33479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 35207 33479 218 20 0 34565 0
[pid=29236/tid=29238] ppid=29234 vsize=140828 CPUtime=2255.34
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 43467 0 0 0 225494 40 0 0 25 0 3 0 348927163 144207872 33479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=140828 CPUtime=2255.29
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 46802 0 0 0 225463 66 0 0 25 0 3 0 348927163 144207872 33479 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4510.96
Current children cumulated vsize (KiB) 140828

[startup+2322.3 s]
/proc/loadavg: 2.05 2.09 2.04 3/80 29437
/proc/meminfo: memFree=1574624/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=140828 CPUtime=4630.64
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 92416 0 0 0 462955 109 0 0 20 0 3 0 348927131 144207872 33481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 35207 33481 218 20 0 34565 0
[pid=29236/tid=29238] ppid=29234 vsize=140828 CPUtime=2315.08
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 44129 0 0 0 231467 41 0 0 25 0 3 0 348927163 144207872 33481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=140828 CPUtime=2315.22
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 47528 0 0 0 231456 66 0 0 25 0 3 0 348927163 144207872 33481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4630.64
Current children cumulated vsize (KiB) 140828

[startup+2382.3 s]
/proc/loadavg: 2.02 2.08 2.03 3/80 29437
/proc/meminfo: memFree=1574432/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=140828 CPUtime=4750.31
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 93736 0 0 0 474921 110 0 0 20 0 3 0 348927131 144207872 33481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 35207 33481 218 20 0 34565 0
[pid=29236/tid=29238] ppid=29234 vsize=140828 CPUtime=2374.82
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 44789 0 0 0 237440 42 0 0 25 0 3 0 348927163 144207872 33481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=140828 CPUtime=2375.16
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 48188 0 0 0 237449 67 0 0 25 0 3 0 348927163 144207872 33481 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4750.31
Current children cumulated vsize (KiB) 140828

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.03 3/80 29437
/proc/meminfo: memFree=1574368/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=140828 CPUtime=4869.94
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 95124 0 0 0 486883 111 0 0 20 0 3 0 348927131 144207872 33483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 35207 33483 218 20 0 34565 0
[pid=29236/tid=29238] ppid=29234 vsize=140828 CPUtime=2434.55
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 45385 0 0 0 243412 43 0 0 17 0 3 0 348927163 144207872 33483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=140828 CPUtime=2435.06
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 48980 0 0 0 243439 67 0 0 25 0 3 0 348927163 144207872 33483 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4869.94
Current children cumulated vsize (KiB) 140828

[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/80 29437
/proc/meminfo: memFree=1574176/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=140828 CPUtime=4989.62
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 96439 0 0 0 498849 113 0 0 20 0 3 0 348927131 144207872 33544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 35207 33544 218 20 0 34565 0
[pid=29236/tid=29238] ppid=29234 vsize=140828 CPUtime=2494.29
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 45913 0 0 0 249385 44 0 0 21 0 3 0 348927163 144207872 33544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=140828 CPUtime=2495
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 49767 0 0 0 249432 68 0 0 25 0 3 0 348927163 144207872 33544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4989.62
Current children cumulated vsize (KiB) 140828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.6 s]
/proc/loadavg: 2.00 2.04 2.02 3/80 29437
/proc/meminfo: memFree=1574176/2055920 swapFree=4159364/4192956
[pid=29236] ppid=29234 vsize=140828 CPUtime=5000.19
/proc/29236/stat : 29236 (MiraXTv3_dyn) S 29234 29236 29105 0 -1 4194304 96439 0 0 0 499906 113 0 0 20 0 3 0 348927131 144207872 33544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29236/statm: 35207 33544 218 20 0 34565 0
[pid=29236/tid=29238] ppid=29234 vsize=140828 CPUtime=2499.57
/proc/29236/task/29238/stat : 29238 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 45913 0 0 0 249913 44 0 0 25 0 3 0 348927163 144207872 33544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=29236/tid=29239] ppid=29234 vsize=140828 CPUtime=2500.3
/proc/29236/task/29239/stat : 29239 (MiraXTv3_dyn) R 29234 29236 29105 0 -1 4194368 49767 0 0 0 249962 68 0 0 25 0 3 0 348927163 144207872 33544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 140828

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.64
CPU time (s): 5000.23
CPU user time (s): 4999.08
CPU system time (s): 1.15482
CPU usage (%): 199.4
Max. virtual memory (cumulated for all children) (KiB): 141092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.08
system time used= 1.15482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96439
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= 1335
involuntary context switches= 94105

runsolver used 2.56861 second user time and 6.61799 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat May 12 22:48:13 UTC 2007

IDJOB= 426310
IDBENCH= 20135
IDSOLVER= 196
FILE ID= node13/426310-1179010093

PBS_JOBID= 5252862

Free space on /tmp= 66544 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v160/unif-k7-r85-v160-c13600-S659720099-13.cnf
COMMAND LINE= /tmp/evaluation/426310-1179010093/MiraXTv3_dyn /tmp/evaluation/426310-1179010093/instance-426310-1179010093.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-426310-1179010093 -o ROOT/results/node13/solver-426310-1179010093 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426310-1179010093/MiraXTv3_dyn /tmp/evaluation/426310-1179010093/instance-426310-1179010093.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  df8cf6a022cc11177f2b8acfa52efe18

RANDOM SEED= 742940616

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1708880 kB
Buffers:         42184 kB
Cached:         217508 kB
SwapCached:      12852 kB
Active:         147236 kB
Inactive:       135764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1708880 kB
SwapTotal:     4192956 kB
SwapFree:      4159364 kB
Dirty:            4304 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            49492 kB
Committed_AS:  9876912 kB
PageTables:       1872 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= 66544 MiB

End job on node13 on Sat May 12 23:30:03 UTC 2007