runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707464-1338139981/watcher-3707464-1338139981 -o /tmp/evaluation-result-3707464-1338139981/solver-3707464-1338139981 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707464-1338139981.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 2.00 1.99 3/174 4608
/proc/meminfo: memFree=27915732/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=10796 CPUtime=0 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 280124021 11055104 250 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 2699 250 192 642 0 2055 0
[startup+0.054203 s]
/proc/loadavg: 1.91 2.00 1.99 3/174 4608
/proc/meminfo: memFree=27915732/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=10920 CPUtime=0.05 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 348 0 0 0 5 0 0 0 20 0 1 0 280124021 11182080 298 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 2730 298 192 642 0 2086 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10920
[startup+0.100241 s]
/proc/loadavg: 1.91 2.00 1.99 3/174 4608
/proc/meminfo: memFree=27915732/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=11164 CPUtime=0.09 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 389 0 0 0 9 0 0 0 20 0 1 0 280124021 11431936 339 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 2791 339 192 642 0 2147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11164
[startup+0.300221 s]
/proc/loadavg: 1.91 2.00 1.99 3/174 4608
/proc/meminfo: memFree=27915732/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=11652 CPUtime=0.29 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 514 0 0 0 29 0 0 0 20 0 1 0 280124021 11931648 464 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 2913 464 192 642 0 2269 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11652
[startup+0.700224 s]
/proc/loadavg: 1.91 2.00 1.99 3/174 4608
/proc/meminfo: memFree=27915732/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=12396 CPUtime=0.69 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 715 0 0 0 69 0 0 0 20 0 1 0 280124021 12693504 665 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3099 665 192 642 0 2455 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12396
[startup+1.50017 s]
/proc/loadavg: 1.91 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27913492/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=13388 CPUtime=1.49 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 949 0 0 0 149 0 0 0 20 0 1 0 280124021 13709312 899 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3347 899 192 642 0 2703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13388
[startup+3.10017 s]
/proc/loadavg: 1.91 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27912360/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=13880 CPUtime=3.08 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 1094 0 0 0 308 0 0 0 20 0 1 0 280124021 14213120 1044 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3470 1044 192 642 0 2826 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13880
[startup+6.30011 s]
/proc/loadavg: 1.91 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27911392/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=14844 CPUtime=6.29 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 1324 0 0 0 627 2 0 0 20 0 1 0 280124021 15200256 1274 33554432000 134512640 137138936 4294344672 4294342952 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3711 1274 192 642 0 3067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14844
Solver just ended. Dumping a history of the last processes samples
[startup+9.50017 s]
/proc/loadavg: 1.91 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27910664/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=15340 CPUtime=9.48 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 1432 0 0 0 946 2 0 0 20 0 1 0 280124021 15708160 1382 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3835 1382 192 642 0 3191 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 15340
[startup+10.3002 s]
/proc/loadavg: 1.91 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27910548/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=15464 CPUtime=10.29 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 1488 0 0 0 1026 3 0 0 20 0 1 0 280124021 15835136 1438 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3866 1438 192 642 0 3222 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 15464
[startup+11.1003 s]
/proc/loadavg: 1.92 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27909928/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=15464 CPUtime=11.09 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 1488 0 0 0 1106 3 0 0 20 0 1 0 280124021 15835136 1438 33554432000 134512640 137138936 4294344672 4294343600 134542354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3866 1438 192 642 0 3222 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 15464
[startup+11.5002 s]
/proc/loadavg: 1.92 2.00 1.99 3/175 4609
/proc/meminfo: memFree=27909928/32873852 swapFree=6856/6856
[pid=4608] ppid=4606 vsize=15708 CPUtime=11.49 cores=0,2,4,6
/proc/4608/stat : 4608 (bsolo) R 4606 4608 1566 0 -1 4202496 1533 0 0 0 1146 3 0 0 20 0 1 0 280124021 16084992 1483 33554432000 134512640 137138936 4294344672 4294343788 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4608/statm: 3927 1483 192 642 0 3283 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 15708
Child status: 0
Real time (s): 11.5476
CPU time (s): 11.5452
CPU user time (s): 11.5113
CPU system time (s): 0.033994
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 15708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5113
system time used= 0.033994
maximum resident set size= 5936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1534
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= 3
involuntary context switches= 13
runsolver used 0.020996 second user time and 0.066989 second system time
The end
Begin job on node128 at 2012-05-27 19:33:01
IDJOB=3707464
IDBENCH=1264
IDSOLVER=2286
FILE ID=node128/3707464-1338139981
RUNJOBID= node128-1338138177-4375
PBS_JOBID= 14624501
Free space on /tmp= 71336 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222080.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707464-1338139981/watcher-3707464-1338139981 -o /tmp/evaluation-result-3707464-1338139981/solver-3707464-1338139981 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707464-1338139981.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6da70b87b54711284828af94090392b9
RANDOM SEED=750513689
node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5438.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.389
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873852 kB
MemFree: 27916104 kB
Buffers: 434176 kB
Cached: 2363248 kB
SwapCached: 620 kB
Active: 2349136 kB
Inactive: 1750888 kB
Active(anon): 1292704 kB
Inactive(anon): 12304 kB
Active(file): 1056432 kB
Inactive(file): 1738584 kB
Unevictable: 6856 kB
Mlocked: 6856 kB
SwapTotal: 67108856 kB
SwapFree: 67107296 kB
Dirty: 3992 kB
Writeback: 0 kB
AnonPages: 1308792 kB
Mapped: 15080 kB
Shmem: 200 kB
Slab: 717080 kB
SReclaimable: 159280 kB
SUnreclaim: 557800 kB
KernelStack: 1456 kB
PageTables: 6532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545780 kB
Committed_AS: 1423488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346360 kB
VmallocChunk: 34341988004 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1081344 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71332 MiB
End job on node128 at 2012-05-27 19:33:13