Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 20 | 1800.06 | 1800.56 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 1a5dd226c84aa8cc751cd6025cf57c5b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 8.97263 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | YES |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4599 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526310 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/362351-1177011117/instance-362351-1177011117.opb 0.00/0.00 c File size is 117930 bytes. 0.00/0.02 c Highest Coefficient sum: 526310 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.022 s 0.00/0.02 c Var: 3100 Constr: 140 20/0/120 Lit: 15100 Watch. Lit: 9140 0.00/0.02 c Obj. Vars: 3100 (100 % of total variables) 0.49/0.56 c Pre-processing Time: 0.564 s 0.58/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.58/0.64 c 0 1454 140 15100 107 9140 18206 0 0 0.56 0.58/0.64 c Initial Lower Bound: 14 0.58/0.64 c Initial Path Cost: 0 0.58/0.65 o 20 0.644 1799.90/1800.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.49 c 17 1454 158 18667 118 10610 19206 18 26 0.64 1799.90/1800.49 c 117 1454 258 40137 155 10810 21127 118 14 8.18 1799.90/1800.49 c 367 1454 508 96635 190 11310 23240 368 12 30.57 1799.90/1800.49 c 842 1454 983 212751 216 12260 25565 843 14 58.02 1799.90/1800.49 c 1655 1454 1796 434989 242 13886 28122 1656 12 133.31 1799.90/1800.49 c 2975 1454 3116 748799 240 16526 30935 2976 13 225.99 1799.90/1800.49 c 5056 1454 5197 1486629 286 20688 34029 5057 16 311.39 1799.90/1800.49 c 8279 1454 8420 2841858 337 27134 37432 8280 19 427.21 1799.90/1800.49 c 13216 1454 13856 5214517 376 38006 41176 13716 20 657.95 1799.90/1800.49 c 20722 1454 21362 9695933 453 53018 45294 21222 22 918.35 1799.90/1800.49 c 32083 1454 33673 13834505 410 77640 49824 33533 26 1222.49 1799.90/1800.49 c 49227 1454 50817 24806434 488 111928 54807 50677 28 1744.13 1799.90/1800.49 c Resources Exceeded 1799.90/1800.49 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 1799.90/1800.49 v -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 1799.90/1800.49 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1799.90/1800.49 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1799.90/1800.49 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1799.90/1800.49 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1799.90/1800.49 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1351 -x1352 -x1353 1799.90/1800.49 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1799.90/1800.49 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1799.90/1800.49 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1799.90/1800.49 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1799.90/1800.49 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1799.90/1800.49 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1799.90/1800.49 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1799.90/1800.49 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1799.90/1800.49 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 1799.90/1800.49 v -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 1799.90/1800.49 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1799.90/1800.49 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1799.90/1800.49 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 1799.90/1800.49 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1799.90/1800.49 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1799.90/1800.49 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1799.90/1800.49 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1799.90/1800.49 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1799.90/1800.49 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 1799.90/1800.49 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 1799.90/1800.49 v -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1799.90/1800.49 v -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1799.90/1800.49 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1799.90/1800.49 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1799.90/1800.49 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1799.90/1800.49 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1799.90/1800.49 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1799.90/1800.49 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.90/1800.49 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.90/1800.49 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.90/1800.49 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.90/1800.49 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.90/1800.49 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.90/1800.49 v -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.90/1800.49 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1799.90/1800.49 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.90/1800.49 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 1799.90/1800.49 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1799.90/1800.49 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1799.90/1800.49 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1799.90/1800.49 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1799.90/1800.49 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1799.90/1800.49 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1799.90/1800.49 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1799.90/1800.49 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1799.90/1800.49 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 1799.90/1800.49 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1799.90/1800.49 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1799.90/1800.49 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 1799.90/1800.49 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1799.90/1800.49 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1799.90/1800.49 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1799.90/1800.49 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1799.90/1800.49 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1799.90/1800.49 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1799.90/1800.49 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1799.90/1800.49 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1799.90/1800.49 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1799.90/1800.49 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1799.90/1800.49 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1799.90/1800.49 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1799.90/1800.49 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1799.90/1800.49 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1799.90/1800.49 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1799.90/1800.49 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1799.90/1800.49 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1799.90/1800.49 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1799.90/1800.49 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1799.90/1800.49 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1799.90/1800.49 v -x1350 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1799.90/1800.49 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1799.90/1800.49 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1799.90/1800.49 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1799.90/1800.49 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1799.90/1800.49 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1799.90/1800.49 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1799.90/1800.49 v -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1799.90/1800.49 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1799.90/1800.49 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1799.90/1800.49 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1799.90/1800.49 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1799.90/1800.49 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1799.90/1800.49 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1799.90/1800.49 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1799.90/1800.49 v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1799.90/1800.49 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1799.90/1800.49 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 1799.90/1800.49 v -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1799.90/1800.49 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1799.90/1800.49 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1799.90/1800.49 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 1799.90/1800.49 v -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1799.90/1800.49 v x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1799.90/1800.49 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 1799.90/1800.49 v -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1799.90/1800.49 v -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 1799.90/1800.49 v -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 1799.90/1800.49 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 1799.90/1800.49 v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1799.90/1800.49 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1799.90/1800.49 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1799.90/1800.49 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1799.90/1800.49 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1799.90/1800.49 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1799.90/1800.49 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 1799.90/1800.49 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 1799.90/1800.49 v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1799.90/1800.49 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 1799.90/1800.49 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 1799.90/1800.49 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1799.90/1800.49 v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 1799.90/1800.49 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1799.90/1800.49 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1799.90/1800.49 v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 1799.90/1800.49 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1799.90/1800.49 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1799.90/1800.49 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1799.90/1800.49 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1799.90/1800.49 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1799.90/1800.49 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 1799.90/1800.49 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1799.90/1800.49 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1799.90/1800.49 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1799.90/1800.49 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 1799.90/1800.49 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1799.90/1800.49 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1799.90/1800.49 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1799.90/1800.49 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1799.90/1800.49 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1799.90/1800.49 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1799.90/1800.49 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1799.90/1800.49 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1799.90/1800.49 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1799.90/1800.49 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1799.90/1800.49 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1799.90/1800.49 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1799.90/1800.49 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1799.90/1800.49 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1799.90/1800.49 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1799.90/1800.49 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 1799.90/1800.49 v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 1799.90/1800.49 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1799.90/1800.49 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1799.90/1800.49 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1799.90/1800.49 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 1799.90/1800.49 v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 1799.90/1800.49 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1799.90/1800.49 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 1799.90/1800.49 v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 1799.90/1800.49 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1799.90/1800.49 v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 1799.90/1800.49 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 1799.90/1800.49 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1799.90/1800.49 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 1799.90/1800.49 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1799.90/1800.49 v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 1799.90/1800.49 v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 1799.90/1800.49 v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3013 -x3024 -x3035 x3046 -x3057 -x3068 -x3079 -x3090 -x3003 -x3004 1799.90/1800.49 v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 1799.90/1800.49 v -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 1799.90/1800.49 v -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 1799.90/1800.49 v -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 x3081 -x3082 -x3083 1799.90/1800.49 v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1799.90/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.49 c 12 50482 37088 411221 52072 25276274 51932 28 1800.00 1799.90/1800.49 c Objective: 20 1799.90/1800.49 s SATISFIABLE 1799.90/1800.49 c Total time: 1800 s
OK 20
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-362351-1177011117 -o ROOT/results/node52/solver-362351-1177011117 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362351-1177011117/instance-362351-1177011117.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15153 /proc/meminfo: memFree=1771140/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=11852 CPUtime=0 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 55956783 12136448 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 2963 335 281 324 0 2003 0 [startup+0.0408919 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15153 /proc/meminfo: memFree=1771140/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=4920 CPUtime=0.03 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 641 0 0 0 3 0 0 0 18 0 1 0 55956783 5038080 580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1230 580 305 324 0 299 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4920 [startup+0.101896 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15153 /proc/meminfo: memFree=1771140/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=4920 CPUtime=0.09 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 55956783 5038080 580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1230 580 305 324 0 299 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4920 [startup+0.301909 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15153 /proc/meminfo: memFree=1771140/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=4920 CPUtime=0.29 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 680 0 0 0 29 0 0 0 19 0 1 0 55956783 5038080 614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1230 614 307 324 0 299 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4920 [startup+0.701936 s] /proc/loadavg: 0.92 0.98 0.99 3/64 15153 /proc/meminfo: memFree=1771140/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=6872 CPUtime=0.68 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 8417 0 2 0 66 2 0 0 23 0 1 0 55956783 7036928 1025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1718 1026 392 324 0 787 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6872 [startup+1.50199 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1767676/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=6712 CPUtime=1.48 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 15189 0 2 0 144 4 0 0 25 0 1 0 55956783 6873088 1070 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134707350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1678 1070 392 324 0 747 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6712 [startup+3.1011 s] /proc/loadavg: 0.92 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1767484/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=6884 CPUtime=3.09 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 37914 0 2 0 296 13 0 0 25 0 1 0 55956783 7049216 1031 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1721 1031 392 324 0 790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6884 [startup+6.30131 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1767364/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=6764 CPUtime=6.28 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 82279 0 2 0 600 28 0 0 25 0 1 0 55956783 6926336 1117 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1691 1117 392 324 0 760 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6764 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1767044/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=7008 CPUtime=12.69 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 121900 0 2 0 1226 43 0 0 25 0 1 0 55956783 7176192 1164 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134820356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1752 1164 392 324 0 821 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7008 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1766788/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=7076 CPUtime=25.48 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 197100 0 2 0 2476 72 0 0 25 0 1 0 55956783 7245824 1235 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134710081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 1769 1235 392 324 0 838 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 7076 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1766084/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=8452 CPUtime=51.08 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 363581 0 2 0 4977 131 0 0 25 0 1 0 55956783 8654848 1531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4776924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 2113 1531 392 324 0 1182 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8452 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1763652/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=10360 CPUtime=102.27 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 720124 0 2 0 9972 255 0 0 25 0 1 0 55956783 10608640 2032 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 2590 2032 392 324 0 1659 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10360 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1760836/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=13360 CPUtime=162.25 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 1111674 0 2 0 15835 390 0 0 25 0 1 0 55956783 13680640 2708 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 3340 2708 392 324 0 2409 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13360 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1757636/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=16240 CPUtime=222.24 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 1546927 0 2 0 21685 539 0 0 25 0 1 0 55956783 16629760 3521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 4060 3521 392 324 0 3129 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 16240 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15154 /proc/meminfo: memFree=1753860/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=20484 CPUtime=282.23 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 1961112 0 2 0 27532 691 0 0 25 0 1 0 55956783 20975616 4534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 5121 4534 392 324 0 4190 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 20484 [startup+342.302 s] /proc/loadavg: 1.04 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1743364/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=30160 CPUtime=342.21 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 2421533 0 2 0 33364 857 0 0 25 0 1 0 55956783 30883840 7005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134709703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 7540 7005 392 324 0 6609 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 30160 [startup+402.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1734084/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=40424 CPUtime=402.19 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 2857484 0 2 0 39206 1013 0 0 25 0 1 0 55956783 41394176 9445 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 10106 9445 392 324 0 9175 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 40424 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1720708/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=53396 CPUtime=462.18 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 3332168 0 2 0 45028 1190 0 0 25 0 1 0 55956783 54677504 12786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 13349 12786 392 324 0 12418 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 53396 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1717636/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=56424 CPUtime=522.17 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 3759272 0 2 0 50862 1355 0 0 25 0 1 0 55956783 57778176 13490 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 14106 13490 392 324 0 13175 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 56424 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1713540/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=60580 CPUtime=582.16 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 4151515 0 2 0 56723 1493 0 0 25 0 1 0 55956783 62033920 14526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 15111 14526 392 324 0 14180 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 60580 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1701508/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=72480 CPUtime=642.15 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 4594486 0 2 0 62555 1660 0 0 25 0 1 0 55956783 74219520 17476 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 18120 17476 392 324 0 17189 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 72480 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1656580/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=117472 CPUtime=882.09 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 6247541 0 2 0 85930 2279 0 0 25 0 1 0 55956783 120291328 28781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 29368 28781 392 324 0 28437 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 117472 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1636932/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=136880 CPUtime=942.08 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 6712996 0 2 0 91754 2454 0 0 25 0 1 0 55956783 140165120 33635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 34220 33635 392 324 0 33289 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 136880 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1630724/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=143140 CPUtime=1002.06 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 7157206 0 2 0 97594 2612 0 0 25 0 1 0 55956783 146575360 35151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 35785 35151 392 324 0 34854 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 143140 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1618820/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=154536 CPUtime=1062.05 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 7623694 0 2 0 103425 2780 0 0 25 0 1 0 55956783 158244864 38100 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134765899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 38634 38100 392 324 0 37703 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 154536 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1608580/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=164776 CPUtime=1122.04 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 8095910 0 2 0 109258 2946 0 0 25 0 1 0 55956783 168730624 40651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 41194 40651 392 324 0 40263 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 164776 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1596100/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=177840 CPUtime=1182.03 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 8962706 0 2 0 114957 3246 0 0 25 0 1 0 55956783 182108160 43857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135188176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 44460 43857 392 324 0 43529 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 177840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1583940/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=189868 CPUtime=1242.02 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 9328471 0 2 0 120817 3385 0 0 25 0 1 0 55956783 194424832 46843 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134823988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 47467 46843 392 324 0 46536 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 189868 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1572356/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=200748 CPUtime=1302.01 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 9745949 0 2 0 126655 3546 0 0 25 0 1 0 55956783 205565952 49653 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 50187 49653 392 324 0 49256 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 200748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1556932/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=216504 CPUtime=1361.99 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 10211197 0 2 0 132487 3712 0 0 25 0 1 0 55956783 221700096 53564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 54126 53564 392 324 0 53195 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 216504 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1541060/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=232436 CPUtime=1421.97 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 10633996 0 2 0 138331 3866 0 0 25 0 1 0 55956783 238014464 57483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 58109 57483 392 324 0 57178 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 232436 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1523396/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=250096 CPUtime=1481.96 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 11054131 0 2 0 144180 4016 0 0 25 0 1 0 55956783 256098304 61959 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 62524 61959 392 324 0 61593 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 250096 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1507332/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=266064 CPUtime=1541.95 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 11451539 0 2 0 150031 4164 0 0 25 0 1 0 55956783 272449536 65933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 66516 65933 392 324 0 65585 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 266064 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1491140/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=282736 CPUtime=1601.93 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 12224046 0 2 0 155751 4442 0 0 25 0 1 0 55956783 289521664 70005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134689364 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 70684 70005 392 324 0 69753 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 282736 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1474820/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=298368 CPUtime=1661.92 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 13520868 0 2 0 161316 4876 0 0 25 0 1 0 55956783 305528832 74026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135447836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 74592 74026 392 324 0 73661 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 298368 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15154 /proc/meminfo: memFree=1452996/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=319920 CPUtime=1721.9 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 14604775 0 2 0 166941 5249 0 0 25 0 1 0 55956783 327598080 79445 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 79980 79445 392 324 0 79049 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 319920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 15322 /proc/meminfo: memFree=1441348/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=330656 CPUtime=1781.82 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194304 15238028 0 2 0 172704 5478 0 0 25 0 1 0 55956783 338591744 82068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 82664 82068 392 324 0 81733 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 330656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15352 /proc/meminfo: memFree=1453052/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=0 CPUtime=1800 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194308 15366090 0 2 0 174471 5529 0 0 17 0 1 0 55956783 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15352 /proc/meminfo: memFree=1453052/2055920 swapFree=4182956/4192956 [pid=15153] ppid=15151 vsize=0 CPUtime=1800 /proc/15153/stat : 15153 (bsolo3.0.16) R 15151 15153 14387 0 -1 4194308 15366090 0 2 0 174471 5529 0 0 17 0 1 0 55956783 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15153/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.06 CPU user time (s): 1744.72 CPU system time (s): 55.3426 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 333496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.72 system time used= 55.3426 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15366090 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 2641 runsolver used 1.37379 second user time and 3.60045 second system time The end
Begin job on node52 on Thu Apr 19 19:31:57 UTC 2007 IDJOB= 362351 IDBENCH= 1553 IDSOLVER= 163 FILE ID= node52/362351-1177011117 PBS_JOBID= 4630531 Free space on /tmp= 66309 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10a.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362351-1177011117/instance-362351-1177011117.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-362351-1177011117 -o ROOT/results/node52/solver-362351-1177011117 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362351-1177011117/instance-362351-1177011117.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1a5dd226c84aa8cc751cd6025cf57c5b RANDOM SEED= 129943511 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1771612 kB Buffers: 16144 kB Cached: 218024 kB SwapCached: 3832 kB Active: 70228 kB Inactive: 174664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1771612 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 4500 kB Writeback: 0 kB Mapped: 16692 kB Slab: 25468 kB Committed_AS: 1636908 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66309 MiB End job on node52 on Thu Apr 19 20:02:00 UTC 2007