Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -13 | 1798.06 | 1798.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_2.opb |
MD5SUM | 3576405369e31b0bc5c7707d6d764dde |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
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) | 6148 |
Sum of products size (including duplicates) | 12296 |
Number of different products | 3074 |
Sum of products size | 6148 |
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-1876842-1245208757.opb 0.00/0.00 c File size is 257826 bytes. 0.01/0.03 c Highest Coefficient sum: 200 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.036 s 0.01/0.04 c Var: 3274 Constr: 6450 3174/202/3074 Lit: 25192 Watch. Lit: 21920 0.01/0.04 c Obj. Vars: 100 (3.05437 % of total variables) 3.79/3.81 c Pre-processing Time: 3.811 s 3.79/3.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.81 c 0 3274 6450 25192 3 21920 83680 0 0 3.81 3.79/3.81 c Switching off lower bounding mode. 3.79/3.81 o -1 3.79/3.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.82 c 0 3274 6451 25292 3 21923 83747 1 0 3.82 3.79/3.82 o -2 3.79/3.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.82 c 1 3274 6454 25592 3 21932 83780 4 0 3.82 3.79/3.82 o -3 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 2 3274 6457 25920 4 21943 83814 7 0 3.83 3.79/3.83 o -4 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 5 3274 6462 26272 4 21960 83847 12 1 3.83 3.79/3.83 o -5 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 8 3274 6467 26838 4 21979 83880 17 2 3.83 3.79/3.84 o -6 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 14 3274 6475 27683 4 22006 83914 25 3 3.84 3.79/3.84 o -7 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 20 3274 6483 28534 4 22035 83947 33 5 3.84 3.79/3.85 o -8 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 28 3274 6493 29480 4 22070 83980 43 7 3.85 3.79/3.85 o -9 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 38 3274 6505 30694 4 22111 84014 55 9 3.86 3.99/4.09 c 139 3274 6607 34363 5 22324 92416 157 35 3.88 3.99/4.09 c 389 3274 6861 50154 7 22832 101658 411 95 4.06 3.99/4.09 o -10 4.09/4.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.10 c 448 3274 6922 55244 7 22964 84047 472 109 4.09 4.09/4.10 o -11 4.09/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.13 c 477 3274 6953 56757 8 23047 84080 503 116 4.11 4.09/4.13 c 577 3274 7055 60688 8 23262 92489 605 139 4.13 4.09/4.13 o -12 14.18/14.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.18/14.21 c 595 3274 7074 60842 8 23312 84114 624 143 4.14 14.18/14.21 c 695 3274 7175 63116 8 23526 92526 725 167 4.16 14.18/14.21 c 945 3274 7437 82483 11 24050 101779 987 216 4.36 14.18/14.21 c 1420 3274 7919 118563 14 25014 111957 1469 308 4.60 14.18/14.21 c 2235 3274 8764 173587 19 26788 123153 2314 457 4.88 14.18/14.21 c 3555 3274 10143 304826 30 29569 135469 3693 646 5.50 14.18/14.21 c 5636 3274 12345 541168 43 34055 149016 5895 853 6.60 14.18/14.21 c 8859 3274 15774 911839 57 41205 163918 9324 1010 8.77 14.18/14.21 c 13796 3274 21013 1484401 70 51883 180310 14563 1079 12.78 14.18/14.21 o -13 1797.91/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.58 c 15181 3274 22513 1662320 73 54986 84147 16063 1068 14.21 1797.91/1798.58 c 15281 3274 22620 1673263 73 55222 92562 16170 1064 14.35 1797.91/1798.58 c 15531 3274 22881 1700988 74 55744 101819 16431 1061 14.63 1797.91/1798.58 c 16006 3274 23386 1758352 75 56794 112001 16936 1054 15.17 1797.91/1798.58 c 16819 3274 24246 1854022 76 58537 123202 17796 1031 16.31 1797.91/1798.58 c 18139 3274 25639 2005799 78 61518 135523 19189 1015 17.86 1797.91/1798.58 c 20220 3274 27817 2229813 80 65874 149076 21367 974 20.74 1797.91/1798.58 c 23443 3274 31242 2590309 82 72803 163984 24792 951 24.64 1797.91/1798.58 c 28379 3274 36575 3183831 87 83530 180383 30125 892 31.78 1797.91/1798.58 c 35885 3274 44661 4084815 91 99880 198422 38211 728 49.28 1797.91/1798.58 c 47246 3274 56793 5431880 95 124684 218265 50343 572 82.56 1797.91/1798.58 c 64390 3274 75396 7605594 100 162496 240092 68946 428 150.29 1797.91/1798.58 c 90209 3274 103783 10921945 105 219934 264102 97333 309 291.65 1797.91/1798.58 c 129041 3274 145735 15690450 107 305743 290513 139285 218 590.67 1797.91/1798.58 c 187394 3274 209464 23309293 111 434674 319565 203014 150 1249.06 1797.91/1798.58 c Resources Exceeded 1797.91/1798.58 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 x67 x68 -x69 x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -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.91/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.58 c 38 220923 47866 306562 246475 27865618 240025 122 1798.00 1797.91/1798.58 c Objective: -13 1797.91/1798.58 s SATISFIABLE 1797.91/1798.58 c Total time: 1798 s
OK -13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876842-1245208757/watcher-1876842-1245208757 -o /tmp/evaluation-result-1876842-1245208757/solver-1876842-1245208757 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876842-1245208757.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.00 0.99 0.99 3/64 5920 /proc/meminfo: memFree=1854120/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=18784 CPUtime=0 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 5205225 19234816 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 4696 246 174 640 0 3989 0 [startup+0.0216671 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5920 /proc/meminfo: memFree=1854120/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=11376 CPUtime=0.01 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 396 0 0 0 1 0 0 0 18 0 1 0 5205225 11649024 380 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 2844 380 203 640 0 2137 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11376 [startup+0.101677 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5920 /proc/meminfo: memFree=1854120/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=12532 CPUtime=0.09 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 769 0 0 0 9 0 0 0 18 0 1 0 5205225 12832768 690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 3133 690 189 640 0 2489 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12532 [startup+0.301706 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5920 /proc/meminfo: memFree=1854120/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=12532 CPUtime=0.29 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 772 0 0 0 29 0 0 0 19 0 1 0 5205225 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12532 [startup+0.701765 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5920 /proc/meminfo: memFree=1854120/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=12532 CPUtime=0.69 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 772 0 0 0 69 0 0 0 22 0 1 0 5205225 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12532 [startup+1.50188 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1852064/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=12532 CPUtime=1.49 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 772 0 0 0 149 0 0 0 25 0 1 0 5205225 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12532 [startup+3.10111 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1851936/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=12532 CPUtime=3.09 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 772 0 0 0 309 0 0 0 25 0 1 0 5205225 12832768 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136498308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 3133 693 189 640 0 2489 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12532 [startup+6.30158 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1847968/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=18868 CPUtime=6.28 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 2442 0 0 0 626 2 0 0 25 0 1 0 5205225 19320832 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 4717 2303 198 640 0 4073 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18868 [startup+12.7015 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1832752/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=32672 CPUtime=12.69 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 5883 0 0 0 1262 7 0 0 25 0 1 0 5205225 33456128 5744 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 8168 5744 198 640 0 7524 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32672 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1815352/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=49288 CPUtime=25.48 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 10031 0 0 0 2536 12 0 0 25 0 1 0 5205225 50470912 9892 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 12322 9892 198 640 0 11678 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49288 [startup+51.1011 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1794808/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=69652 CPUtime=51.08 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 15129 0 0 0 5087 21 0 0 25 0 1 0 5205225 71323648 14990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 17413 14990 198 640 0 16769 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69652 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1768568/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=95536 CPUtime=102.26 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 21616 0 0 0 10194 32 0 0 25 0 1 0 5205225 97828864 21477 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 23884 21477 198 640 0 23240 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 95536 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1742840/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=121576 CPUtime=162.23 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 28101 0 0 0 16181 42 0 0 25 0 1 0 5205225 124493824 27962 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 30394 27962 198 640 0 29750 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 121576 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1721080/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=143044 CPUtime=222.22 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 33474 0 0 0 22171 51 0 0 25 0 1 0 5205225 146477056 33335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 35761 33335 198 640 0 35117 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 143044 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1704184/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=160092 CPUtime=282.2 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 37740 0 0 0 28163 57 0 0 25 0 1 0 5205225 163934208 37601 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 40023 37601 198 640 0 39379 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 160092 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1687736/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=176228 CPUtime=342.18 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 41777 0 0 0 34155 63 0 0 25 0 1 0 5205225 180457472 41638 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 44057 41638 198 640 0 43413 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 176228 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1675128/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=188936 CPUtime=402.16 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 44961 0 0 0 40148 68 0 0 25 0 1 0 5205225 193470464 44822 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 47234 44822 198 640 0 46590 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 188936 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1662136/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=201832 CPUtime=462.14 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 48161 0 0 0 46141 73 0 0 25 0 1 0 5205225 206675968 48022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 50458 48022 198 640 0 49814 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 201832 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1649144/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=214740 CPUtime=522.12 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 51412 0 0 0 52134 78 0 0 25 0 1 0 5205225 219893760 51273 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 53685 51273 198 640 0 53041 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 214740 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1637432/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=226432 CPUtime=582.1 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 54324 0 0 0 58126 84 0 0 25 0 1 0 5205225 231866368 54185 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 56608 54185 198 640 0 55964 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 226432 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5921 /proc/meminfo: memFree=1626040/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=237652 CPUtime=642.09 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 57131 0 0 0 64121 88 0 0 25 0 1 0 5205225 243355648 56992 1992294400 134512640 137136520 4294956256 18446744073709551615 136502276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 59413 56992 198 640 0 58769 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 237652 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1546488/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=316884 CPUtime=1121.93 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 76935 0 0 0 112073 120 0 0 25 0 1 0 5205225 324489216 76796 1992294400 134512640 137136520 4294956256 18446744073709551615 134606757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 79221 76796 198 640 0 78577 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 316884 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1539064/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=324300 CPUtime=1181.91 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 78793 0 0 0 118068 123 0 0 25 0 1 0 5205225 332083200 78654 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 81075 78654 198 640 0 80431 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 324300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1531320/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=331924 CPUtime=1241.89 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 80694 0 0 0 124063 126 0 0 25 0 1 0 5205225 339890176 80555 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 82981 80555 198 640 0 82337 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 331924 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1523704/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=339436 CPUtime=1301.88 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 82577 0 0 0 130059 129 0 0 25 0 1 0 5205225 347582464 82438 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 84859 82438 198 640 0 84215 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 339436 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1516088/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=347108 CPUtime=1361.85 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 84491 0 0 0 136053 132 0 0 25 0 1 0 5205225 355438592 84352 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 86777 84352 198 640 0 86133 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 347108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1509176/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=353860 CPUtime=1421.83 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 86190 0 0 0 142049 134 0 0 25 0 1 0 5205225 362352640 86051 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 88465 86051 198 640 0 87821 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 353860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1502328/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=360724 CPUtime=1481.81 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 87907 0 0 0 148044 137 0 0 25 0 1 0 5205225 369381376 87768 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 90181 87768 198 640 0 89537 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 360724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1495736/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=367300 CPUtime=1541.79 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 89538 0 0 0 154039 140 0 0 25 0 1 0 5205225 376115200 89399 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 91825 89399 198 640 0 91181 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 367300 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1489208/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=373792 CPUtime=1601.78 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 91169 0 0 0 160035 143 0 0 25 0 1 0 5205225 382763008 91030 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 93448 91030 198 640 0 92804 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 373792 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1482104/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=380788 CPUtime=1661.76 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 92921 0 0 0 166030 146 0 0 25 0 1 0 5205225 389926912 92782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 95197 92782 198 640 0 94553 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 380788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1475192/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=387828 CPUtime=1721.73 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 94670 0 0 0 172025 148 0 0 25 0 1 0 5205225 397135872 94531 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 96957 94531 198 640 0 96313 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 387828 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1469048/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=393764 CPUtime=1781.71 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96166 0 0 0 178021 150 0 0 25 0 1 0 5205225 403214336 96027 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98441 96027 198 640 0 97797 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 393764 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1468216/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=394540 CPUtime=1791.32 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96365 0 0 0 178981 151 0 0 25 0 1 0 5205225 404008960 96226 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98635 96226 198 640 0 97991 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 394540 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1467896/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=394856 CPUtime=1794.52 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96442 0 0 0 179301 151 0 0 25 0 1 0 5205225 404332544 96303 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98714 96303 198 640 0 98070 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 394856 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1467832/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=395104 CPUtime=1796.11 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96484 0 0 0 179460 151 0 0 25 0 1 0 5205225 404586496 96345 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98776 96345 198 640 0 98132 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (KiB) 395104 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1467704/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=395104 CPUtime=1796.91 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96493 0 0 0 179540 151 0 0 25 0 1 0 5205225 404586496 96354 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98776 96354 198 640 0 98132 0 Current children cumulated CPU time (s) 1796.91 Current children cumulated vsize (KiB) 395104 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1467704/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=395224 CPUtime=1797.71 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96513 0 0 0 179620 151 0 0 25 0 1 0 5205225 404709376 96374 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98806 96374 198 640 0 98162 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 395224 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1467640/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=395224 CPUtime=1797.91 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194304 96521 0 0 0 179640 151 0 0 25 0 1 0 5205225 404709376 96382 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 98806 96382 198 640 0 98162 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 395224 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5921 /proc/meminfo: memFree=1467640/2055920 swapFree=4192956/4192956 [pid=5920] ppid=5918 vsize=0 CPUtime=1798 /proc/5920/stat : 5920 (bsolo) R 5918 5920 5793 0 -1 4194308 96523 0 0 0 179648 152 0 0 25 0 1 0 5205225 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5920/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.06 CPU user time (s): 1796.49 CPU system time (s): 1.57376 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 395224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.49 system time used= 1.57376 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96523 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= 2822 runsolver used 1.2808 second user time and 3.71543 second system time The end
Begin job on node30 at 2009-06-17 05:19:17 IDJOB=1876842 IDBENCH=48252 IDSOLVER=699 FILE ID=node30/1876842-1245208757 PBS_JOBID= 9368384 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876842-1245208757/watcher-1876842-1245208757 -o /tmp/evaluation-result-1876842-1245208757/solver-1876842-1245208757 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876842-1245208757.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde RANDOM SEED=1423451398 node30.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.273 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.273 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: 1854728 kB Buffers: 29604 kB Cached: 117140 kB SwapCached: 0 kB Active: 51220 kB Inactive: 108472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854728 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 22748 kB Slab: 27580 kB Committed_AS: 69260 kB PageTables: 1360 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-1876842-1245208757.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-17 05:49:16