Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 20581388 | 1800.11 | 1800.7 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb |
MD5SUM | 76c0eb5e4f8bf9449c4bca06a067ffea |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15325184 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15325184 |
Optimality of the best value was proved | NO |
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 | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 515495338528 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 515495338528 |
Number of bits of the biggest sum of numbers | 39 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433138-1177955380/instance-433138-1177955380.opb 0.00/0.00 c File size is 155872 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.01/0.02 c Highest Coefficient sum: 5.15495e+11 0.01/0.02 c Parsing was ok!! 0.01/0.02 c Total parsing time: 0.025 s 0.01/0.03 c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140 0.01/0.03 c Obj. Vars: 3100 (100 % of total variables) 0.01/0.06 c Pre-processing Time: 0.058 s 0.01/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.06 c 0 1387 140 15100 107 9160 30200 0 0 0.06 0.01/0.06 o 20581388 0.065 1800.00/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.60 c 17 1387 158 18267 115 11060 32974 18 257 0.07 1800.00/1800.60 c 117 1387 258 30353 117 11182 36272 118 1329 0.09 1800.00/1800.60 c 374 1387 515 83067 161 11967 39900 375 1789 0.21 1800.00/1800.60 c 850 1387 991 212599 214 12899 43891 851 1717 0.49 1800.00/1800.60 c 1664 1387 1805 276956 153 14244 48281 1665 2540 0.66 1800.00/1800.60 c 2985 1387 3126 528678 169 17202 53110 2986 2222 1.34 1800.00/1800.60 c 5066 1387 5207 957711 183 21423 58422 5067 1893 2.68 1800.00/1800.60 c 8289 1387 8430 1982348 235 28004 64265 8290 1037 7.99 1800.00/1800.60 c 13226 1387 13367 3170671 237 37794 70692 13227 968 13.66 1800.00/1800.60 c 20734 1387 20875 5739199 274 52826 77762 20735 838 24.73 1800.00/1800.60 c 32098 1387 32239 9332720 289 75450 85539 32099 772 41.54 1800.00/1800.60 c 49244 1387 49385 14674858 297 109800 94093 49245 523 94.03 1800.00/1800.60 c 75063 1387 75204 29733309 395 161395 103503 75064 328 228.53 1800.00/1800.60 c 113895 1387 20191 6964561 344 51387 113854 20051 300 378.45 1800.00/1800.60 c 172247 1387 78543 27085545 344 167962 125240 78403 261 659.26 1800.00/1800.60 c 259879 1387 51059 20441356 400 112912 137765 50919 238 1091.34 1800.00/1800.60 c 391431 1387 55045 10906852 198 121003 151542 54905 236 1658.09 1800.00/1800.60 c Caught signal: 15 1800.00/1800.60 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 1800.00/1800.60 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 1800.00/1800.60 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.00/1800.60 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.00/1800.60 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.00/1800.60 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 1800.00/1800.60 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1800.00/1800.60 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.00/1800.60 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.00/1800.60 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.00/1800.60 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 1800.00/1800.60 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.00/1800.60 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.00/1800.60 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1800.00/1800.60 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 1800.00/1800.60 v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 1800.00/1800.60 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 1800.00/1800.60 v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 1800.00/1800.60 v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 1800.00/1800.60 v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 1800.00/1800.60 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 1800.00/1800.60 v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.00/1800.60 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1800.00/1800.60 v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1800.00/1800.60 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 1800.00/1800.60 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 1800.00/1800.60 v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 1800.00/1800.60 v -x306 -x307 -x308 -x309 -x310 x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 1800.00/1800.60 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 1800.00/1800.60 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.00/1800.60 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.00/1800.60 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.00/1800.60 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.00/1800.60 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.00/1800.60 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.00/1800.60 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.00/1800.60 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.00/1800.60 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.00/1800.60 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.00/1800.60 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.00/1800.60 v -x609 -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.00/1800.60 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.00/1800.60 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.00/1800.60 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 1800.00/1800.60 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.00/1800.60 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 1800.00/1800.60 v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.00/1800.60 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 1800.00/1800.60 v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 1800.00/1800.60 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 1800.00/1800.60 v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 1800.00/1800.60 v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1800.00/1800.60 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 1800.00/1800.60 v x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.00/1800.60 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 1800.00/1800.60 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 1800.00/1800.60 v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 1800.00/1800.60 v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 1800.00/1800.60 v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1800.00/1800.60 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 1800.00/1800.60 v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 1800.00/1800.60 v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 1800.00/1800.60 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.00/1800.60 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1800.00/1800.60 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 1800.00/1800.60 v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.00/1800.60 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1800.00/1800.60 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.00/1800.60 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.00/1800.60 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.00/1800.60 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1800.00/1800.60 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1800.00/1800.60 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1800.00/1800.60 v -x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.00/1800.60 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.00/1800.60 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1800.00/1800.60 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.00/1800.60 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.00/1800.60 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.00/1800.60 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.00/1800.60 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.00/1800.60 v -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 -x1481 -x1482 -x1483 -x1484 1800.00/1800.60 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.00/1800.60 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.00/1800.60 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535 1800.00/1800.60 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1800.00/1800.60 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1800.00/1800.60 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.00/1800.60 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1800.00/1800.60 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.00/1800.60 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1800.00/1800.60 v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1800.00/1800.60 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1800.00/1800.60 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.00/1800.60 v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.00/1800.60 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 1800.00/1800.60 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1800.00/1800.60 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1800.00/1800.60 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 1800.00/1800.60 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.00/1800.60 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.00/1800.60 v -x1839 -x1840 -x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.00/1800.60 v -x1857 -x1858 -x1859 -x1860 x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872 -x1873 -x1874 -x1875 1800.00/1800.60 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.00/1800.60 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.00/1800.60 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1800.00/1800.60 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1800.00/1800.60 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.00/1800.60 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1800.00/1800.60 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1800.00/1800.60 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 1800.00/1800.60 v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 1800.00/1800.60 v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 1800.00/1800.60 v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 1800.00/1800.60 v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 -x2111 1800.00/1800.60 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.00/1800.60 v -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 -x2145 -x2146 1800.00/1800.60 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.00/1800.60 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.00/1800.60 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.00/1800.60 v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.00/1800.60 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.00/1800.60 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.00/1800.60 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.00/1800.60 v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.00/1800.60 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.00/1800.60 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.00/1800.60 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.00/1800.60 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.00/1800.60 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.00/1800.60 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 1800.00/1800.60 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 1800.00/1800.60 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 1800.00/1800.60 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 1800.00/1800.60 v x2467 x2468 x2469 x2470 x2471 x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 1800.00/1800.60 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 1800.00/1800.60 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 1800.00/1800.60 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.00/1800.60 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.00/1800.60 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.00/1800.60 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1800.00/1800.60 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 1800.00/1800.60 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1800.00/1800.60 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 1800.00/1800.60 v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.00/1800.60 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 1800.00/1800.60 v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 1800.00/1800.60 v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 1800.00/1800.60 v -x2736 -x2737 -x2738 -x2739 -x2740 x2741 x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 1800.00/1800.60 v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1800.00/1800.60 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.00/1800.60 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1800.00/1800.60 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1800.00/1800.60 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1800.00/1800.60 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.00/1800.60 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1800.00/1800.60 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.00/1800.60 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.00/1800.60 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.00/1800.60 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.00/1800.60 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.00/1800.60 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.00/1800.60 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.00/1800.60 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 x3068 1800.00/1800.60 v -x3079 x3090 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.00/1800.60 v -x3020 x3021 x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 1800.00/1800.60 v -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3047 -x3048 -x3049 x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 1800.00/1800.60 v -x3060 x3061 x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.00/1800.60 v -x3080 x3081 x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.00/1800.60 v -x3099 -x3100 1800.00/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.61 c 17 472858 34502 586701 136472 24614866 136332 262 1800.01 1800.00/1800.61 c Objective: 20581388 1800.00/1800.61 s SATISFIABLE 1800.00/1800.61 c Total time: 1800.01 s
OK 20581388
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-433138-1177955380 -o ROOT/results/node18/solver-433138-1177955380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433138-1177955380/instance-433138-1177955380.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.97 0.91 3/77 4182 /proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=11892 CPUtime=0 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243455371 12177408 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 2973 333 279 324 0 2004 0 [startup+0.0235229 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4182 /proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=12336 CPUtime=0.01 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 489 0 0 0 1 0 0 0 18 0 1 0 243455371 12632064 459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 3084 460 309 324 0 2115 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12336 [startup+0.101531 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4182 /proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=5188 CPUtime=0.09 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 737 0 0 0 9 0 0 0 18 0 1 0 243455371 5312512 665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 1297 666 310 324 0 367 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5188 [startup+0.30155 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4182 /proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=6352 CPUtime=0.29 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 1032 0 0 0 29 0 0 0 19 0 1 0 243455371 6504448 960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 1588 960 311 324 0 658 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6352 [startup+0.701588 s] /proc/loadavg: 0.92 0.97 0.91 3/77 4182 /proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=8684 CPUtime=0.69 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 1619 0 0 0 68 1 0 0 22 0 1 0 243455371 8892416 1547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 2171 1547 311 324 0 1241 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8684 [startup+1.50167 s] /proc/loadavg: 0.92 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1824504/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=12560 CPUtime=1.49 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 2601 0 0 0 148 1 0 0 25 0 1 0 243455371 12861440 2529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 3140 2529 311 324 0 2210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12560 [startup+3.10182 s] /proc/loadavg: 0.93 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1818872/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=19012 CPUtime=3.09 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 4208 0 0 0 307 2 0 0 25 0 1 0 243455371 19468288 4136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 4753 4136 311 324 0 3823 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19012 [startup+6.30113 s] /proc/loadavg: 0.93 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1809528/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=26844 CPUtime=6.29 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 6163 0 0 0 626 3 0 0 25 0 1 0 243455371 27488256 6091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 6711 6091 311 324 0 5781 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26844 [startup+12.7017 s] /proc/loadavg: 0.93 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1791992/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=44232 CPUtime=12.68 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 10519 0 0 0 1264 4 0 0 25 0 1 0 243455371 45293568 10447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 11058 10447 311 324 0 10128 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44232 [startup+25.502 s] /proc/loadavg: 0.95 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1753016/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=82608 CPUtime=25.48 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 20085 0 0 0 2540 8 0 0 25 0 1 0 243455371 84590592 20013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 20652 20013 311 324 0 19722 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82608 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1682808/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=152656 CPUtime=51.07 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 37604 0 0 0 5089 18 0 0 25 0 1 0 243455371 156319744 37532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 38164 37532 311 324 0 37234 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 152656 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1620408/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=214116 CPUtime=102.26 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 52972 0 0 0 10195 31 0 0 25 0 1 0 243455371 219254784 52900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 53529 52900 311 324 0 52599 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 214116 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1520632/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=314176 CPUtime=162.24 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 77994 0 0 0 16179 45 0 0 25 0 1 0 243455371 321716224 77922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 78544 77922 311 324 0 77614 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 314176 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1450104/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=383900 CPUtime=222.23 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 95419 0 0 0 22168 55 0 0 25 0 1 0 243455371 393113600 95347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 95975 95347 311 324 0 95045 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 383900 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1371448/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=463272 CPUtime=282.21 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 115269 0 0 0 28152 69 0 0 25 0 1 0 243455371 474390528 115197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 115818 115197 311 324 0 114888 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 463272 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1312504/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=521616 CPUtime=342.19 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 129843 0 0 0 34139 80 0 0 25 0 1 0 243455371 534134784 129771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 130404 129771 311 324 0 129474 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 521616 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1302264/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=531380 CPUtime=402.17 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 40135 82 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 132845 132208 311 324 0 131915 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 531380 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1302264/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=531380 CPUtime=462.16 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 46133 83 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 132845 132208 311 324 0 131915 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 531380 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1302328/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=531380 CPUtime=522.14 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 52131 83 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 132845 132208 311 324 0 131915 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 531380 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4183 /proc/meminfo: memFree=1302328/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=531380 CPUtime=582.12 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 58129 83 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 132845 132208 311 324 0 131915 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 531380 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 3/78 4183 /proc/meminfo: memFree=1302456/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=531380 CPUtime=642.11 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 64127 84 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 132845 132208 311 324 0 131915 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 531380 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1291832/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=542312 CPUtime=821.97 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 135137 0 0 0 82108 89 0 0 25 0 1 0 243455371 555327488 134961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 135578 134961 311 324 0 134648 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 542312 [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1254968/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=578492 CPUtime=881.95 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 144174 0 0 0 88099 96 0 0 25 0 1 0 243455371 592375808 143998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 144623 143998 311 324 0 143693 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 578492 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236856/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=941.93 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 94094 99 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 596324 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236920/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1001.92 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 100092 100 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 596324 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1061.9 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 106090 100 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 596324 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1121.88 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 112088 100 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 596324 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1237048/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1181.87 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 118086 101 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 596324 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1237112/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1241.85 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 124084 101 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 596324 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1237176/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1301.84 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 130082 102 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 596324 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1237112/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596324 CPUtime=1361.81 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 136079 102 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149081 148453 311 324 0 148151 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 596324 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1237048/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596344 CPUtime=1421.81 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148760 0 0 0 142078 103 0 0 25 0 1 0 243455371 610656256 148459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149086 148459 311 324 0 148156 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 596344 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596368 CPUtime=1481.78 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148766 0 0 0 148075 103 0 0 25 0 1 0 243455371 610680832 148465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149092 148465 311 324 0 148162 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 596368 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596372 CPUtime=1541.77 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 154073 104 0 0 25 0 1 0 243455371 610684928 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149093 148466 311 324 0 148163 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 596372 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1237048/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596340 CPUtime=1601.75 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 160071 104 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149085 148466 311 324 0 148155 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 596340 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596340 CPUtime=1661.73 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 166069 104 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149085 148466 311 324 0 148155 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 596340 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596340 CPUtime=1721.72 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 172067 105 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149085 148466 311 324 0 148155 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 596340 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236920/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596340 CPUtime=1781.7 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 178065 105 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149085 148466 311 324 0 148155 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 596340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4381 /proc/meminfo: memFree=1236920/2055920 swapFree=4147196/4192956 [pid=4182] ppid=4180 vsize=596340 CPUtime=1800 /proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 179895 105 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4182/statm: 149085 148466 311 324 0 148155 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 596340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.7 CPU time (s): 1800.11 CPU user time (s): 1798.96 CPU system time (s): 1.14782 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 596824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.96 system time used= 1.14783 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148771 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= 12 involuntary context switches= 25003 runsolver used 1.48777 second user time and 3.73943 second system time The end
Begin job on node18 on Mon Apr 30 17:49:40 UTC 2007 IDJOB= 433138 IDBENCH= 2290 IDSOLVER= 199 FILE ID= node18/433138-1177955380 PBS_JOBID= 4727671 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433138-1177955380/instance-433138-1177955380.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-433138-1177955380 -o ROOT/results/node18/solver-433138-1177955380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433138-1177955380/instance-433138-1177955380.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 76c0eb5e4f8bf9449c4bca06a067ffea RANDOM SEED= 107911708 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1831648 kB Buffers: 36328 kB Cached: 97856 kB SwapCached: 14328 kB Active: 57636 kB Inactive: 100204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831648 kB SwapTotal: 4192956 kB SwapFree: 4147196 kB Dirty: 6760 kB Writeback: 0 kB Mapped: 30844 kB Slab: 51960 kB Committed_AS: 5537872 kB PageTables: 1780 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= 66558 MiB End job on node18 on Mon Apr 30 18:19:43 UTC 2007