Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -33 | 1798.1 | 1798.73 |
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 | -53 |
Best CPU time to get the best result obtained on this benchmark | 1794.89 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878260-1245207184.opb 0.00/0.00 c File size is 222240 bytes. 0.01/0.03 c Highest Coefficient sum: 400 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.032 s 0.01/0.03 c Var: 2924 Constr: 5650 2724/402/2524 Lit: 21392 Watch. Lit: 18470 0.01/0.03 c Obj. Vars: 200 (6.83995 % of total variables) 0.59/0.68 c Pre-processing Time: 0.685 s 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 2924 5650 21392 3 18470 38418 0 0 0.69 0.59/0.68 c Switching off lower bounding mode. 0.59/0.69 o -1 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 2924 5651 21592 3 18473 38552 1 0 0.69 0.59/0.69 o -2 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 3 2924 5655 22408 3 18483 38618 5 4 0.69 0.79/0.89 c 103 2924 5755 47507 8 18683 42480 105 125 0.82 0.79/0.89 o -3 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 216 2924 5869 84595 14 18914 38685 219 241 0.90 3.79/3.84 c 316 2924 5969 111145 18 19114 42554 319 311 1.02 3.79/3.84 c 566 2924 6219 188275 30 19614 46810 569 453 1.25 3.79/3.84 c 1041 2924 6694 328323 49 20564 51492 1044 601 1.73 3.79/3.84 c 1854 2924 7507 573128 76 22190 56642 1857 733 2.53 3.79/3.84 c 3174 2924 8827 978070 110 24830 62307 3177 834 3.80 3.79/3.84 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 829 3.84 3.79/3.85 o -15 4.08/4.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.20 c 3192 2924 8847 980689 110 24899 39418 3197 828 3.85 4.08/4.20 c 3292 2924 8947 1001955 111 25099 43360 3297 826 3.98 4.08/4.20 c 3542 2924 9197 1070221 116 25599 47697 3547 845 4.19 4.08/4.20 o -16 116.55/116.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 116.55/116.67 c 3550 2924 9206 1072021 116 25633 39418 3556 845 4.20 116.55/116.67 c 3650 2924 9306 1097984 117 25833 43360 3656 847 4.31 116.55/116.67 c 3900 2924 9556 1167543 122 26333 47697 3906 865 4.51 116.55/116.67 c 4375 2924 10031 1287398 128 27283 52467 4381 903 4.84 116.55/116.67 c 5188 2924 10844 1491192 137 28909 57714 5194 963 5.38 116.55/116.67 c 6509 2924 12165 1856635 152 31551 63486 6515 1012 6.43 116.55/116.67 c 8590 2924 14246 2437681 171 35713 69835 8596 1065 8.06 116.55/116.67 c 11813 2924 17469 3341431 191 42159 76819 11819 1134 10.41 116.55/116.67 c 16749 2924 22405 4842298 216 52031 84501 16755 1210 13.84 116.55/116.67 c 24255 2924 29911 6355212 212 67043 92952 24261 1390 17.44 116.55/116.67 c 35616 2924 41272 9410766 228 89765 102248 35622 1177 30.25 116.55/116.67 c 52760 2924 58416 13393130 229 124053 112473 52766 1166 45.24 116.55/116.67 c 78579 2924 84235 20196549 239 175691 123721 78585 891 88.19 116.55/116.67 o -17 428.63/428.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 428.63/428.83 c 101322 2924 106979 25474194 238 221196 39418 101329 868 116.63 428.63/428.83 c 101422 2924 18050 2521574 139 43287 43360 12400 246 410.74 428.63/428.83 c 101672 2924 18300 2595326 141 43787 47697 12650 247 411.03 428.63/428.83 c 102147 2924 18775 2727952 145 44737 52467 13125 248 411.69 428.63/428.83 c 102960 2924 19588 2961888 151 46363 57714 13938 249 412.69 428.63/428.83 c 104280 2924 20908 3346864 160 49003 63486 15258 251 414.27 428.63/428.83 c 106361 2924 22989 3972142 172 53165 69835 17339 255 416.74 428.63/428.83 c 109584 2924 26212 4979279 189 59611 76819 20562 260 420.51 428.63/428.83 c 114520 2924 31148 6661075 213 69483 84501 25498 269 425.71 428.63/428.83 o -31 457.33/457.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 457.33/457.52 c 116090 2924 32719 6938726 212 72656 39418 27069 270 428.68 457.33/457.52 c 116190 2924 32819 6958913 212 72856 43360 27169 270 428.80 457.33/457.52 c 116440 2924 33069 7009281 211 73356 47697 27419 271 429.05 457.33/457.52 c 116915 2924 33544 7104831 211 74306 52467 27894 272 429.42 457.33/457.52 c 117728 2924 34357 7268477 211 75932 57714 28707 273 430.04 457.33/457.52 c 119048 2924 35677 7541432 211 78572 63486 30027 276 431.05 457.33/457.52 c 121129 2924 37758 8018403 212 82734 69835 32108 279 432.70 457.33/457.52 c 124352 2924 40981 8804908 214 89180 76819 35331 285 435.93 457.33/457.52 c 129288 2924 45917 10200993 222 99052 84501 40267 293 441.24 457.33/457.52 c 136794 2924 53423 12323865 230 114064 92952 47773 304 449.88 457.33/457.52 o -32 1348.31/1348.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1348.31/1348.85 c 147752 2924 64382 14650810 227 136014 39418 58732 323 457.36 1348.31/1348.85 c 147852 2924 17572 2615100 148 42346 43360 11922 310 475.62 1348.31/1348.85 c 148102 2924 17822 2679649 150 42846 47697 12172 311 475.88 1348.31/1348.85 c 148577 2924 18297 2802671 153 43796 52467 12647 311 476.40 1348.31/1348.85 c 149390 2924 19110 3018356 157 45422 57714 13460 313 477.26 1348.31/1348.85 c 150710 2924 20430 3380847 165 48062 63486 14780 314 478.60 1348.31/1348.85 c 152791 2924 22511 3985284 177 52224 69835 16861 317 480.59 1348.31/1348.85 c 156014 2924 25734 4982459 193 58670 76819 20084 322 483.78 1348.31/1348.85 c 160950 2924 30670 6491699 211 68542 84501 25020 329 488.82 1348.31/1348.85 c 168456 2924 38176 8189097 214 83554 92952 32526 338 497.33 1348.31/1348.85 c 179817 2924 49537 11401272 230 106276 102248 43887 351 511.95 1348.31/1348.85 c 196961 2924 66681 16470100 246 140564 112473 61031 366 537.60 1348.31/1348.85 c 222780 2924 92500 23679165 255 192202 123721 86850 378 588.45 1348.31/1348.85 c 261612 2924 18197 3846685 211 43596 136094 12547 319 819.91 1348.31/1348.85 c 319964 2924 76549 19394179 253 160300 149704 70899 345 926.01 1348.31/1348.85 c 407596 2924 24644 5506212 223 56490 164675 18994 310 1311.79 1348.31/1348.85 o -33 1797.95/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.64 c 426161 2924 43210 10735414 248 93655 39418 37560 316 1348.38 1797.95/1798.64 c 426261 2924 43310 10755623 248 93855 43360 37660 316 1348.56 1797.95/1798.64 c 426511 2924 43560 10805909 248 94355 47697 37910 316 1348.81 1797.95/1798.64 c 426986 2924 44035 10901105 247 95305 52467 38385 316 1349.25 1797.95/1798.64 c 427799 2924 44848 11077639 247 96931 57714 39198 316 1350.40 1797.95/1798.64 c 429119 2924 46168 11397541 246 99571 63486 40518 317 1351.97 1797.95/1798.64 c 431200 2924 48249 11960989 247 103733 69835 42599 318 1354.77 1797.95/1798.64 c 434423 2924 51472 12907803 250 110179 76819 45822 319 1359.42 1797.95/1798.64 c 439359 2924 56408 14304914 253 120051 84501 50758 321 1365.22 1797.95/1798.64 c 446865 2924 63914 16337060 255 135063 92952 58264 325 1374.48 1797.95/1798.64 c 458226 2924 75275 19328901 256 157785 102248 69625 327 1398.01 1797.95/1798.64 c 475370 2924 92419 22771788 246 192073 112473 86769 335 1416.74 1797.95/1798.64 c 501189 2924 18099 3359756 185 43401 123721 12449 326 1533.30 1797.95/1798.64 c 540021 2924 56931 15054686 264 121065 136094 51281 337 1600.92 1797.95/1798.64 c 598373 2924 115283 32658148 283 237769 149704 109633 342 1745.04 1797.95/1798.64 c Resources Exceeded 1797.95/1798.64 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.95/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.64 c 76 613476 793 651805 130386 37249103 124736 341 1798.01 1797.95/1798.64 c Objective: -33 1797.95/1798.64 s SATISFIABLE 1797.95/1798.64 c Total time: 1798.01 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-1878260-1245207184/watcher-1878260-1245207184 -o /tmp/evaluation-result-1878260-1245207184/solver-1878260-1245207184 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878260-1245207184.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10048 /proc/meminfo: memFree=1799768/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=10936 CPUtime=0 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 188314822 11198464 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 2734 243 174 640 0 2035 0 [startup+0.021586 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10048 /proc/meminfo: memFree=1799768/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=11348 CPUtime=0.01 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 389 0 0 0 1 0 0 0 18 0 1 0 188314822 11620352 373 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 2838 374 202 640 0 2139 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11348 [startup+0.101599 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10048 /proc/meminfo: memFree=1799768/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=12116 CPUtime=0.09 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 684 0 0 0 9 0 0 0 18 0 1 0 188314822 12406784 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 3029 613 189 640 0 2385 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12116 [startup+0.301633 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10048 /proc/meminfo: memFree=1799768/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=12116 CPUtime=0.29 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 684 0 0 0 29 0 0 0 19 0 1 0 188314822 12406784 613 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 3029 613 189 640 0 2385 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12116 [startup+0.701702 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10048 /proc/meminfo: memFree=1799768/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=12500 CPUtime=0.69 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 835 0 0 0 68 1 0 0 22 0 1 0 188314822 12800000 702 1992294400 134512640 137136520 4294956256 18446744073709551615 134543693 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 3125 702 197 640 0 2481 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12500 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1796880/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=15356 CPUtime=1.49 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 1563 0 0 0 147 2 0 0 25 0 1 0 188314822 15724544 1430 1992294400 134512640 137136520 4294956256 18446744073709551615 134574336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 3839 1430 197 640 0 3195 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15356 [startup+3.10112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1792144/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=21844 CPUtime=3.09 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 3179 0 0 0 306 3 0 0 25 0 1 0 188314822 22368256 3046 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 5461 3046 197 640 0 4817 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21844 [startup+6.30267 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1778320/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=35696 CPUtime=6.29 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 6637 0 0 0 623 6 0 0 25 0 1 0 188314822 36552704 6504 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 8924 6504 197 640 0 8280 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35696 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1745176/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=68696 CPUtime=12.69 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 14889 0 0 0 1259 10 0 0 25 0 1 0 188314822 70344704 14756 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 17174 14756 197 640 0 16530 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68696 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1690840/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=119988 CPUtime=25.48 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 27717 0 0 0 2531 17 0 0 25 0 1 0 188314822 122867712 27584 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 29997 27584 197 640 0 29353 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 119988 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1606168/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=205008 CPUtime=51.07 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 48952 0 0 0 5076 31 0 0 25 0 1 0 188314822 209928192 48819 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 51252 48819 197 640 0 50608 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 205008 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1504024/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=305764 CPUtime=102.26 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 74142 0 0 0 10173 53 0 0 25 0 1 0 188314822 313102336 74009 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 76441 74009 197 640 0 75797 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 305764 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10049 /proc/meminfo: memFree=1461784/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=162.23 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 16161 62 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 347428 [startup+222.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 10049 /proc/meminfo: memFree=1461848/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=222.21 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 22159 62 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 347428 [startup+282.301 s] /proc/loadavg: 1.05 1.02 1.00 2/65 10049 /proc/meminfo: memFree=1461848/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=282.19 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 28157 62 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 347428 [startup+342.302 s] /proc/loadavg: 1.12 1.05 1.01 2/65 10049 /proc/meminfo: memFree=1461848/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=342.16 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 34154 62 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 347428 [startup+402.301 s] /proc/loadavg: 1.04 1.04 1.00 2/65 10049 /proc/meminfo: memFree=1461912/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=402.14 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 40152 62 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 347428 [startup+462.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 10049 /proc/meminfo: memFree=1461912/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=462.13 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 46143 70 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 347428 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10055 /proc/meminfo: memFree=1461720/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=522.1 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 52133 77 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 347428 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10055 /proc/meminfo: memFree=1461784/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=347428 CPUtime=582.07 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 84656 0 0 0 58123 84 0 0 25 0 1 0 188314822 355766272 84424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 86857 84424 197 640 0 86213 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 347428 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10055 /proc/meminfo: memFree=1386072/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=423072 CPUtime=642.06 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 103575 0 0 0 64104 102 0 0 25 0 1 0 188314822 433225728 103343 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 105768 103343 197 640 0 105124 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 423072 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1333848/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=475008 CPUtime=1061.91 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 116690 0 0 0 106053 138 0 0 25 0 1 0 188314822 486408192 116335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 118752 116335 197 640 0 118108 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 475008 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1296024/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=513100 CPUtime=1121.89 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 126214 0 0 0 112039 150 0 0 25 0 1 0 188314822 525414400 125859 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 128275 125859 197 640 0 127631 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 513100 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1181.87 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 118016 171 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 571680 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1241.85 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 124014 171 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 571680 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1301.83 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 130012 171 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 571680 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236888/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1361.81 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 136002 179 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 571680 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236888/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1421.79 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 141994 185 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 571680 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236888/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1481.77 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 147986 191 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 571680 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1541.74 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 153981 193 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134574226 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 571680 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 10055 /proc/meminfo: memFree=1236888/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1601.72 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 159972 200 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134574235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 571680 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1661.7 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 165962 208 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 571680 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1721.68 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 171954 214 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 571680 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1781.66 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 177946 220 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 571680 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1791.26 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 178905 221 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 571680 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1794.46 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 179225 221 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 571680 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1796.05 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 179384 221 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 571680 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1796.85 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 179464 221 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1796.85 Current children cumulated vsize (KiB) 571680 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236824/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=571680 CPUtime=1797.65 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194304 140999 0 0 0 179544 221 0 0 25 0 1 0 188314822 585400320 140495 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 142920 140495 197 640 0 142276 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 571680 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10055 /proc/meminfo: memFree=1236760/2055920 swapFree=4181252/4192956 [pid=10048] ppid=10046 vsize=0 CPUtime=1798.05 /proc/10048/stat : 10048 (bsolo) R 10046 10048 8701 0 -1 4194308 141001 0 0 0 179578 227 0 0 25 0 1 0 188314822 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10048/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.73 CPU time (s): 1798.1 CPU user time (s): 1795.79 CPU system time (s): 2.30865 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 572276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.79 system time used= 2.30865 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141001 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= 2 involuntary context switches= 3568 runsolver used 1.53577 second user time and 3.43248 second system time The end
Begin job on node48 at 2009-06-17 04:53:04 IDJOB=1878260 IDBENCH=48240 IDSOLVER=700 FILE ID=node48/1878260-1245207184 PBS_JOBID= 9368337 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878260-1245207184/watcher-1878260-1245207184 -o /tmp/evaluation-result-1878260-1245207184/solver-1878260-1245207184 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878260-1245207184.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED=1983382423 node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.270 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1800376 kB Buffers: 49740 kB Cached: 136348 kB SwapCached: 5468 kB Active: 91284 kB Inactive: 102688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800376 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 4012 kB Writeback: 0 kB Mapped: 13544 kB Slab: 47556 kB Committed_AS: 170912 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878260-1245207184.opb Free space on /tmp at the end= 66232 MiB End job on node48 at 2009-06-17 05:23:04