Trace number 4486572

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07SAT87024 3586.77 3597.18

General information on the benchmark

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

Verifier Data 

OK	87024

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: 63665 MiB (62594 MiB free)
  memory of node 1: 64507 MiB (63192 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486572-1751319126/watcher-4486572-1751319126 -o /tmp/evaluation-result-4486572-1751319126/solver-4486572-1751319126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43763 --watchdog 3760 pbscip -f HOME/instance-4486572-1751319126.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=44643, runsolver pid=44640
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 5.04 5.08 5.00 5/264 44644
/proc/meminfo: memFree=128773700/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=69824 memory=41984 CPUtime=0.09 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 7539 0 0 0 8 1 0 0 20 0 1 0 47590418 71499776 10496 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 17456 10496 3264 3530 0 8907 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69824 KiB
Current children cumulated memory: 41984 KiB

[startup+0.205496 s]*
/proc/loadavg: 5.04 5.08 5.00 5/264 44644
/proc/meminfo: memFree=128717504/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=132016 memory=103900 CPUtime=0.2 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 22882 0 0 0 17 3 0 0 20 0 1 0 47590418 135184384 25975 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 33004 25975 3616 3530 0 24455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132016 KiB
Current children cumulated memory: 103900 KiB

[startup+0.305415 s]*
/proc/loadavg: 5.04 5.08 5.00 5/264 44644
/proc/meminfo: memFree=128693184/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=154912 memory=121492 CPUtime=0.29 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 25227 0 0 0 26 3 0 0 20 0 1 0 47590418 158629888 30373 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 38728 30373 3616 3530 0 30179 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 154912 KiB
Current children cumulated memory: 121492 KiB

[startup+0.700173 s]
/proc/loadavg: 5.04 5.08 5.00 5/264 44644
/proc/meminfo: memFree=128656576/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=185228 memory=157080 CPUtime=0.68 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 40549 0 0 0 62 6 0 0 20 0 1 0 47590418 189673472 39270 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 46307 39270 3808 3530 0 37758 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 185228 KiB
Current children cumulated memory: 157080 KiB

[startup+1.50017 s]
/proc/loadavg: 5.04 5.08 5.00 5/264 44644
/proc/meminfo: memFree=128632668/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=200712 memory=172184 CPUtime=1.48 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 43800 0 0 0 142 6 0 0 20 0 1 0 47590418 205529088 43014 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 50178 43014 3808 3530 0 41629 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 200712 KiB
Current children cumulated memory: 172184 KiB

[startup+3.10486 s]
/proc/loadavg: 5.04 5.07 5.00 5/264 44644
/proc/meminfo: memFree=128414476/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=468016 memory=396468 CPUtime=3.08 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 73501 0 0 0 295 13 0 0 20 0 1 0 47590418 479248384 99117 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 117004 99117 3968 3530 0 108455 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 468016 KiB
Current children cumulated memory: 396468 KiB

[startup+6.30015 s]
/proc/loadavg: 5.04 5.07 5.00 5/264 44644
/proc/meminfo: memFree=128414740/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=468016 memory=396468 CPUtime=6.27 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 73508 0 0 0 614 13 0 0 20 0 1 0 47590418 479248384 99117 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 117004 99117 3968 3530 0 108455 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 468016 KiB
Current children cumulated memory: 396468 KiB

[startup+12.7001 s]
/proc/loadavg: 4.88 5.04 4.99 5/264 44644
/proc/meminfo: memFree=128415244/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=468016 memory=396468 CPUtime=12.65 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 73514 0 0 0 1252 13 0 0 20 0 1 0 47590418 479248384 99117 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 117004 99117 3968 3530 0 108455 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 468016 KiB
Current children cumulated memory: 396468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.74 5.00 4.98 5/264 44644
/proc/meminfo: memFree=128415752/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=468016 memory=396596 CPUtime=25.41 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 73515 0 0 0 2528 13 0 0 20 0 1 0 47590418 479248384 99149 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 117004 99149 4000 3530 0 108455 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 468016 KiB
Current children cumulated memory: 396596 KiB

[startup+51.1046 s]
/proc/loadavg: 4.57 4.94 4.96 5/265 44646
/proc/meminfo: memFree=128404660/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=487020 memory=410984 CPUtime=50.94 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 76087 0 0 0 5081 13 0 0 20 0 1 0 47590418 498708480 102746 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 121755 102746 4000 3530 0 113206 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 487020 KiB
Current children cumulated memory: 410984 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.80 4.90 5/264 44648
/proc/meminfo: memFree=128392360/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=512464 memory=420600 CPUtime=102 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 77497 0 0 0 10186 14 0 0 20 0 1 0 47590418 524763136 105150 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 128116 105150 4000 3530 0 119567 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 512464 KiB
Current children cumulated memory: 420600 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.66 4.85 5/263 44650
/proc/meminfo: memFree=128344080/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=533784 memory=425396 CPUtime=161.84 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 78178 0 0 0 16170 14 0 0 20 0 1 0 47590418 546594816 106349 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 133446 106349 4000 3530 0 124897 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 533784 KiB
Current children cumulated memory: 425396 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.56 4.80 5/264 44653
/proc/meminfo: memFree=128338868/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=533784 memory=425396 CPUtime=221.67 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 78190 0 0 0 22153 14 0 0 20 0 1 0 47590418 546594816 106349 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 133446 106349 4000 3530 0 124897 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 533784 KiB
Current children cumulated memory: 425396 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.47 4.75 5/264 44657
/proc/meminfo: memFree=128271340/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=602012 memory=492980 CPUtime=281.5 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 95119 0 0 0 28133 17 0 0 20 0 1 0 47590418 616460288 123245 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 150503 123245 4000 3530 0 141954 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 602012 KiB
Current children cumulated memory: 492980 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.40 4.71 5/264 44659
/proc/meminfo: memFree=128254348/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=602012 memory=492980 CPUtime=341.33 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 95133 0 0 0 34116 17 0 0 20 0 1 0 47590418 616460288 123245 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 150503 123245 4000 3530 0 141954 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 602012 KiB
Current children cumulated memory: 492980 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.34 4.67 5/263 44665
/proc/meminfo: memFree=128254000/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=602012 memory=493108 CPUtime=401.16 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 95143 0 0 0 40099 17 0 0 20 0 1 0 47590418 616460288 123277 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 150503 123277 4000 3530 0 141954 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 602012 KiB
Current children cumulated memory: 493108 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.29 4.63 5/263 44667
/proc/meminfo: memFree=128205700/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=637352 memory=527604 CPUtime=461 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 105753 0 0 0 46080 20 0 0 20 0 1 0 47590418 652648448 131901 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 159338 131901 4000 3530 0 150789 0
Current children cumulated CPU time: 461 s

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

/proc/loadavg: 4.28 4.16 4.14 5/264 46619
/proc/meminfo: memFree=127566948/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=917400 memory=618172 CPUtime=3212.93 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 115917 0 0 0 321256 37 0 0 20 0 1 0 47590418 939417600 154543 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 229350 154543 4000 3530 0 220801 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 917400 KiB
Current children cumulated memory: 618172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/264 46621
/proc/meminfo: memFree=127555624/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=925416 memory=618172 CPUtime=3272.77 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 115921 0 0 0 327240 37 0 0 20 0 1 0 47590418 947625984 154543 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 231354 154543 4000 3530 0 222805 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 925416 KiB
Current children cumulated memory: 618172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/264 46625
/proc/meminfo: memFree=127564656/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=925416 memory=618172 CPUtime=3332.6 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 115921 0 0 0 333223 37 0 0 20 0 1 0 47590418 947625984 154543 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 231354 154543 4000 3530 0 222805 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 925416 KiB
Current children cumulated memory: 618172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/264 46627
/proc/meminfo: memFree=127550572/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=925416 memory=618172 CPUtime=3392.43 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 115922 0 0 0 339206 37 0 0 20 0 1 0 47590418 947625984 154543 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 231354 154543 4000 3530 0 222805 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 925416 KiB
Current children cumulated memory: 618172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/263 46633
/proc/meminfo: memFree=127576332/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=937464 memory=618172 CPUtime=3452.26 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 115926 0 0 0 345189 37 0 0 20 0 1 0 47590418 959963136 154543 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 234366 154543 4000 3530 0 225817 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 937464 KiB
Current children cumulated memory: 618172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/262 46636
/proc/meminfo: memFree=127574556/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=937464 memory=618172 CPUtime=3512.09 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116068 0 0 0 351172 37 0 0 20 0 1 0 47590418 959963136 154543 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 234366 154543 4000 3530 0 225817 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 937464 KiB
Current children cumulated memory: 618172 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/263 46639
/proc/meminfo: memFree=127566356/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3571.92 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 357155 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3571.92 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

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

# cumulated CPU time of all completed processes:  user=3586.4 s, system=0.375901 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.11 4.11 5/263 46639
/proc/meminfo: memFree=127566356/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3573.62 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 357325 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.11 4.11 5/263 46639
/proc/meminfo: memFree=127566356/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3580 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 357963 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3580 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.11 5/263 46639
/proc/meminfo: memFree=127566356/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3583.19 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 358282 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3583.19 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.11 4.11 5/263 46639
/proc/meminfo: memFree=127566364/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3584.79 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 358442 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.11 4.11 5/263 46640
/proc/meminfo: memFree=127566364/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3585.59 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 358522 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.11 5/263 46640
/proc/meminfo: memFree=127566364/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3586.38 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 358601 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3597 s]*
/proc/loadavg: 4.10 4.11 4.11 5/263 46640
/proc/meminfo: memFree=127566364/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=945492 memory=620316 CPUtime=3586.59 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116082 0 0 0 358622 37 0 0 20 0 1 0 47590418 968183808 155079 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 236373 155079 4000 3530 0 227824 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 945492 KiB
Current children cumulated memory: 620316 KiB

