Trace number 4433563

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_no_SoPlex 2024-07-05OPT70998 1041.66 1044.42

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__8.opb
MD5SUM2d146ebdf2817567f5780fc8d24c5107
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark70998
Best CPU time to get the best result obtained on this benchmark0.046385
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2498
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint8
Maximum length of a constraint137
Number of terms in the objective function 2400
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 86615256
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 86615256
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	o 3192896
0.00/0.02	o 3030637
0.09/0.16	o 2869040
0.30/0.38	o 2799651
0.78/0.82	o 2771580
1.29/1.37	o 2752082
2.88/2.98	o 2461097
2.88/2.98	o 2380717
2.88/2.98	o 2338746
2.98/3.07	o 2321549
3.08/3.15	o 2264174
4.47/4.55	o 2245121
8.96/9.08	o 2216809
11.35/11.43	o 2188634
24.63/24.79	o 2146533
36.90/37.08	o 2125580
37.30/37.44	o 2105023
38.09/38.20	o 2079155
40.39/40.51	o 2078672
40.79/40.97	o 2064163
40.89/41.02	o 2062040
41.38/41.54	o 2003479
41.48/41.62	o 2002706
41.78/41.95	o 1994414
62.13/62.34	o 1989182
70.21/70.46	o 1985088
70.81/71.02	o 1972874
70.81/71.09	o 1965366
71.50/71.79	o 1937844
82.47/82.73	o 1893295
82.88/83.12	o 1873466
106.61/106.94	o 1776543
118.69/119.04	o 1745176
134.34/134.75	o 1745011
157.49/157.97	o 1727352
172.15/172.61	o 1726690
174.55/175.01	o 1723247
180.73/181.29	o 1706494
200.17/200.70	o 1701510
207.74/208.34	o 1650786
207.74/208.37	o 1646738
223.40/224.08	o 1646622
248.91/249.62	o 1601509
269.05/269.80	o 1438880
271.14/271.96	o 1425907
286.39/287.25	o 1411071
286.69/287.52	o 1393419
290.68/291.58	o 1389978
290.68/291.59	o 1387335
291.78/292.65	o 1376963
291.78/292.69	o 1369197
304.14/305.07	o 1366074
304.24/305.11	o 1328083
305.33/306.28	o 1275198
322.27/323.27	o 1267264
327.26/328.22	o 1236469
340.12/341.16	o 1234919
340.12/341.17	o 1234076
341.41/342.46	o 1162321
358.16/359.20	o 1157334
377.69/378.81	o 1148951
416.79/418.00	o 1047622
416.79/418.01	o 1047112
418.48/419.73	o 1046799
423.17/424.49	o 1043355
459.86/461.20	o 1018002
461.96/463.33	o 1014266
483.00/484.46	o 996614
483.10/484.50	o 992520
483.50/484.92	o 938785
483.61/485.02	o 933574
483.90/485.30	o 933073
488.79/490.28	o 890289
500.46/501.91	o 881842
502.36/503.81	o 862056
502.56/504.08	o 842118
502.66/504.16	o 829427
503.15/504.66	o 798152
506.05/507.56	o 780351
508.65/510.10	o 741137
509.34/510.86	o 696161
510.24/511.74	o 682352
529.69/531.22	o 668953
558.52/560.16	o 663103
590.14/591.88	o 646565
598.62/600.30	o 644095
599.62/601.35	o 634542
600.02/601.72	o 611244
608.20/609.96	o 585599
608.30/610.05	o 550649
608.99/610.79	o 512591
609.40/611.17	o 507030
628.85/630.64	o 456512
650.39/652.28	o 445185
651.59/653.48	o 435786
697.09/699.08	o 418505
708.46/710.49	o 416412
713.35/715.39	o 414159
731.50/733.58	o 411185
731.60/733.62	o 397022
731.90/733.93	o 392224
731.90/733.96	o 362072
773.60/775.73	o 359213
775.10/777.27	o 344061
781.99/784.15	o 335843
782.38/784.53	o 325269
791.46/793.68	o 322581
825.98/828.25	o 298125
826.47/828.71	o 291918
867.47/869.82	o 266414
867.97/870.36	o 264719
868.07/870.40	o 252921
874.56/876.91	o 243767
887.32/889.79	o 232342
887.82/890.26	o 232316
888.02/890.40	o 210106
889.12/891.59	o 204927
889.22/891.65	o 201074
892.11/894.52	o 196899
892.11/894.54	o 196873
892.51/894.94	o 163670
892.51/894.99	o 162798
951.57/954.12	o 159517
955.75/958.34	o 155250
955.75/958.35	o 155135
961.44/964.07	o 154500
1013.11/1015.88	o 153578
1016.20/1018.94	o 144130
1017.89/1020.60	o 140289
1038.84/1041.68	o 100308
1039.54/1042.32	o 92633
1039.54/1042.35	o 87235
1039.54/1042.36	o 80062
1039.54/1042.38	o 74173
1040.64/1043.45	o 71870
1040.64/1043.47	o 70998
1041.64/1044.41	s OPTIMUM FOUND
1041.64/1044.41	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498

