Trace number 4494174

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
SCIP 2024-07-07SAT 33.143 33.2314

General information on the benchmark

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

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: 63708 MiB (62725 MiB free)
  memory of node 1: 64465 MiB (63034 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494174-1751148522/watcher-4494174-1751148522 -o /tmp/evaluation-result-4494174-1751148522/solver-4494174-1751148522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14145 --watchdog 3760 pbscip -f HOME/instance-4494174-1751148522.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=16337, runsolver pid=16334
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=128778380/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=68156 memory=40320 CPUtime=0.09 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 7151 0 0 0 8 1 0 0 20 0 1 0 30528796 69791744 10080 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 17039 10080 3232 3530 0 8490 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68156 KiB
Current children cumulated memory: 40320 KiB

[startup+0.205497 s]*
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=128778380/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=92448 memory=64128 CPUtime=0.2 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 13096 0 0 0 18 2 0 0 20 0 1 0 30528796 94666752 16032 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 23112 16032 3232 3530 0 14563 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92448 KiB
Current children cumulated memory: 64128 KiB

[startup+0.305446 s]*
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=128778380/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=115600 memory=87040 CPUtime=0.29 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 18837 0 0 0 27 2 0 0 20 0 1 0 30528796 118374400 21760 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 28900 21760 3232 3530 0 20351 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115600 KiB
Current children cumulated memory: 87040 KiB

[startup+0.700168 s]
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=128762504/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=202196 memory=173692 CPUtime=0.68 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 39972 0 0 0 62 6 0 0 20 0 1 0 30528796 207048704 43423 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 50549 43423 3232 3530 0 42000 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 202196 KiB
Current children cumulated memory: 173692 KiB

[startup+1.50017 s]
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=128650616/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=374604 memory=345936 CPUtime=1.49 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 81012 0 0 0 136 13 0 0 20 0 1 0 30528796 383594496 86484 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 93651 86484 3232 3530 0 85102 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 374604 KiB
Current children cumulated memory: 345936 KiB

[startup+3.10543 s]
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=128073788/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=964640 memory=937048 CPUtime=3.08 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 213215 0 0 0 275 33 0 0 20 0 1 0 30528796 987791360 234262 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 241160 234262 3488 3530 0 232611 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 964640 KiB
Current children cumulated memory: 937048 KiB

[startup+6.30017 s]
/proc/loadavg: 4.22 4.16 4.07 5/266 16338
/proc/meminfo: memFree=127147148/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=1914140 memory=1879340 CPUtime=6.26 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 320521 0 0 0 560 66 0 0 20 0 1 0 30528796 1960079360 469835 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 478535 469835 3680 3530 0 469986 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1914140 KiB
Current children cumulated memory: 1879340 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.07 5/266 16338
/proc/meminfo: memFree=126887576/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=1924028 memory=1888288 CPUtime=12.66 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 402749 0 0 0 1183 83 0 0 20 0 1 0 30528796 1970204672 472072 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 481007 472072 3744 3530 0 472458 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1924028 KiB
Current children cumulated memory: 1888288 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=126544160/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=2920920 memory=2804352 CPUtime=25.42 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 421457 0 0 0 2441 101 0 0 20 0 1 0 30528796 2991022080 701088 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 730230 701088 3744 3530 0 721681 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2920920 KiB
Current children cumulated memory: 2804352 KiB

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

# cumulated CPU time of all completed processes:  user=31.6968 s, system=1.4462 s

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

[startup+25.6002 s]
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=126544160/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=2970396 memory=2804352 CPUtime=25.52 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 421458 0 0 0 2451 101 0 0 20 0 1 0 30528796 3041685504 701088 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 742599 701088 3744 3530 0 734050 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2970396 KiB
Current children cumulated memory: 2804352 KiB

[startup+28.8001 s]
/proc/loadavg: 4.24 4.17 4.07 5/266 16338
/proc/meminfo: memFree=126192924/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=3032988 memory=2857752 CPUtime=28.72 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 436944 0 0 0 2766 106 0 0 20 0 1 0 30528796 3105779712 714438 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 758247 714438 3744 3530 0 749698 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 3032988 KiB
Current children cumulated memory: 2857752 KiB

[startup+30.4002 s]
/proc/loadavg: 4.22 4.17 4.07 5/266 16339
/proc/meminfo: memFree=125789732/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=3686988 memory=3525652 CPUtime=30.31 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 549775 0 0 0 2905 126 0 0 20 0 1 0 30528796 3775475712 881413 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 921747 881413 3808 3530 0 913198 0
Current children cumulated CPU time: 30.31 s
Current children cumulated vsize: 3686988 KiB
Current children cumulated memory: 3525652 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.22 4.17 4.07 5/266 16339
/proc/meminfo: memFree=125381428/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=3848188 memory=3673468 CPUtime=31.91 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 564611 0 0 0 3056 135 0 0 20 0 1 0 30528796 3940544512 918367 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 962047 918367 3904 3530 0 953498 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 3848188 KiB
Current children cumulated memory: 3673468 KiB

[startup+32.8001 s]
/proc/loadavg: 4.22 4.17 4.07 5/266 16339
/proc/meminfo: memFree=125381428/131250000 swapFree=33010684/33010684
[pid=16337] ppid=16334 vsize=3848188 memory=3673468 CPUtime=32.7 cores=1,3
/proc/16337/stat : 16337 (pbscip) R 16334 16337 14133 0 -1 4194304 564616 0 0 0 3135 135 0 0 20 0 1 0 30528796 3940544512 918367 18446744073709551615 4235264 18693293 140725655938656 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50216960 140725655943561 140725655943660 140725655943660 140725655949262 0
/proc/16337/statm: 962047 918367 3904 3530 0 953498 0
Current children cumulated CPU time: 32.7 s
Current children cumulated vsize: 3848188 KiB
Current children cumulated memory: 3673468 KiB

[startup+33.2002 s]*
/proc/loadavg: 4.20 4.16 4.07 5/266 16339
/proc/meminfo: memFree=127253064/131250000 swapFree=33010684/33010684
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): 33.2314
CPU time (s): 33.143
CPU user time (s): 31.6968
CPU system time (s): 1.4462
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 3884540
Max. memory (cumulated for all children) (KiB): 3726592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.6968
system time used= 1.4462
maximum resident set size= 3779072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564624
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= 80
involuntary context switches= 83


