Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 3 | 1798.01 | 1798.63 |
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.8678 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878005-1245187561.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.006 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.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 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 118.25/118.39 c 100 792 1280 10463 8 4388 7322 100 4166 0.02 118.25/118.39 c 250 792 1430 21504 15 4583 8055 250 5952 0.04 118.25/118.39 c 476 792 1656 36033 21 5109 8861 476 7212 0.07 118.25/118.39 c 815 792 1995 61117 30 5738 9748 815 7546 0.11 118.25/118.39 c 1323 792 2503 92728 37 6713 10723 1323 7969 0.17 118.25/118.39 c 2087 792 3267 138595 42 8221 11796 2087 7196 0.29 118.25/118.39 c 3233 792 4413 207734 47 10517 12976 3233 6031 0.54 118.25/118.39 c 4955 792 6135 309005 50 13948 14274 4955 4701 1.05 118.25/118.39 c 7540 792 8720 465576 53 19153 15702 7540 3444 2.19 118.25/118.39 c 11420 792 12600 717930 56 26874 17273 11420 2953 3.87 118.25/118.39 c 17242 792 18422 1107734 60 38568 19001 17242 2335 7.38 118.25/118.39 c 25980 792 17430 1099499 63 36618 20902 16250 2196 11.83 118.25/118.39 c 39096 792 19864 1160962 58 41486 22993 18684 1965 19.89 118.25/118.39 c 58766 789 14734 904598 61 31139 25293 13554 1641 35.80 118.25/118.39 c 88277 789 14518 891549 61 30737 27823 13338 1623 54.37 118.25/118.39 c 132547 789 24085 1581757 65 49851 30606 22905 1233 107.47 118.25/118.39 o 163 460.83/461.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 460.83/461.05 c 153799 789 25369 1677375 66 52469 6672 24189 1299 118.36 460.83/461.05 c 153899 789 4619 235510 50 11005 7340 3439 1297 118.65 460.83/461.05 c 154150 789 4870 254398 52 11551 8075 3690 1298 118.69 460.83/461.05 c 154625 789 5345 285409 53 12353 8883 4165 1301 118.77 460.83/461.05 c 155439 789 6159 340807 55 14058 9772 4979 1307 118.90 460.83/461.05 c 156760 789 7480 431245 57 16684 10750 6300 1315 119.19 460.83/461.05 c 158841 789 9561 571300 59 20842 11826 8381 1324 119.95 460.83/461.05 c 162066 789 12786 788139 61 27302 13009 11606 1340 120.93 460.83/461.05 c 167002 789 11084 665721 60 23873 14310 9904 1341 124.47 460.83/461.05 c 174509 789 11371 671723 59 24469 15742 10191 1314 132.74 460.83/461.05 c 185870 789 14645 861000 58 31027 17317 13465 1330 139.74 460.83/461.05 c 203014 789 14292 836351 58 30295 19049 13112 1295 156.72 460.83/461.05 c 228833 789 20057 1349220 67 41772 20954 18877 1323 172.90 460.83/461.05 c 267665 789 15195 894809 58 32145 23050 14015 1286 208.08 460.83/461.05 c 326018 786 22911 1448178 63 47542 25356 21731 1270 256.53 460.83/461.05 c 413650 786 22614 1402916 62 46829 27892 21434 1095 377.50 460.83/461.05 o 149 618.99/619.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 618.99/619.27 c 488909 785 12547 793413 63 26882 6672 11367 1059 461.35 618.99/619.27 c 489009 785 4627 227286 49 11055 7340 3447 1059 461.43 618.99/619.27 c 489260 785 4878 245550 50 11445 8075 3698 1060 461.46 618.99/619.27 c 489737 785 5355 280358 52 12336 8883 4175 1061 461.53 618.99/619.27 c 490550 785 6168 341362 55 14019 9772 4988 1062 461.67 618.99/619.27 c 491871 785 7489 436719 58 16726 10750 6309 1064 461.89 618.99/619.27 c 493952 785 9570 588582 61 20819 11826 8390 1068 462.35 618.99/619.27 c 497176 785 12794 802838 62 27319 13009 11614 1072 463.40 618.99/619.27 c 502112 785 11155 687910 61 24130 14310 9975 1075 467.00 618.99/619.27 c 509619 785 11283 696905 61 24358 15742 10103 1078 472.35 618.99/619.27 c 520981 785 14563 892530 61 30958 17317 13383 1085 479.77 618.99/619.27 c 538125 785 13855 812187 58 29483 19049 12675 1081 497.59 618.99/619.27 c 563945 785 19524 1231257 63 40751 20954 18344 1075 524.50 618.99/619.27 c 602777 785 14804 892986 60 31322 23050 13624 1065 565.65 618.99/619.27 o 17 712.25/712.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 712.25/712.55 c 647856 785 22169 1350343 60 46105 6672 20989 1046 619.06 712.25/712.55 c 647956 765 4627 220632 47 10992 7340 3447 1046 619.45 712.25/712.55 c 648206 755 4877 238018 48 11456 8075 3697 1046 619.50 712.25/712.55 c 648683 755 5354 269531 50 12422 8883 4174 1046 619.58 712.25/712.55 c 649498 755 6169 321917 52 14044 9772 4989 1047 619.76 712.25/712.55 c 650819 755 7490 408685 54 16691 10750 6310 1049 620.18 712.25/712.55 c 652902 755 9573 545493 56 20827 11826 8393 1051 620.99 712.25/712.55 c 656125 755 12796 758124 59 27296 13009 11616 1053 623.07 712.25/712.55 c 661061 755 11128 659711 59 23954 14310 9948 1053 627.23 712.25/712.55 c 668567 755 11386 655987 57 24472 15742 10206 1054 633.97 712.25/712.55 c 679928 755 14796 859768 58 31274 17317 13616 1052 646.15 712.25/712.55 c 697072 755 13866 859685 61 29415 19049 12686 1059 657.78 712.25/712.55 c 722891 755 19800 1223118 61 41367 20954 18620 1075 672.22 712.25/712.55 o 5 790.02/790.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 790.02/790.38 c 758620 752 12954 763460 58 27620 6666 11774 1065 712.31 790.02/790.38 c 758720 752 4628 233323 50 10935 7333 3448 1065 712.41 790.02/790.38 c 758970 742 4878 250385 51 11497 8067 3698 1065 712.45 790.02/790.38 c 759446 742 5354 283160 52 12452 8874 4174 1065 712.52 790.02/790.38 c 760260 742 6168 337294 54 14080 9762 4988 1066 712.67 790.02/790.38 c 761580 742 7488 427041 57 16755 10739 6308 1068 713.01 790.02/790.38 c 763661 742 9569 570943 59 20867 11813 8389 1069 713.89 790.02/790.38 c 766885 742 12793 792919 61 27341 12995 11613 1072 715.36 790.02/790.38 c 771822 742 10956 656130 59 23675 14295 9776 1073 718.97 790.02/790.38 c 779329 742 11215 645409 57 24187 15725 10035 1072 726.46 790.02/790.38 c 790690 742 14617 854514 58 31016 17298 13437 1069 738.99 790.02/790.38 c 807834 732 13490 800281 59 28741 19028 12310 1069 755.02 790.02/790.38 c 833653 732 19804 1199026 60 41356 20931 18624 1065 782.04 790.02/790.38 o 3 1797.97/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.61 c 847777 732 11827 636751 53 25353 6662 10647 1072 790.11 1797.97/1798.61 c 847878 711 4629 215534 46 11032 7329 3449 1072 790.26 1797.97/1798.61 c 848129 711 4880 233167 47 11530 8062 3700 1073 790.29 1797.97/1798.61 c 848605 711 5356 265734 49 12468 8869 4176 1073 790.37 1797.97/1798.61 c 849418 711 6169 322309 52 14066 9756 4989 1074 790.51 1797.97/1798.61 c 850738 711 7489 413922 55 16718 10732 6309 1075 790.89 1797.97/1798.61 c 852820 711 9571 555898 58 20885 11806 8391 1077 791.67 1797.97/1798.61 c 856043 711 12794 767874 60 27343 12987 11614 1078 793.52 1797.97/1798.61 c 860980 711 11108 655119 58 23943 14286 9928 1078 798.44 1797.97/1798.61 c 868487 711 10798 642302 59 23346 15715 9618 1080 803.82 1797.97/1798.61 c 879848 711 14031 784649 55 29844 17287 12851 1086 809.77 1797.97/1798.61 c 896993 711 13049 835466 64 27819 19016 11869 1091 821.73 1797.97/1798.62 c 922812 711 18410 1132692 61 38636 20918 17230 1093 844.18 1797.97/1798.62 c 961645 711 13422 802238 59 28567 23010 12242 1089 882.52 1797.97/1798.62 c 1019998 711 21588 1277253 59 44925 25312 20408 1078 945.92 1797.97/1798.62 c 1107630 710 21164 1237132 58 44045 27844 19984 1055 1048.99 1797.97/1798.62 c 1239182 700 15479 946878 61 32745 30629 14299 1003 1234.92 1797.97/1798.62 c 1436614 700 18879 1003364 53 39501 33692 17699 896 1603.21 1797.97/1798.62 c Resources Exceeded 1797.97/1798.62 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.97/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.62 c 90 1582348 14505 1641764 27939 1516494 26759 880 1798.00 1797.97/1798.62 c Objective: 3 1797.97/1798.62 s SATISFIABLE 1797.97/1798.62 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-1878005-1245187561/watcher-1878005-1245187561 -o /tmp/evaluation-result-1878005-1245187561/solver-1878005-1245187561 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878005-1245187561.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4587 /proc/meminfo: memFree=1833800/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=10748 CPUtime=0 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 186356960 11005952 239 1992294400 134512640 137136520 4294956256 18446744073709551615 134531561 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 2687 239 175 640 0 2032 0 [startup+0.0506761 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4587 /proc/meminfo: memFree=1833800/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=11228 CPUtime=0.04 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 427 0 0 0 4 0 0 0 18 0 1 0 186356960 11497472 400 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 2807 400 196 640 0 2163 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11228 [startup+0.101684 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4587 /proc/meminfo: memFree=1833800/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=11732 CPUtime=0.09 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 539 0 0 0 9 0 0 0 18 0 1 0 186356960 12013568 512 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 2933 513 196 640 0 2289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11732 [startup+0.301723 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4587 /proc/meminfo: memFree=1833800/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=12988 CPUtime=0.29 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 849 0 0 0 29 0 0 0 19 0 1 0 186356960 13299712 822 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 3247 822 196 640 0 2603 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12988 [startup+0.7018 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4587 /proc/meminfo: memFree=1833800/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=14480 CPUtime=0.69 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 1228 0 0 0 69 0 0 0 22 0 1 0 186356960 14827520 1201 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 3620 1201 196 640 0 2976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14480 [startup+1.50195 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1828928/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=16364 CPUtime=1.49 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 1686 0 0 0 148 1 0 0 25 0 1 0 186356960 16756736 1659 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 4091 1659 196 640 0 3447 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16364 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1826560/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=18992 CPUtime=3.09 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 2350 0 0 0 307 2 0 0 25 0 1 0 186356960 19447808 2323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 4748 2323 196 640 0 4104 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18992 [startup+6.30187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1818688/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=26028 CPUtime=6.29 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 4125 0 0 0 626 3 0 0 25 0 1 0 186356960 26652672 4098 1992294400 134512640 137136520 4294956256 18446744073709551615 136502115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 6507 4098 196 640 0 5863 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26028 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1814848/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=29004 CPUtime=12.68 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 4862 0 0 0 1263 5 0 0 25 0 1 0 186356960 29700096 4835 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 7251 4835 196 640 0 6607 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29004 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1812608/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=31224 CPUtime=25.48 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 5420 0 0 0 2540 8 0 0 25 0 1 0 186356960 31973376 5393 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 7806 5393 196 640 0 7162 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31224 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1807680/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=36184 CPUtime=51.07 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 6664 0 0 0 5093 14 0 0 25 0 1 0 186356960 37052416 6637 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 9046 6637 196 640 0 8402 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36184 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1803712/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=40120 CPUtime=102.26 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 7652 0 0 0 10205 21 0 0 25 0 1 0 186356960 41082880 7625 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10030 7625 196 640 0 9386 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40120 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801984/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41804 CPUtime=162.23 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 16190 33 0 0 25 0 1 0 186356960 42807296 8049 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10451 8049 197 640 0 9807 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 41804 [startup+222.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 4588 /proc/meminfo: memFree=1801920/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41796 CPUtime=222.22 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 22179 43 0 0 25 0 1 0 186356960 42799104 8048 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10449 8048 197 640 0 9805 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 41796 [startup+282.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 4588 /proc/meminfo: memFree=1801920/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41792 CPUtime=282.19 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 28167 52 0 0 25 0 1 0 186356960 42795008 8047 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10448 8047 197 640 0 9804 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 41792 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801920/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41788 CPUtime=342.17 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 34157 60 0 0 25 0 1 0 186356960 42790912 8046 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10447 8046 197 640 0 9803 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 41788 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801856/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41788 CPUtime=402.15 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 40148 67 0 0 25 0 1 0 186356960 42790912 8046 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10447 8046 197 640 0 9803 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 41788 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801856/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41756 CPUtime=462.13 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 46138 75 0 0 25 0 1 0 186356960 42758144 8038 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10439 8038 197 640 0 9795 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 41756 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801984/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41752 CPUtime=522.11 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 52127 84 0 0 25 0 1 0 186356960 42754048 8037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10438 8037 197 640 0 9794 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 41752 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801984/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41748 CPUtime=582.09 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 58117 92 0 0 25 0 1 0 186356960 42749952 8036 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10437 8036 197 640 0 9793 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 41748 [startup+642.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801984/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41720 CPUtime=642.08 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 64106 102 0 0 25 0 1 0 186356960 42721280 8029 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10430 8029 197 640 0 9786 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 41720 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1801920/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1121.9 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 112015 175 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 41692 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801856/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1181.88 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 118004 184 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 41692 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801856/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1241.86 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 123993 193 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 41692 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801792/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1301.85 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 129985 200 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 41692 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801856/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1361.82 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 135975 207 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 41692 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801792/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1421.81 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 141967 214 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 136294897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 41692 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801792/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1481.78 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 147958 220 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 41692 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4588 /proc/meminfo: memFree=1801856/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1541.76 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 153949 227 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 41692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801664/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41692 CPUtime=1601.74 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8076 0 0 0 159941 233 0 0 25 0 1 0 186356960 42692608 8022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10423 8022 197 640 0 9779 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 41692 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801472/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1661.72 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 165931 241 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 41960 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801472/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1721.7 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 171922 248 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 41960 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1781.68 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 177912 256 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 41960 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1791.28 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 178871 257 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 41960 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1794.47 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 179190 257 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 41960 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1796.08 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 179350 258 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134572110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 41960 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1796.87 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 179429 258 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 41960 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1797.67 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 179509 258 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 41960 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1797.88 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 179530 258 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 41960 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4590 /proc/meminfo: memFree=1801408/2055920 swapFree=4183064/4192956 [pid=4587] ppid=4585 vsize=41960 CPUtime=1797.97 /proc/4587/stat : 4587 (bsolo) R 4585 4587 3805 0 -1 4194304 8166 0 0 0 179539 258 0 0 25 0 1 0 186356960 42967040 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4587/statm: 10490 8078 197 640 0 9846 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 41960 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.01 CPU user time (s): 1795.42 CPU system time (s): 2.58961 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 41960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.42 system time used= 2.58961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8168 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= 4 involuntary context switches= 1542 runsolver used 1.3068 second user time and 3.81742 second system time The end
Begin job on node5 at 2009-06-16 23:26:01 IDJOB=1878005 IDBENCH=47985 IDSOLVER=700 FILE ID=node5/1878005-1245187561 PBS_JOBID= 9363916 Free space on /tmp= 66256 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878005-1245187561/watcher-1878005-1245187561 -o /tmp/evaluation-result-1878005-1245187561/solver-1878005-1245187561 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878005-1245187561.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87 RANDOM SEED=1975706109 node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1834280 kB Buffers: 51140 kB Cached: 91036 kB SwapCached: 3684 kB Active: 56204 kB Inactive: 93872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834280 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 14600 kB Slab: 57604 kB Committed_AS: 154888 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878005-1245187561.opb Free space on /tmp at the end= 66252 MiB End job on node5 at 2009-06-16 23:55:59