Trace number 456516

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

General information on the benchmark

Namecrafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
MD5SUM5d5a2534629561aec3a6f7f6c6034d03
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 variables577
Number of clauses1922
Sum of the clauses size5764
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 31920
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

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

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.83 1.99 2.11 3/77 11199
/proc/meminfo: memFree=1280000/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=3920 CPUtime=0
/proc/11199/stat : 11199 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 334595442 4014080 276 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9044941 0 0 4096 0 0 0 0 17 1 0 0
/proc/11199/statm: 980 276 206 20 0 338 0

[startup+0.093194 s]
/proc/loadavg: 1.83 1.99 2.11 3/77 11199
/proc/meminfo: memFree=1280000/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=6824 CPUtime=0.15
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 731 0 0 0 15 0 0 0 18 0 3 0 334595442 6987776 706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 1706 706 218 20 0 1064 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 6824

[startup+0.102192 s]
/proc/loadavg: 1.83 1.99 2.11 3/77 11199
/proc/meminfo: memFree=1280000/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=6824 CPUtime=0.17
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 762 0 0 0 17 0 0 0 18 0 3 0 334595442 6987776 737 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 1706 737 218 20 0 1064 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6824

[startup+0.302235 s]
/proc/loadavg: 1.83 1.99 2.11 3/77 11199
/proc/meminfo: memFree=1280000/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=9324 CPUtime=0.58
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 1388 0 0 0 57 1 0 0 18 0 3 0 334595442 9547776 1363 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 2331 1363 218 20 0 1689 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9324

[startup+0.702313 s]
/proc/loadavg: 1.83 1.99 2.11 3/77 11199
/proc/meminfo: memFree=1280000/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=13268 CPUtime=1.37
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 2435 0 0 0 136 1 0 0 18 0 3 0 334595442 13586432 2410 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 3317 2410 218 20 0 2675 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 13268

[startup+1.50147 s]
/proc/loadavg: 1.83 1.99 2.11 3/80 11202
/proc/meminfo: memFree=1268328/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=18448 CPUtime=2.97
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 3481 0 0 0 295 2 0 0 18 0 3 0 334595442 18890752 3456 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 4612 3456 218 20 0 3970 0
[pid=11199/tid=11201] ppid=11197 vsize=18448 CPUtime=1.47
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 1492 0 0 0 147 0 0 0 21 0 3 0 334595443 18890752 3456 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=18448 CPUtime=1.47
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 1617 0 0 0 146 1 0 0 17 0 3 0 334595443 18890752 3456 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 18448

[startup+3.10177 s]
/proc/loadavg: 1.83 1.99 2.11 3/80 11202
/proc/meminfo: memFree=1264552/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=24948 CPUtime=6.15
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 5012 0 0 0 612 3 0 0 18 0 3 0 334595442 25546752 4915 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 6237 4915 218 20 0 5595 0
[pid=11199/tid=11201] ppid=11197 vsize=24948 CPUtime=3.07
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 2179 0 0 0 307 0 0 0 25 0 3 0 334595443 25546752 4915 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=24948 CPUtime=3.06
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 2461 0 0 0 304 2 0 0 19 0 3 0 334595443 25546752 4915 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 24948

[startup+6.30139 s]
/proc/loadavg: 1.85 1.99 2.11 3/80 11202
/proc/meminfo: memFree=1249384/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=39740 CPUtime=12.54
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 9008 0 0 0 1248 6 0 0 18 0 3 0 334595442 40693760 8786 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 9935 8786 218 20 0 9293 0
[pid=11199/tid=11201] ppid=11197 vsize=39740 CPUtime=6.27
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 4064 0 0 0 625 2 0 0 25 0 3 0 334595443 40693760 8786 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=39740 CPUtime=6.24
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 4572 0 0 0 621 3 0 0 25 0 3 0 334595443 40693760 8786 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 39740

[startup+12.7016 s]
/proc/loadavg: 1.86 1.99 2.11 3/80 11202
/proc/meminfo: memFree=1237992/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=47408 CPUtime=25.29
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 11091 0 0 0 2521 8 0 0 18 0 3 0 334595442 48545792 10553 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 11852 10553 218 20 0 11210 0
[pid=11199/tid=11201] ppid=11197 vsize=47408 CPUtime=12.66
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 5091 0 0 0 1263 3 0 0 25 0 3 0 334595443 48545792 10553 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=47408 CPUtime=12.6
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 5628 0 0 0 1256 4 0 0 25 0 3 0 334595443 48545792 10553 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 47408

