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-3462528-1307181166.opb
0.00/0.00 c File size is 4178 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: 324 Constr: 451 216/0/235 Lit: 1902 Watch. Lit: 1190
0.00/0.00 c Obj. Vars: 6 (1.85185 % 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 324 451 1902 4 1628 2579 0 0 0.00
0.00/0.00 c Switching off lower bounding mode.
0.19/0.26 c 102 324 639 8272 12 2020 2837 188 10200 0.01
0.19/0.26 c 254 324 922 18629 20 2638 3121 471 8758 0.03
0.19/0.26 c 480 324 1342 33982 25 3572 3434 891 9600 0.05
0.19/0.26 c 818 324 1979 58097 29 5041 3778 1528 9738 0.08
0.19/0.26 c 1327 324 2947 91646 31 7358 4156 2496 9546 0.14
0.19/0.26 c 2092 324 4423 150792 34 10793 4572 3972 8203 0.26
0.19/0.26 o 7
1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
1.00/1.03 c 2154 324 4543 154798 34 11090 2592 4092 8159 0.26
1.00/1.03 c 2255 317 1941 61955 31 4861 2852 1490 8140 0.28
1.00/1.03 c 2505 317 2398 78182 32 5935 3138 1947 8240 0.30
1.00/1.03 c 2980 317 3277 103529 31 7891 3452 2826 8142 0.37
1.00/1.03 c 3793 310 2781 82004 29 6539 3798 2330 8299 0.46
1.00/1.03 c 5113 310 3132 97190 31 7483 4178 2681 7890 0.65
1.00/1.03 c 7194 310 2643 78273 29 6370 4596 2192 7266 0.99
1.00/1.03 o 5
2.49/2.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.49/2.50 c 7407 310 3029 90228 29 7317 2587 2578 7184 1.03
2.49/2.50 c 7508 310 1748 51999 29 4385 2846 1297 7150 1.05
2.49/2.50 c 7760 310 2231 74007 33 5545 3131 1780 7138 1.09
2.49/2.50 c 8239 310 3154 106882 33 7713 3445 2703 7239 1.14
2.49/2.50 c 9053 310 2838 86883 30 6961 3790 2387 6931 1.31
2.49/2.50 c 10373 300 3173 97495 30 7561 4170 2722 6966 1.49
2.49/2.50 c 12454 300 2540 82612 32 6124 4588 2089 6753 1.84
2.49/2.50 c 15678 300 3581 125564 35 8463 5047 3130 6362 2.46
2.49/2.50 o 3
2.59/2.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.59/2.60 c 15996 300 4132 145779 35 9578 2585 3681 6385 2.50
2.59/2.60 c 16097 283 1937 58832 30 4634 2844 1486 6390 2.52
2.59/2.60 c 16350 283 2429 75109 30 5905 3129 1978 6421 2.55
2.59/2.60 c 16826 283 3322 106719 32 8010 3442 2871 6469 2.60
2.59/2.60 o 2
2.59/2.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
2.59/2.60 c 16867 283 3401 109662 32 8221 2579 2950 6467 2.61
2.59/2.60 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 -x43 x44 -x45 -x46 -x47 -x48 x73 -x74 -x75 -x76 -x77 -x78 -x49 x50 -x51 -x52 -x53 -x54 x79 -x80 -x81 -x82 -x83 -x84 -x55 x56 -x57 -x58 -x59 -x60 x85 -x86 -x87 -x88 -x89 -x90 -x61 x62 -x63 -x64 -x65 -x66 x91 -x92 -x93 -x94 -x95 -x96 -x67 x68 x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
2.59/2.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
2.59/2.60 c 26 16867 1022 21977 3401 109662 2950 6467 2.61
2.59/2.60 c Objective: 2
2.59/2.60 s OPTIMUM FOUND
2.59/2.60 c Total time: 2.608 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-3462528-1307181166/watcher-3462528-1307181166 -o /tmp/evaluation-result-3462528-1307181166/solver-3462528-1307181166 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462528-1307181166.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.05 2.03 2.00 2/373 20992
/proc/meminfo: memFree=22725684/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=10916 CPUtime=0 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 339 0 0 0 0 0 0 0 25 0 1 0 829717089 11177984 291 33554432000 134512640 137138936 4290474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 2729 291 192 642 0 2085 0
[startup+0.06196 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20992
/proc/meminfo: memFree=22725684/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=11432 CPUtime=0.06 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 472 0 0 0 6 0 0 0 25 0 1 0 829717089 11706368 424 33554432000 134512640 137138936 4290474096 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 2858 424 192 642 0 2214 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11432
[startup+0.100975 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20992
/proc/meminfo: memFree=22725684/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=11956 CPUtime=0.1 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 583 0 0 0 10 0 0 0 25 0 1 0 829717089 12242944 535 33554432000 134512640 137138936 4290474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 2989 535 192 642 0 2345 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11956
[startup+0.300935 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20992
/proc/meminfo: memFree=22725684/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=13244 CPUtime=0.29 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 933 0 0 0 29 0 0 0 25 0 1 0 829717089 13561856 885 33554432000 134512640 137138936 4290474096 18446744073709551615 136501724 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 3311 885 192 642 0 2667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13244
[startup+0.700862 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20992
/proc/meminfo: memFree=22725684/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=13244 CPUtime=0.69 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 933 0 0 0 69 0 0 0 25 0 1 0 829717089 13561856 885 33554432000 134512640 137138936 4290474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 3311 885 192 642 0 2667 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13244
[startup+1.50072 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20993
/proc/meminfo: memFree=22722204/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=13244 CPUtime=1.49 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 933 0 0 0 149 0 0 0 25 0 1 0 829717089 13561856 885 33554432000 134512640 137138936 4290474096 18446744073709551615 134543140 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 3311 885 192 642 0 2667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13244
Solver just ended. Dumping a history of the last processes samples
[startup+2.30058 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20993
/proc/meminfo: memFree=22721088/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=13632 CPUtime=2.29 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 1014 0 0 0 229 0 0 0 25 0 1 0 829717089 13959168 966 33554432000 134512640 137138936 4290474096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 3408 966 192 642 0 2764 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13632
[startup+2.50053 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20993
/proc/meminfo: memFree=22721088/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=13760 CPUtime=2.49 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 1044 0 0 0 248 1 0 0 25 0 1 0 829717089 14090240 996 33554432000 134512640 137138936 4290474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 3440 996 192 642 0 2796 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 13760
[startup+2.60052 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20993
/proc/meminfo: memFree=22721088/32951124 swapFree=37148216/67111528
[pid=20992] ppid=20990 vsize=13760 CPUtime=2.59 cores=0,2,4,6
/proc/20992/stat : 20992 (bsolo) R 20990 20992 19222 0 -1 4202496 1044 0 0 0 258 1 0 0 25 0 1 0 829717089 14090240 996 33554432000 134512640 137138936 4290474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20992/statm: 3440 996 192 642 0 2796 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 13760
Child status: 0
Real time (s): 2.60993
CPU time (s): 2.6096
CPU user time (s): 2.5986
CPU system time (s): 0.010998
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 13760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.5986
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1045
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.008998 second user time and 0.029995 second system time
The end
Begin job on node104 at 2011-06-04 11:52:46
IDJOB=3462528
IDBENCH=47944
IDSOLVER=1955
FILE ID=node104/3462528-1307181166
RUNJOBID= node104-1307174925-20281
PBS_JOBID= 13508864
Free space on /tmp= 73952 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=37-P2=47-P3=2-P4=7-P5=29-P6=53-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462528-1307181166/watcher-3462528-1307181166 -o /tmp/evaluation-result-3462528-1307181166/solver-3462528-1307181166 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462528-1307181166.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= daba014eb092fb7e1b2012524271e492
RANDOM SEED=913738008
node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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 : 5293.18
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.855
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.855
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.855
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 22725964 kB
Buffers: 420132 kB
Cached: 7649660 kB
SwapCached: 163904 kB
Active: 3819728 kB
Inactive: 6067828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22725964 kB
SwapTotal: 67111528 kB
SwapFree: 37148216 kB
Dirty: 4036 kB
Writeback: 0 kB
AnonPages: 1677644 kB
Mapped: 11792 kB
Slab: 182328 kB
PageTables: 89168 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 87776220 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= 73948 MiB
End job on node104 at 2011-06-04 11:52:49