Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 22 | 1800.06 | 1800.8 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351382-1176597813/instance-351382-1176597813.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.07/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 1521.55/1522.22 c 100 729 176 15931 90 4623 13703 100 806 0.12 1521.55/1522.22 c 250 729 326 34130 104 4923 15074 250 1724 0.14 1521.55/1522.22 c 475 729 551 56830 103 5374 16582 475 2363 0.20 1521.55/1522.22 c 818 729 894 122374 136 6060 18241 818 2830 0.29 1521.55/1522.22 c 1326 729 1402 172040 122 7076 20066 1326 3471 0.38 1521.55/1522.22 c 2089 729 2165 254750 117 8602 22073 2089 3826 0.55 1521.55/1522.22 c 3235 729 3311 378115 114 10892 24281 3235 4100 0.79 1521.55/1522.22 c 4956 729 5032 639346 127 14336 26710 4956 3665 1.35 1521.55/1522.22 c 7541 729 7617 1111148 145 19505 29382 7541 2750 2.74 1521.55/1522.22 c 11421 729 11497 1696554 147 27266 32321 11421 2601 4.39 1521.55/1522.22 c 17243 729 17319 2774889 160 38910 35554 17243 2270 7.59 1521.55/1522.22 c 25980 729 26056 4307087 165 56383 39110 25980 1983 13.10 1521.55/1522.22 c 39090 729 39166 6658776 170 82601 43022 39090 1029 37.98 1521.55/1522.22 c 58760 729 29060 4816990 165 62391 47325 28984 1090 53.90 1521.55/1522.22 c 88270 729 25522 6614902 259 55316 52058 25446 722 122.23 1521.55/1522.22 c 132540 729 35170 9689239 275 74611 57264 35094 419 316.07 1521.55/1522.22 c 198953 729 57038 16356527 286 118348 62991 56962 285 696.05 1521.55/1522.22 c 298580 729 56002 19801231 353 116275 69291 55926 258 1154.67 1521.55/1522.22 o 22 1521.58 1799.95/1800.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.74 c 356419 729 56045 10669247 190 117065 13457 55969 234 1521.58 1799.95/1800.74 c 356519 729 6914 1081427 156 18800 14803 6838 232 1536.65 1799.95/1800.74 c 356770 729 7165 1101884 153 19307 16284 7089 230 1548.37 1799.95/1800.74 c 357245 729 7640 1155293 151 20256 17913 7564 229 1558.64 1799.95/1800.74 c 358058 729 8456 1238898 146 21888 19705 8380 228 1565.25 1799.95/1800.74 c 359379 729 9777 1400440 143 24532 21676 9701 227 1579.44 1799.95/1800.74 c 361463 729 11863 1668751 140 28702 23844 11787 224 1610.66 1799.95/1800.74 c 364686 729 15086 1950062 129 35147 26229 15010 223 1632.87 1799.95/1800.74 c 369622 729 20022 2656264 132 45021 28852 19946 218 1688.10 1799.95/1800.74 c 377128 729 27528 3966088 144 60031 31738 27452 216 1741.49 1799.95/1800.74 c Resources Exceeded 1799.95/1800.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1799.95/1800.74 v -x29 -x30 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 1799.95/1800.74 v -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1799.95/1800.74 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x991 1799.95/1800.74 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1799.95/1800.74 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 1799.95/1800.74 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1799.95/1800.74 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 1799.95/1800.74 v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 1799.95/1800.74 v -x1360 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 1799.95/1800.74 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1411 -x1412 -x1413 1799.95/1800.74 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1799.95/1800.74 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1799.95/1800.74 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1799.95/1800.74 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 1799.95/1800.74 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 1799.95/1800.74 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 1799.95/1800.74 v -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1799.95/1800.74 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1799.95/1800.74 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1799.95/1800.74 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 1799.95/1800.74 v -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 1799.95/1800.74 v -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 1799.95/1800.74 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 1799.95/1800.74 v -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1799.95/1800.74 v -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 1799.95/1800.74 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 1799.95/1800.74 v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1799.95/1800.74 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1799.95/1800.74 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1799.95/1800.74 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1799.95/1800.74 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1799.95/1800.74 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1799.95/1800.74 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1799.95/1800.74 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1799.95/1800.74 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1799.95/1800.74 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1799.95/1800.74 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1799.95/1800.74 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 1799.95/1800.74 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1799.95/1800.74 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1799.95/1800.74 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1799.95/1800.74 v -x655 -x656 -x657 -x658 -x659 -x660 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 1799.95/1800.74 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 1799.95/1800.74 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1799.95/1800.74 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 1799.95/1800.74 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1799.95/1800.74 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1799.95/1800.74 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1799.95/1800.74 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 1799.95/1800.74 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 1799.95/1800.74 v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 1799.95/1800.74 v -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 1799.95/1800.74 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 1799.95/1800.74 v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 1799.95/1800.74 v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1799.95/1800.74 v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1799.95/1800.74 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1799.95/1800.74 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1799.95/1800.74 v -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1799.95/1800.74 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1799.95/1800.74 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1799.95/1800.74 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1799.95/1800.74 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1799.95/1800.74 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1799.95/1800.74 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1799.95/1800.74 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1799.95/1800.74 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1799.95/1800.74 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1799.95/1800.74 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1799.95/1800.74 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1799.95/1800.74 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1799.95/1800.74 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 x1327 -x1328 x1329 -x1330 1799.95/1800.74 v -x1361 x1362 -x1363 -x1364 -x1365 x1366 -x1367 x1368 -x1369 -x1370 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 1799.95/1800.74 v -x1409 x1410 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1799.95/1800.74 v -x1487 -x1488 1799.95/1800.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.74 c 28 386134 204642 2134385 14767 2698275 14691 214 1800.00 1799.95/1800.74 c Objective: 22 1799.95/1800.74 s SATISFIABLE 1799.95/1800.74 c Total time: 1800 s
OK 22
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-351382-1176597813 -o ROOT/results/node42/solver-351382-1176597813 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351382-1176597813/instance-351382-1176597813.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.91 0.96 0.95 3/64 11707 /proc/meminfo: memFree=1703736/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=11792 CPUtime=0 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 107693143 12075008 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 2948 335 281 324 0 2003 0 [startup+0.080551 s] /proc/loadavg: 0.91 0.96 0.95 3/64 11707 /proc/meminfo: memFree=1703736/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=12292 CPUtime=0.07 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 528 0 0 0 7 0 0 0 18 0 1 0 107693143 12587008 482 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 3073 482 307 324 0 2142 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12292 [startup+0.102555 s] /proc/loadavg: 0.91 0.96 0.95 3/64 11707 /proc/meminfo: memFree=1703736/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=12724 CPUtime=0.09 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 686 0 0 0 9 0 0 0 18 0 1 0 107693143 13029376 636 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 3181 636 332 324 0 2250 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12724 [startup+0.301593 s] /proc/loadavg: 0.91 0.96 0.95 3/64 11707 /proc/meminfo: memFree=1703736/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=6452 CPUtime=0.29 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 1197 0 0 0 28 1 0 0 19 0 1 0 107693143 6606848 1077 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 1613 1077 392 324 0 682 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6452 [startup+0.702668 s] /proc/loadavg: 0.91 0.96 0.95 3/64 11707 /proc/meminfo: memFree=1703736/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=9412 CPUtime=0.69 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 1933 0 0 0 66 3 0 0 22 0 1 0 107693143 9637888 1813 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 2353 1813 392 324 0 1422 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9412 [startup+1.50182 s] /proc/loadavg: 0.91 0.96 0.95 2/65 11708 /proc/meminfo: memFree=1696048/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=14324 CPUtime=1.49 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 3153 0 0 0 143 6 0 0 25 0 1 0 107693143 14667776 3033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 3581 3033 392 324 0 2650 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14324 [startup+3.10113 s] /proc/loadavg: 0.92 0.96 0.95 3/65 11708 /proc/meminfo: memFree=1689584/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=21428 CPUtime=3.08 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 4927 0 0 0 299 9 0 0 25 0 1 0 107693143 21942272 4807 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 5357 4807 392 324 0 4426 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21428 [startup+6.30174 s] /proc/loadavg: 0.92 0.96 0.95 2/65 11708 /proc/meminfo: memFree=1673976/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=36916 CPUtime=6.29 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 8801 0 0 0 612 17 0 0 25 0 1 0 107693143 37801984 8681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 9229 8681 392 324 0 8298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36916 [startup+12.702 s] /proc/loadavg: 0.93 0.96 0.95 2/65 11708 /proc/meminfo: memFree=1648056/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=61532 CPUtime=12.69 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 14949 0 0 0 1244 25 0 0 25 0 1 0 107693143 63008768 14829 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 15383 14829 392 324 0 14452 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61532 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.95 2/65 11708 /proc/meminfo: memFree=1624504/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=82928 CPUtime=25.48 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 20319 0 0 0 2515 33 0 0 25 0 1 0 107693143 84918272 20199 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 20732 20199 392 324 0 19801 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82928 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.95 2/65 11708 /proc/meminfo: memFree=1603896/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=103076 CPUtime=51.07 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 25391 0 0 0 5058 49 0 0 25 0 1 0 107693143 105549824 25227 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 25769 25227 392 324 0 24838 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 103076 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1560952/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=145864 CPUtime=102.26 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 36149 0 0 0 10160 66 0 0 25 0 1 0 107693143 149364736 35937 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 36466 35937 392 324 0 35535 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 145864 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1560952/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=145864 CPUtime=162.23 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 36149 0 0 0 16150 73 0 0 25 0 1 0 107693143 149364736 35937 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 36466 35937 392 324 0 35535 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 145864 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1524984/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=182176 CPUtime=222.21 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 45196 0 0 0 22135 86 0 0 25 0 1 0 107693143 186548224 44984 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 45544 44984 392 324 0 44613 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 182176 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489464/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217340 CPUtime=282.19 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54061 0 0 0 28124 95 0 0 25 0 1 0 107693143 222556160 53796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54335 53796 392 324 0 53404 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 217340 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489464/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217340 CPUtime=342.16 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54061 0 0 0 34111 105 0 0 25 0 1 0 107693143 222556160 53796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54335 53796 392 324 0 53404 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 217340 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489464/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217356 CPUtime=402.14 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54065 0 0 0 40104 110 0 0 25 0 1 0 107693143 222572544 53800 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54339 53800 392 324 0 53408 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 217356 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489464/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217360 CPUtime=462.12 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54066 0 0 0 46097 115 0 0 25 0 1 0 107693143 222576640 53801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54340 53801 392 324 0 53409 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 217360 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489464/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217360 CPUtime=522.1 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54066 0 0 0 52089 121 0 0 25 0 1 0 107693143 222576640 53801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54340 53801 392 324 0 53409 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 217360 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489528/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217360 CPUtime=582.08 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54066 0 0 0 58080 128 0 0 25 0 1 0 107693143 222576640 53801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54340 53801 392 324 0 53409 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 217360 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11708 /proc/meminfo: memFree=1489528/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=217360 CPUtime=642.06 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 54066 0 0 0 64076 130 0 0 25 0 1 0 107693143 222576640 53801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 54340 53801 392 324 0 53409 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 217360 ################ # More data... # ################ /proc/meminfo: memFree=1471816/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=233952 CPUtime=1061.87 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 58344 0 0 0 106013 174 0 0 25 0 1 0 107693143 239566848 57953 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 58488 57953 392 324 0 57557 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 233952 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1463992/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=242872 CPUtime=1121.8 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 60572 0 0 0 112001 179 0 0 25 0 1 0 107693143 248700928 60181 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 12838741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 60718 60181 392 324 0 59787 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 242872 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1418616/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=289360 CPUtime=1181.78 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 72173 0 0 0 117984 194 0 0 25 0 1 0 107693143 296304640 71782 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 72340 71782 392 324 0 71409 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 289360 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405176/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1241.75 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 123974 201 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 301204 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405176/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1301.74 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 129969 205 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 301204 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405304/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1361.72 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 135964 208 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 301204 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405368/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1421.69 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 141959 210 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 301204 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405368/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1481.66 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 147954 212 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 301204 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405432/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1541.64 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 153950 214 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 301204 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405432/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1601.62 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 159944 218 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134709733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 301204 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405432/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1661.6 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75222 0 0 0 165939 221 0 0 25 0 1 0 107693143 308432896 74761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135447851 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74761 392 324 0 74370 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 301204 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405432/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1721.58 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 171933 225 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134595648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 301204 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405432/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1781.55 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 177927 228 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134709977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 301204 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405496/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1791.16 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 178887 229 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 301204 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405496/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1794.36 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 179207 229 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 301204 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405496/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1797.55 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 179526 229 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 301204 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405496/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1799.15 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 179686 229 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134824120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1799.15 Current children cumulated vsize (KiB) 301204 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405496/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1799.55 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 179726 229 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134792588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (KiB) 301204 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.95 2/65 11906 /proc/meminfo: memFree=1405496/2055920 swapFree=4192812/4192956 [pid=11707] ppid=11705 vsize=301204 CPUtime=1799.95 /proc/11707/stat : 11707 (bsolo3.0.16) R 11705 11707 11322 0 -1 4194304 75223 0 0 0 179766 229 0 0 25 0 1 0 107693143 308432896 74762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11707/statm: 75301 74762 392 324 0 74370 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 301204 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.06 CPU user time (s): 1797.71 CPU system time (s): 2.34664 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 301484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.71 system time used= 2.34664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75224 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= 1875 runsolver used 1.23381 second user time and 3.74043 second system time The end
Begin job on node42 on Sun Apr 15 00:43:33 UTC 2007 IDJOB= 351382 IDBENCH= 1738 IDSOLVER= 163 FILE ID= node42/351382-1176597813 PBS_JOBID= 4556986 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/351382-1176597813/instance-351382-1176597813.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-351382-1176597813 -o ROOT/results/node42/solver-351382-1176597813 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351382-1176597813/instance-351382-1176597813.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4cf38d6355be5633005fa8af147e26d0 RANDOM SEED= 350901859 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1704144 kB Buffers: 34856 kB Cached: 211100 kB SwapCached: 0 kB Active: 70184 kB Inactive: 191920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1704144 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4448 kB Writeback: 0 kB Mapped: 26284 kB Slab: 75704 kB Committed_AS: 163240 kB PageTables: 1408 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= 66560 MiB End job on node42 on Sun Apr 15 01:13:34 UTC 2007