Trace number 426135

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.11 2507.13

General information on the benchmark

Namerandom/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
MD5SUM1f7852d30f74f4d1cf595ab0277b9978
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 variables75
Number of clauses6675
Sum of the clauses size46725
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56675

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node11/watcher-426135-1178989563 -o ROOT/results/node11/solver-426135-1178989563 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426135-1178989563/MiraXTv3_dyn /tmp/evaluation/426135-1178989563/instance-426135-1178989563.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.93 3/77 5751
/proc/meminfo: memFree=1512736/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=3788 CPUtime=0
/proc/5751/stat : 5751 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 340005217 3878912 289 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 1 0 0
/proc/5751/statm: 947 290 206 20 0 305 0

[startup+0.071187 s]
/proc/loadavg: 2.00 2.01 1.93 3/77 5751
/proc/meminfo: memFree=1512736/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=4452 CPUtime=0.06
/proc/5751/stat : 5751 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194304 469 0 0 0 6 0 0 0 18 0 1 0 340005217 4558848 444 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583715 0 0 4096 0 0 0 0 17 1 0 0
/proc/5751/statm: 1113 444 207 20 0 471 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4452

[startup+0.101191 s]
/proc/loadavg: 2.00 2.01 1.93 3/77 5751
/proc/meminfo: memFree=1512736/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=4452 CPUtime=0.09
/proc/5751/stat : 5751 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194304 476 0 0 0 9 0 0 0 18 0 1 0 340005217 4558848 451 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583960 0 0 4096 0 0 0 0 17 1 0 0
/proc/5751/statm: 1113 451 207 20 0 471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4452

[startup+0.30122 s]
/proc/loadavg: 2.00 2.01 1.93 3/77 5751
/proc/meminfo: memFree=1512736/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=9012 CPUtime=0.44
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 1067 0 0 0 44 0 0 0 18 0 3 0 340005217 9228288 1042 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 2253 1042 218 20 0 1611 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9012

[startup+0.701269 s]
/proc/loadavg: 2.00 2.01 1.93 3/77 5751
/proc/meminfo: memFree=1512736/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=12612 CPUtime=1.23
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 1866 0 0 0 122 1 0 0 18 0 3 0 340005217 12914688 1841 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 3153 1841 218 20 0 2511 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 12612

[startup+1.50136 s]
/proc/loadavg: 2.00 2.01 1.93 3/80 5754
/proc/meminfo: memFree=1504136/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=15708 CPUtime=2.83
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 2936 0 0 0 281 2 0 0 18 0 3 0 340005217 16084992 2911 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 3927 2911 218 20 0 3285 0
[pid=5751/tid=5753] ppid=5749 vsize=15708 CPUtime=1.34
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 1204 0 0 0 133 1 0 0 17 0 3 0 340005232 16084992 2911 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=15708 CPUtime=1.34
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 1219 0 0 0 133 1 0 0 17 0 3 0 340005232 16084992 2911 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 15708

