Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 84.2632 | 84.2613 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo |
MD5SUM | a56ccccf952bf820f5367d29dba24868 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 24.5563 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 135715 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135714 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689569-1277926438.wbo. 0.00/0.00 c Instance file HOME/instance-2689569-1277926438.wbo 0.00/0.00 c File size is 96740 bytes. 0.00/0.00 c Highest Coefficient sum: 695 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 231 2707 8338 | 5500 100 27 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 28 | 0.002 % | 0.00/0.02 c | 478 | 231 2707 8338 | 6655 478 32 | 0.002 % | 0.00/0.03 c | 815 | 231 2707 8338 | 7320 815 32 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 31 | 0.002 % | 0.00/0.06 c | 2084 | 231 2707 8338 | 8857 2084 31 | 0.002 % | 0.09/0.10 c | 3224 | 231 2707 8338 | 9743 3224 30 | 0.002 % | 0.09/0.17 c | 4932 | 231 2707 8338 | 10717 4932 32 | 0.002 % | 0.29/0.31 c | 7496 | 231 2707 8338 | 11789 7496 34 | 0.002 % | 0.49/0.53 c | 11340 | 231 2707 8338 | 12968 11340 33 | 0.002 % | 0.79/0.88 c | 17106 | 231 2707 8338 | 14265 10560 33 | 0.002 % | 1.39/1.46 c | 25756 | 231 2707 8338 | 15692 12030 34 | 0.002 % | 2.39/2.48 c | 38731 | 231 2707 8338 | 17261 9214 37 | 0.002 % | 3.89/3.90 c | 58192 | 231 2707 8338 | 18987 11306 36 | 0.002 % | 6.19/6.27 c | 87386 | 231 2707 8338 | 20886 11873 34 | 0.002 % | 9.99/10.09 c | 131176 | 231 2707 8338 | 22974 13684 34 | 0.002 % | 16.79/16.80 c | 196860 | 231 2707 8338 | 25272 21684 40 | 0.002 % | 26.69/26.71 c | 295386 | 231 2707 8338 | 27799 13136 39 | 0.002 % | 41.99/42.02 c | 443177 | 231 2707 8338 | 30579 20251 37 | 0.002 % | 66.09/66.13 c | 664860 | 231 2707 8338 | 33637 22122 37 | 0.002 % | 73.89/73.97 c =============================================================================== 78.79/78.86 c core #1 78.79/78.86 c ============================[ Search Statistics ]============================== 78.79/78.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.79/78.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.79/78.86 c =============================================================================== 78.79/78.86 c | 0 | 1585 5225 20121 | 5000 0 nan | 0.000 % | 78.99/79.02 c | 100 | 1585 5225 20121 | 5500 100 22 | 0.000 % | 78.99/79.02 c | 250 | 1585 5225 20121 | 6050 250 32 | 0.000 % | 78.99/79.04 c | 475 | 1585 5225 20121 | 6655 475 31 | 0.000 % | 78.99/79.06 c | 815 | 1585 5225 20121 | 7320 815 29 | 0.000 % | 78.99/79.08 c | 1321 | 1585 5225 20121 | 8052 1321 30 | 0.000 % | 79.10/79.11 c | 2081 | 1585 5225 20121 | 8857 2081 32 | 0.000 % | 79.10/79.16 c | 3221 | 1585 5225 20121 | 9743 3221 32 | 0.000 % | 79.20/79.25 c | 4929 | 1585 5225 20121 | 10717 4929 30 | 0.000 % | 79.29/79.39 c | 7491 | 1585 5225 20121 | 11789 7491 31 | 0.000 % | 79.59/79.63 c | 11337 | 1585 5225 20121 | 12968 11337 33 | 0.000 % | 79.99/80.02 c | 17103 | 1585 5225 20121 | 14265 10568 34 | 0.000 % | 80.59/80.69 c | 25753 | 1585 5225 20121 | 15692 12042 36 | 0.000 % | 81.79/81.84 c | 38730 | 1585 5225 20121 | 17261 9232 38 | 0.000 % | 83.69/83.70 c | 58191 | 1585 5225 20121 | 18987 11328 43 | 0.000 % | 84.20/84.25 c =============================================================================== 84.20/84.25 c #cores: 1 84.20/84.25 c Final Weight: 1 84.20/84.25 o 1 84.20/84.25 s OPTIMUM FOUND 84.20/84.25 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 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 84.20/84.25 c Total CPU time: 82.6604 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689569-1277926438/watcher-2689569-1277926438 -o /tmp/evaluation-result-2689569-1277926438/solver-2689569-1277926438 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689569-1277926438.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/178 14090 /proc/meminfo: memFree=30777264/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=2668 CPUtime=0 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 302 0 0 0 0 0 0 0 22 0 1 0 133941012 2732032 221 4089446400 134512640 135751879 4289814640 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 667 222 146 303 0 338 0 [startup+0.0929389 s] /proc/loadavg: 2.02 2.01 2.00 3/178 14090 /proc/meminfo: memFree=30777264/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=3640 CPUtime=0.09 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 565 0 0 0 8 1 0 0 23 0 1 0 133941012 3727360 460 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 910 460 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.100943 s] /proc/loadavg: 2.02 2.01 2.00 3/178 14090 /proc/meminfo: memFree=30777264/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=3640 CPUtime=0.09 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 581 0 0 0 8 1 0 0 23 0 1 0 133941012 3727360 476 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 910 476 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300901 s] /proc/loadavg: 2.02 2.01 2.00 3/178 14090 /proc/meminfo: memFree=30777264/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=5096 CPUtime=0.29 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 932 0 0 0 27 2 0 0 23 0 1 0 133941012 5218304 827 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 1274 827 143 303 0 969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.70083 s] /proc/loadavg: 2.02 2.01 2.00 3/178 14090 /proc/meminfo: memFree=30777264/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=7248 CPUtime=0.69 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 1468 0 0 0 66 3 0 0 25 0 1 0 133941012 7421952 1363 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 1812 1363 143 303 0 1507 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7248 [startup+1.5007 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14091 /proc/meminfo: memFree=30770560/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=10944 CPUtime=1.49 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 2416 0 0 0 144 5 0 0 25 0 1 0 133941012 11206656 2311 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 2736 2311 143 303 0 2431 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10944 [startup+3.10041 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14091 /proc/meminfo: memFree=30765724/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=17808 CPUtime=3.09 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 4115 0 0 0 299 10 0 0 25 0 1 0 133941012 18235392 4010 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 4452 4010 143 303 0 4147 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17808 [startup+6.30084 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14091 /proc/meminfo: memFree=30752528/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=30260 CPUtime=6.29 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 7240 0 0 0 611 18 0 0 25 0 1 0 133941012 30986240 7135 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 7565 7135 143 303 0 7260 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30260 [startup+12.7007 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14092 /proc/meminfo: memFree=30728776/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=52968 CPUtime=12.69 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 12894 0 0 0 1237 32 0 0 25 0 1 0 133941012 54239232 12789 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 13242 12789 143 303 0 12937 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52968 [startup+25.5004 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14092 /proc/meminfo: memFree=30685792/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=92492 CPUtime=25.49 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 22803 0 0 0 2491 58 0 0 25 0 1 0 133941012 94711808 22698 4089446400 134512640 135751879 4289814640 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 23123 22698 143 303 0 22818 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92492 [startup+51.1009 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30606612/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=167804 CPUtime=51.09 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 41577 0 0 0 5008 101 0 0 25 0 1 0 133941012 171831296 41472 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 41951 41472 143 303 0 41646 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 167804 Solver just ended. Dumping a history of the last processes samples [startup+63.9006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30566432/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=204780 CPUtime=63.89 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 50836 0 0 0 6264 125 0 0 25 0 1 0 133941012 209694720 50731 4089446400 134512640 135751879 4289814640 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 51195 50731 143 303 0 50890 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 204780 [startup+76.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30514340/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256676 CPUtime=76.69 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63812 0 0 0 7525 144 0 0 25 0 1 0 133941012 262836224 63707 4089446400 134512640 135751879 4289814640 18446744073709551615 134713818 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64169 63707 143 303 0 63864 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 256676 [startup+79.9008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30510244/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256776 CPUtime=79.89 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63885 0 0 0 7841 148 0 0 19 0 1 0 133941012 262938624 63747 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64194 63747 146 303 0 63889 0 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (KiB) 256776 [startup+81.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30509624/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256776 CPUtime=81.49 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63885 0 0 0 7996 153 0 0 22 0 1 0 133941012 262938624 63747 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64194 63747 146 303 0 63889 0 Current children cumulated CPU time (s) 81.49 Current children cumulated vsize (KiB) 256776 [startup+83.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30509624/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256776 CPUtime=83.09 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63885 0 0 0 8153 156 0 0 25 0 1 0 133941012 262938624 63747 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64194 63747 146 303 0 63889 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 256776 [startup+83.9001 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30509624/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256776 CPUtime=83.89 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63885 0 0 0 8231 158 0 0 25 0 1 0 133941012 262938624 63747 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64194 63747 146 303 0 63889 0 Current children cumulated CPU time (s) 83.89 Current children cumulated vsize (KiB) 256776 [startup+84.1011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30509624/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256776 CPUtime=84.1 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63885 0 0 0 8251 159 0 0 25 0 1 0 133941012 262938624 63747 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64194 63747 146 303 0 63889 0 Current children cumulated CPU time (s) 84.1 Current children cumulated vsize (KiB) 256776 [startup+84.201 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14093 /proc/meminfo: memFree=30509624/32951124 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=256776 CPUtime=84.2 /proc/14090/stat : 14090 (wbo1.4a) R 14088 14090 12243 0 -1 4202496 63885 0 0 0 8261 159 0 0 25 0 1 0 133941012 262938624 63747 4089446400 134512640 135751879 4289814640 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14090/statm: 64194 63747 146 303 0 63889 0 Current children cumulated CPU time (s) 84.2 Current children cumulated vsize (KiB) 256776 Child status: 0 Real time (s): 84.2613 CPU time (s): 84.2632 CPU user time (s): 82.6604 CPU system time (s): 1.60276 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 256940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 82.6604 system time used= 1.60276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63885 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= 3 involuntary context switches= 910 runsolver used 0.123981 second user time and 0.266959 second system time The end
Begin job on node108 at 2010-06-30 21:33:58 IDJOB=2689569 IDBENCH=79270 IDSOLVER=1200 FILE ID=node108/2689569-1277926438 PBS_JOBID= 11197295 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689569-1277926438/watcher-2689569-1277926438 -o /tmp/evaluation-result-2689569-1277926438/solver-2689569-1277926438 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689569-1277926438.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a56ccccf952bf820f5367d29dba24868 RANDOM SEED=608349238 node108.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 : 5320.05 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.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.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.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.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 : 5332.79 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.74 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30777784 kB Buffers: 208124 kB Cached: 1175636 kB SwapCached: 0 kB Active: 1169656 kB Inactive: 858520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30777784 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 645272 kB Mapped: 17624 kB Slab: 79536 kB PageTables: 6400 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 853880 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= 74204 MiB End job on node108 at 2010-06-30 21:35:22