[startup+3597.11 s]
/proc/loadavg: 4.10 4.11 4.11 5/263 46640
/proc/meminfo: memFree=127566364/131249996 swapFree=33010416/33010684
[pid=44643] ppid=44640 vsize=940992 memory=615816 CPUtime=3586.69 cores=0,2
/proc/44643/stat : 44643 (pbscip) R 44640 44643 43753 0 -1 4194304 116093 0 0 0 358632 37 0 0 20 0 1 0 47590418 963575808 153954 18446744073709551615 4235264 18693293 140724592272016 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 49528832 140724592273801 140724592273900 140724592273900 140724592279502 0
/proc/44643/statm: 235248 153954 4000 3530 0 226699 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 940992 KiB
Current children cumulated memory: 615816 KiB

Child status: 0

Real time (s): 3597.18
CPU time (s): 3586.77
CPU user time (s): 3586.4
CPU system time (s): 0.375901
CPU usage (%): 99.7106
Max. virtual memory (cumulated for all children) (KiB): 945492
Max. memory (cumulated for all children) (KiB): 620316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.4
system time used= 0.375901
maximum resident set size= 620316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116141
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= 118
involuntary context switches= 7861


# summary of solver processes directly reported to runsolver:
#   pid: 44643
#   total CPU time (s): 3586.77
#   total CPU user time (s): 3586.4
#   total CPU system time (s): 0.375901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63683 second user time and 14.6065 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 23:32:07
IDJOB=4486572
IDBENCH=147023
IDSOLVER=3365
FILE ID=nodeC022/4486572-1751319126
RUNJOBID= nodeC022-1751313715-43763
SLURM_JOB_ID= 9594316
Free space on /tmp= 433000 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486572-1751319126/watcher-4486572-1751319126 -o /tmp/evaluation-result-4486572-1751319126/solver-4486572-1751319126 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43763 --watchdog 3760  pbscip -f HOME/instance-4486572-1751319126.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=836481741

nodeC022 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		: 3599.673
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	: 6999.44
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.716
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	: 6999.44
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		: 3598.244
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	: 6999.44
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		: 3599.831
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	: 6999.44
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		: 3599.711
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	: 6999.44
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		: 3599.755
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	: 6999.44
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.159
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	: 6999.44
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		: 3612.682
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	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128805944 kB
MemAvailable:   128579540 kB
Buffers:            2128 kB
Cached:           577384 kB
SwapCached:           32 kB
Active:          1582036 kB
Inactive:         251540 kB
Active(anon):    1267928 kB
Inactive(anon):     4196 kB
Active(file):     314108 kB
Inactive(file):   247344 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21412 kB
Writeback:           160 kB
AnonPages:       1252884 kB
Mapped:           138504 kB
Shmem:             18028 kB
KReclaimable:     102364 kB
Slab:             189356 kB
SReclaimable:     102364 kB
SUnreclaim:        86992 kB
KernelStack:        4252 kB
PageTables:         5832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1768144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1118208 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC022 at 2025-07-01 00:32:04