Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | -44 | 1555.29 | 1555.68 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb |
MD5SUM | 62a6bdf0e089cd0b8a79007277394096 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109401 |
Number of constraints which are clauses | 109401 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
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/433096-1177954337/instance-433096-1177954337.opb 0.00/0.00 c File size is 2678526 bytes. 0.39/0.44 c Highest Coefficient sum: 1400 0.39/0.44 c Parsing was ok!! 0.39/0.44 c Total parsing time: 0.445 s 0.39/0.48 c Var: 1400 Constr: 109401 109401/0/0 Lit: 218802 Watch. Lit: 218802 0.39/0.48 c Obj. Vars: 1400 (100 % of total variables) 3.89/3.90 c Pre-processing Time: 3.901 s 3.89/3.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.91 c 0 1400 109401 218802 2 218802 36467 0 0 3.90 3.89/3.91 c Switching off LPR mode. 3.89/3.92 o -40 3.921 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 0 1400 109402 220202 2 218844 37467 1 0 3.93 3.89/3.93 o -41 3.928 29.78/29.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.85 c 1 1400 109404 222961 2 218889 37467 3 0 3.93 29.78/29.85 c 101 1400 109504 358546 3 219089 41214 103 25 4.01 29.78/29.85 c 351 1400 109754 697571 6 219589 45336 353 83 4.21 29.78/29.85 c 826 1400 110229 1341164 12 220539 49870 828 175 4.71 29.78/29.85 c 1639 1400 111042 2442994 22 222165 54858 1641 302 5.42 29.78/29.85 c 2959 1400 112362 4232633 37 224805 60344 2961 396 7.46 29.78/29.85 c 5040 1400 114443 7052885 61 228967 66379 5042 483 10.42 29.78/29.85 c 8263 1400 117666 11422334 97 235413 73017 8265 515 16.04 29.78/29.85 c 13199 1400 122602 18105349 147 245285 80319 13201 442 29.80 29.78/29.85 o -42 29.842 29.78/29.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.89 c 13200 1400 122604 18108106 147 245331 37467 13203 442 29.85 29.78/29.89 o -43 29.878 736.10/736.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 736.10/736.32 c 13206 1400 122611 18117628 147 245388 37467 13210 441 29.88 736.10/736.32 c 13306 1400 122711 18252871 148 245588 41214 13310 443 30.03 736.10/736.32 c 13556 1400 122961 18591286 151 246088 45336 13560 446 30.38 736.10/736.32 c 14032 1400 123437 19235519 155 247040 49870 14036 453 30.94 736.10/736.32 c 14845 1400 124250 20335721 163 248666 54858 14849 460 32.22 736.10/736.32 c 16166 1400 125571 22123992 176 251308 60344 16170 468 34.50 736.10/736.32 c 18247 1400 127652 24940371 195 255470 66379 18251 435 41.91 736.10/736.32 c 21470 1400 130875 29299071 223 261916 73017 21474 424 50.62 736.10/736.32 c 26406 1400 135811 35980260 264 271788 80319 26410 403 65.46 736.10/736.32 c 33912 1400 143317 46133071 321 286800 88351 33916 330 102.68 736.10/736.32 c 45273 1400 154678 61494910 397 309522 97187 45277 259 174.57 736.10/736.32 c 62418 1400 171823 84701094 492 343812 106906 62422 207 300.17 736.10/736.32 c 88238 1400 197643 119645074 605 395452 117597 88242 146 603.88 736.10/736.32 o -44 736.137 1555.02/1555.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1555.02/1555.40 c 96835 1400 206241 131282424 636 412692 37467 96840 131 736.14 1555.02/1555.40 c 96935 1400 121930 17173927 140 243904 41214 12529 109 882.34 1555.02/1555.40 c 97185 1400 122180 17511898 143 244404 45336 12779 110 882.73 1555.02/1555.40 c 97660 1400 122655 18154546 148 245354 49870 13254 110 883.30 1555.02/1555.40 c 98473 1400 123468 19253951 155 246980 54858 14067 111 884.55 1555.02/1555.40 c 99793 1400 124788 21038371 168 249620 60344 15387 112 890.52 1555.02/1555.40 c 101875 1400 126870 23853302 188 253784 66379 17469 113 893.76 1555.02/1555.40 c 105099 1400 130094 28213556 216 260232 73017 20693 116 900.99 1555.02/1555.40 c 110035 1400 135030 34889438 258 270104 80319 25629 120 914.82 1555.02/1555.40 c 117541 1400 142536 45042619 316 285116 88351 33135 123 953.66 1555.02/1555.40 c 128902 1400 153897 60399310 392 307838 97187 44496 125 1023.36 1555.02/1555.40 c 146046 1400 171041 83577365 488 342126 106906 61640 127 1142.65 1555.02/1555.41 c 171866 1400 196861 118483360 601 393766 117597 87460 122 1400.60 1555.02/1555.41 c Caught signal: 15 1555.02/1555.41 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1555.02/1555.41 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1555.02/1555.41 v -x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1555.02/1555.41 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1555.02/1555.41 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1555.02/1555.41 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1555.02/1555.41 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1555.02/1555.41 v -x1281 -x1280 -x1279 -x1278 -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 1555.02/1555.41 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 1555.02/1555.41 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 1555.02/1555.41 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 1555.02/1555.41 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 1555.02/1555.41 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 1555.02/1555.41 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 1555.02/1555.41 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 1555.02/1555.41 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 1555.02/1555.41 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 1555.02/1555.41 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 1555.02/1555.41 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 1555.02/1555.41 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 1555.02/1555.41 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 1555.02/1555.41 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1555.02/1555.41 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 1555.02/1555.41 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 1555.02/1555.41 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 1555.02/1555.41 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1555.02/1555.41 v -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1555.02/1555.41 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1555.02/1555.41 v -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1555.02/1555.41 v -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 1555.02/1555.41 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 1555.02/1555.41 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 1555.02/1555.41 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 1555.02/1555.41 v x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1555.02/1555.41 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1555.02/1555.41 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 1555.02/1555.41 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1555.02/1555.41 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 1555.02/1555.41 v -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1555.02/1555.41 v -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1555.02/1555.41 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 1555.02/1555.41 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1555.02/1555.41 v -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 1555.02/1555.41 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1555.02/1555.41 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 1555.02/1555.41 v -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1555.02/1555.41 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 1555.02/1555.41 v -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1555.02/1555.41 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1555.02/1555.41 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 1555.02/1555.41 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1555.02/1555.41 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 1555.02/1555.41 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 1555.02/1555.41 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1555.02/1555.41 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 1555.02/1555.41 v -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 1555.02/1555.41 v x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 1555.02/1555.41 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 1555.02/1555.41 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1555.02/1555.41 v -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1555.02/1555.41 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1555.02/1555.41 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1555.02/1555.41 v x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1555.02/1555.41 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 1555.02/1555.41 v -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1555.02/1555.41 v -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 1555.02/1555.41 v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 1555.02/1555.41 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 1555.02/1555.41 v -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 1555.02/1555.41 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 1555.02/1555.41 v -x4 -x3 -x2 -x1 1555.02/1555.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1555.02/1555.41 c 37 189911 21677 218265 214906 142883070 105505 122 1555.02 1555.02/1555.41 c Objective: -44 1555.02/1555.41 s SATISFIABLE 1555.02/1555.41 c Total time: 1555.02 s
OK -44
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-433096-1177954337 -o ROOT/results/node48/solver-433096-1177954337 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433096-1177954337/instance-433096-1177954337.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.86 0.97 0.95 3/64 19890 /proc/meminfo: memFree=1870168/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=14352 CPUtime=0 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 150279015 14696448 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 3588 333 279 324 0 2004 0 [startup+0.041143 s] /proc/loadavg: 0.86 0.97 0.95 3/64 19890 /proc/meminfo: memFree=1870168/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=7512 CPUtime=0.03 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 651 0 0 0 3 0 0 0 18 0 1 0 150279015 7692288 621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134528207 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 1878 622 332 324 0 294 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7512 [startup+0.101149 s] /proc/loadavg: 0.86 0.97 0.95 3/64 19890 /proc/meminfo: memFree=1870168/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=9024 CPUtime=0.09 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 1113 0 0 0 9 0 0 0 18 0 1 0 150279015 9240576 1083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 2256 1083 420 324 0 672 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9024 [startup+0.301167 s] /proc/loadavg: 0.86 0.97 0.95 3/64 19890 /proc/meminfo: memFree=1870168/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=13836 CPUtime=0.29 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 2602 0 0 0 28 1 0 0 19 0 1 0 150279015 14168064 2572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 3459 2572 712 324 0 1875 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13836 [startup+0.701204 s] /proc/loadavg: 0.86 0.97 0.95 3/64 19890 /proc/meminfo: memFree=1870168/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=23556 CPUtime=0.69 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 5928 0 0 0 67 2 0 0 22 0 1 0 150279015 24121344 5244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 5889 5244 305 324 0 4959 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23556 [startup+1.50128 s] /proc/loadavg: 0.86 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1850320/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=23556 CPUtime=1.49 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 5928 0 0 0 145 4 0 0 25 0 1 0 150279015 24121344 5244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 5889 5244 305 324 0 4959 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23556 [startup+3.10142 s] /proc/loadavg: 0.86 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1850192/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=23556 CPUtime=3.09 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 5928 0 0 0 302 7 0 0 25 0 1 0 150279015 24121344 5244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 5889 5244 305 324 0 4959 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23556 [startup+6.30172 s] /proc/loadavg: 0.87 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1825496/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=59992 CPUtime=6.29 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 16722 0 0 0 617 12 0 0 25 0 1 0 150279015 61431808 14377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 14998 14377 310 324 0 14068 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59992 [startup+12.7013 s] /proc/loadavg: 0.88 0.97 0.95 3/65 19891 /proc/meminfo: memFree=1744296/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=135544 CPUtime=12.69 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 35619 0 0 0 1248 21 0 0 25 0 1 0 150279015 138797056 33274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 33886 33274 310 324 0 32956 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 135544 [startup+25.5015 s] /proc/loadavg: 0.91 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1644456/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=229936 CPUtime=25.48 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 59200 0 0 0 2517 31 0 0 25 0 1 0 150279015 235454464 56855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 57484 56855 310 324 0 56554 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 229936 [startup+51.1019 s] /proc/loadavg: 0.94 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1482344/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=396028 CPUtime=51.07 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 100723 0 0 0 5060 47 0 0 25 0 1 0 150279015 405532672 98378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 99007 98378 310 324 0 98077 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 396028 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1267048/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=605764 CPUtime=102.26 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 153173 0 0 0 10157 69 0 0 25 0 1 0 150279015 620302336 150828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 151441 150828 310 324 0 150511 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 605764 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=1094184/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=779088 CPUtime=162.25 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 196479 0 0 0 16135 90 0 0 25 0 1 0 150279015 797786112 194134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 194772 194134 310 324 0 193842 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 779088 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=900456/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=971688 CPUtime=222.24 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 244642 0 0 0 22113 111 0 0 25 0 1 0 150279015 995008512 242297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 242922 242297 310 324 0 241992 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 971688 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=801832/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1071216 CPUtime=282.22 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 269524 0 0 0 28100 122 0 0 25 0 1 0 150279015 1096925184 267179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 267804 267179 310 324 0 266874 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1071216 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=656040/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1215772 CPUtime=342.2 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 305672 0 0 0 34081 139 0 0 25 0 1 0 150279015 1244950528 303327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 303943 303327 310 324 0 303013 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1215772 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=556072/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1317828 CPUtime=402.19 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 331181 0 0 0 40068 151 0 0 25 0 1 0 150279015 1349455872 328836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 329457 328836 310 324 0 328527 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1317828 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=461352/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1410436 CPUtime=462.17 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 354329 0 0 0 46056 161 0 0 25 0 1 0 150279015 1444286464 351984 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 352609 351984 310 324 0 351679 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1410436 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=401384/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1470600 CPUtime=522.16 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 369370 0 0 0 52046 170 0 0 25 0 1 0 150279015 1505894400 367025 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 367650 367025 310 324 0 366720 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1470600 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=345768/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1525436 CPUtime=582.14 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 383084 0 0 0 58038 176 0 0 25 0 1 0 150279015 1562046464 380739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 381359 380739 310 324 0 380429 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1525436 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=279336/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1591296 CPUtime=642.13 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 399553 0 0 0 64030 183 0 0 25 0 1 0 150279015 1629487104 397208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 397824 397208 310 324 0 396894 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1591296 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=207016/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1663816 CPUtime=702.12 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 417687 0 0 0 70021 191 0 0 25 0 1 0 150279015 1703747584 415342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 415954 415342 310 324 0 415024 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 1663816 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=762.1 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 76015 195 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1694948 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=822.09 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 82013 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 1694948 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=882.07 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 88011 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1694948 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=942.06 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 94010 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1694948 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1002.04 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 100008 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1694948 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1062.03 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 106007 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1694948 [startup+1122.3 s] /proc/loadavg: 1.07 0.99 0.95 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1122.01 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 112005 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1694948 [startup+1182.3 s] /proc/loadavg: 1.09 1.00 0.96 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1182 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 118004 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1694948 [startup+1242.3 s] /proc/loadavg: 1.16 1.03 0.97 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1241.98 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 124002 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1694948 [startup+1302.3 s] /proc/loadavg: 1.12 1.04 0.97 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1301.97 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 130001 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1694948 [startup+1362.3 s] /proc/loadavg: 1.04 1.03 0.97 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1361.95 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 135999 196 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1694948 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 0.97 2/65 19891 /proc/meminfo: memFree=175400/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1694948 CPUtime=1421.95 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 425539 0 0 0 141998 197 0 0 25 0 1 0 150279015 1735626752 423099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 423737 423099 310 324 0 422807 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1694948 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 0.97 2/65 19891 /proc/meminfo: memFree=112232/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1758820 CPUtime=1481.92 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 441512 0 0 0 147988 204 0 0 25 0 1 0 150279015 1801031680 439072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 439705 439072 310 324 0 438775 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1758820 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 0.97 2/65 19891 /proc/meminfo: memFree=37928/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1832244 CPUtime=1541.91 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 459868 0 0 0 153979 212 0 0 25 0 1 0 150279015 1876217856 457428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 458061 457428 310 324 0 457131 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1832244 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1555.41 s] /proc/loadavg: 1.00 1.01 0.97 2/65 19891 /proc/meminfo: memFree=26792/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=1843248 CPUtime=1555.02 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194304 462631 0 0 0 155289 213 0 0 25 0 1 0 150279015 1887485952 460191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19890/statm: 460812 460191 310 324 0 459882 0 Current children cumulated CPU time (s) 1555.02 Current children cumulated vsize (KiB) 1843248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1555.6 s] /proc/loadavg: 1.00 1.01 0.97 2/65 19891 /proc/meminfo: memFree=26792/2055920 swapFree=4183896/4192956 [pid=19890] ppid=19888 vsize=0 CPUtime=1555.21 /proc/19890/stat : 19890 (bsolo3.0.17) R 19888 19890 19827 0 -1 4194308 462635 0 0 0 155289 232 0 0 18 0 1 0 150279015 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/19890/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1555.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1555.68 CPU time (s): 1555.29 CPU user time (s): 1552.89 CPU system time (s): 2.40064 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1843248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1552.89 system time used= 2.40063 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462635 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= 15 involuntary context switches= 1491 runsolver used 1.27181 second user time and 2.98255 second system time The end
Begin job on node48 on Mon Apr 30 17:32:17 UTC 2007 IDJOB= 433096 IDBENCH= 2248 IDSOLVER= 199 FILE ID= node48/433096-1177954337 PBS_JOBID= 4727690 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433096-1177954337/instance-433096-1177954337.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-433096-1177954337 -o ROOT/results/node48/solver-433096-1177954337 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433096-1177954337/instance-433096-1177954337.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096 RANDOM SEED= 786722810 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1870640 kB Buffers: 12132 kB Cached: 100480 kB SwapCached: 3056 kB Active: 53788 kB Inactive: 68264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870640 kB SwapTotal: 4192956 kB SwapFree: 4183896 kB Dirty: 9444 kB Writeback: 0 kB Mapped: 15420 kB Slab: 49292 kB Committed_AS: 1333912 kB PageTables: 1388 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= 66556 MiB End job on node48 on Mon Apr 30 17:58:14 UTC 2007