Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 55 | 1798.01 | 1797.99 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_10.opb |
MD5SUM | 26699ac56f0d58d8261ff4eb58d81611 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 513.807 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 55 |
Optimality of the best value was proved | YES |
Number of variables | 895 |
Total number of constraints | 1659 |
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 | 1659 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 707 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3463047-1307178968.opb 0.00/0.00 c File size is 322808 bytes. 0.00/0.02 c Highest Coefficient sum: 707 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.021 s 0.00/0.02 c Var: 895 Constr: 1659 0/0/1659 Lit: 41676 Watch. Lit: 7956 0.00/0.02 c Obj. Vars: 7 (0.782123 % of total variables) 0.00/0.05 c Pre-processing Time: 0.055 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 895 1659 41676 25 14753 83352 0 0 0.06 0.00/0.05 c Switching off lower bounding mode. 0.19/0.29 c 100 895 1831 45186 24 28166 91688 172 769 0.13 0.19/0.29 c 250 895 2115 51861 24 25940 100857 456 1262 0.20 0.19/0.29 c 476 895 2560 64544 25 22662 110943 901 1844 0.26 0.19/0.29 o 93 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 638 895 2878 74128 25 25137 83366 1219 2155 0.30 0.29/0.34 c 738 895 3070 79275 25 26650 91703 1411 2222 0.33 0.29/0.34 o 91 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 777 895 3148 81902 26 26729 83366 1489 2271 0.34 0.29/0.35 o 80 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 821 895 3234 84603 26 26726 83366 1575 2319 0.35 0.39/0.43 c 921 895 3432 88756 25 25227 91703 1773 2442 0.38 0.39/0.43 o 78 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 1091 895 3771 99516 26 27584 83366 2112 2508 0.43 0.69/0.75 c 1192 895 3972 106029 26 29495 91703 2313 2509 0.47 0.69/0.75 c 1442 895 4467 118043 26 28376 100874 2808 2631 0.55 0.69/0.75 c 1920 895 5415 147519 27 31796 110962 3756 2715 0.71 0.69/0.75 o 74 0.99/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.05 c 2039 895 5648 153661 27 32087 83366 3989 2711 0.75 0.99/1.05 c 2139 895 5840 158703 27 31258 91703 4181 2700 0.79 0.99/1.05 c 2389 895 6335 170972 26 31576 100874 4676 2742 0.87 0.99/1.05 c 2864 895 7279 206120 28 36081 110962 5620 2846 1.01 0.99/1.05 o 71 0.99/1.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.10 c 2966 895 7479 213968 28 38031 83366 5820 2816 1.05 0.99/1.10 c 3067 895 7681 218757 28 34136 91703 6022 2831 1.08 0.99/1.10 o 70 2.49/2.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.59 c 3109 895 7764 221499 28 36885 83366 6105 2823 1.10 2.49/2.59 c 3209 895 7962 226383 28 37215 91703 6303 2807 1.14 2.49/2.59 c 3459 895 8447 244899 28 39682 100874 6788 2753 1.26 2.49/2.59 c 3935 895 9366 280207 29 40785 110962 7707 2728 1.44 2.49/2.59 c 4748 895 10975 331264 30 45844 122059 9316 2645 1.79 2.49/2.59 c 6069 895 13576 412295 30 52606 134265 11917 2478 2.45 2.49/2.59 o 69 2.69/2.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.75 c 6367 895 14170 432202 30 51895 83366 12511 2455 2.59 2.69/2.75 c 6467 895 14365 438349 30 53530 91703 12706 2433 2.66 2.69/2.75 o 68 4.89/4.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.99 c 6641 895 14703 449626 30 54416 83366 13044 2414 2.75 4.89/4.99 c 6742 889 14866 452883 30 52454 91703 13207 2401 2.81 4.89/4.99 c 6993 889 15273 465717 30 54289 100874 13614 2370 2.95 4.89/4.99 c 7468 889 16018 482485 30 56871 110962 14359 2341 3.19 4.89/4.99 c 8284 889 17364 522470 30 60585 122059 15705 2287 3.62 4.89/4.99 c 9606 889 19529 587217 30 63994 134265 17870 2226 4.31 4.89/4.99 o 66 14.19/14.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.27 c 10761 889 21302 646221 30 69724 83366 19643 2154 5.00 14.19/14.27 c 10862 889 21464 650375 30 70704 91703 19805 2134 5.09 14.19/14.27 c 11114 889 21851 663389 30 71551 100874 20192 2120 5.24 14.19/14.27 c 11589 889 22569 687451 30 74282 110962 20910 2092 5.54 14.19/14.27 c 12402 889 23820 723533 30 74837 122059 22161 2058 6.02 14.19/14.27 c 13723 889 25744 791047 30 81398 134265 24085 1987 6.90 14.19/14.27 c 15804 889 28918 889459 30 88209 147692 27259 1864 8.47 14.19/14.27 c 19027 889 33936 1037108 30 96896 162462 32277 1724 11.04 14.19/14.27 o 65 27.79/27.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.79/27.85 c 22714 889 39678 1215811 30 112965 83366 38019 1590 14.28 27.79/27.85 c 22814 886 39828 1219299 30 112037 91703 38169 1585 14.39 27.79/27.85 c 23064 886 40227 1228500 30 111678 100874 38568 1581 14.59 27.79/27.85 c 23539 886 40956 1247478 30 114457 110962 39297 1568 15.01 27.79/27.85 c 24354 886 42230 1278227 30 116941 122059 40571 1549 15.71 27.79/27.85 c 25674 886 44247 1339899 30 124692 134265 42588 1516 16.93 27.79/27.85 c 27757 886 47118 1424675 30 131986 147692 45459 1466 18.93 27.79/27.85 c 30980 886 52021 1546325 29 140815 162462 50362 1422 21.77 27.79/27.85 o 63 81.99/82.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.99/82.04 c 35603 886 59262 1765394 29 159882 83366 57603 1278 27.86 81.99/82.04 c 35703 886 59420 1769354 29 158759 91703 57761 1273 28.03 81.99/82.04 c 35953 885 59819 1779838 29 160773 100874 58160 1268 28.35 81.99/82.04 c 36428 885 60577 1800785 29 164213 110962 58918 1257 28.98 81.99/82.04 c 37241 885 61823 1836028 29 166629 122059 60164 1242 29.97 81.99/82.04 c 38562 885 63864 1897624 29 171715 134265 62205 1217 31.68 81.99/82.04 c 40643 885 67071 1975782 29 179080 147692 65412 1173 34.65 81.99/82.04 c 43868 885 71805 2109537 29 190533 162462 70146 1112 39.42 81.99/82.04 c 48805 885 79343 2297101 28 207762 178709 77684 1039 46.94 81.99/82.04 c 56313 885 90893 2620819 28 235549 196580 89234 943 59.70 81.99/82.04 o 62 107.49/107.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 107.49/107.57 c 67408 885 107610 3134355 29 276530 83364 105951 821 82.04 107.49/107.57 c 67508 885 20810 619153 29 70228 91701 19151 757 89.11 107.49/107.57 c 67758 885 21206 628611 29 70362 100872 19547 759 89.22 107.49/107.57 c 68234 885 21908 651215 29 72396 110960 20249 761 89.55 107.49/107.57 c 69049 885 23083 684720 29 76177 122057 21424 765 90.20 107.49/107.57 c 70371 885 25025 726764 29 76960 134263 23366 775 90.70 107.49/107.57 c 72452 885 28245 821246 29 86927 147690 26586 785 92.25 107.49/107.57 c 75675 885 33253 951764 28 99236 162460 31594 799 94.63 107.49/107.57 c 80617 885 40736 1149740 28 117037 178707 39077 818 98.55 107.49/107.57 c 88123 885 52006 1480567 28 144426 196578 50347 822 107.15 107.49/107.57 o 61 236.30/236.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 236.30/236.36 c 88487 885 52562 1498204 28 144675 83388 50903 822 107.58 236.30/236.36 c 88587 885 52707 1501747 28 145957 91727 51048 822 107.74 236.30/236.36 c 88839 885 53104 1510667 28 144180 100900 51445 821 108.09 236.30/236.36 c 89315 885 53804 1529338 28 147441 110991 52145 821 108.77 236.30/236.36 c 90128 885 54982 1562354 28 150513 122091 53323 820 109.88 236.30/236.36 c 91448 885 56790 1614807 28 154670 134301 55131 820 111.50 236.30/236.36 c 93531 885 59937 1708656 28 162341 147732 58278 815 114.64 236.30/236.36 c 96755 885 64601 1843636 28 172876 162506 62942 814 118.86 236.30/236.36 c 101691 885 71670 2051335 28 190133 178757 70011 807 125.94 236.30/236.36 c 109197 877 83317 2340026 28 217345 196633 81658 796 137.13 236.30/236.36 c 120558 877 99659 2816987 28 257514 216297 98000 738 163.29 236.30/236.36 c 137702 877 124215 3532315 28 314530 237927 122556 689 199.72 236.30/236.36 o 60 1389.71/1389.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1389.71/1389.78 c 152414 877 144718 4127200 28 362396 83386 143059 644 236.37 1389.71/1389.78 c 152517 877 20625 584917 28 68117 91725 18966 597 255.30 1389.71/1389.78 c 152768 877 20983 592702 28 69322 100898 19324 597 255.49 1389.71/1389.78 c 153243 877 21691 611844 28 69954 110988 20032 598 255.97 1389.71/1389.78 c 154057 877 22980 644992 28 73199 122087 21321 600 256.42 1389.71/1389.78 c 155378 877 24960 696146 27 78573 134296 23301 603 257.31 1389.71/1389.78 c 157459 877 28079 767145 27 84970 147726 26420 608 258.87 1389.71/1389.78 c 160682 877 32791 896670 27 96334 162499 31132 614 261.36 1389.71/1389.78 c 165619 877 39953 1098856 27 113428 178749 38294 622 265.84 1389.71/1389.78 c 173125 877 50225 1384082 27 137209 196624 48566 634 273.05 1389.71/1389.78 c 184486 877 66099 1817068 27 172519 216287 64440 640 288.19 1389.71/1389.78 c 201630 877 90584 2467701 27 229754 237916 88925 641 314.46 1389.71/1389.78 c 227449 877 126673 3500272 27 315324 261708 125014 617 368.17 1389.71/1389.78 c 266282 877 182577 5116219 28 444361 287879 180918 545 488.25 1389.71/1389.78 c 324634 877 267447 7683106 28 645773 316667 265788 410 791.00 1389.71/1389.78 c 412266 877 94698 2667174 28 242826 348334 93039 332 1241.54 1389.71/1389.78 o 55 1797.91/1797.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1797.98 c 464143 877 168484 4764379 28 414576 83362 166825 333 1389.80 1797.91/1797.98 c 464243 877 22391 640354 28 71162 91699 20732 325 1425.23 1797.91/1797.98 c 464494 877 22792 648647 28 72532 100869 21133 325 1425.39 1797.91/1797.98 c 464970 877 23504 665967 28 74176 110956 21845 326 1425.72 1797.91/1797.98 c 465784 877 24759 697134 28 76817 122052 23100 326 1426.26 1797.91/1797.98 c 467105 877 26710 750677 28 82046 134258 25051 327 1427.43 1797.91/1797.98 c 469187 877 29946 836363 27 89371 147684 28287 328 1429.58 1797.91/1797.98 c 472410 877 34638 966739 27 101310 162453 32979 329 1433.54 1797.91/1797.98 c 477346 877 41793 1172375 28 118205 178699 40134 331 1439.14 1797.91/1797.98 c 484853 877 52420 1461861 27 142522 196569 50761 335 1447.30 1797.91/1797.98 c 496215 877 68511 1884056 27 179265 216226 66852 338 1464.04 1797.91/1797.98 c 513359 877 93897 2590618 27 239408 237849 92238 342 1500.42 1797.91/1797.98 c 539179 877 131038 3573106 27 325248 261634 129379 344 1566.22 1797.91/1797.98 c 578011 877 188389 5208146 27 462304 287798 186730 339 1700.38 1797.91/1797.98 c Resources Exceeded 1797.91/1797.98 v x1 x2 x3 -x4 x5 x6 -x7 x57 -x58 -x59 -x60 x61 x62 -x63 -x64 x65 x66 -x67 x68 x69 -x70 -x895 x50 -x51 x52 x53 -x54 x55 -x56 -x894 -x893 -x892 x891 x890 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 x36 -x37 x38 x39 x40 -x41 -x42 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 x866 x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 x857 x856 -x855 x854 x853 x852 x851 x850 x849 x848 x847 x846 x29 -x30 x31 -x32 x33 -x34 -x35 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 x812 x811 x810 x809 x808 x807 x806 -x805 -x804 -x803 x802 x801 -x800 x799 x798 x797 x796 x795 x794 x793 x792 -x791 -x22 x23 x24 x25 -x26 -x27 -x28 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 x751 -x750 -x749 x748 x747 x746 -x745 x744 x743 x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 x733 x732 -x731 x730 x729 x728 x727 -x726 x725 x724 x723 x722 -x721 -x720 -x719 -x718 x717 x716 -x715 x714 x713 x712 x711 x710 x709 x708 x707 -x706 x705 x704 x703 x702 x701 x700 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 x646 -x645 -x644 x643 x642 x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 x624 x623 x622 -x621 -x620 x619 x618 x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 x607 -x606 -x605 x604 x603 x602 -x601 -x600 x599 x598 x597 x596 -x595 -x594 x593 x592 x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 x579 x578 x577 x576 x575 x574 -x573 x572 x571 x570 x569 -x568 -x567 x566 x565 x564 x563 x562 x561 -x560 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 x500 -x499 -x498 x497 x496 x495 -x494 x493 x492 x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 x473 -x472 -x471 -x470 x469 x468 x467 x466 -x465 x464 x463 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 x452 -x451 -x450 x449 x448 -x447 -x446 -x445 x444 x443 x442 x441 -x440 -x439 x438 x437 x436 x435 -x434 -x433 x432 x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 x419 x418 -x417 x416 x415 x414 x413 -x412 x411 x410 x409 x408 -x407 -x406 x405 x404 x403 x402 x401 x400 -x399 x398 x397 x396 x395 x394 x393 x392 -x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364 x363 x362 x361 x360 x359 x358 x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 x332 x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 x310 x309 x308 x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 x290 -x289 -x288 x287 x286 x285 -x284 x283 x282 x281 x280 x279 x278 x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 -x258 -x257 -x256 x255 x254 x253 x252 -x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 x230 x229 -x228 -x227 -x226 x225 x224 x223 x222 -x221 -x220 x219 x218 x217 x216 -x215 -x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 x194 x193 -x192 x191 x190 x189 x188 -x187 x186 x185 x184 x183 -x182 -x181 x180 x179 x178 x177 x176 x175 -x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163 x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 1797.91/1797.98 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1797.98 c 110 593296 60727 673339 209804 5803743 208145 329 1798.00 1797.91/1797.98 c Objective: 55 1797.91/1797.98 s SATISFIABLE 1797.91/1797.98 c Total time: 1798 s
OK 55
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463047-1307178968/watcher-3463047-1307178968 -o /tmp/evaluation-result-3463047-1307178968/solver-3463047-1307178968 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463047-1307178968.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.15 2.05 2.00 2/434 8524 /proc/meminfo: memFree=11887552/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=11236 CPUtime=0 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 321 0 0 0 0 0 0 0 25 0 1 0 829496445 11505664 275 33554432000 134512640 137138936 4293204160 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 2809 275 188 642 0 2086 0 [startup+0.117604 s] /proc/loadavg: 2.15 2.05 2.00 2/434 8524 /proc/meminfo: memFree=11887552/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=12500 CPUtime=0.11 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 801 0 0 0 11 0 0 0 25 0 1 0 829496445 12800000 676 33554432000 134512640 137138936 4293204160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 3125 676 192 642 0 2481 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 12500 [startup+0.200588 s] /proc/loadavg: 2.15 2.05 2.00 2/434 8524 /proc/meminfo: memFree=11887552/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=12504 CPUtime=0.19 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 802 0 0 0 19 0 0 0 25 0 1 0 829496445 12804096 677 33554432000 134512640 137138936 4293204160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 3126 677 192 642 0 2482 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12504 [startup+0.30057 s] /proc/loadavg: 2.15 2.05 2.00 2/434 8524 /proc/meminfo: memFree=11887552/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=12632 CPUtime=0.29 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 837 0 0 0 29 0 0 0 25 0 1 0 829496445 12935168 712 33554432000 134512640 137138936 4293204160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 3158 712 192 642 0 2514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12632 [startup+0.7005 s] /proc/loadavg: 2.15 2.05 2.00 2/434 8524 /proc/meminfo: memFree=11887552/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=13792 CPUtime=0.69 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 1139 0 0 0 69 0 0 0 25 0 1 0 829496445 14123008 1014 33554432000 134512640 137138936 4293204160 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 3448 1014 192 642 0 2804 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13792 [startup+1.50036 s] /proc/loadavg: 2.15 2.05 2.00 3/435 8525 /proc/meminfo: memFree=11882092/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=16220 CPUtime=1.49 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 1729 0 0 0 149 0 0 0 25 0 1 0 829496445 16609280 1604 33554432000 134512640 137138936 4293204160 18446744073709551615 136504258 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 4055 1604 192 642 0 3411 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16220 [startup+3.10108 s] /proc/loadavg: 2.13 2.05 2.00 3/435 8525 /proc/meminfo: memFree=11878620/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=19296 CPUtime=3.09 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 2517 0 0 0 308 1 0 0 25 0 1 0 829496445 19759104 2392 33554432000 134512640 137138936 4293204160 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 4824 2392 192 642 0 4180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19296 [startup+6.30053 s] /proc/loadavg: 2.13 2.05 2.00 5/435 8525 /proc/meminfo: memFree=11872108/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=23736 CPUtime=6.29 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 3630 0 0 0 627 2 0 0 25 0 1 0 829496445 24305664 3505 33554432000 134512640 137138936 4293204160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 5934 3505 192 642 0 5290 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23736 [startup+12.7004 s] /proc/loadavg: 2.11 2.05 2.00 3/435 8525 /proc/meminfo: memFree=11865080/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=30108 CPUtime=12.69 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 5211 0 0 0 1266 3 0 0 25 0 1 0 829496445 30830592 5086 33554432000 134512640 137138936 4293204160 18446744073709551615 134604374 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 7527 5086 192 642 0 6883 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30108 [startup+25.5012 s] /proc/loadavg: 2.10 2.05 2.00 3/435 8525 /proc/meminfo: memFree=11855284/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=39768 CPUtime=25.49 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 7635 0 0 0 2544 5 0 0 25 0 1 0 829496445 40722432 7510 33554432000 134512640 137138936 4293204160 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 9942 7510 192 642 0 9298 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39768 [startup+51.1008 s] /proc/loadavg: 2.06 2.04 2.00 3/435 8526 /proc/meminfo: memFree=11843616/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=52084 CPUtime=51.09 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 10712 0 0 0 5100 9 0 0 25 0 1 0 829496445 53334016 10587 33554432000 134512640 137138936 4293204160 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 13021 10587 192 642 0 12377 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52084 [startup+102.301 s] /proc/loadavg: 2.02 2.03 2.00 3/435 8527 /proc/meminfo: memFree=11829972/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=64636 CPUtime=102.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 13937 0 0 0 10216 14 0 0 25 0 1 0 829496445 66187264 13708 33554432000 134512640 137138936 4293204160 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 16159 13708 192 642 0 15515 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 64636 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.00 3/435 8529 /proc/meminfo: memFree=11829588/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=64636 CPUtime=162.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 13937 0 0 0 16211 19 0 0 25 0 1 0 829496445 66187264 13708 33554432000 134512640 137138936 4293204160 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 16159 13708 192 642 0 15515 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 64636 [startup+222.317 s] /proc/loadavg: 2.00 2.02 2.00 3/435 8530 /proc/meminfo: memFree=11816924/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=78172 CPUtime=222.32 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 17331 0 0 0 22207 25 0 0 25 0 1 0 829496445 80048128 17102 33554432000 134512640 137138936 4293204160 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 19543 17102 192 642 0 18899 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 78172 [startup+282.301 s] /proc/loadavg: 2.08 2.04 2.00 3/435 8532 /proc/meminfo: memFree=11813568/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=81804 CPUtime=282.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 18386 0 0 0 28200 30 0 0 25 0 1 0 829496445 83767296 18017 33554432000 134512640 137138936 4293204160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 20451 18017 192 642 0 19807 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 81804 [startup+342.301 s] /proc/loadavg: 2.07 2.05 2.00 3/435 8534 /proc/meminfo: memFree=11813316/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=81804 CPUtime=342.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 18386 0 0 0 34194 36 0 0 25 0 1 0 829496445 83767296 18017 33554432000 134512640 137138936 4293204160 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 20451 18017 192 642 0 19807 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 81804 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.00 3/435 8535 /proc/meminfo: memFree=11813308/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=81804 CPUtime=402.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 18386 0 0 0 40190 40 0 0 25 0 1 0 829496445 83767296 18017 33554432000 134512640 137138936 4293204160 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 20451 18017 192 642 0 19807 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 81804 [startup+462.3 s] /proc/loadavg: 2.08 2.04 2.00 3/435 8537 /proc/meminfo: memFree=11802268/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=93872 CPUtime=462.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 21391 0 0 0 46185 45 0 0 25 0 1 0 829496445 96124928 21022 33554432000 134512640 137138936 4293204160 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 23468 21022 192 642 0 22824 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 93872 [startup+522.301 s] /proc/loadavg: 2.23 2.08 2.02 3/435 8592 /proc/meminfo: memFree=12351012/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=103928 CPUtime=522.29 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 23923 0 0 0 52180 49 0 0 25 0 1 0 829496445 106422272 23554 33554432000 134512640 137138936 4293204160 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 25982 23554 192 642 0 25338 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 103928 [startup+582.301 s] /proc/loadavg: 2.08 2.06 2.01 3/435 8594 /proc/meminfo: memFree=12296172/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=113572 CPUtime=582.29 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 26309 0 0 0 58175 54 0 0 25 0 1 0 829496445 116297728 25940 33554432000 134512640 137138936 4293204160 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 28393 25940 192 642 0 27749 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 113572 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=12052184/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1122.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40054 0 0 0 112148 83 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 167296 [startup+1182.3 s] /proc/loadavg: 2.02 2.04 2.00 4/435 8610 /proc/meminfo: memFree=12035556/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1182.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40054 0 0 0 118145 85 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 167296 [startup+1242.3 s] /proc/loadavg: 2.05 2.04 2.00 3/435 8612 /proc/meminfo: memFree=12021288/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1242.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40054 0 0 0 124141 89 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 167296 [startup+1302.3 s] /proc/loadavg: 2.02 2.03 2.00 3/435 8613 /proc/meminfo: memFree=12003672/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1302.3 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40054 0 0 0 130137 93 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 167296 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 8615 /proc/meminfo: memFree=11991760/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1362.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40054 0 0 0 136135 96 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 167296 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/435 8616 /proc/meminfo: memFree=11980228/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1422.32 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 142134 98 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 167296 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/435 8618 /proc/meminfo: memFree=11966700/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1482.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 148128 103 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 167296 [startup+1542.32 s] /proc/loadavg: 2.00 2.01 2.00 3/435 8620 /proc/meminfo: memFree=11954044/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1542.33 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 154125 108 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 167296 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/435 8621 /proc/meminfo: memFree=11941388/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1602.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 160120 111 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 167296 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 2.00 3/435 8623 /proc/meminfo: memFree=11930844/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1662.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 166117 114 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 167296 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/435 8624 /proc/meminfo: memFree=11922400/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1722.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 172114 117 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542424 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 167296 [startup+1782.3 s] /proc/loadavg: 2.12 2.03 2.01 3/435 8626 /proc/meminfo: memFree=11911608/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1782.31 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 178112 119 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 167296 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.12 2.03 2.01 3/435 8626 /proc/meminfo: memFree=11911112/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1785.61 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 178442 119 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (KiB) 167296 [startup+1792.02 s] /proc/loadavg: 2.10 2.03 2.01 3/435 8626 /proc/meminfo: memFree=11909996/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1792.03 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 179083 120 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1792.03 Current children cumulated vsize (KiB) 167296 [startup+1795.2 s] /proc/loadavg: 2.10 2.03 2.01 3/435 8626 /proc/meminfo: memFree=11909624/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1795.22 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 179402 120 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1795.22 Current children cumulated vsize (KiB) 167296 [startup+1796.8 s] /proc/loadavg: 2.09 2.03 2.01 3/435 8626 /proc/meminfo: memFree=11909252/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1796.81 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 179561 120 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (KiB) 167296 [startup+1797.6 s] /proc/loadavg: 2.09 2.03 2.01 4/435 8626 /proc/meminfo: memFree=11909252/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1797.61 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 179641 120 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 167296 [startup+1797.8 s] /proc/loadavg: 2.09 2.03 2.01 4/435 8626 /proc/meminfo: memFree=11909252/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1797.81 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 179661 120 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 167296 [startup+1797.9 s] /proc/loadavg: 2.09 2.03 2.01 4/435 8626 /proc/meminfo: memFree=11909252/32951132 swapFree=67093840/67111528 [pid=8524] ppid=8522 vsize=167296 CPUtime=1797.91 cores=1,3,5,7 /proc/8524/stat : 8524 (bsolo) R 8522 8524 6192 0 -1 4202496 40217 0 0 0 179671 120 0 0 25 0 1 0 829496445 171311104 39375 33554432000 134512640 137138936 4293204160 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8524/statm: 41824 39375 192 642 0 41180 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 167296 Child status: 0 Real time (s): 1797.99 CPU time (s): 1798.01 CPU user time (s): 1796.8 CPU system time (s): 1.20982 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 168536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.8 system time used= 1.20982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40218 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= 5 involuntary context switches= 1943 runsolver used 7.52386 second user time and 18.5312 second system time The end
Begin job on node131 at 2011-06-04 11:16:08 IDJOB=3463047 IDBENCH=2637 IDSOLVER=1955 FILE ID=node131/3463047-1307178968 RUNJOBID= node131-1307175315-7504 PBS_JOBID= 13508857 Free space on /tmp= 73908 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463047-1307178968/watcher-3463047-1307178968 -o /tmp/evaluation-result-3463047-1307178968/solver-3463047-1307178968 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463047-1307178968.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611 RANDOM SEED=410000345 node131.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 11887832 kB Buffers: 352436 kB Cached: 5682924 kB SwapCached: 948 kB Active: 16578348 kB Inactive: 4164856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 11887832 kB SwapTotal: 67111528 kB SwapFree: 67093840 kB Dirty: 4328 kB Writeback: 4 kB AnonPages: 14706524 kB Mapped: 39240 kB Slab: 198060 kB PageTables: 56840 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 95948636 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73900 MiB End job on node131 at 2011-06-04 11:46:06