runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-331574-1173185210 -o ROOT/results/node65/solver-331574-1173185210 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331574-1173185210/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/331574-1173185210/instance-331574-1173185210.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.10 1.08 1.03 3/64 18031
/proc/meminfo: memFree=1287440/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=1532 CPUtime=0
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 338480264 1568768 181 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 135262058 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 383 184 128 302 0 78 0
[startup+0.10587 s]
/proc/loadavg: 1.10 1.08 1.03 3/64 18031
/proc/meminfo: memFree=1287440/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=5204 CPUtime=0.1
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 1096 0 0 0 10 0 0 0 18 0 1 0 338480264 5328896 1047 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134513455 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 1301 990 129 302 0 996 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5204
[startup+0.201891 s]
/proc/loadavg: 1.10 1.08 1.03 3/64 18031
/proc/meminfo: memFree=1287440/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=7840 CPUtime=0.19
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 1901 0 0 0 18 1 0 0 18 0 1 0 338480264 8028160 1681 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134743916 0 0 4096 0 0 0 0 17 0 0 0
/proc/18031/statm: 1960 1681 129 302 0 1655 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7840
[startup+0.301911 s]
/proc/loadavg: 1.10 1.08 1.03 3/64 18031
/proc/meminfo: memFree=1287440/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=11604 CPUtime=0.29
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 2956 0 0 0 27 2 0 0 19 0 1 0 338480264 11882496 2397 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134866180 0 0 4096 0 0 0 0 17 0 0 0
/proc/18031/statm: 2901 2397 129 302 0 2596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11604
[startup+0.701977 s]
/proc/loadavg: 1.10 1.08 1.03 3/64 18031
/proc/meminfo: memFree=1287440/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=23660 CPUtime=0.69
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 6394 0 0 0 65 4 0 0 23 0 1 0 338480264 24227840 5127 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134516734 0 0 4096 0 0 0 0 17 0 0 0
/proc/18031/statm: 5915 5127 129 302 0 5610 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23660
[startup+1.5011 s]
/proc/loadavg: 1.10 1.08 1.03 2/65 18032
/proc/meminfo: memFree=1258312/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=44076 CPUtime=1.49
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 12150 0 0 0 141 8 0 0 25 0 1 0 338480264 45133824 10370 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 11019 10370 129 302 0 10714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44076
[startup+3.10136 s]
/proc/loadavg: 1.10 1.08 1.03 2/65 18032
/proc/meminfo: memFree=1231432/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=85900 CPUtime=3.08
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 23775 0 0 0 291 17 0 0 25 0 1 0 338480264 87961600 20071 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 21475 20071 129 302 0 21170 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85900
[startup+6.30189 s]
/proc/loadavg: 1.09 1.08 1.03 2/65 18032
/proc/meminfo: memFree=1153736/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=167184 CPUtime=6.28
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 46309 0 0 0 593 35 0 0 25 0 1 0 338480264 171196416 38761 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 41796 38761 129 302 0 41491 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 167184
[startup+12.7029 s]
/proc/loadavg: 1.09 1.08 1.03 2/65 18032
/proc/meminfo: memFree=999952/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=329868 CPUtime=12.68
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 91152 0 0 0 1201 67 0 0 25 0 1 0 338480264 337784832 75920 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 82467 75921 129 302 0 82162 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 329868
[startup+25.501 s]
/proc/loadavg: 1.07 1.07 1.03 2/65 18032
/proc/meminfo: memFree=710224/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=616228 CPUtime=25.48
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 169201 0 0 0 2412 136 0 0 25 0 1 0 338480264 631017472 145776 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 135258954 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 154057 145776 129 302 0 153752 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 616228
[startup+51.1012 s]
/proc/loadavg: 1.04 1.06 1.03 2/65 18032
/proc/meminfo: memFree=565520/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=747608 CPUtime=51.06
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 204977 0 0 0 4932 174 0 0 25 0 1 0 338480264 765550592 181068 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 186902 181068 140 302 0 186597 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 747608
Solver just ended. Dumping a history of the last processes samples
[startup+51.2023 s]
/proc/loadavg: 1.04 1.06 1.03 2/65 18032
/proc/meminfo: memFree=565520/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=747608 CPUtime=51.16
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 204988 0 0 0 4942 174 0 0 25 0 1 0 338480264 765550592 181079 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 186902 181079 140 302 0 186597 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 747608
[startup+64.0014 s]
/proc/loadavg: 1.04 1.06 1.03 2/65 18032
/proc/meminfo: memFree=563856/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=749424 CPUtime=63.96
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 205399 0 0 0 6217 179 0 0 25 0 1 0 338480264 767410176 181490 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134526883 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 187356 181490 140 302 0 187051 0
Current children cumulated CPU time (s) 63.96
Current children cumulated vsize (KiB) 749424
[startup+76.8015 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 18032
/proc/meminfo: memFree=559696/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=753504 CPUtime=76.75
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 206442 0 0 0 7459 216 0 0 25 0 1 0 338480264 771588096 182533 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 188376 182533 140 302 0 188071 0
Current children cumulated CPU time (s) 76.75
Current children cumulated vsize (KiB) 753504
[startup+83.2015 s]
/proc/loadavg: 1.02 1.06 1.02 2/65 18032
/proc/meminfo: memFree=559248/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=753840 CPUtime=83.15
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 206545 0 0 0 8095 220 0 0 25 0 1 0 338480264 771932160 182636 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 188460 182636 140 302 0 188155 0
Current children cumulated CPU time (s) 83.15
Current children cumulated vsize (KiB) 753840
[startup+84.8058 s]
/proc/loadavg: 1.02 1.06 1.02 2/65 18032
/proc/meminfo: memFree=558928/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=754100 CPUtime=84.76
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 206608 0 0 0 8251 225 0 0 25 0 1 0 338480264 772198400 182699 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 188525 182699 140 302 0 188220 0
Current children cumulated CPU time (s) 84.76
Current children cumulated vsize (KiB) 754100
[startup+85.6019 s]
/proc/loadavg: 1.02 1.06 1.02 2/65 18032
/proc/meminfo: memFree=558928/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=754100 CPUtime=85.55
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 206614 0 0 0 8329 226 0 0 25 0 1 0 338480264 772198400 182705 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134552966 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 188525 182705 140 302 0 188220 0
Current children cumulated CPU time (s) 85.55
Current children cumulated vsize (KiB) 754100
[startup+86.002 s]
/proc/loadavg: 1.02 1.06 1.02 2/65 18032
/proc/meminfo: memFree=556752/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=756268 CPUtime=85.95
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194304 207641 0 0 0 8368 227 0 0 25 0 1 0 338480264 774418432 183248 18446744073709551615 134512640 135752790 4294956640 18446744073709551615 134525537 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 189067 183248 140 302 0 188762 0
Current children cumulated CPU time (s) 85.95
Current children cumulated vsize (KiB) 756268
[startup+86.402 s]
/proc/loadavg: 1.02 1.06 1.02 2/65 18032
/proc/meminfo: memFree=556752/2055920 swapFree=4184052/4192956
[pid=18031] ppid=18029 vsize=0 CPUtime=86.35
/proc/18031/stat : 18031 (Spear-32) R 18029 18031 16592 0 -1 4194308 207661 0 0 0 8403 232 0 0 25 0 1 0 338480264 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/18031/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 86.35
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 86.4846
CPU time (s): 86.4279
CPU user time (s): 84.0352
CPU system time (s): 2.39264
CPU usage (%): 99.9344
Max. virtual memory (cumulated for all children) (KiB): 756268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.0352
system time used= 2.39264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207661
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= 28
involuntary context switches= 158
runsolver used 0.097985 second user time and 0.201969 second system time
The end
Begin job on node65 on Tue Mar 6 12:47:07 UTC 2007
IDJOB= 331574
IDBENCH= 20590
IDSOLVER= 132
FILE ID= node65/331574-1173185210
PBS_JOBID= 4015250
Free space on /tmp= 66180 MiB
SOLVER NAME= Spear FH 1.0
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug2.cnf
COMMAND LINE= /tmp/evaluation/331574-1173185210/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/331574-1173185210/instance-331574-1173185210.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-331574-1173185210 -o ROOT/results/node65/solver-331574-1173185210 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331574-1173185210/Spear-32 --model-stdout --time --spset-autotuned-fh_1_0 --dimacs /tmp/evaluation/331574-1173185210/instance-331574-1173185210.cnf
META MD5SUM SOLVER= 53b58dfa80430416a78fe762713f980c
MD5SUM BENCH= de190892801b59cd9842bfb52b694299
RANDOM SEED= 717625930
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node65.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.259
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.259
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: 1287912 kB
Buffers: 22324 kB
Cached: 625736 kB
SwapCached: 2904 kB
Active: 440172 kB
Inactive: 255376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1287912 kB
SwapTotal: 4192956 kB
SwapFree: 4184052 kB
Dirty: 222160 kB
Writeback: 0 kB
Mapped: 53412 kB
Slab: 58388 kB
Committed_AS: 829096 kB
PageTables: 1584 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= 66180 MiB
End job on node65 on Tue Mar 6 12:48:34 UTC 2007