Trace number 4459953

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact 2024-07-05SAT (TO)-148 3600.1 3608.05

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
MD5SUMbbe42e431fa916f0c875d08138d9aced
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-163
Best CPU time to get the best result obtained on this benchmark3588.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63184
Sum of products size (including duplicates)126368
Number of different products31592
Sum of products size63184

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.28/1.37	o -3
1.28/1.39	o -4
1.38/1.43	o -5
1.38/1.44	o -6
1.38/1.45	o -7
1.38/1.46	o -8
1.48/1.50	o -9
1.58/1.62	o -10
1.58/1.63	o -11
1.58/1.65	o -12
1.58/1.67	o -13
1.58/1.68	o -14
1.68/1.79	o -15
1.78/1.81	o -16
1.78/1.84	o -17
1.78/1.86	o -18
1.87/1.94	o -19
1.87/1.97	o -20
1.99/2.07	o -21
1.99/2.11	o -22
2.09/2.19	o -23
2.28/2.30	o -24
2.28/2.33	o -25
2.38/2.47	o -26
2.48/2.51	o -27
2.57/2.60	o -28
2.67/2.73	o -29
2.77/2.88	o -30
2.99/3.04	o -31
2.99/3.11	o -32
6.17/6.21	o -33
6.17/6.23	o -34
6.17/6.24	o -35
6.17/6.26	o -36
6.17/6.27	o -37
6.17/6.29	o -38
6.27/6.31	o -39
6.27/6.32	o -40
6.27/6.34	o -41
6.27/6.36	o -42
6.27/6.38	o -43
6.27/6.39	o -44
6.37/6.41	o -45
6.37/6.44	o -46
6.37/6.47	o -47
6.46/6.53	o -48
6.46/6.55	o -49
6.46/6.58	o -50
6.56/6.61	o -51
6.56/6.63	o -52
6.56/6.66	o -53
6.56/6.70	o -54
6.66/6.73	o -55
6.66/6.75	o -56
6.76/6.80	o -57
6.76/6.83	o -58
6.76/6.87	o -59
6.86/6.92	o -60
8.16/8.24	o -61
8.36/8.48	o -62
8.56/8.65	o -63
8.56/8.67	o -64
8.66/8.71	o -65
8.66/8.74	o -66
8.66/8.77	o -67
8.66/8.79	o -68
8.76/8.83	o -69
8.76/8.86	o -70
8.86/9.00	o -71
13.75/13.80	o -72
17.34/17.44	o -73
17.44/17.57	o -74
17.44/17.59	o -75
17.54/17.62	o -76
17.54/17.64	o -77
17.54/17.67	o -78
17.64/17.80	o -79
22.62/22.70	o -80
25.12/25.25	o -81
25.12/25.28	o -82
25.22/25.31	o -83
25.22/25.33	o -84
25.22/25.38	o -85
25.32/25.41	o -86
25.32/25.46	o -87
25.42/25.53	o -88
25.52/25.65	o -89
25.52/25.69	o -90
25.62/25.72	o -91
25.62/25.75	o -92
25.62/25.78	o -93
25.82/25.92	o -94
25.82/25.98	o -95
25.93/26.03	o -96
25.93/26.09	o -97
26.22/26.33	o -98
26.32/26.41	o -99
26.42/26.54	o -100
26.72/26.83	o -101
26.82/26.96	o -102
31.02/31.11	o -103
31.02/31.18	o -104
31.30/31.49	o -105
31.50/31.67	o -106
31.60/31.75	o -107
31.70/31.85	o -108
31.80/31.96	o -109
32.02/32.15	o -110
32.40/32.53	o -111
32.50/32.64	o -112
32.60/32.76	o -113
32.70/32.82	o -114
32.80/32.91	o -115
56.85/57.05	o -116
56.85/57.07	o -117
56.85/57.10	o -118
57.04/57.22	o -119
57.34/57.53	o -120
59.13/59.37	o -121
67.71/67.96	o -122
67.82/68.07	o -123
67.92/68.11	o -124
67.92/68.15	o -125
67.92/68.18	o -126
68.01/68.23	o -127
68.11/68.40	o -128
86.77/87.05	o -129
86.77/87.10	o -130
87.36/87.61	o -131
87.36/87.68	o -132
87.46/87.70	o -133
87.56/87.85	o -134
87.66/87.90	o -135
90.94/91.26	o -136
91.04/91.30	o -137
91.44/91.73	o -138
144.89/145.36	o -139
166.02/166.52	o -140
166.02/166.57	o -141
166.54/167.05	o -142
166.64/167.12	o -143
166.64/167.18	o -144
166.72/167.29	o -145
166.82/167.33	o -146
332.84/333.75	o -147
668.99/670.65	o -148
3600.06/3608.01	c Program interrupted by user.
3600.06/3608.01	s SATISFIABLE
3600.06/3608.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 -x422 -x423 -x424 x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 x683 x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 x693 x694 x695 -x696 x697 x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 x742 x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 x845 x846 x847 -x848 x849 -x850 -x851 x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 x876 -x877 x878 x879 x880 -x881 -x882 -x883 -x884 x885 x886 -x887 -x888 x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 x898 x899 x900 -x901 x902 -x903 -x904 x905 -x906 x907 x908 -x909 -x910 x911 x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 x921 x922 -x923 -x924 x925 x926 x927 x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 -x945 x946 x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 x958 x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 x1495 -x1496 x1497 -x1498 -x1499 x1500 x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 x1708 x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 x1756 x1757 x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 x1804 x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 x1818 x1819 x1820 x1821 -x1822 x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 x1854 x1855 -x1856 -x1857 x1858 x1859 -x1860 x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 x1870 -x1871 x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 x1917 -x1918 x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 x1950 x1951 x1952 -x1953 -x1954 x1955 x1956 x1957 -x1958 -x1959 -x1960 x1961 x1962 -x1963 x1964 x1965 -x1966 -x1967 x1968 x1969 -x1970 x1971 x1972 -x1973 x1974 x1975 -x1976 x1977 x1978 x1979 -x1980 x1981 x1982 -x1983 x1984 x1985 x1986 -x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 -x1995 x1996 x1997 x1998 x1999 x2000