[startup+3.10155 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1501640/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=19264 CPUtime=6.03
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 3848 0 0 0 600 3 0 0 18 0 3 0 340005217 19726336 3787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 4816 3787 218 20 0 4174 0
[pid=5751/tid=5753] ppid=5749 vsize=19264 CPUtime=2.94
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 1524 0 0 0 293 1 0 0 18 0 3 0 340005232 19726336 3787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8414843 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=19264 CPUtime=2.93
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 1811 0 0 0 292 1 0 0 20 0 3 0 340005232 19726336 3787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 19264

[startup+6.30294 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1491088/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=27628 CPUtime=12.42
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 6281 0 0 0 1236 6 0 0 18 0 3 0 340005217 28291072 6108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 6907 6108 218 20 0 6265 0
[pid=5751/tid=5753] ppid=5749 vsize=27628 CPUtime=6.14
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 2750 0 0 0 612 2 0 0 25 0 3 0 340005232 28291072 6108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=27628 CPUtime=6.12
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 3018 0 0 0 609 3 0 0 25 0 3 0 340005232 28291072 6108 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 27628

[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1481496/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=36156 CPUtime=25.16
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 8319 0 0 0 2509 7 0 0 18 0 3 0 340005217 37023744 7848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 9039 7848 218 20 0 8397 0
[pid=5751/tid=5753] ppid=5749 vsize=36156 CPUtime=12.53
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 3791 0 0 0 1250 3 0 0 25 0 3 0 340005232 37023744 7848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=36156 CPUtime=12.48
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 4015 0 0 0 1244 4 0 0 25 0 3 0 340005232 37023744 7848 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 36156

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1472920/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=45308 CPUtime=50.7
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 11017 0 0 0 5060 10 0 0 18 0 3 0 340005217 46395392 10005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 11327 10005 218 20 0 10685 0
[pid=5751/tid=5753] ppid=5749 vsize=45308 CPUtime=25.32
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 5205 0 0 0 2528 4 0 0 25 0 3 0 340005232 46395392 10005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=45308 CPUtime=25.22
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 5299 0 0 0 2517 5 0 0 25 0 3 0 340005232 46395392 10005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 45308

[startup+51.1013 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1469592/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=48420 CPUtime=101.75
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 12888 0 0 0 10163 12 0 0 18 0 3 0 340005217 49582080 10842 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 12105 10842 218 20 0 11463 0
[pid=5751/tid=5753] ppid=5749 vsize=48420 CPUtime=50.9
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 6026 0 0 0 5085 5 0 0 25 0 3 0 340005232 49582080 10842 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=48420 CPUtime=50.69
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 6349 0 0 0 5063 6 0 0 25 0 3 0 340005232 49582080 10842 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 48420

[startup+102.305 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1466520/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=50748 CPUtime=203.84
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 15735 0 0 0 20370 14 0 0 18 0 3 0 340005217 51965952 11639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 12687 11639 218 20 0 12045 0
[pid=5751/tid=5753] ppid=5749 vsize=50748 CPUtime=102.05
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 7402 0 0 0 10199 6 0 0 25 0 3 0 340005232 51965952 11639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=50748 CPUtime=101.63
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 7820 0 0 0 10156 7 0 0 25 0 3 0 340005232 51965952 11639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 50748

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1459352/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=58592 CPUtime=323.51
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 19716 0 0 0 32335 16 0 0 18 0 3 0 340005217 59998208 13375 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 14648 13375 218 20 0 14006 0
[pid=5751/tid=5753] ppid=5749 vsize=58592 CPUtime=162.01
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 9632 0 0 0 16193 8 0 0 25 0 3 0 340005232 59998208 13375 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=58592 CPUtime=161.34
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 9571 0 0 0 16127 7 0 0 25 0 3 0 340005232 59998208 13375 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.51
Current children cumulated vsize (KiB) 58592

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1454872/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=62536 CPUtime=443.15
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 23077 0 0 0 44295 20 0 0 18 0 3 0 340005217 64036864 14461 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 15634 14461 218 20 0 14992 0
[pid=5751/tid=5753] ppid=5749 vsize=62536 CPUtime=221.96
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 11013 0 0 0 22186 10 0 0 21 0 3 0 340005232 64036864 14461 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=62536 CPUtime=221.04
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 11551 0 0 0 22094 10 0 0 25 0 3 0 340005232 64036864 14461 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.15
Current children cumulated vsize (KiB) 62536

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1451800/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=66848 CPUtime=562.82
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 26204 0 0 0 56259 23 0 0 18 0 3 0 340005217 68452352 15444 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 16712 15444 218 20 0 16070 0
[pid=5751/tid=5753] ppid=5749 vsize=66848 CPUtime=281.92
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 12818 0 0 0 28180 12 0 0 25 0 3 0 340005232 68452352 15444 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=66848 CPUtime=280.75
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 12873 0 0 0 28064 11 0 0 25 0 3 0 340005232 68452352 15444 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.82
Current children cumulated vsize (KiB) 66848

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 1.93 3/80 5754
/proc/meminfo: memFree=1449312/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=68908 CPUtime=682.49
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 28853 0 0 0 68223 26 0 0 18 0 3 0 340005217 70561792 15949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 17227 15949 218 20 0 16585 0
[pid=5751/tid=5753] ppid=5749 vsize=68908 CPUtime=341.73
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 14180 0 0 0 34160 13 0 0 25 0 3 0 340005232 70561792 15949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5751/tid=5754] ppid=5749 vsize=68908 CPUtime=340.61
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 14160 0 0 0 34049 12 0 0 25 0 3 0 340005232 70561792 15949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.49
Current children cumulated vsize (KiB) 68908

[startup+402.301 s]

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

/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 40554 0 0 0 189459 34 0 0 25 0 3 0 340005232 96063488 21957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5751/tid=5754] ppid=5749 vsize=93812 CPUtime=1898.73
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 41114 0 0 0 189829 44 0 0 25 0 3 0 340005232 96063488 21957 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.82
Current children cumulated vsize (KiB) 93812

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1424736/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=94020 CPUtime=3913.51
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 84190 0 0 0 391270 81 0 0 18 0 3 0 340005217 96276480 22034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 23505 22034 218 20 0 22863 0
[pid=5751/tid=5753] ppid=5749 vsize=94020 CPUtime=1954.79
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 41568 0 0 0 195444 35 0 0 25 0 3 0 340005232 96276480 22034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=94020 CPUtime=1958.55
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 42109 0 0 0 195810 45 0 0 25 0 3 0 340005232 96276480 22034 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.51
Current children cumulated vsize (KiB) 94020

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1424544/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=94228 CPUtime=4033.15
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 86310 0 0 0 403232 83 0 0 18 0 3 0 340005217 96489472 22084 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 23557 22084 218 20 0 22915 0
[pid=5751/tid=5753] ppid=5749 vsize=94228 CPUtime=2014.75
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 42653 0 0 0 201438 37 0 0 25 0 3 0 340005232 96489472 22084 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=94228 CPUtime=2018.25
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 43144 0 0 0 201779 46 0 0 25 0 3 0 340005232 96489472 22084 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.15
Current children cumulated vsize (KiB) 94228

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1424416/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=94228 CPUtime=4152.83
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 88200 0 0 0 415198 85 0 0 18 0 3 0 340005217 96489472 22111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 23557 22111 218 20 0 22915 0
[pid=5751/tid=5753] ppid=5749 vsize=94228 CPUtime=2074.71
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 43550 0 0 0 207433 38 0 0 25 0 3 0 340005232 96489472 22111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=94228 CPUtime=2077.96
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 44137 0 0 0 207750 46 0 0 25 0 3 0 340005232 96489472 22111 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4152.83
Current children cumulated vsize (KiB) 94228

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1421536/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=96480 CPUtime=4272.49
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 90712 0 0 0 427161 88 0 0 18 0 3 0 340005217 98795520 22829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24120 22829 218 20 0 23478 0
[pid=5751/tid=5753] ppid=5749 vsize=96480 CPUtime=2134.66
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 44402 0 0 0 213427 39 0 0 25 0 3 0 340005232 98795520 22829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=96480 CPUtime=2137.68
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 45797 0 0 0 213720 48 0 0 25 0 3 0 340005232 98795520 22829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.49
Current children cumulated vsize (KiB) 96480

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1421216/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=96480 CPUtime=4392.16
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 92719 0 0 0 439126 90 0 0 18 0 3 0 340005217 98795520 22904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24120 22904 218 20 0 23478 0
[pid=5751/tid=5753] ppid=5749 vsize=96480 CPUtime=2194.61
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 45393 0 0 0 219421 40 0 0 25 0 3 0 340005232 98795520 22904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=96480 CPUtime=2197.39
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 46813 0 0 0 219690 49 0 0 25 0 3 0 340005232 98795520 22904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.16
Current children cumulated vsize (KiB) 96480

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1421280/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=96480 CPUtime=4511.84
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 94514 0 0 0 451093 91 0 0 18 0 3 0 340005217 98795520 22905 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24120 22905 218 20 0 23478 0
[pid=5751/tid=5753] ppid=5749 vsize=96480 CPUtime=2254.57
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 46152 0 0 0 225416 41 0 0 25 0 3 0 340005232 98795520 22905 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=96480 CPUtime=2257.11
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 47849 0 0 0 225662 49 0 0 25 0 3 0 340005232 98795520 22905 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.84
Current children cumulated vsize (KiB) 96480

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1421280/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=96480 CPUtime=4631.51
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 95762 0 0 0 463059 92 0 0 18 0 3 0 340005217 98795520 22911 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24120 22911 218 20 0 23478 0
[pid=5751/tid=5753] ppid=5749 vsize=96480 CPUtime=2314.53
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 46709 0 0 0 231411 42 0 0 25 0 3 0 340005232 98795520 22911 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=96480 CPUtime=2316.82
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 48540 0 0 0 231633 49 0 0 25 0 3 0 340005232 98795520 22911 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.51
Current children cumulated vsize (KiB) 96480

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1421088/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=96688 CPUtime=4751.18
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 97240 0 0 0 475023 95 0 0 18 0 3 0 340005217 99008512 22940 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24172 22940 218 20 0 23530 0
[pid=5751/tid=5753] ppid=5749 vsize=96688 CPUtime=2374.48
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 47700 0 0 0 237405 43 0 0 25 0 3 0 340005232 99008512 22940 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=96688 CPUtime=2376.53
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 49027 0 0 0 237603 50 0 0 25 0 3 0 340005232 99008512 22940 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.18
Current children cumulated vsize (KiB) 96688

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1420832/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=97844 CPUtime=4870.84
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 98878 0 0 0 486987 97 0 0 18 0 3 0 340005217 100192256 22991 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24461 22991 218 20 0 23819 0
[pid=5751/tid=5753] ppid=5749 vsize=97844 CPUtime=2434.44
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 48668 0 0 0 243399 45 0 0 25 0 3 0 340005232 100192256 22991 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=97844 CPUtime=2436.24
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 49697 0 0 0 243573 51 0 0 25 0 3 0 340005232 100192256 22991 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.84
Current children cumulated vsize (KiB) 97844

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1420832/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=97844 CPUtime=4990.51
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 100259 0 0 0 498953 98 0 0 18 0 3 0 340005217 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24461 22992 218 20 0 23819 0
[pid=5751/tid=5753] ppid=5749 vsize=97844 CPUtime=2494.39
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 49289 0 0 0 249393 46 0 0 25 0 3 0 340005232 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=97844 CPUtime=2495.95
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 50457 0 0 0 249544 51 0 0 25 0 3 0 340005232 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.51
Current children cumulated vsize (KiB) 97844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1420768/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=97844 CPUtime=5000.08
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 100397 0 0 0 499910 98 0 0 18 0 3 0 340005217 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24461 22992 218 20 0 23819 0
[pid=5751/tid=5753] ppid=5749 vsize=97844 CPUtime=2499.19
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 49358 0 0 0 249873 46 0 0 25 0 3 0 340005232 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=97844 CPUtime=2500.73
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 50526 0 0 0 250022 51 0 0 25 0 3 0 340005232 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 97844

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

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

[startup+2507.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 5754
/proc/meminfo: memFree=1420768/2055920 swapFree=4144152/4192956
[pid=5751] ppid=5749 vsize=97844 CPUtime=5000.08
/proc/5751/stat : 5751 (MiraXTv3_dyn) S 5749 5751 5679 0 -1 4194304 100397 0 0 0 499910 98 0 0 18 0 3 0 340005217 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5751/statm: 24461 22992 218 20 0 23819 0
[pid=5751/tid=5753] ppid=5749 vsize=97844 CPUtime=2499.19
/proc/5751/task/5753/stat : 5753 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 49358 0 0 0 249873 46 0 0 25 0 3 0 340005232 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5751/tid=5754] ppid=5749 vsize=97844 CPUtime=2500.73
/proc/5751/task/5754/stat : 5754 (MiraXTv3_dyn) R 5749 5751 5679 0 -1 4194368 50526 0 0 0 250022 51 0 0 25 0 3 0 340005232 100192256 22992 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 97844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.13
CPU time (s): 5000.11
CPU user time (s): 4999.11
CPU system time (s): 0.997848
CPU usage (%): 199.436
Max. virtual memory (cumulated for all children) (KiB): 98120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.11
system time used= 0.997848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100397
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= 1280
involuntary context switches= 94230

runsolver used 2.36064 second user time and 6.76597 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat May 12 17:06:03 UTC 2007

IDJOB= 426135
IDBENCH= 19952
IDSOLVER= 196
FILE ID= node11/426135-1178989563

PBS_JOBID= 5252828

Free space on /tmp= 66552 MiB

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

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  1f7852d30f74f4d1cf595ab0277b9978

RANDOM SEED= 450635754

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1512952 kB
Buffers:         52948 kB
Cached:         399644 kB
SwapCached:      18444 kB
Active:         168300 kB
Inactive:       308748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1512952 kB
SwapTotal:     4192956 kB
SwapFree:      4144152 kB
Dirty:            4204 kB
Writeback:           0 kB
Mapped:          29844 kB
Slab:            51408 kB
Committed_AS:  7738480 kB
PageTables:       1848 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 node11 on Sat May 12 17:47:52 UTC 2007