Trace number 4464321

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 65.8174 66.2917

General information on the benchmark

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464321-1722378731/watcher-4464321-1722378731 -o /tmp/evaluation-result-4464321-1722378731/solver-4464321-1722378731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464321-1722378731.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
solver pid=30384, runsolver pid=30381
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 3.81 1.58 0.65 5/266 30385
/proc/meminfo: memFree=121326688/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=52968 memory=41240 CPUtime=0.09 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 8180 0 0 0 8 1 0 0 20 0 1 0 4474836 54239232 10310 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 13242 10310 2347 3035 0 9638 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52968 KiB
Current children cumulated memory: 41240 KiB

[startup+0.205686 s]*
/proc/loadavg: 3.81 1.58 0.65 5/266 30385
/proc/meminfo: memFree=121297932/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=81920 memory=68664 CPUtime=0.2 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 15054 0 0 0 17 3 0 0 20 0 1 0 4474836 83886080 17166 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 20480 17166 2347 3035 0 16876 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81920 KiB
Current children cumulated memory: 68664 KiB

[startup+0.305628 s]*
/proc/loadavg: 3.81 1.58 0.65 5/266 30385
/proc/meminfo: memFree=121271240/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=108420 memory=95836 CPUtime=0.3 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 21876 0 0 0 26 4 0 0 20 0 1 0 4474836 111022080 23959 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 27105 23959 2347 3035 0 23501 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108420 KiB
Current children cumulated memory: 95836 KiB

[startup+0.700223 s]
/proc/loadavg: 3.81 1.58 0.65 5/266 30385
/proc/meminfo: memFree=121219496/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=210004 memory=197448 CPUtime=0.69 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 46754 0 0 0 61 8 0 0 20 0 1 0 4474836 215044096 49362 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 52501 49362 2347 3035 0 48897 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 210004 KiB
Current children cumulated memory: 197448 KiB

[startup+1.50021 s]
/proc/loadavg: 3.82 1.62 0.66 5/266 30385
/proc/meminfo: memFree=121089148/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=414348 memory=401772 CPUtime=1.48 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 95774 0 0 0 133 15 0 0 20 0 1 0 4474836 424292352 100443 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 103587 100443 2347 3035 0 99983 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 414348 KiB
Current children cumulated memory: 401772 KiB

[startup+3.10558 s]
/proc/loadavg: 3.82 1.62 0.66 5/266 30385
/proc/meminfo: memFree=120344824/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=1063200 memory=1051872 CPUtime=3.08 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 230520 0 0 0 269 39 0 0 20 0 1 0 4474836 1088716800 262968 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 265800 262968 2539 3035 0 262196 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1063200 KiB
Current children cumulated memory: 1051872 KiB

[startup+6.30022 s]
/proc/loadavg: 3.84 1.66 0.68 5/266 30386
/proc/meminfo: memFree=119474056/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=2006792 memory=1987080 CPUtime=6.27 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 327445 0 0 0 553 74 0 0 20 0 1 0 4474836 2054955008 496770 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 501698 496770 2710 3035 0 498094 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2006792 KiB
Current children cumulated memory: 1987080 KiB

[startup+12.7002 s]
/proc/loadavg: 3.85 1.70 0.70 5/266 30386
/proc/meminfo: memFree=119487368/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=1890668 memory=1870600 CPUtime=12.63 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 404474 0 0 0 1174 89 0 0 20 0 1 0 4474836 1936044032 467650 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 472667 467650 2726 3035 0 469063 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1890668 KiB
Current children cumulated memory: 1870600 KiB

[startup+25.5002 s]
/proc/loadavg: 3.87 1.77 0.74 5/266 30389
/proc/meminfo: memFree=119271612/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=2169984 memory=2084620 CPUtime=25.38 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 408004 0 0 0 2444 94 0 0 20 0 1 0 4474836 2222063616 521155 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 542496 521155 2758 3035 0 538892 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2169984 KiB
Current children cumulated memory: 2084620 KiB

[startup+51.1057 s]
/proc/loadavg: 3.92 1.99 0.84 5/268 30394
/proc/meminfo: memFree=116983336/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=4611364 memory=4367780 CPUtime=50.77 cores=0,2
/proc/30384/stat : 30384 (fscip) S 30381 30384 29413 0 -1 1077936128 1044445 0 0 0 4874 203 0 0 20 0 3 0 4474836 4722036736 1091945 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1152841 1091945 2790 3035 0 1125576 0
[pid=30384/tid=30390] ppid=30381 vsize=4611364 memory=4367624 CPUtime=18.27 cores=0,2
/proc/30384/task/30390/stat : 30390 (fscip) R 30381 30384 29413 0 -1 4194368 464743 0 0 0 1749 78 0 0 20 0 3 0 4477901 4722036736 1091945 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
[pid=30384/tid=30393] ppid=30381 vsize=4611364 memory=4367624 CPUtime=0 cores=0,2
/proc/30384/task/30393/stat : 30393 (fscip) S 30381 30384 29413 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4478253 4722036736 1091945 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 4611364 KiB
Current children cumulated memory: 4367780 KiB

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

