Trace number 4432616

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.99 3597.19

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432616-1721071420/watcher-4432616-1721071420 -o /tmp/evaluation-result-4432616-1721071420/solver-4432616-1721071420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807174 --watchdog 3760 pbscip -f HOME/instance-4432616-1721071420.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100263 s]*
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126792720/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=70340 memory=30100 CPUtime=0.1 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 4534 0 0 0 9 1 0 0 20 0 1 0 159299016 72028160 7525 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 17585 7525 3281 3540 0 5842 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70340 KiB
Current children cumulated memory: 30100 KiB

[startup+0.213787 s]*
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126752600/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=78076 memory=37344 CPUtime=0.21 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 6387 0 0 0 20 1 0 0 20 0 1 0 159299016 79949824 9336 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 19519 9336 3281 3540 0 7776 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78076 KiB
Current children cumulated memory: 37344 KiB

[startup+0.313237 s]*
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126728904/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=85240 memory=44456 CPUtime=0.31 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 8159 0 0 0 29 2 0 0 20 0 1 0 159299016 87285760 11114 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 21310 11114 3281 3540 0 9567 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85240 KiB
Current children cumulated memory: 44456 KiB

[startup+0.700361 s]
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126663064/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=157016 memory=112196 CPUtime=0.69 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 24405 0 0 0 61 8 0 0 20 0 1 0 159299016 160784384 28049 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 39254 28049 3649 3540 0 27511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157016 KiB
Current children cumulated memory: 112196 KiB

[startup+1.5003 s]
/proc/loadavg: 1.16 1.16 1.83 5/247 807239
/proc/meminfo: memFree=126634828/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=198932 memory=157772 CPUtime=1.48 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 45895 0 0 0 134 14 0 0 20 0 1 0 159299016 203706368 39443 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 49733 39443 3808 3540 0 37990 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 198932 KiB
Current children cumulated memory: 157772 KiB

[startup+3.11293 s]
/proc/loadavg: 1.16 1.16 1.83 5/247 807285
/proc/meminfo: memFree=126286328/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=472184 memory=389748 CPUtime=3.08 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 75433 0 0 0 288 20 0 0 20 0 1 0 159299016 483516416 97437 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 118046 97437 3872 3540 0 106303 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 472184 KiB
Current children cumulated memory: 389748 KiB

[startup+6.30029 s]
/proc/loadavg: 1.47 1.22 1.85 5/247 807285
/proc/meminfo: memFree=126061996/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=480784 memory=398756 CPUtime=6.27 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 76732 0 0 0 606 21 0 0 20 0 1 0 159299016 492322816 99689 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 120196 99689 3888 3540 0 108453 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 480784 KiB
Current children cumulated memory: 398756 KiB

[startup+12.7003 s]
/proc/loadavg: 1.67 1.27 1.86 5/247 807289
/proc/meminfo: memFree=125999400/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=480784 memory=398756 CPUtime=12.65 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 76746 0 0 0 1244 21 0 0 20 0 1 0 159299016 492322816 99689 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 120196 99689 3888 3540 0 108453 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 480784 KiB
Current children cumulated memory: 398756 KiB

[startup+25.5003 s]
/proc/loadavg: 2.19 1.40 1.89 5/247 807290
/proc/meminfo: memFree=125905084/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=480784 memory=399272 CPUtime=25.42 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 76768 0 0 0 2521 21 0 0 20 0 1 0 159299016 492322816 99818 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 120196 99818 3984 3540 0 108453 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 480784 KiB
Current children cumulated memory: 399272 KiB

