Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pb_picat 2025-07-11 | OPT | 1 | 1916.8 | 1921.88 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb |
| MD5SUM | 125f46ef4151ea54a587951799140dfb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.906185 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1456 |
| Total number of constraints | 2032 |
| Number of constraints which are clauses | 951 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1080 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 167 |
| Biggest coefficient in the objective function | 15 |
| Number of bits for the biggest coefficient in the objective function | 4 |
| Sum of the numbers in the objective function | 252 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 490 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1759 |
| 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 solving HOME/instance-4528752-1752249664.opb (Picat 3.9b11, 7/10/2025) 97.22/97.59 o 83 181.70/182.21 o 27 225.29/226.00 o 8 1885.10/1890.14 o 2 1916.72/1921.83 o 1 1916.72/1921.86 s OPTIMUM FOUND 1916.72/1921.86 v ~x567 ~x356 x145 ~x1397 ~x1208 ~x997 ~x779 ~x568 ~x357 x146 1916.72/1921.86 v ~x1398 ~x1209 x998 ~x780 ~x569 ~x358 x147 ~x1399 ~x1210 ~x999 1916.72/1921.86 v ~x781 x570 ~x359 x148 ~x1400 ~x1211 ~x1000 ~x782 x571 ~x360 1916.72/1921.86 v x149 ~x1401 ~x1212 x1001 ~x783 x572 ~x361 x150 ~x1402 ~x1213 1916.72/1921.86 v x1002 ~x784 ~x573 ~x362 x151 ~x1403 x1214 ~x1003 ~x574 ~x363 1916.72/1921.86 v x152 ~x1404 ~x1215 x1004 ~x575 ~x364 x153 ~x1405 x1216 ~x1005 1916.72/1921.86 v ~x576 ~x365 ~x154 ~x1406 ~x796 ~x1217 ~x1006 ~x577 ~x366 ~x155 1916.72/1921.86 v ~x1407 ~x797 x1218 x1007 ~x578 ~x367 ~x156 ~x1408 ~x798 x1219 1916.72/1921.86 v x1008 ~x579 x368 ~x157 ~x1409 x799 x1220 x1009 ~x580 ~x369 1916.72/1921.86 v ~x158 ~x1410 x800 x1221 ~x1010 ~x581 ~x370 ~x159 ~x1411 ~x801 1916.72/1921.86 v ~x1222 x1011 ~x582 ~x371 ~x160 ~x1412 ~x802 ~x1223 x1012 ~x583 1916.72/1921.86 v ~x372 ~x161 ~x1413 x803 x1224 ~x1013 ~x584 ~x373 ~x162 ~x1414 1916.72/1921.86 v x804 ~x1225 ~x1014 ~x585 ~x374 ~x163 ~x1415 x805 ~x1226 x1015 1916.72/1921.86 v ~x586 ~x375 ~x164 ~x1416 ~x806 x1227 ~x1016 ~x587 ~x376 ~x165 1916.72/1921.86 v ~x1417 x807 ~x1228 x1017 ~x588 ~x377 ~x166 ~x1418 x808 ~x1229 1916.72/1921.86 v x1018 ~x589 ~x378 ~x167 ~x1419 x809 x1230 ~x1019 ~x590 ~x379 1916.72/1921.86 v ~x168 ~x1420 ~x810 x1231 x1020 ~x591 ~x380 ~x169 ~x1421 x811 1916.72/1921.86 v x1232 ~x1021 ~x592 ~x381 ~x170 ~x1422 ~x812 x1233 ~x1022 ~x593 1916.72/1921.86 v x382 ~x171 ~x1423 x813 ~x1234 x1023 ~x594 x383 x172 ~x1424 1916.72/1921.86 v ~x814 x1235 x1024 ~x595 x384 x173 ~x1425 ~x815 x1236 x1025 1916.72/1921.86 v ~x596 ~x385 x174 ~x1426 x816 ~x1237 ~x1026 ~x597 ~x386 x175 1916.72/1921.86 v ~x1427 x817 ~x1238 x1027 ~x598 ~x387 x176 ~x1428 x818 x1239 1916.72/1921.86 v x1028 x599 ~x388 x177 ~x1429 x819 ~x1240 ~x1029 x600 ~x389 1916.72/1921.86 v x178 ~x1430 x820 ~x1241 ~x1030 x601 ~x390 x179 ~x1431 x821 1916.72/1921.86 v ~x1242 ~x1031 ~x602 ~x391 x180 ~x1432 ~x822 x1243 ~x1032 ~x603 1916.72/1921.86 v ~x392 x181 ~x1433 x823 x1244 x1033 ~x604 ~x393 x182 ~x1434 1916.72/1921.86 v ~x824 x1245 ~x1034 ~x605 ~x394 x183 ~x1435 x825 ~x1246 x1035 1916.72/1921.86 v ~x606 ~x395 x184 ~x1436 ~x826 x1247 ~x1036 ~x607 ~x396 x185 1916.72/1921.86 v ~x1437 ~x827 x1248 ~x1037 ~x608 ~x397 ~x186 ~x1438 x828 ~x1249 1916.72/1921.86 v x1038 ~x609 x398 ~x187 ~x1439 x829 ~x1250 x1039 ~x610 ~x399 1916.72/1921.86 v ~x188 ~x1440 x830 x1251 x1040 ~x611 ~x400 ~x189 ~x1441 x831 1916.72/1921.86 v x1252 ~x1041 ~x612 ~x401 ~x190 ~x1442 ~x832 ~x1253 ~x1042 ~x613 1916.72/1921.86 v ~x402 ~x191 ~x1443 ~x833 x1254 x1043 ~x614 ~x403 ~x192 ~x1444 1916.72/1921.86 v ~x834 ~x1255 x1044 ~x615 ~x404 ~x193 ~x1445 x835 x1256 ~x1045 1916.72/1921.86 v ~x616 ~x405 ~x194 ~x1446 ~x836 x1257 ~x1046 ~x617 ~x406 ~x195 1916.72/1921.86 v ~x1447 ~x837 x1258 x1047 ~x618 ~x407 ~x196 ~x1448 ~x838 ~x1259 1916.72/1921.86 v ~x1048 ~x619 ~x408 ~x197 ~x1449 x839 ~x1260 x1049 ~x620 ~x409 1916.72/1921.86 v ~x198 ~x1450 x840 x1261 ~x1050 ~x621 x410 ~x199 ~x1451 ~x841 1916.72/1921.86 v x1262 x1051 ~x622 x411 ~x200 ~x1452 x842 ~x1263 x1052 ~x623 1916.72/1921.86 v x412 ~x201 ~x1453 ~x843 x1264 x1053 ~x624 ~x413 ~x202 ~x1454 1916.72/1921.86 v x844 ~x1265 x1054 ~x625 ~x414 x203 ~x1455 ~x845 ~x1266 x1055 1916.72/1921.86 v ~x626 ~x415 x204 ~x1456 x846 x1267 ~x1056 x627 ~x416 x205 1916.72/1921.86 v x847 ~x1268 ~x1057 x628 ~x417 x206 ~x848 x1269 x1058 x629 1916.72/1921.86 v ~x418 x207 x849 ~x1270 x1059 x630 ~x419 x208 ~x850 ~x1271 1916.72/1921.86 v ~x1060 x631 ~x420 x209 ~x851 ~x1272 x1061 ~x632 ~x421 x210 1916.72/1921.86 v ~x852 ~x1273 x1062 ~x633 ~x422 x211 ~x853 x795 ~x1274 ~x1063 1916.72/1921.86 v ~x634 ~x423 x212 ~x854 x1 x1275 ~x1064 ~x635 x424 x213 1916.72/1921.86 v x855 ~x2 x1276 x1065 ~x636 ~x425 x214 ~x856 ~x3 ~x1277 1916.72/1921.86 v x1066 ~x637 ~x426 ~x215 x857 x4 ~x1278 ~x1067 ~x638 ~x427 1916.72/1921.86 v ~x216 ~x5 ~x858 x1279 x1068 ~x639 ~x428 ~x217 ~x6 ~x859 1916.72/1921.86 v ~x1280 x1069 ~x640 ~x429 ~x218 x7 x860 x1281 x1070 ~x641 1916.72/1921.86 v ~x430 ~x219 ~x8 x861 x1282 x1071 ~x642 ~x431 x220 ~x9 1916.72/1921.86 v x862 ~x1283 ~x1072 x643 x432 ~x221 ~x10 x863 x1284 ~x1073 1916.72/1921.86 v x644 ~x433 ~x222 ~x11 x864 x1285 x1074 ~x645 ~x434 ~x223 1916.72/1921.86 v ~x12 x865 x1286 x1075 x646 ~x435 ~x224 ~x13 ~x866 ~x1287 1916.72/1921.86 v x1076 x647 ~x436 x225 ~x14 ~x867 ~x1288 x1077 ~x648 ~x437 1916.72/1921.86 v ~x226 ~x15 x868 ~x1289 x1078 ~x649 ~x438 ~x227 ~x16 ~x869 1916.72/1921.86 v ~x785 x1079 ~x650 x439 ~x228 ~x17 ~x870 ~x786 ~x1080 ~x651 1916.72/1921.86 v x440 ~x229 ~x18 ~x871 ~x787 ~x1081 ~x652 ~x441 ~x230 ~x19 1916.72/1921.86 v x872 ~x788 ~x1082 ~x653 x442 ~x231 ~x20 ~x873 ~x789 x1083 1916.72/1921.86 v ~x654 ~x443 ~x232 x21 x874 ~x790 x1084 ~x655 ~x444 ~x233 1916.72/1921.86 v x22 x875 ~x791 x1085 x656 ~x445 ~x234 x23 ~x876 x792 1916.72/1921.86 v x1086 x657 ~x446 ~x235 x24 ~x877 ~x793 x1087 x658 ~x447 1916.72/1921.86 v ~x236 ~x25 ~x878 ~x794 x1088 x659 ~x448 ~x237 ~x26 ~x879 1916.72/1921.86 v x1089 x660 ~x449 x238 ~x27 x880 x1090 x661 ~x450 x239 1916.72/1921.86 v x28 ~x881 ~x1091 ~x662 ~x451 x240 ~x29 x882 ~x1092 x663 1916.72/1921.86 v ~x452 x241 x30 x883 x1093 x664 ~x453 x242 ~x31 ~x884 1916.72/1921.86 v ~x1094 ~x665 ~x454 x243 ~x32 ~x885 x1095 ~x666 ~x455 x244 1916.72/1921.86 v ~x33 ~x886 x1096 ~x667 ~x456 ~x245 ~x34 x887 ~x1097 ~x668 1916.72/1921.86 v ~x457 ~x246 ~x35 x888 x1098 ~x669 x458 ~x247 ~x36 ~x889 1916.72/1921.86 v x1099 ~x670 x459 ~x248 ~x37 ~x890 ~x1100 x671 x460 ~x249 1916.72/1921.86 v ~x38 ~x891 x1290 ~x1101 x672 x461 ~x250 ~x39 ~x892 ~x1291 1916.72/1921.86 v ~x1102 ~x673 x462 ~x251 ~x40 x893 ~x1292 x1103 ~x674 x463 1916.72/1921.86 v ~x252 ~x41 ~x894 ~x1293 x1104 x675 x464 ~x253 ~x42 ~x1294 1916.72/1921.86 v x1105 ~x676 x465 ~x254 ~x43 ~x1295 ~x1106 x895 ~x677 x466 1916.72/1921.86 v x255 ~x44 ~x1296 x1107 x896 ~x678 x467 ~x256 ~x45 ~x1297 1916.72/1921.86 v x1108 ~x897 ~x679 x468 ~x257 ~x46 ~x1298 ~x1109 ~x898 ~x680 1916.72/1921.86 v ~x469 ~x258 ~x47 ~x1299 ~x1110 x899 ~x681 ~x470 ~x259 ~x48 1916.72/1921.86 v ~x1300 x1111 x900 ~x682 ~x471 ~x260 ~x49 ~x1301 ~x1112 ~x901 1916.72/1921.86 v ~x683 ~x472 ~x261 ~x50 ~x1302 ~x1113 x902 ~x684 ~x473 ~x262 1916.72/1921.86 v x51 ~x1303 ~x1114 ~x903 x685 ~x474 ~x263 ~x52 ~x1304 x1115 1916.72/1921.86 v ~x904 x686 ~x475 ~x264 ~x53 ~x1305 ~x1116 x905 x687 ~x476 1916.72/1921.86 v ~x265 ~x54 ~x1306 ~x1117 x906 x688 ~x477 ~x266 ~x55 ~x1307 1916.72/1921.86 v ~x1118 x907 x689 ~x478 ~x267 ~x56 ~x1308 x1119 ~x908 x690 1916.72/1921.86 v ~x479 ~x268 ~x57 ~x1309 x1120 ~x909 x691 ~x480 x269 ~x58 1916.72/1921.86 v ~x1310 ~x1121 ~x910 x692 ~x481 x270 ~x59 ~x1311 x1122 ~x911 1916.72/1921.86 v ~x693 ~x482 x271 ~x60 ~x1312 x1123 x912 ~x694 ~x483 x272 1916.72/1921.86 v ~x61 ~x1313 ~x1124 x913 ~x695 ~x484 ~x273 ~x62 ~x1314 ~x1125 1916.72/1921.86 v ~x914 ~x696 ~x485 ~x274 ~x63 ~x1315 x1126 x915 ~x697 x486 1916.72/1921.86 v ~x275 ~x64 ~x1316 ~x1127 x916 ~x698 x487 ~x276 ~x65 ~x1317 1916.72/1921.86 v ~x1128 x917 x699 x488 ~x277 ~x66 ~x1318 x1129 x918 x700 1916.72/1921.86 v x489 ~x278 ~x67 ~x1319 ~x1130 ~x919 x701 x490 ~x279 ~x68 1916.72/1921.86 v ~x1320 ~x1131 ~x920 x702 x491 ~x280 ~x69 ~x1321 x1132 ~x921 1916.72/1921.86 v ~x703 x492 ~x281 ~x70 ~x1322 x1133 x922 ~x704 x493 ~x282 1916.72/1921.86 v ~x71 ~x1323 x1134 ~x923 ~x705 x494 ~x283 ~x72 ~x1324 x1135 1916.72/1921.86 v ~x924 ~x706 x495 ~x284 ~x73 ~x1325 ~x1136 ~x925 ~x707 ~x496 1916.72/1921.86 v ~x285 ~x74 ~x1326 ~x1137 ~x926 ~x708 ~x497 ~x286 ~x75 ~x1327 1916.72/1921.86 v ~x1138 ~x927 ~x709 ~x498 ~x287 ~x76 ~x1328 x1139 x928 ~x710 1916.72/1921.86 v ~x499 ~x288 ~x77 ~x1329 x1140 ~x929 ~x711 ~x500 ~x289 ~x78 1916.72/1921.86 v ~x1330 x1141 ~x930 ~x712 ~x501 ~x290 ~x79 ~x1331 x1142 x931 1916.72/1921.86 v ~x713 ~x502 ~x291 ~x80 ~x1332 ~x1143 ~x932 x714 ~x503 ~x292 1916.72/1921.86 v ~x81 ~x1333 ~x1144 x933 x715 ~x504 ~x293 x82 ~x1334 x1145 1916.72/1921.86 v ~x934 x716 ~x505 ~x294 ~x83 ~x1335 x1146 ~x935 x717 ~x506 1916.72/1921.86 v ~x295 ~x84 ~x1336 ~x1147 ~x936 x718 ~x507 ~x296 ~x85 ~x1337 1916.72/1921.86 v x1148 ~x937 x719 ~x508 ~x297 ~x86 ~x1338 ~x1149 ~x938 x720 1916.72/1921.86 v ~x509 x298 ~x87 ~x1339 ~x1150 ~x939 ~x721 ~x510 x299 ~x88 1916.72/1921.86 v ~x1340 ~x1151 ~x940 ~x722 ~x511 x300 x89 ~x1341 ~x1152 x941 1916.72/1921.86 v ~x723 ~x512 ~x301 ~x90 ~x1342 x1153 ~x942 x724 ~x513 ~x302 1916.72/1921.86 v ~x91 ~x1343 x1154 ~x943 x725 x514 ~x303 ~x92 ~x1344 x1155 1916.72/1921.86 v x944 x726 x515 ~x304 ~x93 ~x1345 x1156 ~x945 x727 ~x516 1916.72/1921.86 v ~x305 ~x94 ~x1346 x1157 x946 ~x728 ~x517 ~x306 ~x95 ~x1347 1916.72/1921.86 v x1158 x947 ~x729 ~x518 ~x307 ~x96 ~x1348 ~x1159 x948 x730 1916.72/1921.86 v ~x519 ~x308 x97 ~x1349 x1160 ~x949 x731 ~x520 ~x309 ~x98 1916.72/1921.86 v ~x1350 x1161 ~x950 ~x732 x521 ~x310 ~x99 ~x1351 x1162 x951 1916.72/1921.86 v x733 ~x522 ~x311 x100 ~x1352 x1163 x952 ~x734 ~x523 ~x312 1916.72/1921.86 v ~x101 ~x1353 x1164 ~x953 ~x735 ~x524 ~x313 ~x102 ~x1354 x1165 1916.72/1921.86 v ~x954 ~x736 ~x525 ~x314 ~x103 ~x1355 x1166 x955 ~x737 ~x526 1916.72/1921.86 v x315 ~x104 ~x1356 ~x1167 x956 ~x738 ~x527 ~x316 ~x105 ~x1357 1916.72/1921.86 v ~x1168 ~x957 ~x739 ~x528 ~x317 ~x106 ~x1358 x1169 x958 ~x740 1916.72/1921.86 v ~x529 ~x318 ~x107 ~x1359 ~x1170 ~x959 ~x741 ~x530 ~x319 ~x108 1916.72/1921.86 v ~x1360 x1171 x960 ~x742 ~x531 ~x320 ~x109 ~x1361 ~x1172 x961 1916.72/1921.86 v x743 ~x532 ~x321 ~x110 ~x1362 x1173 ~x962 x744 ~x533 ~x322 1916.72/1921.86 v ~x111 ~x1363 ~x1174 ~x963 x745 ~x534 ~x323 ~x112 ~x1364 ~x1175 1916.72/1921.86 v ~x964 x746 ~x535 ~x324 x113 ~x1365 ~x1176 x965 x747 ~x536 1916.72/1921.86 v ~x325 x114 ~x1366 ~x1177 x966 x748 ~x537 x326 ~x115 ~x1367 1916.72/1921.86 v ~x1178 x967 ~x749 ~x538 x327 x116 ~x1368 x1179 ~x968 ~x750 1916.72/1921.86 v ~x539 ~x328 x117 ~x1369 ~x1180 ~x969 ~x751 ~x540 ~x329 x118 1916.72/1921.86 v ~x1370 x1181 x970 x752 ~x541 ~x330 x119 ~x1371 ~x1182 ~x971 1916.72/1921.86 v x753 x542 ~x331 x120 ~x1372 x1183 x972 ~x754 x543 ~x332 1916.72/1921.86 v ~x121 ~x1373 ~x1184 ~x973 ~x755 ~x544 ~x333 x122 ~x1374 x1185 1916.72/1921.86 v ~x974 x756 ~x545 ~x334 ~x123 ~x1375 ~x1186 ~x975 x757 ~x546 1916.72/1921.86 v ~x335 ~x124 ~x1376 x1187 ~x976 x758 ~x547 ~x336 ~x125 ~x1377 1916.72/1921.86 v ~x1188 ~x977 ~x759 ~x548 ~x337 ~x126 ~x1378 x1189 ~x978 x760 1916.72/1921.86 v ~x549 ~x338 ~x127 ~x1379 ~x1190 ~x979 x761 ~x550 ~x339 ~x128 1916.72/1921.86 v ~x1380 x1191 x980 ~x762 ~x551 ~x340 ~x129 ~x1381 x1192 ~x981 1916.72/1921.86 v x763 ~x552 ~x341 ~x130 ~x1382 ~x1193 ~x982 x764 ~x553 ~x342 1916.72/1921.86 v ~x131 ~x1383 x1194 ~x983 ~x765 ~x554 ~x343 ~x132 ~x1384 ~x1195 1916.72/1921.86 v x984 ~x766 ~x555 ~x344 ~x133 ~x1385 x1196 x985 ~x767 ~x556 1916.72/1921.86 v ~x345 ~x134 ~x1386 ~x1197 ~x986 ~x768 ~x557 ~x346 ~x135 ~x1387 1916.72/1921.86 v x1198 ~x987 ~x769 ~x558 ~x347 ~x136 ~x1388 ~x1199 ~x988 ~x770 1916.72/1921.86 v ~x559 ~x348 ~x137 ~x1389 x1200 ~x989 ~x771 ~x560 ~x349 ~x138 1916.72/1921.86 v ~x1390 x1201 x990 ~x772 ~x561 ~x350 ~x139 ~x1391 x1202 x991 1916.72/1921.86 v ~x773 ~x562 ~x351 ~x140 ~x1392 ~x1203 x992 ~x774 ~x563 ~x352 1916.72/1921.86 v ~x141 ~x1393 x1204 ~x993 ~x775 ~x564 ~x353 ~x142 ~x1394 ~x1205 1916.72/1921.86 v x994 ~x776 ~x565 x354 ~x143 ~x1395 ~x1206 ~x995 ~x777 ~x566 1916.72/1921.86 v x355 x144 ~x1396 x1207 x996 ~x778
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60810 MiB free)
memory of node 1: 64465 MiB (62473 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528752-1752249664/watcher-4528752-1752249664 -o /tmp/evaluation-result-4528752-1752249664/solver-4528752-1752249664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752245588-113709 --watchdog 3760 pb_picat HOME/instance-4528752-1752249664.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=114694, runsolver pid=114691
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=126213512/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2027148 memory=36456 CPUtime=0.08 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 1043 0 0 0 8 0 0 0 20 0 1 0 140643935 2075799552 9114 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 506787 9114 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36456 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.12 4.13 4.09 6/265 114695
/proc/meminfo: memFree=126197128/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2027148 memory=65128 CPUtime=0.19 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 1057 0 0 0 18 1 0 0 20 0 1 0 140643935 2075799552 16282 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 506787 16282 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 65128 KiB
[startup+0.304905 s]*
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=126172552/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2027148 memory=89704 CPUtime=0.3 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 1069 0 0 0 28 2 0 0 20 0 1 0 140643935 2075799552 22426 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 506787 22426 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 89704 KiB
[startup+0.700133 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=126123400/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2034964 memory=179860 CPUtime=0.68 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 1124 0 0 0 65 3 0 0 20 0 1 0 140643935 2083803136 44965 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 508741 44965 1600 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 179860 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=126033288/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2034964 memory=255656 CPUtime=1.48 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 1166 0 0 0 143 5 0 0 20 0 1 0 140643935 2083803136 63914 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 508741 63914 1600 343 0 505805 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 255656 KiB
[startup+3.10542 s]
/proc/loadavg: 4.11 4.12 4.09 5/261 114728
/proc/meminfo: memFree=125903484/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2034964 memory=370352 CPUtime=3.08 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 1359 0 0 0 301 7 0 0 20 0 1 0 140643935 2083803136 92588 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 508741 92588 1600 343 0 505805 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 370352 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 114741
/proc/meminfo: memFree=124728480/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2701280 memory=1222452 CPUtime=6.27 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 24424 0 0 0 597 30 0 0 20 0 1 0 140643935 2766110720 305613 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 675320 305613 1696 343 0 672384 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2701280 KiB
Current children cumulated memory: 1222452 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 114741
/proc/meminfo: memFree=123114764/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3627368 memory=1803732 CPUtime=12.65 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 56592 0 0 0 1212 53 0 0 20 0 1 0 140643935 3714424832 450933 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 906842 450933 1728 343 0 903906 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3627368 KiB
Current children cumulated memory: 1803732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/266 114742
/proc/meminfo: memFree=122659528/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3659684 memory=1699036 CPUtime=25.42 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 64337 0 0 0 2481 61 0 0 20 0 1 0 140643935 3747516416 424759 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 914921 424759 1728 343 0 911985 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3659684 KiB
Current children cumulated memory: 1699036 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.14 4.10 5/266 114742
/proc/meminfo: memFree=122458076/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3618124 memory=1773464 CPUtime=50.95 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 73891 0 0 0 5018 77 0 0 20 0 1 0 140643935 3704958976 443366 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 904531 443366 1728 343 0 901595 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3618124 KiB
Current children cumulated memory: 1773464 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114744
/proc/meminfo: memFree=122731356/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3017924 memory=1535176 CPUtime=102.01 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 103308 0 0 0 10098 103 0 0 20 0 1 0 140643935 3090354176 383794 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 754481 383794 1728 343 0 751545 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3017924 KiB
Current children cumulated memory: 1535176 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/265 114746
/proc/meminfo: memFree=122564700/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3343772 memory=1677368 CPUtime=161.85 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 122104 0 0 0 16046 139 0 0 20 0 1 0 140643935 3424022528 419342 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 835943 419342 1728 343 0 833007 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3343772 KiB
Current children cumulated memory: 1677368 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 114794
/proc/meminfo: memFree=120519340/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3338160 memory=1657180 CPUtime=221.7 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 173160 0 0 0 21982 188 0 0 20 0 1 0 140643935 3418275840 414295 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 834540 414295 1728 343 0 831604 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 3338160 KiB
Current children cumulated memory: 1657180 KiB
[startup+282.3 s]
/proc/loadavg: 4.45 4.20 4.12 5/264 114796
/proc/meminfo: memFree=116967944/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3059188 memory=1423152 CPUtime=281.55 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 229090 0 0 0 27919 236 0 0 20 0 1 0 140643935 3132608512 355788 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 764797 355788 1728 343 0 761861 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 3059188 KiB
Current children cumulated memory: 1423152 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.21 4.12 5/263 114798
/proc/meminfo: memFree=116148128/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3059188 memory=1433424 CPUtime=341.39 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 234963 0 0 0 33892 247 0 0 20 0 1 0 140643935 3132608512 358356 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 764797 358356 1728 343 0 761861 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 3059188 KiB
Current children cumulated memory: 1433424 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/264 114802
/proc/meminfo: memFree=116016476/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3059188 memory=1433440 CPUtime=401.22 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 238810 0 0 0 39867 255 0 0 20 0 1 0 140643935 3132608512 358360 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 764797 358360 1728 343 0 761861 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 3059188 KiB
Current children cumulated memory: 1433440 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.15 4.11 5/264 114807
/proc/meminfo: memFree=116843908/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3059188 memory=1439584 CPUtime=461.07 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 242741 0 0 0 45844 263 0 0 20 0 1 0 140643935 3132608512 359896 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 764797 359896 1728 343 0 761861 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
/proc/loadavg: 4.19 4.18 4.12 5/264 114855
/proc/meminfo: memFree=116910924/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2924816 memory=1393276 CPUtime=1478.4 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 277482 0 0 0 147508 332 0 0 20 0 1 0 140643935 2995011584 348319 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 731204 348319 1728 343 0 728268 0
Current children cumulated CPU time: 1478.4 s
Current children cumulated vsize: 2924816 KiB
Current children cumulated memory: 1393276 KiB
[startup+1542.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/264 114857
/proc/meminfo: memFree=116376856/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3055888 memory=1485436 CPUtime=1538.25 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 278147 0 0 0 153491 334 0 0 20 0 1 0 140643935 3129229312 371359 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 763972 371359 1728 343 0 761036 0
Current children cumulated CPU time: 1538.25 s
Current children cumulated vsize: 3055888 KiB
Current children cumulated memory: 1485436 KiB
[startup+1602.3 s]
/proc/loadavg: 4.01 4.13 4.10 4/258 114889
/proc/meminfo: memFree=123386652/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3055888 memory=1464956 CPUtime=1598.08 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 280059 0 0 0 159471 337 0 0 20 0 1 0 140643935 3129229312 366239 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 763972 366239 1728 343 0 761036 0
Current children cumulated CPU time: 1598.08 s
Current children cumulated vsize: 3055888 KiB
Current children cumulated memory: 1464956 KiB
[startup+1662.3 s]
/proc/loadavg: 3.42 3.93 4.04 4/258 114894
/proc/meminfo: memFree=123361740/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3055888 memory=1481340 CPUtime=1657.92 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 280073 0 0 0 165454 338 0 0 20 0 1 0 140643935 3129229312 370335 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 763972 370335 1728 343 0 761036 0
Current children cumulated CPU time: 1657.92 s
Current children cumulated vsize: 3055888 KiB
Current children cumulated memory: 1481340 KiB
[startup+1722.3 s]
/proc/loadavg: 3.19 3.78 3.97 4/258 114900
/proc/meminfo: memFree=123385288/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3055888 memory=1475196 CPUtime=1717.76 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 282077 0 0 0 171434 342 0 0 20 0 1 0 140643935 3129229312 368799 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 763972 368799 1728 343 0 761036 0
Current children cumulated CPU time: 1717.76 s
Current children cumulated vsize: 3055888 KiB
Current children cumulated memory: 1475196 KiB
[startup+1782.3 s]
/proc/loadavg: 3.18 3.66 3.92 4/257 114902
/proc/meminfo: memFree=123346140/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3055888 memory=1479292 CPUtime=1777.6 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 282079 0 0 0 177418 342 0 0 20 0 1 0 140643935 3129229312 369823 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 763972 369823 1728 343 0 761036 0
Current children cumulated CPU time: 1777.6 s
Current children cumulated vsize: 3055888 KiB
Current children cumulated memory: 1479292 KiB
[startup+1842.3 s]
/proc/loadavg: 3.10 3.56 3.87 4/257 114904
/proc/meminfo: memFree=123434320/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3055888 memory=1471100 CPUtime=1837.43 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 284023 0 0 0 183398 345 0 0 20 0 1 0 140643935 3129229312 367775 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 763972 367775 1728 343 0 761036 0
Current children cumulated CPU time: 1837.43 s
Current children cumulated vsize: 3055888 KiB
Current children cumulated memory: 1471100 KiB
[startup+1902.3 s]
/proc/loadavg: 3.14 3.48 3.82 4/257 114906
/proc/meminfo: memFree=123902812/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2638972 memory=1177308 CPUtime=1897.27 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 313798 0 0 0 189355 372 0 0 20 0 1 0 140643935 2702307328 294327 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 659743 294327 1728 343 0 656807 0
Current children cumulated CPU time: 1897.27 s
Current children cumulated vsize: 2638972 KiB
Current children cumulated memory: 1177308 KiB
[startup+1921.88 s]
# the end of solver process 114694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1912.74 s, system=4.06273 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1907.2 s]
/proc/loadavg: 3.13 3.47 3.82 4/257 114906
/proc/meminfo: memFree=123534756/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=3027816 memory=1467276 CPUtime=1902.16 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 326198 0 0 0 189833 383 0 0 20 0 1 0 140643935 3100483584 366819 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 756954 366819 1728 343 0 754018 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 3027816 KiB
Current children cumulated memory: 1467276 KiB
[startup+1913.6 s]
/proc/loadavg: 3.11 3.46 3.81 4/257 114907
/proc/meminfo: memFree=123598740/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2818084 memory=1325704 CPUtime=1908.54 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 334912 0 0 0 190453 401 0 0 20 0 1 0 140643935 2885718016 331426 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 704521 331426 1728 343 0 701585 0
Current children cumulated CPU time: 1908.54 s
Current children cumulated vsize: 2818084 KiB
Current children cumulated memory: 1325704 KiB
[startup+1916.8 s]
/proc/loadavg: 3.11 3.46 3.81 4/257 114907
/proc/meminfo: memFree=123594644/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2818084 memory=1356424 CPUtime=1911.73 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 334927 0 0 0 190772 401 0 0 20 0 1 0 140643935 2885718016 339106 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 704521 339106 1728 343 0 701585 0
Current children cumulated CPU time: 1911.73 s
Current children cumulated vsize: 2818084 KiB
Current children cumulated memory: 1356424 KiB
[startup+1920 s]*
/proc/loadavg: 3.10 3.45 3.80 4/257 114907
/proc/meminfo: memFree=123557376/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2818084 memory=1366664 CPUtime=1914.93 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 336307 0 0 0 191089 404 0 0 20 0 1 0 140643935 2885718016 341666 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 704521 341666 1728 343 0 701585 0
Current children cumulated CPU time: 1914.93 s
Current children cumulated vsize: 2818084 KiB
Current children cumulated memory: 1366664 KiB
[startup+1920.8 s]
/proc/loadavg: 3.10 3.45 3.80 4/257 114907
/proc/meminfo: memFree=123557376/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2818084 memory=1368712 CPUtime=1915.72 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 336308 0 0 0 191168 404 0 0 20 0 1 0 140643935 2885718016 342178 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 704521 342178 1728 343 0 701585 0
Current children cumulated CPU time: 1915.72 s
Current children cumulated vsize: 2818084 KiB
Current children cumulated memory: 1368712 KiB
[startup+1921.6 s]
/proc/loadavg: 3.10 3.45 3.80 4/257 114907
/proc/meminfo: memFree=123564736/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2818084 memory=1376904 CPUtime=1916.51 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 336312 0 0 0 191247 404 0 0 20 0 1 0 140643935 2885718016 344226 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 704521 344226 1728 343 0 701585 0
Current children cumulated CPU time: 1916.51 s
Current children cumulated vsize: 2818084 KiB
Current children cumulated memory: 1376904 KiB
[startup+1921.8 s]
/proc/loadavg: 3.10 3.45 3.80 4/257 114907
/proc/meminfo: memFree=123564736/131249988 swapFree=33010160/33010684
[pid=114694] ppid=114691 vsize=2949156 memory=1378696 CPUtime=1916.72 cores=1,3
/proc/114694/stat : 114694 (pb_picat) R 114691 114694 113697 0 -1 4194304 336785 0 0 0 191267 405 0 0 20 0 1 0 140643935 3019935744 344674 18446744073709551615 93886077329408 93886078730989 140723089237712 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 93886079002416 93886080876656 93886105157632 140723089242524 140723089242600 140723089242600 140723089248204 0
/proc/114694/statm: 737289 344674 1728 343 0 734353 0
Current children cumulated CPU time: 1916.72 s
Current children cumulated vsize: 2949156 KiB
Current children cumulated memory: 1378696 KiB
Child status: 0
Real time (s): 1921.88
CPU time (s): 1916.8
CPU user time (s): 1912.74
CPU system time (s): 4.06273
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 4213464
Max. memory (cumulated for all children) (KiB): 2081980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1912.74
system time used= 4.06273
maximum resident set size= 2081980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336829
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= 67
involuntary context switches= 3231
# summary of solver processes directly reported to runsolver:
# pid: 114694
# total CPU time (s): 1916.8
# total CPU user time (s): 1912.74
# total CPU system time (s): 4.06273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.58571 second user time and 7.03658 second system time
The end
Begin job on nodeC020 at 2025-07-11 18:01:04 IDJOB=4528752 IDBENCH=180370 IDSOLVER=3385 FILE ID=nodeC020/4528752-1752249664 RUNJOBID= nodeC020-1752245588-113709 SLURM_JOB_ID= 9682577 Free space on /tmp= 431488 MiB SOLVER NAME= pb_picat 2025-07-11 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb COMMAND LINE= pb_picat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528752-1752249664/watcher-4528752-1752249664 -o /tmp/evaluation-result-4528752-1752249664/solver-4528752-1752249664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752245588-113709 --watchdog 3760 pb_picat HOME/instance-4528752-1752249664.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 125f46ef4151ea54a587951799140dfb RANDOM SEED=57173473 nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.892 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.904 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3504.511 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.323 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.894 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.815 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.037 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.818 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 126243220 kB MemAvailable: 127110756 kB Buffers: 2128 kB Cached: 1657124 kB SwapCached: 8 kB Active: 3282184 kB Inactive: 1085480 kB Active(anon): 2702232 kB Inactive(anon): 24548 kB Active(file): 579952 kB Inactive(file): 1060932 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13460 kB Writeback: 0 kB AnonPages: 2711872 kB Mapped: 116524 kB Shmem: 18044 kB KReclaimable: 131780 kB Slab: 225756 kB SReclaimable: 131780 kB SUnreclaim: 93976 kB KernelStack: 4256 kB PageTables: 8440 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 8925556 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 2107392 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431488 MiB End job on nodeC020 at 2025-07-11 18:33:06