Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -14 | 1798.04 | 1798.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
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 | 1789.55 |
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) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671053-1276716675.opb 0.00/0.00 c File size is 254876 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.043 s 0.00/0.04 c Var: 3238 Constr: 6378 3138/202/3038 Lit: 24904 Watch. Lit: 21668 0.00/0.04 c Obj. Vars: 100 (3.08833 % of total variables) 3.49/3.51 c Pre-processing Time: 3.513 s 3.49/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.51 c 0 3238 6378 24904 3 21668 81922 0 0 3.51 3.49/3.51 c Switching off lower bounding mode. 3.49/3.51 o -1 3.49/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.52 c 0 3238 6379 25004 3 21671 81988 1 0 3.52 3.49/3.52 o -2 3.49/3.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.53 c 1 3238 6382 25304 3 21680 82022 4 0 3.52 3.49/3.53 o -3 3.49/3.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.53 c 2 3238 6385 25636 4 21691 82055 7 0 3.53 3.49/3.53 o -4 3.49/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.54 c 4 3238 6389 25983 4 21706 82088 11 1 3.53 3.49/3.54 o -5 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 16 3238 6403 27367 4 21743 82122 25 4 3.54 3.49/3.55 o -6 3.49/3.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.56 c 28 3238 6417 28584 4 21782 82155 39 7 3.55 3.49/3.56 o -7 3.49/3.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.57 c 48 3238 6439 30175 4 21839 82188 61 13 3.56 3.49/3.57 o -8 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 81 3238 6474 31884 4 21924 82222 96 22 3.57 3.59/3.60 o -9 4.29/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.30 c 156 3238 6551 38187 5 22095 82255 173 43 3.60 4.29/4.30 c 256 3238 6652 43495 6 22306 90481 274 70 3.63 4.29/4.30 c 506 3238 6906 68012 9 22814 99530 528 135 3.72 4.29/4.30 c 981 3238 7389 114647 15 23780 109484 1011 249 3.93 4.29/4.30 o -10 4.29/4.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.32 c 1692 3238 8103 177522 21 25218 82288 1725 393 4.30 4.29/4.32 o -11 5.39/5.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.43 c 1748 3238 8161 179991 22 25355 82322 1783 404 4.33 5.39/5.43 c 1848 3238 8262 180984 21 25568 90555 1884 424 4.35 5.39/5.43 c 2098 3238 8516 205697 24 26076 99611 2138 473 4.43 5.39/5.43 c 2573 3238 8997 251448 27 27038 109573 2619 556 4.62 5.39/5.43 c 3386 3238 9815 330118 33 28674 120531 3437 679 4.98 5.39/5.43 o -12 308.31/308.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 308.31/308.45 c 4362 3238 10804 409147 37 30664 82355 4426 802 5.44 308.31/308.45 c 4462 3238 10907 412203 37 30882 90591 4529 810 5.50 308.31/308.45 c 4712 3238 11162 436428 39 31392 99651 4784 836 5.63 308.31/308.45 c 5187 3238 11646 482479 41 32360 109617 5268 877 5.91 308.31/308.45 c 6000 3238 12465 555186 44 33998 120579 6087 940 6.38 308.31/308.45 c 7321 3238 13840 666857 48 36757 132637 7462 1027 7.12 308.31/308.45 c 9402 3238 16048 890079 55 41226 145901 9670 1081 8.69 308.31/308.45 c 12625 3238 19501 1265258 64 48363 160492 13123 1086 11.62 308.31/308.45 c 17561 3238 24762 1846673 74 58997 176542 18384 1001 17.54 308.31/308.45 c 25067 3238 32876 2769570 84 75522 194197 26498 864 28.98 308.31/308.45 c 36428 3238 45222 4206723 93 100628 213617 38844 652 55.87 308.31/308.45 c 53572 3238 64326 6523640 101 139917 234979 57948 446 119.86 308.31/308.45 c 79391 3238 92413 9909623 107 197238 258477 86035 332 238.59 308.31/308.45 o -13 401.79/401.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 401.79/401.92 c 91017 3238 105174 11447691 108 223603 82388 98796 295 308.38 401.79/401.92 c 91117 3238 21016 1654970 78 51759 90627 14638 243 374.42 401.79/401.92 c 91367 3238 21293 1687132 79 52337 99690 14915 243 374.83 401.79/401.92 c 91842 3238 21813 1749023 80 53388 109660 15435 244 375.59 401.79/401.92 c 92655 3238 22705 1846090 81 55218 120627 16327 245 376.87 401.79/401.92 c 93975 3238 24133 2004640 83 58117 132690 17755 247 379.00 401.79/401.92 c 96056 3238 26349 2241730 85 62770 145960 19971 251 382.34 401.79/401.92 c 99281 3238 29843 2630296 88 69983 160557 23465 255 389.22 401.79/401.92 c 104217 3238 35066 3185961 90 80537 176613 28688 261 398.20 401.79/401.92 o -14 1797.96/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.44 c 106240 3238 37236 3423579 91 84963 82422 30858 264 401.82 1797.96/1798.44 c 106340 3238 37344 3435676 92 85193 90665 30966 264 402.04 1797.96/1798.44 c 106590 3238 37610 3463483 92 85725 99732 31232 264 402.48 1797.96/1798.44 c 107065 3238 38110 3511145 92 86760 109706 31732 265 403.92 1797.96/1798.44 c 107879 3238 38965 3597303 92 88505 120677 32587 265 406.44 1797.96/1798.44 c 109199 3238 40366 3746136 92 91351 132745 33988 266 410.38 1797.96/1798.44 c 111283 3238 42576 3973987 93 95852 146020 36198 266 417.58 1797.96/1798.44 c 114507 3238 46034 4348532 94 102818 160623 39656 267 428.13 1797.96/1798.44 c 119444 3238 51326 4900301 95 113499 176686 44948 267 445.69 1797.96/1798.44 c 126950 3238 59362 5753393 96 129787 194355 52984 269 471.00 1797.96/1798.44 c 138311 3238 71638 7075187 98 154766 213791 65260 267 517.85 1797.96/1798.44 c 155455 3238 90314 9134509 101 193328 235171 83936 254 609.97 1797.96/1798.44 c 181274 3238 118294 12257348 103 250369 258689 111916 239 758.04 1797.96/1798.44 c 220106 3238 159847 16719394 104 335511 284558 153469 201 1090.86 1797.96/1798.44 c Resources Exceeded 1797.96/1798.44 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 -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.96/1798.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.44 c 54 275975 62150 386663 220625 23617271 214247 153 1798.01 1797.96/1798.44 c Objective: -14 1797.96/1798.44 s SATISFIABLE 1797.96/1798.44 c Total time: 1798.01 s
OK -14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671053-1276716675/watcher-2671053-1276716675 -o /tmp/evaluation-result-2671053-1276716675/solver-2671053-1276716675 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671053-1276716675.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.99 0.99 3/106 17358 /proc/meminfo: memFree=1614624/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=11188 CPUtime=0 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 350 0 0 0 0 0 0 0 18 0 1 0 12958307 11456512 268 1992294400 134512640 137138936 4288547520 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 2797 268 175 642 0 2090 0 [startup+0.0703959 s] /proc/loadavg: 0.92 0.99 0.99 3/106 17358 /proc/meminfo: memFree=1614624/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=12564 CPUtime=0.06 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 828 0 0 0 6 0 0 0 21 0 1 0 12958307 12865536 683 1992294400 134512640 137138936 4288547520 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 3141 683 184 642 0 2497 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12564 [startup+0.101398 s] /proc/loadavg: 0.92 0.99 0.99 3/106 17358 /proc/meminfo: memFree=1614624/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=12564 CPUtime=0.09 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 828 0 0 0 9 0 0 0 21 0 1 0 12958307 12865536 683 1992294400 134512640 137138936 4288547520 18446744073709551615 134541889 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 3141 683 184 642 0 2497 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12564 [startup+0.301415 s] /proc/loadavg: 0.92 0.99 0.99 3/106 17358 /proc/meminfo: memFree=1614624/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=12564 CPUtime=0.29 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 829 0 0 0 29 0 0 0 21 0 1 0 12958307 12865536 684 1992294400 134512640 137138936 4288547520 18446744073709551615 134566123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 3141 684 184 642 0 2497 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12564 [startup+0.70145 s] /proc/loadavg: 0.92 0.99 0.99 3/106 17358 /proc/meminfo: memFree=1614624/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=12564 CPUtime=0.69 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 829 0 0 0 69 0 0 0 22 0 1 0 12958307 12865536 684 1992294400 134512640 137138936 4288547520 18446744073709551615 134542984 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 3141 684 184 642 0 2497 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12564 [startup+1.50152 s] /proc/loadavg: 0.92 0.99 0.99 2/107 17359 /proc/meminfo: memFree=1612880/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=12564 CPUtime=1.49 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 829 0 0 0 149 0 0 0 25 0 1 0 12958307 12865536 684 1992294400 134512640 137138936 4288547520 18446744073709551615 134543405 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 3141 684 184 642 0 2497 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12564 [startup+3.10166 s] /proc/loadavg: 0.92 0.99 0.99 2/107 17359 /proc/meminfo: memFree=1612632/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=12564 CPUtime=3.09 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 829 0 0 0 309 0 0 0 25 0 1 0 12958307 12865536 684 1992294400 134512640 137138936 4288547520 18446744073709551615 136520924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 3141 684 184 642 0 2497 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12564 [startup+6.30093 s] /proc/loadavg: 0.93 0.99 0.99 2/107 17359 /proc/meminfo: memFree=1607176/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=19828 CPUtime=6.29 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 2727 0 0 0 625 4 0 0 25 0 1 0 12958307 20303872 2519 1992294400 134512640 137138936 4288547520 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 4957 2519 192 642 0 4313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19828 [startup+12.7015 s] /proc/loadavg: 0.93 0.99 0.99 2/107 17359 /proc/meminfo: memFree=1594528/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=31296 CPUtime=12.69 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 5604 0 0 0 1261 8 0 0 25 0 1 0 12958307 32047104 5396 1992294400 134512640 137138936 4288547520 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 7824 5396 192 642 0 7180 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31296 [startup+25.5006 s] /proc/loadavg: 0.95 0.99 0.99 2/107 17359 /proc/meminfo: memFree=1578408/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=46884 CPUtime=25.49 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 9497 0 0 0 2534 15 0 0 25 0 1 0 12958307 48009216 9289 1992294400 134512640 137138936 4288547520 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 11721 9290 192 642 0 11077 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46884 [startup+51.1008 s] /proc/loadavg: 0.96 0.99 0.99 2/107 17361 /proc/meminfo: memFree=1557700/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=67588 CPUtime=51.08 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 14673 0 0 0 5084 24 0 0 25 0 1 0 12958307 69210112 14465 1992294400 134512640 137138936 4288547520 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 16897 14465 192 642 0 16253 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67588 [startup+102.308 s] /proc/loadavg: 0.98 0.99 0.99 2/107 17364 /proc/meminfo: memFree=1530544/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=93892 CPUtime=102.27 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 21252 0 0 0 10191 36 0 0 25 0 1 0 12958307 96145408 21044 1992294400 134512640 137138936 4288547520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 23473 21044 192 642 0 22829 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 93892 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17366 /proc/meminfo: memFree=1503760/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=120820 CPUtime=162.26 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 27987 0 0 0 16176 50 0 0 25 0 1 0 12958307 123719680 27779 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 30205 27779 192 642 0 29561 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 120820 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17368 /proc/meminfo: memFree=1482184/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=142328 CPUtime=222.23 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 33350 0 0 0 22162 61 0 0 25 0 1 0 12958307 145743872 33142 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 35582 33142 192 642 0 34938 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 142328 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17370 /proc/meminfo: memFree=1462468/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=162104 CPUtime=282.22 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 38290 0 0 0 28148 74 0 0 25 0 1 0 12958307 165994496 38082 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 40526 38082 192 642 0 39882 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 162104 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17372 /proc/meminfo: memFree=1454532/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=169488 CPUtime=342.21 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 40248 0 0 0 34142 79 0 0 25 0 1 0 12958307 173555712 39943 1992294400 134512640 137138936 4288547520 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 42372 39943 192 642 0 41728 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 169488 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17372 /proc/meminfo: memFree=1454532/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=169488 CPUtime=402.19 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 40248 0 0 0 40134 85 0 0 25 0 1 0 12958307 173555712 39943 1992294400 134512640 137138936 4288547520 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 42372 39943 192 642 0 41728 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 169488 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17374 /proc/meminfo: memFree=1454532/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=169488 CPUtime=462.18 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 40248 0 0 0 46125 93 0 0 25 0 1 0 12958307 173555712 39943 1992294400 134512640 137138936 4288547520 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 42372 39943 192 642 0 41728 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 169488 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17376 /proc/meminfo: memFree=1454532/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=169488 CPUtime=522.17 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 40248 0 0 0 52116 101 0 0 25 0 1 0 12958307 173555712 39943 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 42372 39943 192 642 0 41728 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 169488 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17378 /proc/meminfo: memFree=1454532/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=169488 CPUtime=582.15 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 40248 0 0 0 58107 108 0 0 25 0 1 0 12958307 173555712 39943 1992294400 134512640 137138936 4288547520 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 42372 39943 192 642 0 41728 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 169488 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17380 /proc/meminfo: memFree=1454532/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=169488 CPUtime=642.14 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 40248 0 0 0 64099 115 0 0 25 0 1 0 12958307 173555712 39943 1992294400 134512640 137138936 4288547520 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 42372 39943 192 642 0 41728 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 169488 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1376040/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=248172 CPUtime=1122.02 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 59904 0 0 0 112028 174 0 0 25 0 1 0 12958307 254128128 59599 1992294400 134512640 137138936 4288547520 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 62043 59599 192 642 0 61399 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 248172 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17394 /proc/meminfo: memFree=1367608/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=256528 CPUtime=1182.01 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 61996 0 0 0 118021 180 0 0 25 0 1 0 12958307 262684672 61691 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 64132 61691 192 642 0 63488 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 256528 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17396 /proc/meminfo: memFree=1359176/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=264788 CPUtime=1241.99 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 64047 0 0 0 124015 184 0 0 25 0 1 0 12958307 271142912 63742 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 66197 63742 192 642 0 65553 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 264788 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17396 /proc/meminfo: memFree=1351116/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=272648 CPUtime=1301.98 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 66034 0 0 0 130009 189 0 0 25 0 1 0 12958307 279191552 65729 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 68162 65729 192 642 0 67518 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 272648 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17398 /proc/meminfo: memFree=1343304/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=280612 CPUtime=1361.96 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 68011 0 0 0 136002 194 0 0 25 0 1 0 12958307 287346688 67706 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 70153 67706 192 642 0 69509 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 280612 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17400 /proc/meminfo: memFree=1334872/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=288968 CPUtime=1421.96 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 70106 0 0 0 141997 199 0 0 25 0 1 0 12958307 295903232 69801 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 72242 69801 192 642 0 71598 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 288968 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17402 /proc/meminfo: memFree=1325944/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=298012 CPUtime=1481.93 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 72372 0 0 0 147989 204 0 0 25 0 1 0 12958307 305164288 72067 1992294400 134512640 137138936 4288547520 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 74503 72067 192 642 0 73859 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 298012 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17404 /proc/meminfo: memFree=1318008/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=305668 CPUtime=1541.92 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 74281 0 0 0 153983 209 0 0 25 0 1 0 12958307 313004032 73976 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 76417 73976 192 642 0 75773 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 305668 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17404 /proc/meminfo: memFree=1310816/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=312924 CPUtime=1601.91 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 76098 0 0 0 159977 214 0 0 25 0 1 0 12958307 320434176 75793 1992294400 134512640 137138936 4288547520 18446744073709551615 134542968 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 78231 75793 192 642 0 77587 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 312924 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17406 /proc/meminfo: memFree=1303376/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=320444 CPUtime=1661.89 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 77961 0 0 0 165971 218 0 0 25 0 1 0 12958307 328134656 77656 1992294400 134512640 137138936 4288547520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 80111 77656 192 642 0 79467 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 320444 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17408 /proc/meminfo: memFree=1295068/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=328604 CPUtime=1721.88 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 80018 0 0 0 171966 222 0 0 25 0 1 0 12958307 336490496 79713 1992294400 134512640 137138936 4288547520 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 82151 79713 192 642 0 81507 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 328604 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17410 /proc/meminfo: memFree=1286760/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=336580 CPUtime=1781.87 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82018 0 0 0 177961 226 0 0 25 0 1 0 12958307 344657920 81713 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84145 81713 192 642 0 83501 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 336580 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1285396/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=337528 CPUtime=1791.46 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82249 0 0 0 178920 226 0 0 25 0 1 0 12958307 345628672 81944 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84382 81944 192 642 0 83738 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 337528 [startup+1795.1 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1285272/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=337800 CPUtime=1794.65 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82326 0 0 0 179239 226 0 0 25 0 1 0 12958307 345907200 82021 1992294400 134512640 137138936 4288547520 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84450 82021 192 642 0 83806 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 337800 [startup+1796.7 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1285148/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=338072 CPUtime=1796.24 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82368 0 0 0 179398 226 0 0 25 0 1 0 12958307 346185728 82063 1992294400 134512640 137138936 4288547520 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84518 82063 192 642 0 83874 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 338072 [startup+1797.5 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1285148/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=338072 CPUtime=1797.05 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82388 0 0 0 179478 227 0 0 25 0 1 0 12958307 346185728 82083 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84518 82083 192 642 0 83874 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 338072 [startup+1797.9 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1285148/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=338072 CPUtime=1797.45 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82399 0 0 0 179518 227 0 0 25 0 1 0 12958307 346185728 82094 1992294400 134512640 137138936 4288547520 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84518 82094 192 642 0 83874 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 338072 [startup+1798.3 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1285148/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=338220 CPUtime=1797.85 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82413 0 0 0 179558 227 0 0 25 0 1 0 12958307 346337280 82108 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84555 82108 192 642 0 83911 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 338220 [startup+1798.4 s] /proc/loadavg: 0.99 0.99 0.99 2/107 17419 /proc/meminfo: memFree=1284900/2059040 swapFree=4192956/4192956 [pid=17358] ppid=17356 vsize=338220 CPUtime=1797.96 /proc/17358/stat : 17358 (bsolo_pb10) R 17356 17358 17133 0 -1 4202496 82419 0 0 0 179569 227 0 0 25 0 1 0 12958307 346337280 82114 1992294400 134512640 137138936 4288547520 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17358/statm: 84555 82114 192 642 0 83911 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 338220 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798.04 CPU user time (s): 1795.73 CPU system time (s): 2.30465 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 338220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.74 system time used= 2.30465 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82420 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 23601 runsolver used 2.69359 second user time and 8.76367 second system time The end
Begin job on node057 at 2010-06-16 21:31:15 IDJOB=2671053 IDBENCH=48243 IDSOLVER=1162 FILE ID=node057/2671053-1276716675 PBS_JOBID= 11174144 Free space on /tmp= 62536 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671053-1276716675/watcher-2671053-1276716675 -o /tmp/evaluation-result-2671053-1276716675/solver-2671053-1276716675 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671053-1276716675.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=777916220 node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1615648 kB Buffers: 132856 kB Cached: 170740 kB SwapCached: 0 kB Active: 135008 kB Inactive: 227968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1615648 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4016 kB Writeback: 0 kB AnonPages: 59304 kB Mapped: 15468 kB Slab: 58560 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182428 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671053-1276716675.opb Free space on /tmp at the end= 62532 MiB End job on node057 at 2010-06-16 22:01:13