Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 685.485 | 685.652 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
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 | 20.7478 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670602-1276703327.opb 0.00/0.00 c File size is 33487 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.40/0.49 c 105 616 1023 10303 10 3439 5691 105 4375 0.02 0.40/0.49 c 256 616 1174 19544 16 3744 6261 256 6400 0.04 0.40/0.49 c 481 616 1399 33851 24 4159 6888 481 7400 0.07 0.40/0.49 c 819 616 1737 56261 32 4868 7577 819 7513 0.11 0.40/0.49 c 1328 616 2246 87975 39 5858 8335 1328 7460 0.18 0.40/0.49 c 2092 616 3010 134326 44 7321 9169 2092 6641 0.32 0.40/0.49 o 205 51.88/51.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.88/51.95 c 2946 616 3865 182591 47 9070 5189 2947 6012 0.49 51.88/51.95 c 3046 616 3965 189603 47 9329 5708 3047 5996 0.51 51.88/51.95 c 3297 616 4216 207573 49 9859 6279 3298 6071 0.54 51.88/51.95 c 3772 616 4691 242618 51 10781 6907 3773 6203 0.61 51.88/51.95 c 4585 616 5504 290383 52 12379 7598 4586 5426 0.84 51.88/51.95 c 5905 616 6824 382604 56 14969 8358 5906 5452 1.08 51.88/51.95 c 7986 616 8905 524769 58 19099 9194 7987 4624 1.73 51.88/51.95 c 11210 616 7037 424812 60 15402 10114 6119 4273 2.62 51.88/51.95 c 16147 616 6445 342206 53 14208 11126 5527 3917 4.12 51.88/51.95 c 23655 616 8250 488258 59 17782 12239 7332 3492 6.77 51.88/51.95 c 35016 616 7235 365922 50 15763 13463 6317 2886 12.13 51.88/51.95 c 52160 616 10023 696753 69 21330 14810 9105 2640 19.75 51.88/51.95 c 77979 615 12304 772018 62 26045 16292 11386 2272 34.31 51.88/51.95 o 35 59.18/59.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 59.18/59.22 c 103183 615 11957 897922 75 25287 5189 11039 1986 51.94 59.18/59.22 c 103284 595 3616 215811 59 8639 5708 2698 1984 52.06 59.18/59.22 c 103534 595 3866 232772 60 9033 6279 2948 1987 52.10 59.18/59.22 c 104009 595 4341 265309 61 9988 6907 3423 1993 52.18 59.18/59.22 c 104822 595 5154 320173 62 11606 7598 4236 2000 52.39 59.18/59.22 c 106143 595 6475 409543 63 14279 8358 5557 2015 52.67 59.18/59.22 c 108224 595 8556 553992 64 18451 9194 7638 2017 53.65 59.18/59.22 c 111448 595 6948 416264 59 15262 10114 6030 2022 55.09 59.18/59.22 c 116384 595 6634 399889 60 14625 11126 5716 1996 58.31 59.18/59.22 o 5 180.04/180.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.04/180.13 c 120428 595 10679 677581 63 22799 5185 9761 2033 59.21 180.04/180.13 c 120532 575 3619 186718 51 8632 5704 2701 2032 59.29 180.04/180.13 c 120782 575 3869 203214 52 9165 6275 2951 2035 59.32 180.04/180.13 c 121258 575 4345 235546 54 10126 6903 3427 2041 59.41 180.04/180.13 c 122072 575 5159 289473 56 11734 7594 4241 2047 59.63 180.04/180.13 c 123393 575 6480 375179 57 14358 8354 5562 2055 60.04 180.04/180.13 c 125474 575 8561 506856 59 18542 9190 7643 2061 60.86 180.04/180.13 c 128699 575 6647 377151 56 14700 10110 5729 2084 61.73 180.04/180.13 c 133635 575 6374 360503 56 14083 11122 5456 2087 64.03 180.04/180.13 c 141141 565 7919 471964 59 17252 12235 7001 2118 66.61 180.04/180.13 c 152502 565 12748 779159 61 26905 13459 11830 2126 71.70 180.04/180.13 c 169647 565 9396 544428 57 20202 14805 8478 1943 87.30 180.04/180.13 c 195466 565 11535 736163 63 24404 16286 10617 1901 102.77 180.04/180.13 c 234298 564 17202 1060765 61 35771 17915 16284 1643 142.56 180.04/180.13 o 3 685.42/685.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 685.42/685.64 c 282857 561 10120 578991 57 21625 5179 9202 1570 180.09 685.42/685.64 c 282957 561 3625 168215 46 8626 5697 2707 1569 180.25 685.42/685.64 c 283208 540 3876 184102 47 9149 6267 2958 1570 180.28 685.42/685.64 c 283683 540 4351 217196 49 10075 6894 3433 1573 180.34 685.42/685.64 c 284496 540 5164 271835 52 11708 7584 4246 1576 180.50 685.42/685.64 c 285816 540 6484 359194 55 14321 8343 5566 1579 180.91 685.42/685.64 c 287897 540 8565 493624 57 18471 9178 7647 1584 181.71 685.42/685.64 c 291121 540 7069 402012 56 15480 10096 6151 1587 183.41 685.42/685.64 c 296057 540 6817 383727 56 14996 11106 5899 1585 186.75 685.42/685.64 c 303563 540 8658 504008 58 18707 12217 7740 1581 191.98 685.42/685.64 c 314924 540 7045 431610 61 15490 13439 6127 1595 197.43 685.42/685.64 c 332068 540 10303 606761 58 21970 14783 9385 1606 206.72 685.42/685.64 c 357887 540 13569 821790 60 28498 16262 12651 1535 233.03 685.42/685.64 c 396719 538 9735 604352 62 20836 17889 8817 1545 256.71 685.42/685.64 c 455072 535 12685 753277 59 26679 19678 11767 1440 315.95 685.42/685.64 c 542704 535 20252 1237066 61 41837 21646 19334 1314 412.88 685.42/685.64 c 674257 525 19093 1180828 61 39574 23811 18175 1154 583.96 685.42/685.64 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 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 -x232 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x233 -x234 -x235 -x236 -x237 -x238 -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 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 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 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x81 -x82 -x83 x84 -x85 x86 -x87 -x88 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 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 -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 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -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 -x484 -x485 -x486 -x487 -x488 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x105 x106 x107 x108 x109 -x110 -x111 -x112 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 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 -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 x161 x162 x163 x164 -x165 -x166 -x167 -x168 685.42/685.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 685.42/685.64 c 59 757452 6511 787919 12230 538636 11312 1104 685.48 685.42/685.64 c Objective: 3 685.42/685.64 s OPTIMUM FOUND 685.42/685.64 c Total time: 685.481 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-2670602-1276703327/watcher-2670602-1276703327 -o /tmp/evaluation-result-2670602-1276703327/solver-2670602-1276703327 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670602-1276703327.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.94 3/106 11668 /proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=10924 CPUtime=0 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 381 0 0 0 0 0 0 0 18 0 1 0 45934024 11186176 291 1992294400 134512640 137138936 4290314608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 2731 291 184 642 0 2087 0 [startup+0.0373151 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11668 /proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=11184 CPUtime=0.03 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 441 0 0 0 3 0 0 0 20 0 1 0 45934024 11452416 351 1992294400 134512640 137138936 4290314608 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 2796 352 190 642 0 2152 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11184 [startup+0.10132 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11668 /proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=11680 CPUtime=0.09 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 565 0 0 0 9 0 0 0 20 0 1 0 45934024 11960320 475 1992294400 134512640 137138936 4290314608 18446744073709551615 134572950 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 2920 475 190 642 0 2276 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11680 [startup+0.301339 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11668 /proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=12820 CPUtime=0.29 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 850 0 0 0 29 0 0 0 20 0 1 0 45934024 13127680 760 1992294400 134512640 137138936 4290314608 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 3205 760 190 642 0 2561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12820 [startup+0.701376 s] /proc/loadavg: 1.00 1.00 0.94 3/106 11668 /proc/meminfo: memFree=1864632/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=14712 CPUtime=0.69 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 1334 0 0 0 68 1 0 0 20 0 1 0 45934024 15065088 1244 1992294400 134512640 137138936 4290314608 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 3678 1244 191 642 0 3034 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14712 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11669 /proc/meminfo: memFree=1859416/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=17972 CPUtime=1.49 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 2135 0 0 0 147 2 0 0 23 0 1 0 45934024 18403328 2045 1992294400 134512640 137138936 4290314608 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 4493 2045 191 642 0 3849 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17972 [startup+3.1016 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11669 /proc/meminfo: memFree=1854952/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=20260 CPUtime=3.09 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 2720 0 0 0 306 3 0 0 25 0 1 0 45934024 20746240 2630 1992294400 134512640 137138936 4290314608 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 5065 2630 191 642 0 4421 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20260 [startup+6.3009 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11669 /proc/meminfo: memFree=1853960/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=21500 CPUtime=6.29 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 3020 0 0 0 624 5 0 0 25 0 1 0 45934024 22016000 2930 1992294400 134512640 137138936 4290314608 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 5375 2930 191 642 0 4731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21500 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11669 /proc/meminfo: memFree=1852596/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=22328 CPUtime=12.69 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 3229 0 0 0 1262 7 0 0 25 0 1 0 45934024 22863872 3139 1992294400 134512640 137138936 4290314608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 5582 3139 191 642 0 4938 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22328 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11669 /proc/meminfo: memFree=1847512/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=27460 CPUtime=25.49 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 4525 0 0 0 2536 13 0 0 25 0 1 0 45934024 28119040 4435 1992294400 134512640 137138936 4290314608 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 6865 4435 191 642 0 6221 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27460 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11671 /proc/meminfo: memFree=1846148/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=28808 CPUtime=51.08 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 4853 0 0 0 5088 20 0 0 25 0 1 0 45934024 29499392 4763 1992294400 134512640 137138936 4290314608 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7202 4763 191 642 0 6558 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28808 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11671 /proc/meminfo: memFree=1846024/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=28732 CPUtime=102.28 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 4853 0 0 0 10192 36 0 0 25 0 1 0 45934024 29421568 4759 1992294400 134512640 137138936 4290314608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7183 4759 191 642 0 6539 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 28732 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11673 /proc/meminfo: memFree=1845900/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=28728 CPUtime=162.25 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 4854 0 0 0 16173 52 0 0 25 0 1 0 45934024 29417472 4758 1992294400 134512640 137138936 4290314608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7182 4758 191 642 0 6538 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28728 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11675 /proc/meminfo: memFree=1845776/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=29020 CPUtime=222.24 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 4930 0 0 0 22153 71 0 0 25 0 1 0 45934024 29716480 4831 1992294400 134512640 137138936 4290314608 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7255 4831 191 642 0 6611 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29020 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11677 /proc/meminfo: memFree=1845652/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=28848 CPUtime=282.22 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 4930 0 0 0 28135 87 0 0 25 0 1 0 45934024 29540352 4788 1992294400 134512640 137138936 4290314608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7212 4788 191 642 0 6568 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 28848 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11679 /proc/meminfo: memFree=1844660/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=30132 CPUtime=342.21 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 5239 0 0 0 34120 101 0 0 25 0 1 0 45934024 30855168 5097 1992294400 134512640 137138936 4290314608 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7533 5097 191 642 0 6889 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 30132 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11679 /proc/meminfo: memFree=1844536/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=30072 CPUtime=402.2 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 5239 0 0 0 40101 119 0 0 25 0 1 0 45934024 30793728 5094 1992294400 134512640 137138936 4290314608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 7518 5094 191 642 0 6874 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 30072 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11681 /proc/meminfo: memFree=1842676/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=32044 CPUtime=462.18 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 5722 0 0 0 46083 135 0 0 25 0 1 0 45934024 32813056 5577 1992294400 134512640 137138936 4290314608 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8011 5577 191 642 0 7367 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 32044 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11683 /proc/meminfo: memFree=1842552/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=32040 CPUtime=522.16 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 5722 0 0 0 52069 147 0 0 25 0 1 0 45934024 32808960 5577 1992294400 134512640 137138936 4290314608 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8010 5577 191 642 0 7366 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 32040 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11685 /proc/meminfo: memFree=1842428/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=32036 CPUtime=582.15 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 5722 0 0 0 58054 161 0 0 25 0 1 0 45934024 32804864 5577 1992294400 134512640 137138936 4290314608 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8009 5577 191 642 0 7365 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 32036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840816/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33712 CPUtime=642.14 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 64036 178 0 0 25 0 1 0 45934024 34521088 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8428 5996 191 642 0 7784 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 33712 Solver just ended. Dumping a history of the last processes samples [startup+665.508 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33708 CPUtime=665.33 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 66351 182 0 0 25 0 1 0 45934024 34516992 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8427 5996 191 642 0 7783 0 Current children cumulated CPU time (s) 665.33 Current children cumulated vsize (KiB) 33708 [startup+678.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33708 CPUtime=678.12 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 67628 184 0 0 25 0 1 0 45934024 34516992 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8427 5996 191 642 0 7783 0 Current children cumulated CPU time (s) 678.12 Current children cumulated vsize (KiB) 33708 [startup+681.501 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33708 CPUtime=681.32 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 67947 185 0 0 25 0 1 0 45934024 34516992 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8427 5996 191 642 0 7783 0 Current children cumulated CPU time (s) 681.32 Current children cumulated vsize (KiB) 33708 [startup+683.108 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33708 CPUtime=682.93 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 68107 186 0 0 25 0 1 0 45934024 34516992 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8427 5996 191 642 0 7783 0 Current children cumulated CPU time (s) 682.93 Current children cumulated vsize (KiB) 33708 [startup+684.701 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33708 CPUtime=684.52 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 68266 186 0 0 25 0 1 0 45934024 34516992 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8427 5996 191 642 0 7783 0 Current children cumulated CPU time (s) 684.52 Current children cumulated vsize (KiB) 33708 [startup+685.101 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33704 CPUtime=684.92 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 68306 186 0 0 25 0 1 0 45934024 34512896 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 134540804 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8426 5996 191 642 0 7782 0 Current children cumulated CPU time (s) 684.92 Current children cumulated vsize (KiB) 33704 [startup+685.501 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33704 CPUtime=685.32 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 68346 186 0 0 25 0 1 0 45934024 34512896 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8426 5996 191 642 0 7782 0 Current children cumulated CPU time (s) 685.32 Current children cumulated vsize (KiB) 33704 [startup+685.601 s] /proc/loadavg: 1.00 1.00 0.94 2/107 11687 /proc/meminfo: memFree=1840692/2059040 swapFree=4135932/4192956 [pid=11668] ppid=11666 vsize=33704 CPUtime=685.42 /proc/11668/stat : 11668 (bsolo_pb10) R 11666 11668 11227 0 -1 4202496 6141 0 0 0 68356 186 0 0 25 0 1 0 45934024 34512896 5996 1992294400 134512640 137138936 4290314608 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11668/statm: 8426 5996 191 642 0 7782 0 Current children cumulated CPU time (s) 685.42 Current children cumulated vsize (KiB) 33704 Child status: 0 Real time (s): 685.652 CPU time (s): 685.485 CPU user time (s): 683.613 CPU system time (s): 1.87171 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 33808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 683.613 system time used= 1.87172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6142 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= 4416 runsolver used 1.14183 second user time and 3.23251 second system time The end
Begin job on node015 at 2010-06-16 17:48:47 IDJOB=2670602 IDBENCH=48017 IDSOLVER=1163 FILE ID=node015/2670602-1276703327 PBS_JOBID= 11174119 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670602-1276703327/watcher-2670602-1276703327 -o /tmp/evaluation-result-2670602-1276703327/solver-2670602-1276703327 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670602-1276703327.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED=894248863 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1865532 kB Buffers: 13296 kB Cached: 100608 kB SwapCached: 10760 kB Active: 77680 kB Inactive: 50328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1865532 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 4252 kB Writeback: 0 kB AnonPages: 12632 kB Mapped: 9312 kB Slab: 43756 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182588 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-2670602-1276703327.opb Free space on /tmp at the end= 62580 MiB End job on node015 at 2010-06-16 18:00:13