Trace number 426240

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.24 2506.96

General information on the benchmark

Namerandom/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
MD5SUM4356efd851b4254135ae4efd766e660e
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 variables1000
Number of clauses20000
Sum of the clauses size100000
Maximum clause length5
Minimum clause length5
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 520000
Number of clauses of size over 50

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/node7/watcher-426240-1179001084 -o ROOT/results/node7/solver-426240-1179001084 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426240-1179001084/MiraXTv3_dyn /tmp/evaluation/426240-1179001084/instance-426240-1179001084.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.77 1.94 1.98 3/77 1585
/proc/meminfo: memFree=1637816/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=2624 CPUtime=0
/proc/1585/stat : 1585 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 376146032 2686976 139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1585/statm: 656 149 123 20 0 14 0

[startup+0.068157 s]
/proc/loadavg: 1.77 1.94 1.98 3/77 1585
/proc/meminfo: memFree=1637816/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=5448 CPUtime=0.06
/proc/1585/stat : 1585 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194304 812 0 0 0 6 0 0 0 18 0 1 0 376146032 5578752 787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/1585/statm: 1362 787 207 20 0 720 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5448

[startup+0.10116 s]
/proc/loadavg: 1.77 1.94 1.98 3/77 1585
/proc/meminfo: memFree=1637816/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=5612 CPUtime=0.09
/proc/1585/stat : 1585 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194304 858 0 0 0 9 0 0 0 18 0 1 0 376146032 5746688 833 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583921 0 0 4096 0 0 0 0 17 0 0 0
/proc/1585/statm: 1403 833 207 20 0 761 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5612

[startup+0.301189 s]
/proc/loadavg: 1.77 1.94 1.98 3/77 1585
/proc/meminfo: memFree=1637816/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=14704 CPUtime=0.44
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 1882 0 0 0 43 1 0 0 18 0 3 0 376146032 15056896 1817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 3676 1817 218 20 0 3034 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 14704

[startup+0.70123 s]
/proc/loadavg: 1.77 1.94 1.98 3/77 1585
/proc/meminfo: memFree=1637816/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=19656 CPUtime=1.24
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 3319 0 0 0 122 2 0 0 18 0 3 0 376146032 20127744 3254 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 4914 3255 218 20 0 4272 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 19656

[startup+1.50231 s]
/proc/loadavg: 1.77 1.94 1.98 3/80 1588
/proc/meminfo: memFree=1621664/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=30416 CPUtime=2.83
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 5786 0 0 0 279 4 0 0 18 0 3 0 376146032 31145984 5721 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 7604 5721 218 20 0 6962 0
[pid=1585/tid=1587] ppid=1583 vsize=30416 CPUtime=1.35
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 2493 0 0 0 134 1 0 0 21 0 3 0 376146046 31145984 5721 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517955 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=30416 CPUtime=1.33
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 2346 0 0 0 132 1 0 0 19 0 3 0 376146046 31145984 5721 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 30416

[startup+3.10149 s]
/proc/loadavg: 1.77 1.94 1.98 3/80 1588
/proc/meminfo: memFree=1608544/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=48260 CPUtime=6.01
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 10047 0 0 0 593 8 0 0 18 0 3 0 376146032 49418240 9982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 12065 9982 218 20 0 11423 0
[pid=1585/tid=1587] ppid=1583 vsize=48260 CPUtime=2.94
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 4696 0 0 0 291 3 0 0 21 0 3 0 376146046 49418240 9982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=48260 CPUtime=2.92
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 4404 0 0 0 288 4 0 0 17 0 3 0 376146046 49418240 9982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 48260

[startup+6.30182 s]
/proc/loadavg: 1.79 1.94 1.98 3/80 1588
/proc/meminfo: memFree=1594144/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=59648 CPUtime=12.39
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 12994 0 0 0 1229 10 0 0 18 0 3 0 376146032 61079552 12893 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 14912 12893 218 20 0 14270 0
[pid=1585/tid=1587] ppid=1583 vsize=59648 CPUtime=6.13
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 5771 0 0 0 610 3 0 0 18 0 3 0 376146046 61079552 12894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10851963 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=59648 CPUtime=6.1
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 6277 0 0 0 605 5 0 0 20 0 3 0 376146046 61079552 12894 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 59648

[startup+12.7015 s]
/proc/loadavg: 1.80 1.94 1.98 3/80 1588
/proc/meminfo: memFree=1542624/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=107216 CPUtime=25.17
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 25487 0 0 0 2496 21 0 0 18 0 3 0 376146032 109789184 25183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 26804 25183 218 20 0 26162 0
[pid=1585/tid=1587] ppid=1583 vsize=107216 CPUtime=12.53
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 12147 0 0 0 1246 7 0 0 18 0 3 0 376146046 109789184 25183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=107216 CPUtime=12.48
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 12393 0 0 0 1235 13 0 0 25 0 3 0 376146046 109789184 25183 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520153 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 107216

