Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -13 | 1798.08 | 1805.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1801.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c bsolo beta version 3.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-1876833-1245207775.opb 0.00/0.00 c File size is 254876 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.033 s 0.00/0.03 c Var: 3238 Constr: 6378 3138/202/3038 Lit: 24904 Watch. Lit: 21668 0.00/0.03 c Obj. Vars: 100 (3.08833 % of total variables) 3.36/3.49 c Pre-processing Time: 3.462 s 3.36/3.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.36/3.49 c 0 3238 6378 24904 3 21668 81922 0 0 3.46 3.36/3.49 c Switching off lower bounding mode. 3.36/3.49 o -1 3.46/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.50 c 0 3238 6379 25004 3 21671 81988 1 0 3.47 3.46/3.50 o -2 3.46/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.50 c 1 3238 6382 25304 3 21680 82022 4 0 3.47 3.46/3.50 o -3 3.46/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.51 c 2 3238 6385 25636 4 21691 82055 7 0 3.48 3.46/3.51 o -4 3.46/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.51 c 4 3238 6389 25983 4 21706 82088 11 1 3.48 3.46/3.51 o -5 3.46/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.52 c 16 3238 6403 27367 4 21743 82122 25 4 3.49 3.46/3.52 o -6 3.46/3.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.53 c 28 3238 6417 28584 4 21782 82155 39 8 3.49 3.46/3.53 o -7 3.46/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.54 c 48 3238 6439 30175 4 21839 82188 61 13 3.50 3.46/3.54 o -8 3.46/3.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.46/3.57 c 81 3238 6474 31884 4 21924 82222 96 23 3.52 3.46/3.57 o -9 4.16/4.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.16/4.21 c 156 3238 6551 38187 5 22095 82255 173 44 3.54 4.16/4.21 c 256 3238 6652 43495 6 22306 90481 274 71 3.56 4.16/4.21 c 506 3238 6906 68012 9 22814 99530 528 138 3.65 4.16/4.21 c 981 3238 7389 114647 15 23780 109484 1011 255 3.83 4.16/4.21 o -10 4.16/4.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.16/4.23 c 1692 3238 8103 177522 21 25218 82288 1725 404 4.18 4.16/4.23 o -11 5.13/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.13/5.25 c 1748 3238 8161 179991 22 25355 82322 1783 416 4.20 5.13/5.25 c 1848 3238 8262 180984 21 25568 90555 1884 437 4.22 5.13/5.25 c 2098 3238 8516 205697 24 26076 99611 2138 488 4.30 5.13/5.25 c 2573 3238 8997 251448 27 27038 109573 2619 575 4.47 5.13/5.25 c 3386 3238 9815 330118 33 28674 120531 3437 706 4.79 5.13/5.25 o -12 31.44/31.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.44/31.78 c 4362 3238 10804 409147 37 30664 82355 4426 841 5.18 31.44/31.78 c 4462 3238 10907 412198 37 30889 90591 4529 851 5.24 31.44/31.78 c 4712 3238 11162 436423 39 31399 99651 4784 879 5.36 31.44/31.78 c 5187 3238 11646 482474 41 32367 109617 5268 924 5.61 31.44/31.78 c 6000 3238 12465 555181 44 34005 120579 6087 993 6.04 31.44/31.78 c 7321 3238 13837 666394 48 36752 132637 7459 1103 6.64 31.44/31.78 c 9402 3238 16044 889427 55 41250 145901 9666 1186 7.92 31.44/31.78 c 12625 3238 19479 1260335 64 48250 160492 13101 1225 10.30 31.44/31.78 c 17561 3238 24726 1827136 73 58874 176542 18348 1208 14.53 31.44/31.78 c 25068 3238 32850 2777907 84 75934 194197 26472 995 25.17 31.44/31.78 o -13 1797.98/1805.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1805.72 c 28643 3238 36651 3185203 86 83763 82388 30273 908 31.54 1797.98/1805.72 c 28744 3238 36757 3197044 86 83975 90627 30379 906 31.70 1797.98/1805.72 c 28995 3238 37024 3224925 87 84522 99690 30646 901 32.16 1797.98/1805.72 c 29470 3238 37523 3276929 87 85543 109660 31145 896 32.86 1797.98/1805.72 c 30283 3238 38378 3369186 87 87253 120627 32000 886 34.15 1797.98/1805.72 c 31603 3238 39775 3522265 88 90047 132690 33397 865 36.52 1797.98/1805.72 c 33684 3238 42028 3776287 89 94677 145960 35650 825 40.82 1797.98/1805.72 c 36907 3238 45481 4146268 91 101795 160557 39103 758 48.64 1797.98/1805.72 c 41843 3238 50721 4715782 92 112504 176613 44343 703 59.44 1797.98/1805.72 c 49349 3238 58798 5618065 95 129156 194275 52420 588 83.91 1797.98/1805.72 c 60710 3238 71090 7021634 98 154149 213703 64712 464 130.78 1797.98/1805.72 c 77854 3238 89722 9204775 102 192003 235074 83344 346 224.44 1797.98/1805.72 c 103674 3238 118071 12576146 106 249475 258582 111693 263 393.00 1797.98/1805.72 c 142506 3238 160029 17438806 108 334674 284441 153651 212 670.95 1797.98/1805.72 c 200859 3238 223658 24979032 111 464028 312886 217280 146 1368.73 1797.98/1805.72 c Resources Exceeded 1797.98/1805.72 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 x95 x96 -x97 x98 -x99 x100 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 -x200 1797.98/1805.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1805.73 c 43 231312 50346 322167 256850 28830791 250472 128 1798.02 1797.98/1805.73 c Objective: -13 1797.98/1805.73 s SATISFIABLE 1797.98/1805.73 c Total time: 1798.02 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-1876833-1245207775/watcher-1876833-1245207775 -o /tmp/evaluation-result-1876833-1245207775/solver-1876833-1245207775 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876833-1245207775.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.76 1.68 1.63 3/72 6956 /proc/meminfo: memFree=1852384/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=18784 CPUtime=0 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 177303839 19234816 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6956/statm: 4696 254 175 640 0 3989 0 [startup+0.04581 s] /proc/loadavg: 1.76 1.68 1.63 3/72 6956 /proc/meminfo: memFree=1852384/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=12408 CPUtime=0.04 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 763 0 0 0 4 0 0 0 18 0 1 0 177303839 12705792 684 1992294400 134512640 137136520 4294956256 18446744073709551615 136500569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6956/statm: 3102 684 189 640 0 2458 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12408 [startup+0.101821 s] /proc/loadavg: 1.76 1.68 1.63 3/72 6956 /proc/meminfo: memFree=1852384/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=12516 CPUtime=0.09 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 765 0 0 0 9 0 0 0 18 0 1 0 177303839 12816384 686 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6956/statm: 3129 686 189 640 0 2485 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12516 [startup+0.301863 s] /proc/loadavg: 1.76 1.68 1.63 3/72 6956 /proc/meminfo: memFree=1852384/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=12516 CPUtime=0.28 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 766 0 0 0 28 0 0 0 19 0 1 0 177303839 12816384 687 1992294400 134512640 137136520 4294956256 18446744073709551615 134544786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 3129 687 189 640 0 2485 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12516 [startup+0.701942 s] /proc/loadavg: 1.76 1.68 1.63 3/72 6956 /proc/meminfo: memFree=1852384/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=12516 CPUtime=0.67 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 766 0 0 0 67 0 0 0 23 0 1 0 177303839 12816384 687 1992294400 134512640 137136520 4294956256 18446744073709551615 134563134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 3129 687 189 640 0 2485 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 12516 [startup+1.5011 s] /proc/loadavg: 1.70 1.67 1.63 2/73 6957 /proc/meminfo: memFree=1850328/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=12516 CPUtime=1.47 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 766 0 0 0 147 0 0 0 25 0 1 0 177303839 12816384 687 1992294400 134512640 137136520 4294956256 18446744073709551615 136502291 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 3129 687 189 640 0 2485 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 12516 [startup+3.10141 s] /proc/loadavg: 1.70 1.67 1.63 2/73 6957 /proc/meminfo: memFree=1850200/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=12516 CPUtime=3.06 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 766 0 0 0 306 0 0 0 25 0 1 0 177303839 12816384 687 1992294400 134512640 137136520 4294956256 18446744073709551615 134545094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 3129 687 189 640 0 2485 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 12516 [startup+6.30105 s] /proc/loadavg: 1.70 1.67 1.63 2/73 6957 /proc/meminfo: memFree=1844376/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=20228 CPUtime=6.21 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 2790 0 0 0 617 4 0 0 25 0 1 0 177303839 20713472 2648 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 5057 2648 198 640 0 4413 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 20228 [startup+12.7024 s] /proc/loadavg: 1.81 1.70 1.64 3/73 6957 /proc/meminfo: memFree=1829656/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=34392 CPUtime=12.57 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 6314 0 0 0 1250 7 0 0 25 0 1 0 177303839 35217408 6172 1992294400 134512640 137136520 4294956256 18446744073709551615 134545478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 8598 6172 198 640 0 7954 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 34392 [startup+25.5018 s] /proc/loadavg: 1.84 1.71 1.64 2/73 6957 /proc/meminfo: memFree=1812184/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=50748 CPUtime=25.27 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 10416 0 0 0 2514 13 0 0 25 0 1 0 177303839 51965952 10274 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 12687 10274 198 640 0 12043 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 50748 [startup+51.1019 s] /proc/loadavg: 1.63 1.67 1.63 3/73 6957 /proc/meminfo: memFree=1792280/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=70880 CPUtime=50.71 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 15437 0 0 0 5050 21 0 0 25 0 1 0 177303839 72581120 15295 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 17720 15295 198 640 0 17076 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 70880 [startup+102.323 s] /proc/loadavg: 1.72 1.69 1.64 2/73 6957 /proc/meminfo: memFree=1765336/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=97220 CPUtime=101.9 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 22039 0 0 0 10159 31 0 0 25 0 1 0 177303839 99553280 21897 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 24305 21897 198 640 0 23661 0 Current children cumulated CPU time (s) 101.9 Current children cumulated vsize (KiB) 97220 [startup+162.302 s] /proc/loadavg: 1.67 1.68 1.64 3/73 6957 /proc/meminfo: memFree=1742744/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=119976 CPUtime=161.86 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 27714 0 0 0 16147 39 0 0 25 0 1 0 177303839 122855424 27572 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 29994 27572 198 640 0 29350 0 Current children cumulated CPU time (s) 161.86 Current children cumulated vsize (KiB) 119976 [startup+222.302 s] /proc/loadavg: 1.91 1.74 1.66 2/73 6957 /proc/meminfo: memFree=1723992/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=138528 CPUtime=221.66 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 32357 0 0 0 22117 49 0 0 25 0 1 0 177303839 141852672 32215 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 34632 32215 198 640 0 33988 0 Current children cumulated CPU time (s) 221.66 Current children cumulated vsize (KiB) 138528 [startup+282.301 s] /proc/loadavg: 1.89 1.75 1.66 2/73 6957 /proc/meminfo: memFree=1707544/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=155176 CPUtime=281.27 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 36523 0 0 0 28070 57 0 0 25 0 1 0 177303839 158900224 36381 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 38794 36381 198 640 0 38150 0 Current children cumulated CPU time (s) 281.27 Current children cumulated vsize (KiB) 155176 [startup+342.306 s] /proc/loadavg: 1.90 1.79 1.68 2/73 6957 /proc/meminfo: memFree=1693272/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=169196 CPUtime=341.12 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 40027 0 0 0 34047 65 0 0 25 0 1 0 177303839 173256704 39885 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 42299 39885 198 640 0 41655 0 Current children cumulated CPU time (s) 341.12 Current children cumulated vsize (KiB) 169196 [startup+402.302 s] /proc/loadavg: 1.92 1.80 1.69 4/73 6957 /proc/meminfo: memFree=1674648/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=187968 CPUtime=401.1 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 44711 0 0 0 40038 72 0 0 25 0 1 0 177303839 192479232 44569 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 46992 44569 198 640 0 46348 0 Current children cumulated CPU time (s) 401.1 Current children cumulated vsize (KiB) 187968 [startup+462.302 s] /proc/loadavg: 1.67 1.76 1.68 2/73 6957 /proc/meminfo: memFree=1656536/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=205884 CPUtime=461.04 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 49181 0 0 0 46023 81 0 0 25 0 1 0 177303839 210825216 49039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 51471 49039 198 640 0 50827 0 Current children cumulated CPU time (s) 461.04 Current children cumulated vsize (KiB) 205884 [startup+522.302 s] /proc/loadavg: 1.61 1.73 1.67 4/73 6957 /proc/meminfo: memFree=1637784/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=224792 CPUtime=520.98 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 53919 0 0 0 52009 89 0 0 25 0 1 0 177303839 230187008 53777 1992294400 134512640 137136520 4294956256 18446744073709551615 134544533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 56198 53777 198 640 0 55554 0 Current children cumulated CPU time (s) 520.98 Current children cumulated vsize (KiB) 224792 [startup+582.301 s] /proc/loadavg: 1.79 1.75 1.68 2/73 6957 /proc/meminfo: memFree=1626776/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=235512 CPUtime=580.39 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 56594 0 0 0 57941 98 0 0 25 0 1 0 177303839 241164288 56452 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 58878 56452 198 640 0 58234 0 Current children cumulated CPU time (s) 580.39 Current children cumulated vsize (KiB) 235512 [startup+642.302 s] /proc/loadavg: 1.32 1.63 1.64 2/73 6957 /proc/meminfo: memFree=1615832/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=246316 CPUtime=639.8 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 59289 0 0 0 63871 109 0 0 25 0 1 0 177303839 252227584 59147 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6956/statm: 61579 59147 198 640 0 60935 0 Current children cumulated CPU time (s) 639.8 Current children cumulated vsize (KiB) 246316 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1546392/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=315532 CPUtime=1116.04 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 76587 0 0 0 111417 187 0 0 25 0 1 0 177303839 323104768 76445 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 78883 76445 198 640 0 78239 0 Current children cumulated CPU time (s) 1116.04 Current children cumulated vsize (KiB) 315532 [startup+1182.3 s] /proc/loadavg: 1.74 1.69 1.65 4/73 6957 /proc/meminfo: memFree=1535064/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=326812 CPUtime=1175.45 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 79430 0 0 0 117349 196 0 0 25 0 1 0 177303839 334655488 79288 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 81703 79288 198 640 0 81059 0 Current children cumulated CPU time (s) 1175.45 Current children cumulated vsize (KiB) 326812 [startup+1242.3 s] /proc/loadavg: 1.67 1.69 1.65 2/73 6957 /proc/meminfo: memFree=1525720/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=335840 CPUtime=1235.11 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 81691 0 0 0 123305 206 0 0 25 0 1 0 177303839 343900160 81549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 83960 81549 198 640 0 83316 0 Current children cumulated CPU time (s) 1235.11 Current children cumulated vsize (KiB) 335840 [startup+1302.3 s] /proc/loadavg: 1.64 1.68 1.64 4/73 6957 /proc/meminfo: memFree=1516312/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=345280 CPUtime=1294.95 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 84053 0 0 0 129280 215 0 0 25 0 1 0 177303839 353566720 83911 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 86320 83911 198 640 0 85676 0 Current children cumulated CPU time (s) 1294.95 Current children cumulated vsize (KiB) 345280 [startup+1362.3 s] /proc/loadavg: 1.78 1.70 1.65 4/73 6957 /proc/meminfo: memFree=1507608/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=353876 CPUtime=1354.84 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 86199 0 0 0 135265 219 0 0 25 0 1 0 177303839 362369024 86057 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 88469 86057 198 640 0 87825 0 Current children cumulated CPU time (s) 1354.84 Current children cumulated vsize (KiB) 353876 [startup+1422.31 s] /proc/loadavg: 2.12 1.84 1.70 3/73 6957 /proc/meminfo: memFree=1499608/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=361860 CPUtime=1414.82 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 88184 0 0 0 141260 222 0 0 25 0 1 0 177303839 370544640 88042 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 90465 88042 198 640 0 89821 0 Current children cumulated CPU time (s) 1414.82 Current children cumulated vsize (KiB) 361860 [startup+1482.3 s] /proc/loadavg: 2.03 1.88 1.72 3/73 6957 /proc/meminfo: memFree=1491800/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=369644 CPUtime=1474.74 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 90133 0 0 0 147246 228 0 0 25 0 1 0 177303839 378515456 89991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 92411 89991 198 640 0 91767 0 Current children cumulated CPU time (s) 1474.74 Current children cumulated vsize (KiB) 369644 [startup+1542.3 s] /proc/loadavg: 2.19 1.96 1.76 3/73 6957 /proc/meminfo: memFree=1483992/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=377416 CPUtime=1534.71 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 92068 0 0 0 153240 231 0 0 25 0 1 0 177303839 386473984 91926 1992294400 134512640 137136520 4294956256 18446744073709551615 134544086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 94354 91926 198 640 0 93710 0 Current children cumulated CPU time (s) 1534.71 Current children cumulated vsize (KiB) 377416 [startup+1602.3 s] /proc/loadavg: 2.10 1.98 1.77 2/73 6957 /proc/meminfo: memFree=1477080/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=384392 CPUtime=1594.67 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 93817 0 0 0 159233 234 0 0 25 0 1 0 177303839 393617408 93675 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 96098 93675 198 640 0 95454 0 Current children cumulated CPU time (s) 1594.67 Current children cumulated vsize (KiB) 384392 [startup+1662.3 s] /proc/loadavg: 2.04 1.97 1.78 2/73 6957 /proc/meminfo: memFree=1469784/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=391564 CPUtime=1654.66 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 95620 0 0 0 165228 238 0 0 25 0 1 0 177303839 400961536 95478 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 97891 95478 198 640 0 97247 0 Current children cumulated CPU time (s) 1654.66 Current children cumulated vsize (KiB) 391564 [startup+1722.3 s] /proc/loadavg: 2.22 2.02 1.81 2/73 6957 /proc/meminfo: memFree=1463320/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=397964 CPUtime=1714.62 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 97227 0 0 0 171220 242 0 0 25 0 1 0 177303839 407515136 97085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 99491 97085 198 640 0 98847 0 Current children cumulated CPU time (s) 1714.62 Current children cumulated vsize (KiB) 397964 [startup+1782.3 s] /proc/loadavg: 1.97 1.99 1.81 4/73 6957 /proc/meminfo: memFree=1456024/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=405212 CPUtime=1774.6 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99032 0 0 0 177214 246 0 0 25 0 1 0 177303839 414937088 98890 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 101303 98890 198 640 0 100659 0 Current children cumulated CPU time (s) 1774.6 Current children cumulated vsize (KiB) 405212 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.82 1.96 1.80 4/73 6957 /proc/meminfo: memFree=1454680/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=406536 CPUtime=1784.19 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99351 0 0 0 178172 247 0 0 25 0 1 0 177303839 416292864 99209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 101634 99209 198 640 0 100990 0 Current children cumulated CPU time (s) 1784.19 Current children cumulated vsize (KiB) 406536 [startup+1798.3 s] /proc/loadavg: 1.75 1.94 1.80 2/73 6957 /proc/meminfo: memFree=1453784/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=407520 CPUtime=1790.58 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99612 0 0 0 178810 248 0 0 25 0 1 0 177303839 417300480 99470 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 101880 99470 198 640 0 101236 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (KiB) 407520 [startup+1801.5 s] /proc/loadavg: 1.75 1.94 1.80 2/73 6957 /proc/meminfo: memFree=1453336/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=408100 CPUtime=1793.78 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99737 0 0 0 179130 248 0 0 25 0 1 0 177303839 417894400 99595 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 102025 99595 198 640 0 101381 0 Current children cumulated CPU time (s) 1793.78 Current children cumulated vsize (KiB) 408100 [startup+1803.11 s] /proc/loadavg: 1.69 1.93 1.79 3/73 6957 /proc/meminfo: memFree=1452952/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=408228 CPUtime=1795.39 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99791 0 0 0 179291 248 0 0 25 0 1 0 177303839 418025472 99649 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 102057 99649 198 640 0 101413 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (KiB) 408228 [startup+1804.7 s] /proc/loadavg: 1.69 1.93 1.79 3/73 6957 /proc/meminfo: memFree=1452824/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=408576 CPUtime=1796.98 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99856 0 0 0 179450 248 0 0 25 0 1 0 177303839 418381824 99714 1992294400 134512640 137136520 4294956256 18446744073709551615 136509089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 102144 99714 198 640 0 101500 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 408576 [startup+1805.5 s] /proc/loadavg: 1.69 1.93 1.79 4/73 6957 /proc/meminfo: memFree=1452632/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=408688 CPUtime=1797.78 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99887 0 0 0 179530 248 0 0 25 0 1 0 177303839 418496512 99745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 102172 99745 198 640 0 101528 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 408688 [startup+1805.7 s] /proc/loadavg: 1.69 1.93 1.79 4/73 6957 /proc/meminfo: memFree=1452632/2055920 swapFree=4192812/4192956 [pid=6956] ppid=6954 vsize=408688 CPUtime=1797.98 /proc/6956/stat : 6956 (bsolo) R 6954 6956 6837 0 -1 4194304 99894 0 0 0 179550 248 0 0 25 0 1 0 177303839 418496512 99752 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6956/statm: 102172 99752 198 640 0 101528 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 408688 Child status: 0 Real time (s): 1805.79 CPU time (s): 1798.08 CPU user time (s): 1795.53 CPU system time (s): 2.54761 CPU usage (%): 99.5728 Max. virtual memory (cumulated for all children) (KiB): 408688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.53 system time used= 2.54761 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99901 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= 24773 runsolver used 2.05069 second user time and 5.38318 second system time The end
Begin job on node53 at 2009-06-17 05:02:55 IDJOB=1876833 IDBENCH=48243 IDSOLVER=699 FILE ID=node53/1876833-1245207775 PBS_JOBID= 9368379 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876833-1245207775/watcher-1876833-1245207775 -o /tmp/evaluation-result-1876833-1245207775/solver-1876833-1245207775 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876833-1245207775.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=143759142 node53.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1854656 kB Buffers: 12756 kB Cached: 96308 kB SwapCached: 144 kB Active: 49352 kB Inactive: 91076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854656 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4092 kB Writeback: 0 kB Mapped: 42640 kB Slab: 45988 kB Committed_AS: 601764 kB PageTables: 2056 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-1876833-1245207775.opb Free space on /tmp at the end= 66340 MiB End job on node53 at 2009-06-17 05:33:02