Verifier Data 

OK	-148

Watcher Data 

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: 64096 MiB (61850 MiB free)
  memory of node 1: 64473 MiB (61219 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459953-1721946585/watcher-4459953-1721946585 -o /tmp/evaluation-result-4459953-1721946585/solver-4459953-1721946585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721946585-242607 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2017404981 HOME/instance-4459953-1721946585.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=242668, runsolver pid=242665

[startup+0.100702 s]*
/proc/loadavg: 1.60 2.00 2.17 4/237 242677
/proc/meminfo: memFree=125996156/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=45908 memory=25208 CPUtime=0.1 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 6330 0 0 0 8 2 0 0 20 0 1 0 30648404 47009792 6302 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 11477 6302 884 1005 0 10240 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45908 KiB
Current children cumulated memory: 25208 KiB

[startup+0.212341 s]*
/proc/loadavg: 1.60 2.00 2.17 3/234 242685
/proc/meminfo: memFree=125976928/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=62868 memory=43512 CPUtime=0.21 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 11518 0 0 0 17 4 0 0 20 0 1 0 30648404 64376832 10878 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 15717 10878 884 1005 0 14480 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62868 KiB
Current children cumulated memory: 43512 KiB

[startup+0.313526 s]*
/proc/loadavg: 1.60 2.00 2.17 3/238 242697
/proc/meminfo: memFree=125963852/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=85024 memory=63096 CPUtime=0.31 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 15882 0 0 0 25 6 0 0 20 0 1 0 30648404 87064576 15774 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 21256 15774 884 1005 0 20019 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85024 KiB
Current children cumulated memory: 63096 KiB

[startup+0.700331 s]
/proc/loadavg: 1.60 2.00 2.17 5/234 242741
/proc/meminfo: memFree=125954356/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=123228 memory=105100 CPUtime=0.68 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 24154 0 0 0 59 9 0 0 20 0 1 0 30648404 126185472 26275 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 30807 26275 1044 1005 0 29570 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123228 KiB
Current children cumulated memory: 105100 KiB

[startup+1.50037 s]
/proc/loadavg: 1.60 2.00 2.17 5/244 242761
/proc/meminfo: memFree=125843660/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=172192 memory=149484 CPUtime=1.48 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 33644 0 0 0 135 13 0 0 20 0 1 0 30648404 176324608 37371 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 43048 37371 1108 1005 0 41811 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172192 KiB
Current children cumulated memory: 149484 KiB

[startup+3.11327 s]
/proc/loadavg: 1.79 2.04 2.18 6/244 242853
/proc/meminfo: memFree=125797112/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=201352 memory=177860 CPUtime=3.09 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 38082 0 0 0 294 15 0 0 20 0 1 0 30648404 206184448 44465 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 50338 44465 1108 1005 0 49101 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 201352 KiB
Current children cumulated memory: 177860 KiB

[startup+6.30033 s]
/proc/loadavg: 1.79 2.04 2.18 5/244 242947
/proc/meminfo: memFree=125487372/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=210076 memory=188560 CPUtime=6.27 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 40973 0 0 0 612 15 0 0 20 0 1 0 30648404 215117824 47140 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 52519 47140 1108 1005 0 51282 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 210076 KiB
Current children cumulated memory: 188560 KiB

[startup+12.7003 s]
/proc/loadavg: 1.97 2.07 2.19 5/244 242947
/proc/meminfo: memFree=125424148/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=280856 memory=227876 CPUtime=12.65 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 42963 0 0 0 1247 18 0 0 20 0 1 0 30648404 287596544 56969 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 70214 56969 1140 1005 0 68977 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 280856 KiB
Current children cumulated memory: 227876 KiB

[startup+25.5004 s]
/proc/loadavg: 2.42 2.16 2.22 5/244 242950
/proc/meminfo: memFree=125093160/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=356684 memory=294084 CPUtime=25.42 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 45465 0 0 0 2519 23 0 0 20 0 1 0 30648404 365244416 73521 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 89171 73521 1140 1005 0 87934 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 356684 KiB
Current children cumulated memory: 294084 KiB

[startup+51.1133 s]
/proc/loadavg: 3.03 2.33 2.27 5/248 243013
/proc/meminfo: memFree=124569332/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=381324 memory=323872 CPUtime=50.97 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 50968 0 0 0 5069 28 0 0 20 0 1 0 30648404 390475776 80968 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 95331 80968 1140 1005 0 94094 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 381324 KiB
Current children cumulated memory: 323872 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.60 2.37 5/247 243023
/proc/meminfo: memFree=123441748/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=422424 memory=377732 CPUtime=102.01 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 60164 0 0 0 10170 31 0 0 20 0 1 0 30648404 432562176 94433 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 105606 94433 1140 1005 0 104369 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 422424 KiB
Current children cumulated memory: 377732 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.89 2.48 5/247 243034
/proc/meminfo: memFree=123301160/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=445388 memory=405888 CPUtime=161.83 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 65940 0 0 0 16146 37 0 0 20 0 1 0 30648404 456077312 101472 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 111347 101472 1140 1005 0 110110 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 445388 KiB
Current children cumulated memory: 405888 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.11 2.59 5/247 243044
/proc/meminfo: memFree=121805252/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=465140 memory=438412 CPUtime=221.69 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 69746 0 0 0 22131 38 0 0 20 0 1 0 30648404 476303360 109603 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 116285 109603 1140 1005 0 115048 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 465140 KiB
Current children cumulated memory: 438412 KiB

[startup+282.3 s]
/proc/loadavg: 4.32 3.35 2.70 5/246 243054
/proc/meminfo: memFree=121678956/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=503220 memory=471456 CPUtime=281.55 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 74033 0 0 0 28108 47 0 0 20 0 1 0 30648404 515297280 117864 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 125805 117864 1140 1005 0 124568 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 503220 KiB
Current children cumulated memory: 471456 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.50 2.80 5/246 243065
/proc/meminfo: memFree=121604380/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=506384 memory=478056 CPUtime=341.42 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 74941 0 0 0 34094 48 0 0 20 0 1 0 30648404 518537216 119514 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 126596 119514 1140 1005 0 125359 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 506384 KiB
Current children cumulated memory: 478056 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.63 2.89 5/242 243076
/proc/meminfo: memFree=121500696/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=520204 memory=509828 CPUtime=401.28 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 77815 0 0 0 40079 49 0 0 20 0 1 0 30648404 532688896 127457 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 130051 127457 1140 1005 0 128814 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 520204 KiB
Current children cumulated memory: 509828 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.70 2.96 5/245 243091
/proc/meminfo: memFree=121441904/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=520204 memory=509828 CPUtime=461.15 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 77874 0 0 0 46055 60 0 0 20 0 1 0 30648404 532688896 127457 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 130051 127457 1140 1005 0 128814 0

################
# More data... #
################

Current children cumulated memory: 612172 KiB

[startup+2862.3 s]
/proc/loadavg: 3.12 3.19 3.18 4/235 244121
/proc/meminfo: memFree=116307004/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=697248 memory=612180 CPUtime=2855.92 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 92509 0 0 0 285372 220 0 0 20 0 1 0 30648404 713981952 153045 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 174312 153045 1140 1005 0 173075 0
Current children cumulated CPU time: 2855.92 s
Current children cumulated vsize: 697248 KiB
Current children cumulated memory: 612180 KiB

[startup+2922.3 s]
/proc/loadavg: 3.12 3.18 3.18 4/235 244131
/proc/meminfo: memFree=116265956/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=697248 memory=612180 CPUtime=2915.79 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 92671 0 0 0 291359 220 0 0 20 0 1 0 30648404 713981952 153045 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 174312 153045 1140 1005 0 173075 0
Current children cumulated CPU time: 2915.79 s
Current children cumulated vsize: 697248 KiB
Current children cumulated memory: 612180 KiB

[startup+2982.3 s]
/proc/loadavg: 3.15 3.18 3.18 4/235 244142
/proc/meminfo: memFree=116246380/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=700060 memory=619024 CPUtime=2975.66 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 93605 0 0 0 297346 220 0 0 20 0 1 0 30648404 716861440 154756 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175015 154756 1140 1005 0 173778 0
Current children cumulated CPU time: 2975.66 s
Current children cumulated vsize: 700060 KiB
Current children cumulated memory: 619024 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.16 3.17 4/234 244152
/proc/meminfo: memFree=116235952/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=702052 memory=622880 CPUtime=3035.53 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 94362 0 0 0 303333 220 0 0 20 0 1 0 30648404 718901248 155720 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175513 155720 1140 1005 0 174276 0
Current children cumulated CPU time: 3035.53 s
Current children cumulated vsize: 702052 KiB
Current children cumulated memory: 622880 KiB

[startup+3102.3 s]
/proc/loadavg: 3.12 3.15 3.17 4/238 244169
/proc/meminfo: memFree=116232320/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=702052 memory=623080 CPUtime=3095.41 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 94555 0 0 0 309321 220 0 0 20 0 1 0 30648404 718901248 155770 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175513 155770 1140 1005 0 174276 0
Current children cumulated CPU time: 3095.41 s
Current children cumulated vsize: 702052 KiB
Current children cumulated memory: 623080 KiB

[startup+3162.3 s]
/proc/loadavg: 3.16 3.15 3.17 4/238 244180
/proc/meminfo: memFree=116228940/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=702052 memory=623080 CPUtime=3155.28 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 94776 0 0 0 315308 220 0 0 20 0 1 0 30648404 718901248 155770 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175513 155770 1140 1005 0 174276 0
Current children cumulated CPU time: 3155.28 s
Current children cumulated vsize: 702052 KiB
Current children cumulated memory: 623080 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.14 3.16 4/238 244190
/proc/meminfo: memFree=116225060/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=702052 memory=623080 CPUtime=3215.15 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 95022 0 0 0 321295 220 0 0 20 0 1 0 30648404 718901248 155770 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175513 155770 1140 1005 0 174276 0
Current children cumulated CPU time: 3215.15 s
Current children cumulated vsize: 702052 KiB
Current children cumulated memory: 623080 KiB

[startup+3282.3 s]
/proc/loadavg: 3.08 3.12 3.15 4/238 244200
/proc/meminfo: memFree=116217508/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=703588 memory=624456 CPUtime=3275.02 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 95672 0 0 0 327282 220 0 0 20 0 1 0 30648404 720474112 156114 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175897 156114 1140 1005 0 174660 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 703588 KiB
Current children cumulated memory: 624456 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.11 3.15 4/238 244212
/proc/meminfo: memFree=115884212/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=703588 memory=624620 CPUtime=3334.89 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 95848 0 0 0 333269 220 0 0 20 0 1 0 30648404 720474112 156155 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 175897 156155 1140 1005 0 174660 0
Current children cumulated CPU time: 3334.89 s
Current children cumulated vsize: 703588 KiB
Current children cumulated memory: 624620 KiB

[startup+3402.3 s]
/proc/loadavg: 3.10 3.12 3.15 4/236 244606
/proc/meminfo: memFree=115455428/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=704100 memory=627180 CPUtime=3394.77 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 96200 0 0 0 339256 221 0 0 20 0 1 0 30648404 720998400 156795 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 176025 156795 1140 1005 0 174788 0
Current children cumulated CPU time: 3394.77 s
Current children cumulated vsize: 704100 KiB
Current children cumulated memory: 627180 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.12 3.15 4/236 244616
/proc/meminfo: memFree=114867848/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=704928 memory=634016 CPUtime=3454.65 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 96656 0 0 0 345244 221 0 0 20 0 1 0 30648404 721846272 158504 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 176232 158504 1140 1005 0 174995 0
Current children cumulated CPU time: 3454.65 s
Current children cumulated vsize: 704928 KiB
Current children cumulated memory: 634016 KiB

[startup+3522.3 s]
/proc/loadavg: 3.08 3.11 3.14 4/236 244626
/proc/meminfo: memFree=114866188/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=704928 memory=634156 CPUtime=3514.53 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 96817 0 0 0 351232 221 0 0 20 0 1 0 30648404 721846272 158539 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 176232 158539 1140 1005 0 174995 0
Current children cumulated CPU time: 3514.53 s
Current children cumulated vsize: 704928 KiB
Current children cumulated memory: 634156 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.12 3.14 4/239 244809
/proc/meminfo: memFree=114863524/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=704928 memory=634156 CPUtime=3574.4 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 97005 0 0 0 357219 221 0 0 20 0 1 0 30648404 721846272 158539 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 176232 158539 1140 1005 0 174995 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 704928 KiB
Current children cumulated memory: 634156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608 s]*
/proc/loadavg: 3.08 3.11 3.14 4/239 244814
/proc/meminfo: memFree=114852732/131655788 swapFree=131058856/131071996
[pid=242668] ppid=242665 vsize=706660 memory=639984 CPUtime=3600.06 cores=4,6
/proc/242668/stat : 242668 (Exact) R 242665 242668 237796 0 -1 4194304 97617 0 0 0 359785 221 0 0 20 0 1 0 30648404 723619840 159996 134679101440 4194304 8309489 140733295107872 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 23638016 140733295117245 140733295117415 140733295117415 140733295124431 0
/proc/242668/statm: 176665 159996 1140 1005 0 175428 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 706660 KiB
Current children cumulated memory: 639984 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.05 s]
# the end of solver process 242668 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3597.88 s, system=2.22146 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10

