Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | -10 | 1798.09 | 1798.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb |
MD5SUM | 1a8c058c181490cb899ec7074b22bfb3 |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1798.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6124 |
Sum of products size (including duplicates) | 12248 |
Number of different products | 3062 |
Sum of products size | 6124 |
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-1878257-1245206743.opb 0.00/0.00 c File size is 256864 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.036 s 0.00/0.04 c Var: 3262 Constr: 6426 3162/202/3062 Lit: 25096 Watch. Lit: 21836 0.00/0.04 c Obj. Vars: 100 (3.0656 % of total variables) 3.59/3.70 c Pre-processing Time: 3.698 s 3.59/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.70 c 0 3262 6426 25096 3 21836 82850 0 0 3.70 3.59/3.70 c Switching off lower bounding mode. 3.69/3.70 o -1 3.69/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.70 c 0 3262 6427 25196 3 21839 82916 1 0 3.70 3.69/3.70 o -2 3.69/3.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.76 c 3 3262 6431 25635 3 21849 82950 5 0 3.71 3.69/3.76 c 103 3262 6531 39115 5 22049 91246 105 27 3.75 3.69/3.76 o -3 4.99/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.03 c 138 3262 6567 42721 6 22124 82983 141 36 3.76 4.99/5.03 c 238 3262 6667 57398 8 22324 91282 241 62 3.80 4.99/5.03 c 488 3262 6917 90553 13 22824 100411 491 126 3.87 4.99/5.03 c 963 3262 7392 162804 22 23774 110453 966 238 4.05 4.99/5.03 c 1776 3262 8205 290094 35 25400 121499 1779 410 4.32 4.99/5.03 c 3097 3262 9526 499579 52 28042 133649 3100 661 4.68 4.99/5.03 c 5178 3262 11607 715882 61 32204 147014 5181 1046 4.95 4.99/5.03 o -4 11.38/11.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.38/11.49 c 5642 3262 12072 764046 63 33138 83016 5646 1121 5.03 11.38/11.49 c 5742 3262 12172 780020 64 33338 91318 5746 1127 5.09 11.38/11.49 c 5992 3262 12422 814359 65 33838 100450 5996 1142 5.24 11.38/11.49 c 6467 3262 12897 886648 68 34788 110496 6471 1174 5.50 11.38/11.49 c 7280 3262 13710 1016357 74 36414 121546 7284 1233 5.90 11.38/11.49 c 8600 3262 15030 1250245 83 39054 133701 8604 1335 6.44 11.38/11.49 c 10681 3262 17111 1583709 92 43216 147072 10685 1410 7.57 11.38/11.49 c 13904 3262 20334 2119303 104 49662 161780 13908 1464 9.49 11.38/11.49 o -5 39.68/39.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 39.68/39.74 c 17077 3262 23508 2642049 112 56015 83050 17082 1486 11.49 39.68/39.74 c 17177 3262 23608 2658808 112 56215 91356 17182 1485 11.56 39.68/39.74 c 17427 3262 23858 2701542 113 56715 100492 17432 1486 11.73 39.68/39.74 c 17902 3262 24333 2785116 114 57665 110542 17907 1494 11.98 39.68/39.74 c 18715 3262 25146 2922742 116 59291 121597 18720 1494 12.52 39.68/39.74 c 20035 3262 26466 3144538 118 61931 133757 20040 1470 13.62 39.68/39.74 c 22116 3262 28547 3471596 121 66093 147133 22121 1454 15.20 39.68/39.74 c 25340 3262 31771 3964581 124 72541 161847 25345 1424 17.79 39.68/39.74 c 30276 3262 36707 4791747 130 82413 178032 30281 1361 22.23 39.68/39.74 c 37782 3262 44213 5690433 128 97425 195836 37787 1292 29.24 39.68/39.74 o -6 603.07/603.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 603.07/603.39 c 45622 3262 52054 6979535 134 113113 83083 45628 1148 39.73 603.07/603.39 c 45722 3262 52154 6995890 134 113313 91392 45728 1146 39.87 603.07/603.39 c 45972 3262 52404 7036947 134 113813 100532 45978 1144 40.18 603.07/603.39 c 46447 3262 52879 7117475 134 114763 110586 46453 1138 40.80 603.07/603.39 c 47260 3262 53692 7259263 135 116389 121645 47266 1125 41.99 603.07/603.39 c 48580 3262 55012 7476940 135 119029 133810 48586 1124 43.21 603.07/603.39 c 50661 3262 57093 7807351 136 123191 147192 50667 1122 45.15 603.07/603.39 c 53884 3262 60316 8347157 138 129637 161912 53890 1111 48.47 603.07/603.39 c 58820 3262 65252 9152131 140 139509 178104 58826 1014 57.99 603.07/603.39 c 66326 3262 72758 10367985 142 154521 195915 66332 915 72.46 603.07/603.39 c 77687 3262 84119 12208345 145 177243 215507 77693 802 96.75 603.07/603.39 c 94831 3262 101263 15098862 149 211531 237058 94837 690 137.32 603.07/603.39 c 120650 3262 127082 19421745 152 263169 260764 120656 563 214.06 603.07/603.39 c 159482 3262 165914 25888478 156 340833 286841 159488 482 330.31 603.07/603.39 c 217834 3262 224266 35632498 158 457537 315526 217840 366 594.43 603.07/603.39 o -9 981.02/981.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 981.02/981.46 c 218075 3262 224508 35643083 158 458030 83183 218082 361 603.17 981.02/981.46 o -10 1797.92/1798.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.67 c 218117 3262 19507 2154195 110 48017 83216 13081 222 981.09 1797.92/1798.67 c 218217 3262 19607 2169658 110 48217 91538 13181 222 981.20 1797.92/1798.67 c 218467 3262 19857 2202049 110 48717 100692 13431 222 981.33 1797.92/1798.67 c 218942 3262 20332 2261692 111 49667 110762 13906 222 981.90 1797.92/1798.67 c 219755 3262 21145 2378510 112 51293 121839 14719 223 982.47 1797.92/1798.67 c 221075 3262 22465 2568747 114 53933 134023 16039 224 983.07 1797.92/1798.67 c 223156 3262 24546 2780239 113 58095 147426 18120 226 983.93 1797.92/1798.67 c 226379 3262 27769 3114186 112 64541 162169 21343 229 985.31 1797.92/1798.67 c 231315 3262 32705 3756417 114 74413 178386 26279 233 988.78 1797.92/1798.67 c 238821 3262 40211 4970370 123 89425 196225 33785 240 995.01 1797.92/1798.67 c 250182 3262 51572 6699026 129 112147 215848 45146 248 1005.61 1797.92/1798.67 c 267326 3262 68716 9366381 136 146435 237433 62290 255 1044.27 1797.92/1798.67 c 293145 3262 94535 13674994 144 198073 261177 88109 255 1149.32 1797.92/1798.67 c 331977 3262 133367 20068826 150 275737 287295 126941 262 1263.27 1797.92/1798.67 c 390329 3262 191719 29397116 153 392441 316025 185293 265 1470.97 1797.92/1798.67 c Resources Exceeded 1797.92/1798.67 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 -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 -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 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -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 1797.92/1798.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.67 c 59 462699 345 471972 264089 39198543 257663 257 1798.00 1797.92/1798.67 c Objective: -10 1797.92/1798.67 s SATISFIABLE 1797.92/1798.67 c Total time: 1798 s
OK -10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878257-1245206743/watcher-1878257-1245206743 -o /tmp/evaluation-result-1878257-1245206743/solver-1878257-1245206743 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878257-1245206743.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5694 /proc/meminfo: memFree=1805808/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=18780 CPUtime=0 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 188275035 19230720 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 4695 243 174 640 0 3988 0 [startup+0.06586 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5694 /proc/meminfo: memFree=1805808/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=12528 CPUtime=0.06 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 767 0 0 0 6 0 0 0 18 0 1 0 188275035 12828672 688 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 3132 688 189 640 0 2488 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12528 [startup+0.101867 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5694 /proc/meminfo: memFree=1805808/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=12528 CPUtime=0.09 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 768 0 0 0 9 0 0 0 18 0 1 0 188275035 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 135982480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12528 [startup+0.301911 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5694 /proc/meminfo: memFree=1805808/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=12528 CPUtime=0.29 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 768 0 0 0 29 0 0 0 19 0 1 0 188275035 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134544184 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12528 [startup+0.701996 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5694 /proc/meminfo: memFree=1805808/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=12528 CPUtime=0.69 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 768 0 0 0 69 0 0 0 22 0 1 0 188275035 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134543548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12528 [startup+1.50117 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1803816/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=12528 CPUtime=1.49 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 768 0 0 0 149 0 0 0 25 0 1 0 188275035 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12528 [startup+3.10151 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1803688/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=12528 CPUtime=3.09 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 768 0 0 0 309 0 0 0 25 0 1 0 188275035 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12528 [startup+6.3012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1792168/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=28236 CPUtime=6.28 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 4767 0 0 0 625 3 0 0 25 0 1 0 188275035 28913664 4626 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 7059 4626 197 640 0 6415 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28236 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1766256/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=52004 CPUtime=12.68 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 10734 0 0 0 1259 9 0 0 25 0 1 0 188275035 53252096 10593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 13001 10593 197 640 0 12357 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52004 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1734448/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=82164 CPUtime=25.48 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 18256 0 0 0 2531 17 0 0 25 0 1 0 188275035 84135936 18115 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 20541 18115 197 640 0 19897 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82164 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1688880/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=127448 CPUtime=51.07 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 29591 0 0 0 5081 26 0 0 25 0 1 0 188275035 130506752 29450 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 31862 29450 197 640 0 31218 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127448 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1635440/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=180480 CPUtime=102.26 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 42838 0 0 0 10183 43 0 0 25 0 1 0 188275035 184811520 42697 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 45120 42697 197 640 0 44476 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 180480 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1577584/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=238256 CPUtime=162.23 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 57292 0 0 0 16160 63 0 0 25 0 1 0 188275035 243974144 57151 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 59564 57151 197 640 0 58920 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 238256 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1537328/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=278464 CPUtime=222.21 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 67332 0 0 0 22144 77 0 0 25 0 1 0 188275035 285147136 67191 1992294400 134512640 137136520 4294956256 18446744073709551615 134544275 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 69616 67191 197 640 0 68972 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 278464 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1491312/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=324840 CPUtime=282.19 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 78928 0 0 0 28127 92 0 0 25 0 1 0 188275035 332636160 78787 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 81210 78787 197 640 0 80566 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 324840 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1447408/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=368188 CPUtime=342.17 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 89774 0 0 0 34108 109 0 0 25 0 1 0 188275035 377024512 89633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 92047 89633 197 640 0 91403 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 368188 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5695 /proc/meminfo: memFree=1410992/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=404556 CPUtime=402.14 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 98866 0 0 0 40092 122 0 0 25 0 1 0 188275035 414265344 98725 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 101139 98725 197 640 0 100495 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 404556 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5697 /proc/meminfo: memFree=1383088/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=432120 CPUtime=462.12 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 105758 0 0 0 46080 132 0 0 25 0 1 0 188275035 442490880 105617 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 108030 105617 197 640 0 107386 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 432120 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5697 /proc/meminfo: memFree=1358896/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=456492 CPUtime=522.1 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 111841 0 0 0 52069 141 0 0 25 0 1 0 188275035 467447808 111700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 114123 111700 197 640 0 113479 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 456492 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5697 /proc/meminfo: memFree=1330736/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=484616 CPUtime=582.08 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 118877 0 0 0 58056 152 0 0 25 0 1 0 188275035 496246784 118736 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 121154 118736 197 640 0 120510 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 484616 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5697 /proc/meminfo: memFree=1324400/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=642.06 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 64051 155 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 490372 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1324208/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1061.9 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 106021 169 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 490372 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1121.87 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 112014 173 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 490372 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1181.85 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 118007 178 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 490372 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1241.82 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 123999 183 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 490372 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1301.81 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 129992 189 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 136498196 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 490372 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1361.78 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 135985 193 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 490372 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324336/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1421.76 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 141979 197 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 490372 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1481.74 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 147973 201 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 490372 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324336/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490372 CPUtime=1541.71 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120537 0 0 0 153967 204 0 0 25 0 1 0 188275035 502140928 120183 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122593 120183 197 640 0 121949 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 490372 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1324272/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=490384 CPUtime=1601.69 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 120540 0 0 0 159961 208 0 0 25 0 1 0 188275035 502153216 120186 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 122596 120186 197 640 0 121952 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 490384 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1319664/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=495012 CPUtime=1661.67 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 121689 0 0 0 165955 212 0 0 25 0 1 0 188275035 506892288 121335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 123753 121335 197 640 0 123109 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 495012 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1300400/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=514500 CPUtime=1721.65 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 126546 0 0 0 171947 218 0 0 25 0 1 0 188275035 526848000 126192 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 128625 126192 197 640 0 127981 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 514500 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1282992/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=531684 CPUtime=1781.63 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 130850 0 0 0 177939 224 0 0 25 0 1 0 188275035 544444416 130496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 132921 130496 197 640 0 132277 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 531684 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1279344/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=535220 CPUtime=1791.23 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 131748 0 0 0 178898 225 0 0 25 0 1 0 188275035 548065280 131394 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 133805 131394 197 640 0 133161 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 535220 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1277232/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=537256 CPUtime=1794.43 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 132259 0 0 0 179218 225 0 0 25 0 1 0 188275035 550150144 131905 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 134314 131905 197 640 0 133670 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 537256 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1276400/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=538684 CPUtime=1796.03 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 132605 0 0 0 179377 226 0 0 25 0 1 0 188275035 551612416 132251 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 134671 132251 197 640 0 134027 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 538684 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1275504/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=539212 CPUtime=1796.82 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 132732 0 0 0 179456 226 0 0 25 0 1 0 188275035 552153088 132378 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 134803 132378 197 640 0 134159 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 539212 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1275504/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=539844 CPUtime=1797.62 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194304 132891 0 0 0 179536 226 0 0 25 0 1 0 188275035 552800256 132537 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 134961 132537 197 640 0 134317 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 539844 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5703 /proc/meminfo: memFree=1274672/2055920 swapFree=4192812/4192956 [pid=5694] ppid=5692 vsize=0 CPUtime=1798.02 /proc/5694/stat : 5694 (bsolo) R 5692 5694 5649 0 -1 4194308 132947 0 0 0 179573 229 0 0 25 0 1 0 188275035 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5694/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.76 CPU time (s): 1798.09 CPU user time (s): 1795.74 CPU system time (s): 2.35164 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 540068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.74 system time used= 2.35164 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132947 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= 2814 runsolver used 1.09083 second user time and 3.99239 second system time The end
Begin job on node10 at 2009-06-17 04:45:43 IDJOB=1878257 IDBENCH=48237 IDSOLVER=700 FILE ID=node10/1878257-1245206743 PBS_JOBID= 9368400 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878257-1245206743/watcher-1878257-1245206743 -o /tmp/evaluation-result-1878257-1245206743/solver-1878257-1245206743 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878257-1245206743.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED=28291750 node10.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.263 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.263 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: 1806480 kB Buffers: 55328 kB Cached: 127388 kB SwapCached: 0 kB Active: 72676 kB Inactive: 123416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806480 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4244 kB Writeback: 0 kB Mapped: 23088 kB Slab: 39376 kB Committed_AS: 196756 kB PageTables: 1376 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-1878257-1245206743.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-17 05:15:42