0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00 c type "bsolo -h" for help
0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00 c Learning Strategy: Cardinality Constraint Learning
0.00/0.00 c Time Limit set to 1800
0.00/0.00 c Instance file HOME/instance-3462565-1307181253.opb
0.00/0.00 c File size is 4162 bytes.
0.00/0.00 c Highest Coefficient sum: 1984
0.00/0.00 c Parsing was ok!!
0.00/0.00 c Total parsing time: 0 s
0.00/0.00 c Var: 320 Constr: 425 200/0/225 Lit: 1795 Watch. Lit: 1145
0.00/0.00 c Obj. Vars: 5 (1.5625 % of total variables)
0.00/0.00 c Pre-processing Time: 0 s
0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.00 c 0 320 425 1795 4 1533 2456 0 -2147483648 0.00
0.00/0.00 c Switching off lower bounding mode.
0.09/0.19 c 100 320 617 6238 10 1927 2702 192 16666 0.01
0.09/0.19 c 251 320 899 13578 15 2509 2973 474 13944 0.02
0.09/0.19 c 476 320 1305 25246 19 3367 3271 880 13600 0.04
0.09/0.19 c 814 320 1914 41658 21 4651 3599 1489 13566 0.06
0.09/0.19 c 1322 320 2876 67122 23 6805 3959 2451 12711 0.10
0.09/0.19 c 2085 320 4309 101812 23 9981 4355 3884 11779 0.18
0.09/0.19 o 7
0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.49/0.55 c 2238 320 4586 108588 23 10616 2466 4161 11595 0.19
0.49/0.55 c 2339 306 1847 37876 20 4538 2713 1422 11299 0.21
0.49/0.55 c 2589 306 2307 49150 21 5558 2985 1882 11405 0.23
0.49/0.55 c 3065 306 3180 73930 23 7466 3284 2755 11394 0.27
0.49/0.55 c 3879 306 2809 67945 24 6692 3613 2384 10988 0.35
0.49/0.55 c 5200 306 3257 77867 23 7612 3975 2832 9829 0.53
0.49/0.55 o 5
0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.49/0.57 c 5535 306 3891 94000 24 9029 2462 3466 9955 0.56
0.49/0.57 c 5635 306 1851 39343 21 4494 2709 1426 9903 0.57
0.49/0.57 o 3
0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.59/0.65 c 5737 306 2037 43650 21 4916 2462 1612 9942 0.58
0.59/0.65 c 5837 291 2233 48500 21 5361 2709 1808 9960 0.59
0.59/0.65 c 6087 291 2692 60309 22 6391 2980 2267 10044 0.61
0.59/0.65 o 2
0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.59/0.66 c 6534 291 1920 39702 20 4616 2456 1495 9930 0.66
0.59/0.66 v -x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 x15 x16 x17 -x18 -x19 -x20 x21 x22 -x23 x24 -x25 x26 -x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x81 -x82 -x83 -x84 -x85 -x51 x52 -x53 -x54 -x55 x86 -x87 -x88 -x89 -x90 -x56 x57 x58 -x59 -x60 -x91 -x92 -x93 -x94 -x95 -x61 x62 -x63 -x64 -x65 -x96 x97 -x98 -x99 -x100 -x66 x67 -x68 -x69 x70 -x101 -x102 -x103 -x104 -x105 -x71 x72 -x73 -x74 -x75 x106 -x107 x108 -x109 -x110 -x76 x77 x78 -x79 -x80 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
0.59/0.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
0.59/0.66 c 18 6534 561 9237 1920 39702 1495 9930 0.66
0.59/0.66 c Objective: 2
0.59/0.66 s OPTIMUM FOUND
0.59/0.66 c Total time: 0.658 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462565-1307181253/watcher-3462565-1307181253 -o /tmp/evaluation-result-3462565-1307181253/solver-3462565-1307181253 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462565-1307181253.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: 2.04 2.03 2.00 2/446 24284
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24284] ppid=24282 vsize=10920 CPUtime=0 cores=0,2,4,6
/proc/24284/stat : 24284 (bsolo) R 24282 24284 22425 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 829724108 11182080 288 33554432000 134512640 137138936 4291781120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24284/statm: 2730 288 192 642 0 2086 0
[startup+0.102313 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24284
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24284] ppid=24282 vsize=11952 CPUtime=0.09 cores=0,2,4,6
/proc/24284/stat : 24284 (bsolo) R 24282 24284 22425 0 -1 4202496 586 0 0 0 9 0 0 0 25 0 1 0 829724108 12238848 538 33554432000 134512640 137138936 4291781120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24284/statm: 2988 538 192 642 0 2344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11952
[startup+0.200292 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24284
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24284] ppid=24282 vsize=12732 CPUtime=0.19 cores=0,2,4,6
/proc/24284/stat : 24284 (bsolo) R 24282 24284 22425 0 -1 4202496 784 0 0 0 19 0 0 0 25 0 1 0 829724108 13037568 736 33554432000 134512640 137138936 4291781120 18446744073709551615 134618282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24284/statm: 3183 736 192 642 0 2539 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12732
[startup+0.300276 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24284
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24284] ppid=24282 vsize=12732 CPUtime=0.29 cores=0,2,4,6
/proc/24284/stat : 24284 (bsolo) R 24282 24284 22425 0 -1 4202496 784 0 0 0 29 0 0 0 25 0 1 0 829724108 13037568 736 33554432000 134512640 137138936 4291781120 18446744073709551615 134618938 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24284/statm: 3183 736 192 642 0 2539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12732
Solver just ended. Dumping a history of the last processes samples
[startup+0.400263 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24284
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24284] ppid=24282 vsize=12732 CPUtime=0.39 cores=0,2,4,6
/proc/24284/stat : 24284 (bsolo) R 24282 24284 22425 0 -1 4202496 784 0 0 0 39 0 0 0 25 0 1 0 829724108 13037568 736 33554432000 134512640 137138936 4291781120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24284/statm: 3183 736 192 642 0 2539 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 12732
[startup+0.600231 s]
/proc/loadavg: 2.04 2.03 2.00 2/446 24284
/proc/meminfo: memFree=31271764/32950928 swapFree=34365992/67111528
[pid=24284] ppid=24282 vsize=12732 CPUtime=0.59 cores=0,2,4,6
/proc/24284/stat : 24284 (bsolo) R 24282 24284 22425 0 -1 4202496 784 0 0 0 59 0 0 0 25 0 1 0 829724108 13037568 736 33554432000 134512640 137138936 4291781120 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24284/statm: 3183 736 192 642 0 2539 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 12732
Child status: 0
Real time (s): 0.660806
CPU time (s): 0.659899
CPU user time (s): 0.650901
CPU system time (s): 0.008998
CPU usage (%): 99.8628
Max. virtual memory (cumulated for all children) (KiB): 12732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.650901
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 785
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.005999 second user time and 0.010998 second system time
The end
Begin job on node120 at 2011-06-04 11:54:13
IDJOB=3462565
IDBENCH=47981
IDSOLVER=1955
FILE ID=node120/3462565-1307181253
RUNJOBID= node120-1307173926-23558
PBS_JOBID= 13508848
Free space on /tmp= 73816 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=5-P0=23-P1=31-P2=23-P3=7-P4=31-P5=19-P6=31-P7=11-P8=2-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462565-1307181253/watcher-3462565-1307181253 -o /tmp/evaluation-result-3462565-1307181253/solver-3462565-1307181253 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462565-1307181253.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= fc4ae85a9713a7cb45bbf0331db309f7
RANDOM SEED=1787899816
node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31271796 kB
Buffers: 307872 kB
Cached: 1014004 kB
SwapCached: 12852 kB
Active: 417060 kB
Inactive: 968472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31271796 kB
SwapTotal: 67111528 kB
SwapFree: 34365992 kB
Dirty: 3908 kB
Writeback: 0 kB
AnonPages: 60796 kB
Mapped: 9980 kB
Slab: 133716 kB
PageTables: 91416 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 105441172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73812 MiB
End job on node120 at 2011-06-04 11:54:14