Trace number 426283

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.17 2507.24

General information on the benchmark

Namerandom/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
MD5SUM9a1eeb76857ccbe401a4de96673889a8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1995.46
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
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 517000

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/node72/watcher-426283-1179048518 -o ROOT/results/node72/solver-426283-1179048518 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426283-1179048518/MiraXTv3_dyn /tmp/evaluation/426283-1179048518/instance-426283-1179048518.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: 0.00 0.00 0.00 3/77 25692
/proc/meminfo: memFree=1182640/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=3788 CPUtime=0
/proc/25692/stat : 25692 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194304 338 0 0 0 0 0 0 0 18 0 1 0 380890259 3878912 313 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25692/statm: 947 321 202 20 0 305 0

[startup+0.024658 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 25692
/proc/meminfo: memFree=1182640/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=4740 CPUtime=0.02
/proc/25692/stat : 25692 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194304 649 0 0 0 2 0 0 0 18 0 1 0 380890259 4853760 624 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 1 0 0
/proc/25692/statm: 1185 625 206 20 0 543 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4740

[startup+0.101665 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 25692
/proc/meminfo: memFree=1182640/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=5312 CPUtime=0.09
/proc/25692/stat : 25692 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194304 784 0 0 0 9 0 0 0 18 0 1 0 380890259 5439488 759 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/25692/statm: 1328 759 207 20 0 686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5312

[startup+0.301683 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 25692
/proc/meminfo: memFree=1182640/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=5488 CPUtime=0.29
/proc/25692/stat : 25692 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194304 818 0 0 0 29 0 0 0 19 0 1 0 380890259 5619712 793 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/25692/statm: 1372 793 207 20 0 730 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5488

[startup+0.701727 s]
/proc/loadavg: 0.00 0.00 0.00 3/77 25692
/proc/meminfo: memFree=1182640/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=13672 CPUtime=0.92
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 1942 0 0 0 92 0 0 0 21 0 3 0 380890259 14000128 1814 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 3418 1814 218 20 0 2776 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 13672

[startup+1.5018 s]
/proc/loadavg: 0.16 0.03 0.01 3/80 25695
/proc/meminfo: memFree=1173144/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=20656 CPUtime=2.52
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 3744 0 0 0 251 1 0 0 21 0 3 0 380890259 21151744 3616 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 5164 3616 218 20 0 4522 0
[pid=25692/tid=25694] ppid=25690 vsize=20656 CPUtime=1.03
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 1297 0 0 0 103 0 0 0 21 0 3 0 380890305 21151744 3616 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 2971259 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=20656 CPUtime=1.01
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 1463 0 0 0 101 0 0 0 18 0 3 0 380890305 21151744 3616 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526377 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 20656

[startup+3.10295 s]
/proc/loadavg: 0.16 0.03 0.01 3/80 25695
/proc/meminfo: memFree=1164312/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=28252 CPUtime=5.71
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 5408 0 0 0 569 2 0 0 21 0 3 0 380890259 28930048 5279 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 7063 5279 218 20 0 6421 0
[pid=25692/tid=25694] ppid=25690 vsize=28252 CPUtime=2.63
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 2195 0 0 0 263 0 0 0 17 0 3 0 380890305 28930048 5279 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=28252 CPUtime=2.61
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 2229 0 0 0 260 1 0 0 24 0 3 0 380890305 28930048 5279 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134542746 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 28252

[startup+6.30124 s]
/proc/loadavg: 0.16 0.03 0.01 3/80 25695
/proc/meminfo: memFree=1155224/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=38628 CPUtime=12.08
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 8099 0 0 0 1203 5 0 0 21 0 3 0 380890259 39555072 7897 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 9657 7897 218 20 0 9015 0
[pid=25692/tid=25694] ppid=25690 vsize=38628 CPUtime=5.83
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 3468 0 0 0 581 2 0 0 25 0 3 0 380890305 39555072 7897 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=38628 CPUtime=5.79
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 3647 0 0 0 576 3 0 0 24 0 3 0 380890305 39555072 7897 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 38628

[startup+12.7028 s]
/proc/loadavg: 0.44 0.10 0.03 3/80 25695
/proc/meminfo: memFree=1128664/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=62544 CPUtime=24.86
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 14318 0 0 0 2473 13 0 0 21 0 3 0 380890259 64045056 13850 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 15636 13850 218 20 0 14994 0
[pid=25692/tid=25694] ppid=25690 vsize=62544 CPUtime=12.22
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 6613 0 0 0 1217 5 0 0 19 0 3 0 380890305 64045056 13850 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=62544 CPUtime=12.16
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 6721 0 0 0 1209 7 0 0 19 0 3 0 380890305 64045056 13850 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 62544

[startup+25.502 s]
/proc/loadavg: 0.68 0.16 0.05 3/80 25695
/proc/meminfo: memFree=1122008/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=67860 CPUtime=50.37
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 16275 0 0 0 5023 14 0 0 21 0 3 0 380890259 69488640 15467 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 16965 15467 218 20 0 16323 0
[pid=25692/tid=25694] ppid=25690 vsize=67860 CPUtime=25.01
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 7443 0 0 0 2496 5 0 0 25 0 3 0 380890305 69488640 15467 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=67860 CPUtime=24.89
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 7848 0 0 0 2481 8 0 0 25 0 3 0 380890305 69488640 15467 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 67860

[startup+51.1013 s]
/proc/loadavg: 1.13 0.31 0.10 3/80 25695
/proc/meminfo: memFree=1105304/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=83592 CPUtime=101.43
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 21086 0 0 0 10123 20 0 0 21 0 3 0 380890259 85598208 19397 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 20898 19397 218 20 0 20256 0
[pid=25692/tid=25694] ppid=25690 vsize=83592 CPUtime=50.58
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 9839 0 0 0 5050 8 0 0 25 0 3 0 380890305 85598208 19397 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=83592 CPUtime=50.38
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 10263 0 0 0 5027 11 0 0 25 0 3 0 380890305 85598208 19397 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 83592

[startup+102.306 s]
/proc/loadavg: 1.65 0.59 0.21 3/80 25695
/proc/meminfo: memFree=1098264/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=89996 CPUtime=203.55
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 24288 0 0 0 20331 24 0 0 21 0 3 0 380890259 92155904 21169 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 22499 21169 218 20 0 21857 0
[pid=25692/tid=25694] ppid=25690 vsize=89996 CPUtime=101.75
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 11714 0 0 0 10164 11 0 0 25 0 3 0 380890305 92155904 21169 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=89996 CPUtime=101.34
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 11590 0 0 0 10121 13 0 0 25 0 3 0 380890305 92155904 21169 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134529275 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (KiB) 89996

[startup+162.301 s]
/proc/loadavg: 1.87 0.84 0.32 3/80 25695
/proc/meminfo: memFree=1088792/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=99240 CPUtime=323.22
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 28229 0 0 0 32294 28 0 0 21 0 3 0 380890259 101621760 23420 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 24810 23420 218 20 0 24168 0
[pid=25692/tid=25694] ppid=25690 vsize=99240 CPUtime=161.7
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 13147 0 0 0 16158 12 0 0 25 0 3 0 380890305 101621760 23420 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=99240 CPUtime=161.06
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 14098 0 0 0 16090 16 0 0 25 0 3 0 380890305 101621760 23420 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.22
Current children cumulated vsize (KiB) 99240

[startup+222.302 s]
/proc/loadavg: 1.95 1.05 0.42 3/80 25695
/proc/meminfo: memFree=1088024/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=99972 CPUtime=442.87
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 30196 0 0 0 44257 30 0 0 21 0 3 0 380890259 102371328 23632 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 24993 23632 218 20 0 24351 0
[pid=25692/tid=25694] ppid=25690 vsize=99972 CPUtime=221.64
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 14177 0 0 0 22151 13 0 0 25 0 3 0 380890305 102371328 23632 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=99972 CPUtime=220.76
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 15035 0 0 0 22060 16 0 0 25 0 3 0 380890305 102371328 23632 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.87
Current children cumulated vsize (KiB) 99972

[startup+282.301 s]
/proc/loadavg: 1.98 1.22 0.52 3/80 25695
/proc/meminfo: memFree=1087384/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=100784 CPUtime=562.56
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 31676 0 0 0 56224 32 0 0 21 0 3 0 380890259 103202816 23812 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 25196 23812 218 20 0 24554 0
[pid=25692/tid=25694] ppid=25690 vsize=100784 CPUtime=281.61
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 15007 0 0 0 28146 15 0 0 25 0 3 0 380890305 103202816 23812 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=100784 CPUtime=280.49
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 15685 0 0 0 28032 17 0 0 25 0 3 0 380890305 103202816 23812 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.56
Current children cumulated vsize (KiB) 100784

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.61 3/80 25695
/proc/meminfo: memFree=1086936/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=101300 CPUtime=682.23
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 33296 0 0 0 68189 34 0 0 21 0 3 0 380890259 103731200 23937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 25325 23937 218 20 0 24683 0
[pid=25692/tid=25694] ppid=25690 vsize=101300 CPUtime=341.55
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 15847 0 0 0 34139 16 0 0 18 0 3 0 380890305 103731200 23937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=101300 CPUtime=340.2
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 16465 0 0 0 34003 17 0 0 18 0 3 0 380890305 103731200 23937 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.23
Current children cumulated vsize (KiB) 101300

[startup+402.301 s]

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

/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 38705 0 0 0 183639 37 0 0 25 0 3 0 380890305 142020608 33082 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=138692 CPUtime=1836.96
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 36041 0 0 0 183653 43 0 0 25 0 3 0 380890305 142020608 33082 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.2
Current children cumulated vsize (KiB) 138692

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/80 25697
/proc/meminfo: memFree=1049624/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=140012 CPUtime=3793.88
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 77167 0 0 0 379306 82 0 0 21 0 3 0 380890259 143372288 33231 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 35003 33231 218 20 0 34361 0
[pid=25692/tid=25694] ppid=25690 vsize=140012 CPUtime=1896.48
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 39324 0 0 0 189611 37 0 0 25 0 3 0 380890305 143372288 33231 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=140012 CPUtime=1896.93
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 36859 0 0 0 189649 44 0 0 25 0 3 0 380890305 143372288 33231 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.88
Current children cumulated vsize (KiB) 140012

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/86 25813
/proc/meminfo: memFree=1047704/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=140464 CPUtime=3913.38
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 78751 0 0 0 391249 89 0 0 21 0 3 0 380890259 143835136 33427 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 35116 33427 218 20 0 34474 0
[pid=25692/tid=25694] ppid=25690 vsize=140464 CPUtime=1956.12
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 40125 0 0 0 195568 44 0 0 25 0 3 0 380890305 143835136 33427 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=140464 CPUtime=1956.79
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 37642 0 0 0 195634 45 0 0 25 0 3 0 380890305 143835136 33427 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.38
Current children cumulated vsize (KiB) 140464

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/80 25899
/proc/meminfo: memFree=1048024/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=141772 CPUtime=4032.91
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 80164 0 0 0 403194 97 0 0 21 0 3 0 380890259 145174528 33592 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 35443 33592 218 20 0 34801 0
[pid=25692/tid=25694] ppid=25690 vsize=141772 CPUtime=2015.77
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 40854 0 0 0 201527 50 0 0 25 0 3 0 380890305 145174528 33592 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=141772 CPUtime=2016.66
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 38326 0 0 0 201620 46 0 0 25 0 3 0 380890305 145174528 33592 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.91
Current children cumulated vsize (KiB) 141772

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.75 3/80 25899
/proc/meminfo: memFree=1047512/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=142200 CPUtime=4152.58
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 81756 0 0 0 415160 98 0 0 21 0 3 0 380890259 145612800 33754 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 35550 33754 218 20 0 34908 0
[pid=25692/tid=25694] ppid=25690 vsize=142200 CPUtime=2075.49
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 41608 0 0 0 207499 50 0 0 25 0 3 0 380890305 145612800 33754 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=142200 CPUtime=2076.62
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 39164 0 0 0 207615 47 0 0 25 0 3 0 380890305 145612800 33754 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.58
Current children cumulated vsize (KiB) 142200

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/80 25899
/proc/meminfo: memFree=1046872/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=142400 CPUtime=4272.26
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 83259 0 0 0 427126 100 0 0 21 0 3 0 380890259 145817600 33879 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 35600 33879 218 20 0 34958 0
[pid=25692/tid=25694] ppid=25690 vsize=142400 CPUtime=2135.21
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 42393 0 0 0 213470 51 0 0 25 0 3 0 380890305 145817600 33879 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=142400 CPUtime=2136.58
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 39882 0 0 0 213610 48 0 0 25 0 3 0 380890305 145817600 33879 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.26
Current children cumulated vsize (KiB) 142400

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/80 25899
/proc/meminfo: memFree=1046488/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=143632 CPUtime=4391.94
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 84562 0 0 0 439093 101 0 0 21 0 3 0 380890259 147079168 34002 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 35908 34002 218 20 0 35266 0
[pid=25692/tid=25694] ppid=25690 vsize=143632 CPUtime=2194.93
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 43087 0 0 0 219442 51 0 0 25 0 3 0 380890305 147079168 34002 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=143632 CPUtime=2196.54
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 40491 0 0 0 219605 49 0 0 25 0 3 0 380890305 147079168 34002 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.94
Current children cumulated vsize (KiB) 143632

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/80 25899
/proc/meminfo: memFree=1045784/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=144204 CPUtime=4511.62
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 85979 0 0 0 451060 102 0 0 21 0 3 0 380890259 147664896 34172 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 36051 34172 218 20 0 35409 0
[pid=25692/tid=25694] ppid=25690 vsize=144204 CPUtime=2254.65
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 43959 0 0 0 225413 52 0 0 25 0 3 0 380890305 147664896 34172 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=144204 CPUtime=2256.51
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 41036 0 0 0 225601 50 0 0 25 0 3 0 380890305 147664896 34172 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.62
Current children cumulated vsize (KiB) 144204

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/80 25899
/proc/meminfo: memFree=1045528/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=144404 CPUtime=4631.3
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 87370 0 0 0 463026 104 0 0 21 0 3 0 380890259 147869696 34248 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 36101 34248 218 20 0 35459 0
[pid=25692/tid=25694] ppid=25690 vsize=144404 CPUtime=2314.37
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 44655 0 0 0 231384 53 0 0 25 0 3 0 380890305 147869696 34248 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=144404 CPUtime=2316.47
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 41731 0 0 0 231596 51 0 0 25 0 3 0 380890305 147869696 34248 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.3
Current children cumulated vsize (KiB) 144404

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/80 25899
/proc/meminfo: memFree=1045016/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=144828 CPUtime=4751
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 88742 0 0 0 474994 106 0 0 21 0 3 0 380890259 148303872 34369 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 36207 34369 218 20 0 35565 0
[pid=25692/tid=25694] ppid=25690 vsize=144828 CPUtime=2374.09
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 45481 0 0 0 237356 53 0 0 25 0 3 0 380890305 148303872 34369 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=144828 CPUtime=2376.43
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 42277 0 0 0 237591 52 0 0 25 0 3 0 380890305 148303872 34369 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751
Current children cumulated vsize (KiB) 144828

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/80 25899
/proc/meminfo: memFree=1044632/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=144996 CPUtime=4870.67
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 90045 0 0 0 486960 107 0 0 21 0 3 0 380890259 148475904 34426 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 36249 34426 218 20 0 35607 0
[pid=25692/tid=25694] ppid=25690 vsize=144996 CPUtime=2433.8
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 46176 0 0 0 243327 53 0 0 25 0 3 0 380890305 148475904 34426 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=25692/tid=25695] ppid=25690 vsize=144996 CPUtime=2436.4
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 42885 0 0 0 243587 53 0 0 25 0 3 0 380890305 148475904 34426 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.67
Current children cumulated vsize (KiB) 144996

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/80 25899
/proc/meminfo: memFree=1044632/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=145160 CPUtime=4990.35
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 91273 0 0 0 498927 108 0 0 21 0 3 0 380890259 148643840 34471 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 36290 34471 218 20 0 35648 0
[pid=25692/tid=25694] ppid=25690 vsize=145160 CPUtime=2493.65
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 46725 0 0 0 249311 54 0 0 25 0 3 0 380890305 148643840 34471 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=145160 CPUtime=2496.22
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 43564 0 0 0 249569 53 0 0 25 0 3 0 380890305 148643840 34471 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.35
Current children cumulated vsize (KiB) 145160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.2 s]
/proc/loadavg: 2.00 1.99 1.83 3/80 25899
/proc/meminfo: memFree=1044632/2055920 swapFree=4157264/4192956
[pid=25692] ppid=25690 vsize=145160 CPUtime=5000.13
/proc/25692/stat : 25692 (MiraXTv3_dyn) S 25690 25692 25620 0 -1 4194304 91338 0 0 0 499905 108 0 0 21 0 3 0 380890259 148643840 34471 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25692/statm: 36290 34471 218 20 0 35648 0
[pid=25692/tid=25694] ppid=25690 vsize=145160 CPUtime=2498.56
/proc/25692/task/25694/stat : 25694 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 46725 0 0 0 249802 54 0 0 25 0 3 0 380890305 148643840 34471 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=25692/tid=25695] ppid=25690 vsize=145160 CPUtime=2501.1
/proc/25692/task/25695/stat : 25695 (MiraXTv3_dyn) R 25690 25692 25620 0 -1 4194368 43629 0 0 0 250057 53 0 0 25 0 3 0 380890305 148643840 34471 18446744073709551615 134512640 134597700 4294956592 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 145160

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.24
CPU time (s): 5000.17
CPU user time (s): 4999.06
CPU system time (s): 1.10883
CPU usage (%): 199.43
Max. virtual memory (cumulated for all children) (KiB): 145424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.07
system time used= 1.10883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91338
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= 1186
involuntary context switches= 94438

