runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-331320-1178895974 -o ROOT/results/node6/solver-331320-1178895974 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331320-1178895974/MiraXTv1_dyn /tmp/evaluation/331320-1178895974/instance-331320-1178895974.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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.82 1.93 1.90 3/77 32262
/proc/meminfo: memFree=1316920/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=3788 CPUtime=0
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 446 0 0 0 0 0 0 0 18 0 1 0 365636822 3878912 421 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 947 429 202 20 0 305 0
[startup+0.093499 s]
/proc/loadavg: 1.82 1.93 1.90 3/77 32262
/proc/meminfo: memFree=1316920/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=10808 CPUtime=0.08
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 2173 0 0 0 7 1 0 0 18 0 1 0 365636822 11067392 2148 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 2702 2149 206 20 0 2060 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10808
[startup+0.101536 s]
/proc/loadavg: 1.82 1.93 1.90 3/77 32262
/proc/meminfo: memFree=1316920/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=11472 CPUtime=0.09
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 2316 0 0 0 8 1 0 0 18 0 1 0 365636822 11747328 2291 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2631089 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 2868 2292 206 20 0 2226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11472
[startup+0.301559 s]
/proc/loadavg: 1.82 1.93 1.90 3/77 32262
/proc/meminfo: memFree=1316920/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=25672 CPUtime=0.29
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 5739 0 0 0 26 3 0 0 19 0 1 0 365636822 26288128 5714 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134574256 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 6418 5716 206 20 0 5776 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25672
[startup+0.701606 s]
/proc/loadavg: 1.82 1.93 1.90 3/77 32262
/proc/meminfo: memFree=1316920/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=54404 CPUtime=0.69
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 12512 0 0 0 62 7 0 0 23 0 1 0 365636822 55709696 12487 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 13601 12487 206 20 0 12959 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54404
[startup+1.50171 s]
/proc/loadavg: 1.82 1.93 1.90 2/78 32263
/proc/meminfo: memFree=1247472/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=106704 CPUtime=1.49
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 25669 0 0 0 135 14 0 0 25 0 1 0 365636822 109264896 25644 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134527169 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 26676 25645 206 20 0 26034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106704
[startup+3.10186 s]
/proc/loadavg: 1.82 1.93 1.90 2/78 32263
/proc/meminfo: memFree=1174640/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=212892 CPUtime=3.09
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 51257 0 0 0 279 30 0 0 25 0 1 0 365636822 218001408 51232 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 53223 51232 206 20 0 52581 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 212892
[startup+6.30123 s]
/proc/loadavg: 1.84 1.93 1.90 2/78 32263
/proc/meminfo: memFree=967344/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=426668 CPUtime=6.29
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 101552 0 0 0 567 62 0 0 25 0 1 0 365636822 436908032 101527 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 106667 101528 206 20 0 106025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 426668
Solver just ended. Dumping a history of the last processes samples
[startup+9.5016 s]
/proc/loadavg: 1.77 1.91 1.89 2/78 32263
/proc/meminfo: memFree=774576/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=587036 CPUtime=9.49
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 139944 0 0 0 863 86 0 0 25 0 1 0 365636822 601124864 139919 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134576853 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 146759 139919 207 20 0 146117 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 587036
[startup+11.1018 s]
/proc/loadavg: 1.77 1.91 1.89 3/78 32263
/proc/meminfo: memFree=543472/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=932412 CPUtime=11.09
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 203315 0 0 0 1002 107 0 0 25 0 1 0 365636822 954789888 203290 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 233103 203292 208 20 0 232461 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 932412
[startup+11.9019 s]
/proc/loadavg: 1.77 1.91 1.89 3/78 32263
/proc/meminfo: memFree=543472/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=1069696 CPUtime=11.89
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 241633 0 0 0 1070 119 0 0 25 0 1 0 365636822 1095368704 241608 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 267424 241610 208 20 0 266782 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 1069696
[startup+12.3019 s]
/proc/loadavg: 1.77 1.91 1.89 2/78 32263
/proc/meminfo: memFree=331568/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=1135036 CPUtime=12.28
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4194304 260019 0 0 0 1103 125 0 0 25 0 1 0 365636822 1162276864 259994 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 283759 259996 208 20 0 283117 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 1135036
[startup+12.502 s]
/proc/loadavg: 1.77 1.91 1.89 2/78 32263
/proc/meminfo: memFree=331568/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=0 CPUtime=12.48
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4195332 278090 0 0 0 1115 133 0 0 24 0 1 0 365636822 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 0
[startup+12.602 s]
/proc/loadavg: 1.77 1.91 1.89 2/78 32263
/proc/meminfo: memFree=331568/2055924 swapFree=4143816/4192956
[pid=32262] ppid=32260 vsize=0 CPUtime=12.58
/proc/32262/stat : 32262 (MiraXTv1_dyn) R 32260 32262 31384 0 -1 4195332 278090 0 0 0 1115 143 0 0 25 0 1 0 365636822 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/32262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 12.6645
CPU time (s): 12.6581
CPU user time (s): 11.1593
CPU system time (s): 1.49877
CPU usage (%): 99.9492
Max. virtual memory (cumulated for all children) (KiB): 1151404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1593
system time used= 1.49877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278090
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= 13
involuntary context switches= 90
runsolver used 0.014997 second user time and 0.034994 second system time
The end
Begin job on node6 on Fri May 11 15:06:32 UTC 2007
IDJOB= 331320
IDBENCH= 20584
IDSOLVER= 130
FILE ID= node6/331320-1178895974
PBS_JOBID= 5251078
Free space on /tmp= 66225 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug10.cnf
COMMAND LINE= /tmp/evaluation/331320-1178895974/MiraXTv1_dyn /tmp/evaluation/331320-1178895974/instance-331320-1178895974.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-331320-1178895974 -o ROOT/results/node6/solver-331320-1178895974 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331320-1178895974/MiraXTv1_dyn /tmp/evaluation/331320-1178895974/instance-331320-1178895974.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= b96b75461795057ef2d559ebb6ae2ba1
RANDOM SEED= 421434073
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node6.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.232
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.232
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: 2055924 kB
MemFree: 1317136 kB
Buffers: 44608 kB
Cached: 615132 kB
SwapCached: 17540 kB
Active: 562888 kB
Inactive: 121544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1317136 kB
SwapTotal: 4192956 kB
SwapFree: 4143816 kB
Dirty: 228764 kB
Writeback: 0 kB
Mapped: 29932 kB
Slab: 39944 kB
Committed_AS: 12756680 kB
PageTables: 1784 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= 66225 MiB
End job on node6 on Fri May 11 15:06:45 UTC 2007