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-3462602-1307181432.opb
0.00/0.01 c File size is 1934 bytes.
0.00/0.01 c Highest Coefficient sum: 32512
0.00/0.01 c Parsing was ok!!
0.00/0.01 c Total parsing time: 0 s
0.00/0.01 c Var: 140 Constr: 203 98/0/105 Lit: 847 Watch. Lit: 528
0.00/0.01 c Obj. Vars: 7 (5 % of total variables)
0.00/0.02 c Pre-processing Time: 0 s
0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.02 c 0 140 203 847 4 727 1138 0 -2147483648 0.00
0.00/0.02 c Switching off lower bounding mode.
0.00/0.07 c 105 140 402 8231 20 1227 1252 199 9545 0.01
0.00/0.07 c 256 140 683 18418 26 1925 1378 480 9142 0.03
0.00/0.07 o 37
0.06/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.06/0.08 c 479 140 1104 33116 29 3021 1152 901 8258 0.06
0.06/0.08 o 19
0.37/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.37/0.48 c 539 140 1215 37147 30 3307 1152 1012 8166 0.07
0.37/0.48 c 640 140 780 25364 32 1867 1268 577 7804 0.08
0.37/0.48 c 892 140 1264 43385 34 3001 1395 1061 7689 0.12
0.37/0.48 c 1367 140 1461 51984 35 3428 1535 1258 7271 0.19
0.37/0.48 c 2180 140 1397 50746 36 3276 1689 1194 6812 0.32
0.37/0.48 o 7
0.47/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.47/0.57 c 3150 122 1454 52425 36 3453 1148 1251 6716 0.47
0.47/0.57 c 3251 122 977 33905 34 2320 1263 774 6730 0.48
0.47/0.57 c 3502 122 1462 53188 36 3492 1390 1259 6773 0.52
0.47/0.57 o 5
0.57/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.57/0.69 c 3762 104 1185 40726 34 2799 1144 982 6741 0.56
0.57/0.69 c 3862 104 1383 49054 35 3269 1259 1180 6763 0.57
0.57/0.69 c 4112 104 1170 40178 34 2785 1385 967 6740 0.61
0.57/0.69 o 3
1.17/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.17/1.27 c 4530 104 1201 40237 33 2840 1144 998 6681 0.68
1.17/1.27 c 4631 96 781 24482 31 1853 1259 578 6682 0.69
1.17/1.27 c 4881 96 1267 42665 33 2978 1385 1064 6695 0.73
1.17/1.27 c 5358 85 1368 45654 33 3223 1524 1165 6697 0.80
1.17/1.27 c 6171 85 1093 32232 29 2563 1677 890 6722 0.92
1.17/1.27 c 7491 82 1641 56236 34 3838 1845 1438 6658 1.12
1.17/1.27 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
1.17/1.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
1.17/1.27 c 20 8281 148 9186 1877 58948 1674 6614 1.25
1.17/1.27 c Objective: 3
1.17/1.27 s OPTIMUM FOUND
1.17/1.27 c Total time: 1.252 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-3462602-1307181432/watcher-3462602-1307181432 -o /tmp/evaluation-result-3462602-1307181432/solver-3462602-1307181432 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462602-1307181432.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.15 2.03 2.01 2/511 7118
/proc/meminfo: memFree=16669228/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/7118/stat : 7118 (runsolver) R 7116 7118 5093 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 810559350 12079104 52 33554432000 4194304 5432328 140735302943696 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/7118/statm: 2949 52 31 303 0 2643 0
[startup+0.0833561 s]
/proc/loadavg: 2.15 2.03 2.01 2/511 7118
/proc/meminfo: memFree=16669228/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11312 CPUtime=0.06 cores=0,2,4,6
/proc/7118/stat : 7118 (bsolo) R 7116 7118 5093 0 -1 4202496 433 0 0 0 6 0 0 0 25 0 1 0 810559350 11583488 387 33554432000 134512640 137138936 4287961760 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7118/statm: 2828 387 192 642 0 2184 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11312
[startup+0.10034 s]
/proc/loadavg: 2.15 2.03 2.01 2/511 7118
/proc/meminfo: memFree=16669228/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11440 CPUtime=0.08 cores=0,2,4,6
/proc/7118/stat : 7118 (bsolo) R 7116 7118 5093 0 -1 4202496 464 0 0 0 8 0 0 0 25 0 1 0 810559350 11714560 418 33554432000 134512640 137138936 4287961760 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7118/statm: 2860 418 192 642 0 2216 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11440
[startup+0.300258 s]
/proc/loadavg: 2.15 2.03 2.01 2/511 7118
/proc/meminfo: memFree=16669228/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11704 CPUtime=0.27 cores=0,2,4,6
/proc/7118/stat : 7118 (bsolo) R 7116 7118 5093 0 -1 4202496 544 0 0 0 27 0 0 0 25 0 1 0 810559350 11984896 498 33554432000 134512640 137138936 4287961760 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7118/statm: 2926 498 192 642 0 2282 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11704
[startup+0.700202 s]
/proc/loadavg: 2.15 2.03 2.01 2/511 7118
/proc/meminfo: memFree=16669228/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11832 CPUtime=0.67 cores=0,2,4,6
/proc/7118/stat : 7118 (bsolo) R 7116 7118 5093 0 -1 4202496 573 0 0 0 67 0 0 0 25 0 1 0 810559350 12115968 527 33554432000 134512640 137138936 4287961760 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7118/statm: 2958 527 192 642 0 2314 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11832
Solver just ended. Dumping a history of the last processes samples
[startup+1.11912 s]
/proc/loadavg: 2.15 2.03 2.01 3/512 7120
/proc/meminfo: memFree=16669104/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11832 CPUtime=1.09 cores=0,2,4,6
/proc/7118/stat : 7118 (bsolo) R 7116 7118 5093 0 -1 4202496 573 0 0 0 109 0 0 0 25 0 1 0 810559350 12115968 527 33554432000 134512640 137138936 4287961760 18446744073709551615 134544782 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7118/statm: 2958 527 192 642 0 2314 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 11832
[startup+1.2011 s]
/proc/loadavg: 2.15 2.03 2.01 3/512 7120
/proc/meminfo: memFree=16669104/32951124 swapFree=67111204/67111528
[pid=7118] ppid=7116 vsize=11964 CPUtime=1.17 cores=0,2,4,6
/proc/7118/stat : 7118 (bsolo) R 7116 7118 5093 0 -1 4202496 588 0 0 0 117 0 0 0 25 0 1 0 810559350 12251136 542 33554432000 134512640 137138936 4287961760 18446744073709551615 134606839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7118/statm: 2991 542 192 642 0 2347 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 11964
Child status: 0
Real time (s): 1.27297
CPU time (s): 1.25381
CPU user time (s): 1.24781
CPU system time (s): 0.005999
CPU usage (%): 98.4948
Max. virtual memory (cumulated for all children) (KiB): 11964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.24781
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589
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= 17
runsolver used 0.012998 second user time and 0.023996 second system time
The end
Begin job on node144 at 2011-06-04 11:57:12
IDJOB=3462602
IDBENCH=48018
IDSOLVER=1955
FILE ID=node144/3462602-1307181432
RUNJOBID= node144-1307175565-6572
PBS_JOBID= 13508845
Free space on /tmp= 73924 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462602-1307181432/watcher-3462602-1307181432 -o /tmp/evaluation-result-3462602-1307181432/solver-3462602-1307181432 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462602-1307181432.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6b89f4f008f41d9515b4e0d45a9d302b
RANDOM SEED=2104567865
node144.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.850
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.70
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.850
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.16
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.850
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.75
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.850
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.83
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.850
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.75
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.850
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.82
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.850
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.850
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 16671244 kB
Buffers: 313288 kB
Cached: 474960 kB
SwapCached: 140 kB
Active: 15594872 kB
Inactive: 410728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 16671244 kB
SwapTotal: 67111528 kB
SwapFree: 67111204 kB
Dirty: 4188 kB
Writeback: 0 kB
AnonPages: 15217072 kB
Mapped: 43548 kB
Slab: 136580 kB
PageTables: 69424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 157830608 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= 73920 MiB
End job on node144 at 2011-06-04 11:57:14