# cumulated CPU time of all completed processes:  user=63.0563 s, system=2.76108 s

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

[startup+51.2007 s]
/proc/loadavg: 3.92 1.99 0.84 5/268 30394
/proc/meminfo: memFree=116983336/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=4611364 memory=4367780 CPUtime=50.86 cores=0,2
/proc/30384/stat : 30384 (fscip) S 30381 30384 29413 0 -1 1077936128 1044458 0 0 0 4883 203 0 0 20 0 3 0 4474836 4722036736 1091945 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1152841 1091945 2790 3035 0 1125576 0
[pid=30384/tid=30390] ppid=30381 vsize=4611364 memory=4068056 CPUtime=18.37 cores=0,2
/proc/30384/task/30390/stat : 30390 (fscip) R 30381 30384 29413 0 -1 4194368 464756 0 0 0 1759 78 0 0 20 0 3 0 4477901 4722036736 1091945 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
[pid=30384/tid=30393] ppid=30381 vsize=4611364 memory=1904 CPUtime=0 cores=0,2
/proc/30384/task/30393/stat : 30393 (fscip) S 30381 30384 29413 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4478253 4722036736 1091945 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 4611364 KiB
Current children cumulated memory: 4367780 KiB

[startup+57.6007 s]
/proc/loadavg: 3.93 2.02 0.86 5/268 30396
/proc/meminfo: memFree=116669664/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=4988992 memory=4680944 CPUtime=57.2 cores=0,2
/proc/30384/stat : 30384 (fscip) S 30381 30384 29413 0 -1 1077936128 1160447 0 0 0 5503 217 0 0 20 0 3 0 4474836 5108727808 1170236 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1247248 1170236 2790 3035 0 1219983 0
[pid=30384/tid=30390] ppid=30381 vsize=4988992 memory=11480 CPUtime=24.71 cores=0,2
/proc/30384/task/30390/stat : 30390 (fscip) R 30381 30384 29413 0 -1 4194368 580745 0 0 0 2378 93 0 0 20 0 3 0 4477901 5108727808 1170236 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
[pid=30384/tid=30393] ppid=30381 vsize=4988992 memory=12840 CPUtime=0 cores=0,2
/proc/30384/task/30393/stat : 30393 (fscip) S 30381 30384 29413 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4478253 5108727808 1170236 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
Current children cumulated CPU time: 57.2 s
Current children cumulated vsize: 4988992 KiB
Current children cumulated memory: 4680944 KiB

[startup+60.8007 s]
/proc/loadavg: 3.93 2.02 0.86 5/268 30397
/proc/meminfo: memFree=116669300/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=5185600 memory=4933464 CPUtime=60.37 cores=0,2
/proc/30384/stat : 30384 (fscip) S 30381 30384 29413 0 -1 1077936128 1268892 0 0 0 5808 229 0 0 20 0 3 0 4474836 5310054400 1233366 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1296400 1233366 2806 3035 0 1283120 0
[pid=30384/tid=30390] ppid=30381 vsize=5185600 memory=13616 CPUtime=27.88 cores=0,2
/proc/30384/task/30390/stat : 30390 (fscip) R 30381 30384 29413 0 -1 4194368 689188 0 0 0 2683 105 0 0 20 0 3 0 4477901 5310054400 1233366 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
[pid=30384/tid=30393] ppid=30381 vsize=5185600 memory=4680944 CPUtime=0 cores=0,2
/proc/30384/task/30393/stat : 30393 (fscip) S 30381 30384 29413 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4478253 5310054400 1233366 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
Current children cumulated CPU time: 60.37 s
Current children cumulated vsize: 5185600 KiB
Current children cumulated memory: 4933464 KiB

