runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773445-1241278851/watcher-1773445-1241278851 -o /tmp/evaluation-result-1773445-1241278851/solver-1773445-1241278851 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1773445-1241278851.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23963
/proc/meminfo: memFree=1960352/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=4700 CPUtime=0
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 774 0 0 0 0 0 0 0 18 0 1 0 155913127 4812800 758 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 1175 765 209 541 0 625 0
[startup+0.0221899 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23963
/proc/meminfo: memFree=1960352/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=7488 CPUtime=0.01
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 1350 0 0 0 1 0 0 0 18 0 1 0 155913127 7667712 1334 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 1872 1334 219 541 0 1322 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7488
[startup+0.101197 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23963
/proc/meminfo: memFree=1960352/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=8676 CPUtime=0.1
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 1691 0 0 0 9 1 0 0 18 0 1 0 155913127 8884224 1675 1992294400 4194304 6412682 548682068864 18446744073709551615 4916728 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 2169 1675 219 541 0 1619 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8676
[startup+0.301213 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23963
/proc/meminfo: memFree=1960352/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=12024 CPUtime=0.29
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 2747 0 0 0 28 1 0 0 19 0 1 0 155913127 12312576 2585 1992294400 4194304 6412682 548682068864 18446744073709551615 4284096 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 3006 2585 220 541 0 2456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12024
[startup+0.70125 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23963
/proc/meminfo: memFree=1960352/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=18136 CPUtime=0.69
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 4195 0 0 0 66 3 0 0 22 0 1 0 155913127 18571264 4033 1992294400 4194304 6412682 548682068864 18446744073709551615 4509048 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 4534 4033 248 541 0 3984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18136
[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1944216/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=19060 CPUtime=1.49
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 4435 0 0 0 146 3 0 0 25 0 1 0 155913127 19517440 4273 1992294400 4194304 6412682 548682068864 18446744073709551615 4564622 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 4765 4273 248 541 0 4215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19060
[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1943512/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=19060 CPUtime=3.09
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 4492 0 0 0 305 4 0 0 25 0 1 0 155913127 19517440 4330 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 4765 4330 255 541 0 4215 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19060
[startup+6.30175 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1941080/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=21808 CPUtime=6.29
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 5129 0 0 0 624 5 0 0 25 0 1 0 155913127 22331392 4967 1992294400 4194304 6412682 548682068864 18446744073709551615 4286849 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 5452 4967 258 541 0 4902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21808
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1940512/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=22080 CPUtime=12.69
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 5200 0 0 0 1264 5 0 0 25 0 1 0 155913127 22609920 5038 1992294400 4194304 6412682 548682068864 18446744073709551615 4363678 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 5520 5038 258 541 0 4970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22080
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1936608/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=26272 CPUtime=25.48
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 6171 0 0 0 2540 8 0 0 25 0 1 0 155913127 26902528 6009 1992294400 4194304 6412682 548682068864 18446744073709551615 4327497 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 6568 6009 258 541 0 6018 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26272
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1931488/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=31960 CPUtime=51.08
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 7515 0 0 0 5095 13 0 0 25 0 1 0 155913127 32727040 7353 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 7990 7353 258 541 0 7440 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31960
Solver just ended. Dumping a history of the last processes samples
[startup+52.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1929888/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=33056 CPUtime=52.69
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 7902 0 0 0 5255 14 0 0 25 0 1 0 155913127 33849344 7636 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 8264 7636 258 541 0 7714 0
Current children cumulated CPU time (s) 52.69
Current children cumulated vsize (KiB) 33056
[startup+54.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1929824/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=33464 CPUtime=54.28
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 7960 0 0 0 5414 14 0 0 25 0 1 0 155913127 34267136 7694 1992294400 4194304 6412682 548682068864 18446744073709551615 4304449 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 8366 7694 258 541 0 7816 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 33464
[startup+54.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1929824/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=33464 CPUtime=54.68
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 7960 0 0 0 5454 14 0 0 25 0 1 0 155913127 34267136 7694 1992294400 4194304 6412682 548682068864 18446744073709551615 4304534 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 8366 7694 258 541 0 7816 0
Current children cumulated CPU time (s) 54.68
Current children cumulated vsize (KiB) 33464
[startup+54.9011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23964
/proc/meminfo: memFree=1929824/2055920 swapFree=4191900/4192956
[pid=23963] ppid=23961 vsize=33464 CPUtime=54.88
/proc/23963/stat : 23963 (kw) R 23961 23963 23807 0 -1 0 7960 0 0 0 5474 14 0 0 25 0 1 0 155913127 34267136 7694 1992294400 4194304 6412682 548682068864 18446744073709551615 4301462 0 0 4096 0 0 0 0 17 1 0 0
/proc/23963/statm: 8366 7694 258 541 0 7816 0
Current children cumulated CPU time (s) 54.88
Current children cumulated vsize (KiB) 33464
Child status: 20
Real time (s): 54.9241
CPU time (s): 54.9117
CPU user time (s): 54.7617
CPU system time (s): 0.149977
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 33472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.7617
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7967
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= 2
involuntary context switches= 115
runsolver used 0.052991 second user time and 0.132979 second system time
The end
Begin job on node43 at 2009-05-02 17:40:51
IDJOB=1773445
IDBENCH=69594
IDSOLVER=611
FILE ID=node43/1773445-1241278851
PBS_JOBID= 9225009
Free space on /tmp= 66348 MiB
SOLVER NAME= kw 2009-03-20
BENCH NAME= SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.cnf
COMMAND LINE= HOME/kw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773445-1241278851/watcher-1773445-1241278851 -o /tmp/evaluation-result-1773445-1241278851/solver-1773445-1241278851 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1773445-1241278851.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 700f8e86139a93fca212e22efa0f7d2b
RANDOM SEED=950208492
node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.237
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.237
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: 1960768 kB
Buffers: 1760 kB
Cached: 24568 kB
SwapCached: 260 kB
Active: 14076 kB
Inactive: 25556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1960768 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 3324 kB
Writeback: 0 kB
Mapped: 21840 kB
Slab: 41464 kB
Committed_AS: 725680 kB
PageTables: 1448 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= 66348 MiB
End job on node43 at 2009-05-02 17:41:46