Verifier Data 

OK	70998

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: 63931 MiB (61352 MiB free)
  memory of node 1: 64510 MiB (62840 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433563-1721116496/watcher-4433563-1721116496 -o /tmp/evaluation-result-4433563-1721116496/solver-4433563-1721116496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721112899-846378 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1582241265 HOME/instance-4433563-1721116496.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=848563, runsolver pid=848560

[startup+0.100139 s]*
/proc/loadavg: 4.16 4.23 4.12 5/259 848564
/proc/meminfo: memFree=127163076/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=32072 memory=13136 CPUtime=0.09 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 2201 0 0 0 9 0 0 0 20 0 1 0 163817870 32841728 3284 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 8018 3284 851 746 0 7082 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32072 KiB
Current children cumulated memory: 13136 KiB

[startup+0.205657 s]*
/proc/loadavg: 4.16 4.23 4.12 5/259 848564
/proc/meminfo: memFree=127158804/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=34056 memory=17292 CPUtime=0.2 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 2696 0 0 0 20 0 0 0 20 0 1 0 163817870 34873344 4323 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 8514 4323 851 746 0 7578 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34056 KiB
Current children cumulated memory: 17292 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.16 4.23 4.12 5/259 848566
/proc/meminfo: memFree=127156504/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=35924 memory=19140 CPUtime=0.3 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 3180 0 0 0 30 0 0 0 20 0 1 0 163817870 36786176 4785 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 8981 4785 851 746 0 8045 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35924 KiB
Current children cumulated memory: 19140 KiB

[startup+0.700242 s]
/proc/loadavg: 4.16 4.23 4.12 5/259 848566
/proc/meminfo: memFree=127149292/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=43804 memory=32400 CPUtime=0.68 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 4930 0 0 0 68 0 0 0 20 0 1 0 163817870 44855296 8100 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 10951 8100 851 746 0 10015 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43804 KiB
Current children cumulated memory: 32400 KiB

[startup+1.50024 s]
/proc/loadavg: 4.16 4.23 4.12 5/259 848566
/proc/meminfo: memFree=127138428/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=49872 memory=43880 CPUtime=1.48 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 6795 0 0 0 147 1 0 0 20 0 1 0 163817870 51068928 10970 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 12468 10970 851 746 0 11532 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49872 KiB
Current children cumulated memory: 43880 KiB

[startup+3.10582 s]
/proc/loadavg: 4.16 4.23 4.12 5/259 848566
/proc/meminfo: memFree=127105668/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=78180 memory=70568 CPUtime=3.08 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 10649 0 0 0 306 2 0 0 20 0 1 0 163817870 80056320 17642 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 19545 17642 851 746 0 18609 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78180 KiB
Current children cumulated memory: 70568 KiB

[startup+6.30023 s]
/proc/loadavg: 4.22 4.24 4.12 5/259 848566
/proc/meminfo: memFree=127077448/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=119652 memory=100996 CPUtime=6.27 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 14559 0 0 0 624 3 0 0 20 0 1 0 163817870 122523648 25249 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 29913 25249 851 746 0 28977 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119652 KiB
Current children cumulated memory: 100996 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.23 4.12 5/259 848567
/proc/meminfo: memFree=127039792/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=181764 memory=142516 CPUtime=12.65 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 20322 0 0 0 1260 5 0 0 20 0 1 0 163817870 186126336 35629 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 45441 35629 851 746 0 44505 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 181764 KiB
Current children cumulated memory: 142516 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.22 4.12 5/259 848569
/proc/meminfo: memFree=127006984/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=197032 memory=169232 CPUtime=25.42 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 23501 0 0 0 2535 7 0 0 20 0 1 0 163817870 201760768 42308 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 49258 42308 851 746 0 48322 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 197032 KiB
Current children cumulated memory: 169232 KiB

[startup+51.1055 s]
/proc/loadavg: 4.34 4.25 4.13 5/258 848957
/proc/meminfo: memFree=126990052/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=203336 memory=183304 CPUtime=50.96 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 25028 0 0 0 5088 8 0 0 20 0 1 0 163817870 208216064 45826 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 50834 45826 851 746 0 49898 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 203336 KiB
Current children cumulated memory: 183304 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.23 4.12 5/258 849012
/proc/meminfo: memFree=126108872/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=206512 memory=186028 CPUtime=102.02 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 25770 0 0 0 10194 8 0 0 20 0 1 0 163817870 211468288 46507 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 51628 46507 851 746 0 50692 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 206512 KiB
Current children cumulated memory: 186028 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.20 4.12 5/257 849023
/proc/meminfo: memFree=124804108/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=214128 memory=192644 CPUtime=161.88 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 27530 0 0 0 16179 9 0 0 20 0 1 0 163817870 219267072 48161 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 53532 48161 851 746 0 52596 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 214128 KiB
Current children cumulated memory: 192644 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.21 4.12 5/257 849201
/proc/meminfo: memFree=123351680/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=218216 memory=196732 CPUtime=221.7 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 28549 0 0 0 22161 9 0 0 20 0 1 0 163817870 223453184 49183 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 54554 49183 851 746 0 53618 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 218216 KiB
Current children cumulated memory: 196732 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/257 849212
/proc/meminfo: memFree=122489488/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=225772 memory=203720 CPUtime=281.51 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 30328 0 0 0 28141 10 0 0 20 0 1 0 163817870 231190528 50930 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 56443 50930 851 746 0 55507 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 225772 KiB
Current children cumulated memory: 203720 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/258 849226
/proc/meminfo: memFree=121519468/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=228712 memory=206244 CPUtime=341.31 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 31043 0 0 0 34121 10 0 0 20 0 1 0 163817870 234201088 51561 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 57178 51561 851 746 0 56242 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 228712 KiB
Current children cumulated memory: 206244 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 849247
/proc/meminfo: memFree=120704740/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=230680 memory=208452 CPUtime=401.12 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 31599 0 0 0 40102 10 0 0 20 0 1 0 163817870 236216320 52113 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 57670 52113 851 746 0 56734 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 230680 KiB
Current children cumulated memory: 208452 KiB

[startup+462.3 s]
/proc/loadavg: 4.02 4.13 4.10 5/257 849395
/proc/meminfo: memFree=120352504/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=236020 memory=227068 CPUtime=460.96 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 32796 0 0 0 46086 10 0 0 20 0 1 0 163817870 241684480 56767 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 59005 56767 851 746 0 58069 0

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

/proc/loadavg: 4.12 4.12 4.10 5/256 849420
/proc/meminfo: memFree=119258844/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=240524 memory=231308 CPUtime=580.66 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 34019 0 0 0 58056 10 0 0 20 0 1 0 163817870 246296576 57827 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 60131 57827 851 746 0 59195 0
Current children cumulated CPU time: 580.66 s
Current children cumulated vsize: 240524 KiB
Current children cumulated memory: 231308 KiB

[startup+642.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 849430
/proc/meminfo: memFree=118637896/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=242268 memory=232752 CPUtime=640.52 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 34532 0 0 0 64042 10 0 0 20 0 1 0 163817870 248082432 58188 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 60567 58188 851 746 0 59631 0
Current children cumulated CPU time: 640.52 s
Current children cumulated vsize: 242268 KiB
Current children cumulated memory: 232752 KiB

[startup+702.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 849441
/proc/meminfo: memFree=117944768/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=257688 memory=241864 CPUtime=700.38 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 36872 0 0 0 70027 11 0 0 20 0 1 0 163817870 263872512 60466 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 64422 60466 851 746 0 63486 0
Current children cumulated CPU time: 700.38 s
Current children cumulated vsize: 257688 KiB
Current children cumulated memory: 241864 KiB

[startup+762.3 s]
/proc/loadavg: 4.33 4.20 4.12 5/256 849453
/proc/meminfo: memFree=117173692/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=258328 memory=242504 CPUtime=760.23 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 37106 0 0 0 76012 11 0 0 20 0 1 0 163817870 264527872 60626 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 64582 60626 851 746 0 63646 0
Current children cumulated CPU time: 760.23 s
Current children cumulated vsize: 258328 KiB
Current children cumulated memory: 242504 KiB

[startup+822.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/256 849463
/proc/meminfo: memFree=116595228/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=258328 memory=242560 CPUtime=820.09 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 37216 0 0 0 81998 11 0 0 20 0 1 0 163817870 264527872 60640 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 64582 60640 851 746 0 63646 0
Current children cumulated CPU time: 820.09 s
Current children cumulated vsize: 258328 KiB
Current children cumulated memory: 242560 KiB

[startup+882.3 s]
/proc/loadavg: 4.11 4.17 4.11 5/255 849473
/proc/meminfo: memFree=116327692/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=261656 memory=244672 CPUtime=879.94 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 37884 0 0 0 87983 11 0 0 20 0 1 0 163817870 267935744 61168 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 65414 61168 851 746 0 64478 0
Current children cumulated CPU time: 879.94 s
Current children cumulated vsize: 261656 KiB
Current children cumulated memory: 244672 KiB

[startup+942.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/258 849490
/proc/meminfo: memFree=116074184/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275612 memory=254524 CPUtime=939.79 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40432 0 0 0 93967 12 0 0 20 0 1 0 163817870 282226688 63631 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68903 63631 851 746 0 67967 0
Current children cumulated CPU time: 939.79 s
Current children cumulated vsize: 275612 KiB
Current children cumulated memory: 254524 KiB

[startup+1002.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/257 849500
/proc/meminfo: memFree=115762932/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275612 memory=254588 CPUtime=999.64 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40535 0 0 0 99952 12 0 0 20 0 1 0 163817870 282226688 63647 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68903 63647 851 746 0 67967 0
Current children cumulated CPU time: 999.64 s
Current children cumulated vsize: 275612 KiB
Current children cumulated memory: 254588 KiB

[startup+1044.42 s]
# the end of solver process 848563 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1041.54 s, system=0.121693 s

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

[startup+1024 s]*
/proc/loadavg: 4.19 4.17 4.12 5/257 849503
/proc/meminfo: memFree=115392624/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275612 memory=254588 CPUtime=1021.29 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40547 0 0 0 102117 12 0 0 20 0 1 0 163817870 282226688 63647 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68903 63647 851 746 0 67967 0
Current children cumulated CPU time: 1021.29 s
Current children cumulated vsize: 275612 KiB
Current children cumulated memory: 254588 KiB

[startup+1036.8 s]
/proc/loadavg: 4.15 4.16 4.11 5/257 849506
/proc/meminfo: memFree=115290984/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275868 memory=256932 CPUtime=1034.05 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40621 0 0 0 103393 12 0 0 20 0 1 0 163817870 282488832 64233 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68967 64233 851 746 0 68031 0
Current children cumulated CPU time: 1034.05 s
Current children cumulated vsize: 275868 KiB
Current children cumulated memory: 256932 KiB

[startup+1040 s]*
/proc/loadavg: 4.13 4.16 4.11 5/257 849506
/proc/meminfo: memFree=115261320/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275868 memory=256932 CPUtime=1037.25 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40621 0 0 0 103713 12 0 0 20 0 1 0 163817870 282488832 64233 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68967 64233 851 746 0 68031 0
Current children cumulated CPU time: 1037.25 s
Current children cumulated vsize: 275868 KiB
Current children cumulated memory: 256932 KiB

[startup+1041.6 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 849507
/proc/meminfo: memFree=115252328/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275868 memory=256932 CPUtime=1038.84 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40621 0 0 0 103872 12 0 0 20 0 1 0 163817870 282488832 64233 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68967 64233 851 746 0 68031 0
Current children cumulated CPU time: 1038.84 s
Current children cumulated vsize: 275868 KiB
Current children cumulated memory: 256932 KiB

[startup+1043.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 849507
/proc/meminfo: memFree=115248724/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275868 memory=256932 CPUtime=1040.44 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40621 0 0 0 104032 12 0 0 20 0 1 0 163817870 282488832 64233 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68967 64233 851 746 0 68031 0
Current children cumulated CPU time: 1040.44 s
Current children cumulated vsize: 275868 KiB
Current children cumulated memory: 256932 KiB

[startup+1044 s]*
/proc/loadavg: 4.13 4.16 4.11 5/257 849507
/proc/meminfo: memFree=115213980/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275868 memory=256932 CPUtime=1041.24 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40621 0 0 0 104112 12 0 0 20 0 1 0 163817870 282488832 64233 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68967 64233 851 746 0 68031 0
Current children cumulated CPU time: 1041.24 s
Current children cumulated vsize: 275868 KiB
Current children cumulated memory: 256932 KiB

[startup+1044.4 s]
/proc/loadavg: 4.13 4.16 4.11 5/257 849507
/proc/meminfo: memFree=115213980/131524600 swapFree=131071996/131071996
[pid=848563] ppid=848560 vsize=275868 memory=256932 CPUtime=1041.64 cores=1,3
/proc/848563/stat : 848563 (Exact_nosoplex) R 848560 848563 846366 0 -1 4194304 40621 0 0 0 104152 12 0 0 20 0 1 0 163817870 282488832 64233 134679101440 4194304 7248369 140727716876096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 17997824 140727716881324 140727716881503 140727716881503 140727716888518 0
/proc/848563/statm: 68967 64233 851 746 0 68031 0
Current children cumulated CPU time: 1041.64 s
Current children cumulated vsize: 275868 KiB
Current children cumulated memory: 256932 KiB

Child status: 30

Real time (s): 1044.42
CPU time (s): 1041.66
CPU user time (s): 1041.54
CPU system time (s): 0.121693
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 275868
Max. memory (cumulated for all children) (KiB): 256932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1041.54
system time used= 0.121693
maximum resident set size= 256932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40623
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= 44
involuntary context switches= 753


# summary of solver processes directly reported to runsolver:
#   pid: 848563
#   total CPU time (s): 1041.66
#   total CPU user time (s): 1041.54
#   total CPU system time (s): 0.121693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.08894 second user time and 4.80311 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-16 09:55:09
IDJOB=4433563
IDBENCH=148704
IDSOLVER=3061
FILE ID=nodeC031/4433563-1721116496
RUNJOBID= nodeC031-1721112899-846378
SLURM_JOB_ID= 7505645
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__8.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433563-1721116496/watcher-4433563-1721116496 -o /tmp/evaluation-result-4433563-1721116496/solver-4433563-1721116496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721112899-846378 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1582241265 HOME/instance-4433563-1721116496.opb

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

MD5SUM BENCH= 2d146ebdf2817567f5780fc8d24c5107
RANDOM SEED=1582241265

nodeC031.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	: 0xb00002a
cpu MHz		: 3680.411
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3662.705
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.814
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.559
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.443
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.946
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.799
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.860
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127172928 kB
MemAvailable:   128826600 kB
Buffers:          378464 kB
Cached:          2098752 kB
SwapCached:            0 kB
Active:           704352 kB
Inactive:        3023200 kB
Active(anon):       1536 kB
Inactive(anon):  1286212 kB
Active(file):     702816 kB
Inactive(file):  1736988 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4732 kB
Writeback:            92 kB
AnonPages:       1246212 kB
Mapped:           113832 kB
Shmem:             37720 kB
KReclaimable:     107028 kB
Slab:             214960 kB
SReclaimable:     107028 kB
SUnreclaim:       107932 kB
KernelStack:        4220 kB
PageTables:        11824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1654716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63040 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC031 at 2024-07-16 10:12:33