# summary of solver processes directly reported to runsolver:
#   pid: 16337
#   total CPU time (s): 33.143
#   total CPU user time (s): 31.6968
#   total CPU system time (s): 1.4462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061865 second user time and 0.183293 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-06-29 00:08:42
IDJOB=4494174
IDBENCH=147883
IDSOLVER=3365
FILE ID=nodeC014/4494174-1751148522
RUNJOBID= nodeC014-1751144686-14145
SLURM_JOB_ID= 9587442
Free space on /tmp= 432924 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494174-1751148522/watcher-4494174-1751148522 -o /tmp/evaluation-result-4494174-1751148522/solver-4494174-1751148522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751144686-14145 --watchdog 3760  pbscip -f HOME/instance-4494174-1751148522.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= a13baf32d9ef8d04301e73a4b88257d0
RANDOM SEED=1850404772

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.135
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3599.729
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3602.123
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.979
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.122
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.168
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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.281
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3579.632
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128778568 kB
MemAvailable:   128472056 kB
Buffers:            3280 kB
Cached:           504908 kB
SwapCached:            0 kB
Active:          1224864 kB
Inactive:         295548 kB
Active(anon):    1030296 kB
Inactive(anon):        0 kB
Active(file):     194568 kB
Inactive(file):   295548 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52820 kB
Writeback:             0 kB
AnonPages:       1012876 kB
Mapped:           138468 kB
Shmem:             18068 kB
KReclaimable:      85220 kB
Slab:             167864 kB
SReclaimable:      85220 kB
SUnreclaim:        82644 kB
KernelStack:        4288 kB
PageTables:         5148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1434160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    780288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432908 MiB
End job on nodeC014 at 2025-06-29 00:09:15