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-3462567-1307181266.opb
0.00/0.00 c File size is 2853 bytes.
0.00/0.00 c Highest Coefficient sum: 8064
0.00/0.00 c Parsing was ok!!
0.00/0.00 c Total parsing time: 0 s
0.00/0.00 c Var: 216 Constr: 301 144/0/157 Lit: 1266 Watch. Lit: 794
0.00/0.00 c Obj. Vars: 6 (2.77778 % 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 216 301 1266 4 1084 1715 0 -2147483648 0.00
0.00/0.00 c Switching off lower bounding mode.
0.09/0.14 c 100 216 475 6199 13 1451 1887 174 12500 0.01
0.09/0.14 c 251 216 761 14783 19 2169 2076 460 10913 0.02
0.09/0.14 c 476 216 1190 29596 24 3197 2284 889 10577 0.04
0.09/0.14 c 814 216 1836 51184 27 4740 2513 1535 9465 0.09
0.09/0.14 o 49
0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.09/0.16 c 1269 216 2703 80627 29 6761 1728 2402 9000 0.14
0.09/0.16 c 1372 216 1361 40456 29 3335 1901 1060 8738 0.16
0.09/0.16 o 29
0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.09/0.19 c 1487 216 1589 48997 30 3831 1727 1288 8904 0.17
0.09/0.19 c 1587 208 1771 54623 30 4306 1900 1470 8915 0.18
0.09/0.19 o 13
0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.29/0.32 c 1688 208 1964 61798 31 4699 1725 1663 8884 0.19
0.29/0.32 c 1788 200 1166 35382 30 2872 1898 865 8764 0.20
0.29/0.32 c 2039 200 1617 51281 31 3867 2088 1316 8751 0.23
0.29/0.32 c 2515 200 1348 40173 29 3217 2297 1047 8411 0.30
0.29/0.32 o 5
0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.59/0.61 c 2698 200 1668 49189 29 3945 1723 1367 8378 0.32
0.59/0.61 c 2799 192 1837 55543 30 4340 1896 1536 8430 0.33
0.59/0.61 c 3051 192 1253 33553 26 3012 2086 952 8245 0.37
0.59/0.61 c 3526 192 2137 61872 28 5067 2295 1836 8355 0.42
0.59/0.61 c 4340 192 2400 69016 28 5731 2525 2099 7977 0.54
0.59/0.61 o 3
2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.39/2.49 c 4827 192 1884 52416 27 4487 1721 1583 7926 0.61
2.39/2.49 c 4928 192 1167 30311 25 2855 1894 866 7910 0.62
2.39/2.49 c 5179 175 1626 45824 28 3903 2084 1325 7931 0.65
2.39/2.49 c 5654 175 1352 39474 29 3289 2293 1051 7841 0.72
2.39/2.49 c 6468 175 1552 42787 27 3746 2523 1251 7663 0.84
2.39/2.49 c 7788 175 2656 75649 28 6240 2776 2355 7688 1.01
2.39/2.49 c 9869 174 1974 55911 28 4674 3054 1673 7224 1.37
2.39/2.49 c 13092 173 2566 74194 28 6054 3360 2265 6696 1.96
2.39/2.49 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 x49 -x50 -x51 -x52 -x53 -x54 x37 x38 -x39 -x40 -x41 -x42 x55 x56 x57 -x58 -x59 -x60 x43 x44 -x45 x46 x47 -x48 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72
2.39/2.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
2.39/2.49 c 25 15387 419 17680 3074 87110 2773 6162 2.50
2.39/2.49 c Objective: 3
2.39/2.49 s OPTIMUM FOUND
2.39/2.49 c Total time: 2.497 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-3462567-1307181266/watcher-3462567-1307181266 -o /tmp/evaluation-result-3462567-1307181266/solver-3462567-1307181266 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462567-1307181266.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.00 2.01 2.00 3/434 8720
/proc/meminfo: memFree=12424924/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=10792 CPUtime=0 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 829726211 11051008 263 33554432000 134512640 137138936 4293338736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 2698 263 192 642 0 2054 0
[startup+0.0678209 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8720
/proc/meminfo: memFree=12424924/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=11444 CPUtime=0.06 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 466 0 0 0 6 0 0 0 25 0 1 0 829726211 11718656 419 33554432000 134512640 137138936 4293338736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 2861 419 192 642 0 2217 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11444
[startup+0.100814 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8720
/proc/meminfo: memFree=12424924/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=11704 CPUtime=0.09 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 533 0 0 0 9 0 0 0 25 0 1 0 829726211 11984896 486 33554432000 134512640 137138936 4293338736 18446744073709551615 134618515 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 2926 486 192 642 0 2282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11704
[startup+0.300782 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8720
/proc/meminfo: memFree=12424924/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=12096 CPUtime=0.29 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 634 0 0 0 29 0 0 0 25 0 1 0 829726211 12386304 587 33554432000 134512640 137138936 4293338736 18446744073709551615 134599048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 3024 587 192 642 0 2380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12096
[startup+0.700712 s]
/proc/loadavg: 2.00 2.01 2.00 3/434 8720
/proc/meminfo: memFree=12424924/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=12228 CPUtime=0.69 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 660 0 0 0 69 0 0 0 25 0 1 0 829726211 12521472 613 33554432000 134512640 137138936 4293338736 18446744073709551615 134600326 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 3057 613 192 642 0 2413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12228
[startup+1.50062 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8721
/proc/meminfo: memFree=12420572/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=12484 CPUtime=1.49 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 729 0 0 0 149 0 0 0 25 0 1 0 829726211 12783616 682 33554432000 134512640 137138936 4293338736 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 3121 682 192 642 0 2477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12484
Solver just ended. Dumping a history of the last processes samples
[startup+1.90055 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8721
/proc/meminfo: memFree=12420572/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=12484 CPUtime=1.89 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 743 0 0 0 189 0 0 0 25 0 1 0 829726211 12783616 696 33554432000 134512640 137138936 4293338736 18446744073709551615 134598928 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 3121 696 192 642 0 2477 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 12484
[startup+2.30048 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8721
/proc/meminfo: memFree=12419952/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=12616 CPUtime=2.29 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 769 0 0 0 229 0 0 0 25 0 1 0 829726211 12918784 722 33554432000 134512640 137138936 4293338736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 3154 722 192 642 0 2510 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 12616
[startup+2.40045 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8721
/proc/meminfo: memFree=12419952/32951132 swapFree=67093840/67111528
[pid=8720] ppid=8718 vsize=12616 CPUtime=2.39 cores=0,2,4,6
/proc/8720/stat : 8720 (bsolo) R 8718 8720 6192 0 -1 4202496 769 0 0 0 239 0 0 0 25 0 1 0 829726211 12918784 722 33554432000 134512640 137138936 4293338736 18446744073709551615 134601123 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8720/statm: 3154 722 192 642 0 2510 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 12616
Child status: 0
Real time (s): 2.4992
CPU time (s): 2.49862
CPU user time (s): 2.49162
CPU system time (s): 0.006998
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 12616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.49162
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 770
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= 3
runsolver used 0.015997 second user time and 0.030995 second system time
The end
Begin job on node131 at 2011-06-04 11:54:26
IDJOB=3462567
IDBENCH=47983
IDSOLVER=1955
FILE ID=node131/3462567-1307181266
RUNJOBID= node131-1307175315-7503
PBS_JOBID= 13508857
Free space on /tmp= 73904 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=47-P1=29-P2=11-P3=29-P4=53-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462567-1307181266/watcher-3462567-1307181266 -o /tmp/evaluation-result-3462567-1307181266/solver-3462567-1307181266 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462567-1307181266.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3b1480a2f2bf2b248b154d021617acb0
RANDOM SEED=1396736368
node131.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.830
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.66
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.830
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 : 5332.75
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.75
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.830
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 12425336 kB
Buffers: 352512 kB
Cached: 5683744 kB
SwapCached: 948 kB
Active: 16041148 kB
Inactive: 4164496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 12425336 kB
SwapTotal: 67111528 kB
SwapFree: 67093840 kB
Dirty: 3904 kB
Writeback: 0 kB
AnonPages: 14168068 kB
Mapped: 39632 kB
Slab: 198020 kB
PageTables: 55608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 95432916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73900 MiB
End job on node131 at 2011-06-04 11:54:28