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-3462678-1307181736.opb
0.00/0.00 c File size is 3511 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: 270 Constr: 376 180/0/196 Lit: 1584 Watch. Lit: 992
0.00/0.00 c Obj. Vars: 6 (2.22222 % of total variables)
0.00/0.00 c Pre-processing Time: 0.001 s
0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.00 c 0 270 376 1584 4 1356 2147 0 0 0.00
0.00/0.00 c Switching off lower bounding mode.
1.89/1.92 c 101 270 558 7204 12 1739 2362 182 11222 0.01
1.89/1.92 c 251 270 839 16008 19 2333 2599 463 10913 0.02
1.89/1.92 c 476 270 1266 29930 23 3320 2859 890 10577 0.04
1.89/1.92 c 814 270 1905 54100 28 4846 3145 1529 9690 0.08
1.89/1.92 c 1323 270 2875 81836 28 7052 3460 2499 8320 0.16
1.89/1.92 c 2086 270 2306 63338 27 5505 3807 1930 7476 0.28
1.89/1.92 c 3232 270 2380 86799 36 5683 4188 2004 6063 0.53
1.89/1.92 c 4953 269 3383 108523 32 7822 4607 3007 5931 0.83
1.89/1.92 c 7539 269 3069 91684 29 7427 5068 2693 5272 1.43
1.89/1.92 o 37
2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.09/2.14 c 9923 268 4755 151548 31 11322 2159 4379 5165 1.92
2.09/2.14 c 10024 268 1655 48209 29 4090 2375 1279 5172 1.94
2.09/2.14 c 10275 268 2104 63843 30 5107 2613 1728 5210 1.97
2.09/2.14 c 10751 268 2936 93111 31 7113 2875 2560 5249 2.05
2.09/2.14 o 9
2.09/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.09/2.18 c 11300 268 2450 74215 30 5986 2160 2074 5277 2.14
2.09/2.18 c 11401 261 1462 39651 27 3530 2377 1086 5285 2.16
2.09/2.18 o 3
3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
3.19/3.22 c 11535 252 1688 46694 27 4103 2156 1312 5308 2.17
3.19/3.22 c 11635 244 1870 52050 27 4511 2372 1494 5320 2.19
3.19/3.22 c 11887 244 2328 65550 28 5642 2610 1952 5337 2.23
3.19/3.22 c 12363 244 1691 43535 25 4180 2872 1315 5340 2.31
3.19/3.22 c 13177 244 3096 87909 28 7525 3160 2720 5300 2.49
3.19/3.22 c 14503 226 2040 53890 26 4853 3477 1664 5330 2.72
3.19/3.22 c 16585 211 3523 91769 26 8621 3825 3147 5199 3.19
3.19/3.22 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
3.19/3.22 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
3.19/3.22 c 22 16662 468 19755 3613 93402 3237 5182 3.21
3.19/3.22 c Objective: 3
3.19/3.22 s OPTIMUM FOUND
3.19/3.22 c Total time: 3.215 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-3462678-1307181736/watcher-3462678-1307181736 -o /tmp/evaluation-result-3462678-1307181736/solver-3462678-1307181736 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462678-1307181736.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.01 2.00 2/483 25438
/proc/meminfo: memFree=24732288/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=10792 CPUtime=0 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 314 0 0 0 0 0 0 0 25 0 1 0 908404288 11051008 267 33554432000 134512640 137138936 4286827360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 2698 267 192 642 0 2054 0
[startup+0.0480019 s]
/proc/loadavg: 2.02 2.01 2.00 2/483 25438
/proc/meminfo: memFree=24732288/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=11184 CPUtime=0.04 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 410 0 0 0 4 0 0 0 25 0 1 0 908404288 11452416 363 33554432000 134512640 137138936 4286827360 18446744073709551615 136500226 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 2796 363 192 642 0 2152 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11184
[startup+0.10107 s]
/proc/loadavg: 2.02 2.01 2.00 2/483 25438
/proc/meminfo: memFree=24732288/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=11704 CPUtime=0.09 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 537 0 0 0 9 0 0 0 25 0 1 0 908404288 11984896 490 33554432000 134512640 137138936 4286827360 18446744073709551615 134542835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 2926 491 192 642 0 2282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11704
[startup+0.301039 s]
/proc/loadavg: 2.02 2.01 2.00 2/483 25438
/proc/meminfo: memFree=24732288/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=12736 CPUtime=0.29 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 799 0 0 0 29 0 0 0 25 0 1 0 908404288 13041664 752 33554432000 134512640 137138936 4286827360 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 3184 752 192 642 0 2540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12736
[startup+0.700961 s]
/proc/loadavg: 2.02 2.01 2.00 2/483 25438
/proc/meminfo: memFree=24732288/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=13260 CPUtime=0.68 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 905 0 0 0 68 0 0 0 25 0 1 0 908404288 13578240 858 33554432000 134512640 137138936 4286827360 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 3315 858 192 642 0 2671 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13260
[startup+1.50082 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25439
/proc/meminfo: memFree=24728808/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=13520 CPUtime=1.48 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 986 0 0 0 148 0 0 0 25 0 1 0 908404288 13844480 939 33554432000 134512640 137138936 4286827360 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 3380 939 192 642 0 2736 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13520
[startup+3.10052 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25439
/proc/meminfo: memFree=24727808/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=13648 CPUtime=3.08 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 1007 0 0 0 307 1 0 0 25 0 1 0 908404288 13975552 960 33554432000 134512640 137138936 4286827360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 3412 960 192 642 0 2768 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13648
Solver just ended. Dumping a history of the last processes samples
[startup+3.20045 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 25439
/proc/meminfo: memFree=24728056/32950928 swapFree=61542356/67111528
[pid=25438] ppid=25436 vsize=13648 CPUtime=3.19 cores=0,2,4,6
/proc/25438/stat : 25438 (bsolo) R 25436 25438 22562 0 -1 4202496 1007 0 0 0 318 1 0 0 25 0 1 0 908404288 13975552 960 33554432000 134512640 137138936 4286827360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25438/statm: 3412 960 192 642 0 2768 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 13648
Child status: 0
Real time (s): 3.2228
CPU time (s): 3.21651
CPU user time (s): 3.20151
CPU system time (s): 0.014997
CPU usage (%): 99.8049
Max. virtual memory (cumulated for all children) (KiB): 13648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.20151
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1008
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= 8
runsolver used 0.019996 second user time and 0.048992 second system time
The end
Begin job on node116 at 2011-06-04 12:02:16
IDJOB=3462678
IDBENCH=48094
IDSOLVER=1955
FILE ID=node116/3462678-1307181736
RUNJOBID= node116-1307173957-24164
PBS_JOBID= 13508818
Free space on /tmp= 73884 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=17-P2=17-P3=13-P4=17-P5=61-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462678-1307181736/watcher-3462678-1307181736 -o /tmp/evaluation-result-3462678-1307181736/solver-3462678-1307181736 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462678-1307181736.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 6f1f899f949e1f48428c6b51222a95ba
RANDOM SEED=1129508149
node116.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.826
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.65
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.826
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.15
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.826
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.826
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.826
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.826
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.826
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.826
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: 24732444 kB
Buffers: 275088 kB
Cached: 507488 kB
SwapCached: 12580 kB
Active: 7556504 kB
Inactive: 391476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24732444 kB
SwapTotal: 67111528 kB
SwapFree: 61542356 kB
Dirty: 4060 kB
Writeback: 0 kB
AnonPages: 7163260 kB
Mapped: 23324 kB
Slab: 140684 kB
PageTables: 62404 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 139665412 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= 73880 MiB
End job on node116 at 2011-06-04 12:02:19