[startup+51.1127 s]
/proc/loadavg: 2.88 1.63 1.96 5/247 807295
/proc/meminfo: memFree=125855024/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=498640 memory=412352 CPUtime=50.97 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 79549 0 0 0 5075 22 0 0 20 0 1 0 159299016 510607360 103088 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 124660 103088 4000 3540 0 112917 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 498640 KiB
Current children cumulated memory: 412352 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.01 2.07 5/247 807304
/proc/meminfo: memFree=125680024/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=526408 memory=422080 CPUtime=102.03 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 80461 0 0 0 10181 22 0 0 20 0 1 0 159299016 539041792 105520 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 131602 105520 4000 3540 0 119859 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 526408 KiB
Current children cumulated memory: 422080 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.41 2.20 5/248 807699
/proc/meminfo: memFree=125552196/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=545400 memory=424628 CPUtime=161.88 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 81153 0 0 0 16166 22 0 0 20 0 1 0 159299016 558489600 106157 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 136350 106157 4000 3540 0 124607 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 545400 KiB
Current children cumulated memory: 424628 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.73 2.33 5/248 807710
/proc/meminfo: memFree=125441120/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=545400 memory=424628 CPUtime=221.73 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 81164 0 0 0 22151 22 0 0 20 0 1 0 159299016 558489600 106157 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 136350 106157 4000 3540 0 124607 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 545400 KiB
Current children cumulated memory: 424628 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.98 2.44 5/248 807720
/proc/meminfo: memFree=125233048/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=614784 memory=495584 CPUtime=281.59 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 98371 0 0 0 28134 25 0 0 20 0 1 0 159299016 629538816 123896 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 153696 123896 4016 3540 0 141953 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 614784 KiB
Current children cumulated memory: 495584 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.55 5/245 807899
/proc/meminfo: memFree=125114588/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=614784 memory=495584 CPUtime=341.43 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 98382 0 0 0 34118 25 0 0 20 0 1 0 159299016 629538816 123896 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 153696 123896 4016 3540 0 141953 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 614784 KiB
Current children cumulated memory: 495584 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.36 2.65 5/245 807909
/proc/meminfo: memFree=124998276/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=614784 memory=495708 CPUtime=401.28 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 98403 0 0 0 40103 25 0 0 20 0 1 0 159299016 629538816 123927 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 153696 123927 4016 3540 0 141953 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 614784 KiB
Current children cumulated memory: 495708 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.74 5/244 807977
/proc/meminfo: memFree=124869996/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=650108 memory=530260 CPUtime=461.14 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 110553 0 0 0 46086 28 0 0 20 0 1 0 159299016 665710592 132565 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 162527 132565 4016 3540 0 150784 0

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

/proc/loadavg: 4.88 4.55 4.27 5/241 809041
/proc/meminfo: memFree=122519464/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=930076 memory=604136 CPUtime=3213.2 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 126233 0 0 0 321290 30 0 0 20 0 1 0 159299016 952397824 151034 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 232519 151034 4026 3540 0 220776 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 930076 KiB
Current children cumulated memory: 604136 KiB

[startup+3282.3 s]
/proc/loadavg: 4.48 4.49 4.27 5/241 809051
/proc/meminfo: memFree=122443304/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=934084 memory=604144 CPUtime=3273.02 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 126380 0 0 0 327272 30 0 0 20 0 1 0 159299016 956502016 151036 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 233521 151036 4026 3540 0 221778 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 934084 KiB
Current children cumulated memory: 604144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.42 4.26 5/241 809061
/proc/meminfo: memFree=122340324/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=934084 memory=604144 CPUtime=3332.84 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 126533 0 0 0 333254 30 0 0 20 0 1 0 159299016 956502016 151036 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 233521 151036 4026 3540 0 221778 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 934084 KiB
Current children cumulated memory: 604144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.35 4.25 5/241 809071
/proc/meminfo: memFree=122282660/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=946132 memory=604144 CPUtime=3392.66 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 126686 0 0 0 339236 30 0 0 20 0 1 0 159299016 968839168 151036 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 236533 151036 4026 3540 0 224790 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 946132 KiB
Current children cumulated memory: 604144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.33 4.25 5/243 809086
/proc/meminfo: memFree=122189636/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=946804 memory=604156 CPUtime=3452.49 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 126849 0 0 0 345218 31 0 0 20 0 1 0 159299016 969527296 151039 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 236701 151039 4026 3540 0 224958 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 946804 KiB
Current children cumulated memory: 604156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.30 4.24 5/243 809096
/proc/meminfo: memFree=122144148/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=954160 memory=604176 CPUtime=3512.32 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 127016 0 0 0 351201 31 0 0 20 0 1 0 159299016 977059840 151044 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 238540 151044 4026 3540 0 226797 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 954160 KiB
Current children cumulated memory: 604176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.27 4.23 5/243 809106
/proc/meminfo: memFree=122054892/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=965288 memory=607412 CPUtime=3572.14 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128002 0 0 0 357183 31 0 0 20 0 1 0 159299016 988454912 151853 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241322 151853 4026 3540 0 229579 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 965288 KiB
Current children cumulated memory: 607412 KiB

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

# cumulated CPU time of all completed processes:  user=3586.67 s, system=0.317693 s

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

