Trace number 4464319

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30SAT 61.8035 61.9742

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
MD5SUMedc49dd1b51fcfed98bb9be45944fb6c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.82204
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
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: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0         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)
3.78/3.86	c Default LC presolving (default).
3.78/3.88	c ** Before presolving: virtualMemUsedAtLc = 2296764818, getVmSize() = 1390161920, SCIPgetMemUsed() = 1140330317, SCIPgetMemTotal() = 1296435845, SCIPgetMemExternEstim() = 1000328973
3.78/3.88	c ** set memory limit for presolving in LC to 8.7954e+12 for SCIP **
28.12/28.27	c ** Estimated virtualMemUsedAtSolver = 2270980930, getVmSize() = 2648842240, SCIPgetMemUsed() = 1543379039, SCIPgetMemTotal() = 2406142423, SCIPgetMemExternEstim() = 1000328973
28.12/28.27	c ** set memory limit for solvers to 4.39798e+12 for each SCIP **
28.12/28.27	c Original Problem   :
28.12/28.27	c   Problem name     : instance-4464319-1722378687
28.12/28.27	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
28.12/28.27	c   Constraints      : 990001
28.12/28.27	c   Objective sense  : minimize
28.12/28.27	c Presolved Problem  :
28.12/28.27	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
28.12/28.27	c   Constraints      : 990001
28.12/28.27	c Constraints        : Number
28.12/28.27	c   knapsack         : 3160 
28.12/28.27	c   setppc           : 1280 
28.12/28.27	c   linear           : 1 
28.12/28.27	c   logicor          : 985560 
28.12/28.27	c ** Instance transfer method used: 0
29.72/29.87	c ** ParaScipInstance copy does not increase the number of variables. **
31.90/32.08	c LC is working with racing ramp-up and with rebuilding tree after racing.
31.90/32.08	c                                Nodes    Active                                            
31.90/32.08	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
58.14/58.34	c *      58              0           1         1           0.0000                -          -
58.14/58.34	c        58              0           1         1           0.0000                -          -
58.43/58.62	c        59              1           0         0           0.0000           0.0000      0.00%
60.12/60.38	c        60              1           0         0           0.0000           0.0000          -
60.12/60.38	c SCIP Status        : c problem is solved
60.12/60.38	c Total Time         : 60.3900
60.12/60.38	c   solving          : 60.3900
60.12/60.38	c   presolving       : 24.3982 (included in solving)
60.12/60.38	c B&B Tree           :
60.12/60.38	c   nodes (total)    : 1
60.12/60.38	c Solution           :
60.12/60.38	c   Solutions found  : 1
60.12/60.38	c   Primal Bound     : +0.00000000000000e+00
60.12/60.38	c   Dual Bound       : +0.00000000000000e+00
60.12/60.38	c Gap                : 0.00000 %
60.63/60.86	s SATISFIABLE
60.63/60.86	v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
60.63/60.86	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 
60.63/60.86	v -x1564 -x1563 -x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 
60.63/60.86	v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 
60.63/60.86	v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 
60.63/60.86	v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 
60.63/60.86	v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 
60.63/60.86	v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
60.63/60.86	v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
60.63/60.86	v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 
60.63/60.86	v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403 
60.63/60.86	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
60.63/60.86	v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 
60.63/60.86	v x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
60.63/60.86	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
60.63/60.86	v -x1331 -x1330 -x1329 -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
60.63/60.86	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
60.63/60.86	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
60.63/60.86	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
60.63/60.86	v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
60.63/60.86	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
60.63/60.86	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 
60.63/60.86	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
60.63/60.86	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 
60.63/60.86	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
60.63/60.86	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
60.63/60.86	v -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
60.63/60.86	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 
60.63/60.86	v -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 
60.63/60.86	v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 
60.63/60.86	v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
60.63/60.86	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
60.63/60.86	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
60.63/60.86	v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 
60.63/60.86	v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 
60.63/60.86	v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 
60.63/60.86	v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 
60.63/60.86	v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 
60.63/60.86	v -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 
60.63/60.86	v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 
60.63/60.86	v -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 
60.63/60.86	v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 
60.63/60.86	v -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 
60.63/60.86	v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 
60.63/60.86	v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 
60.63/60.86	v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 
60.63/60.86	v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 
60.63/60.86	v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 
60.63/60.86	v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 
60.63/60.86	v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 
60.63/60.86	v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 
60.63/60.86	v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 
60.63/60.86	v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 
60.63/60.86	v -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 
60.63/60.86	v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
60.63/60.86	v -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 
60.63/60.86	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 
60.63/60.86	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
60.63/60.86	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 
60.63/60.86	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 
60.63/60.86	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 
60.63/60.86	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 
60.63/60.86	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 
60.63/60.86	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 
60.63/60.86	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 
60.63/60.86	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 
60.63/60.86	v -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 
60.63/60.86	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 
60.63/60.86	v -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 
60.63/60.86	v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 
60.63/60.86	v x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 
60.63/60.86	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 
60.63/60.86	v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 
60.63/60.86	v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 
60.63/60.86	v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 
60.63/60.86	v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 
60.63/60.86	v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 
60.63/60.86	v -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 
60.63/60.86	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x2800 x2799 -x2798 
60.63/60.86	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
60.63/60.86	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 
60.63/60.86	v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 
60.63/60.86	v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 
60.63/60.86	v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 
60.63/60.86	v x2708 x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 
60.63/60.86	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 
60.63/60.86	v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 
60.63/60.86	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 
60.63/60.86	v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 
60.63/60.86	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
60.63/60.86	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 
60.63/60.86	v -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
60.63/60.86	v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
60.63/60.86	v -x2546 x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 
60.63/60.86	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 -x2511 
60.63/60.86	v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 
60.63/60.86	v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 
60.63/60.86	v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 
60.63/60.86	v x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 x2445 -x2444 -x2443 -x2442 -x2441 -x2440 
60.63/60.86	v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 
60.63/60.86	v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
60.63/60.86	v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 
60.63/60.86	v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 
60.63/60.86	v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 
60.63/60.86	v x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 
60.63/60.86	v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 x2319 -x2318 -x2317 -x2316 -x2315 -x2314 
60.63/60.86	v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 
60.63/60.86	v -x2295 -x2294 -x2293 -x2292 x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 
60.63/60.86	v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 
60.63/60.86	v x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 
60.63/60.86	v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 x2229 -x2228 -x2227 -x2226 -x2225 -x2224 
60.63/60.86	v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 
60.63/60.86	v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 
60.63/60.86	v -x2187 -x2186 -x2185 -x2184 -x2183 x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 
60.63/60.86	v -x2169 -x2168 x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 
60.63/60.86	v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 
60.63/60.86	v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 
60.63/60.86	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 x2106 x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
60.63/60.86	v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 
60.63/60.86	v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 
60.63/60.86	v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 
60.63/60.86	v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 
60.63/60.86	v -x2026 -x2025 -x2024 x2023 -x2022 -x2021 x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 
60.63/60.86	v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 x1994 -x1993 -x1992 -x1991 
60.63/60.86	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
60.63/60.86	v -x1972 -x1971 -x1970 -x1969 -x1968 x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
60.63/60.86	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
60.63/60.86	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 
61.62/61.89	v -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 
61.62/61.89	v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 
61.62/61.89	v x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 
61.62/61.89	v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 x1850 -x1849 -x1848 -x1847 
61.62/61.89	v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 
61.62/61.89	v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 x1816 x1815 -x1814 -x1813 -x1812 -x1811 
61.62/61.89	v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 
61.62/61.89	v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
61.62/61.89	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
61.62/61.89	v -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 
61.62/61.89	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
61.62/61.89	v x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
61.62/61.89	v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
61.62/61.89	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x23 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 
61.62/61.89	v -x1668 -x1667 -x15 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 x40 -x1653 -x1652 
61.62/61.89	v -x38 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x27 -x1644 -x1643 -x24 -x1642 -x1641 -x1640 -x20 -x1639 -x19 -x1638 
61.62/61.89	v -x18 -x1637 -x1636 -x12 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1 -x1629 -x39 -x1628 -x37 -x1627 -x36 -x1626 -x35 -x1625 
61.62/61.89	v -x34 -x1624 -x33 -x1623 -x32 -x1622 -x31 -x1621 -x30 -x1620 -x29 -x1619 -x28 -x1618 -x26 -x1617 -x25 -x1616 -x22 -x1615 -x21 
61.62/61.89	v -x1614 -x17 -x1613 -x16 -x1612 -x14 -x1611 -x13 -x1610 -x11 -x1609 -x10 -x1608 -x9 -x1607 -x8 -x1606 -x7 -x1605 -x6 -x1604 
61.62/61.89	v -x5 -x1603 -x4 -x1602 -x3 -x1601 -x2

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61380 MiB free)
  memory of node 1: 64473 MiB (62551 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100085 s]*