[startup+25.5018 s]
/proc/loadavg: 1.85 1.94 1.98 3/80 1588
/proc/meminfo: memFree=1513568/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=131128 CPUtime=50.7
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 31678 0 0 0 5042 28 0 0 18 0 3 0 376146032 134275072 31052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 32782 31052 218 20 0 32140 0
[pid=1585/tid=1587] ppid=1583 vsize=131128 CPUtime=25.33
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 15421 0 0 0 2523 10 0 0 25 0 3 0 376146046 134275072 31052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=131128 CPUtime=25.22
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 15310 0 0 0 2505 17 0 0 25 0 3 0 376146046 134275072 31052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 131128

[startup+51.1015 s]
/proc/loadavg: 1.90 1.94 1.98 3/80 1588
/proc/meminfo: memFree=1464352/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=180076 CPUtime=101.74
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 44629 0 0 0 10129 45 0 0 18 0 3 0 376146032 184397824 43320 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 45019 43320 218 20 0 44377 0
[pid=1585/tid=1587] ppid=1583 vsize=180076 CPUtime=50.89
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 21844 0 0 0 5074 15 0 0 25 0 3 0 376146046 184397824 43320 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=180076 CPUtime=50.7
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 21838 0 0 0 5042 28 0 0 25 0 3 0 376146046 184397824 43320 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 180076

[startup+102.307 s]
/proc/loadavg: 1.95 1.95 1.98 3/80 1588
/proc/meminfo: memFree=1439392/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=204212 CPUtime=203.88
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 51811 0 0 0 20334 54 0 0 18 0 3 0 376146032 209113088 49586 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 51053 49586 218 20 0 50411 0
[pid=1585/tid=1587] ppid=1583 vsize=204212 CPUtime=102.04
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 24951 0 0 0 10186 18 0 0 25 0 3 0 376146046 209113088 49586 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=204212 CPUtime=101.7
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 25913 0 0 0 10135 35 0 0 25 0 3 0 376146046 209113088 49586 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 204212

[startup+162.301 s]
/proc/loadavg: 1.98 1.95 1.98 3/80 1588
/proc/meminfo: memFree=1439008/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=204212 CPUtime=323.55
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 53172 0 0 0 32300 55 0 0 18 0 3 0 376146032 209113088 49617 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 51053 49617 218 20 0 50411 0
[pid=1585/tid=1587] ppid=1583 vsize=204212 CPUtime=161.97
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 25644 0 0 0 16179 18 0 0 25 0 3 0 376146046 209113088 49617 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=204212 CPUtime=161.42
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 26581 0 0 0 16106 36 0 0 25 0 3 0 376146046 209113088 49617 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.55
Current children cumulated vsize (KiB) 204212

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.98 3/80 1588
/proc/meminfo: memFree=1422048/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=220964 CPUtime=443.18
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 58656 0 0 0 44257 61 0 0 18 0 3 0 376146032 226267136 53895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 55241 53895 218 20 0 54599 0
[pid=1585/tid=1587] ppid=1583 vsize=220964 CPUtime=221.87
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 28981 0 0 0 22166 21 0 0 24 0 3 0 376146046 226267136 53895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=220964 CPUtime=221.16
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 28728 0 0 0 22077 39 0 0 24 0 3 0 376146046 226267136 53895 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (KiB) 220964

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 1588
/proc/meminfo: memFree=1421728/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=220964 CPUtime=562.87
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 59665 0 0 0 56225 62 0 0 18 0 3 0 376146032 226267136 53966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 55241 53966 218 20 0 54599 0
[pid=1585/tid=1587] ppid=1583 vsize=220964 CPUtime=281.8
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 29373 0 0 0 28159 21 0 0 25 0 3 0 376146046 226267136 53966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=220964 CPUtime=280.91
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 29345 0 0 0 28052 39 0 0 25 0 3 0 376146046 226267136 53966 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.87
Current children cumulated vsize (KiB) 220964

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 1588
/proc/meminfo: memFree=1421792/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=220964 CPUtime=682.55
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 60473 0 0 0 68192 63 0 0 18 0 3 0 376146032 226267136 53969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 55241 53969 218 20 0 54599 0
[pid=1585/tid=1587] ppid=1583 vsize=220964 CPUtime=341.74
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 29577 0 0 0 34153 21 0 0 25 0 3 0 376146046 226267136 53969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1585/tid=1588] ppid=1583 vsize=220964 CPUtime=340.65
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 29949 0 0 0 34025 40 0 0 25 0 3 0 376146046 226267136 53969 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (KiB) 220964