[startup+25.5021 s]
/proc/loadavg: 1.89 1.99 2.10 3/80 11202
/proc/meminfo: memFree=1223592/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=61892 CPUtime=50.82
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 15374 0 0 0 5069 13 0 0 18 0 3 0 334595442 63377408 14278 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 15473 14278 218 20 0 14831 0
[pid=11199/tid=11201] ppid=11197 vsize=61892 CPUtime=25.45
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 7145 0 0 0 2540 5 0 0 25 0 3 0 334595443 63377408 14278 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565712 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=61892 CPUtime=25.34
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 7857 0 0 0 2527 7 0 0 25 0 3 0 334595443 63377408 14278 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 61892

[startup+51.103 s]
/proc/loadavg: 1.93 1.99 2.10 3/80 11202
/proc/meminfo: memFree=1216296/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=70564 CPUtime=101.86
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 18287 0 0 0 10170 16 0 0 18 0 3 0 334595442 72257536 16188 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 17641 16188 218 20 0 16999 0
[pid=11199/tid=11201] ppid=11197 vsize=70564 CPUtime=51.02
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 8783 0 0 0 5096 6 0 0 25 0 3 0 334595443 72257536 16188 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=70564 CPUtime=50.81
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 9132 0 0 0 5072 9 0 0 25 0 3 0 334595443 72257536 16188 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 70564

[startup+102.307 s]
/proc/loadavg: 1.97 1.99 2.09 3/80 11202
/proc/meminfo: memFree=1197352/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=88200 CPUtime=203.94
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 24777 0 0 0 20372 22 0 0 18 0 3 0 334595442 90316800 20824 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 22050 20824 218 20 0 21408 0
[pid=11199/tid=11201] ppid=11197 vsize=88200 CPUtime=102.18
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 12015 0 0 0 10209 9 0 0 25 0 3 0 334595443 90316800 20824 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=88200 CPUtime=101.74
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 12390 0 0 0 10162 12 0 0 20 0 3 0 334595443 90316800 20824 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.94
Current children cumulated vsize (KiB) 88200

[startup+162.302 s]
/proc/loadavg: 1.99 1.99 2.08 3/80 11202
/proc/meminfo: memFree=1188648/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=96760 CPUtime=323.57
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 28806 0 0 0 32331 26 0 0 18 0 3 0 334595442 99082240 22832 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 24190 22832 218 20 0 23548 0
[pid=11199/tid=11201] ppid=11197 vsize=96760 CPUtime=162.12
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 13899 0 0 0 16202 10 0 0 25 0 3 0 334595443 99082240 22832 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=96760 CPUtime=161.43
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 14535 0 0 0 16128 15 0 0 22 0 3 0 334595443 99082240 22832 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.57
Current children cumulated vsize (KiB) 96760

[startup+222.302 s]
/proc/loadavg: 1.99 1.99 2.08 3/80 11202
/proc/meminfo: memFree=1188008/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=97784 CPUtime=443.21
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 30773 0 0 0 44293 28 0 0 18 0 3 0 334595442 100130816 23029 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 24446 23029 218 20 0 23804 0
[pid=11199/tid=11201] ppid=11197 vsize=97784 CPUtime=222.06
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 14793 0 0 0 22195 11 0 0 25 0 3 0 334595443 100130816 23029 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=97784 CPUtime=221.13
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 15608 0 0 0 22097 16 0 0 25 0 3 0 334595443 100130816 23029 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.21
Current children cumulated vsize (KiB) 97784

[startup+282.301 s]
/proc/loadavg: 1.99 1.99 2.07 4/80 11202
/proc/meminfo: memFree=1184424/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=100640 CPUtime=562.89
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 33329 0 0 0 56259 30 0 0 18 0 3 0 334595442 103055360 23952 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 25160 23952 218 20 0 24518 0
[pid=11199/tid=11201] ppid=11197 vsize=100640 CPUtime=282.02
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 16281 0 0 0 28189 13 0 0 25 0 3 0 334595443 103055360 23952 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=100640 CPUtime=280.85
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 16676 0 0 0 28069 16 0 0 25 0 3 0 334595443 103055360 23952 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.89
Current children cumulated vsize (KiB) 100640

[startup+342.302 s]
/proc/loadavg: 1.99 1.99 2.07 3/80 11202
/proc/meminfo: memFree=1181480/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=104460 CPUtime=682.55
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 35883 0 0 0 68222 33 0 0 18 0 3 0 334595442 106967040 24646 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 26115 24646 218 20 0 25473 0
[pid=11199/tid=11201] ppid=11197 vsize=104460 CPUtime=341.96
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 17330 0 0 0 34182 14 0 0 25 0 3 0 334595443 106967040 24646 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11199/tid=11202] ppid=11197 vsize=104460 CPUtime=340.56
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 18181 0 0 0 34039 17 0 0 25 0 3 0 334595443 106967040 24646 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (KiB) 104460

[startup+402.301 s]

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

