Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | 7 | 182.687 | 182.751 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
MD5SUM | b258fc1dc8cb1827e842a0b9558712c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.090985 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 435 |
Total number of constraints | 501 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 98 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 435 |
Biggest coefficient in the objective function | 282 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1168 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 282 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1168 |
Number of bits of the biggest sum of numbers | 11 |
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 opb file format. File HOME/instance-2656218-1276480945.opb. 0.00/0.00 c Instance file HOME/instance-2656218-1276480945.opb 0.00/0.00 c File size is 20180 bytes. 0.00/0.00 c Highest Coefficient sum: 19 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 435 | 0.00/0.00 c | Number Clauses: 404 | 0.00/0.00 c | Number Cardinality: 97 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 434 501 1689 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 327 0.00/0.00 o 327 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 434 502 2124 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 325 0.00/0.00 o 325 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 1 | 434 503 2559 | 5000 1 169 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 301 0.00/0.01 o 301 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 434 504 2994 | 5000 1 169 | 0.000 % | 0.00/0.02 c | 103 | 434 504 2994 | 5500 103 190 | 0.230 % | 0.00/0.03 c | 254 | 434 504 2994 | 6050 254 180 | 0.235 % | 0.00/0.05 c | 481 | 434 504 2994 | 6655 481 181 | 0.230 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 296 0.00/0.05 o 296 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 481 | 434 505 3429 | 5000 481 181 | 0.230 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 295 0.00/0.06 o 295 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 516 | 434 506 3864 | 5000 516 180 | 0.230 % | 0.00/0.07 c | 616 | 434 506 3864 | 5500 616 180 | 0.247 % | 0.07/0.09 c | 766 | 434 506 3864 | 6050 766 179 | 0.248 % | 0.09/0.11 c | 992 | 434 506 3864 | 6655 992 181 | 0.237 % | 0.09/0.15 c | 1329 | 434 506 3864 | 7320 1329 181 | 0.249 % | 0.19/0.21 c | 1835 | 434 506 3864 | 8052 1835 181 | 0.232 % | 0.19/0.29 c | 2594 | 434 506 3864 | 8857 2594 184 | 0.232 % | 0.39/0.43 c | 3734 | 434 506 3864 | 9743 3734 184 | 0.232 % | 0.59/0.66 c | 5443 | 434 506 3864 | 10717 5443 186 | 0.232 % | 0.89/0.99 c | 8007 | 434 506 3864 | 11789 8007 185 | 0.232 % | 1.49/1.59 c | 11852 | 434 506 3864 | 12968 11852 181 | 0.232 % | 2.39/2.46 c | 17618 | 434 506 3864 | 14265 10936 185 | 0.232 % | 3.20/3.25 c =============================================================================== 3.20/3.25 c New solution: 294 3.20/3.25 o 294 3.20/3.25 c Elapsed CPU time: 3.17552 s Remaining CPU time: 176.824 s 3.20/3.25 c =============================================================================== 3.20/3.25 c | 22290 | 434 507 4299 | 5000 8291 192 | 0.232 % | 3.20/3.28 c | 22390 | 434 507 4299 | 5500 4246 190 | 0.232 % | 3.20/3.30 c | 22541 | 434 507 4299 | 6050 4397 190 | 0.232 % | 3.30/3.32 c | 22767 | 434 507 4299 | 6655 4623 190 | 0.247 % | 3.30/3.34 c =============================================================================== 3.30/3.34 c New solution: 293 3.30/3.34 o 293 3.30/3.34 c Elapsed CPU time: 3.2615 s Remaining CPU time: 176.738 s 3.30/3.34 c =============================================================================== 3.30/3.34 c | 22844 | 434 508 4734 | 5000 4700 189 | 0.247 % | 3.30/3.35 c | 22945 | 434 508 4734 | 5500 4801 189 | 0.237 % | 3.30/3.36 c | 23095 | 434 508 4734 | 6050 4951 189 | 0.239 % | 3.30/3.39 c | 23320 | 434 508 4734 | 6655 5176 189 | 0.247 % | 3.39/3.44 c | 23657 | 434 508 4734 | 7320 5513 188 | 0.248 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c New solution: 292 3.39/3.44 o 292 3.39/3.44 c Elapsed CPU time: 3.36449 s Remaining CPU time: 176.636 s 3.39/3.44 c =============================================================================== 3.39/3.44 c | 23664 | 434 509 5169 | 5000 5520 188 | 0.248 % | 3.39/3.47 c | 23765 | 434 509 5169 | 5500 2861 186 | 0.249 % | 3.39/3.49 c | 23916 | 434 509 5169 | 6050 3012 186 | 0.247 % | 3.49/3.53 c | 24142 | 434 509 5169 | 6655 3238 185 | 0.244 % | 3.49/3.57 c | 24479 | 434 509 5169 | 7320 3575 186 | 0.248 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c New solution: 291 3.49/3.58 o 291 3.49/3.58 c Elapsed CPU time: 3.50247 s Remaining CPU time: 176.498 s 3.49/3.58 c =============================================================================== 3.49/3.58 c | 24606 | 434 510 5604 | 5000 3702 186 | 0.248 % | 3.59/3.60 c | 24708 | 434 510 5604 | 5500 3804 186 | 0.232 % | 3.59/3.62 c | 24860 | 434 510 5604 | 6050 3956 186 | 0.235 % | 3.59/3.65 c | 25086 | 434 510 5604 | 6655 4182 185 | 0.248 % | 3.59/3.69 c | 25424 | 434 510 5604 | 7320 4520 184 | 0.249 % | 3.69/3.76 c | 25930 | 434 510 5604 | 8052 5026 185 | 0.247 % | 3.79/3.86 c | 26690 | 434 510 5604 | 8857 5786 183 | 0.232 % | 3.99/4.03 c | 27829 | 434 510 5604 | 9743 6925 183 | 0.232 % | 4.19/4.29 c | 29537 | 434 510 5604 | 10717 8633 181 | 0.232 % | 4.59/4.69 c | 32099 | 434 510 5604 | 11789 5654 179 | 0.230 % | 5.29/5.33 c | 35943 | 434 510 5604 | 12968 9498 180 | 0.231 % | 6.09/6.19 c =============================================================================== 6.09/6.19 c New solution: 290 6.09/6.19 o 290 6.09/6.19 c Elapsed CPU time: 6.04408 s Remaining CPU time: 173.956 s 6.09/6.19 c =============================================================================== 6.09/6.19 c | 40560 | 434 511 6039 | 5000 7432 181 | 0.231 % | 6.19/6.21 c | 40660 | 434 511 6039 | 5500 3816 181 | 0.230 % | 6.19/6.23 c | 40810 | 434 511 6039 | 6050 3966 181 | 0.232 % | 6.19/6.27 c | 41035 | 434 511 6039 | 6655 4191 181 | 0.236 % | 6.29/6.31 c | 41372 | 434 511 6039 | 7320 4528 182 | 0.249 % | 6.29/6.39 c | 41878 | 434 511 6039 | 8052 5034 180 | 0.248 % | 6.39/6.49 c | 42638 | 434 511 6039 | 8857 5794 181 | 0.238 % | 6.60/6.66 c | 43777 | 434 511 6039 | 9743 6933 180 | 0.232 % | 6.89/6.96 c | 45485 | 434 511 6039 | 10717 8641 181 | 0.232 % | 7.39/7.41 c | 48047 | 434 511 6039 | 11789 5655 176 | 0.232 % | 8.09/8.13 c | 51892 | 434 511 6039 | 12968 9500 180 | 0.231 % | 9.19/9.28 c | 57659 | 434 511 6039 | 14265 8589 180 | 0.231 % | 11.29/11.31 c | 66312 | 434 511 6039 | 15692 9916 195 | 0.232 % | 12.18/12.23 c =============================================================================== 12.18/12.23 c New solution: 289 12.18/12.23 o 289 12.18/12.23 c Elapsed CPU time: 11.9952 s Remaining CPU time: 168.005 s 12.18/12.23 c =============================================================================== 12.18/12.23 c | 71448 | 434 512 6474 | 5000 15052 191 | 0.232 % | 12.18/12.29 c | 71548 | 434 512 6474 | 5500 3863 183 | 0.232 % | 12.28/12.31 c | 71698 | 434 512 6474 | 6050 4013 183 | 0.241 % | 12.28/12.35 c | 71923 | 434 512 6474 | 6655 4238 183 | 0.235 % | 12.28/12.39 c | 72260 | 434 512 6474 | 7320 4575 184 | 0.248 % | 12.38/12.48 c | 72767 | 434 512 6474 | 8052 5082 183 | 0.247 % | 12.48/12.59 c | 73526 | 434 512 6474 | 8857 5841 184 | 0.232 % | 12.68/12.76 c | 74665 | 434 512 6474 | 9743 6980 181 | 0.231 % | 12.99/13.06 c | 76375 | 434 512 6474 | 10717 8690 181 | 0.231 % | 13.49/13.51 c | 78938 | 434 512 6474 | 11789 5690 180 | 0.232 % | 14.30/14.36 c | 82783 | 434 512 6474 | 12968 9535 186 | 0.231 % | 15.49/15.51 c | 88549 | 434 512 6474 | 14265 8616 189 | 0.232 % | 17.68/17.75 c | 97198 | 434 512 6474 | 15692 9940 186 | 0.231 % | 20.49/20.50 c | 110173 | 434 512 6474 | 17261 14874 183 | 0.232 % | 26.18/26.22 c | 129634 | 434 512 6474 | 18987 16701 177 | 0.231 % | 34.78/34.83 c | 158827 | 434 512 6474 | 20886 16818 177 | 0.230 % | 49.18/49.21 c | 202616 | 434 512 6474 | 22974 18079 187 | 0.232 % | 71.26/71.36 c | 268300 | 434 512 6474 | 25272 22437 185 | 0.231 % | 104.55/104.68 c | 366827 | 434 512 6474 | 27799 22739 195 | 0.230 % | 167.53/167.64 c | 514616 | 434 512 6474 | 30579 20168 187 | 0.230 % | 182.03/182.14 c There are 1 assigned variables. 1 in cost function. 182.63/182.70 c core #1 182.63/182.70 c #cores: 1 182.63/182.70 c Final Weight: 289 182.63/182.70 o 289 182.63/182.70 s OPTIMUM FOUND 182.63/182.70 v x359 x235 -x63 x6 -x341 x236 -x400 x363 x340 x240 -x7 -x399 x361 x239 -x8 -x401 x342 x237 -x144 -x11 -x434 x362 x344 x238 -x143 -x9 x417 -x366 -x145 -x10 -x421 x345 x435 x358 x234 -x183 -x62 x3 -x337 x233 -x187 x5 x364 x336 -x321 -x244 x4 -x12 -x367 x343 -x402 -x365 x346 x416 x410 x420 x406 -x146 x405 -x387 -x154 -x27 x150 -x31 x356 x317 -x252 -x247 -x182 -x64 x360 -x256 -x248 -x186 x2 x357 -x320 -x243 x20 x368 x338 -x16 x407 x339 -x241 -x161 -x68 -x15 x409 -x165 x418 -x383 -x350 -x151 x129 x422 -x153 x403 -x386 -x302 -x26 -x149 -x30 x316 x274 -x251 -x245 -x184 -x65 -x17 x355 x278 -x255 -x188 -x19 x376 -x322 -x84 -x69 -x412 x408 x372 -x88 -x67 -x411 x371 x353 -x242 -x190 -x160 -x125 -x48 -x13 x354 -x191 -x164 -x152 x419 -x382 -x349 -x325 -x298 x128 -x14 x423 x424 x404 -x388 -x347 -x301 -x28 x425 -x147 -x32 x373 x318 x273 -x253 -x246 -x185 -x66 -x18 x375 x277 -x257 -x189 -x70 x352 -x323 -x193 -x83 -x44 x351 -x192 -x87 -x378 -x369 -x326 -x259 -x162 -x124 x47 x413 -x324 -x260 -x166 -x22 x414 -x384 -x370 -x297 x130 -x21 x415 x429 -x389 -x348 -x303 x168 -x29 x169 -x148 -x33 x374 x314 x275 -x254 -x181 -x78 x319 x279 -x258 -x180 -x156 -x74 x315 -x262 -x197 -x155 -x120 -x85 -x73 -x43 x327 -x261 -x89 -x293 x281 -x221 -x163 -x126 -x112 x49 -x377 -x282 -x225 -x167 -x432 -x379 -x299 x171 x131 -x91 -x433 -x385 x170 -x92 x23 x428 -x381 -x304 -x211 -x132 -x52 x24 -x390 -x133 x25 x276 -x250 -x200 -x80 -x77 x39 x313 x280 -x249 -x201 x335 x284 -x266 -x196 -x108 -x86 -x71 x45 x331 x283 -x157 -x119 -x90 -x431 -x330 -x220 -x194 x158 -x121 -x111 -x94 -x72 x50 -x430 -x292 -x224 x159 -x127 -x93 -x294 -x207 x175 x123 x53 -x380 -x300 -x134 x51 -x426 -x398 x296 -x210 x36 -x394 x305 x37 x332 x272 -x269 -x198 -x75 x334 x271 -x270 -x79 x38 x288 -x265 -x107 -x81 x40 x82 x46 -x328 -x263 -x222 -x195 x178 -x113 -x98 x42 -x226 x179 x122 x54 -x395 -x329 -x206 -x174 x142 x35 -x397 -x295 x138 x34 -x427 x312 -x228 -x212 -x172 x137 -x116 -x393 x308 -x229 x333 x289 -x267 -x199 -x105 -x76 x291 -x216 -x287 -x215 x177 -x109 x101 x176 x102 x41 -x285 -x264 -x223 -x204 x139 -x114 -x97 x61 -x396 -x227 x141 x58 x309 -x231 -x208 -x117 -x95 x57 x311 -x230 -x115 -x213 -x173 x135 -x391 x306 x290 -x268 x100 -x104 x99 -x103 x60 -x217 x140 -x110 x59 -x286 -x218 -x106 x310 -x219 -x203 -x118 -x232 -x202 -x96 x55 -x209 -x205 x136 x56 -x392 x307 -x214 x1 182.63/182.70 c Total CPU time: 180.555 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656218-1276480945/watcher-2656218-1276480945 -o /tmp/evaluation-result-2656218-1276480945/solver-2656218-1276480945 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656218-1276480945.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.13 1.10 1.02 3/106 29557 /proc/meminfo: memFree=1832708/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=2712 CPUtime=0 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 323 0 0 0 0 0 0 0 18 0 1 0 23696098 2777088 237 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 678 237 146 303 0 373 0 [startup+0.079478 s] /proc/loadavg: 1.13 1.10 1.02 3/106 29557 /proc/meminfo: memFree=1832708/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=3228 CPUtime=0.07 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 455 0 0 0 7 0 0 0 20 0 1 0 23696098 3305472 369 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 807 369 147 303 0 502 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3228 [startup+0.100481 s] /proc/loadavg: 1.13 1.10 1.02 3/106 29557 /proc/meminfo: memFree=1832708/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=3356 CPUtime=0.09 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 495 0 0 0 9 0 0 0 20 0 1 0 23696098 3436544 409 1992294400 134512640 135751879 4286765648 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 839 409 147 303 0 534 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3356 [startup+0.300521 s] /proc/loadavg: 1.13 1.10 1.02 3/106 29557 /proc/meminfo: memFree=1832708/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=4904 CPUtime=0.29 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 877 0 0 0 28 1 0 0 20 0 1 0 23696098 5021696 791 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 1226 791 147 303 0 921 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4904 [startup+0.700598 s] /proc/loadavg: 1.13 1.10 1.02 3/106 29557 /proc/meminfo: memFree=1832708/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=7468 CPUtime=0.69 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 1531 0 0 0 67 2 0 0 21 0 1 0 23696098 7647232 1445 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 1867 1445 147 303 0 1562 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7468 [startup+1.50076 s] /proc/loadavg: 1.13 1.10 1.02 2/107 29558 /proc/meminfo: memFree=1825384/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=12096 CPUtime=1.49 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 2672 0 0 0 146 3 0 0 23 0 1 0 23696098 12386304 2586 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 3024 2586 147 303 0 2719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12096 [startup+3.10107 s] /proc/loadavg: 1.13 1.10 1.02 2/107 29558 /proc/meminfo: memFree=1819060/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=20724 CPUtime=3.09 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 4833 0 0 0 302 7 0 0 25 0 1 0 23696098 21221376 4747 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 5181 4747 148 303 0 4876 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20724 [startup+6.30069 s] /proc/loadavg: 1.12 1.10 1.02 2/107 29558 /proc/meminfo: memFree=1801452/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=37044 CPUtime=6.29 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 8917 0 0 0 615 14 0 0 25 0 1 0 23696098 37933056 8831 1992294400 134512640 135751879 4286765648 18446744073709551615 134606432 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 9261 8831 148 303 0 8956 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37044 [startup+12.7009 s] /proc/loadavg: 1.11 1.10 1.02 2/107 29558 /proc/meminfo: memFree=1773056/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=64452 CPUtime=12.68 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 15767 0 0 0 1244 24 0 0 25 0 1 0 23696098 65998848 15681 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 16113 15681 148 303 0 15808 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64452 [startup+25.5004 s] /proc/loadavg: 1.08 1.09 1.01 2/107 29558 /proc/meminfo: memFree=1726308/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=108728 CPUtime=25.48 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 26820 0 0 0 2505 43 0 0 25 0 1 0 23696098 111337472 26734 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 27182 26734 148 303 0 26877 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 108728 [startup+51.1005 s] /proc/loadavg: 1.05 1.08 1.01 2/107 29558 /proc/meminfo: memFree=1658604/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=177668 CPUtime=51.07 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 44057 0 0 0 5030 77 0 0 25 0 1 0 23696098 181932032 43971 1992294400 134512640 135751879 4286765648 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 44417 43971 148 303 0 44112 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 177668 [startup+102.308 s] /proc/loadavg: 1.02 1.07 1.01 2/107 29560 /proc/meminfo: memFree=1528776/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=305560 CPUtime=102.26 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 75982 0 0 0 10090 136 0 0 25 0 1 0 23696098 312893440 75896 1992294400 134512640 135751879 4286765648 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 76390 75896 148 303 0 76085 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 305560 [startup+162.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1411720/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=423492 CPUtime=162.24 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 105468 0 0 0 16038 186 0 0 25 0 1 0 23696098 433655808 105382 1992294400 134512640 135751879 4286765648 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 105873 105382 148 303 0 105568 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 423492 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1402668/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=431860 CPUtime=166.24 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 107535 0 0 0 16433 191 0 0 25 0 1 0 23696098 442224640 107449 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 107965 107449 148 303 0 107660 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 431860 [startup+172.708 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1382952/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=450928 CPUtime=172.64 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 112306 0 0 0 17065 199 0 0 25 0 1 0 23696098 461750272 112220 1992294400 134512640 135751879 4286765648 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 112732 112220 148 303 0 112427 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 450928 [startup+179.1 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1375016/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=460148 CPUtime=179.03 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 114620 0 0 0 17699 204 0 0 25 0 1 0 23696098 471191552 114534 1992294400 134512640 135751879 4286765648 18446744073709551615 134602977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 115037 114534 148 303 0 114732 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 460148 [startup+180.701 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1370056/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=465028 CPUtime=180.63 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 115832 0 0 0 17857 206 0 0 25 0 1 0 23696098 476188672 115746 1992294400 134512640 135751879 4286765648 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 116257 115746 148 303 0 115952 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 465028 [startup+181.509 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1366584/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=467360 CPUtime=181.43 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 116414 0 0 0 17937 206 0 0 25 0 1 0 23696098 478576640 116328 1992294400 134512640 135751879 4286765648 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 116840 116328 148 303 0 116535 0 Current children cumulated CPU time (s) 181.43 Current children cumulated vsize (KiB) 467360 [startup+182.301 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1366584/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=469164 CPUtime=182.23 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 116861 0 0 0 18015 208 0 0 25 0 1 0 23696098 480423936 116775 1992294400 134512640 135751879 4286765648 18446744073709551615 134712428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 117291 116775 149 303 0 116986 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 469164 [startup+182.7 s] /proc/loadavg: 1.00 1.05 1.00 2/107 29562 /proc/meminfo: memFree=1364600/2059040 swapFree=4136184/4192956 [pid=29557] ppid=29555 vsize=469000 CPUtime=182.63 /proc/29557/stat : 29557 (wbo1.4b) R 29555 29557 28708 0 -1 4202496 116861 0 0 0 18055 208 0 0 25 0 1 0 23696098 480256000 116744 1992294400 134512640 135751879 4286765648 18446744073709551615 135204448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29557/statm: 117250 116744 149 303 0 116945 0 Current children cumulated CPU time (s) 182.63 Current children cumulated vsize (KiB) 469000 Child status: 0 Real time (s): 182.751 CPU time (s): 182.687 CPU user time (s): 180.555 CPU system time (s): 2.13268 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 469164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.555 system time used= 2.13267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116864 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= 1 involuntary context switches= 1979 runsolver used 0.293955 second user time and 0.881865 second system time The end
Begin job on node011 at 2010-06-14 04:02:25 IDJOB=2656218 IDBENCH=2225 IDSOLVER=1161 FILE ID=node011/2656218-1276480945 PBS_JOBID= 11173377 Free space on /tmp= 62264 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656218-1276480945/watcher-2656218-1276480945 -o /tmp/evaluation-result-2656218-1276480945/solver-2656218-1276480945 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656218-1276480945.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b258fc1dc8cb1827e842a0b9558712c7 RANDOM SEED=1044256987 node011.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833236 kB Buffers: 49872 kB Cached: 100164 kB SwapCached: 9796 kB Active: 90420 kB Inactive: 71908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833236 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 6428 kB Writeback: 0 kB AnonPages: 11016 kB Mapped: 9140 kB Slab: 41764 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182108 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62264 MiB End job on node011 at 2010-06-14 04:05:28