[startup+402.301 s]

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

/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39665 0 0 0 189958 34 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=258940 CPUtime=1894.09
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 44327 0 0 0 189348 61 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.15
Current children cumulated vsize (KiB) 258940

[startup+1962.3 s]
/proc/loadavg: 2.21 2.10 2.02 3/80 1590
/proc/meminfo: memFree=1384480/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=258940 CPUtime=3913.85
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 84939 0 0 0 391289 96 0 0 18 0 3 0 376146032 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 64735 63307 218 20 0 64093 0
[pid=1585/tid=1587] ppid=1583 vsize=258940 CPUtime=1959.89
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39665 0 0 0 195955 34 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=258940 CPUtime=1953.82
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 44327 0 0 0 195321 61 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.85
Current children cumulated vsize (KiB) 258940

[startup+2022.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/80 1590
/proc/meminfo: memFree=1384544/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=258940 CPUtime=4033.54
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 84939 0 0 0 403257 97 0 0 18 0 3 0 376146032 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 64735 63307 218 20 0 64093 0
[pid=1585/tid=1587] ppid=1583 vsize=258940 CPUtime=2019.86
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39665 0 0 0 201951 35 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=258940 CPUtime=2013.54
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 44327 0 0 0 201293 61 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.54
Current children cumulated vsize (KiB) 258940

[startup+2082.31 s]
/proc/loadavg: 2.03 2.06 2.01 3/80 1590
/proc/meminfo: memFree=1384544/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=258940 CPUtime=4153.25
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 84939 0 0 0 415227 98 0 0 18 0 3 0 376146032 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 64735 63307 218 20 0 64093 0
[pid=1585/tid=1587] ppid=1583 vsize=258940 CPUtime=2079.83
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39665 0 0 0 207948 35 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=258940 CPUtime=2073.27
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 44327 0 0 0 207265 62 0 0 25 0 3 0 376146046 265154560 63307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.25
Current children cumulated vsize (KiB) 258940

[startup+2142.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/80 1590
/proc/meminfo: memFree=1377632/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=266108 CPUtime=4272.85
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 86728 0 0 0 427184 101 0 0 18 0 3 0 376146032 272494592 65026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 66527 65026 218 20 0 65885 0
[pid=1585/tid=1587] ppid=1583 vsize=266108 CPUtime=2139.78
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39898 0 0 0 213943 35 0 0 25 0 3 0 376146046 272494592 65026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=266108 CPUtime=2132.91
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 45883 0 0 0 213227 64 0 0 25 0 3 0 376146046 272494592 65026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.85
Current children cumulated vsize (KiB) 266108

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 1590
/proc/meminfo: memFree=1376224/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=267132 CPUtime=4392.52
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 87502 0 0 0 439150 102 0 0 18 0 3 0 376146032 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 66783 65380 218 20 0 66141 0
[pid=1585/tid=1587] ppid=1583 vsize=267132 CPUtime=2199.75
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39907 0 0 0 219939 36 0 0 25 0 3 0 376146046 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=267132 CPUtime=2192.63
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 46648 0 0 0 219198 65 0 0 25 0 3 0 376146046 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.52
Current children cumulated vsize (KiB) 267132

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/80 1590
/proc/meminfo: memFree=1376224/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=267132 CPUtime=4512.22
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 87992 0 0 0 451119 103 0 0 18 0 3 0 376146032 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 66783 65380 218 20 0 66141 0
[pid=1585/tid=1587] ppid=1583 vsize=267132 CPUtime=2259.71
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39907 0 0 0 225935 36 0 0 25 0 3 0 376146046 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=267132 CPUtime=2252.36
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 47138 0 0 0 225170 66 0 0 25 0 3 0 376146046 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.22
Current children cumulated vsize (KiB) 267132

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 1590
/proc/meminfo: memFree=1376160/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=267132 CPUtime=4631.92
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 88412 0 0 0 463088 104 0 0 18 0 3 0 376146032 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 66783 65380 218 20 0 66141 0
[pid=1585/tid=1587] ppid=1583 vsize=267132 CPUtime=2319.68
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39907 0 0 0 231931 37 0 0 25 0 3 0 376146046 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=267132 CPUtime=2312.09
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 47558 0 0 0 231143 66 0 0 25 0 3 0 376146046 273543168 65380 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.92
Current children cumulated vsize (KiB) 267132

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 1590
/proc/meminfo: memFree=1376032/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=267132 CPUtime=4751.61
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 88936 0 0 0 475056 105 0 0 18 0 3 0 376146032 273543168 65414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 66783 65414 218 20 0 66141 0
[pid=1585/tid=1587] ppid=1583 vsize=267132 CPUtime=2379.64
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 39913 0 0 0 237927 37 0 0 25 0 3 0 376146046 273543168 65414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=267132 CPUtime=2371.82
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 48076 0 0 0 237115 67 0 0 25 0 3 0 376146046 273543168 65414 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.61
Current children cumulated vsize (KiB) 267132

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 1590
/proc/meminfo: memFree=1373536/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=270204 CPUtime=4871.28
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 90127 0 0 0 487021 107 0 0 18 0 3 0 376146032 276688896 66115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 67551 66115 218 20 0 66909 0
[pid=1585/tid=1587] ppid=1583 vsize=270204 CPUtime=2439.6
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 40563 0 0 0 243921 39 0 0 25 0 3 0 376146046 276688896 66115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520399 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=270204 CPUtime=2431.53
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 48617 0 0 0 243086 67 0 0 25 0 3 0 376146046 276688896 66115 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.28
Current children cumulated vsize (KiB) 270204

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1590
/proc/meminfo: memFree=1358752/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=284540 CPUtime=4990.99
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 94185 0 0 0 498985 114 0 0 18 0 3 0 376146032 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 71135 69682 218 20 0 70493 0
[pid=1585/tid=1587] ppid=1583 vsize=284540 CPUtime=2499.57
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 40637 0 0 0 249918 39 0 0 25 0 3 0 376146046 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=284540 CPUtime=2491.27
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 52601 0 0 0 249053 74 0 0 25 0 3 0 376146046 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.99
Current children cumulated vsize (KiB) 284540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1590
/proc/meminfo: memFree=1358752/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=284540 CPUtime=5000.18
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 94185 0 0 0 499904 114 0 0 18 0 3 0 376146032 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 71135 69682 218 20 0 70493 0
[pid=1585/tid=1587] ppid=1583 vsize=284540 CPUtime=2504.17
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 40637 0 0 0 250378 39 0 0 25 0 3 0 376146046 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=284540 CPUtime=2495.85
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 52601 0 0 0 249511 74 0 0 25 0 3 0 376146046 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.18
Current children cumulated vsize (KiB) 284540

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

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

[startup+2506.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1590
/proc/meminfo: memFree=1358752/2055920 swapFree=4156572/4192956
[pid=1585] ppid=1583 vsize=284540 CPUtime=5000.18
/proc/1585/stat : 1585 (MiraXTv3_dyn) S 1583 1585 1256 0 -1 4194304 94185 0 0 0 499904 114 0 0 18 0 3 0 376146032 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1585/statm: 71135 69682 218 20 0 70493 0
[pid=1585/tid=1587] ppid=1583 vsize=284540 CPUtime=2504.17
/proc/1585/task/1587/stat : 1587 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 40637 0 0 0 250378 39 0 0 25 0 3 0 376146046 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1585/tid=1588] ppid=1583 vsize=284540 CPUtime=2495.85
/proc/1585/task/1588/stat : 1588 (MiraXTv3_dyn) R 1583 1585 1256 0 -1 4194368 52601 0 0 0 249511 74 0 0 25 0 3 0 376146046 291368960 69682 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.18
Current children cumulated vsize (KiB) 284540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.96
CPU time (s): 5000.24
CPU user time (s): 4999.06
CPU system time (s): 1.18382
CPU usage (%): 199.454
Max. virtual memory (cumulated for all children) (KiB): 284540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.06
system time used= 1.18382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94185
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= 1082
involuntary context switches= 93743

runsolver used 2.41663 second user time and 6.71998 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat May 12 20:18:04 UTC 2007

IDJOB= 426240
IDBENCH= 20065
IDSOLVER= 196
FILE ID= node7/426240-1179001084

PBS_JOBID= 5252845

Free space on /tmp= 66541 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S683236487-13.cnf
COMMAND LINE= /tmp/evaluation/426240-1179001084/MiraXTv3_dyn /tmp/evaluation/426240-1179001084/instance-426240-1179001084.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-426240-1179001084 -o ROOT/results/node7/solver-426240-1179001084 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426240-1179001084/MiraXTv3_dyn /tmp/evaluation/426240-1179001084/instance-426240-1179001084.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  4356efd851b4254135ae4efd766e660e

RANDOM SEED= 16864248

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1638032 kB
Buffers:         44176 kB
Cached:         306016 kB
SwapCached:      17008 kB
Active:         150404 kB
Inactive:       224004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1638032 kB
SwapTotal:     4192956 kB
SwapFree:      4156572 kB
Dirty:            4388 kB
Writeback:           0 kB
Mapped:          30132 kB
Slab:            28912 kB
Committed_AS: 14846128 kB
PageTables:       1860 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= 66541 MiB

End job on node7 on Sat May 12 20:59:53 UTC 2007