| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? | 3588.25 | 3597.69 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb |
| MD5SUM | 55b762fd6bb408eb2777c16ed585e3a1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1078264320 |
| Best CPU time to get the best result obtained on this benchmark | 72000.5 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 11503 |
| Total number of constraints | 971 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 835 |
| Number of constraints which are nor clauses,nor cardinality constraints | 136 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 9784 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 83886080000000 |
| Number of bits of the biggest number in a constraint | 47 |
| Biggest sum of numbers in a constraint | 508832629179091 |
| Number of bits of the biggest sum of numbers | 49 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4485468-1751313715.opb>
0.00/0.05 c original problem has 11503 variables (11503 bin, 0 int, 0 impl, 0 cont) and 971 constraints
0.00/0.05 c problem read in 0.04
0.00/0.08 c presolving:
0.08/0.15 c (round 1, fast) 2541 del vars, 127 del conss, 35 add conss, 1664 chg bounds, 53 chg sides, 53 chg coeffs, 0 upgd conss, 0 impls, 788 clqs
0.08/0.17 c (round 2, fast) 2541 del vars, 159 del conss, 35 add conss, 1664 chg bounds, 12681 chg sides, 21403 chg coeffs, 0 upgd conss, 0 impls, 788 clqs
0.18/0.21 c (0.2s) running MILP presolver
0.18/0.24 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
0.18/0.26 c (round 3, exhaustive) 2542 del vars, 159 del conss, 36 add conss, 1664 chg bounds, 12681 chg sides, 21403 chg coeffs, 0 upgd conss, 0 impls, 768 clqs
0.18/0.26 c (round 4, fast) 2542 del vars, 159 del conss, 36 add conss, 1664 chg bounds, 17863 chg sides, 26585 chg coeffs, 0 upgd conss, 0 impls, 768 clqs
0.18/0.30 c (round 5, exhaustive) 2542 del vars, 159 del conss, 36 add conss, 1664 chg bounds, 17863 chg sides, 26585 chg coeffs, 745 upgd conss, 0 impls, 768 clqs
0.65/0.71 c (0.7s) probing: 51/8961 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.65/0.71 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.65/0.73 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.65/0.75 c (0.7s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.65/0.77 c dynamic symmetry handling statistics:
0.65/0.77 c orbitopal reduction: no components
0.65/0.77 c orbital reduction: no components
0.65/0.77 c lexicographic reduction: 1 permutations with support sizes 4
0.65/0.77 c handled 2 out of 2 symmetry components
0.65/0.77 c (round 6, exhaustive) 2542 del vars, 159 del conss, 37 add conss, 1664 chg bounds, 17863 chg sides, 26585 chg coeffs, 745 upgd conss, 0 impls, 769 clqs
0.65/0.77 c (round 7, fast) 2542 del vars, 159 del conss, 62 add conss, 1664 chg bounds, 17863 chg sides, 26585 chg coeffs, 745 upgd conss, 0 impls, 769 clqs
0.65/0.78 c (round 8, fast) 2542 del vars, 159 del conss, 62 add conss, 1664 chg bounds, 30950 chg sides, 45729 chg coeffs, 745 upgd conss, 0 impls, 769 clqs
0.75/0.80 c (round 9, exhaustive) 2542 del vars, 170 del conss, 62 add conss, 1664 chg bounds, 30950 chg sides, 45729 chg coeffs, 745 upgd conss, 0 impls, 769 clqs
0.75/0.80 c (round 10, exhaustive) 2542 del vars, 170 del conss, 62 add conss, 1664 chg bounds, 30950 chg sides, 45729 chg coeffs, 760 upgd conss, 0 impls, 769 clqs
0.75/0.81 c (round 11, fast) 2542 del vars, 184 del conss, 62 add conss, 1664 chg bounds, 30950 chg sides, 45729 chg coeffs, 760 upgd conss, 0 impls, 769 clqs
0.75/0.84 c presolving (12 rounds: 12 fast, 6 medium, 6 exhaustive):
0.75/0.84 c 2542 deleted vars, 184 deleted constraints, 62 added constraints, 1664 tightened bounds, 0 added holes, 30950 changed sides, 45729 changed coefficients
0.75/0.84 c 0 implications, 769 cliques
0.75/0.84 c presolved problem has 8961 variables (8961 bin, 0 int, 0 impl, 0 cont) and 849 constraints
0.75/0.84 c 725 constraints of type <setppc>
0.75/0.84 c 103 constraints of type <linear>
0.75/0.84 c 21 constraints of type <logicor>
0.75/0.84 c transformed objective value is always integral (scale: 128)
0.75/0.84 c Presolving Time: 0.77
0.75/0.84 c - non default parameters ----------------------------------------------------------------------
0.75/0.84 c # SCIP version 10.0.0
0.75/0.84 c
0.75/0.84 c # maximal time in seconds to run
0.75/0.84 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.75/0.84 c limits/time = 3596.998008
0.75/0.84 c
0.75/0.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.75/0.84 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.75/0.84 c limits/memory = 27900
0.75/0.84 c
0.75/0.84 c # belongs reading time to solving time?
0.75/0.84 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.75/0.84 c timing/reading = TRUE
0.75/0.84 c
0.75/0.84 c -----------------------------------------------------------------------------------------------
0.75/0.84 c start solving
0.75/0.85 c
1.84/1.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.84/1.96 c 2.0s| 1 | 0 | 3282 | - | 192M | 0 |8961 | 854 | 849 | 0 | 0 | 6 | 0 | 1.077679e+09 | -- | Inf | unknown
2.94/3.01 c 3.0s| 1 | 0 | 4439 | - | 210M | 0 |8961 | 854 | 888 | 39 | 1 | 6 | 0 | 1.077686e+09 | -- | Inf | unknown
3.53/3.61 c 3.6s| 1 | 0 | 4638 | - | 213M | 0 |8961 | 854 | 924 | 75 | 2 | 6 | 0 | 1.077696e+09 | -- | Inf | unknown
4.13/4.20 c 4.2s| 1 | 0 | 4828 | - | 215M | 0 |8961 | 854 | 961 | 112 | 3 | 6 | 0 | 1.077701e+09 | -- | Inf | unknown
4.63/4.78 c 4.8s| 1 | 0 | 4904 | - | 216M | 0 |8961 | 854 | 996 | 147 | 4 | 6 | 0 | 1.077702e+09 | -- | Inf | unknown
5.33/5.40 c 5.4s| 1 | 0 | 5056 | - | 221M | 0 |8961 | 854 |1030 | 181 | 5 | 6 | 0 | 1.077703e+09 | -- | Inf | unknown
5.93/6.05 c 6.0s| 1 | 0 | 5303 | - | 224M | 0 |8961 | 854 |1065 | 216 | 6 | 6 | 0 | 1.077709e+09 | -- | Inf | unknown
6.93/7.03 c 7.0s| 1 | 0 | 7261 | - | 226M | 0 |8961 | 854 |1098 | 249 | 7 | 6 | 0 | 1.077710e+09 | -- | Inf | unknown
7.52/7.65 c 7.6s| 1 | 0 | 7454 | - | 232M | 0 |8961 | 854 |1131 | 282 | 8 | 6 | 0 | 1.077711e+09 | -- | Inf | unknown
8.22/8.31 c 8.3s| 1 | 0 | 7720 | - | 233M | 0 |8961 | 854 |1164 | 315 | 9 | 6 | 0 | 1.077712e+09 | -- | Inf | unknown
10.02/10.11 c (node 1) unresolved numerical troubles in LP 34 -- using pseudo solution instead (loop 1)
10.02/10.11 c 10.1s| 1 | 2 | 13596 | - | 237M | 0 |8961 | 854 |1195 | 346 | 10 | 6 | 0 | 1.077712e+09 | -- | Inf | unknown
30.45/30.64 c (node 11) error in strong branching call for variable <t_x1407> with solution 0.910312
65.54/65.80 c 65.8s| 100 | 97 |117612 |1050.7 | 268M | 16 |8961 | 953 |1234 | 618 | 1 | 253 | 585 | 1.077742e+09 | -- | Inf | unknown
91.96/92.38 c 92.4s| 200 | 189 |178378 | 828.1 | 275M | 38 |8961 | 978 |1254 | 802 | 1 | 293 | 681 | 1.077742e+09 | -- | Inf | 0.68%
109.00/109.48 c 109s| 300 | 279 |224057 | 703.9 | 282M | 39 |8961 |1018 | 0 | 996 | 0 | 357 | 744 | 1.077747e+09 | -- | Inf | 0.68%
120.37/120.88 c 121s| 400 | 375 |248003 | 587.5 | 288M | 43 |8961 |1028 |1273 |1134 | 4 | 399 | 806 | 1.077747e+09 | -- | Inf | 0.68%
136.72/137.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
136.72/137.20 c 137s| 500 | 471 |291093 | 556.1 | 290M | 43 |8961 |1042 |1263 |1298 | 1 | 424 | 882 | 1.077747e+09 | -- | Inf | 0.68%
150.88/151.45 c 151s| 600 | 567 |325639 | 520.9 | 292M | 43 |8961 |1027 |1251 |1420 | 1 | 453 | 956 | 1.077747e+09 | -- | Inf | 0.68%
166.03/166.68 c 167s| 700 | 661 |360890 | 496.8 | 293M | 43 |8961 |1040 |1277 |1528 | 1 | 477 |1019 | 1.077747e+09 | -- | Inf | 0.68%
184.67/185.32 c 185s| 800 | 759 |409658 | 495.7 | 298M | 43 |8961 |1057 |1271 |1775 | 3 | 527 |1128 | 1.077753e+09 | -- | Inf | 0.68%
200.62/201.36 c 201s| 900 | 859 |451930 | 487.6 | 300M | 43 |8961 |1061 |1245 |1979 | 1 | 552 |1221 | 1.077753e+09 | -- | Inf | 0.68%
217.47/218.26 c 218s| 1000 | 953 |490225 | 477.1 | 311M | 45 |8961 |1081 |1259 |2242 | 2 | 581 |1326 | 1.077755e+09 | -- | Inf | 0.68%
232.22/233.09 c 233s| 1100 | 1047 |528878 | 468.9 | 313M | 45 |8961 |1074 |1262 |2457 | 1 | 592 |1420 | 1.077755e+09 | -- | Inf | 0.68%
247.77/248.67 c 249s| 1200 | 1135 |569208 | 463.4 | 316M | 45 |8961 |1099 |1251 |2608 | 1 | 639 |1518 | 1.077755e+09 | -- | Inf | 0.68%
250.36/251.21 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
250.36/251.21 c (run 1, node 1219) performing user restart
250.36/251.21 c
250.36/251.22 c (restart) converted 387 cuts from the global cut pool into linear constraints
250.36/251.22 c
250.46/251.33 c presolving:
250.46/251.38 c (round 1, fast) 249 del vars, 75 del conss, 33 add conss, 18 chg bounds, 2243 chg sides, 2775 chg coeffs, 0 upgd conss, 0 impls, 1480 clqs
250.46/251.39 c (round 2, fast) 249 del vars, 75 del conss, 39 add conss, 18 chg bounds, 20925 chg sides, 24373 chg coeffs, 0 upgd conss, 0 impls, 1480 clqs
250.56/251.40 c (round 3, fast) 249 del vars, 75 del conss, 39 add conss, 18 chg bounds, 26643 chg sides, 31359 chg coeffs, 0 upgd conss, 0 impls, 1480 clqs
250.56/251.41 c (round 4, exhaustive) 251 del vars, 77 del conss, 39 add conss, 18 chg bounds, 26643 chg sides, 31368 chg coeffs, 0 upgd conss, 0 impls, 3123 clqs
250.56/251.41 c (round 5, fast) 251 del vars, 80 del conss, 39 add conss, 18 chg bounds, 26643 chg sides, 31368 chg coeffs, 0 upgd conss, 0 impls, 3123 clqs
250.56/251.45 c (round 6, exhaustive) 251 del vars, 90 del conss, 39 add conss, 18 chg bounds, 26645 chg sides, 31368 chg coeffs, 0 upgd conss, 0 impls, 3123 clqs
250.56/251.47 c (round 7, exhaustive) 251 del vars, 90 del conss, 39 add conss, 18 chg bounds, 26645 chg sides, 31368 chg coeffs, 410 upgd conss, 0 impls, 3123 clqs
250.56/251.49 c (round 8, fast) 251 del vars, 92 del conss, 39 add conss, 18 chg bounds, 26683 chg sides, 31874 chg coeffs, 410 upgd conss, 0 impls, 3123 clqs
250.66/251.53 c (round 9, medium) 259 del vars, 92 del conss, 39 add conss, 18 chg bounds, 26686 chg sides, 31901 chg coeffs, 410 upgd conss, 0 impls, 3126 clqs
250.66/251.53 c (round 10, fast) 259 del vars, 92 del conss, 43 add conss, 18 chg bounds, 26959 chg sides, 32181 chg coeffs, 410 upgd conss, 0 impls, 3126 clqs
250.66/251.53 c (round 11, fast) 259 del vars, 92 del conss, 43 add conss, 18 chg bounds, 28271 chg sides, 33813 chg coeffs, 410 upgd conss, 0 impls, 3126 clqs
250.66/251.55 c (round 12, exhaustive) 259 del vars, 93 del conss, 43 add conss, 18 chg bounds, 28271 chg sides, 33822 chg coeffs, 413 upgd conss, 0 impls, 3126 clqs
251.26/252.14 c (round 13, exhaustive) 259 del vars, 104 del conss, 43 add conss, 18 chg bounds, 28271 chg sides, 33833 chg coeffs, 413 upgd conss, 0 impls, 3126 clqs
251.86/252.74 c (round 14, exhaustive) 259 del vars, 104 del conss, 43 add conss, 18 chg bounds, 28271 chg sides, 33987 chg coeffs, 413 upgd conss, 0 impls, 3126 clqs
252.45/253.37 c presolving (15 rounds: 15 fast, 8 medium, 7 exhaustive):
252.45/253.37 c 259 deleted vars, 104 deleted constraints, 43 added constraints, 18 tightened bounds, 0 added holes, 28271 changed sides, 33987 changed coefficients
252.45/253.37 c 0 implications, 3126 cliques
252.45/253.37 c presolved problem has 8702 variables (8702 bin, 0 int, 0 impl, 0 cont) and 1424 constraints
252.45/253.37 c 285 constraints of type <knapsack>
252.45/253.37 c 736 constraints of type <setppc>
252.45/253.37 c 125 constraints of type <linear>
252.45/253.37 c 278 constraints of type <logicor>
252.45/253.37 c transformed objective value is always integral (scale: 128)
252.45/253.37 c Presolving Time: 2.81
252.45/253.37 c
254.65/255.52 c (node 1) unresolved numerical troubles in LP 2716 -- using pseudo solution instead (loop 1)
254.65/255.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
254.65/255.53 c 256s| 1 | 2 |580698 | - | 332M | 0 |8702 |1424 |1241 | 0 | 0 | 645 |1534 | 1.077755e+09 | -- | Inf | unknown
278.08/279.04 c 279s| 100 | 99 |641205 | 470.3 | 339M | 26 |8702 |1452 |1265 | 77 | 1 | 680 |1626 | 1.077755e+09 | -- | Inf | unknown
309.99/311.03 c 311s| 200 | 197 |743518 | 509.3 | 340M | 33 |8702 |1454 |1262 | 131 | 1 | 685 |1786 | 1.077755e+09 | -- | Inf | unknown
333.31/334.48 c 334s| 300 | 295 |813567 | 521.9 | 342M | 39 |8702 |1482 |1263 | 148 | 1 | 726 |1911 | 1.077755e+09 | -- | Inf | unknown
363.71/364.99 c 365s| 400 | 393 |898967 | 542.4 | 347M | 43 |8702 |1516 |1293 | 268 | 3 | 776 |2082 | 1.077755e+09 | -- | Inf | unknown
387.34/388.62 c 389s| 500 | 489 |967768 | 550.9 | 354M | 43 |8702 |1526 |1271 | 413 | 1 | 804 |2236 | 1.077755e+09 | -- | Inf | unknown
408.08/409.48 c 409s| 600 | 587 | 1027k| 553.6 | 365M | 43 |8702 |1526 |1277 | 607 | 1 | 837 |2421 | 1.077756e+09 | -- | Inf | unknown
438.78/440.24 c 440s| 700 | 685 | 1117k| 571.3 | 367M | 45 |8702 |1547 |1300 | 813 | 1 | 864 |2589 | 1.077760e+09 | -- | Inf | unknown
471.28/472.80 c 473s| 800 | 779 | 1216k| 592.1 | 374M | 45 |8702 |1575 |1312 | 996 | 1 | 903 |2748 | 1.077761e+09 | -- | Inf | unknown
500.98/502.66 c 503s| 900 | 877 | 1299k| 603.6 | 380M | 45 |8702 |1592 |1289 |1123 | 1 | 932 |2906 | 1.077761e+09 | -- | Inf | unknown
529.59/531.32 c 531s| 1000 | 977 | 1384k| 614.5 | 385M | 45 |8702 |1583 |1302 |1295 | 1 | 937 |3092 | 1.077761e+09 | -- | Inf | unknown
557.70/559.50 c 559s| 1100 | 1075 | 1454k| 618.4 | 388M | 45 |8702 |1600 |1264 |1546 | 1 | 970 |3243 | 1.077764e+09 | -- | Inf | unknown
574.16/576.09 c 576s| 1200 | 1167 | 1496k| 610.1 | 392M | 45 |8702 |1645 |1272 |1723 | 1 |1022 |3333 | 1.077764e+09 | -- | Inf | unknown
593.21/595.19 c 595s| 1300 | 1261 | 1552k| 607.9 | 399M | 45 |8702 |1672 |1255 |1936 | 1 |1055 |3452 | 1.077764e+09 | -- | Inf | unknown
617.24/619.22 c 619s| 1400 | 1357 | 1622k| 611.5 | 403M | 49 |8702 |1703 |1303 |2216 | 4 |1113 |3633 | 1.077764e+09 | -- | Inf | unknown
637.29/639.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
637.29/639.31 c 639s| 1500 | 1455 | 1678k| 609.7 | 405M | 49 |8702 |1695 |1291 |2344 | 1 |1136 |3843 | 1.077764e+09 | -- | Inf | unknown
662.53/664.62 c 665s| 1600 | 1549 | 1761k| 617.5 | 407M | 49 |8702 |1714 |1299 |2538 | 1 |1183 |4080 | 1.077764e+09 | -- | Inf | unknown
682.18/684.39 c 684s| 1700 | 1649 | 1825k| 618.4 | 411M | 49 |8702 |1697 |1285 |2708 | 1 |1195 |4254 | 1.077767e+09 | -- | Inf | unknown
699.13/701.36 c 701s| 1800 | 1741 | 1878k| 615.4 | 416M | 49 |8702 |1714 |1276 |2919 | 1 |1238 |4386 | 1.077767e+09 | -- | Inf | unknown
718.08/720.33 c 720s| 1900 | 1829 | 1942k| 616.2 | 424M | 51 |8702 |1750 |1279 |3132 | 1 |1294 |4554 | 1.077770e+09 | -- | Inf | unknown
735.93/738.27 c 738s| 2000 | 1923 | 2006k| 616.8 | 425M | 51 |8702 |1724 |1282 |3319 | 1 |1299 |4690 | 1.077770e+09 | -- | Inf | unknown
751.20/753.51 c 754s| 2100 | 2019 | 2054k| 612.8 | 430M | 51 |8702 |1793 |1318 |3524 | 2 |1398 |4842 | 1.077773e+09 | -- | Inf | unknown
766.26/768.64 c 769s| 2200 | 2111 | 2110k| 611.1 | 433M | 51 |8702 |1792 |1281 |3710 | 1 |1416 |4908 | 1.077773e+09 | -- | Inf | unknown
780.43/782.85 c 783s| 2300 | 2207 | 2156k| 607.0 | 434M | 51 |8702 |1796 |1279 |3931 | 1 |1447 |4990 | 1.077773e+09 | -- | Inf | unknown
794.19/796.66 c 797s| 2400 | 2305 | 2211k| 605.5 | 436M | 51 |8702 |1785 |1291 |4077 | 1 |1464 |5067 | 1.077773e+09 | -- | Inf | unknown
804.46/806.99 c 807s| 2500 | 2397 | 2244k| 597.9 | 439M | 51 |8702 |1792 |1328 |4261 | 4 |1488 |5142 | 1.077773e+09 | -- | Inf | unknown
816.92/819.42 c 819s| 2600 | 2497 | 2289k| 594.1 | 442M | 51 |8702 |1793 |1303 |4423 | 1 |1515 |5206 | 1.077773e+09 | -- | Inf | unknown
832.48/835.07 c 835s| 2700 | 2587 | 2337k| 591.1 | 446M | 51 |8702 |1822 |1284 |4622 | 1 |1570 |5329 | 1.077773e+09 | -- | Inf | unknown
845.74/848.36 c 848s| 2800 | 2681 | 2383k| 588.0 | 450M | 51 |8702 |1838 |1293 |4833 | 0 |1594 |5398 | 1.077773e+09 | -- | Inf | unknown
858.52/861.15 c 861s| 2900 | 2781 | 2431k| 585.2 | 453M | 51 |8702 |1837 |1298 |5044 | 1 |1618 |5453 | 1.077773e+09 | -- | Inf | unknown
877.86/880.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
877.86/880.51 c 880s| 3000 | 2875 | 2501k| 588.0 | 456M | 51 |8702 |1855 |1279 |5266 | 1 |1660 |5564 | 1.077773e+09 | -- | Inf | unknown
891.63/894.32 c 894s| 3100 | 2975 | 2550k| 585.7 | 463M | 51 |8702 |1863 |1281 |5486 | 0 |1691 |5637 | 1.077774e+09 | -- | Inf | unknown
899.41/902.13 c 902s| 3200 | 3071 | 2576k| 578.4 | 465M | 51 |8702 |1856 |1293 |5698 | 1 |1709 |5691 | 1.077774e+09 | -- | Inf | unknown
912.78/915.58 c 916s| 3300 | 3167 | 2628k| 577.1 | 468M | 51 |8702 |1855 |1286 |5884 | 1 |1742 |5752 | 1.077775e+09 | -- | Inf | unknown
926.94/929.73 c 930s| 3400 | 3257 | 2682k| 576.2 | 469M | 51 |8702 |1828 |1275 |6069 | 1 |1748 |5802 | 1.077775e+09 | -- | Inf | unknown
938.61/941.42 c 941s| 3500 | 3355 | 2729k| 573.9 | 471M | 51 |8702 |1832 |1282 |6268 | 1 |1774 |5860 | 1.077775e+09 | -- | Inf | unknown
940.51/943.35 c (node 3534) error in strong branching call for variable <t_x3783> with solution 0.561224
940.61/943.46 c (node 3537) error in strong branching call for variable <t_x3913> with solution 0.25
948.29/951.17 c 951s| 3600 | 3447 | 2764k| 569.4 | 472M | 53 |8702 |1833 |1279 |6462 | 0 |1793 |5904 | 1.077775e+09 | -- | Inf | unknown
958.86/961.79 c 962s| 3700 | 3535 | 2804k| 566.0 | 473M | 53 |8702 |1840 |1323 |6688 | 1 |1817 |5943 | 1.077775e+09 | -- | Inf | unknown
971.93/974.87 c 975s| 3800 | 3631 | 2850k| 563.8 | 474M | 53 |8702 |1845 |1261 |6870 | 1 |1839 |6011 | 1.077775e+09 | -- | Inf | unknown
988.49/991.43 c 991s| 3900 | 3723 | 2901k| 562.7 | 477M | 53 |8702 |1834 |1283 |7130 | 1 |1865 |6118 | 1.077775e+09 | -- | Inf | unknown
1001.45/1004.47 c 1004s| 4000 | 3817 | 2940k| 559.4 | 483M | 53 |8702 |1821 |1303 |7304 | 4 |1874 |6220 | 1.077775e+09 | -- | Inf | unknown
1015.92/1018.90 c 1019s| 4100 | 3917 | 2983k| 557.1 | 490M | 53 |8702 |1840 |1288 |7507 | 1 |1907 |6325 | 1.077776e+09 | -- | Inf | unknown
1033.87/1036.94 c 1037s| 4200 | 4011 | 3041k| 557.5 | 494M | 53 |8702 |1869 |1284 |7740 | 1 |1954 |6460 | 1.077776e+09 | -- | Inf | unknown
1046.64/1049.72 c 1050s| 4300 | 4099 | 3079k| 554.2 | 498M | 53 |8702 |1861 |1304 |8018 | 1 |1971 |6574 | 1.077776e+09 | -- | Inf | unknown
1056.61/1059.78 c 1060s| 4400 | 4193 | 3109k| 549.7 | 500M | 53 |8702 |1853 |1295 |8181 | 1 |1974 |6657 | 1.077776e+09 | -- | Inf | unknown
1074.17/1077.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1074.17/1077.34 c 1077s| 4500 | 4291 | 3166k| 550.1 | 502M | 53 |8702 |1846 |1290 |8485 | 1 |1987 |6782 | 1.077776e+09 | -- | Inf | unknown
1091.93/1095.12 c 1095s| 4600 | 4385 | 3222k| 550.3 | 506M | 53 |8702 |1841 |1308 |8735 | 1 |2007 |6899 | 1.077776e+09 | -- | Inf | unknown
1103.30/1106.56 c 1107s| 4700 | 4481 | 3257k| 546.8 | 510M | 53 |8702 |1864 |1308 |8988 | 0 |2037 |6963 | 1.077778e+09 | -- | Inf | unknown
1115.17/1118.41 c 1118s| 4800 | 4577 | 3294k| 543.9 | 515M | 53 |8702 |1848 |1322 |9189 | 1 |2053 |7054 | 1.077778e+09 | -- | Inf | unknown
1141.51/1144.86 c 1145s| 4900 | 4669 | 3385k| 549.9 | 518M | 53 |8702 |1847 |1305 |9374 | 1 |2088 |7226 | 1.077778e+09 | -- | Inf | unknown
1157.86/1161.21 c 1161s| 5000 | 4753 | 3434k| 548.9 | 519M | 53 |8702 |1850 |1304 |9603 | 1 |2119 |7361 | 1.077778e+09 | -- | Inf | unknown
1169.64/1173.07 c 1173s| 5100 | 4843 | 3470k| 545.9 | 521M | 53 |8702 |1831 |1259 |9739 | 1 |2135 |7511 | 1.077778e+09 | -- | Inf | unknown
1181.71/1185.19 c 1185s| 5200 | 4941 | 3505k| 542.8 | 523M | 53 |8702 |1836 |1323 |9950 | 2 |2158 |7615 | 1.077778e+09 | -- | Inf | unknown
1189.69/1193.18 c 1193s| 5300 | 5027 | 3531k| 538.5 | 524M | 53 |8702 |1824 |1317 | 10k| 1 |2169 |7685 | 1.077779e+09 | -- | Inf | unknown
1203.55/1207.04 c 1207s| 5400 | 5125 | 3572k| 536.6 | 526M | 53 |8702 |1850 |1293 | 10k| 1 |2212 |7780 | 1.077779e+09 | -- | Inf | unknown
1214.12/1217.69 c 1218s| 5500 | 5221 | 3606k| 533.7 | 529M | 53 |8702 |1860 |1333 | 10k| 1 |2244 |7891 | 1.077779e+09 | -- | Inf | unknown
1230.28/1233.80 c 1234s| 5600 | 5313 | 3659k| 533.6 | 530M | 55 |8702 |1853 |1274 | 10k| 1 |2268 |8022 | 1.077779e+09 | -- | Inf | unknown
1246.04/1249.64 c 1250s| 5700 | 5409 | 3717k| 534.4 | 532M | 55 |8702 |1850 |1307 | 10k| 2 |2282 |8118 | 1.077779e+09 | -- | Inf | unknown
1263.69/1267.33 c 1267s| 5800 | 5501 | 3785k| 536.4 | 534M | 55 |8702 |1835 |1295 | 11k| 2 |2296 |8192 | 1.077780e+09 | -- | Inf | unknown
1285.94/1289.67 c 1290s| 5900 | 5593 | 3872k| 541.1 | 536M | 57 |8702 |1845 |1301 | 11k| 1 |2314 |8301 | 1.077780e+09 | -- | Inf | unknown
1299.10/1302.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1299.10/1302.83 c 1303s| 6000 | 5689 | 3916k| 539.6 | 538M | 57 |8702 |1849 |1323 | 11k| 6 |2335 |8379 | 1.077780e+09 | -- | Inf | unknown
1308.48/1312.27 c 1312s| 6100 | 5781 | 3945k| 536.2 | 544M | 57 |8702 |1846 |1296 | 11k| 1 |2350 |8446 | 1.077780e+09 | -- | Inf | unknown
1324.74/1328.58 c 1329s| 6200 | 5877 | 4005k| 537.1 | 548M | 57 |8702 |1849 |1270 | 11k| 1 |2368 |8518 | 1.077780e+09 | -- | Inf | unknown
1340.10/1343.96 c 1344s| 6300 | 5973 | 4065k| 538.0 | 549M | 57 |8702 |1856 |1295 | 12k| 1 |2388 |8581 | 1.077780e+09 | -- | Inf | unknown
1355.27/1359.16 c 1359s| 6400 | 6067 | 4128k| 539.1 | 550M | 57 |8702 |1884 |1311 | 12k| 1 |2429 |8622 | 1.077780e+09 | -- | Inf | unknown
1362.64/1366.54 c 1367s| 6500 | 6159 | 4148k| 534.8 | 553M | 57 |8702 |1889 |1303 | 12k| 2 |2451 |8674 | 1.077780e+09 | -- | Inf | unknown
1371.02/1374.93 c 1375s| 6600 | 6249 | 4173k| 531.1 | 558M | 57 |8702 |1924 |1307 | 12k| 1 |2491 |8735 | 1.077780e+09 | -- | Inf | unknown
1384.89/1388.89 c 1389s| 6700 | 6343 | 4223k| 530.7 | 561M | 57 |8702 |1961 |1279 | 12k| 1 |2549 |8818 | 1.077780e+09 | -- | Inf | unknown
1395.46/1399.40 c 1399s| 6800 | 6441 | 4263k| 529.0 | 563M | 57 |8702 |1957 |1289 | 13k| 1 |2564 |8863 | 1.077780e+09 | -- | Inf | unknown
1406.23/1410.28 c 1410s| 6900 | 6533 | 4300k| 527.2 | 565M | 61 |8702 |1972 |1278 | 13k| 1 |2602 |8901 | 1.077780e+09 | -- | Inf | unknown
1422.89/1426.95 c 1427s| 7000 | 6629 | 4358k| 527.8 | 568M | 61 |8702 |1979 |1304 | 13k| 1 |2636 |8973 | 1.077780e+09 | -- | Inf | unknown
1432.66/1436.74 c 1437s| 7100 | 6721 | 4390k| 525.2 | 569M | 61 |8702 |1998 |1306 | 13k| 1 |2704 |9040 | 1.077781e+09 | -- | Inf | unknown
1442.05/1446.18 c 1446s| 7200 | 6815 | 4421k| 522.7 | 572M | 61 |8702 |2014 |1307 | 13k| 2 |2736 |9085 | 1.077781e+09 | -- | Inf | unknown
1454.61/1458.77 c 1459s| 7300 | 6907 | 4466k| 521.9 | 575M | 61 |8702 |2023 |1309 | 14k| 1 |2765 |9159 | 1.077781e+09 | -- | Inf | unknown
1463.79/1467.98 c 1468s| 7400 | 7001 | 4494k| 519.1 | 578M | 61 |8702 |2004 |1328 | 14k| 1 |2797 |9234 | 1.077781e+09 | -- | Inf | unknown
1476.86/1481.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1476.86/1481.01 c 1481s| 7500 | 7091 | 4541k| 518.5 | 579M | 61 |8702 |2016 |1324 | 14k| 1 |2837 |9296 | 1.077781e+09 | -- | Inf | unknown
1492.32/1496.56 c 1497s| 7600 | 7189 | 4600k| 519.3 | 580M | 61 |8702 |2015 |1303 | 14k| 1 |2866 |9357 | 1.077781e+09 | -- | Inf | unknown
1509.57/1513.87 c 1514s| 7700 | 7283 | 4672k| 521.6 | 583M | 61 |8702 |2014 |1304 | 14k| 1 |2888 |9412 | 1.077781e+09 | -- | Inf | unknown
1531.82/1536.13 c 1536s| 7800 | 7377 | 4754k| 524.9 | 585M | 61 |8702 |2003 |1330 | 15k| 1 |2913 |9504 | 1.077781e+09 | -- | Inf | unknown
1542.19/1546.57 c 1547s| 7900 | 7471 | 4794k| 523.5 | 586M | 61 |8702 |1992 |1304 | 15k| 1 |2934 |9544 | 1.077781e+09 | -- | Inf | unknown
1558.45/1562.87 c 1563s| 8000 | 7559 | 4856k| 524.5 | 591M | 61 |8702 |2041 |1333 | 15k| 1 |2997 |9593 | 1.077781e+09 | -- | Inf | unknown
1577.20/1581.60 c 1582s| 8100 | 7649 | 4936k| 527.5 | 595M | 61 |8702 |2049 |1331 | 15k| 1 |3010 |9620 | 1.077781e+09 | -- | Inf | unknown
1592.26/1596.73 c 1597s| 8200 | 7733 | 4990k| 527.7 | 598M | 61 |8702 |2026 |1321 | 15k| 1 |3024 |9681 | 1.077781e+09 | -- | Inf | unknown
1608.42/1612.99 c 1613s| 8300 | 7831 | 5041k| 527.4 | 601M | 61 |8702 |2016 |1344 | 16k| 1 |3041 |9769 | 1.077781e+09 | -- | Inf | unknown
1622.09/1626.62 c 1627s| 8400 | 7923 | 5083k| 526.3 | 602M | 61 |8702 |2000 |1317 | 16k| 1 |3066 |9851 | 1.077781e+09 | -- | Inf | unknown
1646.63/1651.26 c 1651s| 8500 | 8011 | 5162k| 529.1 | 603M | 61 |8702 |1999 |1344 | 16k| 1 |3094 |9974 | 1.077781e+09 | -- | Inf | unknown
1664.88/1669.56 c 1670s| 8600 | 8111 | 5219k| 529.5 | 604M | 61 |8702 |1991 |1318 | 16k| 1 |3120 | 10k| 1.077781e+09 | -- | Inf | unknown
1681.54/1686.24 c 1686s| 8700 | 8203 | 5271k| 529.3 | 607M | 61 |8702 |1993 |1327 | 17k| 1 |3154 | 10k| 1.077781e+09 | -- | Inf | unknown
1697.60/1702.33 c 1702s| 8800 | 8297 | 5323k| 529.2 | 611M | 61 |8702 |1959 |1292 | 17k| 1 |3160 | 10k| 1.077781e+09 | -- | Inf | unknown
1727.12/1731.97 c 1732s| 8900 | 8389 | 5415k| 533.1 | 613M | 61 |8702 |1938 |1332 | 17k| 3 |3199 | 10k| 1.077781e+09 | -- | Inf | unknown
1740.69/1745.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1740.69/1745.53 c 1746s| 9000 | 8485 | 5452k| 531.5 | 619M | 61 |8702 |1944 |1302 | 17k| 1 |3227 | 10k| 1.077781e+09 | -- | Inf | unknown
1752.35/1757.29 c 1757s| 9100 | 8577 | 5490k| 530.1 | 622M | 61 |8702 |1951 |1325 | 18k| 3 |3265 | 10k| 1.077781e+09 | -- | Inf | unknown
1762.23/1767.10 c 1767s| 9200 | 8671 | 5521k| 527.9 | 625M | 61 |8702 |1932 |1324 | 18k| 1 |3274 | 10k| 1.077781e+09 | -- | Inf | unknown
1772.60/1777.57 c 1778s| 9300 | 8763 | 5553k| 526.0 | 627M | 61 |8702 |1941 |1302 | 18k| 5 |3307 | 10k| 1.077781e+09 | -- | Inf | unknown
1787.17/1792.13 c 1792s| 9400 | 8861 | 5599k| 525.3 | 630M | 61 |8702 |1911 |1333 | 18k| 1 |3311 | 10k| 1.077781e+09 | -- | Inf | unknown
1799.63/1804.68 c 1805s| 9500 | 8955 | 5637k| 524.0 | 632M | 61 |8702 |1903 |1333 | 18k| 1 |3323 | 11k| 1.077781e+09 | -- | Inf | unknown
1819.09/1824.12 c 1824s| 9600 | 9055 | 5704k| 525.3 | 633M | 61 |8702 |1896 |1286 | 19k| 1 |3344 | 11k| 1.077781e+09 | -- | Inf | unknown
1839.53/1844.69 c 1845s| 9700 | 9149 | 5774k| 526.9 | 636M | 61 |8702 |1890 |1276 | 19k| 1 |3349 | 11k| 1.077781e+09 | -- | Inf | unknown
1859.89/1865.09 c 1865s| 9800 | 9235 | 5838k| 528.0 | 644M | 61 |8702 |1912 |1293 | 19k| 1 |3389 | 11k| 1.077781e+09 | -- | Inf | unknown
1871.65/1876.88 c 1877s| 9900 | 9331 | 5871k| 526.2 | 647M | 61 |8702 |1903 |1282 | 19k| 1 |3415 | 11k| 1.077781e+09 | -- | Inf | unknown
1888.71/1893.92 c 1894s| 10000 | 9425 | 5932k| 527.0 | 647M | 61 |8702 |1899 |1315 | 20k| 1 |3435 | 11k| 1.077781e+09 | -- | Inf | unknown
1908.76/1914.05 c 1914s| 10100 | 9517 | 5994k| 527.7 | 649M | 61 |8702 |1873 |1311 | 20k| 1 |3447 | 11k| 1.077781e+09 | -- | Inf | unknown
1919.53/1924.82 c 1925s| 10200 | 9609 | 6028k| 526.1 | 652M | 61 |8702 |1911 |1279 | 20k| 1 |3497 | 11k| 1.077781e+09 | -- | Inf | unknown
1930.40/1935.73 c 1936s| 10300 | 9701 | 6061k| 524.4 | 655M | 61 |8702 |1901 |1339 | 20k| 1 |3517 | 11k| 1.077781e+09 | -- | Inf | unknown
1940.08/1945.41 c 1945s| 10400 | 9795 | 6093k| 522.6 | 659M | 61 |8702 |1922 |1324 | 20k| 1 |3571 | 11k| 1.077781e+09 | -- | Inf | unknown
1959.33/1964.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1959.33/1964.70 c 1965s| 10500 | 9893 | 6162k| 524.1 | 661M | 61 |8702 |1908 |1309 | 21k| 1 |3591 | 11k| 1.077781e+09 | -- | Inf | unknown
1972.80/1978.26 c 1978s| 10600 | 9989 | 6211k| 523.8 | 665M | 61 |8702 |1899 |1283 | 21k| 1 |3597 | 12k| 1.077781e+09 | -- | Inf | unknown
1982.07/1987.50 c 1987s| 10700 | 10083 | 6245k| 522.3 | 666M | 61 |8702 |1907 |1300 | 21k| 1 |3629 | 12k| 1.077781e+09 | -- | Inf | unknown
1998.93/2004.47 c 2004s| 10800 | 10181 | 6308k| 523.1 | 668M | 61 |8702 |1900 |1311 | 21k| 1 |3648 | 12k| 1.077782e+09 | -- | Inf | unknown
2011.80/2017.39 c 2017s| 10900 | 10277 | 6350k| 522.3 | 672M | 61 |8702 |1892 |1317 | 21k| 1 |3667 | 12k| 1.077782e+09 | -- | Inf | unknown
2025.07/2030.64 c 2031s| 11000 | 10367 | 6395k| 521.7 | 673M | 61 |8702 |1926 |1287 | 22k| 1 |3725 | 12k| 1.077782e+09 | -- | Inf | unknown
2035.45/2041.07 c 2041s| 11100 | 10463 | 6427k| 520.0 | 679M | 61 |8702 |1943 |1338 | 22k| 1 |3762 | 12k| 1.077782e+09 | -- | Inf | unknown
2049.00/2054.65 c 2055s| 11200 | 10559 | 6475k| 519.7 | 682M | 61 |8702 |1935 |1312 | 22k| 2 |3788 | 12k| 1.077782e+09 | -- | Inf | unknown
2062.38/2068.07 c 2068s| 11300 | 10657 | 6514k| 518.7 | 682M | 61 |8702 |1925 |1326 | 22k| 2 |3812 | 12k| 1.077782e+09 | -- | Inf | unknown
2080.03/2085.70 c 2086s| 11400 | 10751 | 6579k| 519.8 | 684M | 61 |8702 |1922 |1322 | 23k| 1 |3844 | 12k| 1.077782e+09 | -- | Inf | unknown
2102.67/2108.46 c 2108s| 11500 | 10847 | 6674k| 523.2 | 687M | 61 |8702 |1914 |1332 | 23k| 1 |3867 | 12k| 1.077782e+09 | -- | Inf | unknown
2112.84/2118.60 c 2119s| 11600 | 10947 | 6714k| 522.2 | 689M | 61 |8702 |1897 |1347 | 23k| 1 |3895 | 12k| 1.077782e+09 | -- | Inf | unknown
2128.10/2133.90 c 2134s| 11700 | 11047 | 6775k| 522.9 | 690M | 61 |8702 |1885 |1283 | 23k| 1 |3909 | 12k| 1.077782e+09 | -- | Inf | unknown
2149.15/2155.08 c 2155s| 11800 | 11139 | 6862k| 525.5 | 691M | 61 |8702 |1852 |1274 | 23k| 1 |3919 | 12k| 1.077782e+09 | -- | Inf | unknown
2165.70/2171.63 c 2172s| 11900 | 11237 | 6928k| 526.5 | 692M | 61 |8702 |1862 |1311 | 24k| 1 |3941 | 12k| 1.077782e+09 | -- | Inf | unknown
2178.27/2184.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2178.27/2184.23 c 2184s| 12000 | 11335 | 6975k| 526.1 | 705M | 61 |8702 |1871 |1341 | 24k| 4 |3971 | 12k| 1.077782e+09 | -- | Inf | unknown
2193.64/2199.63 c 2200s| 12100 | 11427 | 7027k| 526.1 | 712M | 61 |8702 |1875 |1315 | 24k| 1 |3992 | 12k| 1.077782e+09 | -- | Inf | unknown
2208.79/2214.82 c 2215s| 12200 | 11523 | 7085k| 526.5 | 715M | 61 |8702 |1866 |1301 | 24k| 1 |3992 | 12k| 1.077782e+09 | -- | Inf | unknown
2219.76/2225.80 c 2226s| 12300 | 11617 | 7125k| 525.5 | 719M | 61 |8702 |1855 |1280 | 25k| 1 |4005 | 13k| 1.077782e+09 | -- | Inf | unknown
2234.53/2240.67 c 2241s| 12400 | 11717 | 7186k| 526.1 | 721M | 61 |8702 |1832 |1324 | 25k| 1 |4012 | 13k| 1.077782e+09 | -- | Inf | unknown
2251.18/2257.39 c 2257s| 12500 | 11813 | 7255k| 527.4 | 724M | 61 |8702 |1812 |1326 | 25k| 2 |4024 | 13k| 1.077782e+09 | -- | Inf | unknown
2262.65/2268.85 c 2269s| 12600 | 11907 | 7304k| 527.0 | 725M | 61 |8702 |1830 |1314 | 25k| 1 |4063 | 13k| 1.077782e+09 | -- | Inf | unknown
2276.01/2282.23 c 2282s| 12700 | 11999 | 7352k| 526.7 | 727M | 61 |8702 |1819 |1341 | 25k| 1 |4074 | 13k| 1.077782e+09 | -- | Inf | unknown
2287.58/2293.82 c 2294s| 12800 | 12099 | 7395k| 526.0 | 729M | 61 |8702 |1824 |1342 | 26k| 1 |4096 | 13k| 1.077782e+09 | -- | Inf | unknown
2298.76/2305.01 c 2305s| 12900 | 12197 | 7441k| 525.6 | 733M | 61 |8702 |1814 |1326 | 26k| 1 |4111 | 13k| 1.077782e+09 | -- | Inf | unknown
2311.12/2317.40 c 2317s| 13000 | 12295 | 7485k| 525.0 | 739M | 61 |8702 |1814 |1350 | 26k| 1 |4122 | 13k| 1.077782e+09 | -- | Inf | unknown
2327.98/2334.39 c 2334s| 13100 | 12395 | 7547k| 525.7 | 740M | 61 |8702 |1798 |1274 | 26k| 1 |4128 | 13k| 1.077782e+09 | -- | Inf | unknown
2340.45/2346.85 c 2347s| 13200 | 12489 | 7592k| 525.1 | 742M | 61 |8702 |1805 |1313 | 27k| 1 |4156 | 13k| 1.077782e+09 | -- | Inf | unknown
2352.12/2358.52 c 2359s| 13300 | 12583 | 7638k| 524.7 | 744M | 61 |8702 |1797 |1307 | 27k| 1 |4158 | 13k| 1.077782e+09 | -- | Inf | unknown
2364.09/2370.57 c 2371s| 13400 | 12677 | 7679k| 523.9 | 746M | 61 |8702 |1804 |1304 | 27k| 1 |4174 | 13k| 1.077782e+09 | -- | Inf | unknown
2377.26/2383.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2377.26/2383.70 c 2384s| 13500 | 12775 | 7724k| 523.4 | 748M | 61 |8702 |1833 |1316 | 28k| 1 |4223 | 13k| 1.077782e+09 | -- | Inf | unknown
2386.93/2393.44 c 2393s| 13600 | 12873 | 7759k| 522.2 | 751M | 61 |8702 |1852 |1294 | 28k| 1 |4260 | 13k| 1.077782e+09 | -- | Inf | unknown
2401.29/2407.89 c 2408s| 13700 | 12971 | 7814k| 522.4 | 755M | 61 |8702 |1839 |1327 | 28k| 1 |4272 | 13k| 1.077782e+09 | -- | Inf | unknown
2415.16/2421.79 c 2422s| 13800 | 13069 | 7866k| 522.4 | 757M | 61 |8702 |1808 |1302 | 28k| 3 |4299 | 13k| 1.077782e+09 | -- | Inf | unknown
2441.50/2448.12 c 2448s| 13900 | 13163 | 7957k| 524.9 | 761M | 61 |8702 |1822 |1333 | 29k| 7 |4346 | 13k| 1.077782e+09 | -- | Inf | unknown
2453.47/2460.13 c 2460s| 14000 | 13261 | 7995k| 524.0 | 763M | 61 |8702 |1801 |1336 | 29k| 1 |4374 | 13k| 1.077782e+09 | -- | Inf | unknown
2468.12/2474.87 c 2475s| 14100 | 13353 | 8041k| 523.6 | 767M | 61 |8702 |1792 |1320 | 29k| 1 |4399 | 13k| 1.077782e+09 | -- | Inf | unknown
2488.48/2495.29 c 2495s| 14200 | 13451 | 8114k| 524.9 | 768M | 61 |8702 |1769 |1326 | 29k| 1 |4404 | 13k| 1.077782e+09 | -- | Inf | unknown
2506.13/2512.96 c 2513s| 14300 | 13547 | 8172k| 525.3 | 775M | 61 |8702 |1780 |1336 | 30k| 1 |4440 | 14k| 1.077782e+09 | -- | Inf | unknown
2527.28/2534.13 c 2534s| 14400 | 13635 | 8243k| 526.4 | 775M | 61 |8702 |1737 |1302 | 30k| 0 |4453 | 14k| 1.077782e+09 | -- | Inf | unknown
2541.94/2548.89 c 2549s| 14500 | 13729 | 8291k| 526.2 | 777M | 61 |8702 |1742 |1302 | 30k| 1 |4487 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2558.50/2565.41 c 2565s| 14600 | 13825 | 8345k| 526.2 | 781M | 61 |8702 |1764 |1337 | 30k| 1 |4537 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2578.65/2585.64 c 2586s| 14700 | 13923 | 8418k| 527.5 | 783M | 69 |8702 |1771 |1324 | 31k| 1 |4574 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2591.92/2598.96 c 2599s| 14800 | 14021 | 8459k| 526.8 | 787M | 69 |8702 |1770 |1313 | 31k| 1 |4590 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2607.08/2614.10 c 2614s| 14900 | 14115 | 8510k| 526.7 | 788M | 69 |8702 |1761 |1332 | 31k| 1 |4602 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2630.12/2637.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2630.12/2637.27 c 2637s| 15000 | 14207 | 8593k| 528.6 | 789M | 69 |8702 |1784 |1315 | 31k| 1 |4644 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2642.69/2649.81 c 2650s| 15100 | 14301 | 8637k| 528.0 | 792M | 69 |8702 |1761 |1288 | 31k| 1 |4652 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2654.66/2661.86 c 2662s| 15200 | 14399 | 8675k| 527.1 | 795M | 69 |8702 |1752 |1296 | 32k| 1 |4665 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2668.22/2675.44 c 2675s| 15300 | 14495 | 8720k| 526.7 | 796M | 69 |8702 |1743 |1328 | 32k| 1 |4674 | 14k| 1.077782e+09 | -- | Inf | 0.54%
2685.58/2692.85 c 2693s| 15400 | 14593 | 8778k| 526.9 | 799M | 69 |8702 |1758 |1316 | 32k| 1 |4700 | 15k| 1.077782e+09 | -- | Inf | 0.54%
2698.04/2705.30 c 2705s| 15500 | 14691 | 8821k| 526.4 | 804M | 69 |8702 |1742 |1319 | 32k| 3 |4706 | 15k| 1.077782e+09 | -- | Inf | 0.54%
2712.60/2719.97 c 2720s| 15600 | 14791 | 8875k| 526.4 | 809M | 69 |8702 |1741 |1315 | 33k| 5 |4723 | 15k| 1.077783e+09 | -- | Inf | 0.54%
2725.37/2732.78 c 2733s| 15700 | 14881 | 8912k| 525.5 | 816M | 69 |8702 |1748 |1370 | 33k| 1 |4756 | 15k| 1.077783e+09 | -- | Inf | 0.54%
2740.83/2748.28 c 2748s| 15800 | 14977 | 8967k| 525.7 | 820M | 69 |8702 |1744 |1321 | 33k| 6 |4776 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2758.19/2765.63 c 2766s| 15900 | 15077 | 9024k| 525.9 | 823M | 69 |8702 |1734 |1338 | 33k| 1 |4787 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2775.55/2783.01 c 2783s| 16000 | 15171 | 9076k| 525.9 | 824M | 69 |8702 |1722 |1310 | 34k| 1 |4807 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2792.61/2800.19 c 2800s| 16100 | 15265 | 9141k| 526.7 | 826M | 69 |8702 |1735 |1339 | 34k| 1 |4854 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2800.69/2808.21 c 2808s| 16200 | 15365 | 9169k| 525.2 | 828M | 69 |8702 |1732 |1324 | 34k| 1 |4868 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2817.64/2825.20 c 2825s| 16300 | 15459 | 9235k| 526.0 | 832M | 69 |8702 |1730 |1285 | 34k| 0 |4887 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2828.61/2836.25 c 2836s| 16400 | 15555 | 9274k| 525.2 | 833M | 69 |8702 |1729 |1328 | 34k| 1 |4905 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2844.27/2851.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2844.27/2851.91 c 2852s| 16500 | 15651 | 9333k| 525.6 | 838M | 69 |8702 |1728 |1318 | 35k| 2 |4924 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2854.74/2862.41 c 2862s| 16600 | 15745 | 9367k| 524.5 | 840M | 69 |8702 |1740 |1319 | 35k| 1 |4955 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2864.82/2872.52 c 2873s| 16700 | 15845 | 9404k| 523.7 | 842M | 69 |8702 |1761 |1295 | 35k| 1 |4985 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2883.67/2891.41 c 2891s| 16800 | 15939 | 9480k| 525.0 | 845M | 69 |8702 |1773 |1330 | 35k| 1 |5019 | 15k| 1.077783e+09 | -- | Inf | 0.55%
2896.64/2904.46 c 2904s| 16900 | 16039 | 9534k| 525.1 | 846M | 69 |8702 |1749 |1342 | 36k| 1 |5031 | 16k| 1.077783e+09 | -- | Inf | 0.55%
2911.00/2918.83 c 2919s| 17000 | 16135 | 9587k| 525.1 | 849M | 69 |8702 |1751 |1289 | 36k| 1 |5048 | 16k| 1.077783e+09 | -- | Inf | 0.55%
2926.06/2933.91 c 2934s| 17100 | 16229 | 9636k| 524.9 | 850M | 69 |8702 |1707 |1309 | 36k| 2 |5048 | 16k| 1.077783e+09 | -- | Inf | 0.99%
2943.22/2951.12 c 2951s| 17200 | 16327 | 9703k| 525.7 | 854M | 69 |8702 |1710 |1332 | 36k| 1 |5060 | 16k| 1.077783e+09 | -- | Inf | 0.99%
2951.80/2959.70 c 2960s| 17300 | 16421 | 9733k| 524.5 | 857M | 69 |8702 |1725 |1316 | 36k| 1 |5088 | 16k| 1.077783e+09 | -- | Inf | 0.99%
2957.48/2965.42 c 2965s| 17400 | 16505 | 9748k| 522.5 | 861M | 69 |8702 |1749 | 0 | 37k| 0 |5125 | 16k| 1.077783e+09 | -- | Inf | 0.99%
2970.06/2978.04 c 2978s| 17500 | 16603 | 9800k| 522.5 | 863M | 69 |8702 |1739 |1333 | 37k| 2 |5146 | 16k| 1.077783e+09 | -- | Inf | 0.99%
2982.22/2990.28 c 2990s| 17600 | 16695 | 9845k| 522.1 | 864M | 69 |8702 |1749 |1308 | 37k| 1 |5179 | 16k| 1.077783e+09 | -- | Inf | 0.99%
2995.49/3003.55 c 3004s| 17700 | 16791 | 9894k| 521.9 | 865M | 69 |8702 |1781 |1275 | 37k| 1 |5235 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3006.86/3014.98 c 3015s| 17800 | 16887 | 9938k| 521.5 | 867M | 69 |8702 |1764 |1349 | 37k| 1 |5241 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3025.81/3033.94 c 3034s| 17900 | 16985 | 10014k| 522.7 | 869M | 69 |8702 |1749 |1303 | 38k| 1 |5257 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3037.38/3045.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3037.38/3045.53 c 3046s| 18000 | 17077 | 10053k| 522.0 | 871M | 69 |8702 |1743 |1303 | 38k| 1 |5276 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3045.16/3053.32 c 3053s| 18100 | 17177 | 10080k| 520.7 | 873M | 69 |8702 |1738 |1343 | 38k| 1 |5288 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3056.73/3064.98 c 3065s| 18200 | 17277 | 10127k| 520.4 | 875M | 69 |8702 |1721 |1326 | 38k| 1 |5290 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3067.01/3075.24 c 3075s| 18300 | 17375 | 10161k| 519.5 | 877M | 69 |8702 |1735 |1330 | 38k| 1 |5317 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3077.18/3085.40 c 3085s| 18400 | 17475 | 10201k| 518.9 | 879M | 69 |8702 |1733 |1308 | 39k| 1 |5326 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3092.15/3100.45 c 3100s| 18500 | 17569 | 10262k| 519.4 | 882M | 69 |8702 |1743 |1295 | 39k| 1 |5353 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3107.51/3115.83 c 3116s| 18600 | 17665 | 10326k| 520.0 | 885M | 69 |8702 |1739 |1326 | 39k| 1 |5359 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3118.09/3126.43 c 3126s| 18700 | 17761 | 10364k| 519.3 | 888M | 69 |8702 |1777 |1334 | 39k| 1 |5409 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3132.66/3141.02 c 3141s| 18800 | 17861 | 10420k| 519.5 | 889M | 69 |8702 |1790 |1307 | 40k| 1 |5437 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3140.74/3149.18 c 3149s| 18900 | 17955 | 10450k| 518.4 | 892M | 69 |8702 |1809 |1312 | 40k| 1 |5476 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3153.20/3161.67 c 3162s| 19000 | 18045 | 10498k| 518.2 | 894M | 69 |8702 |1822 |1321 | 40k| 1 |5508 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3168.97/3177.41 c 3177s| 19100 | 18141 | 10560k| 518.7 | 896M | 69 |8702 |1831 |1317 | 40k| 1 |5561 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3182.03/3190.50 c 3190s| 19200 | 18237 | 10605k| 518.4 | 899M | 69 |8702 |1819 |1325 | 40k| 5 |5570 | 16k| 1.077783e+09 | -- | Inf | 0.99%
3197.50/3206.00 c 3206s| 19300 | 18333 | 10664k| 518.7 | 902M | 69 |8702 |1813 |1346 | 41k| 2 |5584 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3214.85/3223.48 c 3223s| 19400 | 18431 | 10735k| 519.7 | 904M | 69 |8702 |1815 |1342 | 41k| 1 |5614 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3232.11/3240.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3232.11/3240.77 c 3241s| 19500 | 18525 | 10792k| 519.9 | 905M | 69 |8702 |1851 |1303 | 41k| 1 |5678 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3241.19/3249.87 c 3250s| 19600 | 18623 | 10824k| 518.9 | 909M | 69 |8702 |1829 |1339 | 41k| 1 |5682 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3254.16/3262.88 c 3263s| 19700 | 18721 | 10877k| 519.0 | 914M | 69 |8702 |1803 |1331 | 42k| 1 |5698 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3268.23/3276.95 c 3277s| 19800 | 18815 | 10933k| 519.2 | 916M | 69 |8702 |1797 |1324 | 42k| 1 |5722 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3279.30/3288.00 c 3288s| 19900 | 18913 | 10978k| 518.9 | 919M | 69 |8702 |1811 |1291 | 42k| 1 |5759 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3286.68/3295.49 c 3295s| 20000 | 19011 | 11004k| 517.6 | 920M | 69 |8702 |1802 |1318 | 42k| 1 |5763 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3303.64/3312.44 c 3312s| 20100 | 19109 | 11073k| 518.4 | 923M | 69 |8702 |1813 |1335 | 42k| 1 |5797 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3318.70/3327.56 c 3328s| 20200 | 19209 | 11137k| 519.0 | 926M | 69 |8702 |1812 |1329 | 43k| 1 |5813 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3333.27/3342.19 c 3342s| 20300 | 19305 | 11200k| 519.5 | 929M | 69 |8702 |1818 |1316 | 43k| 3 |5837 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3342.74/3351.60 c 3352s| 20400 | 19405 | 11235k| 518.7 | 941M | 69 |8702 |1817 |1342 | 43k| 1 |5860 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3362.90/3371.82 c 3372s| 20500 | 19505 | 11321k| 520.3 | 944M | 69 |8702 |1789 |1329 | 43k| 1 |5870 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3373.77/3382.76 c 3383s| 20600 | 19603 | 11366k| 520.0 | 945M | 69 |8702 |1810 |1323 | 44k| 1 |5911 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3390.93/3399.98 c 3400s| 20700 | 19697 | 11447k| 521.3 | 948M | 69 |8702 |1785 |1312 | 44k| 1 |5911 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3401.30/3410.35 c 3410s| 20800 | 19791 | 11484k| 520.6 | 958M | 69 |8702 |1794 |1322 | 44k| 1 |5955 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3415.47/3424.55 c 3425s| 20900 | 19885 | 11537k| 520.7 | 962M | 69 |8702 |1786 |1335 | 44k| 6 |5972 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3429.83/3438.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3429.83/3438.96 c 3439s| 21000 | 19981 | 11588k| 520.6 | 969M | 69 |8702 |1780 |1321 | 44k| 1 |5998 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3437.41/3446.57 c 3447s| 21100 | 20069 | 11607k| 519.1 | 970M | 69 |8702 |1775 |1291 | 45k| 1 |6016 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3454.67/3463.83 c 3464s| 21200 | 20165 | 11668k| 519.5 | 972M | 69 |8702 |1781 |1352 | 45k| 1 |6066 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3470.63/3479.88 c 3480s| 21300 | 20259 | 11723k| 519.7 | 974M | 69 |8702 |1769 |1326 | 45k| 4 |6109 | 17k| 1.077783e+09 | -- | Inf | 0.99%
3484.60/3493.84 c 3494s| 21400 | 20353 | 11768k| 519.4 | 975M | 69 |8702 |1778 |1272 | 45k| 1 |6142 | 17k| 1.077783e+09 | -- | Inf | 1.00%
3497.47/3506.77 c 3507s| 21500 | 20453 | 11817k| 519.3 | 979M | 69 |8702 |1768 |1334 | 45k| 1 |6148 | 17k| 1.077783e+09 | -- | Inf | 1.00%
3510.34/3519.61 c 3520s| 21600 | 20543 | 11860k| 518.8 | 980M | 69 |8702 |1764 |1317 | 46k| 1 |6161 | 17k| 1.077783e+09 | -- | Inf | 1.00%
3536.97/3546.32 c 3546s| 21700 | 20639 | 11951k| 520.6 | 983M | 69 |8702 |1880 |1260 | 46k| 1 |6338 | 18k| 1.077784e+09 | -- | Inf | 1.00%
3546.85/3556.27 c 3556s| 21800 | 20737 | 11985k| 519.8 | 984M | 69 |8702 |1869 |1333 | 46k| 1 |6351 | 18k| 1.077784e+09 | -- | Inf | 1.00%
3562.72/3572.14 c 3572s| 21900 | 20833 | 12036k| 519.7 | 987M | 69 |8702 |1811 |1330 | 46k| 1 |6379 | 18k| 1.077784e+09 | -- | Inf | 1.00%
3573.39/3582.80 c 3583s| 22000 | 20917 | 12073k| 519.1 | 990M | 69 |8702 |1807 |1308 | 47k| 6 |6435 | 18k| 1.077784e+09 | -- | Inf | 1.00%
3587.56/3597.01 c
3587.56/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.56/3597.01 c Solving Time (sec) : 3597.00
3587.56/3597.01 c Solving Nodes : 22075 (total of 23294 nodes in 2 runs)
3587.56/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.56/3597.01 c Dual Bound : +1.07778425486947e+09
3587.56/3597.01 c Gap : infinite
3587.56/3597.01 s UNKNOWN
3587.56/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.56/3597.01 c Total Time : 3597.00
3587.56/3597.01 c solving : 3597.00
3587.56/3597.01 c presolving : 2.81 (included in solving)
3587.56/3597.01 c reading : 0.04 (included in solving)
3587.56/3597.01 c copying : 2.92 (105 #copies) (minimal 0.02, maximal 0.04, average 0.03)
3587.56/3597.01 c Original Problem :
3587.56/3597.01 c Problem name : HOME/instance-4485468-1751313715.opb
3587.56/3597.01 c Variables : 11503 (11503 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.56/3597.01 c Constraints : 971 initial, 971 maximal
3587.56/3597.01 c Objective : minimize, 31 non-zeros (abs.min = 1, abs.max = 1.07374e+09)
3587.56/3597.01 c Presolved Problem :
3587.56/3597.01 c Problem name : t_HOME/instance-4485468-1751313715.opb
3587.56/3597.01 c Variables : 8702 (8702 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.56/3597.01 c Constraints : 1424 initial, 2053 maximal
3587.56/3597.01 c Objective : minimize, 21 non-zeros (abs.min = 1, abs.max = 2.09715e+06)
3587.56/3597.01 c Nonzeros : 247666 constraint, 12301 clique table
3587.56/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.56/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c domcol : 0.04 0.00 3 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualsparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c gateextraction : 0.02 0.00 11 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c milp : 0.07 0.00 1 1 0 0 0 0 0 0 0 0
3587.56/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c sparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c trivial : 0.00 0.00 27 187 0 0 0 0 0 0 0 0
3587.56/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c dualfix : 0.00 0.00 27 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 1 0 0
3587.56/3597.01 c vbounds : 0.00 0.00 2 0 1 0 0 0 0 0 0 0
3587.56/3597.01 c knapsack : 0.07 0.00 30 51 0 0 0 0 0 0 41 518
3587.56/3597.01 c setppc : 0.02 0.00 45 0 0 0 0 0 9 0 0 0
3587.56/3597.01 c linear : 0.27 0.02 39 2559 0 0 1682 0 185 104 59180 78497
3587.56/3597.01 c logicor : 2.11 0.01 39 2 0 0 0 0 94 0 0 701
3587.56/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c root node : - - - 203 - - 203 - - - - -
3587.56/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.56/3597.01 c benderslp : 0 0 0 0 23597 0 667 5432 0 0 0 0 0 0 0
3587.56/3597.01 c integral : 0 0 0 0 23597 0 0 5432 0 0 2761 0 0 1122 44102
3587.56/3597.01 c knapsack : 285+ 295 0 136375 0 0 0 0 361890 233 1191767 0 0 0 0
3587.56/3597.01 c setppc : 736+ 769 10 148351 0 0 667 5428 7119 24 17540 0 0 0 0
3587.56/3597.01 c linear : 125+ 127 10 148327 0 0 0 3123 1089962 2630 2663099 446 4 0 0
3587.56/3597.01 c logicor : 278+ 890 10 45559 0 0 667 0 743 195 3766 0 0 0 0
3587.56/3597.01 c benders : 0 0 0 0 0 0 667 0 0 0 0 0 0 0 0
3587.56/3597.01 c fixedvar : 0 0 0 0 0 0 667 0 0 0 0 0 0 0 0
3587.56/3597.01 c countsols : 0 0 0 0 0 0 667 0 0 0 0 0 0 0 0
3587.56/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.56/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c integral : 831.99 0.00 0.00 0.00 831.99 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c knapsack : 30.56 0.00 0.02 14.57 0.00 0.00 0.00 0.00 1.03 14.93
3587.56/3597.01 c setppc : 1.51 0.00 0.00 0.32 0.00 0.17 0.00 0.90 0.00 0.12
3587.56/3597.01 c linear : 67.42 0.02 4.45 27.15 0.00 0.00 0.00 0.11 23.15 12.53
3587.56/3597.01 c logicor : 1.84 0.01 0.01 0.47 0.00 0.03 0.00 0.00 0.00 1.33
3587.56/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
3587.56/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.56/3597.01 c dualfix : 2 0 0 0
3587.56/3597.01 c genvbounds : 0 0 0 0
3587.56/3597.01 c nlobbt : 0 0 0 0
3587.56/3597.01 c obbt : 0 0 0 0
3587.56/3597.01 c probing : 0 0 0 0
3587.56/3597.01 c pseudoobj : 72098 0 0 0
3587.56/3597.01 c redcost : 10 0 0 0
3587.56/3597.01 c rootredcost : 0 0 0 0
3587.56/3597.01 c symmetry : 732 0 0 3
3587.56/3597.01 c vbounds : 45377 0 0 0
3587.56/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.56/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c genvbounds : 0.04 0.00 0.00 0.03 0.00 0.01
3587.56/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.56/3597.01 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.56/3597.01 c pseudoobj : 0.11 0.00 0.00 0.10 0.00 0.01
3587.56/3597.01 c redcost : 0.05 0.00 0.00 0.05 0.00 0.01
3587.56/3597.01 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.01
3587.56/3597.01 c symmetry : 0.13 0.00 0.04 0.05 0.00 0.04
3587.56/3597.01 c vbounds : 0.26 0.00 0.00 0.23 0.00 0.03
3587.56/3597.01 c Symmetry :
3587.56/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.56/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.56/3597.01 c lexicographic red: 3 reductions applied, 0 cutoffs
3587.56/3597.01 c shadow tree time : 0.07 s
3587.56/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.56/3597.01 c propagation : 8.21 567 491 - 4188 365.6 10 274.9 - - -
3587.56/3597.01 c infeasible LP : 18.88 1018 1091 - 10055 704.1 35 321.3 350 439.7 0
3587.56/3597.01 c bound exceed. LP : 0.13 22 31 - 15 39.3 0 0.0 12 1.0 180
3587.56/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.56/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.56/3597.01 c applied globally : 0.06 - - 137 6096 363.0 - - 362 - -
3587.56/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.56/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.56/3597.01 c cut pool : 22.37 - 10576 19 - - 39416 489658 - - - - - (maximal pool size: 1636)
3587.56/3597.01 c aggregation : 8.62 0.00 2566 10 0 0 3150 17653 0 4366 4366 0 0
3587.56/3597.01 c > cmir : - - - - - - - 14118 0 3013 3013 0 -
3587.56/3597.01 c > flowcover : - - - - - - - 2111 0 957 957 0 -
3587.56/3597.01 c > knapsackcover : - - - - - - - 1424 0 396 396 0 -
3587.56/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c clique : 0.02 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c gomory : 45.75 0.00 2404 10 0 0 33316 414024 0 32675 32675 0 0
3587.56/3597.01 c > gomorymi : - - - - - - - 162589 0 11936 11936 0 -
3587.56/3597.01 c > strongcg : - - - - - - - 251435 0 20739 20739 0 -
3587.56/3597.01 c impliedbounds : 0.57 0.00 2566 10 0 0 110 1055 0 1021 1021 0 0
3587.56/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c multilinear : 0.00 0.00 326 10 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c rapidlearning : 64.49 0.00 100 1 0 3512 0 0 0 0 0 0 0
3587.56/3597.01 c rlt : 0.00 0.00 683 10 0 0 0 0 0 0 0 0 0
3587.56/3597.01 c zerohalf : 5.53 0.00 2404 10 0 0 2840 56926 0 11799 11799 0 0
3587.56/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.56/3597.01 c hybrid : 2.83 0.00 7822 10 49872 0 440232 346 0 2570
3587.56/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.56/3597.01 c problem variables: 0.00 - 0 0
3587.56/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.56/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c inference : 0.61 0.00 0 0 667 0 0 0 0 1334
3587.56/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c relpscost : 831.96 0.00 23597 0 0 0 2761 0 1161 44102
3587.56/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.56/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.56/3597.01 c LP solutions : 0.00 - - 0 0
3587.56/3597.01 c relax solutions : 0.00 - - 0 0
3587.56/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.56/3597.01 c strong branching : 0.08 - - 0 0
3587.56/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c adaptivediving : 9.37 0.00 47 0 0
3587.56/3597.01 c alns : 4.46 0.00 5 0 0
3587.56/3597.01 c bound : 0.00 0.00 0 0 0
3587.56/3597.01 c clique : 0.07 0.00 1 0 0
3587.56/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c completesol : 0.00 0.00 0 0 0
3587.56/3597.01 c conflictdiving : 8.59 0.00 71 0 0
3587.56/3597.01 c crossover : 0.01 0.00 0 0 0
3587.56/3597.01 c dins : 0.00 0.00 0 0 0
3587.56/3597.01 c distributiondivin: 12.20 0.00 70 0 0
3587.56/3597.01 c dps : 0.00 0.00 0 0 0
3587.56/3597.01 c dualval : 0.00 0.00 0 0 0
3587.56/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c feasjump : 0.75 0.00 2 0 0
3587.56/3597.01 c feaspump : 13.59 0.00 35 0 0
3587.56/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.56/3597.01 c fracdiving : 12.95 0.00 71 0 0
3587.56/3597.01 c gins : 0.00 0.00 0 0 0
3587.56/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.56/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c indicator : 0.02 0.00 0 0 0
3587.56/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.56/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.56/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.56/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.56/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.56/3597.01 c linesearchdiving : 10.36 0.00 70 0 0
3587.56/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.56/3597.01 c locks : 0.08 0.00 1 0 0
3587.56/3597.01 c lpface : 0.01 0.00 0 0 0
3587.56/3597.01 c mpec : 0.00 0.00 0 0 0
3587.56/3597.01 c multistart : 0.00 0.00 0 0 0
3587.56/3597.01 c mutation : 0.00 0.00 0 0 0
3587.56/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.56/3597.01 c objpscostdiving : 21.44 0.00 36 0 0
3587.56/3597.01 c octane : 0.00 0.00 0 0 0
3587.56/3597.01 c ofins : 0.01 0.00 0 0 0
3587.56/3597.01 c oneopt : 0.02 0.00 0 0 0
3587.56/3597.01 c padm : 0.00 0.00 0 0 0
3587.56/3597.01 c proximity : 0.00 0.00 0 0 0
3587.56/3597.01 c pscostdiving : 20.42 0.00 71 0 0
3587.56/3597.01 c randrounding : 2.47 0.00 5427 0 0
3587.56/3597.01 c rens : 0.00 0.00 0 0 0
3587.56/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.56/3597.01 c repair : 0.00 0.00 0 0 0
3587.56/3597.01 c rins : 0.01 0.00 0 0 0
3587.56/3597.01 c rootsoldiving : 22.42 0.00 36 0 0
3587.56/3597.01 c rounding : 1.42 0.00 2472 0 0
3587.56/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.56/3597.01 c shiftandpropagate: 0.22 0.00 2 0 0
3587.56/3597.01 c shifting : 6.56 0.00 1308 0 0
3587.56/3597.01 c simplerounding : 0.01 0.00 0 0 0
3587.56/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.56/3597.01 c subnlp : 0.02 0.00 0 0 0
3587.56/3597.01 c trivial : 0.01 0.00 4 0 0
3587.56/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.56/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.56/3597.01 c trysol : 0.01 0.00 0 0 0
3587.56/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.56/3597.01 c undercover : 0.00 0.00 0 0 0
3587.56/3597.01 c vbounds : 0.06 0.00 2 0 0
3587.56/3597.01 c veclendiving : 8.87 0.00 70 0 0
3587.56/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.56/3597.01 c zirounding : 0.05 0.00 1000 0 0
3587.56/3597.01 c other solutions : - - - 0 -
3587.56/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 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
3587.56/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.56/3597.01 c primal LP : 6.65 2505 0 0.00 0.00 6.65 2505
3587.56/3597.01 c dual LP : 2317.43 39076 11154210 315.09 4813.19 7.13 3676
3587.56/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.56/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.56/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.56/3597.01 c diving/probing LP: 220.30 13149 967441 73.58 4391.39
3587.56/3597.01 c strong branching : 600.86 18373 2790346 151.87 4643.88 - - 9467
3587.56/3597.01 c (at root node) : - 0 0 0.00 -
3587.56/3597.01 c conflict analysis: 0.08 22 180 8.18 2275.51
3587.56/3597.01 c B&B Tree :
3587.56/3597.01 c number of runs : 2
3587.56/3597.01 c nodes : 22075 (21532 internal, 543 leaves)
3587.56/3597.01 c feasible leaves : 0
3587.56/3597.01 c infeas. leaves : 543
3587.56/3597.01 c objective leaves : 0
3587.56/3597.01 c nodes (total) : 23294 (22718 internal, 576 leaves)
3587.56/3597.01 c nodes left : 20990
3587.56/3597.01 c max depth : 69
3587.56/3597.01 c max depth (total): 69
3587.56/3597.01 c backtracks : 692 (3.1%)
3587.56/3597.01 c early backtracks : 0 (0.0%)
3587.56/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.56/3597.01 c delayed cutoffs : 0
3587.56/3597.01 c repropagations : 2140 (4947 domain reductions, 0 cutoffs)
3587.56/3597.01 c avg switch length: 2.73
3587.56/3597.01 c switching time : 19.08
3587.56/3597.01 c Root Node :
3587.56/3597.01 c First LP value : +1.07767947127506e+09
3587.56/3597.01 c First LP Iters : 3282 (7276.76 Iter/sec)
3587.56/3597.01 c First LP Time : 0.45
3587.56/3597.01 c Final Dual Bound : +1.07775502832941e+09
3587.56/3597.01 c Final Root Iters : 21332
3587.56/3597.01 c Root LP Estimate : -
3587.56/3597.01 c Solution :
3587.56/3597.01 c Solutions found : 0 (0 improvements)
3587.56/3597.01 c Primal Bound : -
3587.56/3597.01 c Dual Bound : +1.07778425486947e+09
3587.56/3597.01 c Gap : infinite
3587.56/3597.01 c Integrals : Total Avg%
3587.56/3597.01 c primal-dual : 359700.19 100.00
3587.56/3597.01 c primal-ref : - - (not evaluated)
3587.56/3597.01 c dual-ref : - - (not evaluated)
3588.15/3597.67 c Time complete: 3588.24.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62974 MiB free)
memory of node 1: 64507 MiB (63970 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485468-1751313715/watcher-4485468-1751313715 -o /tmp/evaluation-result-4485468-1751313715/solver-4485468-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43766 --watchdog 3760 pbscip -f HOME/instance-4485468-1751313715.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=43817, runsolver pid=43805
[startup+0.100063 s]*
/proc/loadavg: 1.01 1.10 1.75 4/261 43822
/proc/meminfo: memFree=129824480/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=86932 memory=58832 CPUtime=0.08 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 11632 0 0 0 6 2 0 0 20 0 1 0 47049281 89018368 14708 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 21733 14708 3616 3530 0 13184 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86932 KiB
Current children cumulated memory: 58832 KiB
[startup+0.205382 s]*
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129751152/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=103636 memory=72852 CPUtime=0.18 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 14620 0 0 0 15 3 0 0 20 0 1 0 47049281 106123264 18213 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 25909 18213 3648 3530 0 17360 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 103636 KiB
Current children cumulated memory: 72852 KiB
[startup+0.305379 s]*
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129638508/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=104612 memory=74132 CPUtime=0.27 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 18224 0 0 0 24 3 0 0 20 0 1 0 47049281 107122688 18533 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 26153 18533 3744 3530 0 17604 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 104612 KiB
Current children cumulated memory: 74132 KiB
[startup+0.700174 s]
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129590124/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=122604 memory=90556 CPUtime=0.65 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 21433 0 0 0 61 4 0 0 20 0 1 0 47049281 125546496 22639 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 30651 22639 3744 3530 0 22102 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 122604 KiB
Current children cumulated memory: 90556 KiB
[startup+1.50011 s]
/proc/loadavg: 1.01 1.10 1.75 4/259 43830
/proc/meminfo: memFree=129388204/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=244212 memory=185392 CPUtime=1.45 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 44099 0 0 0 137 8 0 0 20 0 1 0 47049281 250073088 46348 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 61053 46348 3840 3530 0 52504 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 244212 KiB
Current children cumulated memory: 185392 KiB
[startup+3.10528 s]
/proc/loadavg: 1.33 1.16 1.77 5/258 43903
/proc/meminfo: memFree=129081756/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=327232 memory=260960 CPUtime=3.04 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 62996 0 0 0 293 11 0 0 20 0 1 0 47049281 335085568 65240 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 81808 65240 3936 3530 0 73259 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 327232 KiB
Current children cumulated memory: 260960 KiB
[startup+6.30013 s]
/proc/loadavg: 1.33 1.16 1.77 5/263 43912
/proc/meminfo: memFree=128714652/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=327232 memory=263648 CPUtime=6.22 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 63690 0 0 0 611 11 0 0 20 0 1 0 47049281 335085568 65912 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 81808 65912 3936 3530 0 73259 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 327232 KiB
Current children cumulated memory: 263648 KiB
[startup+12.7001 s]
/proc/loadavg: 1.74 1.26 1.79 5/263 43912
/proc/meminfo: memFree=128707100/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=327232 memory=265056 CPUtime=12.6 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 64041 0 0 0 1249 11 0 0 20 0 1 0 47049281 335085568 66264 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 81808 66264 3936 3530 0 73259 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 327232 KiB
Current children cumulated memory: 265056 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.35 1.81 5/263 43912
/proc/meminfo: memFree=128692032/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=327232 memory=265056 CPUtime=25.36 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 64058 0 0 0 2525 11 0 0 20 0 1 0 47049281 335085568 66264 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 81808 66264 3936 3530 0 73259 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 327232 KiB
Current children cumulated memory: 265056 KiB
[startup+51.1053 s]
/proc/loadavg: 2.87 1.60 1.88 5/264 43914
/proc/meminfo: memFree=128541880/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=397780 memory=338116 CPUtime=50.9 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 92311 0 0 0 5074 16 0 0 20 0 1 0 47049281 407326720 84529 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 99445 84529 3936 3530 0 90896 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 397780 KiB
Current children cumulated memory: 338116 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.02 2.01 5/264 43916
/proc/meminfo: memFree=128483872/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=431628 memory=372712 CPUtime=101.92 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 133110 0 0 0 10169 23 0 0 20 0 1 0 47049281 441987072 93178 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 107907 93178 3968 3530 0 99358 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 431628 KiB
Current children cumulated memory: 372712 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.40 2.15 5/264 43918
/proc/meminfo: memFree=128363348/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=456084 memory=397508 CPUtime=161.73 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 154536 0 0 0 16146 27 0 0 20 0 1 0 47049281 467030016 99377 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 114021 99377 3968 3530 0 105472 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 456084 KiB
Current children cumulated memory: 397508 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.27 5/264 43920
/proc/meminfo: memFree=128354556/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=465700 memory=405924 CPUtime=221.56 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 164287 0 0 0 22126 30 0 0 20 0 1 0 47049281 476876800 101481 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 116425 101481 3968 3530 0 107876 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 465700 KiB
Current children cumulated memory: 405924 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.96 2.39 5/264 43923
/proc/meminfo: memFree=128314112/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=496800 memory=439292 CPUtime=281.37 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 179066 0 0 0 28105 32 0 0 20 0 1 0 47049281 508723200 109823 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 124200 109823 3968 3530 0 115651 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 496800 KiB
Current children cumulated memory: 439292 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 3.20 2.51 5/264 43925
/proc/meminfo: memFree=128295216/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=515672 memory=457280 CPUtime=341.18 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 186044 0 0 0 34084 34 0 0 20 0 1 0 47049281 528048128 114320 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 128918 114320 3968 3530 0 120369 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 515672 KiB
Current children cumulated memory: 457280 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.36 2.61 5/264 43932
/proc/meminfo: memFree=128303816/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=527296 memory=469184 CPUtime=401 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 189022 0 0 0 40065 35 0 0 20 0 1 0 47049281 539951104 117296 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 131824 117296 3968 3530 0 123275 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 527296 KiB
Current children cumulated memory: 469184 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.70 5/263 43934
/proc/meminfo: memFree=128288396/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=527812 memory=469884 CPUtime=460.81 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 193696 0 0 0 46045 36 0 0 20 0 1 0 47049281 540479488 117471 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 131953 117471 3968 3530 0 123404 0
################
# More data... #
################
/proc/loadavg: 4.10 4.10 4.02 5/266 44060
/proc/meminfo: memFree=127341036/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1025264 memory=993048 CPUtime=3153.9 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 268898 0 0 0 315320 70 0 0 20 0 1 0 47049281 1049870336 248262 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 256316 248262 4128 3530 0 247767 0
Current children cumulated CPU time: 3153.9 s
Current children cumulated vsize: 1025264 KiB
Current children cumulated memory: 993048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/267 44063
/proc/meminfo: memFree=127324060/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1025264 memory=993048 CPUtime=3213.76 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 268902 0 0 0 321306 70 0 0 20 0 1 0 47049281 1049870336 248262 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 256316 248262 4128 3530 0 247767 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 1025264 KiB
Current children cumulated memory: 993048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/267 44067
/proc/meminfo: memFree=127330804/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1025264 memory=993048 CPUtime=3273.61 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 268903 0 0 0 327291 70 0 0 20 0 1 0 47049281 1049870336 248262 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 256316 248262 4128 3530 0 247767 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 1025264 KiB
Current children cumulated memory: 993048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.20 4.06 5/263 44069
/proc/meminfo: memFree=127267740/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1057796 memory=1025636 CPUtime=3333.47 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 269840 0 0 0 333276 71 0 0 20 0 1 0 47049281 1083183104 256409 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 264449 256409 4128 3530 0 255900 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 1057796 KiB
Current children cumulated memory: 1025636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.59 4.28 4.10 5/264 44076
/proc/meminfo: memFree=127271900/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3393.32 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273041 0 0 0 339259 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.27 4.11 5/264 44078
/proc/meminfo: memFree=127271836/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3453.17 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273050 0 0 0 345244 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.24 4.10 5/263 44080
/proc/meminfo: memFree=127272044/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3513.03 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273050 0 0 0 351230 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.22 4.10 5/263 44093
/proc/meminfo: memFree=127272584/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3572.89 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273055 0 0 0 357216 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3597.69 s]
# the end of solver process 43817 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.5 s, system=0.747515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.23 4.23 4.11 5/263 44093
/proc/meminfo: memFree=127272584/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3574.59 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273055 0 0 0 357386 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3590.4 s]
/proc/loadavg: 4.29 4.25 4.11 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3580.97 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273056 0 0 0 358024 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3580.97 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3593.6 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3584.16 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273056 0 0 0 358343 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3584.16 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3595.2 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3585.76 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273056 0 0 0 358503 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3596.8 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3587.35 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273056 0 0 0 358662 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3587.35 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3597.2 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3587.75 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273056 0 0 0 358702 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
[startup+3597.6 s]
/proc/loadavg: 4.35 4.26 4.12 5/263 44093
/proc/meminfo: memFree=127272600/131249996 swapFree=33010416/33010684
[pid=43817] ppid=43805 vsize=1075484 memory=1043248 CPUtime=3588.15 cores=5,7
/proc/43817/stat : 43817 (pbscip) R 43805 43817 43753 0 -1 4194304 273056 0 0 0 358742 73 0 0 20 0 1 0 47049281 1101295616 260812 18446744073709551615 4235264 18693293 140737288465888 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 36806656 140737288472969 140737288473068 140737288473068 140737288478670 0
/proc/43817/statm: 268871 260812 4128 3530 0 260322 0
Current children cumulated CPU time: 3588.15 s
Current children cumulated vsize: 1075484 KiB
Current children cumulated memory: 1043248 KiB
Child status: 0
Real time (s): 3597.69
CPU time (s): 3588.25
CPU user time (s): 3587.5
CPU system time (s): 0.747515
CPU usage (%): 99.7377
Max. virtual memory (cumulated for all children) (KiB): 1090356
Max. memory (cumulated for all children) (KiB): 1058152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.5
system time used= 0.747515
maximum resident set size= 1058152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273088
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= 133
involuntary context switches= 1813
# summary of solver processes directly reported to runsolver:
# pid: 43817
# total CPU time (s): 3588.25
# total CPU user time (s): 3587.5
# total CPU system time (s): 0.747515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55064 second user time and 14.6564 second system time
The end
Begin job on nodeC022 at 2025-06-30 22:01:55 IDJOB=4485468 IDBENCH=146795 IDSOLVER=3365 FILE ID=nodeC022/4485468-1751313715 RUNJOBID= nodeC022-1751313715-43766 SLURM_JOB_ID= 9594316 Free space on /tmp= 433052 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485468-1751313715/watcher-4485468-1751313715 -o /tmp/evaluation-result-4485468-1751313715/solver-4485468-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751313715-43766 --watchdog 3760 pbscip -f HOME/instance-4485468-1751313715.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 55b762fd6bb408eb2777c16ed585e3a1 RANDOM SEED=40033737 nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.713 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.183 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.241 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.702 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3741.732 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3542.607 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.696 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.684 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129994444 kB MemAvailable: 129769904 kB Buffers: 2128 kB Cached: 579296 kB SwapCached: 32 kB Active: 391844 kB Inactive: 253508 kB Active(anon): 77756 kB Inactive(anon): 4200 kB Active(file): 314088 kB Inactive(file): 249308 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 87164 kB Writeback: 0 kB AnonPages: 67008 kB Mapped: 102220 kB Shmem: 18028 kB KReclaimable: 102204 kB Slab: 189404 kB SReclaimable: 102204 kB SUnreclaim: 87200 kB KernelStack: 3924 kB PageTables: 2680 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 331060 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432980 MiB End job on nodeC022 at 2025-06-30 23:01:53