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-3462659-1307181657.opb
0.00/0.00 c File size is 2851 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.19/0.24 c 101 216 484 6852 14 1512 1887 183 12625 0.01
0.19/0.24 c 251 216 760 16627 21 2149 2076 459 11409 0.02
0.19/0.24 c 478 216 1181 29197 24 3131 2284 880 11380 0.04
0.19/0.24 c 816 216 1811 46271 25 4603 2513 1510 9714 0.08
0.19/0.24 c 1324 216 2750 71874 26 6719 2765 2449 8223 0.16
0.19/0.24 o 29
1.11/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.11/1.17 c 1939 216 2491 64972 26 5879 1728 2190 7882 0.25
1.11/1.17 c 2039 215 1339 32710 24 3209 1901 1038 7903 0.26
1.11/1.17 c 2289 215 1762 44656 25 4129 2092 1461 7920 0.29
1.11/1.17 c 2765 213 1379 37919 27 3317 2302 1078 7991 0.35
1.11/1.17 c 3579 213 1620 47609 29 3831 2533 1319 7680 0.47
1.11/1.17 c 4899 213 2655 77958 29 6433 2787 2354 6842 0.72
1.11/1.17 c 6980 205 1934 55765 28 4698 3066 1633 6603 1.06
1.11/1.17 o 13
1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.19/1.21 c 7792 205 1841 55492 30 4339 1725 1540 6648 1.17
1.19/1.21 c 7893 197 2035 62079 30 4755 1898 1734 6688 1.18
1.19/1.21 o 11
1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.29/1.35 c 8125 197 1370 38437 28 3327 1723 1069 6720 1.21
1.29/1.35 c 8226 197 1512 42204 27 3632 1896 1211 6759 1.22
1.29/1.35 c 8477 197 1955 57983 29 4687 2086 1654 6814 1.24
1.29/1.35 c 8952 197 1671 47564 28 4035 2295 1370 6823 1.31
1.29/1.35 o 5
1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.39/1.49 c 9209 197 2116 61153 28 5123 1723 1815 6796 1.35
1.39/1.49 c 9314 189 1345 36470 27 3263 1896 1044 6808 1.37
1.39/1.49 c 9565 189 1756 49339 28 4184 2086 1455 6807 1.41
1.39/1.49 c 10040 186 1473 40163 27 3533 2295 1172 6756 1.49
1.39/1.49 o 3
1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.89/1.93 c 10090 186 1550 42794 27 3714 1721 1249 6767 1.49
1.89/1.93 c 10191 186 1706 48373 28 4030 1894 1405 6784 1.50
1.89/1.93 c 10442 169 2125 61913 29 4981 2084 1824 6829 1.53
1.89/1.93 c 10917 169 1849 51958 28 4618 2293 1548 6831 1.60
1.89/1.93 c 11730 169 1972 52911 26 4734 2523 1671 6792 1.73
1.89/1.93 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
1.89/1.93 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
1.89/1.93 c 27 12815 259 14532 2480 67870 2179 6619 1.94
1.89/1.93 c Objective: 3
1.89/1.93 s OPTIMUM FOUND
1.89/1.93 c Total time: 1.936 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-3462659-1307181657/watcher-3462659-1307181657 -o /tmp/evaluation-result-3462659-1307181657/solver-3462659-1307181657 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462659-1307181657.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.02 2.03 2.00 2/458 17424
/proc/meminfo: memFree=26102192/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=10792 CPUtime=0 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 318 0 0 0 0 0 0 0 25 0 1 0 829763901 11051008 271 33554432000 134512640 137138936 4290191344 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17424/statm: 2698 271 192 642 0 2054 0
[startup+0.036229 s]
/proc/loadavg: 2.02 2.03 2.00 2/458 17424
/proc/meminfo: memFree=26102192/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=11180 CPUtime=0.03 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 394 0 0 0 3 0 0 0 25 0 1 0 829763901 11448320 347 33554432000 134512640 137138936 4290191344 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17424/statm: 2795 347 192 642 0 2151 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11180
[startup+0.100229 s]
/proc/loadavg: 2.02 2.03 2.00 2/458 17424
/proc/meminfo: memFree=26102192/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=11568 CPUtime=0.09 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 509 0 0 0 9 0 0 0 25 0 1 0 829763901 11845632 462 33554432000 134512640 137138936 4290191344 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17424/statm: 2892 462 192 642 0 2248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11568
[startup+0.300192 s]
/proc/loadavg: 2.02 2.03 2.00 2/458 17424
/proc/meminfo: memFree=26102192/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=12220 CPUtime=0.29 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 648 0 0 0 29 0 0 0 25 0 1 0 829763901 12513280 601 33554432000 134512640 137138936 4290191344 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17424/statm: 3055 601 192 642 0 2411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12220
[startup+0.701122 s]
/proc/loadavg: 2.02 2.03 2.00 2/458 17424
/proc/meminfo: memFree=26102192/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=12216 CPUtime=0.69 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 659 0 0 0 69 0 0 0 25 0 1 0 829763901 12509184 612 33554432000 134512640 137138936 4290191344 18446744073709551615 134618124 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17424/statm: 3054 612 192 642 0 2410 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12216
[startup+1.501 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17425
/proc/meminfo: memFree=26099952/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=12476 CPUtime=1.49 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 739 0 0 0 149 0 0 0 25 0 1 0 829763901 12775424 692 33554432000 134512640 137138936 4290191344 18446744073709551615 134599648 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17424/statm: 3119 692 192 642 0 2475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12476
Solver just ended. Dumping a history of the last processes samples
[startup+1.90093 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17425
/proc/meminfo: memFree=26099952/32951124 swapFree=60688864/67111528
[pid=17424] ppid=17422 vsize=12476 CPUtime=1.89 cores=0,2,4,6
/proc/17424/stat : 17424 (bsolo) R 17422 17424 14960 0 -1 4202496 739 0 0 0 189 0 0 0 25 0 1 0 829763901 12775424 692 33554432000 134512640 137138936 4290191344 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17424/statm: 3119 692 192 642 0 2475 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 12476
Child status: 0
Real time (s): 1.93819
CPU time (s): 1.9377
CPU user time (s): 1.93271
CPU system time (s): 0.004999
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 12476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.93271
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740
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= 26
runsolver used 0.010998 second user time and 0.022996 second system time
The end
Begin job on node132 at 2011-06-04 12:00:57
IDJOB=3462659
IDBENCH=48075
IDSOLVER=1955
FILE ID=node132/3462659-1307181657
RUNJOBID= node132-1307174147-16199
PBS_JOBID= 13508840
Free space on /tmp= 73920 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=13-P1=23-P2=59-P3=41-P4=53-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462659-1307181657/watcher-3462659-1307181657 -o /tmp/evaluation-result-3462659-1307181657/solver-3462659-1307181657 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462659-1307181657.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 84a6dc06fba278aa97da18c43cb21b39
RANDOM SEED=1715865740
node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.833
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: 32951124 kB
MemFree: 26102488 kB
Buffers: 327456 kB
Cached: 3045320 kB
SwapCached: 15140 kB
Active: 1192404 kB
Inactive: 5394332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 26102488 kB
SwapTotal: 67111528 kB
SwapFree: 60688864 kB
Dirty: 3880 kB
Writeback: 0 kB
AnonPages: 3206496 kB
Mapped: 19900 kB
Slab: 144148 kB
PageTables: 50508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 109392428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73916 MiB
End job on node132 at 2011-06-04 12:00:59