0.00/0.01 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01 c type "bsolo -h" for help
0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01 c Learning Strategy: Cardinality Constraint Learning
0.00/0.01 c Time Limit set to 1800
0.00/0.01 c Instance file HOME/instance-3462473-1307181000.opb
0.00/0.01 c File size is 3511 bytes.
0.00/0.01 c Highest Coefficient sum: 8064
0.00/0.01 c Parsing was ok!!
0.00/0.01 c Total parsing time: 0 s
0.00/0.01 c Var: 270 Constr: 376 180/0/196 Lit: 1584 Watch. Lit: 992
0.00/0.01 c Obj. Vars: 6 (2.22222 % of total variables)
0.00/0.01 c Pre-processing Time: 0 s
0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.01 c 0 270 376 1584 4 1356 2147 0 -2147483648 0.00
0.00/0.01 c Switching off lower bounding mode.
0.09/0.10 c 100 270 566 7607 13 1800 2362 190 11111 0.01
0.09/0.10 c 250 270 852 17706 20 2447 2599 476 10869 0.02
0.09/0.10 c 475 270 1261 32248 25 3467 2859 885 10326 0.05
0.09/0.10 c 814 270 1896 53178 28 4994 3145 1520 9465 0.09
0.09/0.10 o 29
1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.49/1.54 c 933 270 2125 60920 28 5506 2160 1749 9330 0.10
1.49/1.54 c 1034 262 2313 68155 29 5991 2377 1937 9150 0.11
1.49/1.54 c 1284 262 1567 44543 28 3901 2615 1191 8178 0.16
1.49/1.54 c 1761 262 2470 73858 29 6013 2877 2094 8152 0.22
1.49/1.54 c 2575 262 2365 69388 29 5665 3165 1989 7192 0.36
1.49/1.54 c 3895 262 3108 96596 31 7370 3482 2732 6992 0.56
1.49/1.54 c 5979 261 3134 94379 30 7286 3831 2758 6809 0.88
1.49/1.54 c 9202 260 2512 76581 30 6143 4215 2136 6114 1.50
1.49/1.54 o 17
1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.49/1.58 c 9488 260 2940 89603 30 7130 2157 2564 6177 1.54
1.49/1.58 c 9588 260 1623 44411 27 4021 2373 1247 6193 1.55
1.49/1.58 o 5
1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.59/1.61 c 9815 260 2011 57136 28 4958 2157 1635 6231 1.57
1.59/1.61 c 9916 244 2192 62476 28 5414 2373 1816 6248 1.59
1.59/1.61 o 3
2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.79/2.82 c 10066 244 2462 70567 28 6101 2153 2086 6263 1.61
2.79/2.82 c 10167 244 1472 37611 25 3760 2369 1096 6272 1.62
2.79/2.82 c 10417 227 1929 52602 27 4874 2606 1553 6290 1.66
2.79/2.82 c 10893 227 2802 80647 28 6921 2867 2426 6300 1.73
2.79/2.82 c 11707 227 2718 79817 29 6820 3154 2342 6237 1.88
2.79/2.82 c 13030 227 3418 104271 30 8203 3470 3042 6128 2.13
2.79/2.82 c 15112 219 3385 94417 27 8364 3818 3009 5803 2.60
2.79/2.82 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 x61 -x62 -x63 -x64 -x65 -x66 x43 -x44 -x45 -x46 -x47 -x48 x67 -x68 x69 x70 -x71 -x72 x49 -x50 x51 -x52 -x53 -x54 -x73 -x74 -x75 -x76 -x77 -x78 x55 -x56 -x57 -x58 -x59 -x60 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
2.79/2.82 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
2.79/2.82 c 23 15822 517 18763 2438 59487 2062 5612 2.82
2.79/2.82 c Objective: 3
2.79/2.82 s OPTIMUM FOUND
2.79/2.82 c Total time: 2.819 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-3462473-1307181000/watcher-3462473-1307181000 -o /tmp/evaluation-result-3462473-1307181000/solver-3462473-1307181000 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462473-1307181000.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.02 2.00 3/424 1319
/proc/meminfo: memFree=25510752/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/1319/stat : 1319 (runsolver) R 1317 1319 31765 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 829698228 12079104 50 33554432000 4194304 5432328 140735625584320 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/1319/statm: 2949 50 31 303 0 2643 0
[startup+0.0835011 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1319
/proc/meminfo: memFree=25510752/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=11572 CPUtime=0.07 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 500 0 0 0 7 0 0 0 25 0 1 0 829698228 11849728 453 33554432000 134512640 137138936 4288678704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 2893 453 192 642 0 2249 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11572
[startup+0.100457 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1319
/proc/meminfo: memFree=25510752/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=11704 CPUtime=0.09 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 534 0 0 0 9 0 0 0 25 0 1 0 829698228 11984896 487 33554432000 134512640 137138936 4288678704 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 2926 487 192 642 0 2282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11704
[startup+0.300459 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1319
/proc/meminfo: memFree=25510752/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=12480 CPUtime=0.29 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 716 0 0 0 29 0 0 0 25 0 1 0 829698228 12779520 669 33554432000 134512640 137138936 4288678704 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 3120 669 192 642 0 2476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12480
[startup+0.700315 s]
/proc/loadavg: 2.00 2.02 2.00 3/424 1319
/proc/meminfo: memFree=25510752/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=12868 CPUtime=0.68 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 813 0 0 0 68 0 0 0 25 0 1 0 829698228 13176832 766 33554432000 134512640 137138936 4288678704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 3217 766 192 642 0 2573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12868
[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1320
/proc/meminfo: memFree=25506032/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=13124 CPUtime=1.49 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 874 0 0 0 148 1 0 0 25 0 1 0 829698228 13438976 827 33554432000 134512640 137138936 4288678704 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 3281 827 192 642 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13124
Solver just ended. Dumping a history of the last processes samples
[startup+2.3011 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1320
/proc/meminfo: memFree=25501940/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=13112 CPUtime=2.29 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 874 0 0 0 228 1 0 0 25 0 1 0 829698228 13426688 827 33554432000 134512640 137138936 4288678704 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 3278 827 192 642 0 2634 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13112
[startup+2.70098 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1320
/proc/meminfo: memFree=25501940/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=13112 CPUtime=2.69 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 874 0 0 0 268 1 0 0 25 0 1 0 829698228 13426688 827 33554432000 134512640 137138936 4288678704 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 3278 827 192 642 0 2634 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 13112
[startup+2.80097 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1320
/proc/meminfo: memFree=25501940/32951124 swapFree=44043516/67111528
[pid=1319] ppid=1317 vsize=13112 CPUtime=2.79 cores=0,2,4,6
/proc/1319/stat : 1319 (bsolo) R 1317 1319 31765 0 -1 4202496 874 0 0 0 278 1 0 0 25 0 1 0 829698228 13426688 827 33554432000 134512640 137138936 4288678704 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1319/statm: 3278 827 192 642 0 2634 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 13112
Child status: 0
Real time (s): 2.82541
CPU time (s): 2.82057
CPU user time (s): 2.80457
CPU system time (s): 0.015997
CPU usage (%): 99.8287
Max. virtual memory (cumulated for all children) (KiB): 13124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.80457
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 875
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= 6
runsolver used 0.014997 second user time and 0.030995 second system time
The end
Begin job on node134 at 2011-06-04 11:50:00
IDJOB=3462473
IDBENCH=47889
IDSOLVER=1955
FILE ID=node134/3462473-1307181000
RUNJOBID= node134-1307175438-486
PBS_JOBID= 13508837
Free space on /tmp= 74016 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=17-P2=37-P3=53-P4=13-P5=13-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462473-1307181000/watcher-3462473-1307181000 -o /tmp/evaluation-result-3462473-1307181000/solver-3462473-1307181000 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462473-1307181000.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 4a54e07caaccf9019e5a54d4dcd3a55b
RANDOM SEED=1107975849
node134.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.831
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.831
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.67
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.831
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.831
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 : 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25510908 kB
Buffers: 298488 kB
Cached: 655708 kB
SwapCached: 9536 kB
Active: 6528240 kB
Inactive: 617320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25510908 kB
SwapTotal: 67111528 kB
SwapFree: 44043516 kB
Dirty: 3976 kB
Writeback: 0 kB
AnonPages: 6189172 kB
Mapped: 21568 kB
Slab: 137424 kB
PageTables: 89912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 111141564 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= 74012 MiB
End job on node134 at 2011-06-04 11:50:03