Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 273.767 | 273.843 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb |
MD5SUM | 0529ad177104c2b8c24f12c8a325b463 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.675896 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 441 |
Sum of products size (including duplicates) | 882 |
Number of different products | 441 |
Sum of products size | 882 |
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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670595-1276703121.opb 0.00/0.00 c File size is 33212 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369 0.00/0.00 c Obj. Vars: 7 (1.11111 % of total variables) 0.01/0.01 c Pre-processing Time: 0.012 s 0.01/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.01 c 0 630 910 3836 4 3289 5173 0 0 0.01 0.01/0.01 c Switching off lower bounding mode. 52.17/52.23 c 100 630 1102 10567 9 3755 5691 192 3333 0.03 52.17/52.23 c 250 630 1366 23109 16 4313 6261 456 3906 0.06 52.17/52.23 c 476 630 1776 41646 23 5224 6888 866 3260 0.15 52.17/52.23 c 814 630 2432 71692 29 6776 7577 1522 3683 0.22 52.17/52.23 c 1323 630 3333 111385 33 8832 8335 2423 3634 0.36 52.17/52.23 c 2087 630 4781 170300 35 12243 9169 3871 3366 0.62 52.17/52.23 c 3233 630 6971 255624 36 17689 10086 6061 2886 1.12 52.17/52.23 c 4954 630 10213 411673 40 25209 11095 9303 2977 1.66 52.17/52.23 c 7538 630 9105 413892 45 21448 12205 8195 2569 2.93 52.17/52.23 c 11418 630 9828 437718 44 23856 13426 8918 2466 4.63 52.17/52.23 c 17241 630 13999 641691 45 33539 14769 13089 2275 7.58 52.17/52.23 c 25979 630 15105 663904 43 36490 16246 14195 2058 12.62 52.17/52.23 c 39089 629 14924 656577 43 35784 17871 14014 1417 27.57 52.17/52.23 c 58759 628 14371 644938 44 34673 19659 13461 1155 50.87 52.17/52.23 o 17 78.17/78.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.17/78.26 c 61784 628 20024 928905 46 49041 5187 19114 1183 52.22 78.17/78.26 c 61885 619 3687 168745 45 9555 5706 2777 1178 52.52 78.17/78.26 c 62139 619 4158 189663 45 10737 6277 3248 1181 52.59 78.17/78.26 c 62615 610 5039 231661 45 12761 6905 4129 1187 52.74 78.17/78.26 c 63428 610 6474 297568 45 16018 7596 5564 1196 53.03 78.17/78.26 c 64748 610 4807 208174 43 12078 8356 3897 1210 53.50 78.17/78.26 c 66829 610 8572 384964 44 20818 9192 7662 1233 54.18 78.17/78.26 c 70053 610 9951 428875 43 24510 10112 9041 1261 55.54 78.17/78.26 c 74989 610 8383 354142 42 21058 11124 7473 1285 58.32 78.17/78.26 c 82495 610 10734 456286 42 26546 12237 9824 1300 63.45 78.17/78.26 c 93856 610 7038 258569 36 17891 13461 6128 1253 74.87 78.17/78.26 o 9 129.77/129.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 129.77/129.86 c 98969 607 8645 347552 40 20732 5183 7735 1264 78.24 129.77/129.86 c 99069 607 3673 127890 34 9288 5702 2763 1264 78.33 129.77/129.86 c 99319 598 4088 148211 36 10199 6273 3178 1266 78.41 129.77/129.86 c 99794 598 4860 184995 38 11896 6901 3950 1270 78.54 129.77/129.86 c 100608 598 6300 247333 39 15375 7592 5390 1275 78.87 129.77/129.86 c 101930 598 4781 174911 36 12273 8352 3871 1279 79.69 129.77/129.86 c 104011 598 8635 350105 40 21265 9188 7725 1288 80.72 129.77/129.86 c 107235 598 9736 382149 39 24920 10107 8826 1292 82.96 129.77/129.86 c 112172 598 8579 362410 42 20998 11118 7669 1303 86.04 129.77/129.86 c 119678 598 9723 386538 39 23578 12230 8813 1300 92.04 129.77/129.86 c 131040 598 11289 492146 43 27796 13454 10379 1250 104.81 129.77/129.86 c 148184 597 14000 559550 39 34128 14800 13090 1173 126.27 129.77/129.86 o 3 273.73/273.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 273.73/273.84 c 154121 597 9589 395885 41 23463 5181 8679 1187 129.83 273.73/273.84 c 154221 569 3641 132987 36 9248 5700 2731 1186 129.99 273.73/273.84 c 154472 569 4066 152367 37 10261 6271 3156 1187 130.04 273.73/273.84 c 154951 569 4898 187495 38 12229 6899 3988 1190 130.18 273.73/273.84 c 155766 569 6307 258462 40 15235 7589 5397 1194 130.44 273.73/273.84 c 157086 569 4722 188054 39 11756 8348 3812 1199 131.00 273.73/273.84 c 159167 569 8644 354592 41 21251 9183 7734 1206 131.90 273.73/273.84 c 162390 569 8855 354383 40 21700 10102 7945 1217 133.38 273.73/273.84 c 167326 569 7316 285579 39 18388 11113 6406 1226 136.39 273.73/273.84 c 174833 568 9456 403187 42 24385 12225 8546 1234 141.61 273.73/273.84 c 186195 568 11511 468569 40 27799 13448 10601 1218 152.84 273.73/273.84 c 203339 568 13120 529902 40 31072 14793 12210 1149 176.91 273.73/273.84 c 229158 559 12725 460103 36 32193 16273 11815 1139 201.12 273.73/273.84 c 267990 558 11683 393778 33 28933 17901 10773 1052 254.51 273.73/273.84 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 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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x71 x72 -x73 -x74 x75 -x76 -x77 x127 -x128 -x129 -x130 -x131 -x132 -x133 x239 x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x78 x79 -x80 x81 -x82 x83 -x84 x134 -x135 -x136 -x137 -x138 -x139 -x140 x288 x289 -x290 x291 -x292 x293 -x294 x295 x296 -x297 x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x85 -x86 -x87 -x88 -x89 -x90 -x91 x141 -x142 -x143 -x144 -x145 -x146 -x147 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x92 x93 -x94 -x95 -x96 -x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x99 x100 -x101 -x102 -x103 x104 x105 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x435 x436 -x437 -x438 -x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 x478 -x479 -x480 -x481 x482 x483 x106 x107 -x108 -x109 -x110 x111 -x112 -x162 x163 -x164 -x165 x166 x167 -x168 x484 x485 -x486 -x487 -x488 x489 -x490 x491 x492 -x493 -x494 -x495 x496 -x497 x498 x499 -x500 -x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x113 -x114 x115 x116 -x117 -x118 -x119 -x169 -x170 x171 -x172 -x173 -x174 -x175 x533 -x534 x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 x577 x578 -x579 -x580 -x581 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 x177 x178 -x179 -x180 -x181 -x182 x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x183 -x184 -x185 -x186 -x187 -x188 -x189 273.73/273.84 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 273.73/273.84 c 51 276933 4367 298251 17154 575479 16244 1011 273.76 273.73/273.84 c Objective: 3 273.73/273.84 s OPTIMUM FOUND 273.73/273.84 c Total time: 273.764 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670595-1276703121/watcher-2670595-1276703121 -o /tmp/evaluation-result-2670595-1276703121/solver-2670595-1276703121 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670595-1276703121.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.00 1.00 0.98 3/106 16061 /proc/meminfo: memFree=1681112/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=10924 CPUtime=0 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 381 0 0 0 0 0 0 0 18 0 1 0 11604012 11186176 291 1992294400 134512640 137138936 4287905248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 2731 291 184 642 0 2087 0 [startup+0.012412 s] /proc/loadavg: 1.00 1.00 0.98 3/106 16061 /proc/meminfo: memFree=1681112/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=11056 CPUtime=0.01 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 399 0 0 0 1 0 0 0 20 0 1 0 11604012 11321344 309 1992294400 134512640 137138936 4287905248 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 2764 309 185 642 0 2120 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11056 [startup+0.101419 s] /proc/loadavg: 1.00 1.00 0.98 3/106 16061 /proc/meminfo: memFree=1681112/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=11424 CPUtime=0.09 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 494 0 0 0 9 0 0 0 20 0 1 0 11604012 11698176 404 1992294400 134512640 137138936 4287905248 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 2856 404 192 642 0 2212 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11424 [startup+0.301437 s] /proc/loadavg: 1.00 1.00 0.98 3/106 16061 /proc/meminfo: memFree=1681112/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=12328 CPUtime=0.29 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 744 0 0 0 29 0 0 0 20 0 1 0 11604012 12623872 654 1992294400 134512640 137138936 4287905248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 3082 654 192 642 0 2438 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12328 [startup+0.701473 s] /proc/loadavg: 1.00 1.00 0.98 3/106 16061 /proc/meminfo: memFree=1681112/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=13744 CPUtime=0.69 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 1101 0 0 0 68 1 0 0 21 0 1 0 11604012 14073856 1011 1992294400 134512640 137138936 4287905248 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 3436 1011 192 642 0 2792 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13744 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16062 /proc/meminfo: memFree=1677136/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=16680 CPUtime=1.49 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 1833 0 0 0 148 1 0 0 23 0 1 0 11604012 17080320 1743 1992294400 134512640 137138936 4287905248 18446744073709551615 134618245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 4170 1743 192 642 0 3526 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16680 [startup+3.1017 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16062 /proc/meminfo: memFree=1672672/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=18984 CPUtime=3.1 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 2391 0 0 0 308 2 0 0 25 0 1 0 11604012 19439616 2301 1992294400 134512640 137138936 4287905248 18446744073709551615 134606854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 4746 2301 192 642 0 4102 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 18984 [startup+6.30099 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16062 /proc/meminfo: memFree=1670688/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=20916 CPUtime=6.29 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 2877 0 0 0 627 2 0 0 25 0 1 0 11604012 21417984 2787 1992294400 134512640 137138936 4287905248 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 5229 2787 192 642 0 4585 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20916 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16062 /proc/meminfo: memFree=1669076/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=22308 CPUtime=12.68 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3226 0 0 0 1264 4 0 0 25 0 1 0 11604012 22843392 3136 1992294400 134512640 137138936 4287905248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 5577 3136 192 642 0 4933 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22308 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16062 /proc/meminfo: memFree=1668456/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=23012 CPUtime=25.48 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3403 0 0 0 2541 7 0 0 25 0 1 0 11604012 23564288 3313 1992294400 134512640 137138936 4287905248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 5753 3313 192 642 0 5109 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23012 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16062 /proc/meminfo: memFree=1667340/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=24048 CPUtime=51.08 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3677 0 0 0 5095 13 0 0 25 0 1 0 11604012 24625152 3587 1992294400 134512640 137138936 4287905248 18446744073709551615 134618118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6012 3587 192 642 0 5368 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24048 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.98 2/107 16064 /proc/meminfo: memFree=1665976/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25272 CPUtime=102.27 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 10204 23 0 0 25 0 1 0 11604012 25878528 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6318 3884 192 642 0 5674 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25272 [startup+162.301 s] /proc/loadavg: 1.06 1.01 0.98 2/107 16066 /proc/meminfo: memFree=1665976/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=162.25 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 16188 37 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 25268 [startup+222.301 s] /proc/loadavg: 1.02 1.01 0.98 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=222.23 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 22172 51 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25268 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.02 1.01 0.98 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=230.23 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 22969 54 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 230.23 Current children cumulated vsize (KiB) 25268 [startup+255.901 s] /proc/loadavg: 1.09 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=255.82 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 25524 58 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 255.82 Current children cumulated vsize (KiB) 25268 [startup+262.301 s] /proc/loadavg: 1.08 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=262.22 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 26163 59 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 262.22 Current children cumulated vsize (KiB) 25268 [startup+268.701 s] /proc/loadavg: 1.07 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=268.62 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 26801 61 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 268.62 Current children cumulated vsize (KiB) 25268 [startup+271.901 s] /proc/loadavg: 1.07 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=271.81 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 27120 61 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 271.81 Current children cumulated vsize (KiB) 25268 [startup+272.701 s] /proc/loadavg: 1.06 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=272.62 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 27201 61 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 272.62 Current children cumulated vsize (KiB) 25268 [startup+273.501 s] /proc/loadavg: 1.06 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=273.42 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 27280 62 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 273.42 Current children cumulated vsize (KiB) 25268 [startup+273.701 s] /proc/loadavg: 1.06 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=273.62 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 27300 62 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 273.62 Current children cumulated vsize (KiB) 25268 [startup+273.801 s] /proc/loadavg: 1.06 1.02 0.99 2/107 16068 /proc/meminfo: memFree=1665852/2059040 swapFree=4187148/4192956 [pid=16061] ppid=16059 vsize=25268 CPUtime=273.73 /proc/16061/stat : 16061 (bsolo_pb10) R 16059 16061 15619 0 -1 4202496 3974 0 0 0 27311 62 0 0 25 0 1 0 11604012 25874432 3884 1992294400 134512640 137138936 4287905248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16061/statm: 6317 3884 192 642 0 5673 0 Current children cumulated CPU time (s) 273.73 Current children cumulated vsize (KiB) 25268 Child status: 0 Real time (s): 273.843 CPU time (s): 273.767 CPU user time (s): 273.144 CPU system time (s): 0.622905 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 25288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 273.144 system time used= 0.622905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3975 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= 3761 runsolver used 0.404938 second user time and 1.35179 second system time The end
Begin job on node048 at 2010-06-16 17:45:21 IDJOB=2670595 IDBENCH=48014 IDSOLVER=1162 FILE ID=node048/2670595-1276703121 PBS_JOBID= 11174096 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670595-1276703121/watcher-2670595-1276703121 -o /tmp/evaluation-result-2670595-1276703121/solver-2670595-1276703121 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670595-1276703121.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0529ad177104c2b8c24f12c8a325b463 RANDOM SEED=1775035633 node048.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.212 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.42 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.212 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1681888 kB Buffers: 111960 kB Cached: 143976 kB SwapCached: 280 kB Active: 103156 kB Inactive: 206668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1681888 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 3992 kB Writeback: 0 kB AnonPages: 53568 kB Mapped: 15452 kB Slab: 45476 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183216 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670595-1276703121.opb Free space on /tmp at the end= 62452 MiB End job on node048 at 2010-06-16 17:49:55