Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798.01 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb |
MD5SUM | 747af0da1666dabab7e7b60330c37a87 |
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 | 7.38288 |
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 | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 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) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670538-1276702376.opb 0.00/0.00 c File size is 43526 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.007 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.016 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 117.95/118.05 c 100 792 1280 10463 8 4388 7322 100 3846 0.03 117.95/118.05 c 250 792 1430 21504 15 4583 8055 250 5681 0.04 117.95/118.05 c 476 792 1656 36033 21 5109 8861 476 6898 0.07 117.95/118.05 c 815 792 1995 61117 30 5738 9748 815 7409 0.11 117.95/118.05 c 1323 792 2503 92728 37 6713 10723 1323 7828 0.17 117.95/118.05 c 2087 792 3267 138595 42 8221 11796 2087 7122 0.29 117.95/118.05 c 3233 792 4413 207734 47 10517 12976 3233 6009 0.54 117.95/118.05 c 4955 792 6135 309005 50 13948 14274 4955 4710 1.05 117.95/118.05 c 7540 792 8720 465576 53 19153 15702 7540 3461 2.18 117.95/118.05 c 11420 792 12600 717930 56 26874 17273 11420 2966 3.85 117.95/118.05 c 17242 792 18422 1107734 60 38568 19001 17242 2346 7.35 117.95/118.05 c 25980 792 17430 1099499 63 36618 20902 16250 2199 11.81 117.95/118.05 c 39096 792 19864 1160962 58 41486 22993 18684 1965 19.89 117.95/118.05 c 58766 789 14734 904598 61 31139 25293 13554 1645 35.71 117.95/118.05 c 88277 789 14518 891549 61 30737 27823 13338 1627 54.24 117.95/118.05 c 132547 789 24085 1581757 65 49851 30606 22905 1236 107.17 117.95/118.05 o 163 459.17/459.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 459.17/459.38 c 153799 789 25369 1677375 66 52469 6672 24189 1303 118.02 459.17/459.38 c 153899 789 4619 235510 50 11005 7340 3439 1300 118.31 459.17/459.38 c 154150 789 4870 254398 52 11551 8075 3690 1302 118.36 459.17/459.38 c 154625 789 5345 285409 53 12353 8883 4165 1305 118.43 459.17/459.38 c 155439 789 6159 340807 55 14058 9772 4979 1311 118.56 459.17/459.38 c 156760 789 7480 431245 57 16684 10750 6300 1318 118.85 459.17/459.38 c 158841 789 9561 571300 59 20842 11826 8381 1327 119.63 459.17/459.38 c 162066 789 12786 788139 61 27302 13009 11606 1343 120.59 459.17/459.38 c 167002 789 11084 665721 60 23873 14310 9904 1345 124.11 459.17/459.38 c 174509 789 11371 671723 59 24469 15742 10191 1318 132.37 459.17/459.38 c 185870 789 14645 861000 58 31027 17317 13465 1333 139.39 459.17/459.38 c 203014 789 14292 836351 58 30295 19049 13112 1298 156.36 459.17/459.38 c 228833 789 20057 1349220 67 41772 20954 18877 1327 172.42 459.17/459.38 c 267665 789 15195 894809 58 32145 23050 14015 1289 207.52 459.17/459.38 c 326018 786 22911 1448178 63 47542 25356 21731 1274 255.80 459.17/459.38 c 413650 786 22614 1402916 62 46829 27892 21434 1099 376.22 459.17/459.38 o 149 616.72/616.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 616.72/616.97 c 488909 785 12547 793413 63 26882 6672 11367 1063 459.70 616.72/616.97 c 489009 785 4627 227286 49 11055 7340 3447 1063 459.78 616.72/616.97 c 489260 785 4878 245550 50 11445 8075 3698 1064 459.81 616.72/616.97 c 489737 785 5355 280358 52 12336 8883 4175 1064 459.88 616.72/616.97 c 490550 785 6168 341362 55 14019 9772 4988 1066 460.01 616.72/616.97 c 491871 785 7489 436719 58 16726 10750 6309 1068 460.24 616.72/616.97 c 493952 785 9570 588582 61 20819 11826 8390 1072 460.69 616.72/616.97 c 497176 785 12794 802838 62 27319 13009 11614 1076 461.74 616.72/616.97 c 502112 785 11155 687910 61 24130 14310 9975 1079 465.31 616.72/616.97 c 509619 785 11283 696905 61 24358 15742 10103 1082 470.64 616.72/616.97 c 520981 785 14563 892530 61 30958 17317 13383 1089 478.07 616.72/616.97 c 538125 785 13855 812187 58 29483 19049 12675 1085 495.81 616.72/616.97 c 563945 785 19524 1231257 63 40751 20954 18344 1079 522.60 616.72/616.97 c 602777 785 14804 892986 60 31322 23050 13624 1069 563.59 616.72/616.97 o 17 709.60/709.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 709.60/709.85 c 647856 785 22169 1350343 60 46105 6672 20989 1050 616.80 709.60/709.85 c 647956 765 4627 220632 47 10992 7340 3447 1049 617.19 709.60/709.85 c 648206 755 4877 238018 48 11456 8075 3697 1050 617.24 709.60/709.85 c 648683 755 5354 269531 50 12422 8883 4174 1050 617.32 709.60/709.85 c 649498 755 6169 321917 52 14044 9772 4989 1051 617.50 709.60/709.85 c 650819 755 7490 408685 54 16691 10750 6310 1053 617.91 709.60/709.85 c 652902 755 9573 545493 56 20827 11826 8393 1055 618.72 709.60/709.85 c 656125 755 12796 758124 59 27296 13009 11616 1056 620.77 709.60/709.85 c 661061 755 11128 659711 59 23954 14310 9948 1057 624.90 709.60/709.85 c 668567 755 11386 655987 57 24472 15742 10206 1058 631.61 709.60/709.85 c 679928 755 14796 859768 58 31274 17317 13616 1056 643.72 709.60/709.85 c 697072 755 13866 859685 61 29415 19049 12686 1063 655.33 709.60/709.85 c 722891 755 19800 1223118 61 41367 20954 18620 1079 669.68 709.60/709.85 o 5 786.97/787.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 786.97/787.26 c 758620 752 12954 763460 58 27620 6666 11774 1068 709.65 786.97/787.26 c 758720 752 4628 233323 50 10935 7333 3448 1068 709.76 786.97/787.26 c 758970 742 4878 250385 51 11497 8067 3698 1069 709.80 786.97/787.26 c 759446 742 5354 283160 52 12452 8874 4174 1069 709.87 786.97/787.26 c 760260 742 6168 337294 54 14080 9762 4988 1070 710.02 786.97/787.26 c 761580 742 7488 427041 57 16755 10739 6308 1072 710.35 786.97/787.26 c 763661 742 9569 570943 59 20867 11813 8389 1073 711.24 786.97/787.26 c 766885 742 12793 792919 61 27341 12995 11613 1076 712.71 786.97/787.26 c 771822 742 10956 656130 59 23675 14295 9776 1077 716.33 786.97/787.26 c 779329 742 11215 645409 57 24187 15725 10035 1076 723.74 786.97/787.26 c 790690 742 14617 854514 58 31016 17298 13437 1073 736.25 786.97/787.26 c 807834 732 13490 800281 59 28741 19028 12310 1073 752.18 786.97/787.26 c 833653 732 19804 1199026 60 41356 20931 18624 1070 779.06 786.97/787.26 o 3 1797.98/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.53 c 847777 732 11827 636751 53 25353 6662 10647 1077 787.04 1797.98/1798.53 c 847878 711 4629 215534 46 11032 7329 3449 1077 787.20 1797.98/1798.53 c 848129 711 4880 233167 47 11530 8062 3700 1077 787.23 1797.98/1798.53 c 848605 711 5356 265734 49 12468 8869 4176 1077 787.30 1797.98/1798.53 c 849418 711 6169 322309 52 14066 9756 4989 1078 787.45 1797.98/1798.53 c 850738 711 7489 413922 55 16718 10732 6309 1079 787.82 1797.98/1798.53 c 852820 711 9571 555898 58 20885 11806 8391 1081 788.61 1797.98/1798.53 c 856043 711 12794 767874 60 27343 12987 11614 1082 790.46 1797.98/1798.53 c 860980 711 11108 655119 58 23943 14286 9928 1082 795.37 1797.98/1798.53 c 868487 711 10798 642302 59 23346 15715 9618 1084 800.70 1797.98/1798.53 c 879848 711 14031 784649 55 29844 17287 12851 1090 806.60 1797.98/1798.53 c 896993 711 13049 835466 64 27819 19016 11869 1095 818.56 1797.98/1798.53 c 922812 711 18410 1132692 61 38636 20918 17230 1097 840.90 1797.98/1798.53 c 961645 711 13422 802238 59 28567 23010 12242 1093 879.09 1797.98/1798.53 c 1019998 711 21588 1277253 59 44925 25312 20408 1082 942.24 1797.98/1798.53 c 1107630 710 21164 1237132 58 44045 27844 19984 1060 1044.88 1797.98/1798.53 c 1239182 700 15479 946878 61 32745 30629 14299 1007 1229.98 1797.98/1798.53 c 1436614 700 18879 1003364 53 39501 33692 17699 900 1595.46 1797.98/1798.53 c Resources Exceeded 1797.98/1798.53 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 x73 x74 -x75 x76 -x77 -x78 -x79 x80 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 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x81 x82 -x83 -x84 x85 -x86 x87 -x88 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x89 x90 -x91 -x92 x93 -x94 -x95 -x96 x153 -x154 x155 -x156 x157 -x158 -x159 -x160 x345 x346 -x347 -x348 x349 -x350 -x351 -x352 x353 x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x97 -x98 -x99 x100 x101 x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 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 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 x186 x187 x188 -x189 -x190 -x191 -x192 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 x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 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 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 1797.98/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.53 c 90 1585960 14544 1645523 31551 1717305 30371 882 1798.00 1797.98/1798.53 c Objective: 3 1797.98/1798.53 s SATISFIABLE 1797.98/1798.53 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-2670538-1276702376/watcher-2670538-1276702376 -o /tmp/evaluation-result-2670538-1276702376/solver-2670538-1276702376 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670538-1276702376.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.94 1.01 0.94 3/106 20379 /proc/meminfo: memFree=1829116/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=10836 CPUtime=0 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 338 0 0 0 0 0 0 0 18 0 1 0 11532046 11096064 256 1992294400 134512640 137138936 4293887776 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 2742 257 175 642 0 2087 0 [startup+0.103393 s] /proc/loadavg: 0.94 1.01 0.94 3/106 20379 /proc/meminfo: memFree=1829116/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=11808 CPUtime=0.09 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 601 0 0 0 9 0 0 0 20 0 1 0 11532046 12091392 508 1992294400 134512640 137138936 4293887776 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 2952 508 190 642 0 2308 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11808 [startup+0.201402 s] /proc/loadavg: 0.94 1.01 0.94 3/106 20379 /proc/meminfo: memFree=1829116/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=12432 CPUtime=0.19 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 770 0 0 0 19 0 0 0 20 0 1 0 11532046 12730368 677 1992294400 134512640 137138936 4293887776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 3108 677 190 642 0 2464 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12432 [startup+0.30141 s] /proc/loadavg: 0.94 1.01 0.94 3/106 20379 /proc/meminfo: memFree=1829116/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=13064 CPUtime=0.29 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 907 0 0 0 29 0 0 0 20 0 1 0 11532046 13377536 814 1992294400 134512640 137138936 4293887776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 3266 814 190 642 0 2622 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13064 [startup+0.701444 s] /proc/loadavg: 0.94 1.01 0.94 3/106 20379 /proc/meminfo: memFree=1829116/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=14556 CPUtime=0.69 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 1290 0 0 0 68 1 0 0 20 0 1 0 11532046 14905344 1197 1992294400 134512640 137138936 4293887776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 3639 1197 190 642 0 2995 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14556 [startup+1.50151 s] /proc/loadavg: 0.95 1.01 0.94 2/107 20380 /proc/meminfo: memFree=1824272/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=16440 CPUtime=1.49 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 1751 0 0 0 148 1 0 0 23 0 1 0 11532046 16834560 1658 1992294400 134512640 137138936 4293887776 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 4110 1658 190 642 0 3466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16440 [startup+3.10165 s] /proc/loadavg: 0.95 1.01 0.94 2/107 20380 /proc/meminfo: memFree=1821792/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=19068 CPUtime=3.09 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 2418 0 0 0 307 2 0 0 25 0 1 0 11532046 19525632 2325 1992294400 134512640 137138936 4293887776 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 4767 2325 190 642 0 4123 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19068 [startup+6.30093 s] /proc/loadavg: 0.95 1.01 0.94 2/107 20380 /proc/meminfo: memFree=1814352/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=26228 CPUtime=6.29 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 4195 0 0 0 625 4 0 0 25 0 1 0 11532046 26857472 4102 1992294400 134512640 137138936 4293887776 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 6557 4102 190 642 0 5913 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26228 [startup+12.7015 s] /proc/loadavg: 0.96 1.01 0.94 2/107 20380 /proc/meminfo: memFree=1810508/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=29080 CPUtime=12.69 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 4924 0 0 0 1261 8 0 0 25 0 1 0 11532046 29777920 4831 1992294400 134512640 137138936 4293887776 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 7270 4831 190 642 0 6626 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29080 [startup+25.5016 s] /proc/loadavg: 0.96 1.01 0.94 2/107 20380 /proc/meminfo: memFree=1808400/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=31300 CPUtime=25.49 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 5486 0 0 0 2537 12 0 0 25 0 1 0 11532046 32051200 5393 1992294400 134512640 137138936 4293887776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 7825 5393 190 642 0 7181 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31300 [startup+51.1008 s] /proc/loadavg: 0.97 1.01 0.94 2/107 20382 /proc/meminfo: memFree=1803440/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=36260 CPUtime=51.08 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 6726 0 0 0 5088 20 0 0 25 0 1 0 11532046 37130240 6633 1992294400 134512640 137138936 4293887776 18446744073709551615 134575844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 9065 6633 190 642 0 8421 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36260 [startup+102.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20382 /proc/meminfo: memFree=1799472/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=40196 CPUtime=102.27 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 7714 0 0 0 10195 32 0 0 25 0 1 0 11532046 41160704 7621 1992294400 134512640 137138936 4293887776 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10049 7621 190 642 0 9405 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40196 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20384 /proc/meminfo: memFree=1797612/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41880 CPUtime=162.25 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 16172 53 0 0 25 0 1 0 11532046 42885120 8045 1992294400 134512640 137138936 4293887776 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10470 8045 191 642 0 9826 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 41880 [startup+222.309 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20386 /proc/meminfo: memFree=1797612/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41872 CPUtime=222.24 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 22153 71 0 0 25 0 1 0 11532046 42876928 8044 1992294400 134512640 137138936 4293887776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10468 8044 191 642 0 9824 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 41872 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20388 /proc/meminfo: memFree=1797496/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41868 CPUtime=282.21 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 28137 84 0 0 25 0 1 0 11532046 42872832 8043 1992294400 134512640 137138936 4293887776 18446744073709551615 134575361 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10467 8043 191 642 0 9823 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 41868 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20390 /proc/meminfo: memFree=1797504/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41864 CPUtime=342.19 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 34121 98 0 0 25 0 1 0 11532046 42868736 8042 1992294400 134512640 137138936 4293887776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10466 8042 191 642 0 9822 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 41864 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20390 /proc/meminfo: memFree=1797380/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41864 CPUtime=402.18 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 40107 111 0 0 25 0 1 0 11532046 42868736 8042 1992294400 134512640 137138936 4293887776 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10466 8042 191 642 0 9822 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 41864 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20392 /proc/meminfo: memFree=1797380/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41832 CPUtime=462.16 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 46088 128 0 0 25 0 1 0 11532046 42835968 8034 1992294400 134512640 137138936 4293887776 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10458 8034 191 642 0 9814 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 41832 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20394 /proc/meminfo: memFree=1797256/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41828 CPUtime=522.14 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 52071 143 0 0 25 0 1 0 11532046 42831872 8033 1992294400 134512640 137138936 4293887776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10457 8033 191 642 0 9813 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 41828 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20396 /proc/meminfo: memFree=1797256/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41824 CPUtime=582.12 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 58054 158 0 0 25 0 1 0 11532046 42827776 8032 1992294400 134512640 137138936 4293887776 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10456 8032 191 642 0 9812 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 41824 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20398 /proc/meminfo: memFree=1797132/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41796 CPUtime=642.11 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 64039 172 0 0 25 0 1 0 11532046 42799104 8025 1992294400 134512640 137138936 4293887776 18446744073709551615 136297639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10449 8025 191 642 0 9805 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 41796 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1796636/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1121.96 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 111908 288 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 41768 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20412 /proc/meminfo: memFree=1796636/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1181.95 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 117892 303 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 41768 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20414 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1241.93 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 123877 316 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 41768 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20414 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1301.92 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 129863 329 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 41768 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20416 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1361.9 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 135850 340 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 41768 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20418 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1421.89 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 141836 353 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 41768 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20420 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1481.86 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 147823 363 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 41768 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20422 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1541.85 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 153810 375 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 41768 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20422 /proc/meminfo: memFree=1796388/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=41768 CPUtime=1601.84 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8138 0 0 0 159797 387 0 0 25 0 1 0 11532046 42770432 8018 1992294400 134512640 137138936 4293887776 18446744073709551615 134542955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10442 8018 191 642 0 9798 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 41768 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20424 /proc/meminfo: memFree=1796264/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1661.81 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 165780 401 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 42036 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20435 /proc/meminfo: memFree=1795892/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1721.78 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 171761 417 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 42036 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1781.77 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 177747 430 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 42036 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1791.48 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 178716 432 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 42036 [startup+1795.2 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1794.67 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 179035 432 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 42036 [startup+1796.8 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1796.27 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 179194 433 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 42036 [startup+1797.6 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1797.07 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 179274 433 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 42036 [startup+1798 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1797.47 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 179314 433 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 42036 [startup+1798.4 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1797.87 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 179354 433 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 42036 [startup+1798.5 s] /proc/loadavg: 0.99 1.00 0.94 2/107 20437 /proc/meminfo: memFree=1795768/2059040 swapFree=4139892/4192956 [pid=20379] ppid=20377 vsize=42036 CPUtime=1797.98 /proc/20379/stat : 20379 (bsolo_pb10) R 20377 20379 19993 0 -1 4202496 8228 0 0 0 179365 433 0 0 25 0 1 0 11532046 43044864 8074 1992294400 134512640 137138936 4293887776 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/20379/statm: 10509 8074 191 642 0 9865 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 42036 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.01 CPU user time (s): 1793.67 CPU system time (s): 4.33434 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 42036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.67 system time used= 4.33434 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8229 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= 4681 runsolver used 3.09753 second user time and 8.36073 second system time The end
Begin job on node031 at 2010-06-16 17:32:56 IDJOB=2670538 IDBENCH=47985 IDSOLVER=1163 FILE ID=node031/2670538-1276702376 PBS_JOBID= 11174110 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670538-1276702376/watcher-2670538-1276702376 -o /tmp/evaluation-result-2670538-1276702376/solver-2670538-1276702376 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670538-1276702376.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87 RANDOM SEED=615016484 node031.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.219 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.43 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.219 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830016 kB Buffers: 34656 kB Cached: 102756 kB SwapCached: 6416 kB Active: 84732 kB Inactive: 65916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830016 kB SwapTotal: 4192956 kB SwapFree: 4139892 kB Dirty: 4232 kB Writeback: 0 kB AnonPages: 11040 kB Mapped: 13036 kB Slab: 56508 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181968 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670538-1276702376.opb Free space on /tmp at the end= 62580 MiB End job on node031 at 2010-06-16 18:02:54