Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | -44 | 1556.15 | 1556.6 |
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.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/353514-1176668122/instance-353514-1176668122.opb 0.00/0.00 c File size is 2678526 bytes. 0.39/0.45 c Highest Coefficient sum: 1400 0.39/0.45 c Parsing was ok!! 0.39/0.45 c Total parsing time: 0.446 s 0.39/0.49 c Var: 1400 Constr: 109401 109401/0/0 Lit: 218802 Watch. Lit: 218802 0.39/0.49 c Obj. Vars: 1400 (100 % of total variables) 3.89/3.90 c Pre-processing Time: 3.895 s 3.89/3.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.90 c 0 1400 109401 218802 2 218802 36467 0 0 3.90 3.89/3.90 c Switching off LPR mode. 3.89/3.92 o -40 3.915 3.89/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.92 c 0 1400 109402 220202 2 218844 37467 1 0 3.92 3.89/3.92 o -41 3.922 29.78/29.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.87 c 1 1400 109404 222961 2 218889 37467 3 0 3.93 29.78/29.87 c 101 1400 109504 358546 3 219089 41214 103 25 4.00 29.78/29.87 c 351 1400 109754 697571 6 219589 45336 353 83 4.20 29.78/29.87 c 826 1400 110229 1341164 12 220539 49870 828 175 4.71 29.78/29.87 c 1639 1400 111042 2442994 22 222165 54858 1641 302 5.41 29.78/29.87 c 2959 1400 112362 4232633 37 224805 60344 2961 396 7.46 29.78/29.87 c 5040 1400 114443 7052885 61 228967 66379 5042 482 10.44 29.78/29.87 c 8263 1400 117666 11422334 97 235413 73017 8265 513 16.10 29.78/29.87 c 13199 1400 122602 18105349 147 245285 80319 13201 442 29.82 29.78/29.87 o -42 29.858 29.88/29.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.88/29.90 c 13200 1400 122604 18108106 147 245331 37467 13203 442 29.86 29.88/29.90 o -43 29.895 736.48/736.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 736.48/736.73 c 13206 1400 122611 18117628 147 245388 37467 13210 441 29.90 736.48/736.73 c 13306 1400 122711 18252871 148 245588 41214 13310 442 30.05 736.48/736.73 c 13556 1400 122961 18591286 151 246088 45336 13560 445 30.40 736.48/736.73 c 14032 1400 123437 19235519 155 247040 49870 14036 453 30.97 736.48/736.73 c 14845 1400 124250 20335721 163 248666 54858 14849 460 32.25 736.48/736.73 c 16166 1400 125571 22123992 176 251308 60344 16170 467 34.56 736.48/736.73 c 18247 1400 127652 24940371 195 255470 66379 18251 434 41.98 736.48/736.73 c 21470 1400 130875 29299071 223 261916 73017 21474 423 50.70 736.48/736.73 c 26406 1400 135811 35980260 264 271788 80319 26410 402 65.54 736.48/736.73 c 33912 1400 143317 46133071 321 286800 88351 33916 329 102.80 736.48/736.73 c 45273 1400 154678 61494910 397 309522 97187 45277 259 174.76 736.48/736.73 c 62418 1400 171823 84701094 492 343812 106906 62422 207 300.42 736.48/736.73 c 88238 1400 197643 119645074 605 395452 117597 88242 146 604.29 736.48/736.73 o -44 736.516 1555.85/1556.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1555.85/1556.30 c 96835 1400 206241 131282424 636 412692 37467 96840 131 736.52 1555.85/1556.30 c 96935 1400 121930 17173927 140 243904 41214 12529 109 883.02 1555.85/1556.30 c 97185 1400 122180 17511898 143 244404 45336 12779 110 883.40 1555.85/1556.30 c 97660 1400 122655 18154546 148 245354 49870 13254 110 883.97 1555.85/1556.30 c 98473 1400 123468 19253951 155 246980 54858 14067 111 885.21 1555.85/1556.30 c 99793 1400 124788 21038371 168 249620 60344 15387 111 891.21 1555.85/1556.30 c 101875 1400 126870 23853302 188 253784 66379 17469 113 894.48 1555.85/1556.30 c 105099 1400 130094 28213556 216 260232 73017 20693 116 901.76 1555.85/1556.30 c 110035 1400 135030 34889438 258 270104 80319 25629 120 915.64 1555.85/1556.30 c 117541 1400 142536 45042619 316 285116 88351 33135 123 954.41 1555.85/1556.30 c 128902 1400 153897 60399310 392 307838 97187 44496 125 1024.22 1555.85/1556.30 c 146046 1400 171041 83577365 488 342126 106906 61640 127 1143.37 1555.85/1556.30 c 171866 1400 196861 118483360 601 393766 117597 87460 122 1401.34 1555.85/1556.30 c Caught signal: 15 1555.85/1556.30 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1555.85/1556.30 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1555.85/1556.30 v -x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1555.85/1556.30 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1555.85/1556.30 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1555.85/1556.30 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1555.85/1556.30 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1555.85/1556.30 v -x1281 -x1280 -x1279 -x1278 -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 1555.85/1556.30 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 1555.85/1556.30 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 1555.85/1556.30 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 1555.85/1556.30 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 1555.85/1556.30 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 1555.85/1556.30 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 1555.85/1556.30 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 1555.85/1556.30 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 1555.85/1556.30 v -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 1555.85/1556.30 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 1555.85/1556.30 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 1555.85/1556.30 v -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 1555.85/1556.30 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 1555.85/1556.30 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 1555.85/1556.30 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 1555.85/1556.30 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 1555.85/1556.30 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 1555.85/1556.30 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 1555.85/1556.30 v -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 1555.85/1556.30 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 1555.85/1556.30 v -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 1555.85/1556.30 v -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 1555.85/1556.30 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 1555.85/1556.30 v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 1555.85/1556.30 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 1555.85/1556.30 v x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 1555.85/1556.30 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1555.85/1556.30 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 1555.85/1556.30 v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 1555.85/1556.30 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 1555.85/1556.30 v -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 1555.85/1556.30 v -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 1555.85/1556.30 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 1555.85/1556.30 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 1555.85/1556.30 v -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 1555.85/1556.30 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 1555.85/1556.30 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 1555.85/1556.30 v -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 1555.85/1556.30 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 1555.85/1556.30 v -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 1555.85/1556.30 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 1555.85/1556.30 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 1555.85/1556.30 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 1555.85/1556.30 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 1555.85/1556.30 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 1555.85/1556.30 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 1555.85/1556.30 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 1555.85/1556.30 v -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 1555.85/1556.30 v x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 1555.85/1556.30 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 1555.85/1556.30 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 1555.85/1556.30 v -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 1555.85/1556.30 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 1555.85/1556.30 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 1555.85/1556.30 v x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 1555.85/1556.30 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 1555.85/1556.30 v -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 1555.85/1556.30 v -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 1555.85/1556.30 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.85/1556.30 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.85/1556.30 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.85/1556.30 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.85/1556.30 v -x4 -x3 -x2 -x1 1555.85/1556.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1555.85/1556.30 c 37 189909 21677 218264 214904 142880361 105503 122 1555.86 1555.85/1556.30 c Objective: -44 1555.85/1556.30 s SATISFIABLE 1555.85/1556.30 c Total time: 1555.86 s
OK -44
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-353514-1176668122 -o ROOT/results/node21/solver-353514-1176668122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353514-1176668122/instance-353514-1176668122.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 32698 /proc/meminfo: memFree=1821752/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=14352 CPUtime=0 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 114729514 14696448 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 3588 335 281 324 0 2003 0 [startup+0.0970619 s] /proc/loadavg: 0.92 0.98 0.99 3/77 32698 /proc/meminfo: memFree=1821752/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=8888 CPUtime=0.09 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 1080 0 0 0 9 0 0 0 18 0 1 0 114729514 9101312 1048 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 2222 1049 415 324 0 637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8888 [startup+0.101062 s] /proc/loadavg: 0.92 0.98 0.99 3/77 32698 /proc/meminfo: memFree=1821752/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=9024 CPUtime=0.09 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 1110 0 0 0 9 0 0 0 18 0 1 0 114729514 9240576 1078 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 2256 1079 421 324 0 671 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9024 [startup+0.301084 s] /proc/loadavg: 0.92 0.98 0.99 3/77 32698 /proc/meminfo: memFree=1821752/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=13700 CPUtime=0.28 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 2591 0 0 0 28 0 0 0 19 0 1 0 114729514 14028800 2559 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 3425 2560 711 324 0 1840 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 13700 [startup+0.701128 s] /proc/loadavg: 0.92 0.98 0.99 3/77 32698 /proc/meminfo: memFree=1821752/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=23556 CPUtime=0.69 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 5932 0 0 0 67 2 0 0 23 0 1 0 114729514 24121344 5246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 5889 5246 307 324 0 4958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23556 [startup+1.50121 s] /proc/loadavg: 0.92 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1801840/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=23556 CPUtime=1.48 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 5932 0 0 0 145 3 0 0 25 0 1 0 114729514 24121344 5246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 5889 5246 307 324 0 4958 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 23556 [startup+3.10139 s] /proc/loadavg: 0.93 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1801712/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=23556 CPUtime=3.08 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 5932 0 0 0 302 6 0 0 25 0 1 0 114729514 24121344 5246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 5889 5246 307 324 0 4958 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 23556 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1776880/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=59992 CPUtime=6.29 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 16730 0 0 0 616 13 0 0 25 0 1 0 114729514 61431808 14383 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 14998 14383 312 324 0 14067 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59992 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1696048/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=135056 CPUtime=12.68 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 35501 0 0 0 1249 19 0 0 25 0 1 0 114729514 138297344 33154 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 33764 33154 312 324 0 32833 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 135056 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1595760/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=229936 CPUtime=25.48 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 59199 0 0 0 2518 30 0 0 25 0 1 0 114729514 235454464 56852 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 57484 56852 312 324 0 56553 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 229936 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1434288/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=395060 CPUtime=51.07 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 100493 0 0 0 5059 48 0 0 25 0 1 0 114729514 404541440 98146 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 98765 98146 312 324 0 97834 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 395060 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1218608/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=605640 CPUtime=102.26 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 153134 0 0 0 10152 74 0 0 25 0 1 0 114729514 620175360 150787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 151410 150787 312 324 0 150479 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 605640 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=1045616/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=778844 CPUtime=162.24 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 196427 0 0 0 16127 97 0 0 25 0 1 0 114729514 797536256 194080 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 194711 194080 312 324 0 193780 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 778844 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=852272/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=971448 CPUtime=222.22 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 244577 0 0 0 22100 122 0 0 25 0 1 0 114729514 994762752 242230 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 242862 242230 312 324 0 241931 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 971448 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=753264/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1070976 CPUtime=282.21 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 269459 0 0 0 28085 136 0 0 25 0 1 0 114729514 1096679424 267112 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 267744 267112 312 324 0 266813 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1070976 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=607792/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1215412 CPUtime=342.19 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 305581 0 0 0 34063 156 0 0 25 0 1 0 114729514 1244581888 303234 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 303853 303234 312 324 0 302922 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1215412 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=508720/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1317224 CPUtime=402.18 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 331043 0 0 0 40047 171 0 0 25 0 1 0 114729514 1348837376 328696 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 329306 328696 312 324 0 328375 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1317224 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=413168/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1409712 CPUtime=462.16 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 354143 0 0 0 46032 184 0 0 25 0 1 0 114729514 1443545088 351796 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 352428 351796 312 324 0 351497 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1409712 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=353072/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1470116 CPUtime=522.14 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 369265 0 0 0 52022 192 0 0 25 0 1 0 114729514 1505398784 366918 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 367529 366918 312 324 0 366598 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1470116 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=297520/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1525076 CPUtime=582.12 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 382988 0 0 0 58013 199 0 0 25 0 1 0 114729514 1561677824 380641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 381269 380641 312 324 0 380338 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1525076 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=231280/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1590692 CPUtime=642.11 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 399388 0 0 0 64002 209 0 0 25 0 1 0 114729514 1628868608 397041 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 397673 397041 312 324 0 396742 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1590692 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=158640/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1663576 CPUtime=702.09 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 417618 0 0 0 69990 219 0 0 25 0 1 0 114729514 1703501824 415271 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 415894 415271 312 324 0 414963 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1663576 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126576/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=762.08 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 75984 224 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1694948 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126576/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=822.05 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 81981 224 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1694948 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126640/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=882.04 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 87979 225 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1694948 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126640/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=942.02 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 93974 228 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1694948 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126576/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1002 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 99968 232 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1694948 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126640/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1061.98 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 105964 234 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1694948 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126576/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1121.97 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 111961 236 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1694948 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126512/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1181.95 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 117957 238 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1694948 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126512/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1241.94 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 123953 241 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1694948 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32699 /proc/meminfo: memFree=126512/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1301.91 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 129949 242 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1694948 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32701 /proc/meminfo: memFree=126320/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1361.9 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 135945 245 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1694948 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32701 /proc/meminfo: memFree=126448/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1694948 CPUtime=1421.89 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 425543 0 0 0 141942 247 0 0 25 0 1 0 114729514 1735626752 423101 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 423737 423101 312 324 0 422806 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1694948 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32701 /proc/meminfo: memFree=63984/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1757856 CPUtime=1481.86 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 441278 0 0 0 147930 256 0 0 25 0 1 0 114729514 1800044544 438836 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 439464 438836 312 324 0 438533 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1757856 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32701 /proc/meminfo: memFree=15216/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1831400 CPUtime=1541.85 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 459669 0 0 0 153917 268 0 0 25 0 1 0 114729514 1875353600 457227 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 457850 457227 312 324 0 456919 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1831400 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1556.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 32701 /proc/meminfo: memFree=15856/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=1843248 CPUtime=1555.85 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194304 462627 0 0 0 155316 269 0 0 25 0 1 0 114729514 1887485952 460185 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 460812 460185 312 324 0 459881 0 Current children cumulated CPU time (s) 1555.85 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+1556.41 s] /proc/loadavg: 0.99 0.98 0.99 2/79 32702 /proc/meminfo: memFree=628456/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=0 CPUtime=1555.95 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194308 462628 0 0 0 155316 279 0 0 25 0 1 0 114729514 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1555.95 Current children cumulated vsize (KiB) 0 [startup+1556.51 s] /proc/loadavg: 0.99 0.98 0.99 2/79 32702 /proc/meminfo: memFree=628456/2055920 swapFree=4169044/4192956 [pid=32698] ppid=32696 vsize=0 CPUtime=1556.05 /proc/32698/stat : 32698 (bsolo3.0.16) R 32696 32698 32332 0 -1 4194308 462628 0 0 0 155316 289 0 0 25 0 1 0 114729514 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/32698/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1556.05 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1556.6 CPU time (s): 1556.15 CPU user time (s): 1553.16 CPU system time (s): 2.98455 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1843248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1553.16 system time used= 2.98455 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462628 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= 31167 runsolver used 1.73574 second user time and 3.9314 second system time The end
Begin job on node21 on Sun Apr 15 20:15:22 UTC 2007 IDJOB= 353514 IDBENCH= 2248 IDSOLVER= 163 FILE ID= node21/353514-1176668122 PBS_JOBID= 4559925 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/353514-1176668122/instance-353514-1176668122.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-353514-1176668122 -o ROOT/results/node21/solver-353514-1176668122 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353514-1176668122/instance-353514-1176668122.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096 RANDOM SEED= 366698178 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1822096 kB Buffers: 29420 kB Cached: 105252 kB SwapCached: 2076 kB Active: 89628 kB Inactive: 67552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822096 kB SwapTotal: 4192956 kB SwapFree: 4169044 kB Dirty: 7000 kB Writeback: 0 kB Mapped: 30404 kB Slab: 62148 kB Committed_AS: 410220 kB PageTables: 1784 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= 66557 MiB End job on node21 on Sun Apr 15 20:41:21 UTC 2007