/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 36382 0 0 0 183828 33 0 0 25 0 3 0 334595443 149516288 35106 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=146012 CPUtime=1835.27
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 37855 0 0 0 183467 60 0 0 21 0 3 0 334595443 149516288 35106 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3673.9
Current children cumulated vsize (KiB) 146012

[startup+1902.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1139048/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=146544 CPUtime=3793.57
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 76250 0 0 0 379262 95 0 0 18 0 3 0 334595442 150061056 35265 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 36636 35265 218 20 0 35994 0
[pid=11199/tid=11201] ppid=11197 vsize=146544 CPUtime=1898.33
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 37271 0 0 0 189799 34 0 0 25 0 3 0 334595443 150061056 35265 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=146544 CPUtime=1895.23
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 38607 0 0 0 189462 61 0 0 25 0 3 0 334595443 150061056 35265 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.57
Current children cumulated vsize (KiB) 146544

[startup+1962.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1138408/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=147984 CPUtime=3913.25
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 77813 0 0 0 391228 97 0 0 18 0 3 0 334595442 151535616 35365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 36996 35365 218 20 0 36354 0
[pid=11199/tid=11201] ppid=11197 vsize=147984 CPUtime=1958.04
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 38100 0 0 0 195770 34 0 0 25 0 3 0 334595443 151535616 35365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=147984 CPUtime=1955.19
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 39341 0 0 0 195457 62 0 0 25 0 3 0 334595443 151535616 35365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526722 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.25
Current children cumulated vsize (KiB) 147984

[startup+2022.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1135080/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=151448 CPUtime=4032.9
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 80033 0 0 0 403191 99 0 0 18 0 3 0 334595442 155082752 36259 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 37862 36259 218 20 0 37220 0
[pid=11199/tid=11201] ppid=11197 vsize=151448 CPUtime=2017.76
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 39710 0 0 0 201741 35 0 0 18 0 3 0 334595443 155082752 36259 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9040223 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=151448 CPUtime=2015.12
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 39951 0 0 0 201449 63 0 0 18 0 3 0 334595443 155082752 36259 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.9
Current children cumulated vsize (KiB) 151448

[startup+2082.31 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1130216/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=155544 CPUtime=4152.59
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 82348 0 0 0 415157 102 0 0 18 0 3 0 334595442 159277056 37403 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 38886 37403 218 20 0 38244 0
[pid=11199/tid=11201] ppid=11197 vsize=155544 CPUtime=2077.49
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 40425 0 0 0 207713 36 0 0 25 0 3 0 334595443 159277056 37403 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=155544 CPUtime=2075.08
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 41551 0 0 0 207443 65 0 0 25 0 3 0 334595443 159277056 37403 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.59
Current children cumulated vsize (KiB) 155544

[startup+2142.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1126888/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=158616 CPUtime=4272.26
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 84599 0 0 0 427120 106 0 0 18 0 3 0 334595442 162422784 38250 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 39654 38250 218 20 0 39012 0
[pid=11199/tid=11201] ppid=11197 vsize=158616 CPUtime=2137.2
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 42019 0 0 0 213682 38 0 0 25 0 3 0 334595443 162422784 38250 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=158616 CPUtime=2135.03
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 42208 0 0 0 213437 66 0 0 25 0 3 0 334595443 162422784 38250 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.26
Current children cumulated vsize (KiB) 158616

[startup+2202.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1126824/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=158616 CPUtime=4391.92
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 85796 0 0 0 439085 107 0 0 18 0 3 0 334595442 162422784 38273 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 39654 38273 218 20 0 39012 0
[pid=11199/tid=11201] ppid=11197 vsize=158616 CPUtime=2196.9
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 42410 0 0 0 219651 39 0 0 25 0 3 0 334595443 162422784 38273 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=158616 CPUtime=2194.99
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 43014 0 0 0 219432 67 0 0 25 0 3 0 334595443 162422784 38273 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.92
Current children cumulated vsize (KiB) 158616

[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1126760/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=158616 CPUtime=4511.59
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 86982 0 0 0 451051 108 0 0 18 0 3 0 334595442 162422784 38275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 39654 38275 218 20 0 39012 0
[pid=11199/tid=11201] ppid=11197 vsize=158616 CPUtime=2256.62
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 42884 0 0 0 225623 39 0 0 25 0 3 0 334595443 162422784 38275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=158616 CPUtime=2254.95
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 43726 0 0 0 225427 68 0 0 25 0 3 0 334595443 162422784 38275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.59
Current children cumulated vsize (KiB) 158616

[startup+2322.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1126440/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=159640 CPUtime=4631.25
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 88166 0 0 0 463016 109 0 0 18 0 3 0 334595442 163471360 38353 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 39910 38353 218 20 0 39268 0
[pid=11199/tid=11201] ppid=11197 vsize=159640 CPUtime=2316.32
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 43517 0 0 0 231593 39 0 0 25 0 3 0 334595443 163471360 38353 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=159640 CPUtime=2314.91
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 44277 0 0 0 231422 69 0 0 25 0 3 0 334595443 163471360 38353 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.25
Current children cumulated vsize (KiB) 159640

[startup+2382.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1126376/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=159640 CPUtime=4750.94
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 89510 0 0 0 474983 111 0 0 18 0 3 0 334595442 163471360 38354 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 39910 38354 218 20 0 39268 0
[pid=11199/tid=11201] ppid=11197 vsize=159640 CPUtime=2376.04
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 44307 0 0 0 237564 40 0 0 25 0 3 0 334595443 163471360 38354 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=159640 CPUtime=2374.87
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 44831 0 0 0 237417 70 0 0 25 0 3 0 334595443 163471360 38354 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.94
Current children cumulated vsize (KiB) 159640

[startup+2442.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1123304/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=161872 CPUtime=4870.61
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 91524 0 0 0 486948 113 0 0 18 0 3 0 334595442 165756928 39104 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 40468 39104 218 20 0 39826 0
[pid=11199/tid=11201] ppid=11197 vsize=161872 CPUtime=2435.76
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 44892 0 0 0 243535 41 0 0 25 0 3 0 334595443 165756928 39104 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=161872 CPUtime=2434.82
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 46260 0 0 0 243411 71 0 0 25 0 3 0 334595443 165756928 39104 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.61
Current children cumulated vsize (KiB) 161872

[startup+2502.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1122984/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=163044 CPUtime=4990.29
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 93240 0 0 0 498914 115 0 0 18 0 3 0 334595442 166957056 39219 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 40761 39219 218 20 0 40119 0
[pid=11199/tid=11201] ppid=11197 vsize=163044 CPUtime=2495.48
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 45637 0 0 0 249507 41 0 0 25 0 3 0 334595443 166957056 39219 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=163044 CPUtime=2494.78
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 47231 0 0 0 249406 72 0 0 25 0 3 0 334595443 166957056 39219 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.29
Current children cumulated vsize (KiB) 163044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.2 s]
/proc/loadavg: 1.99 1.99 2.00 3/80 11400
/proc/meminfo: memFree=1122920/2055920 swapFree=4154688/4192956
[pid=11199] ppid=11197 vsize=163044 CPUtime=5000.06
/proc/11199/stat : 11199 (MiraXTv3_dyn) S 11197 11199 7993 0 -1 4194304 93319 0 0 0 499891 115 0 0 18 0 3 0 334595442 166957056 39219 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11199/statm: 40761 39219 218 20 0 40119 0
[pid=11199/tid=11201] ppid=11197 vsize=163044 CPUtime=2500.35
/proc/11199/task/11201/stat : 11201 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 45637 0 0 0 249993 42 0 0 25 0 3 0 334595443 166957056 39219 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11199/tid=11202] ppid=11197 vsize=163044 CPUtime=2499.68
/proc/11199/task/11202/stat : 11202 (MiraXTv3_dyn) R 11197 11199 7993 0 -1 4194368 47310 0 0 0 249896 72 0 0 25 0 3 0 334595443 166957056 39219 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 163044

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.11
CPU user time (s): 4998.93
CPU system time (s): 1.17882
CPU usage (%): 199.427
Max. virtual memory (cumulated for all children) (KiB): 163920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.93
system time used= 1.17882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93319
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= 1117
involuntary context switches= 93792

runsolver used 2.40763 second user time and 6.76197 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Sun May 13 02:44:48 UTC 2007

IDJOB= 456516
IDBENCH= 24737
IDSOLVER= 196
FILE ID= node38/456516-1179024288

PBS_JOBID= 5253251

Free space on /tmp= 66546 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/others/pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456516-1179024288/MiraXTv3_dyn /tmp/evaluation/456516-1179024288/instance-456516-1179024288.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-456516-1179024288 -o ROOT/results/node38/solver-456516-1179024288 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456516-1179024288/MiraXTv3_dyn /tmp/evaluation/456516-1179024288/instance-456516-1179024288.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  5d5a2534629561aec3a6f7f6c6034d03

RANDOM SEED= 277168342

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1280280 kB
Buffers:         42416 kB
Cached:         586236 kB
SwapCached:       6944 kB
Active:         148584 kB
Inactive:       503408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1280280 kB
SwapTotal:     4192956 kB
SwapFree:      4154688 kB
Dirty:            4032 kB
Writeback:           0 kB
Mapped:          30392 kB
Slab:           108876 kB
Committed_AS:  4775048 kB
PageTables:       2092 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= 66546 MiB

End job on node38 on Sun May 13 03:26:37 UTC 2007