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) | 7493 | 3600.02 | 1816.51 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb |
| MD5SUM | 1376b7e36587a728493ace6af4c57a8e |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 231.564 |
| 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 | 1294 |
| Total number of constraints | 1091 |
| Number of constraints which are clauses | 2 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 785 |
| Biggest coefficient in the objective function | 7345 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 59444 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 7345 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 59444 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1586.01/802.73 o 7786 1619.39/819.54 o 7776 1639.26/829.56 o 7662 1737.65/879.07 o 7564 1910.76/966.17 o 7554 2031.99/1027.16 o 7496 3559.08/1795.90 o 7493 3600.00/1816.50 s SATISFIABLE 3600.00/1816.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.00/1816.50 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.00/1816.50 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.00/1816.50 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 3600.00/1816.50 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 3600.00/1816.50 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 3600.00/1816.50 v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 3600.00/1816.50 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 3600.00/1816.50 v -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 3600.00/1816.50 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 3600.00/1816.50 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 3600.00/1816.50 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 3600.00/1816.50 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 3600.00/1816.50 v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 3600.00/1816.50 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 3600.00/1816.50 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 3600.00/1816.50 v -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 3600.00/1816.50 v x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 3600.00/1816.50 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 3600.00/1816.50 v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 3600.00/1816.50 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 3600.00/1816.50 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 3600.00/1816.50 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 3600.00/1816.50 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 3600.00/1816.50 v -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 3600.00/1816.50 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 3600.00/1816.50 v -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 3600.00/1816.50 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 3600.00/1816.50 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 3600.00/1816.50 v -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 3600.00/1816.50 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 3600.00/1816.50 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 3600.00/1816.50 v -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 3600.00/1816.50 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 3600.00/1816.50 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 3600.00/1816.50 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 3600.00/1816.50 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 -x496 3600.00/1816.50 v -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 3600.00/1816.50 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 3600.00/1816.50 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 3600.00/1816.50 v -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 3600.00/1816.50 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 3600.00/1816.50 v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 3600.00/1816.50 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 3600.00/1816.50 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 3600.00/1816.50 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 3600.00/1816.50 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 3600.00/1816.50 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 3600.00/1816.50 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 3600.00/1816.50 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 3600.00/1816.50 v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 3600.00/1816.50 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 3600.00/1816.50 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 3600.00/1816.50 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 3600.00/1816.50 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 3600.00/1816.50 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 3600.00/1816.50 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 3600.00/1816.50 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 3600.00/1816.50 v -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 3600.00/1816.50 v -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 3600.00/1816.50 v x796 -x797 x798 x799 -x800 -x801 x802 x803 -x804 -x805 -x806 -x807 x808 x809 3600.00/1816.50 v -x810 x811 -x812 -x813 x814 x815 -x816 x817 x818 -x819 -x820 x821 x822 -x823 3600.00/1816.50 v -x824 x825 x826 -x827 -x828 x829 x830 -x831 x832 x833 x834 x835 x836 x837 x838 3600.00/1816.50 v x839 x840 -x841 -x842 x843 x844 -x845 x846 -x847 x848 -x849 x850 -x851 x852 3600.00/1816.50 v -x853 x854 -x855 x856 -x857 -x858 -x859 x860 -x861 x862 x863 -x864 -x865 -x866 3600.00/1816.50 v x867 x868 -x869 x870 -x871 -x872 x873 -x874 x875 -x876 x877 x878 x879 -x880 3600.00/1816.50 v -x881 -x882 -x883 -x884 x885 x886 x887 x888 -x889 -x890 -x891 x892 x893 -x894 3600.00/1816.50 v x895 x896 -x897 x898 -x899 -x900 x901 x902 -x903 x904 -x905 -x906 -x907 -x908 3600.00/1816.50 v -x909 -x910 x911 x912 x913 -x914 -x915 x916 -x917 -x918 x919 -x920 x921 -x922 3600.00/1816.50 v x923 x924 x925 -x926 -x927 -x928 -x929 x930 -x931 x932 -x933 x934 -x935 -x936 3600.00/1816.50 v -x937 x938 -x939 x940 x941 -x942 -x943 x944 -x945 x946 x947 -x948 -x949 x950 3600.00/1816.50 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 x963 3600.00/1816.50 v x964 -x965 x966 x967 x968 x969 -x970 x971 -x972 x973 x974 -x975 -x976 x977 3600.00/1816.50 v x978 x979 x980 -x981 -x982 -x983 x984 x985 -x986 -x987 x988 -x989 x990 x991 3600.00/1816.50 v x992 x993 x994 -x995 -x996 x997 -x998 x999 x1000 -x1001 -x1002 x1003 -x1004 3600.00/1816.50 v x1005 x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 x1013 -x1014 -x1015 x1016 3600.00/1816.50 v -x1017 -x1018 x1019 x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 3600.00/1816.50 v -x1029 x1030 -x1031 x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 x1039 -x1040 3600.00/1816.50 v x1041 x1042 -x1043 -x1044 x1045 x1046 x1047 -x1048 x1049 x1050 x1051 -x1052 3600.00/1816.50 v -x1053 x1054 x1055 x1056 -x1057 x1058 x1059 x1060 -x1061 -x1062 x1063 x1064 3600.00/1816.50 v x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 x1072 x1073 -x1074 x1075 x1076 3600.00/1816.50 v x1077 -x1078 x1079 -x1080 -x1081 x1082 x1083 x1084 x1085 -x1086 x1087 -x1088 3600.00/1816.50 v -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 x1097 x1098 x1099 -x1100 3600.00/1816.50 v x1101 x1102 x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 3600.00/1816.50 v -x1113 -x1114 x1115 -x1116 -x1117 x1118 x1119 -x1120 x1121 x1122 x1123 -x1124 3600.00/1816.50 v -x1125 -x1126 x1127 x1128 x1129 -x1130 x1131 x1132 x1133 -x1134 x1135 -x1136 3600.00/1816.50 v x1137 x1138 x1139 -x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 -x1148 3600.00/1816.50 v -x1149 -x1150 x1151 x1152 x1153 x1154 -x1155 x1156 x1157 x1158 -x1159 -x1160 3600.00/1816.50 v -x1161 -x1162 -x1163 x1164 x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 x1172 3600.00/1816.50 v -x1173 x1174 -x1175 -x1176 -x1177 -x1178 x1179 x1180 x1181 -x1182 -x1183 x1184 3600.00/1816.50 v -x1185 -x1186 -x1187 -x1188 x1189 -x1190 x1191 x1192 x1193 x1194 x1195 -x1196 3600.00/1816.50 v x1197 x1198 x1199 x1200 x1201 -x1202 x1203 -x1204 -x1205 -x1206 x1207 -x1208 3600.00/1816.50 v -x1209 -x1210 -x1211 -x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 3600.00/1816.50 v x1221 x1222 x1223 x1224 -x1225 -x1226 x1227 -x1228 x1229 -x1230 -x1231 -x1232 3600.00/1816.50 v -x1233 x1234 x1235 -x1236 x1237 x1238 x1239 x1240 x1241 -x1242 -x1243 -x1244 3600.00/1816.50 v -x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 -x1253 x1254 x1255 -x1256 3600.00/1816.50 v x1257 -x1258 x1259 -x1260 x1261 -x1262 x1263 x1264 x1265 x1266 x1267 x1268 3600.00/1816.50 v x1269 -x1270 x1271 x1272 x1273 x1274 x1275 -x1276 x1277 x1278 x1279 x1280 -x1281 3600.00/1816.50 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 x1291 -x1292 3600.00/1816.50 v x1293 x1294
OK 7493
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: 63837 MiB (62713 MiB free)
memory of node 1: 64465 MiB (62943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523812-1751593169/watcher-4523812-1751593169 -o /tmp/evaluation-result-4523812-1751593169/solver-4523812-1751593169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751585836-82995 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1155952913 --competition_mode --input HOME/instance-4523812-1751593169.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84501, runsolver pid=84498
[startup+0.100097 s]*
/proc/loadavg: 8.04 8.08 8.07 8/256 84502
/proc/meminfo: memFree=128656252/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=28524 memory=22016 CPUtime=0.11 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 4560 0 0 0 10 1 0 0 20 0 1 0 74996015 29208576 5504 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 7131 5504 1088 2102 0 4671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28524 KiB
Current children cumulated memory: 22016 KiB
[startup+0.213167 s]*
/proc/loadavg: 8.04 8.08 8.07 8/256 84502
/proc/meminfo: memFree=128632060/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=47316 memory=40320 CPUtime=0.21 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 8970 0 0 0 19 2 0 0 20 0 1 0 74996015 48451584 10080 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 11829 10080 1280 2102 0 9369 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 40320 KiB
[startup+0.31318 s]*
/proc/loadavg: 8.04 8.08 8.07 8/256 84502
/proc/meminfo: memFree=128632060/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=47316 memory=41472 CPUtime=0.31 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 9050 0 0 0 29 2 0 0 20 0 1 0 74996015 48451584 10368 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 11829 10368 1472 2102 0 9369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 41472 KiB
[startup+0.700292 s]
/proc/loadavg: 8.04 8.08 8.07 8/256 84502
/proc/meminfo: memFree=128632060/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=47316 memory=41728 CPUtime=0.68 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 9085 0 0 0 66 2 0 0 20 0 1 0 74996015 48451584 10432 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 11829 10432 1504 2102 0 9369 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 41728 KiB
[startup+1.50025 s]
/proc/loadavg: 8.04 8.08 8.07 8/256 84502
/proc/meminfo: memFree=128628348/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=48752 memory=44524 CPUtime=1.49 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 10472 0 0 0 146 3 0 0 20 0 1 0 74996015 49922048 11131 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 12188 11131 1920 2102 0 9728 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48752 KiB
Current children cumulated memory: 44524 KiB
[startup+3.11288 s]
/proc/loadavg: 8.04 8.08 8.07 8/256 84503
/proc/meminfo: memFree=128628348/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=48752 memory=44524 CPUtime=3.09 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 10472 0 0 0 306 3 0 0 20 0 1 0 74996015 49922048 11131 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 12188 11131 1920 2102 0 9728 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48752 KiB
Current children cumulated memory: 44524 KiB
[startup+6.30027 s]
/proc/loadavg: 7.96 8.06 8.07 8/256 84503
/proc/meminfo: memFree=128628356/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=51740 memory=46828 CPUtime=6.27 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) R 84498 84501 82985 0 -1 4194304 11008 0 0 0 624 3 0 0 20 0 1 0 74996015 52981760 11707 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 12935 11707 1952 2102 0 10475 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51740 KiB
Current children cumulated memory: 46828 KiB
[startup+12.7002 s]
/proc/loadavg: 7.96 8.06 8.07 9/258 84505
/proc/meminfo: memFree=128532132/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=234088 memory=163028 CPUtime=16.15 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 46977 0 0 0 1603 12 0 0 20 0 3 0 74996015 239706112 40757 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 58522 40757 2144 2102 0 45922 0
[pid=84501/tid=84504] ppid=84498 vsize=234088 memory=161108 CPUtime=3.51 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 13092 0 0 0 348 3 0 0 20 0 3 0 74996925 239706112 40757 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=234088 memory=132 CPUtime=3.55 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 22765 0 0 0 350 5 0 0 20 0 3 0 74996925 239706112 40757 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 16.15 s
Current children cumulated vsize: 234088 KiB
Current children cumulated memory: 163028 KiB
[startup+25.5002 s]
/proc/loadavg: 7.97 8.06 8.06 8/256 84550
/proc/meminfo: memFree=127944004/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=385828 memory=233340 CPUtime=41.57 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 79524 0 0 0 4140 17 0 0 20 0 3 0 74996015 395087872 58335 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 96457 58335 2144 2102 0 65637 0
[pid=84501/tid=84504] ppid=84498 vsize=385828 memory=233212 CPUtime=16.17 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 25351 0 0 0 1612 5 0 0 20 0 3 0 74996925 395087872 58335 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=385828 memory=229884 CPUtime=16.31 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 42959 0 0 0 1624 7 0 0 20 0 3 0 74996925 395087872 58335 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 41.57 s
Current children cumulated vsize: 385828 KiB
Current children cumulated memory: 233340 KiB
[startup+51.1053 s]
/proc/loadavg: 7.64 7.97 8.03 8/255 84552
/proc/meminfo: memFree=126643704/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=385828 memory=234876 CPUtime=92.45 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 103087 0 0 0 9225 20 0 0 20 0 3 0 74996015 395087872 58719 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 96457 58719 2144 2102 0 65991 0
[pid=84501/tid=84504] ppid=84498 vsize=385828 memory=1920 CPUtime=41.51 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 42703 0 0 0 4144 7 0 0 20 0 3 0 74996925 395087872 58719 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=385828 memory=0 CPUtime=41.83 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 49030 0 0 0 4176 7 0 0 20 0 3 0 74996925 395087872 58719 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 92.45 s
Current children cumulated vsize: 385828 KiB
Current children cumulated memory: 234876 KiB
[startup+102.3 s]
/proc/loadavg: 7.43 7.85 7.99 9/258 84559
/proc/meminfo: memFree=125895708/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=385828 memory=243964 CPUtime=194.17 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 138032 0 0 0 19392 25 0 0 20 0 3 0 74996015 395087872 60991 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 96457 60991 2144 2102 0 68546 0
[pid=84501/tid=84504] ppid=84498 vsize=385828 memory=240892 CPUtime=92.18 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 58588 0 0 0 9208 10 0 0 20 0 3 0 74996925 395087872 60991 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=385828 memory=239356 CPUtime=92.87 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 68034 0 0 0 9278 9 0 0 20 0 3 0 74996925 395087872 60991 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 194.17 s
Current children cumulated vsize: 385828 KiB
Current children cumulated memory: 243964 KiB
[startup+162.3 s]
/proc/loadavg: 7.94 7.93 8.01 9/258 84561
/proc/meminfo: memFree=125670408/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=385828 memory=251516 CPUtime=313.39 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 183486 0 0 0 31309 30 0 0 20 0 3 0 74996015 395087872 62879 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 96457 62879 2144 2102 0 70416 0
[pid=84501/tid=84504] ppid=84498 vsize=385828 memory=10496 CPUtime=151.57 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 91946 0 0 0 15144 13 0 0 20 0 3 0 74996925 395087872 62879 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=385828 memory=251516 CPUtime=152.69 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 79967 0 0 0 15259 10 0 0 20 0 3 0 74996925 395087872 62879 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 313.39 s
Current children cumulated vsize: 385828 KiB
Current children cumulated memory: 251516 KiB
[startup+222.3 s]
/proc/loadavg: 8.03 7.96 8.01 9/258 84563
/proc/meminfo: memFree=125492204/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=385828 memory=266108 CPUtime=432.65 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 200009 0 0 0 43231 34 0 0 20 0 3 0 74996015 395087872 66527 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 96457 66527 2144 2102 0 74110 0
[pid=84501/tid=84504] ppid=84498 vsize=385828 memory=255612 CPUtime=210.97 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 99165 0 0 0 21082 15 0 0 20 0 3 0 74996925 395087872 66527 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=385828 memory=16248 CPUtime=212.52 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 89259 0 0 0 21241 11 0 0 20 0 3 0 74996925 395087872 66527 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 432.65 s
Current children cumulated vsize: 385828 KiB
Current children cumulated memory: 266108 KiB
[startup+282.3 s]
/proc/loadavg: 8.05 7.98 8.01 9/258 84565
/proc/meminfo: memFree=125490256/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=385828 memory=272728 CPUtime=551.88 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 236927 0 0 0 55150 38 0 0 20 0 3 0 74996015 395087872 68182 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 96457 68182 2144 2102 0 76418 0
[pid=84501/tid=84504] ppid=84498 vsize=385828 memory=16248 CPUtime=270.37 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 126562 0 0 0 27019 18 0 0 20 0 3 0 74996925 395087872 68182 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=385828 memory=18304 CPUtime=272.35 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 98675 0 0 0 27223 12 0 0 20 0 3 0 74996925 395087872 68182 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 551.88 s
################
# More data... #
################
Current children cumulated memory: 358108 KiB
[startup+1362.3 s]
/proc/loadavg: 8.22 8.10 8.06 9/258 84814
/proc/meminfo: memFree=123470996/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=2697.89 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 325915 0 0 0 269722 67 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=358108 CPUtime=1345.17 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 186613 0 0 0 134485 32 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=358108 CPUtime=1343.3 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 127456 0 0 0 134313 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 2697.89 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1422.3 s]
/proc/loadavg: 7.98 8.06 8.05 8/256 84907
/proc/meminfo: memFree=122258684/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=2817.07 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 326341 0 0 0 281638 69 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=358108 CPUtime=1404.94 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 186900 0 0 0 140461 33 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=358108 CPUtime=1402.7 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 127580 0 0 0 140253 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 2817.07 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1482.3 s]
/proc/loadavg: 7.74 7.96 8.02 9/258 84911
/proc/meminfo: memFree=118617528/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=2936.25 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 326638 0 0 0 293555 70 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=16248 CPUtime=1464.69 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187121 0 0 0 146436 33 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=-8183425860884338375 CPUtime=1462.11 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 127647 0 0 0 146194 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 2936.25 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1542.3 s]
/proc/loadavg: 8.01 8.00 8.02 9/258 84917
/proc/meminfo: memFree=118502252/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3055.42 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 326710 0 0 0 305470 72 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=336008 CPUtime=1524.46 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187185 0 0 0 152412 34 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=8903175127513513581 CPUtime=1521.5 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 127655 0 0 0 152133 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3055.42 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1602.3 s]
/proc/loadavg: 8.05 8.01 8.02 10/258 84919
/proc/meminfo: memFree=118338900/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3174.57 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 327480 0 0 0 317385 72 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=16248 CPUtime=1584.22 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187185 0 0 0 158388 34 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=16248 CPUtime=1580.88 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 128425 0 0 0 158071 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3174.57 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1662.3 s]
/proc/loadavg: 8.20 8.06 8.03 10/258 84921
/proc/meminfo: memFree=118243452/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3293.74 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 327572 0 0 0 329301 73 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=5504 CPUtime=1643.97 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187185 0 0 0 164363 34 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=3200 CPUtime=1640.27 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 128516 0 0 0 164010 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3293.74 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1722.3 s]
/proc/loadavg: 8.17 8.08 8.04 9/257 84922
/proc/meminfo: memFree=117664304/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3412.9 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 327591 0 0 0 341216 74 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=5504 CPUtime=1703.72 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187192 0 0 0 170338 34 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=359004 CPUtime=1699.66 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 128525 0 0 0 169949 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3412.9 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
[startup+1782.3 s]
/proc/loadavg: 8.26 8.12 8.06 10/258 84925
/proc/meminfo: memFree=117198048/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3532.07 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 327944 0 0 0 353131 76 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=359004 CPUtime=1763.49 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187487 0 0 0 176314 35 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=359004 CPUtime=1759.05 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 128574 0 0 0 175888 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3532.07 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.5 s]
/proc/loadavg: 8.26 8.14 8.06 9/258 84926
/proc/meminfo: memFree=117573304/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3600 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 327988 0 0 0 359923 77 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=359004 CPUtime=1797.55 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187489 0 0 0 179720 35 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=359004 CPUtime=1792.91 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 128613 0 0 0 179274 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1816.51 s]
# the end of solver process 84501 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.24 s, system=0.773664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1816.5 s]
/proc/loadavg: 8.26 8.14 8.06 9/258 84926
/proc/meminfo: memFree=117573304/131382120 swapFree=33010160/33010684
[pid=84501] ppid=84498 vsize=451364 memory=359004 CPUtime=3600 cores=0,2
/proc/84501/stat : 84501 (cp-sat-runner) S 84498 84501 82985 0 -1 4194304 327988 0 0 0 359923 77 0 0 20 0 3 0 74996015 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
/proc/84501/statm: 112841 89751 2144 2102 0 96822 0
[pid=84501/tid=84504] ppid=84498 vsize=451364 memory=359004 CPUtime=1797.55 cores=0,2
/proc/84501/task/84504/stat : 84504 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 187489 0 0 0 179720 35 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
[pid=84501/tid=84505] ppid=84498 vsize=451364 memory=359004 CPUtime=1792.91 cores=0,2
/proc/84501/task/84505/stat : 84505 (cp-sat-runner) R 84498 84501 82985 0 -1 4194368 128613 0 0 0 179274 17 0 0 20 0 3 0 74996925 462196736 89751 18446744073709551615 4198400 12805993 140732388901472 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 15433728 140732388907288 140732388907493 140732388907493 140732388913095 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 451364 KiB
Current children cumulated memory: 359004 KiB
Child status: 0
Real time (s): 1816.51
CPU time (s): 3600.02
CPU user time (s): 3599.24
CPU system time (s): 0.773664
CPU usage (%): 198.183
Max. virtual memory (cumulated for all children) (KiB): 451364
Max. memory (cumulated for all children) (KiB): 359004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.773664
maximum resident set size= 359260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327992
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= 22578
involuntary context switches= 100191
# summary of solver processes directly reported to runsolver:
# pid: 84501
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.24
# total CPU system time (s): 0.773664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67796 second user time and 8.62713 second system time
The end
Begin job on nodeC008 at 2025-07-04 03:39:29 IDJOB=4523812 IDBENCH=180376 IDSOLVER=3320 FILE ID=nodeC008/4523812-1751593169 RUNJOBID= nodeC008-1751585836-82995 SLURM_JOB_ID= 9598832 Free space on /tmp= 432764 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.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-4523812-1751593169/watcher-4523812-1751593169 -o /tmp/evaluation-result-4523812-1751593169/solver-4523812-1751593169 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751585836-82995 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1155952913 --competition_mode --input HOME/instance-4523812-1751593169.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e RANDOM SEED=1155952913 nodeC008 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 : 1197.332 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.72 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 : 3591.623 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.72 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.207 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.72 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 : 3591.586 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.72 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 : 3591.602 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.72 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 : 3591.586 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.72 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 : 3591.624 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.72 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 : 3591.610 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.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 128672176 kB MemAvailable: 128808532 kB Buffers: 2128 kB Cached: 930780 kB SwapCached: 16 kB Active: 1699964 kB Inactive: 411928 kB Active(anon): 1160504 kB Inactive(anon): 36400 kB Active(file): 539460 kB Inactive(file): 375528 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15732 kB Writeback: 12 kB AnonPages: 1182040 kB Mapped: 129984 kB Shmem: 17920 kB KReclaimable: 121992 kB Slab: 207268 kB SReclaimable: 121992 kB SUnreclaim: 85276 kB KernelStack: 4128 kB PageTables: 5416 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 1619000 kB VmallocTotal: 34359738367 kB VmallocUsed: 149528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 772096 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: 181064 kB DirectMap2M: 9158656 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432664 MiB End job on nodeC008 at 2025-07-04 04:09:46