Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798.01 | 1798.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb |
MD5SUM | 8f717fbc7f85484ebc0de379ab09a890 |
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 | 9.76751 |
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.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-2670527-1276702356.opb 0.00/0.00 c File size is 38507 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: 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.013 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. 151.05/151.13 c 100 704 1240 12174 9 4213 6506 191 3125 0.03 151.05/151.13 c 252 704 1527 25886 16 4975 7157 478 3652 0.07 151.05/151.13 c 479 704 1966 47243 24 6105 7873 917 4059 0.12 151.05/151.13 c 817 704 2630 84532 32 7851 8661 1581 4064 0.20 151.05/151.13 c 1326 704 3627 142271 39 10436 9528 2578 3662 0.36 151.05/151.13 c 2089 704 5095 219655 43 14244 10481 4046 3160 0.66 151.05/151.13 c 3235 704 7293 337109 46 19603 11530 6244 2410 1.34 151.05/151.13 c 4957 704 10603 535256 50 27836 12684 9554 2535 1.96 151.05/151.13 c 7541 704 8918 459344 51 22506 13953 7869 1871 4.03 151.05/151.13 c 11421 704 9043 473985 52 23242 15349 7994 1940 5.89 151.05/151.13 c 17244 704 12074 651493 53 30100 16884 11025 1564 11.02 151.05/151.13 c 25981 704 10904 567878 52 27140 18573 9855 1374 18.90 151.05/151.13 c 39091 704 16672 856732 51 40789 20431 15623 1044 37.43 151.05/151.13 c 58762 704 11266 630710 55 28087 22475 10217 1044 56.24 151.05/151.13 c 88272 704 20838 1418083 68 53132 24723 19789 943 93.59 151.05/151.13 o 97 738.19/738.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 738.19/738.45 c 126403 704 16460 900402 54 40769 5931 15411 836 151.09 738.19/738.45 c 126503 694 4213 192624 45 11184 6525 3164 835 151.44 738.19/738.45 c 126753 694 4698 221206 47 12534 7178 3649 836 151.50 738.19/738.45 c 127229 694 5629 282325 50 15087 7896 4580 839 151.64 738.19/738.45 c 128042 694 7138 374552 52 18586 8686 6089 842 151.93 738.19/738.45 c 129362 694 9635 505537 52 24558 9555 8586 847 152.68 738.19/738.45 c 131444 694 8528 440434 51 21505 10511 7479 854 153.77 738.19/738.45 c 134668 694 8986 464191 51 22660 11563 7937 860 156.53 738.19/738.45 c 139604 694 12327 645984 52 30648 12720 11278 874 159.57 738.19/738.45 c 147110 694 13117 798180 60 33593 13993 12068 886 166.00 738.19/738.45 c 158472 694 12077 625455 51 31927 15393 11028 894 177.12 738.19/738.45 c 175617 694 13293 700228 52 32641 16933 12244 895 196.18 738.19/738.45 c 201437 693 9520 515234 54 26154 18627 8471 932 215.98 738.19/738.45 c 240271 693 10667 536264 50 27078 20490 9618 867 276.98 738.19/738.45 c 298623 693 15521 826430 53 40378 22540 14472 826 361.36 738.19/738.45 c 386255 692 13466 738657 54 33420 24795 12417 726 531.68 738.19/738.45 o 35 978.11/978.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 978.11/978.47 c 485564 691 14534 750838 51 36227 5929 13485 657 738.25 978.11/978.47 c 485665 691 4215 178633 42 11140 6522 3166 657 738.40 978.11/978.47 c 485916 691 4691 203316 43 12364 7175 3642 657 738.48 978.11/978.47 c 486392 691 5564 251972 45 14554 7893 4515 658 738.69 978.11/978.47 c 487205 691 6993 332377 47 17966 8683 5944 659 739.13 978.11/978.47 c 488525 691 9361 459620 49 24072 9552 8312 660 740.06 978.11/978.47 c 490607 691 8314 401499 48 21749 10508 7265 661 742.14 978.11/978.47 c 493831 691 8671 422629 48 22152 11559 7622 661 746.20 978.11/978.47 c 498768 691 11846 582435 49 31790 12715 10797 663 751.47 978.11/978.47 c 506274 691 12511 659408 52 31347 13987 11462 667 758.89 978.11/978.47 c 517635 691 11951 590916 49 31295 15386 10902 669 772.78 978.11/978.47 c 534779 681 10104 529639 52 25425 16925 9055 675 792.17 978.11/978.47 c 560599 681 14312 749412 52 34548 18618 13263 675 830.17 978.11/978.47 c 599431 681 17537 889541 50 45712 20480 16488 674 888.21 978.11/978.47 o 5 984.91/985.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 984.91/985.20 c 648816 681 14269 718525 50 36433 5927 13220 663 978.20 984.91/985.20 c 648916 671 4197 185984 44 11041 6520 3148 663 978.37 984.91/985.20 c 649166 671 4681 215440 46 12149 7173 3632 663 978.43 984.91/985.20 c 649641 671 5601 263802 47 14843 7891 4552 663 978.57 984.91/985.20 c 650455 671 7148 341494 47 19098 8681 6099 664 978.97 984.91/985.20 c 651775 671 9555 471688 49 25211 9550 8506 665 980.03 984.91/985.20 c 653856 661 7959 398807 50 20684 10506 6910 666 981.52 984.91/985.20 c 657080 651 8288 413456 49 21744 11557 7239 668 983.48 984.91/985.20 o 3 1797.98/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.51 c 659538 651 6840 326084 47 18139 5949 5791 669 985.00 1797.98/1798.51 c 659639 651 6991 332417 47 18464 6544 5942 669 985.03 1797.98/1798.51 c 659889 630 7466 361137 48 19773 7199 6417 669 985.20 1797.98/1798.51 c 660364 630 4661 206756 44 12528 7919 3612 670 985.46 1797.98/1798.51 c 661177 630 6216 284902 45 16982 8711 5167 670 985.76 1797.98/1798.51 c 662498 630 8747 429738 49 23441 9583 7698 671 986.29 1797.98/1798.51 c 664579 630 7552 361936 47 20507 10542 6503 672 987.65 1797.98/1798.51 c 667803 630 8033 381949 47 21334 11597 6984 673 990.97 1797.98/1798.51 c 672739 630 10794 553506 51 27281 12757 9745 675 996.30 1797.98/1798.51 c 680245 630 10673 619269 58 26331 14033 9624 678 1002.92 1797.98/1798.51 c 691608 630 9931 527318 53 24499 15437 8882 682 1013.54 1797.98/1798.51 c 708753 630 9722 550455 56 25473 16981 8673 691 1025.32 1797.98/1798.51 c 734573 630 13271 669873 50 32725 18680 12222 692 1060.74 1797.98/1798.51 c 773405 630 14256 730297 51 37440 20549 13207 685 1127.48 1797.98/1798.51 c 831758 630 14021 717148 51 33798 22604 12972 670 1240.35 1797.98/1798.51 c 919391 630 18175 940093 51 47379 24865 17126 640 1434.57 1797.98/1798.51 c 1050943 629 16890 879129 52 42199 27352 15841 613 1714.40 1797.98/1798.51 c Resources Exceeded 1797.98/1798.52 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 1797.98/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.52 c 70 1095920 12105 1148542 15441 803971 14392 609 1798.00 1797.98/1798.52 c Objective: 3 1797.98/1798.52 s SATISFIABLE 1797.98/1798.52 c Total time: 1798 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-2670527-1276702356/watcher-2670527-1276702356 -o /tmp/evaluation-result-2670527-1276702356/solver-2670527-1276702356 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670527-1276702356.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.05 1.00 2/105 17941 /proc/meminfo: memFree=1809052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=10928 CPUtime=0 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 387 0 0 0 0 0 0 0 25 0 1 0 11529483 11190272 296 1992294400 134512640 137138936 4291174736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 2732 296 184 642 0 2088 0 [startup+0.011694 s] /proc/loadavg: 1.00 1.05 1.00 2/105 17941 /proc/meminfo: memFree=1809052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=11060 CPUtime=0 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 1 0 11529483 11325440 321 1992294400 134512640 137138936 4291174736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 2765 323 185 642 0 2121 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11060 [startup+0.100701 s] /proc/loadavg: 1.00 1.05 1.00 2/105 17941 /proc/meminfo: memFree=1809052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=11564 CPUtime=0.09 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 531 0 0 0 9 0 0 0 25 0 1 0 11529483 11841536 440 1992294400 134512640 137138936 4291174736 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 2891 441 192 642 0 2247 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11564 [startup+0.300721 s] /proc/loadavg: 1.00 1.05 1.00 2/105 17941 /proc/meminfo: memFree=1809052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=12848 CPUtime=0.29 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 857 0 0 0 29 0 0 0 25 0 1 0 11529483 13156352 766 1992294400 134512640 137138936 4291174736 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 3212 766 192 642 0 2568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12848 [startup+0.70076 s] /proc/loadavg: 1.00 1.05 1.00 2/105 17941 /proc/meminfo: memFree=1809052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=14388 CPUtime=0.69 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 1243 0 0 0 68 1 0 0 25 0 1 0 11529483 14733312 1152 1992294400 134512640 137138936 4291174736 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 3597 1152 192 642 0 2953 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14388 [startup+1.50084 s] /proc/loadavg: 1.00 1.05 1.00 2/106 17942 /proc/meminfo: memFree=1804580/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=16828 CPUtime=1.49 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 1867 0 0 0 147 2 0 0 25 0 1 0 11529483 17231872 1776 1992294400 134512640 137138936 4291174736 18446744073709551615 134600182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 4207 1776 192 642 0 3563 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16828 [startup+3.101 s] /proc/loadavg: 1.00 1.05 1.00 2/106 17942 /proc/meminfo: memFree=1799868/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=21192 CPUtime=3.09 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 2965 0 0 0 306 3 0 0 25 0 1 0 11529483 21700608 2874 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 5298 2874 192 642 0 4654 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21192 [startup+6.30032 s] /proc/loadavg: 1.00 1.04 1.00 2/106 17942 /proc/meminfo: memFree=1796520/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=23500 CPUtime=6.29 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 3541 0 0 0 625 4 0 0 25 0 1 0 11529483 24064000 3450 1992294400 134512640 137138936 4291174736 18446744073709551615 136501693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 5875 3450 192 642 0 5231 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23500 [startup+12.701 s] /proc/loadavg: 1.00 1.04 1.00 2/106 17942 /proc/meminfo: memFree=1794064/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=25424 CPUtime=12.69 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 4016 0 0 0 1263 6 0 0 25 0 1 0 11529483 26034176 3925 1992294400 134512640 137138936 4291174736 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 6356 3925 192 642 0 5712 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25424 [startup+25.5012 s] /proc/loadavg: 1.00 1.04 1.00 3/107 17945 /proc/meminfo: memFree=1772348/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=27196 CPUtime=25.48 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 4454 0 0 0 2539 9 0 0 25 0 1 0 11529483 27848704 4363 1992294400 134512640 137138936 4291174736 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 6799 4363 192 642 0 6155 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27196 [startup+51.1008 s] /proc/loadavg: 1.00 1.04 1.00 2/106 17945 /proc/meminfo: memFree=1788732/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=30132 CPUtime=51.07 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 5196 0 0 0 5091 16 0 0 25 0 1 0 11529483 30855168 5105 1992294400 134512640 137138936 4291174736 18446744073709551615 136504262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 7533 5105 192 642 0 6889 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30132 [startup+102.308 s] /proc/loadavg: 1.00 1.03 1.00 2/106 17947 /proc/meminfo: memFree=1780300/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38560 CPUtime=102.27 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 10200 27 0 0 25 0 1 0 11529483 39485440 7210 1992294400 134512640 137138936 4291174736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9640 7210 192 642 0 8996 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 38560 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 17949 /proc/meminfo: memFree=1780300/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38552 CPUtime=162.25 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 16186 39 0 0 25 0 1 0 11529483 39477248 7210 1992294400 134512640 137138936 4291174736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9638 7210 192 642 0 8994 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38552 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 17951 /proc/meminfo: memFree=1780300/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38428 CPUtime=222.23 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 22172 51 0 0 25 0 1 0 11529483 39350272 7184 1992294400 134512640 137138936 4291174736 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9607 7184 192 642 0 8963 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38428 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 17951 /proc/meminfo: memFree=1780300/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38420 CPUtime=282.21 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 28159 62 0 0 25 0 1 0 11529483 39342080 7182 1992294400 134512640 137138936 4291174736 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9605 7182 192 642 0 8961 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 38420 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17953 /proc/meminfo: memFree=1780300/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38420 CPUtime=342.19 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 34145 74 0 0 25 0 1 0 11529483 39342080 7182 1992294400 134512640 137138936 4291174736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9605 7182 192 642 0 8961 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 38420 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17955 /proc/meminfo: memFree=1780300/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38416 CPUtime=402.18 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 40134 84 0 0 25 0 1 0 11529483 39337984 7181 1992294400 134512640 137138936 4291174736 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9604 7181 192 642 0 8960 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 38416 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17957 /proc/meminfo: memFree=1780176/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38412 CPUtime=462.16 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 46121 95 0 0 25 0 1 0 11529483 39333888 7180 1992294400 134512640 137138936 4291174736 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9603 7180 192 642 0 8959 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 38412 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17959 /proc/meminfo: memFree=1780052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38408 CPUtime=522.15 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 52110 105 0 0 25 0 1 0 11529483 39329792 7179 1992294400 134512640 137138936 4291174736 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9602 7179 192 642 0 8958 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38408 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17959 /proc/meminfo: memFree=1780052/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38400 CPUtime=582.13 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 58099 114 0 0 25 0 1 0 11529483 39321600 7177 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9600 7177 192 642 0 8956 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 38400 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17961 /proc/meminfo: memFree=1779928/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38396 CPUtime=642.12 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 64087 125 0 0 25 0 1 0 11529483 39317504 7176 1992294400 134512640 137138936 4291174736 18446744073709551615 136504262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9599 7176 192 642 0 8955 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 38396 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1779556/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1061.99 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 105987 212 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 38368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17975 /proc/meminfo: memFree=1779556/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1121.97 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 111971 226 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 38368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17975 /proc/meminfo: memFree=1779556/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1181.96 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 117959 237 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 38368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17977 /proc/meminfo: memFree=1779308/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1241.94 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 123947 247 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 38368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17979 /proc/meminfo: memFree=1779184/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1301.93 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 129936 257 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134607375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 38368 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17981 /proc/meminfo: memFree=1779308/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1361.91 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 135924 267 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 38368 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17983 /proc/meminfo: memFree=1779308/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1421.89 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 141912 277 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 38368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17983 /proc/meminfo: memFree=1779308/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1481.88 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 147901 287 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 38368 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17985 /proc/meminfo: memFree=1779308/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1541.86 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 153888 298 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 38368 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17987 /proc/meminfo: memFree=1779184/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1601.84 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 159875 309 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 38368 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 17989 /proc/meminfo: memFree=1779184/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38368 CPUtime=1661.82 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7301 0 0 0 165865 317 0 0 25 0 1 0 11529483 39288832 7169 1992294400 134512640 137138936 4291174736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9592 7169 192 642 0 8948 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 38368 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18000 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1721.8 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 171852 328 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 38380 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18000 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1781.78 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 177838 340 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 38380 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18002 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1791.38 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 178798 340 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 38380 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18002 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1794.58 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 179117 341 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 38380 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18002 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1796.17 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 179276 341 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 38380 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18002 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1796.97 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 179356 341 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 38380 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18002 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1797.77 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 179436 341 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 38380 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18002 /proc/meminfo: memFree=1778812/2059040 swapFree=4140432/4192956 [pid=17941] ppid=17939 vsize=38380 CPUtime=1797.98 /proc/17941/stat : 17941 (bsolo_pb10) R 17939 17941 17482 0 -1 4202496 7304 0 0 0 179457 341 0 0 25 0 1 0 11529483 39301120 7172 1992294400 134512640 137138936 4291174736 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17941/statm: 9595 7172 192 642 0 8951 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 38380 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1794.59 CPU system time (s): 3.42048 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 38560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 3.42048 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7305 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= 3384 runsolver used 3.01254 second user time and 8.44871 second system time The end
Begin job on node084 at 2010-06-16 17:32:36 IDJOB=2670527 IDBENCH=47980 IDSOLVER=1162 FILE ID=node084/2670527-1276702356 PBS_JOBID= 11174082 Free space on /tmp= 62512 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670527-1276702356/watcher-2670527-1276702356 -o /tmp/evaluation-result-2670527-1276702356/solver-2670527-1276702356 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670527-1276702356.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=730478114 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1809836 kB Buffers: 16116 kB Cached: 145436 kB SwapCached: 13444 kB Active: 83944 kB Inactive: 98300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1809836 kB SwapTotal: 4192956 kB SwapFree: 4140432 kB Dirty: 3984 kB Writeback: 8 kB AnonPages: 11052 kB Mapped: 13100 kB Slab: 45320 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181484 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-2670527-1276702356.opb Free space on /tmp at the end= 62508 MiB End job on node084 at 2010-06-16 18:02:35