Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 3 | 1798 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-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.46856 |
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-2670459-1276702238.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.006 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.014 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. 157.54/157.63 c 100 704 1240 12174 9 4213 6506 191 2941 0.03 157.54/157.63 c 252 704 1527 25886 16 4975 7157 478 3405 0.07 157.54/157.63 c 479 704 1966 47243 24 6105 7873 917 3771 0.13 157.54/157.63 c 817 704 2630 84532 32 7851 8661 1581 3782 0.22 157.54/157.63 c 1326 704 3627 142271 39 10436 9528 2578 3408 0.39 157.54/157.63 c 2089 704 5095 219655 43 14244 10481 4046 2950 0.71 157.54/157.63 c 3235 704 7293 337109 46 19603 11530 6244 2273 1.42 157.54/157.63 c 4957 704 10603 535256 50 27836 12684 9554 2385 2.08 157.54/157.63 c 7541 704 8918 459344 51 22506 13953 7869 1771 4.26 157.54/157.63 c 11421 704 9043 473985 52 23242 15349 7994 1833 6.23 157.54/157.63 c 17244 704 12074 651493 53 30100 16884 11025 1481 11.64 157.54/157.63 c 25981 704 10904 567878 52 27140 18573 9855 1305 19.90 157.54/157.63 c 39091 704 16672 856732 51 40789 20431 15623 997 39.18 157.54/157.63 c 58762 704 11266 630710 55 28087 22475 10217 997 58.88 157.54/157.63 c 88272 704 20838 1418083 68 53132 24723 19789 902 97.82 157.54/157.63 o 97 768.05/768.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 768.05/768.35 c 126403 704 16460 900402 54 40769 5931 15411 802 157.58 768.05/768.35 c 126503 694 4213 192624 45 11184 6525 3164 800 157.94 768.05/768.35 c 126753 694 4698 221206 47 12534 7178 3649 802 158.01 768.05/768.35 c 127229 694 5629 282325 50 15087 7896 4580 804 158.16 768.05/768.35 c 128042 694 7138 374552 52 18586 8686 6089 807 158.47 768.05/768.35 c 129362 694 9635 505537 52 24558 9555 8586 812 159.26 768.05/768.35 c 131444 694 8528 440434 51 21505 10511 7479 819 160.42 768.05/768.35 c 134668 694 8986 464191 51 22660 11563 7937 824 163.33 768.05/768.35 c 139604 694 12327 645984 52 30648 12720 11278 838 166.53 768.05/768.35 c 147110 694 13117 798180 60 33593 13993 12068 848 173.28 768.05/768.35 c 158472 694 12077 625455 51 31927 15393 11028 856 184.94 768.05/768.35 c 175617 694 13293 700228 52 32641 16933 12244 857 204.84 768.05/768.35 c 201437 693 9520 515234 54 26154 18627 8471 892 225.62 768.05/768.35 c 240271 693 10667 536264 50 27078 20490 9618 830 289.17 768.05/768.35 c 298623 693 15521 826430 53 40378 22540 14472 792 376.96 768.05/768.35 c 386255 692 13466 738657 54 33420 24795 12417 697 553.96 768.05/768.35 o 35 1017.98/1018.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1017.98/1018.34 c 485564 691 14534 750838 51 36227 5929 13485 632 768.12 1017.98/1018.34 c 485665 691 4215 178633 42 11140 6522 3166 632 768.28 1017.98/1018.34 c 485916 691 4691 203316 43 12364 7175 3642 632 768.37 1017.98/1018.34 c 486392 691 5564 251972 45 14554 7893 4515 632 768.59 1017.98/1018.34 c 487205 691 6993 332377 47 17966 8683 5944 633 769.06 1017.98/1018.34 c 488525 691 9361 459620 49 24072 9552 8312 634 770.04 1017.98/1018.34 c 490607 691 8314 401499 48 21749 10508 7265 635 772.23 1017.98/1018.34 c 493831 691 8671 422629 48 22152 11559 7622 635 776.51 1017.98/1018.34 c 498768 691 11846 582435 49 31790 12715 10797 637 782.05 1017.98/1018.34 c 506274 691 12511 659408 52 31347 13987 11462 640 789.84 1017.98/1018.34 c 517635 691 11951 590916 49 31295 15386 10902 643 804.37 1017.98/1018.34 c 534779 681 10104 529639 52 25425 16925 9055 648 824.64 1017.98/1018.34 c 560599 681 14312 749412 52 34548 18618 13263 648 864.24 1017.98/1018.34 c 599431 681 17537 889541 50 45712 20480 16488 648 924.71 1017.98/1018.34 o 5 1025.08/1025.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1025.08/1025.42 c 648816 681 14269 718525 50 36433 5927 13220 637 1018.03 1025.08/1025.42 c 648916 671 4197 185984 44 11041 6520 3148 637 1018.21 1025.08/1025.42 c 649166 671 4681 215440 46 12149 7173 3632 637 1018.28 1025.08/1025.42 c 649641 671 5601 263802 47 14843 7891 4552 637 1018.43 1025.08/1025.42 c 650455 671 7148 341494 47 19098 8681 6099 638 1018.84 1025.08/1025.42 c 651775 671 9555 471688 49 25211 9550 8506 639 1019.96 1025.08/1025.42 c 653856 661 7959 398807 50 20684 10506 6910 640 1021.53 1025.08/1025.42 c 657080 651 8288 413456 49 21744 11557 7239 641 1023.59 1025.08/1025.42 o 3 1797.93/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.56 c 659538 651 6840 326084 47 18139 5949 5791 643 1025.19 1797.93/1798.56 c 659639 651 6991 332417 47 18464 6544 5942 643 1025.22 1797.93/1798.56 c 659889 630 7466 361137 48 19773 7199 6417 643 1025.40 1797.93/1798.56 c 660364 630 4661 206756 44 12528 7919 3612 643 1025.68 1797.93/1798.56 c 661177 630 6216 284902 45 16982 8711 5167 644 1026.00 1797.93/1798.56 c 662498 630 8747 429738 49 23441 9583 7698 645 1026.56 1797.93/1798.56 c 664579 630 7552 361936 47 20507 10542 6503 646 1028.00 1797.93/1798.56 c 667803 630 8033 381949 47 21334 11597 6984 647 1031.49 1797.93/1798.56 c 672739 630 10794 553506 51 27281 12757 9745 648 1037.09 1797.93/1798.56 c 680245 630 10673 619269 58 26331 14033 9624 651 1044.07 1797.93/1798.56 c 691608 630 9931 527318 53 24499 15437 8882 655 1055.24 1797.93/1798.56 c 708753 630 9722 550455 56 25473 16981 8673 663 1067.67 1797.93/1798.56 c 734573 630 13271 669873 50 32725 18680 12222 665 1104.58 1797.93/1798.56 c 773405 630 14256 730297 51 37440 20549 13207 658 1174.03 1797.93/1798.56 c 831758 630 14021 717148 51 33798 22604 12972 644 1291.10 1797.93/1798.56 c 919391 630 18175 940093 51 47379 24865 17126 616 1492.35 1797.93/1798.56 c 1050943 629 16890 879129 52 42199 27352 15841 589 1782.27 1797.93/1798.56 c Resources Exceeded 1797.93/1798.56 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.93/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.56 c 70 1064594 11889 1116399 27286 1446196 26237 592 1798.00 1797.93/1798.56 c Objective: 3 1797.93/1798.56 s SATISFIABLE 1797.93/1798.56 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-2670459-1276702238/watcher-2670459-1276702238 -o /tmp/evaluation-result-2670459-1276702238/solver-2670459-1276702238 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670459-1276702238.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.95 1.01 0.95 3/106 14320 /proc/meminfo: memFree=1750536/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=10928 CPUtime=0 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 376 0 0 0 0 0 0 0 18 0 1 0 45827834 11190272 284 1992294400 134512640 137138936 4294726208 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 2732 286 182 642 0 2088 0 [startup+0.01332 s] /proc/loadavg: 0.95 1.01 0.95 3/106 14320 /proc/meminfo: memFree=1750536/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=11060 CPUtime=0 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 414 0 0 0 0 0 0 0 18 0 1 0 45827834 11325440 322 1992294400 134512640 137138936 4294726208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 2765 322 185 642 0 2121 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11060 [startup+0.10133 s] /proc/loadavg: 0.95 1.01 0.95 3/106 14320 /proc/meminfo: memFree=1750536/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=11436 CPUtime=0.09 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 522 0 0 0 9 0 0 0 20 0 1 0 45827834 11710464 430 1992294400 134512640 137138936 4294726208 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 2859 431 192 642 0 2215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11436 [startup+0.301354 s] /proc/loadavg: 0.95 1.01 0.95 3/106 14320 /proc/meminfo: memFree=1750536/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=12720 CPUtime=0.29 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 830 0 0 0 29 0 0 0 20 0 1 0 45827834 13025280 738 1992294400 134512640 137138936 4294726208 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 3180 738 192 642 0 2536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12720 [startup+0.7014 s] /proc/loadavg: 0.95 1.01 0.95 3/106 14320 /proc/meminfo: memFree=1750536/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=14256 CPUtime=0.69 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 1212 0 0 0 68 1 0 0 20 0 1 0 45827834 14598144 1120 1992294400 134512640 137138936 4294726208 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 3564 1121 192 642 0 2920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14256 [startup+1.50149 s] /proc/loadavg: 0.95 1.01 0.95 2/107 14321 /proc/meminfo: memFree=1746312/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=16440 CPUtime=1.49 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 1762 0 0 0 147 2 0 0 23 0 1 0 45827834 16834560 1670 1992294400 134512640 137138936 4294726208 18446744073709551615 134575067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 4110 1670 192 642 0 3466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16440 [startup+3.10168 s] /proc/loadavg: 0.95 1.01 0.95 2/107 14321 /proc/meminfo: memFree=1741972/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=20936 CPUtime=3.09 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 2889 0 0 0 306 3 0 0 25 0 1 0 45827834 21438464 2797 1992294400 134512640 137138936 4294726208 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 5234 2797 192 642 0 4590 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20936 [startup+6.30206 s] /proc/loadavg: 0.95 1.01 0.95 2/107 14321 /proc/meminfo: memFree=1738996/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=23500 CPUtime=6.29 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 3541 0 0 0 625 4 0 0 25 0 1 0 45827834 24064000 3449 1992294400 134512640 137138936 4294726208 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 5875 3449 192 642 0 5231 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23500 [startup+12.7018 s] /proc/loadavg: 0.96 1.01 0.95 2/107 14321 /proc/meminfo: memFree=1736028/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=25036 CPUtime=12.69 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 3921 0 0 0 1263 6 0 0 25 0 1 0 45827834 25636864 3829 1992294400 134512640 137138936 4294726208 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 6259 3829 192 642 0 5615 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25036 [startup+25.5013 s] /proc/loadavg: 0.97 1.01 0.95 2/107 14323 /proc/meminfo: memFree=1733920/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=27196 CPUtime=25.48 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 4454 0 0 0 2540 8 0 0 25 0 1 0 45827834 27848704 4362 1992294400 134512640 137138936 4294726208 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 6799 4362 192 642 0 6155 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27196 [startup+51.1003 s] /proc/loadavg: 0.98 1.01 0.95 2/107 14323 /proc/meminfo: memFree=1731564/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=29628 CPUtime=51.08 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 5070 0 0 0 5093 15 0 0 25 0 1 0 45827834 30339072 4978 1992294400 134512640 137138936 4294726208 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 7407 4978 192 642 0 6763 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29628 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14325 /proc/meminfo: memFree=1722512/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38560 CPUtime=102.26 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 10202 24 0 0 25 0 1 0 45827834 39485440 7209 1992294400 134512640 137138936 4294726208 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9640 7209 192 642 0 8996 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38560 [startup+162.3 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14325 /proc/meminfo: memFree=1722512/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38552 CPUtime=162.24 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 16189 35 0 0 25 0 1 0 45827834 39477248 7209 1992294400 134512640 137138936 4294726208 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9638 7209 192 642 0 8994 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38552 [startup+222.3 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14327 /proc/meminfo: memFree=1722512/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38428 CPUtime=222.22 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 22173 49 0 0 25 0 1 0 45827834 39350272 7183 1992294400 134512640 137138936 4294726208 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9607 7183 192 642 0 8963 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38428 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14329 /proc/meminfo: memFree=1722512/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38424 CPUtime=282.2 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 28160 60 0 0 25 0 1 0 45827834 39346176 7182 1992294400 134512640 137138936 4294726208 18446744073709551615 136504255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9606 7182 192 642 0 8962 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 38424 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14331 /proc/meminfo: memFree=1722512/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38420 CPUtime=342.18 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 34146 72 0 0 25 0 1 0 45827834 39342080 7181 1992294400 134512640 137138936 4294726208 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9605 7181 192 642 0 8961 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 38420 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14333 /proc/meminfo: memFree=1722388/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38416 CPUtime=402.16 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 40133 83 0 0 25 0 1 0 45827834 39337984 7180 1992294400 134512640 137138936 4294726208 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9604 7180 192 642 0 8960 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 38416 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.95 2/107 14333 /proc/meminfo: memFree=1722388/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38412 CPUtime=462.15 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 46122 93 0 0 25 0 1 0 45827834 39333888 7179 1992294400 134512640 137138936 4294726208 18446744073709551615 134606703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9603 7179 192 642 0 8959 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 38412 [startup+522.301 s] /proc/loadavg: 1.04 1.01 0.96 3/107 14335 /proc/meminfo: memFree=1722388/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38412 CPUtime=522.13 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 52108 105 0 0 25 0 1 0 45827834 39333888 7179 1992294400 134512640 137138936 4294726208 18446744073709551615 134606614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9603 7179 192 642 0 8959 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 38412 [startup+582.301 s] /proc/loadavg: 1.01 1.01 0.96 2/107 14337 /proc/meminfo: memFree=1722388/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38400 CPUtime=582.11 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 58095 116 0 0 25 0 1 0 45827834 39321600 7176 1992294400 134512640 137138936 4294726208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9600 7176 192 642 0 8956 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 38400 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14339 /proc/meminfo: memFree=1722264/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38396 CPUtime=642.1 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 64085 125 0 0 25 0 1 0 45827834 39317504 7175 1992294400 134512640 137138936 4294726208 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9599 7175 192 642 0 8955 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 38396 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1722016/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1061.96 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 105993 203 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 38368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14351 /proc/meminfo: memFree=1722016/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1121.95 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 111979 216 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 38368 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14353 /proc/meminfo: memFree=1722016/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1181.93 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 117966 227 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 136511153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 38368 [startup+1242.3 s] /proc/loadavg: 1.05 1.01 0.96 2/107 14355 /proc/meminfo: memFree=1721892/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1241.91 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 123953 238 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 38368 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 0.96 2/107 14357 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1301.9 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 129943 247 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 38368 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14357 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1361.87 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 135930 257 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134606448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 38368 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14359 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1421.86 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 141920 266 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 38368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14361 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1481.83 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 147908 275 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 38368 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14363 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1541.81 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 153896 285 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 38368 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14365 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1601.79 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 159885 294 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 38368 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14365 /proc/meminfo: memFree=1721768/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1661.77 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 165873 304 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 38368 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14367 /proc/meminfo: memFree=1721644/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1721.75 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 171863 312 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 38368 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38368 CPUtime=1781.74 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7301 0 0 0 177852 322 0 0 25 0 1 0 45827834 39288832 7168 1992294400 134512640 137138936 4294726208 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9592 7168 192 642 0 8948 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 38368 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38380 CPUtime=1791.34 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7304 0 0 0 178810 324 0 0 25 0 1 0 45827834 39301120 7171 1992294400 134512640 137138936 4294726208 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9595 7171 192 642 0 8951 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 38380 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38380 CPUtime=1794.53 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7304 0 0 0 179129 324 0 0 25 0 1 0 45827834 39301120 7171 1992294400 134512640 137138936 4294726208 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9595 7171 192 642 0 8951 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 38380 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38380 CPUtime=1796.12 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7304 0 0 0 179288 324 0 0 25 0 1 0 45827834 39301120 7171 1992294400 134512640 137138936 4294726208 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9595 7171 192 642 0 8951 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (KiB) 38380 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38380 CPUtime=1796.92 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7304 0 0 0 179368 324 0 0 25 0 1 0 45827834 39301120 7171 1992294400 134512640 137138936 4294726208 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9595 7171 192 642 0 8951 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (KiB) 38380 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38380 CPUtime=1797.72 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7304 0 0 0 179448 324 0 0 25 0 1 0 45827834 39301120 7171 1992294400 134512640 137138936 4294726208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9595 7171 192 642 0 8951 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 38380 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.96 2/107 14369 /proc/meminfo: memFree=1721520/2059040 swapFree=4136508/4192956 [pid=14320] ppid=14318 vsize=38380 CPUtime=1797.93 /proc/14320/stat : 14320 (bsolo_pb10) R 14318 14320 14015 0 -1 4202496 7304 0 0 0 179469 324 0 0 25 0 1 0 45827834 39301120 7171 1992294400 134512640 137138936 4294726208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14320/statm: 9595 7171 192 642 0 8951 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 38380 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798 CPU user time (s): 1794.75 CPU system time (s): 3.2535 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 38560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.75 system time used= 3.25351 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= 3456 runsolver used 2.84557 second user time and 8.61369 second system time The end
Begin job on node001 at 2010-06-16 17:30:38 IDJOB=2670459 IDBENCH=47946 IDSOLVER=1162 FILE ID=node001/2670459-1276702238 PBS_JOBID= 11174132 Free space on /tmp= 62516 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=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670459-1276702238/watcher-2670459-1276702238 -o /tmp/evaluation-result-2670459-1276702238/solver-2670459-1276702238 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670459-1276702238.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=1892053992 node001.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.202 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.40 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1751560 kB Buffers: 84768 kB Cached: 129228 kB SwapCached: 10168 kB Active: 112056 kB Inactive: 115608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1751560 kB SwapTotal: 4192956 kB SwapFree: 4136508 kB Dirty: 3940 kB Writeback: 8 kB AnonPages: 11648 kB Mapped: 9460 kB Slab: 58108 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180984 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-2670459-1276702238.opb Free space on /tmp at the end= 62512 MiB End job on node001 at 2010-06-16 18:00:37