Trace number 456345

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.21 2547.14

General information on the benchmark

Namecrafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
MD5SUMcd57d37a316c4dccaae3ab131e3f8090
Bench CategoryCRAFTED (crafted 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 variables520
Number of clauses24646
Sum of the clauses size72792
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21456
Number of clauses of size 323160
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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/node37/watcher-456345-1179022490 -o ROOT/results/node37/solver-456345-1179022490 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456345-1179022490/MiraXTv3_dyn /tmp/evaluation/456345-1179022490/instance-456345-1179022490.cnf 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 1228
/proc/meminfo: memFree=1474216/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=3788 CPUtime=0
/proc/1228/stat : 1228 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 350161464 3878912 345 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 3605453 0 0 4096 0 0 0 0 17 0 0 0
/proc/1228/statm: 947 348 206 20 0 305 0

[startup+0.085426 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 1228
/proc/meminfo: memFree=1474216/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=5212 CPUtime=0.08
/proc/1228/stat : 1228 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194304 705 0 0 0 8 0 0 0 18 0 1 0 350161464 5337088 680 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 0 0 0
/proc/1228/statm: 1303 680 207 20 0 661 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5212

[startup+0.101428 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 1228
/proc/meminfo: memFree=1474216/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=5212 CPUtime=0.09
/proc/1228/stat : 1228 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194304 705 0 0 0 9 0 0 0 18 0 1 0 350161464 5337088 680 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 0 0 0
/proc/1228/statm: 1303 680 207 20 0 661 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5212

[startup+0.301466 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 1228
/proc/meminfo: memFree=1474216/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=6016 CPUtime=0.29
/proc/1228/stat : 1228 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194304 917 0 0 0 29 0 0 0 19 0 1 0 350161464 6160384 892 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 0 0 0
/proc/1228/statm: 1504 892 207 20 0 862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6016

[startup+0.70255 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 1228
/proc/meminfo: memFree=1474216/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=18848 CPUtime=1.01
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 2793 0 0 0 101 0 0 0 19 0 3 0 350161464 19300352 2714 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 4712 2715 218 20 0 4070 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 18848

[startup+1.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1460176/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=28808 CPUtime=2.61
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 5391 0 0 0 259 2 0 0 19 0 3 0 350161464 29499392 5312 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 7202 5312 218 20 0 6560 0
[pid=1228/tid=1230] ppid=1226 vsize=28808 CPUtime=1.13
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 2312 0 0 0 112 1 0 0 18 0 3 0 350161500 29499392 5312 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=28808 CPUtime=1.11
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 2025 0 0 0 111 0 0 0 17 0 3 0 350161500 29499392 5312 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526382 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 28808

[startup+3.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1452560/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=37364 CPUtime=5.8
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 7482 0 0 0 577 3 0 0 19 0 3 0 350161464 38260736 7367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 9341 7367 218 20 0 8699 0
[pid=1228/tid=1230] ppid=1226 vsize=37364 CPUtime=2.73
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 3231 0 0 0 271 2 0 0 21 0 3 0 350161500 38260736 7367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 3602043 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=37364 CPUtime=2.71
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 3197 0 0 0 270 1 0 0 23 0 3 0 350161500 38260736 7367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134542726 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 37364

[startup+6.3016 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1428048/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=60508 CPUtime=12.18
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 13624 0 0 0 1211 7 0 0 19 0 3 0 350161464 61960192 13305 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 15127 13305 218 20 0 14485 0
[pid=1228/tid=1230] ppid=1226 vsize=60508 CPUtime=5.93
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 6578 0 0 0 590 3 0 0 20 0 3 0 350161500 61960192 13305 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=60508 CPUtime=5.89
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 5992 0 0 0 585 4 0 0 18 0 3 0 350161500 61960192 13305 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 60508

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1410256/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=72308 CPUtime=24.95
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 16667 0 0 0 2486 9 0 0 19 0 3 0 350161464 74043392 16025 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 18077 16025 218 20 0 17435 0
[pid=1228/tid=1230] ppid=1226 vsize=72308 CPUtime=12.32
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 8173 0 0 0 1228 4 0 0 25 0 3 0 350161500 74043392 16025 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=72308 CPUtime=12.27
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 7440 0 0 0 1222 5 0 0 25 0 3 0 350161500 74043392 16025 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521641 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 72308

[startup+25.5022 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1387792/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=93432 CPUtime=50.47
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 22934 0 0 0 5032 15 0 0 19 0 3 0 350161464 95674368 21614 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 23358 21614 218 20 0 22716 0
[pid=1228/tid=1230] ppid=1226 vsize=93432 CPUtime=25.09
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 11630 0 0 0 2503 6 0 0 25 0 3 0 350161500 95674368 21614 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=93432 CPUtime=25
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 10250 0 0 0 2492 8 0 0 25 0 3 0 350161500 95674368 21614 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 93432

[startup+51.1021 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1384784/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=95876 CPUtime=101.51
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 24398 0 0 0 10135 16 0 0 19 0 3 0 350161464 98177024 22368 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 23969 22368 218 20 0 23327 0
[pid=1228/tid=1230] ppid=1226 vsize=95876 CPUtime=50.66
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 11992 0 0 0 5059 7 0 0 25 0 3 0 350161500 98177024 22368 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=95876 CPUtime=50.48
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 11352 0 0 0 5040 8 0 0 25 0 3 0 350161500 98177024 22368 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 95876

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1367824/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=113740 CPUtime=203.59
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 29910 0 0 0 20337 22 0 0 19 0 3 0 350161464 116469760 26645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 28435 26645 218 20 0 27793 0
[pid=1228/tid=1230] ppid=1226 vsize=113740 CPUtime=101.78
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 13545 0 0 0 10170 8 0 0 25 0 3 0 350161500 116469760 26645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=113740 CPUtime=101.44
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 15311 0 0 0 10131 13 0 0 25 0 3 0 350161500 116469760 26645 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.59
Current children cumulated vsize (KiB) 113740

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1364240/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=117112 CPUtime=323.19
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 32882 0 0 0 32295 24 0 0 19 0 3 0 350161464 119922688 27472 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 29278 27472 218 20 0 28636 0
[pid=1228/tid=1230] ppid=1226 vsize=117112 CPUtime=161.67
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 15116 0 0 0 16158 9 0 0 25 0 3 0 350161500 119922688 27472 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=117112 CPUtime=161.15
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 16712 0 0 0 16101 14 0 0 25 0 3 0 350161500 119922688 27472 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.19
Current children cumulated vsize (KiB) 117112

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1361936/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=119376 CPUtime=442.86
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 34712 0 0 0 44260 26 0 0 19 0 3 0 350161464 122241024 28067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 29844 28067 218 20 0 29202 0
[pid=1228/tid=1230] ppid=1226 vsize=119376 CPUtime=221.61
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 16158 0 0 0 22150 11 0 0 25 0 3 0 350161500 122241024 28067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=119376 CPUtime=220.89
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 17500 0 0 0 22074 15 0 0 25 0 3 0 350161500 122241024 28067 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.86
Current children cumulated vsize (KiB) 119376

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1360400/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=120204 CPUtime=562.53
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 36726 0 0 0 56225 28 0 0 19 0 3 0 350161464 123088896 28391 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 30051 28391 218 20 0 29409 0
[pid=1228/tid=1230] ppid=1226 vsize=120204 CPUtime=281.54
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 17248 0 0 0 28142 12 0 0 25 0 3 0 350161500 123088896 28391 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=120204 CPUtime=280.63
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 18424 0 0 0 28047 16 0 0 25 0 3 0 350161500 123088896 28391 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.53
Current children cumulated vsize (KiB) 120204

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 1231
/proc/meminfo: memFree=1359696/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=121436 CPUtime=682.15
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 39302 0 0 0 68185 30 0 0 19 0 3 0 350161464 124350464 28562 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 30359 28562 218 20 0 29717 0
[pid=1228/tid=1230] ppid=1226 vsize=121436 CPUtime=341.44
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 18532 0 0 0 34132 12 0 0 18 0 3 0 350161500 124350464 28562 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=121436 CPUtime=340.34
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 19716 0 0 0 34018 16 0 0 18 0 3 0 350161500 124350464 28562 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.15
Current children cumulated vsize (KiB) 121436

[startup+402.301 s]

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

/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 43279 0 0 0 185810 53 0 0 25 0 3 0 350161500 165036032 38285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=161168 CPUtime=1855.05
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 40583 0 0 0 185452 53 0 0 25 0 3 0 350161500 165036032 38285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3714.05
Current children cumulated vsize (KiB) 161168

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/80 3543
/proc/meminfo: memFree=1275792/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=168500 CPUtime=3833.74
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 87314 0 0 0 383265 109 0 0 19 0 3 0 350161464 172544000 39902 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 42125 39902 218 20 0 41483 0
[pid=1228/tid=1230] ppid=1226 vsize=168500 CPUtime=1918.56
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 43789 0 0 0 191803 53 0 0 25 0 3 0 350161500 172544000 39902 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=168500 CPUtime=1914.81
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 42471 0 0 0 191426 55 0 0 25 0 3 0 350161500 172544000 39902 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526515 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3833.74
Current children cumulated vsize (KiB) 168500

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/80 3543
/proc/meminfo: memFree=1268560/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=175952 CPUtime=3953.44
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 89841 0 0 0 395233 111 0 0 19 0 3 0 350161464 180174848 41707 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 43988 41707 218 20 0 43346 0
[pid=1228/tid=1230] ppid=1226 vsize=175952 CPUtime=1978.52
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45821 0 0 0 197797 55 0 0 25 0 3 0 350161500 180174848 41707 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=175952 CPUtime=1974.55
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 42966 0 0 0 197400 55 0 0 25 0 3 0 350161500 180174848 41707 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3953.44
Current children cumulated vsize (KiB) 175952

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/80 3543
/proc/meminfo: memFree=1269520/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=175192 CPUtime=4073.11
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 90862 0 0 0 407199 112 0 0 19 0 3 0 350161464 179396608 41405 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 43798 41405 218 20 0 43156 0
[pid=1228/tid=1230] ppid=1226 vsize=175192 CPUtime=2038.45
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46351 0 0 0 203790 55 0 0 25 0 3 0 350161500 179396608 41405 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=175192 CPUtime=2034.29
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 43457 0 0 0 203373 56 0 0 25 0 3 0 350161500 179396608 41405 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4073.11
Current children cumulated vsize (KiB) 175192

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/80 3543
/proc/meminfo: memFree=1269456/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=175192 CPUtime=4192.76
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 91660 0 0 0 419163 113 0 0 19 0 3 0 350161464 179396608 41423 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 43798 41423 218 20 0 43156 0
[pid=1228/tid=1230] ppid=1226 vsize=175192 CPUtime=2098.37
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46351 0 0 0 209782 55 0 0 21 0 3 0 350161500 179396608 41423 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526105 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=175192 CPUtime=2094.02
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 44255 0 0 0 209345 57 0 0 20 0 3 0 350161500 179396608 41423 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4192.76
Current children cumulated vsize (KiB) 175192

[startup+2202.3 s]
/proc/loadavg: 2.05 2.01 2.07 3/80 3543
/proc/meminfo: memFree=1269456/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=175192 CPUtime=4312.44
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 92245 0 0 0 431130 114 0 0 19 0 3 0 350161464 179396608 41423 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 43798 41423 218 20 0 43156 0
[pid=1228/tid=1230] ppid=1226 vsize=175192 CPUtime=2158.31
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46351 0 0 0 215775 56 0 0 25 0 3 0 350161500 179396608 41423 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=175192 CPUtime=2153.75
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 44840 0 0 0 215318 57 0 0 25 0 3 0 350161500 179396608 41423 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4312.44
Current children cumulated vsize (KiB) 175192

[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 2.07 3/80 3543
/proc/meminfo: memFree=1269456/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=175192 CPUtime=4432.09
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 93027 0 0 0 443094 115 0 0 19 0 3 0 350161464 179396608 41425 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 43798 41425 218 20 0 43156 0
[pid=1228/tid=1230] ppid=1226 vsize=175192 CPUtime=2218.23
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46352 0 0 0 221767 56 0 0 25 0 3 0 350161500 179396608 41425 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=175192 CPUtime=2213.49
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45621 0 0 0 221291 58 0 0 25 0 3 0 350161500 179396608 41425 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4432.09
Current children cumulated vsize (KiB) 175192

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/80 3543
/proc/meminfo: memFree=1269392/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=175192 CPUtime=4551.77
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 93225 0 0 0 455062 115 0 0 19 0 3 0 350161464 179396608 41428 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 43798 41428 218 20 0 43156 0
[pid=1228/tid=1230] ppid=1226 vsize=175192 CPUtime=2278.16
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46354 0 0 0 227760 56 0 0 25 0 3 0 350161500 179396608 41428 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=175192 CPUtime=2273.23
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45817 0 0 0 227265 58 0 0 25 0 3 0 350161500 179396608 41428 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4551.77
Current children cumulated vsize (KiB) 175192

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/80 3543
/proc/meminfo: memFree=1267024/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=177240 CPUtime=4671.45
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 93836 0 0 0 467028 117 0 0 19 0 3 0 350161464 181493760 42039 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 44310 42039 218 20 0 43668 0
[pid=1228/tid=1230] ppid=1226 vsize=177240 CPUtime=2338.1
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46965 0 0 0 233753 57 0 0 25 0 3 0 350161500 181493760 42039 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=177240 CPUtime=2332.98
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45817 0 0 0 233239 59 0 0 25 0 3 0 350161500 181493760 42039 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4671.45
Current children cumulated vsize (KiB) 177240

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/80 3543
/proc/meminfo: memFree=1266960/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=177240 CPUtime=4791.12
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 93843 0 0 0 478995 117 0 0 19 0 3 0 350161464 181493760 42046 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 44310 42046 218 20 0 43668 0
[pid=1228/tid=1230] ppid=1226 vsize=177240 CPUtime=2398.05
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 46970 0 0 0 239747 58 0 0 17 0 3 0 350161500 181493760 42046 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=177240 CPUtime=2392.71
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45819 0 0 0 239212 59 0 0 17 0 3 0 350161500 181493760 42046 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4791.12
Current children cumulated vsize (KiB) 177240

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/80 3543
/proc/meminfo: memFree=1266640/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=177240 CPUtime=4910.79
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 93976 0 0 0 490961 118 0 0 19 0 3 0 350161464 181493760 42047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 44310 42047 218 20 0 43668 0
[pid=1228/tid=1230] ppid=1226 vsize=177240 CPUtime=2457.97
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 47037 0 0 0 245739 58 0 0 25 0 3 0 350161500 181493760 42047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=177240 CPUtime=2452.45
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45885 0 0 0 245186 59 0 0 25 0 3 0 350161500 181493760 42047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4910.79
Current children cumulated vsize (KiB) 177240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2547.1 s]
/proc/loadavg: 2.00 2.00 2.04 3/80 3543
/proc/meminfo: memFree=1265168/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=179288 CPUtime=5000.16
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 94520 0 0 0 499897 119 0 0 19 0 3 0 350161464 183590912 42461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 44822 42461 218 20 0 44180 0
[pid=1228/tid=1230] ppid=1226 vsize=179288 CPUtime=2502.72
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 47579 0 0 0 250214 58 0 0 25 0 3 0 350161500 183590912 42461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=179288 CPUtime=2497.06
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45887 0 0 0 249647 59 0 0 25 0 3 0 350161500 183590912 42461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 179288

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

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

[startup+2547.1 s]
/proc/loadavg: 2.00 2.00 2.04 3/80 3543
/proc/meminfo: memFree=1265168/2055920 swapFree=4145732/4192956
[pid=1228] ppid=1226 vsize=179288 CPUtime=5000.16
/proc/1228/stat : 1228 (MiraXTv3_dyn) S 1226 1228 32761 0 -1 4194304 94520 0 0 0 499897 119 0 0 19 0 3 0 350161464 183590912 42461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/1228/statm: 44822 42461 218 20 0 44180 0
[pid=1228/tid=1230] ppid=1226 vsize=179288 CPUtime=2502.72
/proc/1228/task/1230/stat : 1230 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 47579 0 0 0 250214 58 0 0 25 0 3 0 350161500 183590912 42461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1228/tid=1231] ppid=1226 vsize=179288 CPUtime=2497.06
/proc/1228/task/1231/stat : 1231 (MiraXTv3_dyn) R 1226 1228 32761 0 -1 4194368 45887 0 0 0 249647 59 0 0 25 0 3 0 350161500 183590912 42461 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 179288

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2547.14
CPU time (s): 5000.21
CPU user time (s): 4998.99
CPU system time (s): 1.22381
CPU usage (%): 196.307
Max. virtual memory (cumulated for all children) (KiB): 179288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.99
system time used= 1.22381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94520
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= 979
involuntary context switches= 112836

runsolver used 2.67259 second user time and 6.96194 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Sun May 13 02:14:50 UTC 2007

IDJOB= 456345
IDBENCH= 24680
IDSOLVER= 196
FILE ID= node37/456345-1179022490

PBS_JOBID= 5253237

Free space on /tmp= 66528 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/counting-clq/unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456345-1179022490/MiraXTv3_dyn /tmp/evaluation/456345-1179022490/instance-456345-1179022490.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-456345-1179022490 -o ROOT/results/node37/solver-456345-1179022490 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456345-1179022490/MiraXTv3_dyn /tmp/evaluation/456345-1179022490/instance-456345-1179022490.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  cd57d37a316c4dccaae3ab131e3f8090

RANDOM SEED= 812971789

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1474432 kB
Buffers:         28528 kB
Cached:         410584 kB
SwapCached:      15400 kB
Active:          71184 kB
Inactive:       391432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1474432 kB
SwapTotal:     4192956 kB
SwapFree:      4145732 kB
Dirty:            4268 kB
Writeback:           0 kB
Mapped:          30392 kB
Slab:           104256 kB
Committed_AS:  6715488 kB
PageTables:       1980 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= 66528 MiB

End job on node37 on Sun May 13 02:57:19 UTC 2007