[startup+3584 s]*
/proc/loadavg: 4.17 4.27 4.23 5/243 809106
/proc/meminfo: memFree=122054920/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=965288 memory=607412 CPUtime=3573.84 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128003 0 0 0 357353 31 0 0 20 0 1 0 159299016 988454912 151853 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241322 151853 4026 3540 0 229579 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 965288 KiB
Current children cumulated memory: 607412 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122053828/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=965288 memory=607412 CPUtime=3580.21 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128015 0 0 0 357990 31 0 0 20 0 1 0 159299016 988454912 151853 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241322 151853 4026 3540 0 229579 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 965288 KiB
Current children cumulated memory: 607412 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122047076/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=965288 memory=607412 CPUtime=3583.4 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128016 0 0 0 358309 31 0 0 20 0 1 0 159299016 988454912 151853 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241322 151853 4026 3540 0 229579 0
Current children cumulated CPU time: 3583.4 s
Current children cumulated vsize: 965288 KiB
Current children cumulated memory: 607412 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046936/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=966732 memory=607780 CPUtime=3585 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128111 0 0 0 358469 31 0 0 20 0 1 0 159299016 989933568 151945 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241683 151945 4026 3540 0 229940 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 966732 KiB
Current children cumulated memory: 607780 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046676/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=966732 memory=607780 CPUtime=3585.81 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128170 0 0 0 358550 31 0 0 20 0 1 0 159299016 989933568 151945 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241683 151945 4026 3540 0 229940 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 966732 KiB
Current children cumulated memory: 607780 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046676/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=966732 memory=607780 CPUtime=3586.59 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128173 0 0 0 358628 31 0 0 20 0 1 0 159299016 989933568 151945 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241683 151945 4026 3540 0 229940 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 966732 KiB
Current children cumulated memory: 607780 KiB

[startup+3597 s]*
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046688/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=966732 memory=607780 CPUtime=3586.8 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128362 0 0 0 358649 31 0 0 20 0 1 0 159299016 989933568 151945 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 241683 151945 4026 3540 0 229940 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 966732 KiB
Current children cumulated memory: 607780 KiB

[startup+3597.11 s]
/proc/loadavg: 4.13 4.26 4.23 5/243 809107
/proc/meminfo: memFree=122046688/131655788 swapFree=131071996/131071996
[pid=807238] ppid=807235 vsize=962232 memory=603280 CPUtime=3586.9 cores=1,3
/proc/807238/stat : 807238 (pbscip) R 807235 807238 807162 0 -1 4194304 128505 0 0 0 358659 31 0 0 20 0 1 0 159299016 985325568 150820 134679101440 4194304 18693293 140728738807664 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44011520 140728738812932 140728738813031 140728738813031 140728738820046 0
/proc/807238/statm: 240558 150820 4026 3540 0 228815 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 962232 KiB
Current children cumulated memory: 603280 KiB

Child status: 0

Real time (s): 3597.19
CPU time (s): 3586.99
CPU user time (s): 3586.67
CPU system time (s): 0.317693
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 966732
Max. memory (cumulated for all children) (KiB): 607780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.67
system time used= 0.317693
maximum resident set size= 607780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128545
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= 29
involuntary context switches= 1537


# summary of solver processes directly reported to runsolver:
#   pid: 807238
#   total CPU time (s): 3586.99
#   total CPU user time (s): 3586.67
#   total CPU system time (s): 0.317693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4522 second user time and 32.8612 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-15 21:23:53
IDJOB=4432616
IDBENCH=147023
IDSOLVER=3059
FILE ID=nodeC012/4432616-1721071420
RUNJOBID= nodeC012-1721071433-807174
SLURM_JOB_ID= 7505533
Free space on /tmp= 723728 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 --file-size-limit 102400 -w /tmp/evaluation-result-4432616-1721071420/watcher-4432616-1721071420 -o /tmp/evaluation-result-4432616-1721071420/solver-4432616-1721071420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721071433-807174 --watchdog 3760  pbscip -f HOME/instance-4432616-1721071420.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=117512981

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126855200 kB
MemAvailable:   129913484 kB
Buffers:          369252 kB
Cached:          3494980 kB
SwapCached:            0 kB
Active:           616032 kB
Inactive:        3582012 kB
Active(anon):       1332 kB
Inactive(anon):   370176 kB
Active(file):     614700 kB
Inactive(file):  3211836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             78080 kB
Writeback:             0 kB
AnonPages:        333888 kB
Mapped:           103340 kB
Shmem:             37704 kB
KReclaimable:     143556 kB
Slab:             245864 kB
SReclaimable:     143556 kB
SUnreclaim:       102308 kB
KernelStack:        3700 kB
PageTables:         9904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     605760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51424 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    24795136 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC012 at 2024-07-15 22:23:50