Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | -33 | 1798.06 | 1798.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb |
MD5SUM | 169f1f6799c5c0fd2a1b0aca08165f42 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -50 |
Best CPU time to get the best result obtained on this benchmark | 1789.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5048 |
Sum of products size (including duplicates) | 10096 |
Number of different products | 2524 |
Sum of products size | 5048 |
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-2671048-1276716567.opb 0.00/0.00 c File size is 222240 bytes. 0.03/0.03 c Highest Coefficient sum: 400 0.03/0.03 c Parsing was ok!! 0.03/0.03 c Total parsing time: 0.038 s 0.03/0.04 c Var: 2924 Constr: 5650 2724/402/2524 Lit: 21392 Watch. Lit: 18470 0.03/0.04 c Obj. Vars: 200 (6.83995 % of total variables) 0.60/0.69 c Pre-processing Time: 0.694 s 0.60/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.60/0.69 c 0 2924 5650 21392 3 18470 38418 0 0 0.69 0.60/0.69 c Switching off lower bounding mode. 0.60/0.69 o -1 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 2924 5651 21592 3 18473 38552 1 0 0.70 0.69/0.70 o -2 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 3 2924 5655 22408 3 18483 38618 5 4 0.70 0.89/0.90 c 103 2924 5755 47507 8 18683 42480 105 124 0.83 0.89/0.90 o -3 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 216 2924 5869 84595 14 18914 38685 219 238 0.91 3.79/3.83 c 316 2924 5969 111145 18 19114 42554 319 308 1.02 3.79/3.83 c 566 2924 6219 188275 30 19614 46810 569 451 1.25 3.79/3.83 c 1041 2924 6694 328323 49 20564 51492 1044 601 1.73 3.79/3.83 c 1854 2924 7507 573128 76 22190 56642 1857 733 2.53 3.79/3.83 c 3174 2924 8827 978070 110 24830 62307 3177 835 3.80 3.79/3.83 o -14 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 3188 2924 8842 980083 110 24874 39418 3192 831 3.84 3.79/3.85 o -15 4.08/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.19 c 3192 2924 8847 980689 110 24899 39418 3197 829 3.85 4.08/4.19 c 3292 2924 8947 1001955 111 25099 43360 3297 827 3.98 4.08/4.19 c 3542 2924 9197 1070221 116 25599 47697 3547 846 4.18 4.08/4.19 o -16 116.46/116.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 116.46/116.51 c 3550 2924 9206 1072021 116 25633 39418 3556 847 4.19 116.46/116.51 c 3650 2924 9306 1097984 117 25833 43360 3656 849 4.30 116.46/116.51 c 3900 2924 9556 1167543 122 26333 47697 3906 866 4.50 116.46/116.51 c 4375 2924 10031 1287398 128 27283 52467 4381 904 4.83 116.46/116.51 c 5188 2924 10844 1491192 137 28909 57714 5194 964 5.38 116.46/116.51 c 6509 2924 12165 1856635 152 31551 63486 6515 1013 6.42 116.46/116.51 c 8590 2924 14246 2437681 171 35713 69835 8596 1066 8.06 116.46/116.51 c 11813 2924 17469 3341431 191 42159 76819 11819 1132 10.43 116.46/116.51 c 16749 2924 22405 4842298 216 52031 84501 16755 1206 13.88 116.46/116.51 c 24255 2924 29911 6355212 212 67043 92952 24261 1385 17.51 116.46/116.51 c 35616 2924 41272 9410766 228 89765 102248 35622 1176 30.26 116.46/116.51 c 52760 2924 58416 13393130 229 124053 112473 52766 1166 45.23 116.46/116.51 c 78579 2924 84235 20196549 239 175691 123721 78585 892 88.01 116.46/116.51 o -17 427.55/427.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 427.55/427.77 c 101322 2924 106979 25474194 238 221196 39418 101329 869 116.48 427.55/427.77 c 101422 2924 18050 2521574 139 43287 43360 12400 247 409.73 427.55/427.77 c 101672 2924 18300 2595326 141 43787 47697 12650 247 410.02 427.55/427.77 c 102147 2924 18775 2727952 145 44737 52467 13125 248 410.69 427.55/427.77 c 102960 2924 19588 2961888 151 46363 57714 13938 250 411.69 427.55/427.77 c 104280 2924 20908 3346864 160 49003 63486 15258 252 413.29 427.55/427.77 c 106361 2924 22989 3972142 172 53165 69835 17339 255 415.76 427.55/427.77 c 109584 2924 26212 4979279 189 59611 76819 20562 261 419.51 427.55/427.77 c 114520 2924 31148 6661075 213 69483 84501 25498 269 424.69 427.55/427.77 o -31 456.34/456.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 456.34/456.56 c 116090 2924 32719 6938726 212 72656 39418 27069 271 427.63 456.34/456.56 c 116190 2924 32819 6958913 212 72856 43360 27169 271 427.75 456.34/456.56 c 116440 2924 33069 7009281 211 73356 47697 27419 272 428.01 456.34/456.56 c 116915 2924 33544 7104831 211 74306 52467 27894 272 428.38 456.34/456.56 c 117728 2924 34357 7268477 211 75932 57714 28707 274 429.00 456.34/456.56 c 119048 2924 35677 7541432 211 78572 63486 30027 276 430.01 456.34/456.56 c 121129 2924 37758 8018403 212 82734 69835 32108 280 431.68 456.34/456.56 c 124352 2924 40981 8804908 214 89180 76819 35331 285 434.92 456.34/456.56 c 129288 2924 45917 10200993 222 99052 84501 40267 293 440.23 456.34/456.56 c 136794 2924 53423 12323865 230 114064 92952 47773 304 448.87 456.34/456.56 o -32 1342.75/1343.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1342.75/1343.22 c 147752 2924 64382 14650810 227 136014 39418 58732 323 456.41 1342.75/1343.22 c 147852 2924 17572 2615100 148 42346 43360 11922 311 474.54 1342.75/1343.22 c 148102 2924 17822 2679649 150 42846 47697 12172 311 474.81 1342.75/1343.22 c 148577 2924 18297 2802671 153 43796 52467 12647 312 475.33 1342.75/1343.22 c 149390 2924 19110 3018356 157 45422 57714 13460 313 476.19 1342.75/1343.22 c 150710 2924 20430 3380847 165 48062 63486 14780 315 477.53 1342.75/1343.22 c 152791 2924 22511 3985284 177 52224 69835 16861 318 479.50 1342.75/1343.22 c 156014 2924 25734 4982459 193 58670 76819 20084 323 482.67 1342.75/1343.22 c 160950 2924 30670 6491699 211 68542 84501 25020 330 487.70 1342.75/1343.22 c 168456 2924 38176 8189097 214 83554 92952 32526 339 496.17 1342.75/1343.22 c 179817 2924 49537 11401272 230 106276 102248 43887 352 510.71 1342.75/1343.22 c 196961 2924 66681 16470100 246 140564 112473 61031 367 536.30 1342.75/1343.22 c 222780 2924 92500 23679165 255 192202 123721 86850 379 586.90 1342.75/1343.22 c 261612 2924 18197 3846685 211 43596 136094 12547 319 818.17 1342.75/1343.22 c 319964 2924 76549 19394179 253 160300 149704 70899 346 923.53 1342.75/1343.22 c 407596 2924 24644 5506212 223 56490 164675 18994 311 1306.41 1342.75/1343.22 o -33 1797.90/1798.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.59 c 426161 2924 43210 10735414 248 93655 39418 37560 317 1342.78 1797.90/1798.59 c 426261 2924 43310 10755623 248 93855 43360 37660 317 1342.96 1797.90/1798.59 c 426511 2924 43560 10805909 248 94355 47697 37910 317 1343.20 1797.90/1798.59 c 426986 2924 44035 10901105 247 95305 52467 38385 317 1343.65 1797.90/1798.59 c 427799 2924 44848 11077639 247 96931 57714 39198 318 1344.80 1797.90/1798.59 c 429119 2924 46168 11397541 246 99571 63486 40518 318 1346.37 1797.90/1798.59 c 431200 2924 48249 11960989 247 103733 69835 42599 319 1349.18 1797.90/1798.59 c 434423 2924 51472 12907803 250 110179 76819 45822 320 1353.82 1797.90/1798.59 c 439359 2924 56408 14304914 253 120051 84501 50758 323 1359.57 1797.90/1798.59 c 446865 2924 63914 16337060 255 135063 92952 58264 326 1368.81 1797.90/1798.59 c 458226 2924 75275 19328901 256 157785 102248 69625 329 1392.28 1797.90/1798.59 c 475370 2924 92419 22771788 246 192073 112473 86769 336 1411.01 1797.90/1798.59 c 501189 2924 18099 3359756 185 43401 123721 12449 328 1527.08 1797.90/1798.59 c 540021 2924 56931 15054686 264 121065 136094 51281 338 1594.40 1797.90/1798.59 c 598373 2924 115283 32658148 283 237769 149704 109633 344 1737.79 1797.90/1798.59 c Resources Exceeded 1797.90/1798.59 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 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 -x107 x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -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 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 -x339 -x340 -x341 x342 x343 -x344 x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 -x383 -x384 x385 -x386 x387 x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1797.90/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.59 c 76 615709 793 654038 132619 37860090 126969 342 1798.00 1797.90/1798.59 c Objective: -33 1797.90/1798.59 s SATISFIABLE 1797.90/1798.59 c Total time: 1798 s
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671048-1276716567/watcher-2671048-1276716567 -o /tmp/evaluation-result-2671048-1276716567/solver-2671048-1276716567 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671048-1276716567.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.04 1.05 1.00 3/106 17960 /proc/meminfo: memFree=1705808/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=11156 CPUtime=0 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 12944796 11423744 264 1992294400 134512640 137138936 4291369184 18446744073709551615 136660740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 2789 264 174 642 0 2090 0 [startup+0.034262 s] /proc/loadavg: 1.04 1.05 1.00 3/106 17960 /proc/meminfo: memFree=1705808/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=11700 CPUtime=0.03 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 516 0 0 0 3 0 0 0 20 0 1 0 12944796 11980800 434 1992294400 134512640 137138936 4291369184 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 2925 435 212 642 0 2226 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11700 [startup+0.101271 s] /proc/loadavg: 1.04 1.05 1.00 3/106 17960 /proc/meminfo: memFree=1705808/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=12168 CPUtime=0.09 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 748 0 0 0 9 0 0 0 20 0 1 0 12944796 12460032 611 1992294400 134512640 137138936 4291369184 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 3042 611 184 642 0 2398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12168 [startup+0.301299 s] /proc/loadavg: 1.04 1.05 1.00 3/106 17960 /proc/meminfo: memFree=1705808/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=12168 CPUtime=0.29 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 748 0 0 0 29 0 0 0 20 0 1 0 12944796 12460032 611 1992294400 134512640 137138936 4291369184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 3042 611 184 642 0 2398 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12168 [startup+0.701355 s] /proc/loadavg: 1.04 1.05 1.00 3/106 17960 /proc/meminfo: memFree=1705808/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=12552 CPUtime=0.69 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 895 0 0 0 68 1 0 0 20 0 1 0 12944796 12853248 696 1992294400 134512640 137138936 4291369184 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 3138 696 188 642 0 2494 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12552 [startup+1.50047 s] /proc/loadavg: 1.04 1.05 1.00 2/107 17961 /proc/meminfo: memFree=1702948/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=15408 CPUtime=1.49 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 1624 0 0 0 147 2 0 0 22 0 1 0 12944796 15777792 1425 1992294400 134512640 137138936 4291369184 18446744073709551615 134575747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 3852 1425 191 642 0 3208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15408 [startup+3.1007 s] /proc/loadavg: 1.04 1.05 1.00 2/107 17961 /proc/meminfo: memFree=1698484/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=21896 CPUtime=3.09 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 3243 0 0 0 306 3 0 0 25 0 1 0 12944796 22421504 3044 1992294400 134512640 137138936 4291369184 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 5474 3044 191 642 0 4830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21896 [startup+6.30115 s] /proc/loadavg: 1.04 1.05 1.00 2/107 17961 /proc/meminfo: memFree=1684348/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=35748 CPUtime=6.29 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 6707 0 0 0 623 6 0 0 25 0 1 0 12944796 36605952 6508 1992294400 134512640 137138936 4291369184 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 8937 6508 191 642 0 8293 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35748 [startup+12.7011 s] /proc/loadavg: 1.03 1.05 1.00 2/107 17961 /proc/meminfo: memFree=1651364/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=68524 CPUtime=12.69 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 14896 0 0 0 1256 13 0 0 25 0 1 0 12944796 70168576 14697 1992294400 134512640 137138936 4291369184 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 17131 14697 191 642 0 16487 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68524 [startup+25.5019 s] /proc/loadavg: 1.03 1.04 1.00 2/107 17961 /proc/meminfo: memFree=1596928/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=120040 CPUtime=25.48 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 27761 0 0 0 2524 24 0 0 25 0 1 0 12944796 122920960 27562 1992294400 134512640 137138936 4291369184 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 30010 27563 191 642 0 29366 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 120040 [startup+51.1015 s] /proc/loadavg: 1.02 1.04 1.00 2/107 17963 /proc/meminfo: memFree=1511988/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=205060 CPUtime=51.07 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 49028 0 0 0 5063 44 0 0 25 0 1 0 12944796 209981440 48829 1992294400 134512640 137138936 4291369184 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 51265 48829 191 642 0 50621 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 205060 [startup+102.309 s] /proc/loadavg: 1.00 1.03 1.00 2/107 17963 /proc/meminfo: memFree=1409316/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=306252 CPUtime=102.26 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 74332 0 0 0 10154 72 0 0 25 0 1 0 12944796 313602048 74133 1992294400 134512640 137138936 4291369184 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 76563 74133 191 642 0 75919 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 306252 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17965 /proc/meminfo: memFree=1367280/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=162.23 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 16140 83 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 347480 [startup+222.302 s] /proc/loadavg: 1.04 1.03 1.00 2/107 17970 /proc/meminfo: memFree=1366660/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=222.21 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 22138 83 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 347480 [startup+282.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17972 /proc/meminfo: memFree=1366660/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=282.19 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 28136 83 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 347480 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17974 /proc/meminfo: memFree=1366660/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=342.18 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 34135 83 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 347480 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17974 /proc/meminfo: memFree=1366660/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=402.15 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 40132 83 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 347480 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17976 /proc/meminfo: memFree=1366660/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=462.13 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 46121 92 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 347480 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17978 /proc/meminfo: memFree=1366660/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=522.12 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 52109 103 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 347480 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17980 /proc/meminfo: memFree=1366784/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=347480 CPUtime=582.1 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 84719 0 0 0 58097 113 0 0 25 0 1 0 12944796 355819520 84421 1992294400 134512640 137138936 4291369184 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 86870 84421 191 642 0 86226 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 347480 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17982 /proc/meminfo: memFree=1288788/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=425912 CPUtime=642.09 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 104344 0 0 0 64073 136 0 0 25 0 1 0 12944796 436133888 104046 1992294400 134512640 137138936 4291369184 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 106478 104046 191 642 0 105834 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 425912 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1197648/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=517260 CPUtime=1121.92 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 127298 0 0 0 111985 207 0 0 25 0 1 0 12944796 529674240 126877 1992294400 134512640 137138936 4291369184 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 129315 126877 191 642 0 128671 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 517260 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17996 /proc/meminfo: memFree=1141848/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1181.9 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 117961 229 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 571732 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17998 /proc/meminfo: memFree=1141724/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1241.89 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 123960 229 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 571732 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18000 /proc/meminfo: memFree=1141724/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1301.86 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 129957 229 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 571732 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18000 /proc/meminfo: memFree=1141724/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1361.83 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 135945 238 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134543000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 571732 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18002 /proc/meminfo: memFree=1141724/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1421.83 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 141933 250 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 571732 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18004 /proc/meminfo: memFree=1141600/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1481.79 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 147921 258 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 571732 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18006 /proc/meminfo: memFree=1141724/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1541.78 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 153915 263 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 571732 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18006 /proc/meminfo: memFree=1141724/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1601.76 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 159902 274 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 571732 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18008 /proc/meminfo: memFree=1141600/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1661.74 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 165889 285 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 571732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18010 /proc/meminfo: memFree=1141600/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1721.72 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 171879 293 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 571732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1781.7 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 177867 303 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134618280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 571732 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1791.31 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 178827 304 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134618115 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 571732 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1794.5 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 179146 304 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 571732 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1796.09 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 179305 304 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1796.09 Current children cumulated vsize (KiB) 571732 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1796.9 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 179385 305 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 571732 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1797.7 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 179465 305 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 571732 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=571732 CPUtime=1797.9 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202496 141062 0 0 0 179485 305 0 0 25 0 1 0 12944796 585453568 140492 1992294400 134512640 137138936 4291369184 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17960/statm: 142933 140492 191 642 0 142289 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 571732 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18012 /proc/meminfo: memFree=1141476/2059040 swapFree=4144492/4192956 [pid=17960] ppid=17958 vsize=0 CPUtime=1797.99 /proc/17960/stat : 17960 (bsolo_pb10) R 17958 17960 17739 0 -1 4202500 141063 0 0 0 179494 305 0 0 25 0 1 0 12944796 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/17960/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.06 CPU user time (s): 1794.95 CPU system time (s): 3.11153 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 572328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.95 system time used= 3.11153 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141063 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= 4818 runsolver used 2.97955 second user time and 8.47771 second system time The end
Begin job on node049 at 2010-06-16 21:29:27 IDJOB=2671048 IDBENCH=48240 IDSOLVER=1163 FILE ID=node049/2671048-1276716567 PBS_JOBID= 11174135 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671048-1276716567/watcher-2671048-1276716567 -o /tmp/evaluation-result-2671048-1276716567/solver-2671048-1276716567 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671048-1276716567.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED=311659920 node049.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.244 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.48 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.244 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1706708 kB Buffers: 133820 kB Cached: 120648 kB SwapCached: 5920 kB Active: 111328 kB Inactive: 160244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1706708 kB SwapTotal: 4192956 kB SwapFree: 4144492 kB Dirty: 3996 kB Writeback: 0 kB AnonPages: 14280 kB Mapped: 13040 kB Slab: 58756 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183628 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-2671048-1276716567.opb Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-16 21:59:26