Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 1283.88 | 1284.22 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb |
MD5SUM | a6d214cc283b484f5cca285d86c4d8bb |
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 | 14.3978 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
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) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878040-1245188359.opb 0.00/0.00 c File size is 38505 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.004 s 0.00/0.00 c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706 0.00/0.00 c Obj. Vars: 8 (1.13636 % 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 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 0.69/0.76 c 101 704 1150 9833 8 3947 6506 101 4590 0.02 0.69/0.76 c 252 704 1301 20446 15 4182 7157 252 6461 0.04 0.69/0.76 c 479 704 1528 36236 23 4605 7873 479 7484 0.06 0.69/0.76 c 817 704 1866 57447 30 5299 8661 817 8009 0.10 0.69/0.76 c 1325 704 2374 91763 38 6306 9528 1325 7794 0.17 0.69/0.76 c 2090 704 3139 144180 45 7851 10481 2090 6897 0.30 0.69/0.76 c 3237 704 4286 218743 51 10125 11530 3237 6107 0.53 0.69/0.76 o 9 516.65/516.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 516.65/516.80 c 4790 704 5840 321808 55 13256 5930 4791 6277 0.76 516.65/516.80 c 4890 685 5940 328832 55 13510 6524 4891 6269 0.78 516.65/516.80 c 5140 664 6190 345769 55 14040 7177 5141 6177 0.83 516.65/516.80 c 5615 664 6665 382481 57 14951 7895 5616 6163 0.91 516.65/516.80 c 6429 664 7479 442873 59 16580 8685 6430 6140 1.05 516.65/516.80 c 7749 664 8799 515817 58 19245 9554 7750 5370 1.44 516.65/516.80 c 9831 664 6006 310228 51 13654 10510 4957 4252 2.31 516.65/516.80 c 13054 664 9229 541101 58 20069 11562 8180 4534 2.88 516.65/516.80 c 17990 664 7765 501055 64 17155 12719 6716 4546 3.96 516.65/516.80 c 25496 664 8738 472858 54 19048 13991 7689 4014 6.35 516.65/516.80 c 36858 664 12430 775829 62 26393 15391 11381 3749 9.83 516.65/516.80 c 54003 664 13682 824227 60 28947 16931 12633 2590 20.85 516.65/516.80 c 79822 664 12577 757243 60 26652 18625 11528 2142 37.26 516.65/516.80 c 118655 663 13027 761884 58 27546 20488 11978 1987 59.71 516.65/516.80 c 177008 663 17258 1112841 64 36053 22537 16209 1641 107.85 516.65/516.80 c 264640 663 20923 1370975 65 43443 24791 19874 1420 186.31 516.65/516.80 c 396192 663 13222 787762 59 27900 27271 12173 1051 376.76 516.65/516.80 o 3 1283.85/1284.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1283.85/1284.21 c 513073 660 14761 934055 63 31056 5922 13712 993 516.67 1283.85/1284.21 c 513174 629 4123 221769 53 9829 6515 3074 992 516.92 1283.85/1284.21 c 513424 629 4373 239220 54 10328 7167 3324 993 516.96 1283.85/1284.21 c 513899 629 4848 271392 55 11302 7884 3799 993 517.06 1283.85/1284.21 c 514712 629 5661 327555 57 12905 8673 4612 995 517.28 1283.85/1284.21 c 516034 629 6983 417068 59 15503 9541 5934 996 517.66 1283.85/1284.21 c 518116 629 9065 562280 62 19744 10496 8016 999 518.15 1283.85/1284.21 c 521339 629 6886 399961 58 15367 11546 5837 1004 519.24 1283.85/1284.21 c 526276 629 11823 727538 61 25214 12701 10774 1010 520.82 1283.85/1284.21 c 533783 629 12753 788672 61 27081 13972 11704 1019 523.45 1283.85/1284.21 c 545144 629 9266 587723 63 20062 15370 8217 1033 527.68 1283.85/1284.21 c 562288 629 10133 582242 57 21841 16908 9084 1030 545.64 1283.85/1284.21 c 588109 629 9968 591572 59 21522 18599 8919 1034 568.62 1283.85/1284.21 c 626942 628 19709 1237868 62 40947 20459 18660 1048 597.72 1283.85/1284.21 c 685294 627 15399 1102037 71 32375 22505 14350 1023 669.68 1283.85/1284.21 c 772926 627 18718 1176515 62 38965 24756 17669 967 799.06 1283.85/1284.21 c 904478 626 23355 1443843 61 48293 27232 22306 933 969.34 1283.85/1284.21 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 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 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 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 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 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 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 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 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x553 -x554 -x555 x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 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 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x121 -x122 x123 -x124 x125 x126 -x127 -x128 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x641 -x642 x643 -x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 x659 -x660 x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1283.85/1284.21 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1283.85/1284.21 c 41 1097609 10092 1134175 21220 1229967 20171 854 1283.87 1283.85/1284.21 c Objective: 3 1283.85/1284.21 s OPTIMUM FOUND 1283.85/1284.21 c Total time: 1283.87 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-1878040-1245188359/watcher-1878040-1245188359 -o /tmp/evaluation-result-1878040-1245188359/solver-1878040-1245188359 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878040-1245188359.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: 0.99 0.97 0.99 3/64 10446 /proc/meminfo: memFree=1851056/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=10748 CPUtime=0 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 186433099 11005952 238 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 2687 240 176 640 0 2033 0 [startup+0.034816 s] /proc/loadavg: 0.99 0.97 0.99 3/64 10446 /proc/meminfo: memFree=1851056/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=11108 CPUtime=0.03 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 385 0 0 0 3 0 0 0 18 0 1 0 186433099 11374592 359 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 2777 359 196 640 0 2133 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11108 [startup+0.101824 s] /proc/loadavg: 0.99 0.97 0.99 3/64 10446 /proc/meminfo: memFree=1851056/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=11728 CPUtime=0.09 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 186433099 12009472 502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 2932 502 196 640 0 2288 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11728 [startup+0.301845 s] /proc/loadavg: 0.99 0.97 0.99 3/64 10446 /proc/meminfo: memFree=1851056/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=12868 CPUtime=0.29 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 840 0 0 0 29 0 0 0 19 0 1 0 186433099 13176832 814 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 3217 814 196 640 0 2573 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12868 [startup+0.70189 s] /proc/loadavg: 0.99 0.97 0.99 3/64 10446 /proc/meminfo: memFree=1851056/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=14992 CPUtime=0.69 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 1355 0 0 0 68 1 0 0 22 0 1 0 186433099 15351808 1329 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 3748 1329 196 640 0 3104 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14992 [startup+1.50198 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1844520/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=18508 CPUtime=1.49 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 2225 0 0 0 147 2 0 0 25 0 1 0 186433099 18952192 2199 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 4627 2199 197 640 0 3983 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18508 [startup+3.10116 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1841704/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=20136 CPUtime=3.09 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 2632 0 0 0 306 3 0 0 25 0 1 0 186433099 20619264 2606 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 5034 2606 197 640 0 4390 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20136 [startup+6.30151 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1838312/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=23516 CPUtime=6.28 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 3503 0 0 0 624 4 0 0 25 0 1 0 186433099 24080384 3477 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 5879 3477 197 640 0 5235 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23516 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1834984/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=26144 CPUtime=12.68 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 4155 0 0 0 1262 6 0 0 25 0 1 0 186433099 26771456 4129 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 6536 4129 197 640 0 5892 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26144 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1833640/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=27532 CPUtime=25.49 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 4504 0 0 0 2540 9 0 0 25 0 1 0 186433099 28192768 4478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 6883 4478 197 640 0 6239 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27532 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1833064/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=28164 CPUtime=51.08 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 4660 0 0 0 5094 14 0 0 25 0 1 0 186433099 28839936 4634 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 7041 4634 197 640 0 6397 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28164 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1827752/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=33448 CPUtime=102.26 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 5976 0 0 0 10204 22 0 0 25 0 1 0 186433099 34250752 5950 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 8362 5950 197 640 0 7718 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33448 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1827624/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=33576 CPUtime=162.24 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 6015 0 0 0 16191 33 0 0 25 0 1 0 186433099 34381824 5989 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 8394 5989 197 640 0 7750 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33576 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1824552/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=36636 CPUtime=222.23 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 6776 0 0 0 22181 42 0 0 25 0 1 0 186433099 37515264 6750 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9159 6750 197 640 0 8515 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36636 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1824488/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=36592 CPUtime=282.21 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 6776 0 0 0 28171 50 0 0 25 0 1 0 186433099 37470208 6747 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9148 6747 197 640 0 8504 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36592 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1824488/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=36588 CPUtime=342.2 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 6776 0 0 0 34163 57 0 0 25 0 1 0 186433099 37466112 6746 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9147 6746 197 640 0 8503 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 36588 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1824488/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=36588 CPUtime=402.18 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 6778 0 0 0 40154 64 0 0 25 0 1 0 186433099 37466112 6746 1992294400 134512640 137136520 4294956256 18446744073709551615 134574485 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9147 6746 197 640 0 8503 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 36588 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 10447 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37520 CPUtime=462.16 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 46144 72 0 0 25 0 1 0 186433099 38420480 6974 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9380 6974 197 640 0 8736 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 37520 [startup+522.302 s] /proc/loadavg: 1.05 0.99 0.99 2/65 10447 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37456 CPUtime=522.15 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 52132 83 0 0 25 0 1 0 186433099 38354944 6963 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9364 6963 197 640 0 8720 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 37456 [startup+582.301 s] /proc/loadavg: 1.02 0.99 0.99 2/65 10447 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37444 CPUtime=582.14 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 58121 93 0 0 25 0 1 0 186433099 38342656 6960 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9361 6960 197 640 0 8717 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 37444 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 10447 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37436 CPUtime=642.12 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 64111 101 0 0 25 0 1 0 186433099 38334464 6958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9359 6958 197 640 0 8715 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 37436 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37432 CPUtime=702.1 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 70100 110 0 0 25 0 1 0 186433099 38330368 6957 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9358 6957 197 640 0 8714 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 37432 [startup+762.305 s] /proc/loadavg: 1.00 0.99 0.99 2/65 10447 /proc/meminfo: memFree=1823592/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37432 CPUtime=762.09 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 76093 116 0 0 25 0 1 0 186433099 38330368 6957 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9358 6957 197 640 0 8714 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 37432 [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 10449 /proc/meminfo: memFree=1823400/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37432 CPUtime=822.07 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 82084 123 0 0 25 0 1 0 186433099 38330368 6957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9358 6957 197 640 0 8714 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 37432 [startup+882.302 s] /proc/loadavg: 1.06 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823400/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37432 CPUtime=882.06 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 88075 131 0 0 25 0 1 0 186433099 38330368 6957 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9358 6957 197 640 0 8714 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 37432 [startup+942.301 s] /proc/loadavg: 1.02 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823400/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37432 CPUtime=942.04 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7006 0 0 0 94064 140 0 0 25 0 1 0 186433099 38330368 6957 1992294400 134512640 137136520 4294956256 18446744073709551615 136294900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9358 6957 197 640 0 8714 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 37432 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37904 CPUtime=1002.02 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 100057 145 0 0 25 0 1 0 186433099 38813696 7070 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9476 7070 197 640 0 8832 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 37904 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37904 CPUtime=1062 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 106048 152 0 0 25 0 1 0 186433099 38813696 7070 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9476 7070 197 640 0 8832 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 37904 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37840 CPUtime=1121.99 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 112040 159 0 0 25 0 1 0 186433099 38748160 7059 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9460 7059 197 640 0 8816 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 37840 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37828 CPUtime=1181.98 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 118032 166 0 0 25 0 1 0 186433099 38735872 7056 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9457 7056 197 640 0 8813 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 37828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1241.96 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 124023 173 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 37716 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1253.96 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 125221 175 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1253.96 Current children cumulated vsize (KiB) 37716 [startup+1267.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1266.75 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 126499 176 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134574333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1266.75 Current children cumulated vsize (KiB) 37716 [startup+1273.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1273.15 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 127138 177 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1273.15 Current children cumulated vsize (KiB) 37716 [startup+1279.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1279.55 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 127778 177 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1279.55 Current children cumulated vsize (KiB) 37716 [startup+1281.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1281.16 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 127938 178 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1281.16 Current children cumulated vsize (KiB) 37716 [startup+1283.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1282.75 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 128097 178 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1282.75 Current children cumulated vsize (KiB) 37716 [startup+1283.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1283.55 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 128177 178 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1283.55 Current children cumulated vsize (KiB) 37716 [startup+1284.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1283.75 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 128197 178 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1283.75 Current children cumulated vsize (KiB) 37716 [startup+1284.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10449 /proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956 [pid=10446] ppid=10444 vsize=37716 CPUtime=1283.85 /proc/10446/stat : 10446 (bsolo) R 10444 10446 9402 0 -1 4194304 7120 0 0 0 128207 178 0 0 25 0 1 0 186433099 38621184 7028 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10446/statm: 9429 7028 197 640 0 8785 0 Current children cumulated CPU time (s) 1283.85 Current children cumulated vsize (KiB) 37716 Child status: 0 Real time (s): 1284.22 CPU time (s): 1283.88 CPU user time (s): 1282.09 CPU system time (s): 1.79173 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 38012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1282.09 system time used= 1.79173 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7122 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= 1625 runsolver used 0.959854 second user time and 2.6586 second system time The end
Begin job on node38 at 2009-06-16 23:39:19 IDJOB=1878040 IDBENCH=48020 IDSOLVER=700 FILE ID=node38/1878040-1245188359 PBS_JOBID= 9363918 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878040-1245188359/watcher-1878040-1245188359 -o /tmp/evaluation-result-1878040-1245188359/solver-1878040-1245188359 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878040-1245188359.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb RANDOM SEED=479273760 node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1851600 kB Buffers: 48296 kB Cached: 72008 kB SwapCached: 260 kB Active: 47368 kB Inactive: 86216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851600 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 22512 kB Slab: 56692 kB Committed_AS: 168524 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878040-1245188359.opb Free space on /tmp at the end= 66232 MiB End job on node38 at 2009-06-17 00:00:44