runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773195-1241276334/watcher-1773195-1241276334 -o /tmp/evaluation-result-1773195-1241276334/solver-1773195-1241276334 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1773195-1241276334.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.01 1.04 1.00 2/64 31419
/proc/meminfo: memFree=1438304/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=5168 CPUtime=0
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 804 0 0 0 0 0 0 0 18 0 1 0 155667306 5292032 788 1992294400 4194304 6412682 548682068864 18446744073709551615 4342988 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 1292 794 200 541 0 742 0
[startup+0.0790141 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 31419
/proc/meminfo: memFree=1438304/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=48712 CPUtime=0.07
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 11256 0 0 0 2 5 0 0 18 0 1 0 155667306 49881088 11240 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 12178 11247 208 541 0 11628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 48712
[startup+0.101018 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 31419
/proc/meminfo: memFree=1438304/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=61912 CPUtime=0.09
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 14857 0 0 0 3 6 0 0 18 0 1 0 155667306 63397888 14841 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 15478 14846 208 541 0 14928 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61912
[startup+0.301053 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 31419
/proc/meminfo: memFree=1438304/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=70640 CPUtime=0.29
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 16491 0 0 0 22 7 0 0 19 0 1 0 155667306 72335360 16475 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 17660 16475 221 541 0 17110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70640
[startup+0.701128 s]
/proc/loadavg: 1.01 1.04 1.00 2/64 31419
/proc/meminfo: memFree=1438304/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=75792 CPUtime=0.68
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 17940 0 0 0 61 7 0 0 22 0 1 0 155667306 77611008 17924 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 18948 17924 221 541 0 18398 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 75792
Solver just ended. Dumping a history of the last processes samples
[startup+1.1062 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 31420
/proc/meminfo: memFree=1361560/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=81444 CPUtime=1.09
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 19712 0 0 0 101 8 0 0 25 0 1 0 155667306 83398656 19503 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 20361 19503 221 541 0 19811 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 81444
[startup+1.30224 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 31420
/proc/meminfo: memFree=1361560/2055920 swapFree=4180196/4192956
[pid=31419] ppid=31417 vsize=83952 CPUtime=1.29
/proc/31419/stat : 31419 (kw) R 31417 31419 31355 0 -1 0 20426 0 0 0 120 9 0 0 25 0 1 0 155667306 85966848 20217 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/31419/statm: 20988 20217 221 541 0 20438 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 83952
Child status: 20
Real time (s): 1.39725
CPU time (s): 1.39579
CPU user time (s): 1.2858
CPU system time (s): 0.109983
CPU usage (%): 99.8955
Max. virtual memory (cumulated for all children) (KiB): 83952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2858
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20725
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= 2
runsolver used 0.003999 second user time and 0.008998 second system time
The end
Begin job on node7 at 2009-05-02 16:58:55
IDJOB=1773195
IDBENCH=20516
IDSOLVER=611
FILE ID=node7/1773195-1241276334
PBS_JOBID= 9225014
Free space on /tmp= 66556 MiB
SOLVER NAME= kw 2009-03-20
BENCH NAME= SAT07/industrial/babic/xinetd/xinetd_vc56703.cnf
COMMAND LINE= HOME/kw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773195-1241276334/watcher-1773195-1241276334 -o /tmp/evaluation-result-1773195-1241276334/solver-1773195-1241276334 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1773195-1241276334.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 09053ffc48c8fbc3352a0ce4d89c2bbb
RANDOM SEED=34920849
node7.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.256
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.256
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: 1438720 kB
Buffers: 83428 kB
Cached: 436192 kB
SwapCached: 7108 kB
Active: 76716 kB
Inactive: 451284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1438720 kB
SwapTotal: 4192956 kB
SwapFree: 4180196 kB
Dirty: 7220 kB
Writeback: 0 kB
Mapped: 13400 kB
Slab: 75152 kB
Committed_AS: 1028000 kB
PageTables: 1444 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= 66556 MiB
End job on node7 at 2009-05-02 16:58:56