Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Picat 2025-06-16 | OPT | 1 | 2122.34 | 2129.18 |
| 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.01 c solving HOME/instance-4523697-1751605601.opb (Picat 3.9b6) 101.27/101.64 o 83 188.59/189.29 o 27 234.74/235.56 o 8 2088.36/2095.13 o 2 2122.25/2129.13 o 1 2122.25/2129.17 s OPTIMUM FOUND 2122.25/2129.17 v x672 x461 ~x250 ~x39 ~x892 ~x1291 ~x1102 ~x673 x462 ~x251 2122.25/2129.17 v ~x40 x893 ~x1292 x1103 ~x674 x463 ~x252 ~x41 ~x894 ~x1293 2122.25/2129.17 v x1104 x675 x464 ~x253 ~x42 ~x1294 x1105 ~x676 x465 ~x254 2122.25/2129.17 v ~x43 ~x1295 ~x1106 x895 ~x677 x466 x255 ~x44 ~x1296 x1107 2122.25/2129.17 v x896 ~x678 x467 ~x256 ~x45 ~x1297 x1108 ~x897 ~x679 x468 2122.25/2129.17 v ~x257 ~x46 ~x1298 ~x1109 ~x898 ~x680 ~x469 ~x258 ~x47 ~x1299 2122.25/2129.17 v ~x1110 x899 ~x681 ~x470 ~x259 ~x48 ~x1300 x1111 x900 ~x682 2122.25/2129.17 v ~x471 ~x260 ~x49 ~x1301 ~x1112 ~x901 ~x683 ~x472 ~x261 ~x50 2122.25/2129.17 v ~x1302 ~x1113 x902 ~x684 ~x473 ~x262 x51 ~x1303 ~x1114 ~x903 2122.25/2129.17 v x685 ~x474 ~x263 ~x52 ~x1304 x1115 ~x904 x686 ~x475 ~x264 2122.25/2129.17 v ~x53 ~x1305 ~x1116 x905 x687 ~x476 ~x265 ~x54 ~x1306 ~x1117 2122.25/2129.17 v x906 x688 ~x477 ~x266 ~x55 ~x1307 ~x1118 x907 x689 ~x478 2122.25/2129.17 v ~x267 ~x56 ~x1308 x1119 ~x908 x690 ~x479 ~x268 ~x57 ~x1309 2122.25/2129.17 v x1120 ~x909 x691 ~x480 x269 ~x58 ~x1310 ~x1121 ~x910 x692 2122.25/2129.17 v ~x481 x270 ~x59 ~x1311 x1122 ~x911 ~x693 ~x482 x271 ~x60 2122.25/2129.17 v ~x1312 x1123 x912 ~x694 ~x483 x272 ~x61 ~x1313 ~x1124 x913 2122.25/2129.17 v ~x695 ~x484 ~x273 ~x62 ~x1314 ~x1125 ~x914 ~x696 ~x485 ~x274 2122.25/2129.17 v ~x63 ~x1315 x1126 x915 ~x697 x486 ~x275 ~x64 ~x1316 ~x1127 2122.25/2129.17 v x916 ~x698 x487 ~x276 ~x65 ~x1317 ~x1128 x917 x699 x488 2122.25/2129.17 v ~x277 ~x66 ~x1318 x1129 x918 x700 x489 ~x278 ~x67 ~x1319 2122.25/2129.17 v ~x1130 ~x919 x701 x490 ~x279 ~x68 ~x1320 ~x1131 ~x920 x702 2122.25/2129.17 v x491 ~x280 ~x69 ~x1321 x1132 ~x921 ~x703 x492 ~x281 ~x70 2122.25/2129.17 v ~x1322 x1133 x922 ~x704 x493 ~x282 ~x71 ~x1323 x1134 ~x923 2122.25/2129.17 v ~x705 x494 ~x283 ~x72 ~x1324 x1135 ~x924 ~x706 x495 ~x284 2122.25/2129.17 v ~x73 ~x1325 ~x1136 ~x925 ~x707 ~x496 ~x285 ~x74 ~x1326 ~x1137 2122.25/2129.17 v ~x926 ~x708 ~x497 ~x286 ~x75 ~x1327 ~x1138 ~x927 ~x709 ~x498 2122.25/2129.17 v ~x287 ~x76 ~x1328 x1139 x928 ~x710 ~x499 ~x288 ~x77 ~x1329 2122.25/2129.17 v x1140 ~x929 ~x711 ~x500 ~x289 ~x78 ~x1330 x1141 ~x930 ~x712 2122.25/2129.17 v ~x501 ~x290 ~x79 ~x1331 x1142 x931 ~x713 ~x502 ~x291 ~x80 2122.25/2129.17 v ~x1332 ~x1143 ~x932 x714 ~x503 ~x292 ~x81 ~x1333 ~x1144 x933 2122.25/2129.17 v x715 ~x504 ~x293 x82 ~x1334 x1145 ~x934 x716 ~x505 ~x294 2122.25/2129.17 v ~x83 ~x1335 x1146 ~x935 x717 ~x506 ~x295 ~x84 ~x1336 ~x1147 2122.25/2129.17 v ~x936 x718 ~x507 ~x296 ~x85 ~x1337 x1148 ~x937 x719 ~x508 2122.25/2129.17 v ~x297 ~x86 ~x1338 ~x1149 ~x938 x720 ~x509 x298 ~x87 ~x1339 2122.25/2129.17 v ~x1150 ~x939 ~x721 ~x510 x299 ~x88 ~x1340 ~x1151 ~x940 ~x722 2122.25/2129.17 v ~x511 x300 x89 ~x1341 ~x1152 x941 ~x723 ~x512 ~x301 ~x90 2122.25/2129.17 v ~x1342 x1153 ~x942 x724 ~x513 ~x302 ~x91 ~x1343 x1154 ~x943 2122.25/2129.17 v x725 x514 ~x303 ~x92 ~x1344 x1155 x944 x726 x515 ~x304 2122.25/2129.17 v ~x93 ~x1345 x1156 ~x945 x727 ~x516 ~x305 ~x94 ~x1346 x1157 2122.25/2129.17 v x946 ~x728 ~x517 ~x306 ~x95 ~x1347 x1158 x947 ~x729 ~x518 2122.25/2129.17 v ~x307 ~x96 ~x1348 ~x1159 x948 x730 ~x519 ~x308 x97 ~x1349 2122.25/2129.17 v x1160 ~x949 x731 ~x520 ~x309 ~x98 ~x1350 x1161 ~x950 ~x732 2122.25/2129.17 v x521 ~x310 ~x99 ~x1351 x1162 x951 x733 ~x522 ~x311 x100 2122.25/2129.17 v ~x1352 x1163 x952 ~x734 ~x523 ~x312 ~x101 ~x1353 x1164 ~x953 2122.25/2129.17 v ~x735 ~x524 ~x313 ~x102 ~x1354 x1165 ~x954 ~x736 ~x525 ~x314 2122.25/2129.17 v ~x103 ~x1355 x1166 x955 ~x737 ~x526 x315 ~x104 ~x1356 ~x1167 2122.25/2129.17 v x956 ~x738 ~x527 ~x316 ~x105 ~x1357 ~x1168 ~x957 ~x739 ~x528 2122.25/2129.17 v ~x317 ~x106 ~x1358 x1169 x958 ~x740 ~x529 ~x318 ~x107 ~x1359 2122.25/2129.17 v ~x1170 ~x959 ~x741 ~x530 ~x319 ~x108 ~x1360 x1171 x960 ~x742 2122.25/2129.17 v ~x531 ~x320 ~x109 ~x1361 ~x1172 x961 x743 ~x532 ~x321 ~x110 2122.25/2129.17 v ~x1362 x1173 ~x962 x744 ~x533 ~x322 ~x111 ~x1363 ~x1174 ~x963 2122.25/2129.17 v x745 ~x534 ~x323 ~x112 ~x1364 ~x1175 ~x964 x746 ~x535 ~x324 2122.25/2129.17 v x113 ~x1365 ~x1176 x965 x747 ~x536 ~x325 x114 ~x1366 ~x1177 2122.25/2129.17 v x966 x748 ~x537 x326 ~x115 ~x1367 ~x1178 x967 ~x749 ~x538 2122.25/2129.17 v x327 x116 ~x1368 x1179 ~x968 ~x750 ~x539 ~x328 x117 ~x1369 2122.25/2129.17 v ~x1180 ~x969 ~x751 ~x540 ~x329 x118 ~x1370 x1181 x970 x752 2122.25/2129.17 v ~x541 ~x330 x119 ~x1371 ~x1182 ~x971 x753 x542 ~x331 x120 2122.25/2129.17 v ~x1372 x1183 x972 ~x754 x543 ~x332 ~x121 ~x1373 ~x1184 ~x973 2122.25/2129.17 v ~x755 ~x544 ~x333 x122 ~x1374 x1185 ~x974 x756 ~x545 ~x334 2122.25/2129.17 v ~x123 ~x1375 ~x1186 ~x975 x757 ~x546 ~x335 ~x124 ~x1376 x1187 2122.25/2129.17 v ~x976 x758 ~x547 ~x336 ~x125 ~x1377 ~x1188 ~x977 ~x759 ~x548 2122.25/2129.17 v ~x337 ~x126 ~x1378 x1189 ~x978 x760 ~x549 ~x338 ~x127 ~x1379 2122.25/2129.17 v ~x1190 ~x979 x761 ~x550 ~x339 ~x128 ~x1380 x1191 x980 ~x762 2122.25/2129.17 v ~x551 ~x340 ~x129 ~x1381 x1192 ~x981 x763 ~x552 ~x341 ~x130 2122.25/2129.17 v ~x1382 ~x1193 ~x982 x764 ~x553 ~x342 ~x131 ~x1383 x1194 ~x983 2122.25/2129.17 v ~x765 ~x554 ~x343 ~x132 ~x1384 ~x1195 x984 ~x766 ~x555 ~x344 2122.25/2129.17 v ~x133 ~x1385 x1196 x985 ~x767 ~x556 ~x345 ~x134 ~x1386 ~x1197 2122.25/2129.17 v ~x986 ~x768 ~x557 ~x346 ~x135 ~x1387 x1198 ~x987 ~x769 ~x558 2122.25/2129.17 v ~x347 ~x136 ~x1388 ~x1199 ~x988 ~x770 ~x559 ~x348 ~x137 ~x1389 2122.25/2129.17 v x1200 ~x989 ~x771 ~x560 ~x349 ~x138 ~x1390 x1201 x990 ~x772 2122.25/2129.17 v ~x561 ~x350 ~x139 ~x1391 x1202 x991 ~x773 ~x562 ~x351 ~x140 2122.25/2129.17 v ~x1392 ~x1203 x992 ~x774 ~x563 ~x352 ~x141 ~x1393 x1204 ~x993 2122.25/2129.17 v ~x775 ~x564 ~x353 ~x142 ~x1394 ~x1205 x994 ~x776 ~x565 x354 2122.25/2129.17 v ~x143 ~x1395 ~x1206 ~x995 ~x777 ~x566 x355 x144 ~x1396 x1207 2122.25/2129.17 v x996 ~x778 ~x567 ~x356 x145 ~x1397 ~x1208 ~x997 ~x779 ~x568 2122.25/2129.17 v ~x357 x146 ~x1398 ~x1209 x998 ~x780 ~x569 ~x358 x147 ~x1399 2122.25/2129.17 v ~x1210 ~x999 ~x781 x570 ~x359 x148 ~x1400 ~x1211 ~x1000 ~x782 2122.25/2129.17 v x571 ~x360 x149 ~x1401 ~x1212 x1001 ~x783 x572 ~x361 x150 2122.25/2129.17 v ~x1402 ~x1213 x1002 ~x784 ~x573 ~x362 x151 ~x1403 x1214 ~x1003 2122.25/2129.17 v ~x574 ~x363 x152 ~x1404 ~x1215 x1004 ~x575 ~x364 x153 ~x1405 2122.25/2129.17 v x1216 ~x1005 ~x576 ~x365 ~x154 ~x1406 ~x796 ~x1217 ~x1006 ~x577 2122.25/2129.17 v ~x366 ~x155 ~x1407 ~x797 x1218 x1007 ~x578 ~x367 ~x156 ~x1408 2122.25/2129.17 v ~x798 x1219 x1008 ~x579 x368 ~x157 ~x1409 x799 x1220 x1009 2122.25/2129.17 v ~x580 ~x369 ~x158 ~x1410 x800 x1221 ~x1010 ~x581 ~x370 ~x159 2122.25/2129.17 v ~x1411 ~x801 ~x1222 x1011 ~x582 ~x371 ~x160 ~x1412 ~x802 ~x1223 2122.25/2129.17 v x1012 ~x583 ~x372 ~x161 ~x1413 x803 x1224 ~x1013 ~x584 ~x373 2122.25/2129.17 v ~x162 ~x1414 x804 ~x1225 ~x1014 ~x585 ~x374 ~x163 ~x1415 x805 2122.25/2129.17 v ~x1226 x1015 ~x586 ~x375 ~x164 ~x1416 ~x806 x1227 ~x1016 ~x587 2122.25/2129.17 v ~x376 ~x165 ~x1417 x807 ~x1228 x1017 ~x588 ~x377 ~x166 ~x1418 2122.25/2129.17 v x808 ~x1229 x1018 ~x589 ~x378 ~x167 ~x1419 x809 x1230 ~x1019 2122.25/2129.17 v ~x590 ~x379 ~x168 ~x1420 ~x810 x1231 x1020 ~x591 ~x380 ~x169 2122.25/2129.17 v ~x1421 x811 x1232 ~x1021 ~x592 ~x381 ~x170 ~x1422 ~x812 x1233 2122.25/2129.17 v ~x1022 ~x593 x382 ~x171 ~x1423 x813 ~x1234 x1023 ~x594 x383 2122.25/2129.17 v x172 ~x1424 ~x814 x1235 x1024 ~x595 x384 x173 ~x1425 ~x815 2122.25/2129.17 v x1236 x1025 ~x596 ~x385 x174 ~x1426 x816 ~x1237 ~x1026 ~x597 2122.25/2129.17 v ~x386 x175 ~x1427 x817 ~x1238 x1027 ~x598 ~x387 x176 ~x1428 2122.25/2129.17 v x818 x1239 x1028 x599 ~x388 x177 ~x1429 x819 ~x1240 ~x1029 2122.25/2129.17 v x600 ~x389 x178 ~x1430 x820 ~x1241 ~x1030 x601 ~x390 x179 2122.25/2129.17 v ~x1431 x821 ~x1242 ~x1031 ~x602 ~x391 x180 ~x1432 ~x822 x1243 2122.25/2129.17 v ~x1032 ~x603 ~x392 x181 ~x1433 x823 x1244 x1033 ~x604 ~x393 2122.25/2129.17 v x182 ~x1434 ~x824 x1245 ~x1034 ~x605 ~x394 x183 ~x1435 x825 2122.25/2129.17 v ~x1246 x1035 ~x606 ~x395 x184 ~x1436 ~x826 x1247 ~x1036 ~x607 2122.25/2129.17 v ~x396 x185 ~x1437 ~x827 x1248 ~x1037 ~x608 ~x397 ~x186 ~x1438 2122.25/2129.17 v x828 ~x1249 x1038 ~x609 x398 ~x187 ~x1439 x829 ~x1250 x1039 2122.25/2129.17 v ~x610 ~x399 ~x188 ~x1440 x830 x1251 x1040 ~x611 ~x400 ~x189 2122.25/2129.17 v ~x1441 x831 x1252 ~x1041 ~x612 ~x401 ~x190 ~x1442 ~x832 ~x1253 2122.25/2129.17 v ~x1042 ~x613 ~x402 ~x191 ~x1443 ~x833 x1254 x1043 ~x614 ~x403 2122.25/2129.17 v ~x192 ~x1444 ~x834 ~x1255 x1044 ~x615 ~x404 ~x193 ~x1445 x835 2122.25/2129.17 v x1256 ~x1045 ~x616 ~x405 ~x194 ~x1446 ~x836 x1257 ~x1046 ~x617 2122.25/2129.17 v ~x406 ~x195 ~x1447 ~x837 x1258 x1047 ~x618 ~x407 ~x196 ~x1448 2122.25/2129.17 v ~x838 ~x1259 ~x1048 ~x619 ~x408 ~x197 ~x1449 x839 ~x1260 x1049 2122.25/2129.17 v ~x620 ~x409 ~x198 ~x1450 x840 x1261 ~x1050 ~x621 x410 ~x199 2122.25/2129.17 v ~x1451 ~x841 x1262 x1051 ~x622 x411 ~x200 ~x1452 x842 ~x1263 2122.25/2129.17 v x1052 ~x623 x412 ~x201 ~x1453 ~x843 x1264 x1053 ~x624 ~x413 2122.25/2129.17 v ~x202 ~x1454 x844 ~x1265 x1054 ~x625 ~x414 x203 ~x1455 ~x845 2122.25/2129.17 v ~x1266 x1055 ~x626 ~x415 x204 ~x1456 x846 x1267 ~x1056 x627 2122.25/2129.17 v ~x416 x205 x847 ~x1268 ~x1057 x628 ~x417 x206 ~x848 x1269 2122.25/2129.17 v x1058 x629 ~x418 x207 x849 ~x1270 x1059 x630 ~x419 x208 2122.25/2129.17 v ~x850 ~x1271 ~x1060 x631 ~x420 x209 ~x851 ~x1272 x1061 ~x632 2122.25/2129.17 v ~x421 x210 ~x852 ~x1273 x1062 ~x633 ~x422 x211 x795 ~x853 2122.25/2129.17 v ~x1274 ~x1063 ~x634 ~x423 x212 ~x854 x1 x1275 ~x1064 ~x635 2122.25/2129.17 v x424 x213 x855 ~x2 x1276 x1065 ~x636 ~x425 x214 ~x856 2122.25/2129.17 v ~x3 ~x1277 x1066 ~x637 ~x426 ~x215 x857 x4 ~x1278 ~x1067 2122.25/2129.17 v ~x638 ~x427 ~x216 ~x858 ~x5 x1279 x1068 ~x639 ~x428 ~x217 2122.25/2129.17 v ~x6 ~x859 ~x1280 x1069 ~x640 ~x429 ~x218 x7 x860 x1281 2122.25/2129.17 v x1070 ~x641 ~x430 ~x219 ~x8 x861 x1282 x1071 ~x642 ~x431 2122.25/2129.17 v x220 ~x9 x862 ~x1283 ~x1072 x643 x432 ~x221 ~x10 x863 2122.25/2129.17 v x1284 ~x1073 x644 ~x433 ~x222 ~x11 x864 x1285 x1074 ~x645 2122.25/2129.17 v ~x434 ~x223 ~x12 x865 x1286 x1075 x646 ~x435 ~x224 ~x13 2122.25/2129.17 v ~x866 ~x1287 x1076 x647 ~x436 x225 ~x14 ~x867 ~x1288 x1077 2122.25/2129.17 v ~x648 ~x437 ~x226 ~x15 x868 ~x1289 x1078 ~x649 ~x438 ~x227 2122.25/2129.17 v ~x16 ~x869 ~x785 x1079 ~x650 x439 ~x228 ~x17 ~x870 ~x786 2122.25/2129.17 v ~x1080 ~x651 x440 ~x229 ~x18 ~x871 ~x787 ~x1081 ~x652 ~x441 2122.25/2129.17 v ~x230 ~x19 x872 ~x788 ~x1082 ~x653 x442 ~x231 ~x20 ~x873 2122.25/2129.17 v ~x789 x1083 ~x654 ~x443 ~x232 x21 x874 ~x790 x1084 ~x655 2122.25/2129.17 v ~x444 ~x233 x22 x875 ~x791 x1085 x656 ~x445 ~x234 x23 2122.25/2129.17 v ~x876 x792 x1086 x657 ~x446 ~x235 x24 ~x877 ~x793 x1087 2122.25/2129.17 v x658 ~x447 ~x236 ~x25 ~x878 ~x794 x1088 x659 ~x448 ~x237 2122.25/2129.17 v ~x26 ~x879 x1089 x660 ~x449 x238 ~x27 x880 x1090 x661 2122.25/2129.17 v ~x450 x239 x28 ~x881 ~x1091 ~x662 ~x451 x240 ~x29 x882 2122.25/2129.17 v ~x1092 x663 ~x452 x241 x30 x883 x1093 x664 ~x453 x242 2122.25/2129.17 v ~x31 ~x884 ~x1094 ~x665 ~x454 x243 ~x32 ~x885 x1095 ~x666 2122.25/2129.17 v ~x455 x244 ~x33 ~x886 x1096 ~x667 ~x456 ~x245 ~x34 x887 2122.25/2129.17 v ~x1097 ~x668 ~x457 ~x246 ~x35 x888 x1098 ~x669 x458 ~x247 2122.25/2129.17 v ~x36 ~x889 x1099 ~x670 x459 ~x248 ~x37 ~x890 ~x1100 x671 2122.25/2129.17 v x460 ~x249 ~x38 ~x891 x1290 ~x1101
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: 63794 MiB (62792 MiB free)
memory of node 1: 64507 MiB (61762 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523697-1751605601/watcher-4523697-1751605601 -o /tmp/evaluation-result-4523697-1751605601/solver-4523697-1751605601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751601988-85338 --watchdog 3760 pb_picat HOME/instance-4523697-1751605601.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=85756, runsolver pid=85753
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 4.25 4.44 4.25 5/251 85757
/proc/meminfo: memFree=127505728/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2027148 memory=26484 CPUtime=0.1 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 1109 0 0 0 9 1 0 0 20 0 1 0 76239792 2075799552 6621 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 506787 6621 1600 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 26484 KiB
[startup+0.213362 s]*
/proc/loadavg: 4.25 4.44 4.25 5/251 85757
/proc/meminfo: memFree=127464768/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2027148 memory=34676 CPUtime=0.21 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 1113 0 0 0 20 1 0 0 20 0 1 0 76239792 2075799552 8669 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 506787 8669 1600 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34676 KiB
[startup+0.313227 s]*
/proc/loadavg: 4.25 4.44 4.25 5/251 85757
/proc/meminfo: memFree=127432000/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2027148 memory=42868 CPUtime=0.31 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 1117 0 0 0 30 1 0 0 20 0 1 0 76239792 2075799552 10717 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 506787 10717 1600 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42868 KiB
[startup+0.7003 s]
/proc/loadavg: 4.25 4.44 4.25 5/251 85757
/proc/meminfo: memFree=127358272/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2027148 memory=79732 CPUtime=0.68 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 1135 0 0 0 66 2 0 0 20 0 1 0 76239792 2075799552 19933 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 506787 19933 1600 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 79732 KiB
[startup+1.50034 s]
/proc/loadavg: 4.25 4.44 4.25 5/251 85757
/proc/meminfo: memFree=127215040/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2034964 memory=186276 CPUtime=1.48 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 1199 0 0 0 143 5 0 0 20 0 1 0 76239792 2083803136 46569 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 508741 46569 1600 343 0 505805 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 186276 KiB
[startup+3.11287 s]
/proc/loadavg: 4.25 4.44 4.25 5/251 85757
/proc/meminfo: memFree=126702496/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2034964 memory=309176 CPUtime=3.08 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 1292 0 0 0 301 7 0 0 20 0 1 0 76239792 2083803136 77294 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 508741 77294 1600 343 0 505805 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 309176 KiB
[startup+6.30034 s]
/proc/loadavg: 4.22 4.43 4.24 5/251 85757
/proc/meminfo: memFree=124395260/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2505572 memory=1045372 CPUtime=6.27 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 11908 0 0 0 601 26 0 0 20 0 1 0 76239792 2565705728 261343 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 626393 261343 1728 343 0 623457 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2505572 KiB
Current children cumulated memory: 1045372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.41 4.24 5/251 85802
/proc/meminfo: memFree=124196808/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3627368 memory=1790732 CPUtime=12.66 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 50444 0 0 0 1212 54 0 0 20 0 1 0 76239792 3714424832 447683 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 906842 447683 1760 343 0 903906 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3627368 KiB
Current children cumulated memory: 1790732 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.40 4.24 5/251 85802
/proc/meminfo: memFree=122490776/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3200928 memory=1469568 CPUtime=25.41 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 56096 0 0 0 2484 57 0 0 20 0 1 0 76239792 3277750272 367392 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 800232 367392 1760 343 0 797296 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3200928 KiB
Current children cumulated memory: 1469568 KiB
[startup+51.1132 s]
/proc/loadavg: 4.11 4.37 4.23 5/252 85804
/proc/meminfo: memFree=122954276/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3618120 memory=1753836 CPUtime=50.94 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 68241 0 0 0 5015 79 0 0 20 0 1 0 76239792 3704954880 438459 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 904530 438459 1760 343 0 901594 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3618120 KiB
Current children cumulated memory: 1753836 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.33 4.22 5/252 85805
/proc/meminfo: memFree=122712668/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3618120 memory=1891184 CPUtime=101.97 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 72064 0 0 0 10106 91 0 0 20 0 1 0 76239792 3704954880 472796 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 904530 472796 1760 343 0 901594 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3618120 KiB
Current children cumulated memory: 1891184 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.28 4.21 5/252 85807
/proc/meminfo: memFree=122588916/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3605912 memory=1738472 CPUtime=161.78 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 114305 0 0 0 16042 136 0 0 20 0 1 0 76239792 3692453888 434618 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 901478 434618 1760 343 0 898542 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 3605912 KiB
Current children cumulated memory: 1738472 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.24 4.20 5/251 85815
/proc/meminfo: memFree=122324260/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3600300 memory=1798224 CPUtime=221.58 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 161601 0 0 0 21976 182 0 0 20 0 1 0 76239792 3686707200 449556 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 900075 449556 1760 343 0 897139 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 3600300 KiB
Current children cumulated memory: 1798224 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.24 4.20 5/250 85818
/proc/meminfo: memFree=122727944/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3059264 memory=1415076 CPUtime=281.4 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 215565 0 0 0 27911 229 0 0 20 0 1 0 76239792 3132686336 353769 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 764816 353769 1760 343 0 761880 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 3059264 KiB
Current children cumulated memory: 1415076 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.20 4.18 5/250 85820
/proc/meminfo: memFree=122855904/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3059184 memory=1407936 CPUtime=341.2 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 224784 0 0 0 33875 245 0 0 20 0 1 0 76239792 3132604416 351984 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 764796 351984 1760 343 0 761860 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 3059184 KiB
Current children cumulated memory: 1407936 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/250 85822
/proc/meminfo: memFree=123247308/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2928112 memory=1371120 CPUtime=401.01 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 228096 0 0 0 39848 253 0 0 20 0 1 0 76239792 2998386688 342780 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 732028 342780 1760 343 0 729092 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 2928112 KiB
Current children cumulated memory: 1371120 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/250 85824
/proc/meminfo: memFree=123179320/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3059184 memory=1416176 CPUtime=460.81 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 232456 0 0 0 45819 262 0 0 20 0 1 0 76239792 3132604416 354044 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 764796 354044 1760 343 0 761860 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
/proc/loadavg: 4.43 4.16 4.11 5/250 85884
/proc/meminfo: memFree=122880580/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3055884 memory=1466540 CPUtime=1776.55 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 270935 0 0 0 177318 337 0 0 20 0 1 0 76239792 3129225216 366635 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 763971 366635 1760 343 0 761035 0
Current children cumulated CPU time: 1776.55 s
Current children cumulated vsize: 3055884 KiB
Current children cumulated memory: 1466540 KiB
[startup+1842.3 s]
/proc/loadavg: 4.57 4.27 4.16 5/249 85886
/proc/meminfo: memFree=122926240/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3055884 memory=1429676 CPUtime=1836.35 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 272956 0 0 0 183295 340 0 0 20 0 1 0 76239792 3129225216 357419 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 763971 357419 1760 343 0 761035 0
Current children cumulated CPU time: 1836.35 s
Current children cumulated vsize: 3055884 KiB
Current children cumulated memory: 1429676 KiB
[startup+1902.3 s]
/proc/loadavg: 4.88 4.42 4.22 5/249 85888
/proc/meminfo: memFree=122904844/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3055884 memory=1474732 CPUtime=1896.16 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 272980 0 0 0 189275 341 0 0 20 0 1 0 76239792 3129225216 368683 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 763971 368683 1760 343 0 761035 0
Current children cumulated CPU time: 1896.16 s
Current children cumulated vsize: 3055884 KiB
Current children cumulated memory: 1474732 KiB
[startup+1962.3 s]
/proc/loadavg: 4.45 4.38 4.22 5/249 85890
/proc/meminfo: memFree=122955320/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3055884 memory=1478828 CPUtime=1955.97 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 272982 0 0 0 195256 341 0 0 20 0 1 0 76239792 3129225216 369707 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 763971 369707 1760 343 0 761035 0
Current children cumulated CPU time: 1955.97 s
Current children cumulated vsize: 3055884 KiB
Current children cumulated memory: 1478828 KiB
[startup+2022.3 s]
/proc/loadavg: 4.44 4.38 4.22 5/250 85899
/proc/meminfo: memFree=123177216/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2826508 memory=1310892 CPUtime=2015.77 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 273399 0 0 0 201236 341 0 0 20 0 1 0 76239792 2894344192 327723 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 706627 327723 1760 343 0 703691 0
Current children cumulated CPU time: 2015.77 s
Current children cumulated vsize: 2826508 KiB
Current children cumulated memory: 1310892 KiB
[startup+2082.3 s]
/proc/loadavg: 4.76 4.49 4.27 5/250 85901
/proc/meminfo: memFree=122975860/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3055884 memory=1474732 CPUtime=2075.59 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 275013 0 0 0 207214 345 0 0 20 0 1 0 76239792 3129225216 368683 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 763971 368683 1760 343 0 761035 0
Current children cumulated CPU time: 2075.59 s
Current children cumulated vsize: 3055884 KiB
Current children cumulated memory: 1474732 KiB
[startup+2129.18 s]
# the end of solver process 85756 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2118.26 s, system=4.07755 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2099.2 s]
/proc/loadavg: 4.59 4.47 4.27 5/250 85901
/proc/meminfo: memFree=123085676/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=3019620 memory=1440776 CPUtime=2092.43 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 291900 0 0 0 208888 355 0 0 20 0 1 0 76239792 3092090880 360194 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 754905 360194 1760 343 0 751969 0
Current children cumulated CPU time: 2092.43 s
Current children cumulated vsize: 3019620 KiB
Current children cumulated memory: 1440776 KiB
[startup+2112 s]*
/proc/loadavg: 4.46 4.44 4.26 5/250 85901
/proc/meminfo: memFree=123120512/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2765668 memory=1283972 CPUtime=2105.21 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 315389 0 0 0 210140 381 0 0 20 0 1 0 76239792 2832044032 320993 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 691417 320993 1760 343 0 688481 0
Current children cumulated CPU time: 2105.21 s
Current children cumulated vsize: 2765668 KiB
Current children cumulated memory: 1283972 KiB
[startup+2118.4 s]
/proc/loadavg: 4.42 4.43 4.26 5/250 85902
/proc/meminfo: memFree=122792508/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2752544 memory=1311236 CPUtime=2111.58 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 332057 0 0 0 210756 402 0 0 20 0 1 0 76239792 2818605056 327809 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 688136 327809 1760 343 0 685200 0
Current children cumulated CPU time: 2111.58 s
Current children cumulated vsize: 2752544 KiB
Current children cumulated memory: 1311236 KiB
[startup+2124.8 s]
/proc/loadavg: 4.47 4.44 4.27 5/250 85902
/proc/meminfo: memFree=123206264/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2818080 memory=1367708 CPUtime=2117.95 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 332378 0 0 0 211392 403 0 0 20 0 1 0 76239792 2885713920 341927 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 704520 341927 1760 343 0 701584 0
Current children cumulated CPU time: 2117.95 s
Current children cumulated vsize: 2818080 KiB
Current children cumulated memory: 1367708 KiB
[startup+2126.4 s]
/proc/loadavg: 4.43 4.44 4.27 5/250 85902
/proc/meminfo: memFree=123177592/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2719776 memory=1267356 CPUtime=2119.55 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 332677 0 0 0 211552 403 0 0 20 0 1 0 76239792 2785050624 316839 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 679944 316839 1760 343 0 677008 0
Current children cumulated CPU time: 2119.55 s
Current children cumulated vsize: 2719776 KiB
Current children cumulated memory: 1267356 KiB
[startup+2128 s]*
/proc/loadavg: 4.43 4.44 4.27 5/250 85902
/proc/meminfo: memFree=123199992/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2818080 memory=1367708 CPUtime=2121.16 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 333748 0 0 0 211710 406 0 0 20 0 1 0 76239792 2885713920 341927 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 704520 341927 1760 343 0 701584 0
Current children cumulated CPU time: 2121.16 s
Current children cumulated vsize: 2818080 KiB
Current children cumulated memory: 1367708 KiB
[startup+2128.8 s]
/proc/loadavg: 4.43 4.44 4.27 5/250 85902
/proc/meminfo: memFree=123199992/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2818080 memory=1375900 CPUtime=2121.95 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 333752 0 0 0 211789 406 0 0 20 0 1 0 76239792 2885713920 343975 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 704520 343975 1760 343 0 701584 0
Current children cumulated CPU time: 2121.95 s
Current children cumulated vsize: 2818080 KiB
Current children cumulated memory: 1375900 KiB
[startup+2129 s]*
/proc/loadavg: 4.43 4.44 4.27 5/250 85902
/proc/meminfo: memFree=123179512/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2949152 memory=1377308 CPUtime=2122.15 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 334117 0 0 0 211809 406 0 0 20 0 1 0 76239792 3019931648 344327 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 737288 344327 1760 343 0 734352 0
Current children cumulated CPU time: 2122.15 s
Current children cumulated vsize: 2949152 KiB
Current children cumulated memory: 1377308 KiB
[startup+2129.11 s]
/proc/loadavg: 4.43 4.44 4.27 5/250 85902
/proc/meminfo: memFree=123179512/131382112 swapFree=33010416/33010684
[pid=85756] ppid=85753 vsize=2949152 memory=1377820 CPUtime=2122.25 cores=5,7
/proc/85756/stat : 85756 (pb_picat) R 85753 85756 85325 0 -1 4194304 334256 0 0 0 211819 406 0 0 20 0 1 0 76239792 3019931648 344455 18446744073709551615 94401919799296 94401921200877 140730381364128 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94401921472304 94401923346608 94401948479488 140730381367710 140730381367786 140730381367786 140730381373388 0
/proc/85756/statm: 737288 344455 1760 343 0 734352 0
Current children cumulated CPU time: 2122.25 s
Current children cumulated vsize: 2949152 KiB
Current children cumulated memory: 1377820 KiB
Child status: 0
Real time (s): 2129.18
CPU time (s): 2122.34
CPU user time (s): 2118.26
CPU system time (s): 4.07755
CPU usage (%): 99.6784
Max. virtual memory (cumulated for all children) (KiB): 4213460
Max. memory (cumulated for all children) (KiB): 2082812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2118.26
system time used= 4.07754
maximum resident set size= 2082812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334269
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= 1577
# summary of solver processes directly reported to runsolver:
# pid: 85756
# total CPU time (s): 2122.34
# total CPU user time (s): 2118.26
# total CPU system time (s): 4.07755
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8478 second user time and 20.3517 second system time
The end
Begin job on nodeC012 at 2025-07-04 07:06:41 IDJOB=4523697 IDBENCH=180370 IDSOLVER=3346 FILE ID=nodeC012/4523697-1751605601 RUNJOBID= nodeC012-1751601988-85338 SLURM_JOB_ID= 9598882 Free space on /tmp= 431840 MiB SOLVER NAME= Picat 2025-06-16 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-4523697-1751605601/watcher-4523697-1751605601 -o /tmp/evaluation-result-4523697-1751605601/solver-4523697-1751605601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751601988-85338 --watchdog 3760 pb_picat HOME/instance-4523697-1751605601.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 125f46ef4151ea54a587951799140dfb RANDOM SEED=1634407359 nodeC012 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 : 0xb00001f cpu MHz : 2194.771 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3526.529 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.369 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.139 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1795.737 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.158 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.572 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.797 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 127560740 kB MemAvailable: 127862920 kB Buffers: 2136 kB Cached: 1102072 kB SwapCached: 16 kB Active: 2794788 kB Inactive: 481836 kB Active(anon): 2185420 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 476888 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20700 kB Writeback: 0 kB AnonPages: 2173980 kB Mapped: 113480 kB Shmem: 17944 kB KReclaimable: 110716 kB Slab: 196736 kB SReclaimable: 110716 kB SUnreclaim: 86020 kB KernelStack: 4064 kB PageTables: 7332 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 8057028 kB VmallocTotal: 34359738367 kB VmallocUsed: 149352 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1744896 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431836 MiB End job on nodeC012 at 2025-07-04 07:42:10