Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 6081531 | 1800.14 | 1800.71 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb |
MD5SUM | b5587ac28cf407bbfa21e21c74984478 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3806208 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3581952 |
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 | 511129031204 |
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 | 511129031204 |
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/433128-1177955275/instance-433128-1177955275.opb 0.00/0.00 c File size is 155852 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Highest Coefficient sum: 5.11129e+11 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.025 s 0.00/0.03 c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140 0.00/0.03 c Obj. Vars: 3100 (100 % of total variables) 0.03/0.06 c Pre-processing Time: 0.057 s 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 0 1392 140 15100 107 9159 30200 0 0 0.06 0.03/0.07 o 6081531 0.072 1800.04/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.60 c 69 1392 210 23671 112 11155 32984 70 945 0.07 1800.04/1800.60 c 169 1392 310 34813 112 11413 36283 170 1920 0.09 1800.04/1800.60 c 419 1392 560 88842 158 11960 39912 420 1798 0.23 1800.04/1800.60 c 894 1392 1035 206549 199 13079 43904 895 1616 0.55 1800.04/1800.60 c 1714 1392 1855 499435 269 14712 48295 1715 1632 1.05 1800.04/1800.60 c 3034 1392 3175 884807 278 17186 53125 3035 1641 1.85 1800.04/1800.60 c 5116 1392 5257 1349077 256 21481 58438 5117 1722 2.97 1800.04/1800.60 c 8340 1392 8481 2780664 327 27957 64282 8341 1168 7.14 1800.04/1800.60 c 13277 1392 13418 4229268 315 37826 70711 13278 944 14.06 1800.04/1800.60 c 20784 1392 20925 6853997 327 52817 77783 20785 659 31.50 1800.04/1800.60 c 32145 1392 32286 12712141 393 75420 85562 32146 479 67.08 1800.04/1800.60 c 49289 1392 49430 18466779 373 109885 94119 49290 414 119.05 1800.04/1800.60 c 75109 1392 75250 26994801 358 161437 103531 75110 402 186.74 1800.04/1800.60 c 113943 1392 20260 6366835 314 51448 113885 20120 321 354.12 1800.04/1800.60 c 172296 1392 78613 31280351 397 168381 125274 78473 319 538.94 1800.04/1800.60 c 259929 1392 51168 12217014 238 113086 137802 51028 288 900.38 1800.04/1800.60 c 391483 1392 55536 22120628 398 122099 151583 55396 251 1554.43 1800.04/1800.60 c Caught signal: 15 1800.04/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.04/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.04/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.04/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.04/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.04/1800.60 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 1800.04/1800.60 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 1800.04/1800.60 v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1800.04/1800.60 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.04/1800.60 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1800.04/1800.60 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1800.04/1800.60 v -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.04/1800.60 v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 1800.04/1800.60 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 1800.04/1800.60 v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.04/1800.60 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1800.04/1800.60 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1800.04/1800.60 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.04/1800.60 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1800.04/1800.60 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1800.04/1800.60 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.04/1800.60 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.04/1800.60 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 1800.04/1800.60 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1800.04/1800.60 v -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 1800.04/1800.60 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1800.04/1800.60 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 1800.04/1800.60 v -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 1800.04/1800.60 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.04/1800.60 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.04/1800.60 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.04/1800.60 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1800.04/1800.60 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1800.04/1800.60 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1800.04/1800.60 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1800.04/1800.60 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 1800.04/1800.60 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.04/1800.60 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1800.04/1800.60 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.04/1800.60 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.04/1800.60 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1800.04/1800.60 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1800.04/1800.60 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1800.04/1800.60 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 1800.04/1800.60 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1800.04/1800.60 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 1800.04/1800.60 v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.04/1800.60 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 1800.04/1800.60 v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 1800.04/1800.60 v -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1800.04/1800.60 v x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1800.04/1800.60 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 1800.04/1800.60 v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 1800.04/1800.60 v -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 1800.04/1800.60 v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 1800.04/1800.60 v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 1800.04/1800.60 v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 1800.04/1800.60 v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.04/1800.60 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.04/1800.60 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.04/1800.60 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.04/1800.60 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.04/1800.60 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.04/1800.60 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.04/1800.60 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.04/1800.60 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.04/1800.60 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.04/1800.60 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.04/1800.60 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.04/1800.60 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1800.04/1800.60 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.04/1800.60 v -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1800.04/1800.60 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.04/1800.60 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.04/1800.60 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.04/1800.60 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 1800.04/1800.60 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.04/1800.60 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.04/1800.60 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.04/1800.60 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1800.04/1800.60 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.04/1800.60 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 x1484 -x1485 1800.04/1800.60 v -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1800.04/1800.60 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1800.04/1800.60 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.04/1800.60 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1800.04/1800.60 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1800.04/1800.60 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.04/1800.60 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1800.04/1800.60 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1800.04/1800.60 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1800.04/1800.60 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1800.04/1800.60 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 1800.04/1800.60 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.04/1800.60 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.04/1800.60 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.04/1800.60 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.04/1800.60 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.04/1800.60 v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.04/1800.60 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.04/1800.60 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.04/1800.60 v -x1839 -x1840 x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 1800.04/1800.60 v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 1800.04/1800.60 v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1800.04/1800.60 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 1800.04/1800.60 v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.04/1800.60 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.04/1800.60 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.04/1800.60 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.04/1800.60 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.04/1800.60 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.04/1800.60 v -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.04/1800.60 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1800.04/1800.60 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1800.04/1800.60 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1800.04/1800.60 v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 1800.04/1800.60 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 1800.04/1800.60 v x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 1800.04/1800.60 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1800.04/1800.60 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.04/1800.60 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.04/1800.60 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.04/1800.60 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.04/1800.60 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1800.04/1800.60 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 1800.04/1800.60 v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 1800.04/1800.60 v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 1800.04/1800.60 v -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.04/1800.60 v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 1800.04/1800.60 v -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1800.04/1800.60 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 1800.04/1800.60 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1800.04/1800.60 v -x2427 -x2428 -x2429 -x2430 x2431 x2432 x2433 x2434 x2435 x2436 x2437 x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.04/1800.60 v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 1800.04/1800.60 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1800.04/1800.60 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 1800.04/1800.60 v -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 1800.04/1800.60 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 1800.04/1800.60 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 1800.04/1800.60 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.04/1800.60 v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 1800.04/1800.60 v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.04/1800.60 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.04/1800.60 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 1800.04/1800.60 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1800.04/1800.60 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 1800.04/1800.60 v -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 x2712 -x2713 -x2714 -x2715 1800.04/1800.60 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 x2732 x2733 1800.04/1800.60 v x2734 x2735 x2736 x2737 x2738 x2739 x2740 -x2741 x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 1800.04/1800.60 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 1800.04/1800.60 v -x2770 x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 1800.04/1800.60 v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 1800.04/1800.60 v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 1800.04/1800.60 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1800.04/1800.60 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 1800.04/1800.60 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 1800.04/1800.60 v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.04/1800.60 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.04/1800.60 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.04/1800.60 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.04/1800.60 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.04/1800.60 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.04/1800.60 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.04/1800.60 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3013 -x3024 x3035 -x3046 -x3057 x3068 -x3079 1800.04/1800.60 v x3090 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 x3009 -x3010 x3011 -x3012 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 1800.04/1800.60 v -x3021 -x3022 -x3023 -x3025 -x3026 -x3027 -x3028 x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3040 1800.04/1800.60 v -x3041 -x3042 x3043 -x3044 -x3045 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059 -x3060 1800.04/1800.60 v -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 1800.04/1800.60 v x3081 x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3091 x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.04/1800.60 v -x3100 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 17 446776 65480 729532 110829 44602484 110689 248 1800.05 1800.04/1800.61 c Objective: 6081531 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 c Total time: 1800.05 s
OK 6081531
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-433128-1177955275 -o ROOT/results/node70/solver-433128-1177955275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433128-1177955275/instance-433128-1177955275.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.93 0.95 0.93 3/64 17493 /proc/meminfo: memFree=1792568/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=19548 CPUtime=0 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 314 0 0 0 0 0 0 0 18 0 1 0 235064851 20017152 284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8879893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 4887 289 258 324 0 3957 0 [startup+0.043105 s] /proc/loadavg: 0.93 0.95 0.93 3/64 17493 /proc/meminfo: memFree=1792568/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=4920 CPUtime=0.03 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 648 0 0 0 3 0 0 0 18 0 1 0 235064851 5038080 579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 1230 579 303 324 0 300 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4920 [startup+0.10111 s] /proc/loadavg: 0.93 0.95 0.93 3/64 17493 /proc/meminfo: memFree=1792568/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=5196 CPUtime=0.09 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 738 0 0 0 9 0 0 0 18 0 1 0 235064851 5320704 666 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 1299 666 310 324 0 369 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5196 [startup+0.301129 s] /proc/loadavg: 0.93 0.95 0.93 3/64 17493 /proc/meminfo: memFree=1792568/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=6224 CPUtime=0.29 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 1009 0 0 0 29 0 0 0 19 0 1 0 235064851 6373376 937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 1556 937 311 324 0 626 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6224 [startup+0.701169 s] /proc/loadavg: 0.93 0.95 0.93 3/64 17493 /proc/meminfo: memFree=1792568/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=8424 CPUtime=0.69 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 1561 0 0 0 69 0 0 0 23 0 1 0 235064851 8626176 1489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 2106 1489 311 324 0 1176 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8424 [startup+1.50125 s] /proc/loadavg: 0.93 0.95 0.93 2/65 17494 /proc/meminfo: memFree=1785392/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=14048 CPUtime=1.48 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 2945 0 0 0 148 0 0 0 25 0 1 0 235064851 14385152 2873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8845217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 3512 2873 311 324 0 2582 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14048 [startup+3.10141 s] /proc/loadavg: 0.93 0.95 0.93 2/65 17494 /proc/meminfo: memFree=1778672/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=23268 CPUtime=3.09 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 5260 0 0 0 308 1 0 0 25 0 1 0 235064851 23826432 5188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 5817 5188 311 324 0 4887 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23268 [startup+6.30273 s] /proc/loadavg: 0.93 0.96 0.93 2/65 17494 /proc/meminfo: memFree=1761584/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=37704 CPUtime=6.28 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 8857 0 0 0 625 3 0 0 25 0 1 0 235064851 38608896 8785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 9426 8785 311 324 0 8496 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37704 [startup+12.7014 s] /proc/loadavg: 0.94 0.96 0.93 2/65 17494 /proc/meminfo: memFree=1739696/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=57672 CPUtime=12.69 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 13873 0 0 0 1262 7 0 0 25 0 1 0 235064851 59056128 13801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 14418 13801 311 324 0 13488 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57672 [startup+25.5017 s] /proc/loadavg: 0.95 0.96 0.93 2/65 17494 /proc/meminfo: memFree=1709296/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=87100 CPUtime=25.48 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 21236 0 0 0 2538 10 0 0 25 0 1 0 235064851 89190400 21164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 21775 21164 311 324 0 20845 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87100 [startup+51.1012 s] /proc/loadavg: 0.97 0.96 0.93 2/65 17494 /proc/meminfo: memFree=1657584/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=139664 CPUtime=51.07 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 34347 0 0 0 5089 18 0 0 25 0 1 0 235064851 143015936 34275 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 34916 34275 311 324 0 33986 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 139664 [startup+102.304 s] /proc/loadavg: 0.98 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1575344/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=220764 CPUtime=102.26 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 54638 0 0 0 10194 32 0 0 25 0 1 0 235064851 226062336 54566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 55191 54566 311 324 0 54261 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 220764 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1478256/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=318332 CPUtime=162.24 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 79038 0 0 0 16177 47 0 0 25 0 1 0 235064851 325971968 78966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 79583 78966 311 324 0 78653 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 318332 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1411632/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=384180 CPUtime=222.23 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 95485 0 0 0 22162 61 0 0 25 0 1 0 235064851 393400320 95413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 96045 95413 311 324 0 95115 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 384180 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1364784/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=431532 CPUtime=282.21 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 107329 0 0 0 28152 69 0 0 25 0 1 0 235064851 441888768 107257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 107883 107257 311 324 0 106953 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 431532 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1318000/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=477248 CPUtime=342.2 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 118855 0 0 0 34142 78 0 0 25 0 1 0 235064851 488701952 118679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 119312 118679 311 324 0 118382 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 477248 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1318000/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=477248 CPUtime=402.18 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 118855 0 0 0 40140 78 0 0 25 0 1 0 235064851 488701952 118679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 119312 118679 311 324 0 118382 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 477248 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1318064/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=477248 CPUtime=462.17 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 118855 0 0 0 46139 78 0 0 25 0 1 0 235064851 488701952 118679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 119312 118679 311 324 0 118382 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 477248 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17494 /proc/meminfo: memFree=1318064/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=477248 CPUtime=522.15 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 118855 0 0 0 52137 78 0 0 25 0 1 0 235064851 488701952 118679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 119312 118679 311 324 0 118382 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 477248 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17496 /proc/meminfo: memFree=1317552/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=478412 CPUtime=582.13 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 119159 0 0 0 58135 78 0 0 25 0 1 0 235064851 489893888 118983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 119603 118983 311 324 0 118673 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 478412 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 17496 /proc/meminfo: memFree=1256368/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=538824 CPUtime=642.12 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 134259 0 0 0 64124 88 0 0 25 0 1 0 235064851 551755776 134083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8846901 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 134706 134083 311 324 0 133776 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 538824 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.12 1.03 0.95 2/71 17662 /proc/meminfo: memFree=1181416/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=821.99 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 82096 103 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 612032 [startup+882.301 s] /proc/loadavg: 1.07 1.03 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=881.97 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 88093 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 612032 [startup+942.301 s] /proc/loadavg: 1.03 1.03 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=941.95 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 94091 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 612032 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=1001.94 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 100090 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 612032 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=1061.92 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 106088 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 612032 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.95 2/65 17694 /proc/meminfo: memFree=1182640/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=1121.9 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 112086 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 612032 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=1181.89 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 118085 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 612032 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612032 CPUtime=1241.87 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152685 0 0 0 124083 104 0 0 25 0 1 0 235064851 626720768 152384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153008 152384 311 324 0 152078 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 612032 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612044 CPUtime=1301.86 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152688 0 0 0 130082 104 0 0 25 0 1 0 235064851 626733056 152387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153011 152387 311 324 0 152081 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 612044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182576/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612072 CPUtime=1361.84 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152695 0 0 0 136080 104 0 0 25 0 1 0 235064851 626761728 152394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153018 152394 311 324 0 152088 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 612072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612084 CPUtime=1421.83 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 142079 104 0 0 25 0 1 0 235064851 626774016 152397 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153021 152397 311 324 0 152091 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 612084 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=612084 CPUtime=1481.81 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 148077 104 0 0 25 0 1 0 235064851 626774016 152397 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 153021 152397 311 324 0 152091 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 612084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=611780 CPUtime=1541.8 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 154076 104 0 0 25 0 1 0 235064851 626462720 152334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 152945 152334 311 324 0 152015 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 611780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=611780 CPUtime=1601.78 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 160074 104 0 0 25 0 1 0 235064851 626462720 152334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8847201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 152945 152334 311 324 0 152015 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 611780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=611780 CPUtime=1661.77 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 166073 104 0 0 25 0 1 0 235064851 626462720 152334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 152945 152334 311 324 0 152015 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 611780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=611780 CPUtime=1721.75 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 172071 104 0 0 25 0 1 0 235064851 626462720 152334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8845150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 152945 152334 311 324 0 152015 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 611780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=611780 CPUtime=1781.73 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 178069 104 0 0 25 0 1 0 235064851 626462720 152334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 152945 152334 311 324 0 152015 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 611780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/65 17694 /proc/meminfo: memFree=1182512/2055920 swapFree=4183764/4192956 [pid=17493] ppid=17491 vsize=611780 CPUtime=1800.04 /proc/17493/stat : 17493 (bsolo3.0.17) R 17491 17493 16104 0 -1 4194304 152698 0 0 0 179900 104 0 0 25 0 1 0 235064851 626462720 152334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17493/statm: 152945 152334 311 324 0 152015 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 611780 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.71 CPU time (s): 1800.14 CPU user time (s): 1799 CPU system time (s): 1.14083 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 612532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.14083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152702 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= 5113 runsolver used 1.3148 second user time and 3.66044 second system time The end
Begin job on node70 on Mon Apr 30 17:47:55 UTC 2007 IDJOB= 433128 IDBENCH= 2280 IDSOLVER= 199 FILE ID= node70/433128-1177955275 PBS_JOBID= 4727807 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-ran10x10b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433128-1177955275/instance-433128-1177955275.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-433128-1177955275 -o ROOT/results/node70/solver-433128-1177955275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433128-1177955275/instance-433128-1177955275.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b5587ac28cf407bbfa21e21c74984478 RANDOM SEED= 923267394 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1792976 kB Buffers: 4628 kB Cached: 193536 kB SwapCached: 2980 kB Active: 48664 kB Inactive: 160128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792976 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 6896 kB Writeback: 0 kB Mapped: 16592 kB Slab: 40244 kB Committed_AS: 3591168 kB PageTables: 1400 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 node70 on Mon Apr 30 18:17:58 UTC 2007