0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
5.57/7.59 c #variables 2800 #constraints 990082
43.39/45.57 c cpu time 42.0574 s
43.39/45.57 c deterministic time 810536 8.11e+05
43.39/45.57 c optimization time 1.8e-05 s
43.39/45.57 c total solve time 37.6025 s
43.39/45.57 c core-guided solve time 0 s
43.39/45.57 c propagation time 31.5432 s
43.39/45.57 c conflict analysis time 0.014232 s
43.39/45.57 c propagations 21222
43.39/45.57 c resolve steps 2850
43.39/45.57 c decisions 6793
43.39/45.57 c conflicts 394
43.39/45.57 c restarts 3
43.39/45.57 c inprocessing phases 0
43.39/45.57 c garbage collections 0 ,( -nan )
43.39/45.57 c input clauses 986840 ,( 99.67 )
43.39/45.57 c input cardinalities 82 ,( 0.01 )
43.39/45.57 c input general constraints 3160 ,( 0.32 )
43.39/45.57 c input average constraint length 3.19
43.39/45.57 c input average constraint degree 1.44
43.39/45.57 c learned clauses 298 ,( 75.63 )
43.39/45.57 c learned cardinalities 28 ,( 7.11 )
43.39/45.57 c learned general constraints 68 ,( 17.26 )
43.39/45.57 c learned average constraint length 148.86
43.39/45.57 c learned average constraint degree 53.95
43.39/45.57 c watched CF 32, 64, 128, Arb: 37 , 0 , 0 , 0
43.39/45.57 c counting CF 32, 64, 128, Arb: 3191 , 0 , 0 , 0
43.39/45.57 c watched constraints 37 ,( 1.15 )
43.39/45.57 c counting constraints 3191 ,( 98.85 )
43.39/45.57 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 71708 , 2108 , 10377 ,( 4364 , 6013 )
43.39/45.57 c gcd simplifications 13
43.39/45.57 c detected cardinalities 0
43.39/45.57 c weakened non-implied lits 8496
43.39/45.57 c weakened non-implying lits 91
43.39/45.57 c original variables 2800
43.39/45.57 c clausal propagations 7894
43.39/45.57 c cardinality propagations 4214
43.39/45.57 c watched propagations 41
43.39/45.57 c counting propagations 6646
43.39/45.57 c watch lookups 204657
43.39/45.57 c watch backjump lookups 0
43.39/45.57 c watch checks 293875
43.39/45.57 c propagation checks 120089
43.39/45.57 c constraint additions 132490
43.39/45.57 c trail pops 28409
43.39/45.57 c formula constraints 990082
43.39/45.57 c learned constraints 394
43.39/45.57 c bound constraints 0
43.39/45.57 c core-guided constraints 0
43.39/45.57 c encountered formula constraints 2630
43.39/45.57 c encountered learned constraints 614
43.39/45.57 c encountered bound constraints 0
43.39/45.57 c encountered core-guided constraints 0
43.39/45.57 c LP total time 37.5616 s
43.39/45.57 c LP solve time 37.12 s
43.39/45.57 c LP constraints added 990082
43.39/45.57 c LP constraints removed 0
43.39/45.57 c LP pivots internal 2000
43.39/45.57 c LP pivots root 1000
43.39/45.57 c LP calls 2
43.39/45.57 c LP optimalities 0
43.39/45.57 c LP no pivot count 0
43.39/45.57 c LP infeasibilities 0
43.39/45.57 c LP valid Farkas constraints 0
43.39/45.57 c LP learned Farkas constraints 0
43.39/45.57 c LP basis resets 0
43.39/45.57 c LP cycling count 0
43.39/45.57 c LP singular count 0
43.39/45.57 c LP no primal count 0
43.39/45.57 c LP no farkas count 0
43.39/45.57 c LP other issue count 0
43.39/45.57 c LP Gomory cuts 0
43.39/45.57 c LP learned cuts 0
43.39/45.57 c LP deleted cuts 0
43.39/45.57 c LP encountered Gomory constraints 0
43.39/45.57 c LP encountered Farkas constraints 0
43.39/45.57 c LP encountered learned Farkas constraints 0
43.39/45.57 c CG auxiliary variables introduced 0
43.39/45.57 c CG solutions found 0
43.39/45.57 c CG cores constructed 0
43.39/45.57 c CG core cardinality constraints returned 0
43.39/45.57 c CG unit cores 0
43.39/45.57 c CG single cores 0
43.39/45.57 c CG blocks removed during cardinality reduction 0
43.39/45.57 c CG first core best 0
43.39/45.57 c CG decision core best 0
43.39/45.57 c CG core reduction tie 0
43.39/45.57 c CG core degree average 0.00
43.39/45.57 c CG core slack average 0.00
43.39/45.57 c CG core upper bound improvements 0
43.39/45.57 c STR number of successful calls 0
43.39/45.57 c STR number of unsuccessful calls 0
43.39/45.57 c STR number of inconclusive calls 0
43.39/45.57 c STR number of successful attempts 0
43.39/45.57 c STR number of unsuccessful attempts 0
43.39/45.57 c STR number of inconclusive attempts 0
43.39/45.57 c STR average degree increase per successful call inf
43.39/45.57 c STR average degree increase per successful attempt inf
43.39/45.57 c STR total number of conflicts for successful attempts 0
43.39/45.57 c STR total number of conflicts for unsuccessful attempts 0
43.39/45.57 c STR total number of conflicts for inconclusive attempts 0
43.39/45.57 c STR average number of conflicts per successful attempt inf
43.39/45.57 c STR average number of conflicts per unsuccessful attempt inf
43.39/45.57 c STR average number of conflicts per inconclusive attempt inf
43.39/45.57 c AVG.sumWPerc 95.45
43.39/45.57 c bigint constraints 0
43.39/45.57 s SATISFIABLE
43.39/45.57 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800
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 (42166 MiB free)
memory of node 1: 64507 MiB (43643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493949-1751150223/watcher-4493949-1751150223 -o /tmp/evaluation-result-4493949-1751150223/solver-4493949-1751150223 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15942 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4493949-1751150223.opb PROOFDIR/proof-4493949-1751150223
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 FSIZE limit: 102400000 KiB
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=16679, runsolver pid=16676
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 4.08 4.11 4.10 3/253 16681
/proc/meminfo: memFree=87867908/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/16681/stat : 16681 (roundingsat) D 16679 16679 15930 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 30702163 52015104 1856 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.209137 s]*
/proc/loadavg: 4.08 4.11 4.10 3/253 16681
/proc/meminfo: memFree=87859264/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/16681/stat : 16681 (roundingsat) D 16679 16679 15930 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 30702163 52015104 1856 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.308501 s]*
/proc/loadavg: 4.08 4.11 4.10 3/253 16681
/proc/meminfo: memFree=87859696/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/16681/stat : 16681 (roundingsat) D 16679 16679 15930 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 30702163 52015104 1856 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.700335 s]
/proc/loadavg: 4.08 4.11 4.10 3/253 16681
/proc/meminfo: memFree=87857680/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/16681/stat : 16681 (roundingsat) D 16679 16679 15930 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 30702163 52015104 1856 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.11 4.10 3/253 16681
/proc/meminfo: memFree=87853648/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/16681/stat : 16681 (roundingsat) D 16679 16679 15930 0 -1 4194304 297 0 0 0 0 0 0 0 20 0 1 0 30702163 52015104 1856 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+3.11363 s]
/proc/loadavg: 4.08 4.11 4.10 5/253 16681
/proc/meminfo: memFree=96624480/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=83316 memory=34652 CPUtime=1.2 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 6841 0 0 0 91 29 0 0 20 0 1 0 30702163 85315584 8663 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 20829 8663 1952 1147 0 8256 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 87508 KiB
Current children cumulated memory: 37724 KiB
heavy processes:
[startup+6.30038 s]
/proc/loadavg: 4.07 4.11 4.10 5/259 16701
/proc/meminfo: memFree=108166436/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=369964 memory=306420 CPUtime=4.37 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 37400 0 0 0 337 100 0 0 20 0 1 0 30702163 378843136 76605 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 92491 76605 2240 1147 0 79918 0
Current children cumulated CPU time: 4.37 s
Current children cumulated vsize: 374156 KiB
Current children cumulated memory: 309492 KiB
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 4.15 4.12 4.11 5/259 16701
/proc/meminfo: memFree=107137652/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1121644 memory=1034780 CPUtime=10.75 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 76203 0 0 0 941 134 0 0 20 0 1 0 30702163 1148563456 258695 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 280411 258695 2240 1147 0 267838 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 1125836 KiB
Current children cumulated memory: 1037852 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.13 4.11 5/258 16762
/proc/meminfo: memFree=128737280/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1070168 CPUtime=23.48 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77868 0 0 0 2212 136 0 0 20 0 1 0 30702163 1196683264 267542 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 267542 2272 1147 0 279586 0
Current children cumulated CPU time: 23.48 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1073240 KiB
[startup+45.6049 s]
# the end of solver process 16679 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=42.0777 s, system=1.43389 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 4.18 4.13 4.11 5/258 16762
/proc/meminfo: memFree=128737280/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1070168 CPUtime=23.58 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77868 0 0 0 2222 136 0 0 20 0 1 0 30702163 1196683264 267542 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 267542 2272 1147 0 279586 0
Current children cumulated CPU time: 23.58 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1073240 KiB
[startup+38.4004 s]
/proc/loadavg: 4.15 4.13 4.11 5/256 16823
/proc/meminfo: memFree=128561064/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1074264 CPUtime=36.32 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77870 0 0 0 3492 140 0 0 20 0 1 0 30702163 1196683264 268566 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 268566 2272 1147 0 279586 0
Current children cumulated CPU time: 36.32 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1077336 KiB
[startup+41.6004 s]
/proc/loadavg: 4.22 4.14 4.11 5/256 16823
/proc/meminfo: memFree=128600392/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1076312 CPUtime=39.51 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77871 0 0 0 3811 140 0 0 20 0 1 0 30702163 1196683264 269078 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 269078 2272 1147 0 279586 0
Current children cumulated CPU time: 39.51 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1079384 KiB
[startup+43.2004 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 16855
/proc/meminfo: memFree=128688504/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1078360 CPUtime=41.1 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77872 0 0 0 3970 140 0 0 20 0 1 0 30702163 1196683264 269590 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 269590 2272 1147 0 279586 0
Current children cumulated CPU time: 41.1 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1081432 KiB
[startup+44.8004 s]
/proc/loadavg: 4.22 4.14 4.11 5/258 16855
/proc/meminfo: memFree=128657636/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1078360 CPUtime=42.7 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77872 0 0 0 4130 140 0 0 20 0 1 0 30702163 1196683264 269590 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 269590 2272 1147 0 279586 0
Current children cumulated CPU time: 42.7 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1081432 KiB
[startup+45.2004 s]
/proc/loadavg: 4.36 4.17 4.12 5/258 16855
/proc/meminfo: memFree=128626136/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
[pid=16681] ppid=16679 vsize=1168636 memory=1078360 CPUtime=43.09 cores=1,3
/proc/16681/stat : 16681 (roundingsat) R 16679 16679 15930 0 -1 4194304 77872 0 0 0 4169 140 0 0 20 0 1 0 30702163 1196683264 269590 18446744073709551615 4227072 8923433 140732434890528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42180608 140732434893159 140732434893352 140732434893352 140732434898922 0
/proc/16681/statm: 292159 269590 2272 1147 0 279586 0
Current children cumulated CPU time: 43.09 s
Current children cumulated vsize: 1172828 KiB
Current children cumulated memory: 1081432 KiB
[startup+45.6004 s]
/proc/loadavg: 4.36 4.17 4.12 5/258 16855
/proc/meminfo: memFree=128626136/131382112 swapFree=33010684/33010684
[pid=16679] ppid=16676 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/16679/stat : 16679 (run-dec-log.sh) S 16676 16679 15930 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 30702162 4292608 768 18446744073709551615 94358282489856 94358283384389 140722531509392 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94358283623440 94358283671184 94358292996096 140722531514657 140722531514852 140722531514852 140722531520454 0
/proc/16679/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 45.605
CPU time (s): 43.5116
CPU user time (s): 42.0777
CPU system time (s): 1.43389
CPU usage (%): 95.4099
Max. virtual memory (cumulated for all children) (KiB): 1299964
Max. memory (cumulated for all children) (KiB): 1199316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.0777
system time used= 1.43389
maximum resident set size= 1238412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182
involuntary context switches= 45
# summary of solver processes directly reported to runsolver:
# pid: 16679
# total CPU time (s): 43.5116
# total CPU user time (s): 42.0777
# total CPU system time (s): 1.43389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.305768 second user time and 0.533385 second system time
The end
Begin job on nodeC009 at 2025-06-29 00:37:04
IDJOB=4493949
IDBENCH=147877
IDSOLVER=3352
FILE ID=nodeC009/4493949-1751150223
RUNJOBID= nodeC009-1751146607-15942
SLURM_JOB_ID= 9587463
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493949-1751150223/watcher-4493949-1751150223 -o /tmp/evaluation-result-4493949-1751150223/solver-4493949-1751150223 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15942 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4493949-1751150223.opb PROOFDIR/proof-4493949-1751150223
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c304efff63a51bc9fe525a7646c6360
RANDOM SEED=1415884218
nodeC009 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 : 2992.933
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.85
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 : 1197.207
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.85
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.562
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.85
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 : 1896.257
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.85
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 : 3662.446
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.85
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.339
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.85
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.764
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.85
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.474
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.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 87868916 kB
MemAvailable: 128436704 kB
Buffers: 3280 kB
Cached: 41333384 kB
SwapCached: 0 kB
Active: 1791716 kB
Inactive: 41122796 kB
Active(anon): 1595908 kB
Inactive(anon): 0 kB
Active(file): 195808 kB
Inactive(file): 41122796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 165892 kB
Writeback: 0 kB
AnonPages: 1579232 kB
Mapped: 111564 kB
Shmem: 17960 kB
KReclaimable: 177236 kB
Slab: 262896 kB
SReclaimable: 177236 kB
SUnreclaim: 85660 kB
KernelStack: 4064 kB
PageTables: 6096 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1966112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1290240 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432876 MiB
End job on nodeC009 at 2025-06-29 00:37:50