Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -13 | 1798.07 | 1798.5 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_4.opb |
MD5SUM | feead174159765db2806c13d35bd6cbe |
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 | 1800.04 |
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) | 6140 |
Sum of products size (including duplicates) | 12280 |
Number of different products | 3070 |
Sum of products size | 6140 |
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: Cardinality Constraint 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-1876854-1245210292.opb 0.00/0.00 c File size is 257506 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: 3270 Constr: 6442 3170/202/3070 Lit: 25160 Watch. Lit: 21892 0.00/0.04 c Obj. Vars: 100 (3.0581 % of total variables) 3.59/3.67 c Pre-processing Time: 3.67 s 3.59/3.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.67 c 0 3270 6442 25160 3 21892 83339 0 0 3.67 3.59/3.67 c Switching off lower bounding mode. 3.59/3.67 o -1 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 0 3270 6443 25260 3 21895 83406 1 0 3.67 3.59/3.68 o -2 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 5 3270 6450 25950 4 21912 83439 8 1 3.68 3.59/3.68 o -3 3.59/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.69 c 16 3270 6463 27261 4 21943 83472 21 4 3.69 3.59/3.69 o -4 3.69/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.70 c 30 3270 6479 28752 4 21982 83506 37 8 3.70 3.69/3.70 o -5 3.69/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.71 c 48 3270 6499 30700 4 22031 83539 57 12 3.71 3.69/3.71 o -6 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 77 3270 6530 32768 5 22104 83572 88 20 3.72 3.69/3.73 o -7 3.69/3.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.74 c 108 3270 6563 35185 5 22183 83606 121 28 3.73 3.69/3.74 o -8 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 129 3270 6586 37104 5 22244 83639 144 34 3.74 3.69/3.75 o -9 3.69/3.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.76 c 154 3270 6613 39112 5 22315 83672 171 41 3.75 3.69/3.76 o -10 3.89/3.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.91 c 194 3270 6655 41507 6 22418 83706 213 51 3.77 3.89/3.91 c 294 3270 6756 42933 6 22630 92077 314 77 3.78 3.89/3.91 o -11 13.79/13.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.79/13.84 c 464 3270 6927 50461 7 22983 83739 485 118 3.92 13.79/13.84 c 564 3270 7028 53184 7 23196 92113 586 143 3.94 13.79/13.84 c 814 3270 7280 65872 9 23700 101325 838 201 4.04 13.79/13.84 c 1289 3270 7771 96391 12 24746 111458 1329 308 4.18 13.79/13.84 c 2102 3270 8627 176754 20 26517 122604 2185 466 4.50 13.79/13.84 c 3422 3270 10021 319496 31 29407 134865 3579 668 5.12 13.79/13.84 c 5504 3270 12217 563652 46 33862 148352 5775 873 6.30 13.79/13.84 c 8727 3270 15677 952079 60 41119 163188 9235 1004 8.69 13.79/13.84 c 13663 3270 20958 1569586 74 52015 179507 14516 1029 13.28 13.79/13.84 o -12 34.58/34.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.58/34.62 c 14103 3270 21438 1622689 75 53105 83772 14996 1018 13.84 34.58/34.62 c 14203 3270 21542 1633424 75 53313 92150 15100 1016 13.97 34.58/34.62 c 14453 3270 21800 1657723 76 53841 101366 15358 1012 14.27 34.58/34.62 c 14928 3270 22311 1711871 76 54883 111503 15869 1004 14.86 34.58/34.62 c 15741 3270 23178 1802135 77 56755 122654 16736 983 16.00 34.58/34.62 c 17062 3270 24598 1957342 79 59758 134920 18156 969 17.60 34.58/34.62 c 19143 3270 26801 2198821 82 64212 148413 20359 909 21.06 34.58/34.62 c 22366 3270 30216 2568811 85 71310 163255 23774 839 26.64 34.58/34.62 o -13 1797.96/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.43 c 26422 3270 34541 3051409 88 80219 83806 28099 763 34.62 1797.96/1798.43 c 26522 3270 34649 3062582 88 80446 92187 28207 760 34.87 1797.96/1798.43 c 26772 3270 34912 3087035 88 81028 101406 28470 752 35.57 1797.96/1798.43 c 27247 3270 35412 3136379 88 82028 111547 28970 741 36.75 1797.96/1798.43 c 28060 3270 36273 3223901 88 83752 122702 29831 724 38.75 1797.96/1798.43 c 29380 3270 37678 3368063 89 86608 134973 31236 701 41.88 1797.96/1798.43 c 31461 3270 39920 3609401 90 91262 148471 33478 657 47.83 1797.96/1798.43 c 34684 3270 43430 3992897 91 98527 163319 36988 607 57.10 1797.96/1798.43 c 39621 3270 48676 4554754 93 109066 179651 42234 569 69.60 1797.96/1798.43 c 47127 3270 56636 5394820 95 125160 197617 50194 544 86.56 1797.96/1798.43 c 58489 3270 68858 6766122 98 150018 217379 62416 441 132.40 1797.96/1798.43 c 75633 3270 87592 8937609 102 188181 239117 81150 322 234.18 1797.96/1798.43 c 101452 3270 115730 12219044 105 245262 263029 109288 249 406.65 1797.96/1798.43 c 140284 3270 157839 17021552 107 331418 289332 151397 197 710.56 1797.96/1798.43 c 198637 3270 221621 24339081 109 460725 318266 215179 141 1399.36 1797.96/1798.43 c Resources Exceeded 1797.96/1798.43 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 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -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.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.43 c 43 226285 50324 317357 252099 27954432 245657 125 1798.00 1797.96/1798.43 c Objective: -13 1797.96/1798.43 s SATISFIABLE 1797.96/1798.43 c Total time: 1798 s
OK -13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876854-1245210292/watcher-1876854-1245210292 -o /tmp/evaluation-result-1876854-1245210292/solver-1876854-1245210292 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876854-1245210292.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.99 0.98 0.99 3/64 3501 /proc/meminfo: memFree=1753956/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=18784 CPUtime=0 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 188630244 19234816 246 1992294400 134512640 137136520 4294956256 18446744073709551615 134534714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 4696 246 174 640 0 3989 0 [startup+0.0505211 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3501 /proc/meminfo: memFree=1753956/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=12524 CPUtime=0.04 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 770 0 0 0 4 0 0 0 18 0 1 0 188630244 12824576 691 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 3131 691 189 640 0 2487 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12524 [startup+0.101524 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3501 /proc/meminfo: memFree=1753956/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=12524 CPUtime=0.09 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 770 0 0 0 9 0 0 0 18 0 1 0 188630244 12824576 691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 3131 691 189 640 0 2487 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12524 [startup+0.301541 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3501 /proc/meminfo: memFree=1753956/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=12524 CPUtime=0.29 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 771 0 0 0 29 0 0 0 19 0 1 0 188630244 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 3131 692 189 640 0 2487 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12524 [startup+0.701573 s] /proc/loadavg: 0.99 0.98 0.99 3/64 3501 /proc/meminfo: memFree=1753956/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=12524 CPUtime=0.69 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 771 0 0 0 69 0 0 0 23 0 1 0 188630244 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 3131 692 189 640 0 2487 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12524 [startup+1.50164 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1751912/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=12524 CPUtime=1.49 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 771 0 0 0 149 0 0 0 25 0 1 0 188630244 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 3131 692 189 640 0 2487 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12524 [startup+3.10177 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1751784/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=12524 CPUtime=3.09 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 771 0 0 0 309 0 0 0 25 0 1 0 188630244 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 3131 692 189 640 0 2487 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12524 [startup+6.30103 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1746600/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=20052 CPUtime=6.29 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 2737 0 0 0 625 4 0 0 25 0 1 0 188630244 20533248 2593 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 5013 2593 198 640 0 4369 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20052 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1732200/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=32876 CPUtime=12.68 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 5943 0 0 0 1262 6 0 0 25 0 1 0 188630244 33665024 5799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 8219 5799 198 640 0 7575 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32876 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1717608/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=46748 CPUtime=25.48 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 9409 0 0 0 2538 10 0 0 25 0 1 0 188630244 47869952 9265 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 11688 9265 198 640 0 11044 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46748 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1700264/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=64152 CPUtime=51.08 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 13767 0 0 0 5093 15 0 0 25 0 1 0 188630244 65691648 13623 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 16038 13623 198 640 0 15394 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64152 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1670440/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=93548 CPUtime=102.27 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 21107 0 0 0 10200 27 0 0 25 0 1 0 188630244 95793152 20963 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 23387 20963 198 640 0 22743 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 93548 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1648872/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=115240 CPUtime=162.25 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 26538 0 0 0 16189 36 0 0 25 0 1 0 188630244 118005760 26394 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 28810 26394 198 640 0 28166 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 115240 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1631400/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=132468 CPUtime=222.24 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 30854 0 0 0 22181 43 0 0 25 0 1 0 188630244 135647232 30710 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 33117 30710 198 640 0 32473 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 132468 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1615848/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=148156 CPUtime=282.23 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 34764 0 0 0 28174 49 0 0 25 0 1 0 188630244 151711744 34620 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 37039 34620 198 640 0 36395 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 148156 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3502 /proc/meminfo: memFree=1601768/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=162024 CPUtime=342.22 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 38243 0 0 0 34167 55 0 0 25 0 1 0 188630244 165912576 38099 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 40506 38099 198 640 0 39862 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 162024 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3504 /proc/meminfo: memFree=1584744/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=179240 CPUtime=402.19 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 42536 0 0 0 40158 61 0 0 25 0 1 0 188630244 183541760 42392 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 44810 42392 198 640 0 44166 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 179240 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3504 /proc/meminfo: memFree=1569640/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=194116 CPUtime=462.18 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 46257 0 0 0 46150 68 0 0 25 0 1 0 188630244 198774784 46113 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 48529 46113 198 640 0 47885 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 194116 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3504 /proc/meminfo: memFree=1556200/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=207748 CPUtime=522.17 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 49653 0 0 0 52144 73 0 0 25 0 1 0 188630244 212733952 49509 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 51937 49509 198 640 0 51293 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 207748 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3504 /proc/meminfo: memFree=1544424/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=219292 CPUtime=582.16 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 52538 0 0 0 58139 77 0 0 25 0 1 0 188630244 224555008 52394 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 54823 52394 198 640 0 54179 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 219292 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3504 /proc/meminfo: memFree=1531944/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=231672 CPUtime=642.14 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 55637 0 0 0 64132 82 0 0 25 0 1 0 188630244 237232128 55493 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 57918 55493 198 640 0 57274 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 231672 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1459496/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=303868 CPUtime=1122.02 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 73703 0 0 0 112089 113 0 0 25 0 1 0 188630244 311160832 73559 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 75967 73559 198 640 0 75323 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 303868 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1451496/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=312000 CPUtime=1182.01 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 75722 0 0 0 118084 117 0 0 25 0 1 0 188630244 319488000 75578 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 78000 75578 198 640 0 77356 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 312000 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1442024/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=321392 CPUtime=1241.99 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 78063 0 0 0 124079 120 0 0 25 0 1 0 188630244 329105408 77919 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 80348 77919 198 640 0 79704 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 321392 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1431592/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=331592 CPUtime=1301.98 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 80627 0 0 0 130073 125 0 0 25 0 1 0 188630244 339550208 80483 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 82898 80483 198 640 0 82254 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 331592 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1421864/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=341344 CPUtime=1361.96 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 83068 0 0 0 136068 128 0 0 25 0 1 0 188630244 349536256 82924 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 85336 82924 198 640 0 84692 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 341344 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1411944/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=351156 CPUtime=1421.96 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 85520 0 0 0 142064 132 0 0 25 0 1 0 188630244 359583744 85376 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 87789 85376 198 640 0 87145 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 351156 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1402024/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=361204 CPUtime=1481.94 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 88024 0 0 0 148059 135 0 0 25 0 1 0 188630244 369872896 87880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 90301 87880 198 640 0 89657 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 361204 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1392488/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=370636 CPUtime=1541.92 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 90377 0 0 0 154053 139 0 0 25 0 1 0 188630244 379531264 90233 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 92659 90233 198 640 0 92015 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 370636 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1384168/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=378944 CPUtime=1601.91 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 92472 0 0 0 160048 143 0 0 25 0 1 0 188630244 388038656 92328 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 94736 92328 198 640 0 94092 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 378944 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1379112/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=384008 CPUtime=1661.89 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 93715 0 0 0 166044 145 0 0 25 0 1 0 188630244 393224192 93571 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 96002 93571 198 640 0 95358 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 384008 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1373608/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=389468 CPUtime=1721.88 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 95097 0 0 0 172040 148 0 0 25 0 1 0 188630244 398815232 94953 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 97367 94953 198 640 0 96723 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 389468 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1367464/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=395592 CPUtime=1781.86 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96614 0 0 0 178037 149 0 0 25 0 1 0 188630244 405086208 96470 1992294400 134512640 137136520 4294956256 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 98898 96470 198 640 0 98254 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 395592 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 3510 /proc/meminfo: memFree=1366568/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=396372 CPUtime=1791.47 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96827 0 0 0 178997 150 0 0 25 0 1 0 188630244 405884928 96683 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99093 96683 198 640 0 98449 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 396372 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1366248/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=396704 CPUtime=1794.67 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96904 0 0 0 179317 150 0 0 25 0 1 0 188630244 406224896 96760 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99176 96760 198 640 0 98532 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 396704 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1366120/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=396832 CPUtime=1796.26 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96946 0 0 0 179476 150 0 0 25 0 1 0 188630244 406355968 96802 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99208 96802 198 640 0 98564 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 396832 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1365992/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=396936 CPUtime=1797.06 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96969 0 0 0 179556 150 0 0 25 0 1 0 188630244 406462464 96825 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99234 96825 198 640 0 98590 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 396936 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1365992/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=397036 CPUtime=1797.46 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96973 0 0 0 179596 150 0 0 25 0 1 0 188630244 406564864 96829 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99259 96829 198 640 0 98615 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 397036 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1365992/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=397036 CPUtime=1797.86 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96982 0 0 0 179636 150 0 0 25 0 1 0 188630244 406564864 96838 1992294400 134512640 137136520 4294956256 18446744073709551615 136502027 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99259 96838 198 640 0 98615 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 397036 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3510 /proc/meminfo: memFree=1365928/2055920 swapFree=4191900/4192956 [pid=3501] ppid=3499 vsize=397036 CPUtime=1797.96 /proc/3501/stat : 3501 (bsolo) R 3499 3501 3429 0 -1 4194304 96989 0 0 0 179646 150 0 0 25 0 1 0 188630244 406564864 96845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3501/statm: 99259 96845 198 640 0 98615 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 397036 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798.07 CPU user time (s): 1796.5 CPU system time (s): 1.57076 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 397036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.5 system time used= 1.57076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96991 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= 1720 runsolver used 1.35179 second user time and 3.9654 second system time The end
Begin job on node3 at 2009-06-17 05:44:52 IDJOB=1876854 IDBENCH=48264 IDSOLVER=699 FILE ID=node3/1876854-1245210292 PBS_JOBID= 9368415 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876854-1245210292/watcher-1876854-1245210292 -o /tmp/evaluation-result-1876854-1245210292/solver-1876854-1245210292 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876854-1245210292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= feead174159765db2806c13d35bd6cbe RANDOM SEED=1447719887 node3.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.236 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.236 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: 1754640 kB Buffers: 57128 kB Cached: 156676 kB SwapCached: 260 kB Active: 71136 kB Inactive: 155876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1754640 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 21736 kB Slab: 60332 kB Committed_AS: 165116 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-1876854-1245210292.opb Free space on /tmp at the end= 66316 MiB End job on node3 at 2009-06-17 06:14:51