/proc/loadavg: 3.27 1.17 0.47 5/253 28880
/proc/meminfo: memFree=126891120/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=36720 memory=25124 CPUtime=0.1 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 4190 0 0 0 9 1 0 0 20 0 1 0 4465748 37601280 6281 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 9180 6281 2347 3035 0 5576 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36720 KiB
Current children cumulated memory: 25124 KiB

[startup+0.209047 s]*
/proc/loadavg: 3.27 1.17 0.47 5/253 28880
/proc/meminfo: memFree=126874204/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=49412 memory=37696 CPUtime=0.21 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 7294 0 0 0 19 2 0 0 20 0 1 0 4465748 50597888 9424 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 12353 9424 2347 3035 0 8749 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49412 KiB
Current children cumulated memory: 37696 KiB

[startup+0.309135 s]*
/proc/loadavg: 3.27 1.17 0.47 5/253 28880
/proc/meminfo: memFree=126860260/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=65336 memory=53092 CPUtime=0.31 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 11127 0 0 0 28 3 0 0 20 0 1 0 4465748 66904064 13273 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 16334 13273 2347 3035 0 12730 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65336 KiB
Current children cumulated memory: 53092 KiB

[startup+0.700315 s]
/proc/loadavg: 3.27 1.17 0.47 5/253 28880
/proc/meminfo: memFree=126827528/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=123636 memory=111004 CPUtime=0.69 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 25667 0 0 0 62 7 0 0 20 0 1 0 4465748 126603264 27751 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 30909 27751 2347 3035 0 27305 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123636 KiB
Current children cumulated memory: 111004 KiB

