Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -13 | 1798.08 | 1808.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb |
MD5SUM | 1a8c058c181490cb899ec7074b22bfb3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1798.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6124 |
Sum of products size (including duplicates) | 12248 |
Number of different products | 3062 |
Sum of products size | 6124 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: 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-1876827-1245206737.opb 0.00/0.00 c File size is 256864 bytes. 0.01/0.04 c Highest Coefficient sum: 200 0.01/0.04 c Parsing was ok!! 0.01/0.04 c Total parsing time: 0.036 s 0.01/0.04 c Var: 3262 Constr: 6426 3162/202/3062 Lit: 25096 Watch. Lit: 21836 0.01/0.04 c Obj. Vars: 100 (3.0656 % of total variables) 3.57/3.68 c Pre-processing Time: 3.66 s 3.57/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.57/3.68 c 0 3262 6426 25096 3 21836 82850 0 0 3.66 3.57/3.68 c Switching off lower bounding mode. 3.57/3.69 o -1 3.57/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.57/3.69 c 0 3262 6427 25196 3 21839 82916 1 0 3.67 3.57/3.69 o -2 3.57/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.57/3.70 c 1 3262 6430 25496 3 21848 82950 4 0 3.67 3.57/3.70 o -3 3.67/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.70 c 5 3262 6436 25837 4 21865 82983 10 1 3.67 3.67/3.70 o -4 3.67/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.71 c 7 3262 6439 26137 4 21875 83016 13 1 3.68 3.67/3.71 o -5 3.67/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.71 c 10 3262 6444 26661 4 21894 83050 18 2 3.69 3.67/3.71 o -6 3.67/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.72 c 18 3262 6454 27414 4 21925 83083 28 4 3.69 3.67/3.72 o -7 3.67/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.73 c 29 3262 6467 28353 4 21964 83116 41 7 3.70 3.67/3.73 o -8 3.67/3.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.74 c 46 3262 6486 29756 4 22017 83150 60 12 3.71 3.67/3.74 o -9 3.67/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.67/3.75 c 64 3262 6506 31501 4 22074 83183 80 17 3.72 3.67/3.75 o -10 4.75/4.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.75/4.83 c 104 3262 6548 33570 5 22177 83216 122 27 3.73 4.75/4.83 c 204 3262 6649 34492 5 22389 91538 223 54 3.75 4.75/4.83 c 454 3262 6902 59004 8 22895 100692 476 118 3.83 4.75/4.83 c 929 3262 7384 105541 14 23859 110762 958 233 3.98 4.75/4.83 c 1742 3262 8197 184609 22 25485 121839 1771 398 4.37 4.75/4.83 o -11 5.95/6.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.95/6.01 c 2683 3262 9141 269712 29 27384 83250 2715 559 4.80 5.95/6.01 c 2783 3262 9242 271168 29 27597 91576 2816 577 4.82 5.95/6.01 c 3033 3262 9496 295282 31 28105 100734 3070 616 4.92 5.95/6.01 c 3508 3262 9979 341990 34 29071 110808 3553 681 5.15 5.95/6.01 c 4321 3262 10794 420479 38 30701 121889 4368 778 5.55 5.95/6.01 o -12 21.09/21.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.09/21.37 c 5203 3262 11690 494260 42 32505 83283 5264 871 5.97 21.09/21.37 c 5303 3262 11792 497160 42 32721 91612 5366 881 6.02 21.09/21.37 c 5553 3262 12048 518410 43 33233 100774 5622 899 6.18 21.09/21.37 c 6028 3262 12539 551004 43 34215 110852 6113 939 6.41 21.09/21.37 c 6841 3262 13385 614951 45 35931 121938 6959 1002 6.82 21.09/21.37 c 8161 3262 14784 748883 50 38774 134132 8358 1081 7.54 21.09/21.37 c 10243 3262 16984 978273 57 43217 147546 10558 1155 8.86 21.09/21.37 c 13466 3262 20400 1358439 66 50177 162301 13974 1168 11.53 21.09/21.37 c 18402 3262 25645 1921894 74 60949 178532 19219 1163 15.81 21.09/21.37 o -13 1797.95/1808.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1808.65 c 22472 3262 30032 2410171 80 69964 83316 23606 1061 21.18 1797.95/1808.65 c 22572 3262 30145 2424136 80 70190 91648 23719 1056 21.36 1797.95/1808.65 c 22822 3262 30410 2451984 80 70720 100813 23984 1046 21.82 1797.95/1808.65 c 23297 3262 30915 2507403 81 71791 110895 24489 1035 22.51 1797.95/1808.65 c 24111 3262 31770 2600983 81 73501 121985 25344 1015 23.74 1797.95/1808.65 c 25431 3262 33178 2752602 82 76356 134184 26752 979 25.97 1797.95/1808.65 c 27512 3262 35462 3006127 84 81054 147603 29036 903 30.44 1797.95/1808.65 c 30735 3262 38914 3380747 86 88063 162364 32488 838 36.67 1797.95/1808.65 c 35671 3262 44159 3934793 89 98677 178601 37733 777 45.88 1797.95/1808.65 c 43177 3262 52276 4834344 92 115098 196462 45850 678 63.59 1797.95/1808.65 c 54538 3262 64382 6166443 95 139612 216109 57956 591 92.19 1797.95/1808.65 c 71682 3262 82913 8269545 99 177240 237720 76487 433 165.18 1797.95/1808.65 c 97501 3262 111199 11605016 104 235234 261493 104773 287 339.68 1797.95/1808.65 c 136333 3262 153448 16559525 107 320940 287643 147022 206 660.17 1797.95/1808.65 c 194685 3262 217711 24312942 111 451320 316408 211285 151 1288.58 1797.95/1808.65 c Resources Exceeded 1797.95/1808.65 v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 -x200 1797.95/1808.65 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1808.65 c 43 230676 50717 323341 256505 28716965 250079 128 1798.01 1797.95/1808.65 c Objective: -13 1797.95/1808.65 s SATISFIABLE 1797.95/1808.65 c Total time: 1798.01 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-1876827-1245206737/watcher-1876827-1245206737 -o /tmp/evaluation-result-1876827-1245206737/solver-1876827-1245206737 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876827-1245206737.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.88 1.74 1.54 3/72 6701 /proc/meminfo: memFree=1579216/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=18780 CPUtime=0 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 241 0 0 0 0 0 0 0 20 0 1 0 188269574 19230720 225 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 4695 225 171 640 0 3988 0 [startup+0.01658 s] /proc/loadavg: 1.88 1.74 1.54 3/72 6701 /proc/meminfo: memFree=1579216/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=11244 CPUtime=0.01 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 334 0 0 0 1 0 0 0 20 0 1 0 188269574 11513856 318 1992294400 134512640 137136520 4294956256 18446744073709551615 134538970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 2811 319 190 640 0 2104 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11244 [startup+0.101591 s] /proc/loadavg: 1.88 1.74 1.54 3/72 6701 /proc/meminfo: memFree=1579216/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=12528 CPUtime=0.09 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 768 0 0 0 9 0 0 0 20 0 1 0 188269574 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12528 [startup+0.301629 s] /proc/loadavg: 1.88 1.74 1.54 3/72 6701 /proc/meminfo: memFree=1579216/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=12528 CPUtime=0.29 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 768 0 0 0 29 0 0 0 21 0 1 0 188269574 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12528 [startup+0.701693 s] /proc/loadavg: 1.88 1.74 1.54 3/72 6701 /proc/meminfo: memFree=1579216/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=12528 CPUtime=0.69 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 768 0 0 0 69 0 0 0 25 0 1 0 188269574 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12528 [startup+1.50183 s] /proc/loadavg: 1.88 1.74 1.54 2/73 6702 /proc/meminfo: memFree=1577160/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=12528 CPUtime=1.49 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 768 0 0 0 149 0 0 0 25 0 1 0 188269574 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 134545156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12528 [startup+3.10129 s] /proc/loadavg: 1.89 1.74 1.54 2/73 6702 /proc/meminfo: memFree=1576968/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=12528 CPUtime=3.09 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 768 0 0 0 309 0 0 0 25 0 1 0 188269574 12828672 689 1992294400 134512640 137136520 4294956256 18446744073709551615 136502027 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 3132 689 189 640 0 2488 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12528 [startup+6.30184 s] /proc/loadavg: 1.89 1.74 1.54 2/73 6702 /proc/meminfo: memFree=1571720/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=19568 CPUtime=6.25 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 2618 0 0 0 620 5 0 0 25 0 1 0 188269574 20037632 2477 1992294400 134512640 137136520 4294956256 18446744073709551615 134576203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 4892 2477 197 640 0 4248 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 19568 [startup+12.7019 s] /proc/loadavg: 1.83 1.73 1.54 4/73 6702 /proc/meminfo: memFree=1557384/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=33008 CPUtime=12.58 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 5964 0 0 0 1250 8 0 0 25 0 1 0 188269574 33800192 5823 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 8252 5823 198 640 0 7608 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 33008 [startup+25.5011 s] /proc/loadavg: 1.70 1.71 1.54 2/73 6702 /proc/meminfo: memFree=1539912/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=49672 CPUtime=25.23 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 10144 0 0 0 2507 16 0 0 25 0 1 0 188269574 50864128 10003 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 12418 10003 198 640 0 11774 0 Current children cumulated CPU time (s) 25.23 Current children cumulated vsize (KiB) 49672 [startup+51.1015 s] /proc/loadavg: 1.73 1.72 1.54 2/73 6702 /proc/meminfo: memFree=1518664/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=71240 CPUtime=50.5 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 15532 0 0 0 5023 27 0 0 25 0 1 0 188269574 72949760 15391 1992294400 134512640 137136520 4294956256 18446744073709551615 134554012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 17810 15391 198 640 0 17166 0 Current children cumulated CPU time (s) 50.5 Current children cumulated vsize (KiB) 71240 [startup+102.306 s] /proc/loadavg: 1.61 1.67 1.54 3/73 6702 /proc/meminfo: memFree=1486536/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=102872 CPUtime=101.23 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 23432 0 0 0 10080 43 0 0 25 0 1 0 188269574 105340928 23291 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 25718 23291 198 640 0 25074 0 Current children cumulated CPU time (s) 101.23 Current children cumulated vsize (KiB) 102872 [startup+162.301 s] /proc/loadavg: 1.89 1.73 1.56 2/73 6702 /proc/meminfo: memFree=1464520/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=124828 CPUtime=160.62 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 28927 0 0 0 16006 56 0 0 25 0 1 0 188269574 127823872 28786 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 31207 28786 198 640 0 30563 0 Current children cumulated CPU time (s) 160.62 Current children cumulated vsize (KiB) 124828 [startup+222.303 s] /proc/loadavg: 1.72 1.69 1.56 3/73 6702 /proc/meminfo: memFree=1446728/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=142476 CPUtime=219.98 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 33351 0 0 0 21928 70 0 0 25 0 1 0 188269574 145895424 33210 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 35619 33210 198 640 0 34975 0 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (KiB) 142476 [startup+282.302 s] /proc/loadavg: 1.80 1.72 1.57 3/73 6702 /proc/meminfo: memFree=1430984/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=158372 CPUtime=279.83 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 37319 0 0 0 27905 78 0 0 25 0 1 0 188269574 162172928 37178 1992294400 134512640 137136520 4294956256 18446744073709551615 136499623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 39593 37178 198 640 0 38949 0 Current children cumulated CPU time (s) 279.83 Current children cumulated vsize (KiB) 158372 [startup+342.301 s] /proc/loadavg: 1.83 1.73 1.58 4/73 6702 /proc/meminfo: memFree=1417032/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=172148 CPUtime=339.37 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 40766 0 0 0 33849 88 0 0 25 0 1 0 188269574 176279552 40625 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 43037 40625 198 640 0 42393 0 Current children cumulated CPU time (s) 339.37 Current children cumulated vsize (KiB) 172148 [startup+402.301 s] /proc/loadavg: 1.65 1.70 1.58 2/73 6704 /proc/meminfo: memFree=1404352/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=184668 CPUtime=398.8 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 43902 0 0 0 39779 101 0 0 25 0 1 0 188269574 189100032 43761 1992294400 134512640 137136520 4294956256 18446744073709551615 136502019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 46167 43761 198 640 0 45523 0 Current children cumulated CPU time (s) 398.8 Current children cumulated vsize (KiB) 184668 [startup+462.302 s] /proc/loadavg: 1.53 1.66 1.57 2/73 6704 /proc/meminfo: memFree=1390664/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=198364 CPUtime=458.78 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 47319 0 0 0 45769 109 0 0 25 0 1 0 188269574 203124736 47178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 49591 47178 198 640 0 48947 0 Current children cumulated CPU time (s) 458.78 Current children cumulated vsize (KiB) 198364 [startup+522.31 s] /proc/loadavg: 1.57 1.66 1.57 2/73 6704 /proc/meminfo: memFree=1377288/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=211872 CPUtime=518.77 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 50678 0 0 0 51763 114 0 0 25 0 1 0 188269574 216956928 50537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 52968 50537 198 640 0 52324 0 Current children cumulated CPU time (s) 518.77 Current children cumulated vsize (KiB) 211872 [startup+582.305 s] /proc/loadavg: 1.40 1.60 1.55 4/73 6704 /proc/meminfo: memFree=1364104/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=224852 CPUtime=578.74 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 53935 0 0 0 57755 119 0 0 25 0 1 0 188269574 230248448 53794 1992294400 134512640 137136520 4294956256 18446744073709551615 136501957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 56213 53794 198 640 0 55569 0 Current children cumulated CPU time (s) 578.74 Current children cumulated vsize (KiB) 224852 [startup+642.308 s] /proc/loadavg: 1.74 1.68 1.58 4/73 6704 /proc/meminfo: memFree=1352456/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=236404 CPUtime=638.72 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 56824 0 0 0 63747 125 0 0 25 0 1 0 188269574 242077696 56683 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 59101 56683 198 640 0 58457 0 Current children cumulated CPU time (s) 638.72 Current children cumulated vsize (KiB) 236404 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1269448/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=319388 CPUtime=1115.5 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 77562 0 0 0 111351 199 0 0 25 0 1 0 188269574 327053312 77421 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 79847 77421 198 640 0 79203 0 Current children cumulated CPU time (s) 1115.5 Current children cumulated vsize (KiB) 319388 [startup+1182.3 s] /proc/loadavg: 1.66 1.57 1.54 4/73 6710 /proc/meminfo: memFree=1260040/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=328848 CPUtime=1175.25 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 79930 0 0 0 117318 207 0 0 25 0 1 0 188269574 336740352 79789 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 82212 79789 198 640 0 81568 0 Current children cumulated CPU time (s) 1175.25 Current children cumulated vsize (KiB) 328848 [startup+1242.31 s] /proc/loadavg: 1.56 1.54 1.54 2/73 6710 /proc/meminfo: memFree=1250312/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=338408 CPUtime=1235.05 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 82330 0 0 0 123291 214 0 0 25 0 1 0 188269574 346529792 82189 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 84602 82189 198 640 0 83958 0 Current children cumulated CPU time (s) 1235.05 Current children cumulated vsize (KiB) 338408 [startup+1302.3 s] /proc/loadavg: 1.86 1.63 1.56 2/73 6710 /proc/meminfo: memFree=1241416/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=347312 CPUtime=1294.57 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 84537 0 0 0 129237 220 0 0 25 0 1 0 188269574 355647488 84396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6701/statm: 86828 84396 198 640 0 86184 0 Current children cumulated CPU time (s) 1294.57 Current children cumulated vsize (KiB) 347312 [startup+1362.3 s] /proc/loadavg: 1.95 1.68 1.58 2/73 6710 /proc/meminfo: memFree=1233736/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=355060 CPUtime=1353.91 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 86491 0 0 0 135164 227 0 0 25 0 1 0 188269574 363581440 86350 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 88765 86350 198 640 0 88121 0 Current children cumulated CPU time (s) 1353.91 Current children cumulated vsize (KiB) 355060 [startup+1422.31 s] /proc/loadavg: 1.68 1.63 1.57 2/73 6710 /proc/meminfo: memFree=1226568/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=362052 CPUtime=1413.17 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 88222 0 0 0 141078 239 0 0 25 0 1 0 188269574 370741248 88081 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6701/statm: 90513 88081 198 640 0 89869 0 Current children cumulated CPU time (s) 1413.17 Current children cumulated vsize (KiB) 362052 [startup+1482.3 s] /proc/loadavg: 1.61 1.63 1.57 3/73 6710 /proc/meminfo: memFree=1220616/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=368136 CPUtime=1472.62 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 89746 0 0 0 147014 248 0 0 25 0 1 0 188269574 376971264 89605 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 92034 89605 198 640 0 91390 0 Current children cumulated CPU time (s) 1472.62 Current children cumulated vsize (KiB) 368136 [startup+1542.3 s] /proc/loadavg: 1.41 1.58 1.55 4/73 6710 /proc/meminfo: memFree=1214600/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=374140 CPUtime=1532.33 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 91244 0 0 0 152981 252 0 0 25 0 1 0 188269574 383119360 91103 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 93535 91103 198 640 0 92891 0 Current children cumulated CPU time (s) 1532.33 Current children cumulated vsize (KiB) 374140 [startup+1602.31 s] /proc/loadavg: 1.49 1.57 1.55 4/73 6710 /proc/meminfo: memFree=1208136/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=380616 CPUtime=1592.31 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 92864 0 0 0 158975 256 0 0 25 0 1 0 188269574 389750784 92723 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 95154 92723 198 640 0 94510 0 Current children cumulated CPU time (s) 1592.31 Current children cumulated vsize (KiB) 380616 [startup+1662.3 s] /proc/loadavg: 1.65 1.61 1.56 3/73 6710 /proc/meminfo: memFree=1201544/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=387036 CPUtime=1652.2 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 94492 0 0 0 164960 260 0 0 25 0 1 0 188269574 396324864 94351 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 96759 94351 198 640 0 96115 0 Current children cumulated CPU time (s) 1652.2 Current children cumulated vsize (KiB) 387036 [startup+1722.3 s] /proc/loadavg: 1.70 1.64 1.57 2/73 6710 /proc/meminfo: memFree=1193544/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=395060 CPUtime=1712.18 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 96494 0 0 0 170954 264 0 0 25 0 1 0 188269574 404541440 96353 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 98765 96353 198 640 0 98121 0 Current children cumulated CPU time (s) 1712.18 Current children cumulated vsize (KiB) 395060 [startup+1782.3 s] /proc/loadavg: 2.06 1.73 1.60 3/73 6710 /proc/meminfo: memFree=1184968/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=403460 CPUtime=1771.66 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 98589 0 0 0 176892 274 0 0 25 0 1 0 188269574 413143040 98448 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 100865 98448 198 640 0 100221 0 Current children cumulated CPU time (s) 1771.66 Current children cumulated vsize (KiB) 403460 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.90 1.71 1.59 2/73 6710 /proc/meminfo: memFree=1183624/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=404816 CPUtime=1781.26 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 98925 0 0 0 177851 275 0 0 25 0 1 0 188269574 414531584 98784 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 101204 98784 198 640 0 100560 0 Current children cumulated CPU time (s) 1781.26 Current children cumulated vsize (KiB) 404816 [startup+1798.3 s] /proc/loadavg: 1.91 1.71 1.60 2/73 6710 /proc/meminfo: memFree=1182792/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=405808 CPUtime=1787.65 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 99162 0 0 0 178490 275 0 0 25 0 1 0 188269574 415547392 99021 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 101452 99021 198 640 0 100808 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (KiB) 405808 [startup+1804.7 s] /proc/loadavg: 1.83 1.70 1.59 3/73 6710 /proc/meminfo: memFree=1181832/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=406620 CPUtime=1794.04 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 99387 0 0 0 179129 275 0 0 25 0 1 0 188269574 416378880 99246 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 101655 99246 198 640 0 101011 0 Current children cumulated CPU time (s) 1794.04 Current children cumulated vsize (KiB) 406620 [startup+1806.31 s] /proc/loadavg: 1.83 1.70 1.59 2/73 6710 /proc/meminfo: memFree=1181512/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=406936 CPUtime=1795.66 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 99445 0 0 0 179291 275 0 0 25 0 1 0 188269574 416702464 99304 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 101734 99304 198 640 0 101090 0 Current children cumulated CPU time (s) 1795.66 Current children cumulated vsize (KiB) 406936 [startup+1807.9 s] /proc/loadavg: 2.01 1.74 1.61 2/73 6710 /proc/meminfo: memFree=1181384/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=407056 CPUtime=1797.25 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 99499 0 0 0 179449 276 0 0 25 0 1 0 188269574 416825344 99358 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 101764 99358 198 640 0 101120 0 Current children cumulated CPU time (s) 1797.25 Current children cumulated vsize (KiB) 407056 [startup+1808.3 s] /proc/loadavg: 2.01 1.74 1.61 4/73 6710 /proc/meminfo: memFree=1181192/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=407184 CPUtime=1797.66 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194304 99515 0 0 0 179490 276 0 0 25 0 1 0 188269574 416956416 99374 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 101796 99374 198 640 0 101152 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 407184 [startup+1808.7 s] /proc/loadavg: 2.01 1.74 1.61 4/73 6710 /proc/meminfo: memFree=1181192/2055920 swapFree=4183272/4192956 [pid=6701] ppid=6699 vsize=0 CPUtime=1798.05 /proc/6701/stat : 6701 (bsolo) R 6699 6701 6617 0 -1 4194308 99528 0 0 0 179525 280 0 0 25 0 1 0 188269574 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6701/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1808.72 CPU time (s): 1798.08 CPU user time (s): 1795.25 CPU system time (s): 2.82657 CPU usage (%): 99.4115 Max. virtual memory (cumulated for all children) (KiB): 407184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.25 system time used= 2.82657 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99528 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= 31961 runsolver used 2.21266 second user time and 5.83211 second system time The end
Begin job on node55 at 2009-06-17 04:45:37 IDJOB=1876827 IDBENCH=48237 IDSOLVER=699 FILE ID=node55/1876827-1245206737 PBS_JOBID= 9368377 Free space on /tmp= 66476 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876827-1245206737/watcher-1876827-1245206737 -o /tmp/evaluation-result-1876827-1245206737/solver-1876827-1245206737 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876827-1245206737.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED=464354002 node55.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.283 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.283 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: 1579888 kB Buffers: 65324 kB Cached: 318336 kB SwapCached: 4348 kB Active: 38112 kB Inactive: 370568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1579888 kB SwapTotal: 4192956 kB SwapFree: 4183272 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 32832 kB Slab: 52404 kB Committed_AS: 615056 kB PageTables: 2036 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-1876827-1245206737.opb Free space on /tmp at the end= 66472 MiB End job on node55 at 2009-06-17 05:15:46