Trace number 4459357

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
FiberSCIP 2024-07-02OPT378 43.8763 44.0657

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
MD5SUMca6d41f9aded18c9e4512660dff57e08
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 benchmark378
Best CPU time to get the best result obtained on this benchmark18.2111
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.08	c Default LC presolving (default).
0.00/0.08	c ** Before presolving: virtualMemUsedAtLc = 71312461, getVmSize() = 64696320, SCIPgetMemUsed() = 35627493, SCIPgetMemTotal() = 40986773, SCIPgetMemExternEstim() = 30325688
0.00/0.08	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.79/0.80	c ** Estimated virtualMemUsedAtSolver = 70783878, getVmSize() = 103636992, SCIPgetMemUsed() = 51103113, SCIPgetMemTotal() = 75850129, SCIPgetMemExternEstim() = 30325688
0.79/0.80	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.79/0.80	c Original Problem   :
0.79/0.80	c   Problem name     : instance-4459357-1721898461
0.79/0.80	c   Variables        : 1520 (1520 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.80	c   Constraints      : 28979
0.79/0.80	c   Objective sense  : minimize
0.79/0.80	c Presolved Problem  :
0.79/0.80	c   Variables        : 1520 (1520 binary, 0 integer, 0 implicit integer, 0 continuous)
0.79/0.80	c   Constraints      : 9979
0.79/0.80	c Constraints        : Number
0.79/0.80	c   setppc           : 783 
0.79/0.80	c   linear           : 76 
0.79/0.80	c   logicor          : 9120 
0.79/0.80	c ** Instance transfer method used: 0
0.79/0.82	c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.83	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.83	c                                Nodes    Active                                            
0.79/0.83	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
1.48/1.52	c *       2              0           1         1         465.0000                -          -
4.85/4.95	c *       5              2           1         1         457.0000         347.0000     31.70%
4.96/5.04	c *       5              2           1         1         456.0000         347.0000     31.41%
4.96/5.04	c         5              2           1         1         456.0000         347.0000     31.41%
5.65/5.74	c *       6             13           6         1         455.0000         347.0000     31.12%
5.65/5.75	c *       6             13           6         1         454.0000         347.0000     30.84%
5.65/5.78	c *       6             13           6         1         443.0000         347.0000     27.67%
6.14/6.27	c *       6             30          17         1         415.0000         347.0000     19.60%
7.45/7.50	c *       8             30          17         1         413.0000         347.0000     19.02%
7.45/7.51	c *       8             38          20         1         405.0000         347.0000     16.71%
8.14/8.26	c *       8             38          20         1         403.0000         347.0000     16.14%
9.04/9.10	c *       9             49          16         1         397.0000         347.0000     14.41%
10.13/10.25	c        10             53          15         1         397.0000         347.0000     14.41%
11.03/11.11	c *      11             53          15         1         391.0000         347.0000     12.68%
11.94/12.01	c *      12             60          12         1         386.0000         347.0000     11.24%
14.51/14.62	c *      15             84          14         1         382.0000         347.0000     10.09%
14.51/14.64	c *      15             84          14         1         380.0000         347.0000      9.51%
15.21/15.38	c *      15             96          14         1         378.0000         347.0000      8.93%
15.21/15.38	c        15             96          14         1         378.0000         347.0000      8.93%
20.49/20.69	c        21            234          24         1         378.0000         364.0000      3.85%
25.67/25.84	c        26            504          43         1         378.0000         364.0000      3.85%
31.15/31.34	c        31            972          67         1         378.0000         365.4286      3.44%
36.13/36.34	c        36           1375          76         1         378.0000         368.0000      2.72%
41.21/41.47	c        41           1982          54         1         378.0000         370.8750      1.92%
43.70/43.97	c        44           2380           0         0         378.0000         378.0000      0.00%
43.81/44.02	c        44           2380           0         0         378.0000         378.0000          -
43.81/44.02	c SCIP Status        : c problem is solved
43.81/44.02	c Total Time         : 44.0200
43.81/44.02	c   solving          : 44.0200
43.81/44.02	c   presolving       : 0.7185 (included in solving)
43.81/44.02	c B&B Tree           :
43.81/44.02	c   nodes (total)    : 2380
43.81/44.02	c Solution           :
43.81/44.02	c   Solutions found  : 16
43.81/44.02	c   Primal Bound     : +3.78000000000000e+02
43.81/44.02	c   Dual Bound       : +3.78000000000000e+02
43.81/44.02	c Gap                : 0.00000 %
43.81/44.02	o 378
43.81/44.02	s OPTIMUM FOUND
43.81/44.02	v -x1300 -x1281 -x920 -x901 -x540 -x521 -x160 x141 -x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 
43.81/44.02	v -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 
43.81/44.02	v -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 
43.81/44.02	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 
43.81/44.02	v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 
43.81/44.02	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422 -x1421 -x1420 
43.81/44.02	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 
43.81/44.02	v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 
43.81/44.02	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 
43.81/44.02	v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 
43.81/44.02	v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 
43.81/44.02	v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
43.81/44.02	v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 
43.81/44.02	v -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
43.81/44.02	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 
43.81/44.02	v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 
43.81/44.02	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 
43.81/44.02	v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
43.81/44.02	v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 
43.81/44.02	v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 
43.81/44.02	v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 
43.81/44.02	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 
43.81/44.02	v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 
43.81/44.02	v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 
43.81/44.02	v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 
43.81/44.02	v -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 
43.81/44.02	v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 
43.81/44.02	v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 
43.81/44.02	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 
43.81/44.02	v -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 
43.81/44.02	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 
43.81/44.02	v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 
43.81/44.02	v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 
43.81/44.02	v -x923 -x922 -x921 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 
43.81/44.02	v -x902 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 
43.81/44.02	v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 
43.81/44.02	v -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 
43.81/44.02	v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 
43.81/44.02	v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 
43.81/44.02	v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 
43.81/44.02	v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 
43.81/44.02	v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 
43.81/44.02	v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 
43.81/44.02	v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 
43.81/44.02	v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 
43.81/44.02	v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 
43.81/44.02	v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 
43.81/44.02	v -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 
43.81/44.02	v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 
43.81/44.02	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 
43.81/44.02	v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 
43.81/44.02	v -x546 -x545 -x544 -x543 -x542 -x541 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 
43.81/44.02	v -x524 -x523 -x522 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 
43.81/44.02	v -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 
43.81/44.02	v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 
43.81/44.02	v -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 
43.81/44.02	v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 
43.81/44.02	v -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 
43.81/44.02	v -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 
43.81/44.02	v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 
43.81/44.02	v -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 
43.81/44.02	v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 
43.81/44.02	v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 
43.81/44.02	v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
43.81/44.05	v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 
43.81/44.05	v -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 
43.81/44.05	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 
43.81/44.05	v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 
43.81/44.05	v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 
43.81/44.05	v -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
43.81/44.05	v -x146 -x145 -x144 -x143 -x142 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
43.81/44.05	v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 
43.81/44.05	v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 
43.81/44.05	v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
43.81/44.05	v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
43.81/44.05	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 
43.81/44.05	v -x2 -x1

Verifier Data 

OK	378

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459357-1721898461/watcher-4459357-1721898461 -o /tmp/evaluation-result-4459357-1721898461/solver-4459357-1721898461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721898119-230598 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459357-1721898461.opb -qsol -t 3600 -sth 1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=230867, runsolver pid=230864
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.07 3.15 2.39 5/259 230868
/proc/meminfo: memFree=94536572/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=64896 memory=53600 CPUtime=0.09 cores=0,2
/proc/230867/stat : 230867 (fscip) R 230864 230867 225328 0 -1 4194304 11097 0 0 0 8 1 0 0 20 0 1 0 26369042 66453504 13400 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 16224 13400 2606 3032 0 12624 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64896 KiB
Current children cumulated memory: 53600 KiB

[startup+0.205549 s]*
/proc/loadavg: 4.07 3.15 2.39 6/259 230868
/proc/meminfo: memFree=94522228/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=72736 memory=61560 CPUtime=0.2 cores=0,2
/proc/230867/stat : 230867 (fscip) R 230864 230867 225328 0 -1 4194304 17441 0 0 0 18 2 0 0 20 0 1 0 26369042 74481664 15390 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 18184 15390 2686 3032 0 14584 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72736 KiB
Current children cumulated memory: 61560 KiB

[startup+0.305522 s]*
/proc/loadavg: 4.07 3.15 2.39 5/259 230868
/proc/meminfo: memFree=94510776/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=79328 memory=67456 CPUtime=0.29 cores=0,2
/proc/230867/stat : 230867 (fscip) R 230864 230867 225328 0 -1 4194304 19159 0 0 0 27 2 0 0 20 0 1 0 26369042 81231872 16864 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 19832 16864 2734 3032 0 16232 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79328 KiB
Current children cumulated memory: 67456 KiB

[startup+0.700231 s]
/proc/loadavg: 4.07 3.15 2.39 5/259 230870
/proc/meminfo: memFree=94496984/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=85256 memory=73264 CPUtime=0.69 cores=0,2
/proc/230867/stat : 230867 (fscip) R 230864 230867 225328 0 -1 4194304 20625 0 0 0 66 3 0 0 20 0 1 0 26369042 87302144 18316 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 21314 18316 2734 3032 0 17714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85256 KiB
Current children cumulated memory: 73264 KiB

[startup+1.50052 s]
/proc/loadavg: 4.07 3.15 2.39 5/261 230872
/proc/meminfo: memFree=94412336/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=189272 memory=149156 CPUtime=1.48 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 40774 0 0 0 142 6 0 0 20 0 3 0 26369042 193814528 37289 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 47318 37289 2910 3032 0 41898 0
[pid=230867/tid=230871] ppid=230864 vsize=189272 memory=4332 CPUtime=0.66 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 14785 0 0 0 64 2 0 0 20 0 3 0 26369122 193814528 37289 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=189272 memory=2212 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 26369126 193814528 37289 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 189272 KiB
Current children cumulated memory: 149156 KiB

[startup+3.1055 s]
/proc/loadavg: 4.14 3.18 2.41 5/261 230872
/proc/meminfo: memFree=94263308/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=254808 memory=164552 CPUtime=3.06 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 52107 0 0 0 300 6 0 0 20 0 3 0 26369042 260923392 41138 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 63702 41138 2926 3032 0 48627 0
[pid=230867/tid=230871] ppid=230864 vsize=254808 memory=2212 CPUtime=2.25 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 26114 0 0 0 222 3 0 0 20 0 3 0 26369122 260923392 41138 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=254808 memory=104 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 26369126 260923392 41138 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 254808 KiB
Current children cumulated memory: 164552 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 3.18 2.41 6/261 230872
/proc/meminfo: memFree=94083268/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=254808 memory=181780 CPUtime=6.24 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 67671 0 0 0 616 8 0 0 20 0 3 0 26369042 260923392 45445 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 63702 45445 2974 3032 0 53095 0
[pid=230867/tid=230871] ppid=230864 vsize=254808 memory=0 CPUtime=5.43 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 41300 0 0 0 538 5 0 0 20 0 3 0 26369122 260923392 45445 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=254808 memory=2314990291058770520 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 26369126 260923392 45445 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 254808 KiB
Current children cumulated memory: 181780 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 3.21 2.42 6/261 230874
/proc/meminfo: memFree=93733260/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=320344 memory=201628 CPUtime=12.63 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 102333 0 0 0 1251 12 0 0 20 0 3 0 26369042 328032256 50407 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 80086 50407 2974 3032 0 61361 0
[pid=230867/tid=230871] ppid=230864 vsize=320344 memory=164552 CPUtime=11.8 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 75295 0 0 0 1172 8 0 0 20 0 3 0 26369122 328032256 50407 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=320344 memory=198432 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 26369126 328032256 50407 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 320344 KiB
Current children cumulated memory: 201628 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 3.25 2.45 6/261 230875
/proc/meminfo: memFree=92911712/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=309936 CPUtime=25.37 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 184986 0 0 0 2517 20 0 0 20 0 3 0 26369042 462249984 77484 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77484 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=12156 CPUtime=24.56 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 157526 0 0 0 2439 17 0 0 20 0 3 0 26369122 462249984 77484 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=309936 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77484 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 309936 KiB

[startup+44.0656 s]
# the end of solver process 230867 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=43.6183 s, system=0.258008 s

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

[startup+25.6003 s]
/proc/loadavg: 4.16 3.25 2.45 6/261 230875
/proc/meminfo: memFree=92911712/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=309936 CPUtime=25.47 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 184987 0 0 0 2527 20 0 0 20 0 3 0 26369042 462249984 77484 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77484 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=12156 CPUtime=24.66 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 157527 0 0 0 2449 17 0 0 20 0 3 0 26369122 462249984 77484 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=68440 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77484 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 309936 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.15 3.26 2.46 6/261 230877
/proc/meminfo: memFree=92532560/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=310296 CPUtime=31.86 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 191376 0 0 0 3165 21 0 0 20 0 3 0 26369042 462249984 77574 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77574 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=6720664354900950377 CPUtime=31.03 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 163896 0 0 0 3086 17 0 0 20 0 3 0 26369122 462249984 77574 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=4600 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77574 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 31.86 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 310296 KiB

[startup+38.4002 s]
/proc/loadavg: 4.13 3.29 2.47 6/261 230877
/proc/meminfo: memFree=92206156/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=310364 CPUtime=38.22 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 202834 0 0 0 3800 22 0 0 20 0 3 0 26369042 462249984 77591 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77591 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=309936 CPUtime=37.4 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 175315 0 0 0 3722 18 0 0 20 0 3 0 26369122 462249984 77591 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=0 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77591 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 38.22 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 310364 KiB

[startup+41.6002 s]
/proc/loadavg: 4.13 3.29 2.47 6/261 230878
/proc/meminfo: memFree=92044920/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=310368 CPUtime=41.41 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 203324 0 0 0 4119 22 0 0 20 0 3 0 26369042 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77592 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=310320 CPUtime=40.58 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 175803 0 0 0 4040 18 0 0 20 0 3 0 26369122 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=279682499739328 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 41.41 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 310368 KiB

[startup+43.2002 s]
/proc/loadavg: 4.12 3.30 2.48 6/261 230878
/proc/meminfo: memFree=91937780/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=310368 CPUtime=43.01 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 210328 0 0 0 4278 23 0 0 20 0 3 0 26369042 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77592 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=68440 CPUtime=42.18 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 182805 0 0 0 4199 19 0 0 20 0 3 0 26369122 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=310368 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 43.01 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 310368 KiB

[startup+43.6002 s]
/proc/loadavg: 4.12 3.30 2.48 6/261 230878
/proc/meminfo: memFree=91937780/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=310368 CPUtime=43.4 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 210464 0 0 0 4317 23 0 0 20 0 3 0 26369042 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77592 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=6720664354900950377 CPUtime=42.58 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 182941 0 0 0 4239 19 0 0 20 0 3 0 26369122 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=3405484 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 43.4 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 310368 KiB

[startup+44.0002 s]*
/proc/loadavg: 4.12 3.30 2.48 6/261 230878
/proc/meminfo: memFree=91883348/131524600 swapFree=131061428/131071996
[pid=230867] ppid=230864 vsize=451416 memory=310368 CPUtime=43.81 cores=0,2
/proc/230867/stat : 230867 (fscip) S 230864 230867 225328 0 -1 1077936128 214114 0 0 0 4358 23 0 0 20 0 3 0 26369042 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
/proc/230867/statm: 112854 77592 3310 3032 0 95099 0
[pid=230867/tid=230871] ppid=230864 vsize=451416 memory=6720664354900950377 CPUtime=42.98 cores=0,2
/proc/230867/task/230871/stat : 230871 (fscip) R 230864 230867 225328 0 -1 4194368 186586 0 0 0 4279 19 0 0 20 0 3 0 26369122 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
[pid=230867/tid=230872] ppid=230864 vsize=451416 memory=3458825198336476170 CPUtime=0 cores=0,2
/proc/230867/task/230872/stat : 230872 (fscip) S 230864 230867 225328 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 26369126 462249984 77592 134679101440 4194304 16613245 140730144465792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47144960 140730144470037 140730144470153 140730144470153 140730144477168 0
Current children cumulated CPU time: 43.81 s
Current children cumulated vsize: 451416 KiB
Current children cumulated memory: 310368 KiB

Child status: 0

Real time (s): 44.0657
CPU time (s): 43.8763
CPU user time (s): 43.6183
CPU system time (s): 0.258008
CPU usage (%): 99.5703
Max. virtual memory (cumulated for all children) (KiB): 451416
Max. memory (cumulated for all children) (KiB): 310368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6183
system time used= 0.258008
maximum resident set size= 310368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228770
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= 194
involuntary context switches= 329


# summary of solver processes directly reported to runsolver:
#   pid: 230867
#   total CPU time (s): 43.8763
#   total CPU user time (s): 43.6183
#   total CPU system time (s): 0.258008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084406 second user time and 0.25023 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 11:07:41
IDJOB=4459357
IDBENCH=178773
IDSOLVER=3064
FILE ID=nodeC022/4459357-1721898461
RUNJOBID= nodeC022-1721898119-230598
SLURM_JOB_ID= 8089333
Free space on /tmp= 889908 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-1109824.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459357-1721898461/watcher-4459357-1721898461 -o /tmp/evaluation-result-4459357-1721898461/solver-4459357-1721898461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721898119-230598 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4459357-1721898461.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ca6d41f9aded18c9e4512660dff57e08
RANDOM SEED=1877677708

nodeC022.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		: 3661.304
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.87
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		: 3681.629
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.75
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		: 3670.589
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.87
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		: 3600.213
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.75
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		: 3667.561
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.87
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		: 3681.625
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.75
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		: 3600.084
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.87
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		: 3600.143
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        94586760 kB
MemAvailable:   100273896 kB
Buffers:          319180 kB
Cached:          6117280 kB
SwapCached:         1424 kB
Active:          2698272 kB
Inactive:       33413104 kB
Active(anon):       1936 kB
Inactive(anon): 29726708 kB
Active(file):    2696336 kB
Inactive(file):  3686396 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:             29364 kB
Writeback:             4 kB
AnonPages:      29671112 kB
Mapped:           149648 kB
Shmem:             53732 kB
KReclaimable:     292196 kB
Slab:             415524 kB
SReclaimable:     292196 kB
SUnreclaim:       123328 kB
KernelStack:        4160 kB
PageTables:        67664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   30308508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4657152 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889880 MiB
End job on nodeC022 at 2024-07-25 11:08:26