Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 22 | 1800.09 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-mod013.opb |
MD5SUM | 4cf38d6355be5633005fa8af147e26d0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 451.723 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 1488 |
Total number of constraints | 62 |
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 | 62 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 240 |
Number of terms in the objective function | 1488 |
Biggest coefficient in the objective function | 15208 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525399 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525399 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.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/432736-1177948467/instance-432736-1177948467.opb 0.00/0.00 c File size is 54852 bytes. 0.00/0.01 c Highest Coefficient sum: 525399 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.01 s 0.00/0.01 c Var: 1488 Constr: 76 5/0/71 Lit: 7248 Watch. Lit: 4396 0.00/0.01 c Obj. Vars: 1488 (100 % of total variables) 0.04/0.09 c Pre-processing Time: 0.09 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 729 76 7248 95 4408 12457 0 0 0.09 0.09/0.11 c Initial Lower Bound: 15 0.09/0.11 c Initial Path Cost: 0 1512.83/1513.59 c 100 729 176 15931 90 4623 13703 100 819 0.12 1512.83/1513.59 c 250 729 326 34130 104 4923 15074 250 1760 0.14 1512.83/1513.59 c 475 729 551 56830 103 5374 16582 475 2513 0.19 1512.83/1513.59 c 818 729 894 122374 136 6060 18241 818 2996 0.27 1512.83/1513.59 c 1326 729 1402 172040 122 7076 20066 1326 3673 0.36 1512.83/1513.59 c 2089 729 2165 254750 117 8602 22073 2089 4064 0.51 1512.83/1513.59 c 3235 729 3311 378115 114 10892 24281 3235 4330 0.75 1512.83/1513.59 c 4956 729 5032 639346 127 14336 26710 4956 3850 1.29 1512.83/1513.59 c 7541 729 7617 1111148 145 19505 29382 7541 2845 2.65 1512.83/1513.59 c 11421 729 11497 1696554 147 27266 32321 11421 2686 4.25 1512.83/1513.59 c 17243 729 17319 2774889 160 38910 35554 17243 2314 7.45 1512.83/1513.59 c 25980 729 26056 4307087 165 56383 39110 25980 2003 12.96 1512.83/1513.59 c 39090 729 39166 6658776 170 82601 43022 39090 1037 37.67 1512.83/1513.59 c 58760 729 29060 4816990 165 62391 47325 28984 1098 53.47 1512.83/1513.59 c 88270 729 25522 6614902 259 55316 52058 25446 726 121.46 1512.83/1513.59 c 132540 729 35170 9689239 275 74611 57264 35094 421 314.22 1512.83/1513.59 c 198953 729 57038 16356527 286 118348 62991 56962 287 691.48 1512.83/1513.59 c 298580 729 56002 19801231 353 116275 69291 55926 260 1146.86 1512.83/1513.59 o 22 1512.93 1800.03/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.80 c 356419 729 56045 10669247 190 117065 13457 55969 235 1512.93 1800.03/1800.80 c 356519 729 6914 1082807 156 18798 14803 6838 233 1526.96 1800.03/1800.80 c 356769 729 7164 1105432 154 19301 16284 7088 232 1535.09 1800.03/1800.80 c 357244 729 7649 1169866 152 20272 17913 7573 231 1543.02 1800.03/1800.80 c 358057 729 8462 1274878 150 21899 19705 8386 229 1557.61 1800.03/1800.80 c 359377 729 9782 1437040 146 24541 21676 9706 227 1582.89 1800.03/1800.80 c 361458 729 11863 1694078 142 28703 23844 11787 225 1602.70 1800.03/1800.80 c 364681 729 15086 2231746 147 35147 26229 15010 222 1637.43 1800.03/1800.80 c 369619 729 20024 3154989 157 45024 28852 19948 220 1673.10 1800.03/1800.80 c 377125 729 27530 4096684 148 60037 31738 27454 217 1730.69 1800.03/1800.80 c Caught signal: 15 1800.03/1800.80 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.03/1800.80 v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1800.03/1800.80 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.03/1800.80 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x991 1800.03/1800.80 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1800.03/1800.80 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 1800.03/1800.80 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.03/1800.80 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1800.03/1800.80 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1800.03/1800.80 v -x1360 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 1800.03/1800.80 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1411 -x1412 -x1413 1800.03/1800.80 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.03/1800.80 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.03/1800.80 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1800.03/1800.80 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 1800.03/1800.80 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 1800.03/1800.80 v -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 1800.03/1800.80 v -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1800.03/1800.80 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.03/1800.80 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.03/1800.80 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1800.03/1800.80 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1800.03/1800.80 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1800.03/1800.80 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1800.03/1800.80 v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1800.03/1800.80 v -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 1800.03/1800.80 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 1800.03/1800.80 v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1800.03/1800.80 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.03/1800.80 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.03/1800.80 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.03/1800.80 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.03/1800.80 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.03/1800.80 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.03/1800.80 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.03/1800.80 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.03/1800.80 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.03/1800.80 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.03/1800.80 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.03/1800.80 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.03/1800.80 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.03/1800.80 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.03/1800.80 v -x655 -x656 -x657 -x658 -x659 -x660 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 1800.03/1800.80 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 1800.03/1800.80 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.03/1800.80 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 1800.03/1800.80 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1800.03/1800.80 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1800.03/1800.80 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.03/1800.80 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 1800.03/1800.80 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 1800.03/1800.80 v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 1800.03/1800.80 v -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1800.03/1800.80 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 1800.03/1800.80 v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 1800.03/1800.80 v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1800.03/1800.80 v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.03/1800.80 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.03/1800.80 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1800.03/1800.80 v -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.03/1800.80 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.03/1800.80 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.03/1800.80 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1800.03/1800.80 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.03/1800.80 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1800.03/1800.80 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.03/1800.80 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1800.03/1800.80 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1800.03/1800.80 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1800.03/1800.80 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.03/1800.80 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1800.03/1800.80 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1800.03/1800.80 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 x1327 -x1328 x1329 -x1330 1800.03/1800.80 v -x1361 x1362 -x1363 -x1364 -x1365 x1366 -x1367 x1368 -x1369 -x1370 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 1800.03/1800.80 v -x1409 x1410 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.03/1800.80 v -x1487 -x1488 1800.03/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.80 c 28 387071 200358 2110451 16245 3286907 16169 215 1800.04 1800.03/1800.80 c Objective: 22 1800.03/1800.80 s SATISFIABLE 1800.03/1800.80 c Total time: 1800.04 s
OK 22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-432736-1177948467 -o ROOT/results/node46/solver-432736-1177948467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432736-1177948467/instance-432736-1177948467.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: 1.00 1.00 0.95 3/78 16014 /proc/meminfo: memFree=1741680/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=3828 CPUtime=0 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 149529764 3919872 140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7764856 0 0 4096 0 0 0 0 17 1 0 0 /proc/16014/statm: 957 140 118 324 0 15 0 [startup+0.050251 s] /proc/loadavg: 1.00 1.00 0.95 3/78 16014 /proc/meminfo: memFree=1741680/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=12292 CPUtime=0.04 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 524 0 0 0 4 0 0 0 18 0 1 0 149529764 12587008 480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 3073 480 305 324 0 2143 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12292 [startup+0.10126 s] /proc/loadavg: 1.00 1.00 0.95 3/78 16014 /proc/meminfo: memFree=1741680/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=12656 CPUtime=0.09 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 149529764 12959744 622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 3164 622 334 324 0 2234 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12656 [startup+0.301296 s] /proc/loadavg: 1.00 1.00 0.95 3/78 16014 /proc/meminfo: memFree=1741680/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=6584 CPUtime=0.29 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 1224 0 0 0 29 0 0 0 19 0 1 0 149529764 6742016 1106 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 1646 1106 393 324 0 716 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6584 [startup+0.70137 s] /proc/loadavg: 1.00 1.00 0.95 3/78 16014 /proc/meminfo: memFree=1741680/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=9672 CPUtime=0.69 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 1991 0 0 0 69 0 0 0 23 0 1 0 149529764 9904128 1873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 2418 1873 393 324 0 1488 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9672 [startup+1.50152 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1733672/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=14716 CPUtime=1.49 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 3249 0 0 0 148 1 0 0 25 0 1 0 149529764 15069184 3131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 3679 3131 393 324 0 2749 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14716 [startup+3.10181 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1727080/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=21816 CPUtime=3.08 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 5043 0 0 0 306 2 0 0 25 0 1 0 149529764 22339584 4925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 5454 4925 393 324 0 4524 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21816 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1711736/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=37428 CPUtime=6.29 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 8920 0 0 0 625 4 0 0 25 0 1 0 149529764 38326272 8802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 9357 8802 393 324 0 8427 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37428 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1685496/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=61788 CPUtime=12.69 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 15021 0 0 0 1262 7 0 0 25 0 1 0 149529764 63270912 14903 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 15447 14903 393 324 0 14517 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61788 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1662200/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=83320 CPUtime=25.49 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 20409 0 0 0 2537 12 0 0 25 0 1 0 149529764 85319680 20291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 20830 20291 393 324 0 19900 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83320 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1641912/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=103076 CPUtime=51.06 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 25390 0 0 0 5092 14 0 0 25 0 1 0 149529764 105549824 25228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 25769 25228 393 324 0 24839 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 103076 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1598968/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=145864 CPUtime=102.25 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 36148 0 0 0 10204 21 0 0 25 0 1 0 149529764 149364736 35938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 36466 35938 393 324 0 35536 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 145864 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1598968/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=145864 CPUtime=162.22 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 36148 0 0 0 16201 21 0 0 25 0 1 0 149529764 149364736 35938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 36466 35938 393 324 0 35536 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 145864 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1562168/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=182812 CPUtime=222.21 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 45382 0 0 0 22191 30 0 0 25 0 1 0 149529764 187199488 45172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 45703 45172 393 324 0 44773 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 182812 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1527352/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217340 CPUtime=282.18 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54060 0 0 0 28181 37 0 0 25 0 1 0 149529764 222556160 53797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54335 53797 393 324 0 53405 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 217340 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.95 2/79 16015 /proc/meminfo: memFree=1527352/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217340 CPUtime=342.16 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54060 0 0 0 34179 37 0 0 25 0 1 0 149529764 222556160 53797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54335 53797 393 324 0 53405 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 217340 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/85 16087 /proc/meminfo: memFree=1526216/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217356 CPUtime=402.1 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54064 0 0 0 40172 38 0 0 25 0 1 0 149529764 222572544 53801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54339 53801 393 324 0 53409 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 217356 [startup+462.302 s] /proc/loadavg: 1.15 1.04 0.97 2/79 16213 /proc/meminfo: memFree=1527096/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217360 CPUtime=462.01 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54065 0 0 0 46162 39 0 0 25 0 1 0 149529764 222576640 53802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7912564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54340 53802 393 324 0 53410 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 217360 [startup+522.303 s] /proc/loadavg: 1.05 1.03 0.97 2/79 16213 /proc/meminfo: memFree=1527224/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217360 CPUtime=521.99 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54065 0 0 0 52160 39 0 0 25 0 1 0 149529764 222576640 53802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54340 53802 393 324 0 53410 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 217360 [startup+582.302 s] /proc/loadavg: 1.02 1.02 0.97 2/79 16213 /proc/meminfo: memFree=1527288/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217360 CPUtime=581.97 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54065 0 0 0 58157 40 0 0 25 0 1 0 149529764 222576640 53802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54340 53802 393 324 0 53410 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 217360 [startup+642.302 s] /proc/loadavg: 1.00 1.02 0.97 2/79 16213 /proc/meminfo: memFree=1527288/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=217360 CPUtime=641.95 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 54065 0 0 0 64155 40 0 0 25 0 1 0 149529764 222576640 53802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 54340 53802 393 324 0 53410 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 217360 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1513080/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=231548 CPUtime=821.88 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 57668 0 0 0 82144 44 0 0 25 0 1 0 149529764 237105152 57342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 57887 57342 393 324 0 56957 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 231548 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1513080/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=231548 CPUtime=881.86 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 57668 0 0 0 88142 44 0 0 25 0 1 0 149529764 237105152 57342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 57887 57342 393 324 0 56957 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 231548 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1510584/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=233952 CPUtime=941.83 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 58343 0 0 0 94139 44 0 0 25 0 1 0 149529764 239566848 57954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 58488 57954 393 324 0 57558 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 233952 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1510648/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=233952 CPUtime=1001.81 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 58343 0 0 0 100137 44 0 0 25 0 1 0 149529764 239566848 57954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 58488 57954 393 324 0 57558 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 233952 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1510712/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=233952 CPUtime=1061.8 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 58343 0 0 0 106135 45 0 0 25 0 1 0 149529764 239566848 57954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 58488 57954 393 324 0 57558 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 233952 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1497720/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=247356 CPUtime=1121.77 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 61671 0 0 0 112130 47 0 0 25 0 1 0 149529764 253292544 61282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 61839 61282 393 324 0 60909 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 247356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1449592/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=295536 CPUtime=1181.75 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 73718 0 0 0 118118 57 0 0 25 0 1 0 149529764 302628864 73329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 73884 73329 393 324 0 72954 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 295536 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443256/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1241.73 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75221 0 0 0 124115 58 0 0 25 0 1 0 149529764 308432896 74762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74762 393 324 0 74371 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 301204 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443320/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1301.71 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75221 0 0 0 130113 58 0 0 25 0 1 0 149529764 308432896 74762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74762 393 324 0 74371 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 301204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443384/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1361.68 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75221 0 0 0 136110 58 0 0 25 0 1 0 149529764 308432896 74762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74762 393 324 0 74371 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 301204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443448/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1421.67 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75221 0 0 0 142108 59 0 0 25 0 1 0 149529764 308432896 74762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74762 393 324 0 74371 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 301204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443512/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1481.64 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75221 0 0 0 148105 59 0 0 25 0 1 0 149529764 308432896 74762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74762 393 324 0 74371 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 301204 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443576/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1541.61 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75221 0 0 0 154102 59 0 0 25 0 1 0 149529764 308432896 74762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74762 393 324 0 74371 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 301204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443512/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1601.6 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75223 0 0 0 160100 60 0 0 25 0 1 0 149529764 308432896 74764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74764 394 324 0 74371 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 301204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443512/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1661.58 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75223 0 0 0 166098 60 0 0 25 0 1 0 149529764 308432896 74764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134708039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74764 394 324 0 74371 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 301204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443448/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1721.55 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75223 0 0 0 172095 60 0 0 25 0 1 0 149529764 308432896 74764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135345780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74764 394 324 0 74371 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 301204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443512/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1781.53 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75223 0 0 0 178093 60 0 0 25 0 1 0 149529764 308432896 74764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74764 394 324 0 74371 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 301204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.97 2/79 16213 /proc/meminfo: memFree=1443512/2055920 swapFree=4159800/4192956 [pid=16014] ppid=16012 vsize=301204 CPUtime=1800.03 /proc/16014/stat : 16014 (bsolo3.0.17) R 16012 16014 15411 0 -1 4194304 75223 0 0 0 179943 60 0 0 25 0 1 0 149529764 308432896 74764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134859898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16014/statm: 75301 74764 394 324 0 74371 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 301204 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.87 CPU time (s): 1800.09 CPU user time (s): 1799.43 CPU system time (s): 0.658899 CPU usage (%): 99.9565 Max. virtual memory (cumulated for all children) (KiB): 301484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.658899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75226 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= 13 involuntary context switches= 37771 runsolver used 1.76373 second user time and 4.18336 second system time The end
Begin job on node46 on Mon Apr 30 15:54:28 UTC 2007 IDJOB= 432736 IDBENCH= 1738 IDSOLVER= 199 FILE ID= node46/432736-1177948467 PBS_JOBID= 4727814 Free space on /tmp= 66214 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-mod013.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432736-1177948467/instance-432736-1177948467.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-432736-1177948467 -o ROOT/results/node46/solver-432736-1177948467 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432736-1177948467/instance-432736-1177948467.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 4cf38d6355be5633005fa8af147e26d0 RANDOM SEED= 339841741 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1742216 kB Buffers: 40432 kB Cached: 179024 kB SwapCached: 2972 kB Active: 123364 kB Inactive: 120084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742216 kB SwapTotal: 4192956 kB SwapFree: 4159800 kB Dirty: 6664 kB Writeback: 0 kB Mapped: 31568 kB Slab: 55576 kB Committed_AS: 3557772 kB PageTables: 1992 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= 66214 MiB End job on node46 on Mon Apr 30 16:24:31 UTC 2007