[startup+1.50033 s]
/proc/loadavg: 3.27 1.17 0.47 5/253 28880
/proc/meminfo: memFree=126737616/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=297220 memory=284652 CPUtime=1.49 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 66486 0 0 0 134 15 0 0 20 0 1 0 4465748 304353280 71163 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 74305 71163 2347 3035 0 70701 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 297220 KiB
Current children cumulated memory: 284652 KiB

[startup+3.1129 s]
/proc/loadavg: 3.41 1.24 0.50 5/253 28880
/proc/meminfo: memFree=126067788/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=914068 memory=900980 CPUtime=3.1 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 204537 0 0 0 274 36 0 0 20 0 1 0 4465748 936005632 225245 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 228566 225245 2539 3035 0 224962 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 914068 KiB
Current children cumulated memory: 900980 KiB

[startup+6.30033 s]
/proc/loadavg: 3.41 1.24 0.50 5/253 28882
/proc/meminfo: memFree=125121008/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=1955024 memory=1933848 CPUtime=6.27 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 329467 0 0 0 553 74 0 0 20 0 1 0 4465748 2001944576 483462 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 488756 483462 2678 3035 0 485152 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1955024 KiB
Current children cumulated memory: 1933848 KiB

[startup+12.7003 s]
/proc/loadavg: 3.50 1.33 0.53 5/253 28882
/proc/meminfo: memFree=125029736/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=1891972 memory=1869088 CPUtime=12.66 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 408180 0 0 0 1176 90 0 0 20 0 1 0 4465748 1937379328 467272 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 472993 467272 2710 3035 0 469389 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1891972 KiB
Current children cumulated memory: 1869088 KiB

[startup+25.5004 s]
/proc/loadavg: 3.58 1.42 0.57 5/253 28884
/proc/meminfo: memFree=124527828/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=2623396 memory=2493528 CPUtime=25.42 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 427636 0 0 0 2440 102 0 0 20 0 1 0 4465748 2686357504 623382 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 655849 623382 2774 3035 0 652245 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2623396 KiB
Current children cumulated memory: 2493528 KiB