[startup+64.0007 s]*
/proc/loadavg: 3.94 2.06 0.88 5/268 30397
/proc/meminfo: memFree=115640628/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=5650640 memory=5379904 CPUtime=63.53 cores=0,2
/proc/30384/stat : 30384 (fscip) S 30381 30384 29413 0 -1 1077936128 1443351 0 0 0 6100 253 0 0 20 0 3 0 4474836 5786255360 1344976 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1412660 1344976 2966 3035 0 1396718 0
[pid=30384/tid=30390] ppid=30381 vsize=5650640 memory=4568 CPUtime=31.05 cores=0,2
/proc/30384/task/30390/stat : 30390 (fscip) R 30381 30384 29413 0 -1 4194368 863158 0 0 0 2976 129 0 0 20 0 3 0 4477901 5786255360 1344976 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
[pid=30384/tid=30393] ppid=30381 vsize=5650640 memory=-7452449699976537464 CPUtime=0 cores=0,2
/proc/30384/task/30393/stat : 30393 (fscip) S 30381 30384 29413 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4478253 5786255360 1344976 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
Current children cumulated CPU time: 63.53 s
Current children cumulated vsize: 5650640 KiB
Current children cumulated memory: 5379904 KiB

[startup+65.6002 s]
/proc/loadavg: 3.94 2.06 0.88 5/268 30398
/proc/meminfo: memFree=115776500/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=4250912 memory=4074492 CPUtime=65.11 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 1632525 0 0 0 6247 264 0 0 20 0 1 0 4474836 4352933888 1018623 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1062728 1018623 2966 3035 0 1051284 0
Current children cumulated CPU time: 65.11 s
Current children cumulated vsize: 4250912 KiB
Current children cumulated memory: 4074492 KiB

[startup+66.0002 s]*
/proc/loadavg: 3.94 2.09 0.89 5/266 30398
/proc/meminfo: memFree=117142732/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=4052720 memory=3876300 CPUtime=65.52 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 1665647 0 0 0 6285 267 0 0 20 0 1 0 4474836 4149985280 969075 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 1013180 969075 2966 3035 0 1001736 0
Current children cumulated CPU time: 65.52 s
Current children cumulated vsize: 4052720 KiB
Current children cumulated memory: 3876300 KiB

[startup+66.2002 s]
/proc/loadavg: 3.94 2.09 0.89 5/266 30398
/proc/meminfo: memFree=117142732/131524600 swapFree=131071996/131071996
[pid=30384] ppid=30381 vsize=3823740 memory=3647320 CPUtime=65.72 cores=0,2
/proc/30384/stat : 30384 (fscip) R 30381 30384 29413 0 -1 4194304 1667621 0 0 0 6304 268 0 0 20 0 1 0 4474836 3915509760 911830 134679101440 4194304 16623229 140722365692656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 50507776 140722365699094 140722365699210 140722365699210 140722365706224 0
/proc/30384/statm: 955935 911830 2966 3035 0 944491 0
Current children cumulated CPU time: 65.72 s
Current children cumulated vsize: 3823740 KiB
Current children cumulated memory: 3647320 KiB

Child status: 0

Real time (s): 66.2917
CPU time (s): 65.8174
CPU user time (s): 63.0563
CPU system time (s): 2.76108
CPU usage (%): 99.2845
Max. virtual memory (cumulated for all children) (KiB): 5747528
Max. memory (cumulated for all children) (KiB): 5471404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.0563
system time used= 2.76108
maximum resident set size= 5512472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1671245
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= 65
involuntary context switches= 642


# summary of solver processes directly reported to runsolver:
#   pid: 30384
#   total CPU time (s): 65.8174
#   total CPU user time (s): 63.0563
#   total CPU system time (s): 2.76108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.139649 second user time and 0.331637 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-31 00:32:11
IDJOB=4464321
IDBENCH=147889
IDSOLVER=3092
FILE ID=nodeC031/4464321-1722378731
RUNJOBID= nodeC031-1722378597-29423
SLURM_JOB_ID= 8249854
Free space on /tmp= 889940 MiB

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

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

MD5SUM BENCH= 83145cb85d026c8624ca6bfbca5bd154
RANDOM SEED=1025625710

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.826
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.95
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		: 3687.699
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	: 7007.12
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		: 3671.865
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.95
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.200
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	: 7007.12
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		: 3670.078
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.95
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		: 3687.723
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	: 7007.12
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.746
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.95
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.205
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	: 7007.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121357508 kB
MemAvailable:   125427984 kB
Buffers:           85236 kB
Cached:          4815032 kB
SwapCached:            0 kB
Active:           280216 kB
Inactive:        9393996 kB
Active(anon):       1572 kB
Inactive(anon):  4793712 kB
Active(file):     278644 kB
Inactive(file):  4600284 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             62180 kB
Writeback:             0 kB
AnonPages:       4772000 kB
Mapped:           123384 kB
Shmem:             21336 kB
KReclaimable:      62392 kB
Slab:             143500 kB
SReclaimable:      62392 kB
SUnreclaim:        81108 kB
KernelStack:        4320 kB
PageTables:        18716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3263236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1091584 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:      236244 kB
DirectMap2M:     8974336 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889912 MiB
End job on nodeC031 at 2024-07-31 00:33:18