Real time (s): 3608.05
CPU time (s): 3600.1
CPU user time (s): 3597.88
CPU system time (s): 2.22146
CPU usage (%): 99.7798
Max. virtual memory (cumulated for all children) (KiB): 803400
Max. memory (cumulated for all children) (KiB): 639984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.88
system time used= 2.22146
maximum resident set size= 674324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97629
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= 68
involuntary context switches= 1420


# summary of solver processes directly reported to runsolver:
#   pid: 242668
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.88
#   total CPU system time (s): 2.22146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1239 second user time and 35.7441 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-26 00:29:45
IDJOB=4459953
IDBENCH=148687
IDSOLVER=3060
FILE ID=nodeC009/4459953-1721946585
RUNJOBID= nodeC009-1721946585-242607
SLURM_JOB_ID= 8247263
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459953-1721946585/watcher-4459953-1721946585 -o /tmp/evaluation-result-4459953-1721946585/solver-4459953-1721946585 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721946585-242607 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2017404981 HOME/instance-4459953-1721946585.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= bbe42e431fa916f0c875d08138d9aced
RANDOM SEED=2017404981

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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.309
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.251
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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.252
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.277
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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		: 1197.251
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
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		: 3492.113
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.474
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.254
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126015368 kB
MemAvailable:   129848692 kB
Buffers:          353524 kB
Cached:          4217724 kB
SwapCached:         4924 kB
Active:          1885772 kB
Inactive:        3029764 kB
Active(anon):       1544 kB
Inactive(anon):   387720 kB
Active(file):    1884228 kB
Inactive(file):  2642044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             24044 kB
Writeback:             0 kB
AnonPages:        338376 kB
Mapped:            91392 kB
Shmem:             45300 kB
KReclaimable:     294504 kB
Slab:             405956 kB
SReclaimable:     294504 kB
SUnreclaim:       111452 kB
KernelStack:        3744 kB
PageTables:         9840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     772688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723748 MiB
End job on nodeC009 at 2024-07-26 01:29:54