[startup+51.1128 s]
/proc/loadavg: 3.79 1.64 0.67 5/255 28891
/proc/meminfo: memFree=122548452/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=4536468 memory=4317576 CPUtime=50.97 cores=5,7
/proc/28879/stat : 28879 (fscip) S 28876 28879 28487 0 -1 1077936128 1103547 0 0 0 4867 230 0 0 20 0 3 0 4465748 4645343232 1079394 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 1134117 1079394 2790 3035 0 1114540 0
[pid=28879/tid=28886] ppid=28876 vsize=4536468 memory=4316864 CPUtime=21.16 cores=5,7
/proc/28879/task/28886/stat : 28886 (fscip) R 28876 28879 28487 0 -1 4194368 562720 0 0 0 2008 108 0 0 20 0 3 0 4468576 4645343232 1079394 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
[pid=28879/tid=28887] ppid=28876 vsize=4536468 memory=11440 CPUtime=0 cores=5,7
/proc/28879/task/28887/stat : 28887 (fscip) S 28876 28879 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4468956 4645343232 1079394 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4536468 KiB
Current children cumulated memory: 4317576 KiB

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

# cumulated CPU time of all completed processes:  user=58.7161 s, system=3.08739 s

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

[startup+51.2005 s]
/proc/loadavg: 3.79 1.64 0.67 5/255 28891
/proc/meminfo: memFree=122548452/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=4536468 memory=4317576 CPUtime=51.05 cores=5,7
/proc/28879/stat : 28879 (fscip) S 28876 28879 28487 0 -1 1077936128 1107054 0 0 0 4875 230 0 0 20 0 3 0 4465748 4645343232 1079394 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 1134117 1079394 2790 3035 0 1114540 0
[pid=28879/tid=28886] ppid=28876 vsize=4536468 memory=12672 CPUtime=21.25 cores=5,7
/proc/28879/task/28886/stat : 28886 (fscip) R 28876 28879 28487 0 -1 4194368 566226 0 0 0 2017 108 0 0 20 0 3 0 4468576 4645343232 1079394 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
[pid=28879/tid=28887] ppid=28876 vsize=4536468 memory=12860 CPUtime=0 cores=5,7
/proc/28879/task/28887/stat : 28887 (fscip) S 28876 28879 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4468956 4645343232 1079394 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 4536468 KiB
Current children cumulated memory: 4317576 KiB

[startup+57.6004 s]
/proc/loadavg: 3.82 1.72 0.71 5/255 28892
/proc/meminfo: memFree=121889852/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=5738116 memory=5450616 CPUtime=57.44 cores=5,7
/proc/28879/stat : 28879 (fscip) S 28876 28879 28487 0 -1 1077936128 1271100 0 0 0 5482 262 0 0 20 0 3 0 4465748 5875830784 1362654 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 1434529 1362654 2854 3035 0 1415158 0
[pid=28879/tid=28886] ppid=28876 vsize=5738116 memory=4316864 CPUtime=27.63 cores=5,7
/proc/28879/task/28886/stat : 28886 (fscip) R 28876 28879 28487 0 -1 4194368 730272 0 0 0 2623 140 0 0 20 0 3 0 4468576 5875830784 1362654 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
[pid=28879/tid=28887] ppid=28876 vsize=5738116 memory=4628748 CPUtime=0 cores=5,7
/proc/28879/task/28887/stat : 28887 (fscip) S 28876 28879 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4468956 5875830784 1362654 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
Current children cumulated CPU time: 57.44 s
Current children cumulated vsize: 5738116 KiB
Current children cumulated memory: 5450616 KiB

[startup+59.2003 s]
/proc/loadavg: 3.82 1.72 0.71 5/255 28892
/proc/meminfo: memFree=121508172/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=5641228 memory=5349708 CPUtime=59.03 cores=5,7
/proc/28879/stat : 28879 (fscip) S 28876 28879 28487 0 -1 1077936128 1436794 0 0 0 5632 271 0 0 20 0 3 0 4465748 5776617472 1337427 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 1410307 1337427 2966 3035 0 1391087 0
[pid=28879/tid=28886] ppid=28876 vsize=5641228 memory=4628748 CPUtime=29.23 cores=5,7
/proc/28879/task/28886/stat : 28886 (fscip) R 28876 28879 28487 0 -1 4194368 895486 0 0 0 2774 149 0 0 20 0 3 0 4468576 5776617472 1337427 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
[pid=28879/tid=28887] ppid=28876 vsize=5641228 memory=11440 CPUtime=0 cores=5,7
/proc/28879/task/28887/stat : 28887 (fscip) S 28876 28879 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4468956 5776617472 1337427 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
Current children cumulated CPU time: 59.03 s
Current children cumulated vsize: 5641228 KiB
Current children cumulated memory: 5349708 KiB