runsolver used 2.38564 second user time and 6.78397 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun May 13 09:28:38 UTC 2007

IDJOB= 426283
IDBENCH= 20108
IDSOLVER= 196
FILE ID= node72/426283-1179048518

PBS_JOBID= 5253456

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v200/unif-k7-r85-v200-c17000-S1798323172-15.cnf
COMMAND LINE= /tmp/evaluation/426283-1179048518/MiraXTv3_dyn /tmp/evaluation/426283-1179048518/instance-426283-1179048518.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-426283-1179048518 -o ROOT/results/node72/solver-426283-1179048518 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426283-1179048518/MiraXTv3_dyn /tmp/evaluation/426283-1179048518/instance-426283-1179048518.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  9a1eeb76857ccbe401a4de96673889a8

RANDOM SEED= 410324652

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1182920 kB
Buffers:         53832 kB
Cached:         676092 kB
SwapCached:      17124 kB
Active:         403524 kB
Inactive:       349492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1182920 kB
SwapTotal:     4192956 kB
SwapFree:      4157264 kB
Dirty:            4672 kB
Writeback:           0 kB
Mapped:          30056 kB
Slab:           105564 kB
Committed_AS:  7426096 kB
PageTables:       1788 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= 66542 MiB

End job on node72 on Sun May 13 10:10:27 UTC 2007