Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OR-Tools CP-SAT 9.14 | SAT (TO) | 1 | 3600.14 | 1812.21 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb |
| MD5SUM | 6ddf7cdb8e212e3876ea6adaf4134c19 |
| 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 | 1.72286 |
| 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 | 1404 |
| Total number of constraints | 351 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 351 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 351 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 351 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 351 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.98/1.00 o 73 0.98/1.10 o 1 3600.12/1812.20 s SATISFIABLE 3600.12/1812.20 v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 x11 x12 -x13 x14 -x15 x16 x17 -x18 -x19 3600.12/1812.20 v x20 -x21 x22 -x23 x24 x25 x26 -x27 -x28 -x29 x30 -x31 -x32 x33 x34 -x35 x36 3600.12/1812.20 v -x37 -x38 x39 x40 -x41 -x42 -x43 x44 x45 x46 -x47 x48 x49 -x50 x51 -x52 x53 3600.12/1812.20 v x54 -x55 -x56 -x57 x58 -x59 x60 x61 x62 -x63 -x64 -x65 -x66 x67 x68 x69 -x70 3600.12/1812.20 v x71 -x72 x73 x74 -x75 -x76 -x77 x78 x79 -x80 x81 -x82 -x83 x84 x85 -x86 -x87 3600.12/1812.20 v x88 x89 x90 x91 -x92 -x93 -x94 x95 x96 -x97 -x98 x99 x100 x101 -x102 -x103 3600.12/1812.20 v -x104 x105 -x106 -x107 x108 -x109 x110 -x111 x112 x113 x114 -x115 -x116 x117 3600.12/1812.20 v x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 x126 x127 x128 -x129 -x130 x131 3600.12/1812.20 v -x132 -x133 x134 x135 x136 -x137 -x138 x139 x140 -x141 -x142 x143 -x144 -x145 3600.12/1812.20 v x146 x147 x148 x149 x150 -x151 -x152 x153 -x154 x155 -x156 -x157 -x158 x159 3600.12/1812.20 v -x160 -x161 -x162 x163 x164 -x165 x166 -x167 x168 -x169 x170 x171 -x172 x173 3600.12/1812.20 v -x174 -x175 x176 -x177 x178 -x179 x180 x181 -x182 x183 -x184 x185 -x186 -x187 3600.12/1812.20 v x188 -x189 x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 -x199 x200 x201 3600.12/1812.20 v x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 x211 x212 -x213 x214 x215 3600.12/1812.20 v -x216 -x217 x218 -x219 x220 x221 -x222 -x223 -x224 x225 x226 x227 -x228 x229 3600.12/1812.20 v x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 x239 x240 -x241 x242 -x243 3600.12/1812.20 v -x244 x245 -x246 -x247 -x248 x249 x250 x251 -x252 x253 -x254 x255 x256 -x257 3600.12/1812.20 v -x258 x259 -x260 x261 -x262 x263 x264 -x265 x266 -x267 -x268 -x269 -x270 x271 3600.12/1812.20 v x272 -x273 -x274 x275 x276 x277 x278 x279 -x280 -x281 x282 x283 -x284 -x285 3600.12/1812.20 v x286 x287 -x288 x289 x290 -x291 -x292 x293 -x294 x295 -x296 -x297 x298 -x299 3600.12/1812.20 v x300 x301 x302 x303 -x304 -x305 x306 -x307 x308 -x309 -x310 -x311 -x312 x313 3600.12/1812.20 v -x314 x315 x316 -x317 x318 x319 x320 -x321 -x322 -x323 -x324 x325 -x326 x327 3600.12/1812.20 v x328 x329 -x330 -x331 x332 -x333 x334 -x335 -x336 -x337 x338 x339 -x340 x341 3600.12/1812.20 v x342 x343 -x344 x345 -x346 -x347 x348 x349 x350 -x351 x352 -x353 -x354 x355 3600.12/1812.20 v -x356 -x357 -x358 x359 x360 x361 -x362 x363 -x364 x365 x366 -x367 x368 -x369 3600.12/1812.20 v x370 -x371 -x372 x373 x374 x375 x376 x377 -x378 x379 x380 -x381 -x382 x383 3600.12/1812.20 v -x384 -x385 x386 -x387 x388 -x389 x390 -x391 x392 x393 x394 x395 -x396 -x397 3600.12/1812.20 v -x398 x399 x400 -x401 -x402 -x403 -x404 x405 -x406 x407 -x408 x409 x410 -x411 3600.12/1812.20 v -x412 -x413 x414 x415 -x416 x417 -x418 -x419 x420 x421 -x422 x423 -x424 x425 3600.12/1812.20 v x426 x427 x428 -x429 -x430 x431 x432 -x433 -x434 -x435 x436 x437 -x438 x439 3600.12/1812.20 v x440 -x441 x442 -x443 x444 -x445 x446 x447 -x448 -x449 -x450 x451 x452 x453 3600.12/1812.20 v -x454 -x455 -x456 x457 -x458 x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 3600.12/1812.20 v x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 x480 -x481 3600.12/1812.20 v -x482 x483 -x484 x485 x486 x487 -x488 x489 -x490 -x491 x492 x493 -x494 -x495 3600.12/1812.20 v x496 x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 x506 -x507 -x508 -x509 3600.12/1812.20 v -x510 x511 -x512 x513 x514 -x515 x516 -x517 -x518 x519 x520 -x521 -x522 x523 3600.12/1812.20 v -x524 x525 -x526 x527 -x528 x529 x530 x531 -x532 -x533 -x534 x535 -x536 x537 3600.12/1812.20 v x538 -x539 -x540 x541 x542 x543 -x544 -x545 x546 x547 -x548 -x549 -x550 x551 3600.12/1812.20 v -x552 x553 x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 3600.12/1812.20 v x566 x567 x568 -x569 -x570 x571 -x572 x573 -x574 -x575 x576 -x577 -x578 x579 3600.12/1812.20 v x580 -x581 -x582 -x583 -x584 x585 x586 -x587 x588 x589 -x590 x591 -x592 x593 3600.12/1812.20 v x594 -x595 -x596 x597 -x598 x599 x600 -x601 x602 x603 x604 -x605 -x606 -x607 3600.12/1812.20 v x608 -x609 -x610 -x611 -x612 x613 x614 x615 x616 -x617 -x618 -x619 -x620 x621 3600.12/1812.20 v -x622 x623 -x624 x625 x626 -x627 x628 x629 -x630 -x631 -x632 x633 x634 -x635 3600.12/1812.20 v -x636 x637 x638 -x639 -x640 x641 -x642 x643 -x644 -x645 x646 -x647 -x648 x649 3600.12/1812.20 v -x650 x651 -x652 x653 x654 -x655 x656 -x657 -x658 -x659 x660 -x661 x662 x663 3600.12/1812.20 v x664 -x665 -x666 -x667 -x668 x669 x670 -x671 -x672 x673 -x674 x675 x676 x677 3600.12/1812.20 v -x678 x679 -x680 -x681 x682 -x683 x684 x685 -x686 x687 x688 x689 -x690 -x691 3600.12/1812.20 v -x692 x693 x694 x695 -x696 x697 x698 x699 -x700 x701 -x702 -x703 x704 -x705 3600.12/1812.20 v -x706 x707 -x708 x709 x710 x711 x712 -x713 x714 -x715 -x716 x717 -x718 x719 3600.12/1812.20 v -x720 x721 -x722 x723 x724 -x725 -x726 x727 x728 x729 -x730 x731 x732 -x733 3600.12/1812.20 v x734 x735 -x736 -x737 x738 -x739 x740 -x741 x742 x743 x744 -x745 -x746 x747 3600.12/1812.20 v x748 -x749 -x750 -x751 x752 x753 -x754 x755 -x756 x757 -x758 -x759 x760 -x761 3600.12/1812.20 v -x762 x763 -x764 -x765 x766 -x767 -x768 x769 x770 x771 -x772 -x773 -x774 -x775 3600.12/1812.20 v -x776 x777 x778 x779 -x780 -x781 x782 -x783 x784 x785 -x786 x787 -x788 x789 3600.12/1812.20 v -x790 x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 x800 -x801 -x802 -x803 3600.12/1812.20 v x804 x805 -x806 -x807 x808 -x809 x810 -x811 -x812 x813 -x814 x815 -x816 -x817 3600.12/1812.20 v x818 -x819 x820 -x821 -x822 -x823 x824 -x825 -x826 x827 x828 -x829 -x830 x831 3600.12/1812.20 v x832 x833 x834 -x835 -x836 x837 -x838 -x839 -x840 x841 -x842 x843 -x844 -x845 3600.12/1812.20 v -x846 -x847 x848 -x849 x850 -x851 x852 x853 -x854 x855 -x856 -x857 x858 -x859 3600.12/1812.20 v -x860 x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 x869 x870 -x871 x872 x873 3600.12/1812.20 v -x874 x875 x876 -x877 x878 x879 -x880 x881 -x882 -x883 x884 x885 -x886 x887 3600.12/1812.20 v x888 x889 x890 -x891 -x892 x893 -x894 -x895 -x896 x897 x898 x899 -x900 x901 3600.12/1812.20 v x902 x903 -x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 x913 -x914 x915 3600.12/1812.20 v -x916 x917 -x918 -x919 x920 -x921 x922 x923 -x924 x925 x926 x927 -x928 -x929 3600.12/1812.20 v x930 x931 -x932 x933 x934 x935 -x936 -x937 -x938 x939 x940 -x941 x942 -x943 3600.12/1812.20 v x944 x945 x946 -x947 -x948 x949 x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 3600.12/1812.20 v x958 -x959 -x960 -x961 x962 -x963 x964 -x965 -x966 -x967 -x968 x969 x970 -x971 3600.12/1812.20 v x972 -x973 -x974 x975 x976 -x977 x978 -x979 x980 x981 x982 -x983 x984 x985 3600.12/1812.20 v -x986 -x987 x988 -x989 x990 x991 x992 x993 -x994 -x995 x996 -x997 x998 -x999 3600.12/1812.20 v -x1000 x1001 x1002 x1003 x1004 -x1005 x1006 x1007 -x1008 -x1009 -x1010 -x1011 3600.12/1812.20 v x1012 x1013 x1014 -x1015 x1016 -x1017 x1018 x1019 x1020 -x1021 -x1022 x1023 3600.12/1812.20 v -x1024 -x1025 x1026 x1027 -x1028 x1029 x1030 -x1031 -x1032 x1033 x1034 x1035 3600.12/1812.20 v -x1036 x1037 x1038 x1039 x1040 -x1041 -x1042 -x1043 x1044 -x1045 x1046 x1047 3600.12/1812.20 v x1048 -x1049 x1050 -x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 3600.12/1812.20 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 3600.12/1812.20 v -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 3600.12/1812.20 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 3600.12/1812.20 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 3600.12/1812.20 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 3600.12/1812.20 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 3600.12/1812.20 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 3600.12/1812.20 v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 3600.12/1812.20 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 3600.12/1812.20 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 3600.12/1812.20 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 3600.12/1812.20 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 3600.12/1812.20 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 3600.12/1812.20 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 3600.12/1812.20 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 3600.12/1812.20 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 3600.12/1812.20 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 3600.12/1812.20 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 3600.12/1812.20 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 3600.12/1812.20 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 3600.12/1812.20 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 3600.12/1812.20 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 3600.12/1812.20 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 3600.12/1812.20 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 3600.12/1812.20 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 3600.12/1812.20 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 3600.12/1812.20 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 3600.12/1812.20 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 3600.12/1812.20 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 3600.12/1812.20 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 3600.12/1812.20 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 3600.12/1812.20 v -x1401 -x1402 -x1403 -x1404
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: 63665 MiB (62560 MiB free)
memory of node 1: 64507 MiB (63781 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518752-1751513576/watcher-4518752-1751513576 -o /tmp/evaluation-result-4518752-1751513576/solver-4518752-1751513576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751504462-68201 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:601039925 --competition_mode --input HOME/instance-4518752-1751513576.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71850, runsolver pid=71847
[startup+0.100056 s]*
/proc/loadavg: 8.08 8.12 8.09 8/268 71851
/proc/meminfo: memFree=129374364/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=11776 memory=7808 CPUtime=0.09 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) R 71847 71850 68188 0 -1 4194304 563 0 0 0 9 0 0 0 20 0 1 0 67037478 12058624 1952 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 2944 1952 1568 2102 0 484 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 11776 KiB
Current children cumulated memory: 7808 KiB
[startup+0.205242 s]*
/proc/loadavg: 8.08 8.12 8.09 8/268 71851
/proc/meminfo: memFree=129374404/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=11776 memory=7808 CPUtime=0.2 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) R 71847 71850 68188 0 -1 4194304 563 0 0 0 20 0 0 0 20 0 1 0 67037478 12058624 1952 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 2944 1952 1568 2102 0 484 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11776 KiB
Current children cumulated memory: 7808 KiB
[startup+0.304573 s]*
/proc/loadavg: 8.08 8.12 8.09 8/268 71851
/proc/meminfo: memFree=129374404/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=11776 memory=7808 CPUtime=0.3 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) R 71847 71850 68188 0 -1 4194304 563 0 0 0 30 0 0 0 20 0 1 0 67037478 12058624 1952 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 2944 1952 1568 2102 0 484 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 11776 KiB
Current children cumulated memory: 7808 KiB
[startup+0.700104 s]
/proc/loadavg: 8.08 8.12 8.09 8/268 71851
/proc/meminfo: memFree=129374404/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=12776 memory=10092 CPUtime=0.69 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) R 71847 71850 68188 0 -1 4194304 921 0 0 0 69 0 0 0 20 0 1 0 67037478 13082624 2523 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 3194 2523 1920 2102 0 734 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 12776 KiB
Current children cumulated memory: 10092 KiB
[startup+1.50021 s]
/proc/loadavg: 8.08 8.12 8.09 9/270 71853
/proc/meminfo: memFree=129374156/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161040 memory=22364 CPUtime=1.97 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 4004 0 0 0 196 1 0 0 20 0 3 0 67037478 164904960 5591 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40260 5591 2176 2102 0 7856 0
[pid=71850/tid=71852] ppid=71847 vsize=161040 memory=0 CPUtime=0.49 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 1615 0 0 0 49 0 0 0 20 0 3 0 67037577 164904960 5591 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161040 memory=14720 CPUtime=0.48 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 1446 0 0 0 48 0 0 0 20 0 3 0 67037577 164904960 5591 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 1.97 s
Current children cumulated vsize: 161040 KiB
Current children cumulated memory: 22364 KiB
[startup+3.10563 s]
/proc/loadavg: 8.08 8.12 8.09 9/270 71853
/proc/meminfo: memFree=129354644/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161040 memory=30684 CPUtime=5.16 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 9033 0 0 0 514 2 0 0 20 0 3 0 67037478 164904960 7671 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40260 7671 2176 2102 0 9949 0
[pid=71850/tid=71852] ppid=71847 vsize=161040 memory=14720 CPUtime=2.08 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 4726 0 0 0 207 1 0 0 20 0 3 0 67037577 164904960 7671 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161040 memory=24156 CPUtime=2.08 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 3333 0 0 0 208 0 0 0 20 0 3 0 67037577 164904960 7671 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 5.16 s
Current children cumulated vsize: 161040 KiB
Current children cumulated memory: 30684 KiB
[startup+6.30021 s]
/proc/loadavg: 8.07 8.12 8.09 9/270 71853
/proc/meminfo: memFree=129352628/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161040 memory=36268 CPUtime=11.51 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 16305 0 0 0 1148 3 0 0 20 0 3 0 67037478 164904960 9067 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40260 9067 2176 2102 0 11642 0
[pid=71850/tid=71852] ppid=71847 vsize=161040 memory=31452 CPUtime=5.25 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 9981 0 0 0 523 2 0 0 20 0 3 0 67037577 164904960 9067 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161040 memory=18560 CPUtime=5.26 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 5310 0 0 0 526 0 0 0 20 0 3 0 67037577 164904960 9067 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 11.51 s
Current children cumulated vsize: 161040 KiB
Current children cumulated memory: 36268 KiB
[startup+12.7002 s]
/proc/loadavg: 8.07 8.11 8.09 9/270 71853
/proc/meminfo: memFree=129344564/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=46508 CPUtime=24.23 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 32000 0 0 0 2417 6 0 0 20 0 3 0 67037478 165728256 11627 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 11627 2176 2102 0 14024 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=30940 CPUtime=11.58 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 22158 0 0 0 1154 4 0 0 20 0 3 0 67037577 165728256 11627 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=46508 CPUtime=11.65 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 8758 0 0 0 1164 1 0 0 20 0 3 0 67037577 165728256 11627 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 24.23 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 46508 KiB
[startup+25.5002 s]
/proc/loadavg: 8.05 8.11 8.09 9/270 71854
/proc/meminfo: memFree=129342976/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=46892 CPUtime=49.67 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 45356 0 0 0 4959 8 0 0 20 0 3 0 67037478 165728256 11723 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 11723 2176 2102 0 14041 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=14720 CPUtime=24.26 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 31375 0 0 0 2421 5 0 0 20 0 3 0 67037577 165728256 11723 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=10880 CPUtime=24.39 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 12767 0 0 0 2437 2 0 0 20 0 3 0 67037577 165728256 11723 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 49.67 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 46892 KiB
[startup+51.1053 s]
/proc/loadavg: 8.10 8.12 8.09 9/270 71854
/proc/meminfo: memFree=129324620/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=49136 CPUtime=100.56 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 55237 0 0 0 10047 9 0 0 20 0 3 0 67037478 165728256 12284 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 12284 2176 2102 0 14596 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=47344 CPUtime=49.61 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 39551 0 0 0 4955 6 0 0 20 0 3 0 67037577 165728256 12284 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=18560 CPUtime=49.89 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 14428 0 0 0 4987 2 0 0 20 0 3 0 67037577 165728256 12284 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 100.56 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 49136 KiB
[startup+102.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/270 71902
/proc/meminfo: memFree=129276960/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=58992 CPUtime=202.27 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 76767 0 0 0 20215 12 0 0 20 0 3 0 67037478 165728256 14748 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14748 2176 2102 0 17055 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=14720 CPUtime=100.28 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 57029 0 0 0 10021 7 0 0 20 0 3 0 67037577 165728256 14748 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=58224 CPUtime=100.88 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 18399 0 0 0 10085 3 0 0 20 0 3 0 67037577 165728256 14748 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 202.27 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 58992 KiB
[startup+162.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/271 71907
/proc/meminfo: memFree=129248728/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=59552 CPUtime=321.5 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 87440 0 0 0 32134 16 0 0 20 0 3 0 67037478 165728256 14888 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14888 2176 2102 0 17469 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=60656 CPUtime=159.68 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 65806 0 0 0 15960 8 0 0 20 0 3 0 67037577 165728256 14888 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=59552 CPUtime=160.63 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 20269 0 0 0 16058 5 0 0 20 0 3 0 67037577 165728256 14888 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 321.5 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 59552 KiB
[startup+222.3 s]
/proc/loadavg: 8.13 8.11 8.09 9/273 71912
/proc/meminfo: memFree=129213940/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=61216 CPUtime=440.7 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 96517 0 0 0 44049 21 0 0 20 0 3 0 67037478 165728256 15304 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 15304 2176 2102 0 17469 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=10880 CPUtime=219.05 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 73298 0 0 0 21896 9 0 0 20 0 3 0 67037577 165728256 15304 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=61216 CPUtime=220.41 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 21801 0 0 0 22034 7 0 0 20 0 3 0 67037577 165728256 15304 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 440.7 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 61216 KiB
################
# More data... #
################
Current children cumulated memory: 62844 KiB
[startup+1302.3 s]
/proc/loadavg: 8.10 8.09 8.09 9/272 72473
/proc/meminfo: memFree=128976760/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=65404 CPUtime=2586.75 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 102917 0 0 0 258603 72 0 0 20 0 3 0 67037478 165728256 16351 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 16351 2176 2102 0 18602 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=63356 CPUtime=1288.08 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 76837 0 0 0 128797 11 0 0 20 0 3 0 67037577 165728256 16351 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=63740 CPUtime=1296.23 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 24529 0 0 0 129586 37 0 0 20 0 3 0 67037577 165728256 16351 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 2586.75 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 65404 KiB
[startup+1362.3 s]
/proc/loadavg: 8.08 8.08 8.09 9/272 72477
/proc/meminfo: memFree=128979308/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=66172 CPUtime=2705.98 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 104067 0 0 0 270523 75 0 0 20 0 3 0 67037478 165728256 16543 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 16543 2176 2102 0 18802 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=63356 CPUtime=1347.46 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 77487 0 0 0 134735 11 0 0 20 0 3 0 67037577 165728256 16543 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=18560 CPUtime=1356.01 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25005 0 0 0 135563 38 0 0 20 0 3 0 67037577 165728256 16543 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 2705.98 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 66172 KiB
[startup+1422.3 s]
/proc/loadavg: 8.19 8.11 8.10 9/272 72479
/proc/meminfo: memFree=128981052/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=64108 CPUtime=2825.22 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 104402 0 0 0 282444 78 0 0 20 0 3 0 67037478 165728256 16027 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 16027 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=63356 CPUtime=1406.87 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 77802 0 0 0 140675 12 0 0 20 0 3 0 67037577 165728256 16027 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=18560 CPUtime=1415.79 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25024 0 0 0 141539 40 0 0 20 0 3 0 67037577 165728256 16027 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 2825.22 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 64108 KiB
[startup+1482.3 s]
/proc/loadavg: 8.12 8.11 8.09 9/272 72485
/proc/meminfo: memFree=128981988/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=64108 CPUtime=2944.46 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 104961 0 0 0 294365 81 0 0 20 0 3 0 67037478 165728256 16027 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 16027 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=64108 CPUtime=1466.27 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 77840 0 0 0 146615 12 0 0 20 0 3 0 67037577 165728256 16027 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=64108 CPUtime=1475.57 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25523 0 0 0 147515 42 0 0 20 0 3 0 67037577 165728256 16027 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 2944.46 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 64108 KiB
[startup+1542.3 s]
/proc/loadavg: 8.08 8.10 8.09 9/270 72487
/proc/meminfo: memFree=128983100/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=57624 CPUtime=3063.7 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 105239 0 0 0 306287 83 0 0 20 0 3 0 67037478 165728256 14406 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14406 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=57624 CPUtime=1525.67 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 78059 0 0 0 152555 12 0 0 20 0 3 0 67037577 165728256 14406 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=57624 CPUtime=1535.35 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25582 0 0 0 153491 44 0 0 20 0 3 0 67037577 165728256 14406 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 3063.7 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 57624 KiB
[startup+1602.3 s]
/proc/loadavg: 8.13 8.11 8.09 9/270 72489
/proc/meminfo: memFree=128989068/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=57624 CPUtime=3182.95 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 105240 0 0 0 318209 86 0 0 20 0 3 0 67037478 165728256 14406 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14406 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=57624 CPUtime=1585.08 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 78059 0 0 0 158496 12 0 0 20 0 3 0 67037577 165728256 14406 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=57624 CPUtime=1595.13 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25583 0 0 0 159467 46 0 0 20 0 3 0 67037577 165728256 14406 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 3182.95 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 57624 KiB
[startup+1662.3 s]
/proc/loadavg: 8.05 8.09 8.09 9/270 72491
/proc/meminfo: memFree=128989892/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=59160 CPUtime=3302.2 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 105257 0 0 0 330131 89 0 0 20 0 3 0 67037478 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14790 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=57624 CPUtime=1644.48 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 78060 0 0 0 164436 12 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=59160 CPUtime=1654.91 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25599 0 0 0 165444 47 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 3302.2 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 59160 KiB
[startup+1722.3 s]
/proc/loadavg: 8.12 8.10 8.09 9/270 72504
/proc/meminfo: memFree=128988332/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=59160 CPUtime=3421.43 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 105260 0 0 0 342053 90 0 0 20 0 3 0 67037478 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14790 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=57624 CPUtime=1703.88 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 78063 0 0 0 170376 12 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=59160 CPUtime=1714.68 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25599 0 0 0 171420 48 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 3421.43 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 59160 KiB
[startup+1782.3 s]
/proc/loadavg: 8.10 8.09 8.09 7/264 72514
/proc/meminfo: memFree=129049076/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=59160 CPUtime=3540.68 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 105263 0 0 0 353975 93 0 0 20 0 3 0 67037478 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14790 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=14720 CPUtime=1763.29 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 78063 0 0 0 176317 12 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=18560 CPUtime=1774.46 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25601 0 0 0 177397 49 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 3540.68 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 59160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.2 s]
/proc/loadavg: 7.35 7.91 8.03 7/262 72538
/proc/meminfo: memFree=129051960/131250000 swapFree=33010416/33010684
[pid=71850] ppid=71847 vsize=161844 memory=59160 CPUtime=3600.12 cores=5,7
/proc/71850/stat : 71850 (cp-sat-runner) S 71847 71850 68188 0 -1 4194304 105264 0 0 0 359918 94 0 0 20 0 3 0 67037478 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
/proc/71850/statm: 40461 14790 2176 2102 0 18994 0
[pid=71850/tid=71852] ppid=71847 vsize=161844 memory=6296 CPUtime=1792.91 cores=5,7
/proc/71850/task/71852/stat : 71852 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 78063 0 0 0 179279 12 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
[pid=71850/tid=71853] ppid=71847 vsize=161844 memory=6636 CPUtime=1804.25 cores=5,7
/proc/71850/task/71853/stat : 71853 (cp-sat-runner) R 71847 71850 68188 0 -1 4194368 25601 0 0 0 180375 50 0 0 20 0 3 0 67037577 165728256 14790 18446744073709551615 4198400 12805993 140721189442016 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 28282880 140721189447961 140721189448165 140721189448165 140721189453767 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 161844 KiB
Current children cumulated memory: 59160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1812.21 s]
# the end of solver process 71850 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.2 s, system=0.945192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1812.21
CPU time (s): 3600.14
CPU user time (s): 3599.2
CPU system time (s): 0.945192
CPU usage (%): 198.66
Max. virtual memory (cumulated for all children) (KiB): 161844
Max. memory (cumulated for all children) (KiB): 66940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 0.945192
maximum resident set size= 66940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105271
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= 154431
involuntary context switches= 283448
# summary of solver processes directly reported to runsolver:
# pid: 71850
# total CPU time (s): 3600.14
# total CPU user time (s): 3599.2
# total CPU system time (s): 0.945192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.925 second user time and 8.32207 second system time
The end
Begin job on nodeC027 at 2025-07-03 05:32:56 IDJOB=4518752 IDBENCH=177075 IDSOLVER=3320 FILE ID=nodeC027/4518752-1751513576 RUNJOBID= nodeC027-1751504462-68201 SLURM_JOB_ID= 9598594 Free space on /tmp= 431148 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518752-1751513576/watcher-4518752-1751513576 -o /tmp/evaluation-result-4518752-1751513576/solver-4518752-1751513576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751504462-68201 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:601039925 --competition_mode --input HOME/instance-4518752-1751513576.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ddf7cdb8e212e3876ea6adaf4134c19 RANDOM SEED=601039925 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.642 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.630 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.644 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.642 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.634 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.972 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.643 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.632 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129374476 kB MemAvailable: 129568508 kB Buffers: 2488 kB Cached: 994080 kB SwapCached: 12 kB Active: 813120 kB Inactive: 453576 kB Active(anon): 285392 kB Inactive(anon): 2792 kB Active(file): 527728 kB Inactive(file): 450784 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25336 kB Writeback: 0 kB AnonPages: 273168 kB Mapped: 130652 kB Shmem: 18056 kB KReclaimable: 109120 kB Slab: 197328 kB SReclaimable: 109120 kB SUnreclaim: 88208 kB KernelStack: 4432 kB PageTables: 3704 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 662044 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431148 MiB End job on nodeC027 at 2025-07-03 06:03:08