[startup+60.8003 s]
/proc/loadavg: 3.82 1.72 0.71 5/255 28893
/proc/meminfo: memFree=121507220/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=4110480 memory=3877632 CPUtime=60.63 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 1556898 0 0 0 5775 288 0 0 20 0 1 0 4465748 4209131520 969408 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 1027620 969408 2966 3035 0 1002713 0
Current children cumulated CPU time: 60.63 s
Current children cumulated vsize: 4110480 KiB
Current children cumulated memory: 3877632 KiB

[startup+61.6003 s]
/proc/loadavg: 3.82 1.72 0.71 5/253 28893
/proc/meminfo: memFree=122981616/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=4021204 memory=3788356 CPUtime=61.42 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 1668684 0 0 0 5844 298 0 0 20 0 1 0 4465748 4117712896 947089 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 1005301 947089 2966 3035 0 980394 0
Current children cumulated CPU time: 61.42 s
Current children cumulated vsize: 4021204 KiB
Current children cumulated memory: 3788356 KiB

[startup+61.8003 s]
/proc/loadavg: 3.82 1.72 0.71 5/253 28893
/proc/meminfo: memFree=122981616/131655788 swapFree=131071996/131071996
[pid=28879] ppid=28876 vsize=3790940 memory=3558092 CPUtime=61.62 cores=5,7
/proc/28879/stat : 28879 (fscip) R 28876 28879 28487 0 -1 4194304 1670777 0 0 0 5862 300 0 0 20 0 1 0 4465748 3881922560 889523 134679101440 4194304 16623229 140720623784032 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 33701888 140720623793174 140720623793290 140720623793290 140720623800304 0
/proc/28879/statm: 947735 889523 2966 3035 0 922828 0
Current children cumulated CPU time: 61.62 s
Current children cumulated vsize: 3790940 KiB
Current children cumulated memory: 3558092 KiB

[startup+61.9003 s]*
/proc/loadavg: 3.84 1.76 0.72 5/253 28893
/proc/meminfo: memFree=123876924/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 61.9742
CPU time (s): 61.8035
CPU user time (s): 58.7161
CPU system time (s): 3.08739
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 5738116
Max. memory (cumulated for all children) (KiB): 5450616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.7161
system time used= 3.08739
maximum resident set size= 5450616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1675350
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= 69
involuntary context switches= 91


# summary of solver processes directly reported to runsolver:
#   pid: 28879
#   total CPU time (s): 61.8035
#   total CPU user time (s): 58.7161
#   total CPU system time (s): 3.08739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.368589 second user time and 0.619244 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-31 00:31:27
IDJOB=4464319
IDBENCH=147882
IDSOLVER=3092
FILE ID=nodeC005/4464319-1722378687
RUNJOBID= nodeC005-1722378594-28501
SLURM_JOB_ID= 8249835
Free space on /tmp= 723660 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.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-4464319-1722378687/watcher-4464319-1722378687 -o /tmp/evaluation-result-4464319-1722378687/solver-4464319-1722378687 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28501 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464319-1722378687.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=1367756045

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3670.217
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3677.114
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.387
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.249
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3670.115
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1281.120
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.250
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1230.169
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126907552 kB
MemAvailable:   128946728 kB
Buffers:           87580 kB
Cached:          2758736 kB
SwapCached:            0 kB
Active:           251740 kB
Inactive:        4001260 kB
Active(anon):       1468 kB
Inactive(anon):  1426540 kB
Active(file):     250272 kB
Inactive(file):  2574720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             62472 kB
Writeback:             0 kB
AnonPages:       1406596 kB
Mapped:           125320 kB
Shmem:             21320 kB
KReclaimable:     108764 kB
Slab:             191220 kB
SReclaimable:     108764 kB
SUnreclaim:        82456 kB
KernelStack:        4064 kB
PageTables:        12120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1434588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7008 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 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:      187208 kB
DirectMap2M:    14397440 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723632 MiB
End job on nodeC005 at 2024-07-31 00:32:30