0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4491547-1751142754.opb>
0.30/0.34 c original problem has 62704 variables (62704 bin, 0 int, 0 cont) and 187107 constraints
0.30/0.34 c problem read in 0.347 seconds
0.30/0.35 c problem without objective
0.60/0.67 c presolving:
0.89/0.97 c (round 1, fast) 64 del vars, 2 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124606 clqs
0.89/0.98 c (round 2, fast) 126 del vars, 159 del conss, 0 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 124637 clqs
1.09/1.17 c (1.2s) running MILP presolver
129.46/129.91 c (129.9s) MILP presolver (53 rounds): 7323 aggregations, 8540 fixings, 0 bound changes
129.56/130.01 c (round 3, medium) 15991 del vars, 187107 del conss, 142428 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 94561 clqs
129.76/130.28 c (round 4, exhaustive) 15991 del vars, 187259 del conss, 142428 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 0 upgd conss, 0 impls, 95335 clqs
130.15/130.63 c (round 5, exhaustive) 15992 del vars, 187261 del conss, 142428 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 142274 upgd conss, 0 impls, 95333 clqs
130.76/131.24 c (round 6, exhaustive) 15992 del vars, 326573 del conss, 188863 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 142274 upgd conss, 0 impls, 95333 clqs
170.30/170.93 c (170.9s) probing: 1000/46762 (2.1%) - 15 fixings, 4 aggregations, 2508203 implications, 0 bound changes
191.81/192.52 c (round 7, exhaustive) 16045 del vars, 326574 del conss, 188864 add conss, 1 chg bounds, 252 chg sides, 504 chg coeffs, 142274 upgd conss, 0 impls, 439554 clqs
192.11/192.80 c (round 8, exhaustive) 16063 del vars, 326791 del conss, 189061 add conss, 1 chg bounds, 252 chg sides, 512 chg coeffs, 142280 upgd conss, 0 impls, 439321 clqs
192.21/192.99 c (round 9, exhaustive) 16483 del vars, 327235 del conss, 189071 add conss, 1 chg bounds, 252 chg sides, 512 chg coeffs, 142280 upgd conss, 0 impls, 424943 clqs
202.77/203.56 c (203.6s) probing: 2000/46762 (4.3%) - 35 fixings, 15 aggregations, 4285379 implications, 0 bound changes
223.39/224.27 c (224.3s) probing: 3000/46762 (6.4%) - 35 fixings, 22 aggregations, 5085084 implications, 0 bound changes
254.47/255.46 c (255.5s) probing: 4000/46762 (8.6%) - 35 fixings, 23 aggregations, 6406905 implications, 0 bound changes
276.08/277.15 c (277.2s) probing: 4656/46762 (10.0%) - 35 fixings, 23 aggregations, 7345289 implications, 0 bound changes
276.08/277.15 c (277.2s) probing aborted: 1000/1000 successive useless probings
276.08/277.15 c (277.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
276.38/277.43 c (277.4s) no symmetry present (symcode time: 0.19)
276.68/277.70 c presolving (10 rounds: 10 fast, 8 medium, 7 exhaustive):
276.68/277.70 c 16501 deleted vars, 327241 deleted constraints, 189072 added constraints, 1 tightened bounds, 0 added holes, 252 changed sides, 512 changed coefficients
276.68/277.70 c 0 implications, 435061 cliques
276.68/277.70 c presolved problem has 46265 variables (46265 bin, 0 int, 0 cont) and 48909 constraints
276.68/277.70 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
276.68/277.70 c 504 constraints of type <knapsack>
276.68/277.70 c 2647 constraints of type <setppc>
276.68/277.70 c 45756 constraints of type <and>
276.68/277.70 c 2 constraints of type <logicor>
276.68/277.70 c transformed objective value is always integral (scale: 1)
276.68/277.70 c Presolving Time: 277.05
276.68/277.70 c
276.68/277.70 c - non default parameters ----------------------------------------------------------------------
276.68/277.70 c
276.68/277.70 c # SCIP version 10.0.0
276.68/277.70 c
276.68/277.70 c # maximal time in seconds to run
276.68/277.70 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
276.68/277.70 c limits/time = 3596.998122
276.68/277.70 c
276.68/277.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
276.68/277.70 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
276.68/277.70 c limits/memory = 27900
276.68/277.70 c
276.68/277.70 c # belongs reading time to solving time?
276.68/277.70 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
276.68/277.70 c timing/reading = TRUE
276.68/277.70 c
276.68/277.70 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
276.68/277.70 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
276.68/277.70 c reading/opbreader/maxintsize = 47
276.68/277.70 c
276.68/277.70 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
276.68/277.70 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
276.68/277.70 c propagating/genvbounds/timingmask = 0
276.68/277.70 c
276.68/277.70 c -----------------------------------------------------------------------------------------------
276.68/277.71 c
279.56/280.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
279.56/280.67 c 281s| 1 | 0 | 3388 | - | 739M | 0 | 46k| 49k| 94k| 0 | 0 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
297.22/298.38 c 298s| 1 | 0 | 12670 | - | 774M | 0 | 46k| 49k| 95k| 590 | 1 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
312.58/313.77 c 314s| 1 | 0 | 16060 | - | 788M | 0 | 46k| 49k| 95k|1249 | 2 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
330.04/331.20 c 331s| 1 | 0 | 20467 | - | 808M | 0 | 46k| 49k| 96k|1808 | 3 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
347.60/348.88 c 349s| 1 | 0 | 24505 | - | 826M | 0 | 46k| 49k| 97k|2428 | 4 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
366.55/367.88 c 368s| 1 | 0 | 28949 | - | 841M | 0 | 46k| 49k| 97k|2987 | 5 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
387.69/389.01 c 389s| 1 | 0 | 33799 | - | 855M | 0 | 46k| 49k| 98k|3483 | 6 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
406.73/408.15 c 408s| 1 | 0 | 37816 | - | 877M | 0 | 46k| 49k| 98k|3973 | 7 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
428.48/429.99 c 430s| 1 | 0 | 42003 | - | 894M | 0 | 46k| 49k| 99k|4442 | 8 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
446.43/447.96 c 448s| 1 | 0 | 44995 | - | 908M | 0 | 46k| 49k| 99k|4877 | 9 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
464.39/465.90 c 466s| 1 | 0 | 48311 | - | 924M | 0 | 46k| 49k| 99k|5226 | 10 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
483.84/485.48 c 485s| 1 | 0 | 52233 | - | 935M | 0 | 46k| 49k| 100k|5589 | 11 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
532.29/534.02 c 534s| 1 | 2 | 60937 | - | 937M | 0 | 46k| 49k| 100k|5589 | 11 | 142 | 19 | 0.000000e+00 | -- | Inf | unknown
632.40/634.48 c 634s| 100 | 58 |239566 |1892.3 | 972M | 34 | 46k| 49k| 99k| 13k| 2 | 826 | 19 | 0.000000e+00 | -- | Inf | 0.80%
713.54/715.88 c 716s| 200 | 41 |367554 |1584.5 | 983M | 38 | 46k| 49k| 100k| 21k| 2 | 962 | 19 | 0.000000e+00 | -- | Inf | 2.76%
744.24/746.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
744.24/746.60 c 747s| 300 | 40 |432098 |1270.5 | 987M | 38 | 46k| 50k| 100k| 30k| 2 |1135 | 19 | 0.000000e+00 | -- | Inf | 2.80%
765.38/767.88 c 768s| 400 | 65 |469569 |1046.0 | 1072M | 47 | 46k| 50k| 0 | 33k| 0 |1469 | 19 | 0.000000e+00 | -- | Inf | 2.80%
789.01/791.56 c 792s| 500 | 74 |500161 | 897.7 | 1100M | 47 | 46k| 50k| 100k| 36k| 2 |1794 | 19 | 0.000000e+00 | -- | Inf | 2.80%
815.12/817.79 c 818s| 600 | 72 |544696 | 822.1 | 1111M | 47 | 46k| 50k| 100k| 39k| 0 |2080 | 19 | 0.000000e+00 | -- | Inf | 2.81%
847.52/850.22 c 850s| 700 | 98 |615950 | 806.5 | 1123M | 47 | 46k| 51k| 0 | 46k| 0 |2286 | 19 | 0.000000e+00 | -- | Inf | 2.82%
877.12/879.96 c 880s| 800 | 112 |669686 | 772.8 | 1133M | 47 | 46k| 51k| 100k| 49k| 2 |2848 | 19 | 0.000000e+00 | -- | Inf | 2.82%
896.65/899.59 c 900s| 900 | 112 |685164 | 704.0 | 1144M | 47 | 46k| 51k| 0 | 50k| 0 |3112 | 19 | 0.000000e+00 | -- | Inf | 2.82%
915.68/918.66 c 919s| 1000 | 91 |704995 | 653.4 | 1155M | 47 | 46k| 51k| 101k| 52k| 2 |3405 | 19 | 0.000000e+00 | -- | Inf | 2.82%
932.24/935.22 c 935s| 1100 | 90 |722973 | 610.3 | 1164M | 47 | 46k| 51k| 0 | 53k| 0 |3660 | 19 | 0.000000e+00 | -- | Inf | 2.82%
949.99/953.01 c 953s| 1200 | 87 |748816 | 581.0 | 1174M | 47 | 46k| 51k| 0 | 55k| 0 |3943 | 19 | 0.000000e+00 | -- | Inf | 2.82%
966.74/969.80 c 970s| 1300 | 75 |760557 | 545.3 | 1184M | 47 | 46k| 51k| 100k| 56k| 1 |4072 | 19 | 0.000000e+00 | -- | Inf | 2.82%
994.86/998.07 c 998s| 1400 | 81 |814304 | 544.7 | 1196M | 47 | 46k| 51k| 100k| 61k| 2 |4390 | 19 | 0.000000e+00 | -- | Inf | 2.85%
1016.68/1019.96 c 1020s| 1500 | 84 |843926 | 528.1 | 1209M | 47 | 46k| 51k| 100k| 63k| 0 |4692 | 19 | 0.000000e+00 | -- | Inf | 2.85%
1032.13/1035.45 c 1035s| 1600 | 80 |856256 | 502.8 | 1221M | 47 | 46k| 51k| 100k| 64k| 2 |4861 | 19 | 0.000000e+00 | -- | Inf | 2.85%
1046.98/1050.31 c 1050s| 1700 | 93 |870030 | 481.3 | 1233M | 47 | 46k| 51k| 0 | 65k| 0 |5197 | 19 | 0.000000e+00 | -- | Inf | 2.85%
1064.52/1067.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1064.52/1067.93 c 1068s| 1800 | 80 |890508 | 466.0 | 1247M | 47 | 46k| 51k| 100k| 67k| 1 |5376 | 19 | 0.000000e+00 | -- | Inf | 2.85%
1080.96/1084.40 c 1084s| 1900 | 77 |906763 | 450.0 | 1258M | 47 | 46k| 51k| 100k| 69k| 2 |5526 | 19 | 0.000000e+00 | -- | Inf | 2.85%
1081.66/1085.13 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1081.96/1085.41 c (run 1, node 1906) performing user restart
1081.96/1085.41 c
1082.06/1085.51 c (restart) converted 1864 cuts from the global cut pool into linear constraints
1082.06/1085.51 c
1082.16/1085.67 c presolving:
1082.26/1085.70 c (round 1, fast) 1 del vars, 199 del conss, 0 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 435025 clqs
1082.56/1086.05 c (round 2, exhaustive) 310 del vars, 517 del conss, 9 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 421844 clqs
1082.56/1086.07 c (round 3, fast) 310 del vars, 560 del conss, 9 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 421844 clqs
1082.75/1086.24 c (round 4, exhaustive) 356 del vars, 606 del conss, 9 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 420329 clqs
1082.95/1086.42 c (round 5, exhaustive) 391 del vars, 645 del conss, 9 add conss, 0 chg bounds, 28 chg sides, 41 chg coeffs, 1824 upgd conss, 0 impls, 419292 clqs
1083.15/1086.60 c (round 6, exhaustive) 418 del vars, 680 del conss, 15 add conss, 0 chg bounds, 36 chg sides, 59 chg coeffs, 1824 upgd conss, 0 impls, 418549 clqs
1083.35/1086.80 c (round 7, exhaustive) 438 del vars, 1429 del conss, 15 add conss, 0 chg bounds, 36 chg sides, 497 chg coeffs, 1824 upgd conss, 0 impls, 418045 clqs
1083.56/1087.10 c presolving (8 rounds: 8 fast, 6 medium, 6 exhaustive):
1083.56/1087.10 c 448 deleted vars, 1451 deleted constraints, 15 added constraints, 0 tightened bounds, 0 added holes, 36 changed sides, 503 changed coefficients
1083.56/1087.10 c 0 implications, 417820 cliques
1083.56/1087.10 c presolved problem has 45817 variables (45817 bin, 0 int, 0 cont) and 52057 constraints
1083.56/1087.10 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1083.56/1087.10 c 528 constraints of type <knapsack>
1083.56/1087.10 c 4438 constraints of type <setppc>
1083.56/1087.10 c 45299 constraints of type <and>
1083.56/1087.10 c 1792 constraints of type <logicor>
1083.56/1087.10 c transformed objective value is always integral (scale: 1)
1083.56/1087.10 c Presolving Time: 278.50
1083.66/1087.11 c
1085.35/1088.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1085.35/1088.85 c 1089s| 1 | 0 |912133 | - | 1254M | 0 | 45k| 52k| 95k| 0 | 0 |5557 | 19 | 0.000000e+00 | -- | Inf | unknown
1098.61/1102.16 c 1102s| 1 | 0 |915226 | - | 1270M | 0 | 45k| 52k| 96k| 600 | 1 |5558 | 19 | 0.000000e+00 | -- | Inf | unknown
1114.75/1118.31 c 1118s| 1 | 0 |920160 | - | 1281M | 0 | 45k| 52k| 96k|1178 | 2 |5559 | 19 | 0.000000e+00 | -- | Inf | unknown
1132.89/1136.57 c 1137s| 1 | 0 |925490 | - | 1292M | 0 | 45k| 52k| 97k|1931 | 3 |5561 | 19 | 0.000000e+00 | -- | Inf | unknown
1152.43/1156.19 c 1156s| 1 | 0 |931484 | - | 1303M | 0 | 45k| 52k| 98k|2740 | 4 |5562 | 19 | 0.000000e+00 | -- | Inf | unknown
1173.07/1176.82 c 1177s| 1 | 0 |937317 | - | 1314M | 0 | 45k| 52k| 99k|3587 | 5 |5568 | 19 | 0.000000e+00 | -- | Inf | unknown
1194.81/1198.64 c 1199s| 1 | 0 |943986 | - | 1326M | 0 | 45k| 52k| 99k|4307 | 6 |5569 | 19 | 0.000000e+00 | -- | Inf | unknown
1219.43/1223.38 c 1223s| 1 | 0 |951800 | - | 1336M | 0 | 45k| 52k| 100k|5057 | 7 |5570 | 19 | 0.000000e+00 | -- | Inf | unknown
1242.05/1246.02 c 1246s| 1 | 0 |959432 | - | 1345M | 0 | 45k| 52k| 101k|5777 | 8 |5572 | 19 | 0.000000e+00 | -- | Inf | unknown
1266.37/1270.44 c 1270s| 1 | 0 |968725 | - | 1357M | 0 | 45k| 52k| 102k|6457 | 9 |5573 | 19 | 0.000000e+00 | -- | Inf | unknown
1293.19/1297.39 c 1297s| 1 | 0 |978256 | - | 1369M | 0 | 45k| 52k| 101k|7248 | 10 |5578 | 19 | 0.000000e+00 | -- | Inf | unknown
1317.52/1321.78 c 1322s| 1 | 0 |986085 | - | 1379M | 0 | 45k| 52k| 102k|7995 | 11 |5579 | 19 | 0.000000e+00 | -- | Inf | unknown
1368.24/1372.64 c 1373s| 1 | 2 | 1002k| - | 1380M | 0 | 45k| 52k| 102k|7995 | 11 |5594 | 38 | 0.000000e+00 | -- | Inf | unknown
1867.69/1873.75 c 1874s| 100 | 64 | 1314k| 590.5 | 1398M | 20 | 45k| 52k| 0 | 22k| 0 |5946 | 38 | 0.000000e+00 | -- | Inf | unknown
1901.46/1907.68 c 1908s| 200 | 53 | 1390k| 598.7 | 1409M | 23 | 45k| 52k| 98k| 29k| 2 |6200 | 38 | 0.000000e+00 | -- | Inf | unknown
1955.87/1962.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1955.87/1962.28 c 1962s| 300 | 73 | 1466k| 605.8 | 1416M | 30 | 45k| 52k| 0 | 33k| 0 |6460 | 38 | 0.000000e+00 | -- | Inf | unknown
2022.48/2029.01 c 2029s| 400 | 91 | 1609k| 641.4 | 1432M | 30 | 45k| 51k| 98k| 43k| 2 |6660 | 38 | 0.000000e+00 | -- | Inf | unknown
2047.79/2054.44 c 2054s| 500 | 102 | 1656k| 634.6 | 1439M | 30 | 45k| 52k| 99k| 46k| 2 |6844 | 38 | 0.000000e+00 | -- | Inf | unknown
2087.94/2094.76 c 2095s| 600 | 104 | 1744k| 644.3 | 1447M | 30 | 45k| 52k| 98k| 53k| 2 |7029 | 38 | 0.000000e+00 | -- | Inf | 0.51%
2117.54/2124.47 c 2124s| 700 | 94 | 1795k| 639.0 | 1453M | 30 | 45k| 52k| 0 | 58k| 0 |7166 | 38 | 0.000000e+00 | -- | Inf | 0.53%
2154.72/2161.75 c 2162s| 800 | 83 | 1877k| 645.9 | 1463M | 30 | 45k| 52k| 0 | 68k| 0 |7303 | 38 | 0.000000e+00 | -- | Inf | 0.96%
2252.13/2259.40 c 2259s| 900 | 87 | 2024k| 675.2 | 1470M | 30 | 45k| 52k| 99k| 76k| 2 |7634 | 38 | 0.000000e+00 | -- | Inf | 1.06%
2334.57/2342.18 c 2342s| 1000 | 82 | 2147k| 694.3 | 1482M | 30 | 45k| 52k| 98k| 86k| 2 |7848 | 38 | 0.000000e+00 | -- | Inf | 1.69%
2355.29/2362.95 c 2363s| 1100 | 79 | 2180k| 682.3 | 1488M | 30 | 45k| 52k| 98k| 90k| 2 |8104 | 38 | 0.000000e+00 | -- | Inf | 1.74%
2384.82/2392.55 c 2393s| 1200 | 84 | 2258k| 685.4 | 1498M | 30 | 45k| 52k| 99k| 101k| 2 |8248 | 38 | 0.000000e+00 | -- | Inf | 1.83%
2412.05/2419.82 c 2420s| 1300 | 80 | 2322k| 683.8 | 1508M | 30 | 45k| 52k| 98k| 108k| 2 |8359 | 38 | 0.000000e+00 | -- | Inf | 1.92%
2445.35/2453.27 c 2453s| 1400 | 59 | 2407k| 689.0 | 1519M | 30 | 45k| 52k| 98k| 120k| 2 |8465 | 38 | 0.000000e+00 | -- | Inf | 2.98%
2746.86/2755.52 c 2756s| 1500 | 85 | 2759k| 772.0 | 1537M | 30 | 45k| 52k| 100k| 135k| 2 |8730 | 38 | 0.000000e+00 | -- | Inf | 4.01%
2830.44/2839.31 c 2839s| 1600 | 103 | 2931k| 799.2 | 1555M | 30 | 45k| 52k| 98k| 147k| 2 |9063 | 38 | 0.000000e+00 | -- | Inf | 4.01%
2879.00/2888.07 c 2888s| 1700 | 105 | 3061k| 812.9 | 1576M | 30 | 45k| 52k| 99k| 158k| 2 |9234 | 38 | 0.000000e+00 | -- | Inf | 4.05%
2955.19/2964.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2955.19/2964.48 c 2964s| 1800 | 88 | 3182k| 823.7 | 1605M | 30 | 45k| 52k| 100k| 169k| 2 |9507 | 38 | 0.000000e+00 | -- | Inf | 4.11%
3026.39/3035.85 c 3036s| 1900 | 92 | 3328k| 840.5 | 1622M | 30 | 45k| 52k| 99k| 181k| 2 |9990 | 38 | 0.000000e+00 | -- | Inf | 4.11%
3081.93/3091.52 c 3092s| 2000 | 96 | 3466k| 854.2 | 1644M | 30 | 45k| 53k| 100k| 194k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 4.11%
3184.76/3194.66 c 3195s| 2100 | 110 | 3705k| 892.5 | 1669M | 30 | 45k| 53k| 100k| 209k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 4.11%
3537.84/3548.66 c 3549s| 2200 | 114 | 4068k| 959.3 | 1699M | 30 | 45k| 53k| 98k| 224k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 4.33%
3586.01/3597.00 c
3586.01/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.01/3597.00 c Solving Time (sec) : 3597.00
3586.01/3597.00 c Solving Nodes : 2207 (total of 4113 nodes in 2 runs)
3586.01/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.01/3597.00 c Dual Bound : +0.00000000000000e+00
3586.01/3597.00 c Gap : infinite
3586.01/3597.00 s UNKNOWN
3586.01/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.01/3597.00 c Total Time : 3597.00
3586.01/3597.00 c solving : 3597.00
3586.01/3597.00 c presolving : 278.50 (included in solving)
3586.01/3597.00 c reading : 0.35 (included in solving)
3586.01/3597.00 c copying : 0.73 (7 #copies) (minimal 0.09, maximal 0.12, average 0.10)
3586.01/3597.00 c Original Problem :
3586.01/3597.00 c Problem name : HOME/instance-4491547-1751142754.opb
3586.01/3597.00 c Variables : 62704 (62704 binary, 0 integer, 0 continuous)
3586.01/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.01/3597.00 c Constraints : 187107 initial, 187107 maximal
3586.12/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.12/3597.00 c Presolved Problem :
3586.12/3597.00 c Problem name : t_HOME/instance-4491547-1751142754.opb
3586.12/3597.00 c Variables : 45817 (45817 binary, 0 integer, 0 continuous)
3586.12/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.12/3597.00 c Constraints : 52057 initial, 53483 maximal
3586.12/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.12/3597.00 c Nonzeros : 192363 constraint, 835818 clique table
3586.12/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.12/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c gateextraction : 0.47 0.00 11 0 0 0 0 0 139312 46435 0 0
3586.12/3597.00 c implics : 0.01 0.00 14 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c milp : 128.91 0.00 1 8540 7323 0 0 0 186948 142428 0 0
3586.12/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c trivial : 0.03 0.00 18 62 0 0 0 0 0 0 0 0
3586.12/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c dualfix : 0.03 0.00 18 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c probing : 145.12 0.00 2 35 23 0 0 0 0 0 0 0
3586.12/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c symmetry : 0.28 0.00 1 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c vbounds : 0.42 0.01 3 0 2 0 0 0 0 0 0 0
3586.12/3597.00 c knapsack : 0.03 0.00 34 0 0 0 0 0 3 6 8 18
3586.12/3597.00 c setppc : 0.23 0.00 34 0 0 0 0 0 81 0 0 0
3586.12/3597.00 c and : 1.33 0.04 22 1 898 0 0 0 1094 218 0 9
3586.12/3597.00 c linear : 0.87 0.05 13 1 2 0 1 0 360 0 280 544
3586.12/3597.00 c logicor : 0.26 0.02 28 0 0 0 0 0 894 0 0 444
3586.12/3597.00 c components : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.12/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.12/3597.00 c integral : 0 0 0 0 3056 0 0 636 0 0 0 0 0 0 6112
3586.12/3597.00 c knapsack : 528+ 529 22 328319 0 0 0 631 67971 924 112770 4267 244 0 0
3586.12/3597.00 c setppc : 4438+ 4475 22 327395 0 0 0 3 89569 58 68548 33 7 0 0
3586.12/3597.00 c and : 45299 45299 5912 327337 0 0 0 0 3560961 1352 3935811 1648990 275407 0 0
3586.12/3597.00 c linear : 0+ 5 0 107339 0 0 0 3 166 3 164 0 0 0 0
3586.12/3597.00 c logicor : 1792+ 3175 22 35034 0 0 0 0 41922 607 20517 99 21 0 0
3586.12/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.12/3597.00 c integral : 77.24 0.00 0.00 0.00 77.24 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c knapsack : 1.98 0.00 0.04 1.89 0.00 0.00 0.00 0.00 0.04 0.00
3586.12/3597.00 c setppc : 3.17 0.00 0.01 3.11 0.00 0.00 0.00 0.00 0.04 0.01
3586.12/3597.00 c and : 151.47 0.04 17.59 129.55 0.00 0.00 0.00 0.00 1.64 2.65
3586.12/3597.00 c linear : 0.08 0.05 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c logicor : 1.31 0.02 0.01 1.18 0.00 0.00 0.00 0.00 0.10 0.00
3586.12/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.12/3597.00 c dualfix : 2 0 0 0
3586.12/3597.00 c genvbounds : 0 0 0 0
3586.12/3597.00 c nlobbt : 0 0 0 0
3586.12/3597.00 c obbt : 0 0 0 0
3586.12/3597.00 c probing : 0 0 0 0
3586.12/3597.00 c pseudoobj : 0 0 0 0
3586.12/3597.00 c redcost : 0 0 0 0
3586.12/3597.00 c rootredcost : 0 0 0 0
3586.12/3597.00 c symmetry : 0 0 0 0
3586.12/3597.00 c vbounds : 162045 0 0 0
3586.12/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.12/3597.00 c dualfix : 0.04 0.00 0.03 0.00 0.00 0.00
3586.12/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.12/3597.00 c probing : 145.12 0.00 145.12 0.00 0.00 0.00
3586.12/3597.00 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3586.12/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.12/3597.00 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.12/3597.00 c symmetry : 0.33 0.00 0.28 0.05 0.00 0.00
3586.12/3597.00 c vbounds : 193.92 0.01 0.42 193.45 0.00 0.04
3586.12/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.12/3597.00 c propagation : 2.79 2941 2889 - 26925 104.2 600 26.1 - - -
3586.12/3597.00 c infeasible LP : 0.55 61 61 - 165 46.0 17 8.4 61 5.2 0
3586.12/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.12/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.12/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.12/3597.00 c applied globally : 1.08 - - 0 10962 43.5 - - 61 - -
3586.12/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.12/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.12/3597.00 c cut pool : 0.86 - 683 42 - - 35420 100776 - - - - - (maximal pool size: 19845)
3586.12/3597.00 c aggregation : 0.81 0.00 36 22 0 0 121 1173 32 263 252 11 0
3586.12/3597.00 c > cmir : - - - - - - - 836 0 173 173 0 -
3586.12/3597.00 c > flowcover : - - - - - - - 317 0 78 78 0 -
3586.12/3597.00 c > knapsackcover : - - - - - - - 20 32 12 1 11 -
3586.12/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c clique : 311.33 0.00 22 22 0 0 86 256 0 13 13 0 0
3586.12/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c gomory : 19.55 0.00 34 20 0 0 4716 16013 50 1104 1104 0 0
3586.12/3597.00 c > gomorymi : - - - - - - - 7283 25 392 392 0 -
3586.12/3597.00 c > strongcg : - - - - - - - 8730 25 712 712 0 -
3586.12/3597.00 c impliedbounds : 1.46 0.00 36 22 0 0 29857 81353 0 17876 17876 0 0
3586.12/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c mcf : 0.15 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c multilinear : 0.34 0.00 337 22 0 0 494 321 241 182 147 35 0
3586.12/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.12/3597.00 c zerohalf : 1.89 0.00 36 22 0 0 479 1660 10 636 631 5 0
3586.12/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.12/3597.00 c hybrid : 4.38 0.00 5472 22 295803 0 1458695 13591 0 64591
3586.12/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.12/3597.00 c problem variables: 0.00 - 0 0
3586.12/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.12/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c relpscost : 77.23 0.00 3056 0 0 0 0 0 0 6112
3586.12/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.12/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.12/3597.00 c LP solutions : 0.00 - - 0 0
3586.12/3597.00 c relax solutions : 0.00 - - 0 0
3586.12/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.12/3597.00 c strong branching : 0.00 - - 0 0
3586.12/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.12/3597.00 c adaptivediving : 78.05 0.00 9 0 0
3586.12/3597.00 c alns : 2.43 0.00 5 0 0
3586.12/3597.00 c bound : 0.00 0.00 0 0 0
3586.12/3597.00 c clique : 0.62 0.00 1 0 0
3586.12/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.12/3597.00 c completesol : 0.00 0.00 0 0 0
3586.12/3597.00 c conflictdiving : 104.44 0.00 55 0 0
3586.12/3597.00 c crossover : 0.00 0.00 0 0 0
3586.12/3597.00 c dins : 0.00 0.00 0 0 0
3586.12/3597.00 c distributiondivin: 44.56 0.00 55 0 0
3586.12/3597.00 c dks : 0.00 0.00 0 0 0
3586.12/3597.00 c dps : 0.00 0.00 0 0 0
3586.12/3597.00 c dualval : 0.00 0.00 0 0 0
3586.12/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.12/3597.00 c feaspump : 33.14 0.00 12 0 0
3586.12/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.12/3597.00 c fracdiving : 61.75 0.00 55 0 0
3586.12/3597.00 c gins : 0.00 0.00 0 0 0
3586.12/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.12/3597.00 c indicator : 0.00 0.00 0 0 0
3586.12/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.12/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.12/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.12/3597.00 c linesearchdiving : 40.52 0.00 55 0 0
3586.12/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.12/3597.00 c locks : 0.17 0.00 1 0 0
3586.12/3597.00 c lpface : 0.47 0.00 0 0 0
3586.12/3597.00 c mpec : 0.00 0.00 0 0 0
3586.12/3597.00 c multistart : 0.00 0.00 0 0 0
3586.12/3597.00 c mutation : 0.00 0.00 0 0 0
3586.12/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.12/3597.00 c objpscostdiving : 401.49 0.00 8 0 0
3586.12/3597.00 c octane : 0.00 0.00 0 0 0
3586.12/3597.00 c ofins : 0.00 0.00 0 0 0
3586.12/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.12/3597.00 c padm : 0.00 0.00 0 0 0
3586.12/3597.00 c proximity : 0.00 0.00 0 0 0
3586.12/3597.00 c pscostdiving : 63.68 0.00 56 0 0
3586.12/3597.00 c randrounding : 3.60 0.00 646 0 0
3586.12/3597.00 c rens : 0.94 0.00 2 0 0
3586.12/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.12/3597.00 c repair : 0.00 0.00 0 0 0
3586.12/3597.00 c rins : 0.00 0.00 0 0 0
3586.12/3597.00 c rootsoldiving : 51.26 0.00 6 0 0
3586.12/3597.00 c rounding : 4.99 0.00 1230 0 0
3586.12/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.12/3597.00 c shiftandpropagate: 0.97 0.00 2 0 0
3586.12/3597.00 c shifting : 9.76 0.00 372 0 0
3586.12/3597.00 c simplerounding : 0.01 0.00 0 0 0
3586.12/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.12/3597.00 c trivial : 0.06 0.00 4 0 0
3586.12/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.12/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.12/3597.00 c trysol : 0.00 0.00 0 0 0
3586.12/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.12/3597.00 c undercover : 0.80 0.00 1 0 0
3586.12/3597.00 c vbounds : 1.15 0.00 2 0 0
3586.12/3597.00 c veclendiving : 42.98 0.00 55 0 0
3586.12/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.12/3597.00 c zirounding : 1.59 0.00 1000 0 0
3586.12/3597.00 c other solutions : - - - 0 -
3586.12/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.12/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.12/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.12/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.12/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.12/3597.00 c primal LP : 2.47 242 0 0.00 0.00 2.47 242
3586.12/3597.00 c dual LP : 1537.31 8545 3302448 386.61 2148.20 0.02 3
3586.12/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.12/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.12/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.12/3597.00 c diving/probing LP: 877.96 1246 825601 662.60 940.36
3586.12/3597.00 c strong branching : 55.51 38 32972 867.68 594.00 - - 63
3586.12/3597.00 c (at root node) : - 38 32972 867.68 -
3586.12/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.12/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.12/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.12/3597.00 c B&B Tree :
3586.12/3597.00 c number of runs : 2
3586.12/3597.00 c nodes : 2207 (1667 internal, 540 leaves)
3586.12/3597.00 c feasible leaves : 0
3586.12/3597.00 c infeas. leaves : 539
3586.12/3597.00 c objective leaves : 0
3586.12/3597.00 c nodes (total) : 4113 (3056 internal, 1057 leaves)
3586.12/3597.00 c nodes left : 120
3586.12/3597.00 c max depth : 30
3586.12/3597.00 c max depth (total): 47
3586.12/3597.00 c backtracks : 637 (28.9%)
3586.12/3597.00 c early backtracks : 0 (0.0%)
3586.12/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.12/3597.00 c delayed cutoffs : 1009
3586.12/3597.00 c repropagations : 2238 (961128 domain reductions, 464 cutoffs)
3586.12/3597.00 c avg switch length: 3.90
3586.12/3597.00 c switching time : 18.52
3586.12/3597.00 c Root Node :
3586.12/3597.00 c First LP value : +0.00000000000000e+00
3586.12/3597.00 c First LP Iters : 3388 (4392.36 Iter/sec)
3586.12/3597.00 c First LP Time : 0.77
3586.12/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.12/3597.00 c Final Root Iters : 130586
3586.12/3597.00 c Root LP Estimate : +1.81620543320642e-02
3586.12/3597.00 c Solution :
3586.12/3597.00 c Solutions found : 0 (0 improvements)
3586.12/3597.00 c Primal Bound : -
3586.12/3597.00 c Dual Bound : +0.00000000000000e+00
3586.12/3597.00 c Gap : infinite
3586.12/3597.00 c Integrals : Total Avg%
3586.12/3597.00 c primal-dual : 359700.12 100.00
3586.12/3597.00 c primal-ref : - - (not evaluated)
3586.12/3597.00 c dual-ref : - - (not evaluated)
3586.51/3597.48 c Time complete (sec): 3586.608
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 (63023 MiB free)
memory of node 1: 64507 MiB (64035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491547-1751142754/watcher-4491547-1751142754 -o /tmp/evaluation-result-4491547-1751142754/solver-4491547-1751142754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751142754-13720 --watchdog 3760 pbsolver -f HOME/instance-4491547-1751142754.opb -t 3600 -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
Starting watchdog thread
solver pid=13771, runsolver pid=13759
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.11 1.14 1.80 5/263 13776
/proc/meminfo: memFree=129936248/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=69336 memory=58240 CPUtime=0.09 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 12607 0 0 0 8 1 0 0 20 0 1 0 29953237 71000064 14560 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 17334 14560 2176 2575 0 14241 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 69336 KiB
Current children cumulated memory: 58240 KiB
[startup+0.20551 s]*
/proc/loadavg: 1.11 1.14 1.80 5/263 13776
/proc/meminfo: memFree=129839732/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=115472 memory=103936 CPUtime=0.2 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 24039 0 0 0 17 3 0 0 20 0 1 0 29953237 118243328 25952 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 28868 25952 2176 2575 0 25775 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115472 KiB
Current children cumulated memory: 103936 KiB
[startup+0.305473 s]*
/proc/loadavg: 1.11 1.14 1.80 5/263 13776
/proc/meminfo: memFree=129759092/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=158080 memory=146944 CPUtime=0.3 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 34816 0 0 0 25 5 0 0 20 0 1 0 29953237 161873920 36736 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 39520 36736 2176 2575 0 36427 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 158080 KiB
Current children cumulated memory: 146944 KiB
[startup+0.700179 s]
/proc/loadavg: 1.11 1.14 1.80 5/263 13776
/proc/meminfo: memFree=129551528/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=390232 memory=372556 CPUtime=0.68 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 91363 0 0 0 56 12 0 0 20 0 1 0 29953237 399597568 93139 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 97558 93139 2400 2575 0 94465 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 390232 KiB
Current children cumulated memory: 372556 KiB
[startup+1.50018 s]
/proc/loadavg: 1.11 1.14 1.80 5/263 13776
/proc/meminfo: memFree=129241252/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=538524 memory=518040 CPUtime=1.48 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 116952 0 0 0 129 19 0 0 20 0 1 0 29953237 551448576 129510 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 134631 129510 2528 2575 0 131538 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 538524 KiB
Current children cumulated memory: 518040 KiB
[startup+3.10539 s]
/proc/loadavg: 1.34 1.19 1.81 4/261 13776
/proc/meminfo: memFree=128320868/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=538524 memory=518040 CPUtime=3.09 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 116994 0 0 0 289 20 0 0 20 0 1 0 29953237 551448576 129510 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 134631 129510 2528 2575 0 131538 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 538524 KiB
Current children cumulated memory: 518040 KiB
[startup+6.30017 s]
/proc/loadavg: 1.34 1.19 1.81 4/261 13833
/proc/meminfo: memFree=128071924/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=538524 memory=518040 CPUtime=6.28 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 117015 0 0 0 608 20 0 0 20 0 1 0 29953237 551448576 129510 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 134631 129510 2528 2575 0 131538 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 538524 KiB
Current children cumulated memory: 518040 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 1.24 1.83 5/264 13913
/proc/meminfo: memFree=127310128/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=538524 memory=518040 CPUtime=12.66 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 117015 0 0 0 1246 20 0 0 20 0 1 0 29953237 551448576 129510 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 134631 129510 2528 2575 0 131538 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 538524 KiB
Current children cumulated memory: 518040 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.37 1.86 5/264 13913
/proc/meminfo: memFree=126690196/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=540008 memory=518808 CPUtime=25.42 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 117215 0 0 0 2522 20 0 0 20 0 1 0 29953237 552968192 129702 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 135002 129702 2528 2575 0 131909 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 540008 KiB
Current children cumulated memory: 518808 KiB
[startup+51.1056 s]
/proc/loadavg: 2.75 1.58 1.92 5/264 13913
/proc/meminfo: memFree=126372452/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=540008 memory=518808 CPUtime=50.94 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 117216 0 0 0 5074 20 0 0 20 0 1 0 29953237 552968192 129702 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 135002 129702 2528 2575 0 131909 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 540008 KiB
Current children cumulated memory: 518808 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.97 2.04 5/264 13915
/proc/meminfo: memFree=126234536/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=540008 memory=518808 CPUtime=101.96 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 117236 0 0 0 10176 20 0 0 20 0 1 0 29953237 552968192 129702 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 135002 129702 2528 2575 0 131909 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 540008 KiB
Current children cumulated memory: 518808 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 2.39 2.18 5/264 13966
/proc/meminfo: memFree=125254512/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=565720 memory=544108 CPUtime=161.73 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 143118 0 0 0 16149 24 0 0 20 0 1 0 29953237 579297280 136027 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 141430 136027 2624 2575 0 138337 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 565720 KiB
Current children cumulated memory: 544108 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.70 2.30 5/264 13968
/proc/meminfo: memFree=125151448/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=568392 memory=546540 CPUtime=221.5 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 143737 0 0 0 22126 24 0 0 20 0 1 0 29953237 582033408 136635 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 142098 136635 2624 2575 0 139005 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 568392 KiB
Current children cumulated memory: 546540 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.96 2.41 5/264 13973
/proc/meminfo: memFree=124447732/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=846892 memory=747464 CPUtime=281.26 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 193842 0 0 0 28094 32 0 0 20 0 1 0 29953237 867217408 186866 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 211723 186866 2688 2575 0 208630 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 846892 KiB
Current children cumulated memory: 747464 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.52 5/263 13975
/proc/meminfo: memFree=123709780/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1064376 memory=963912 CPUtime=341.11 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 248126 0 0 0 34072 39 0 0 20 0 1 0 29953237 1089921024 240978 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 266094 240978 2688 2575 0 263001 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1064376 KiB
Current children cumulated memory: 963912 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.33 2.62 5/263 13977
/proc/meminfo: memFree=123712260/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1064376 memory=964296 CPUtime=400.94 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 248240 0 0 0 40055 39 0 0 20 0 1 0 29953237 1089921024 241074 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 266094 241074 2688 2575 0 263001 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 1064376 KiB
Current children cumulated memory: 964296 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.49 2.72 5/263 13979
/proc/meminfo: memFree=123706284/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1064376 memory=968136 CPUtime=460.8 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 249194 0 0 0 46041 39 0 0 20 0 1 0 29953237 1089921024 242034 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 266094 242034 2688 2575 0 263001 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
/proc/loadavg: 3.06 3.08 3.17 4/258 14155
/proc/meminfo: memFree=123498932/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1771888 memory=1692568 CPUtime=3152.55 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 455186 0 0 0 315183 72 0 0 20 0 1 0 29953237 1814413312 423142 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 442972 423142 2688 2575 0 439879 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 1771888 KiB
Current children cumulated memory: 1692568 KiB
[startup+3222.3 s]
/proc/loadavg: 3.12 3.10 3.17 4/256 14161
/proc/meminfo: memFree=123473040/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1798184 memory=1718040 CPUtime=3212.39 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 461554 0 0 0 321165 74 0 0 20 0 1 0 29953237 1841340416 429510 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 449546 429510 2688 2575 0 446453 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 1798184 KiB
Current children cumulated memory: 1718040 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.09 3.17 4/256 14163
/proc/meminfo: memFree=123468040/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1804672 memory=1725720 CPUtime=3272.23 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 463678 0 0 0 327148 75 0 0 20 0 1 0 29953237 1847984128 431430 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 451168 431430 2688 2575 0 448075 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 1804672 KiB
Current children cumulated memory: 1725720 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.09 3.16 4/257 14168
/proc/meminfo: memFree=123456116/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1808156 memory=1728536 CPUtime=3332.07 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 464669 0 0 0 333132 75 0 0 20 0 1 0 29953237 1851551744 432134 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 452039 432134 2688 2575 0 448946 0
Current children cumulated CPU time: 3332.07 s
Current children cumulated vsize: 1808156 KiB
Current children cumulated memory: 1728536 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.09 3.16 4/257 14170
/proc/meminfo: memFree=123457188/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1808156 memory=1728536 CPUtime=3391.92 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 464867 0 0 0 339117 75 0 0 20 0 1 0 29953237 1851551744 432134 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 452039 432134 2688 2575 0 448946 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 1808156 KiB
Current children cumulated memory: 1728536 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.08 3.15 4/257 14172
/proc/meminfo: memFree=123457764/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1808540 memory=1729304 CPUtime=3451.77 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 465266 0 0 0 345102 75 0 0 20 0 1 0 29953237 1851944960 432326 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 452135 432326 2688 2575 0 449042 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 1808540 KiB
Current children cumulated memory: 1729304 KiB
[startup+3522.3 s]
/proc/loadavg: 3.06 3.08 3.14 4/257 14174
/proc/meminfo: memFree=123457176/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1809740 memory=1730584 CPUtime=3511.61 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 465618 0 0 0 351085 76 0 0 20 0 1 0 29953237 1853173760 432646 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 452435 432646 2688 2575 0 449342 0
Current children cumulated CPU time: 3511.61 s
Current children cumulated vsize: 1809740 KiB
Current children cumulated memory: 1730584 KiB
[startup+3582.3 s]
/proc/loadavg: 3.07 3.08 3.14 4/257 14176
/proc/meminfo: memFree=123431644/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1736984 CPUtime=3571.45 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467225 0 0 0 357069 76 0 0 20 0 1 0 29953237 1860173824 434246 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434246 2688 2575 0 451051 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1736984 KiB
[startup+3597.49 s]
# the end of solver process 13771 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.83 s, system=0.792781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.06 3.08 3.14 4/257 14176
/proc/meminfo: memFree=123419356/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1736984 CPUtime=3573.15 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467225 0 0 0 357239 76 0 0 20 0 1 0 29953237 1860173824 434246 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434246 2688 2575 0 451051 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1736984 KiB
[startup+3590.4 s]
/proc/loadavg: 3.06 3.08 3.14 4/257 14176
/proc/meminfo: memFree=123435236/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1737112 CPUtime=3579.53 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467234 0 0 0 357877 76 0 0 20 0 1 0 29953237 1860173824 434278 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434278 2688 2575 0 451051 0
Current children cumulated CPU time: 3579.53 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1737112 KiB
[startup+3593.6 s]
/proc/loadavg: 3.06 3.08 3.14 4/257 14176
/proc/meminfo: memFree=123443052/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1737112 CPUtime=3582.72 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467250 0 0 0 358196 76 0 0 20 0 1 0 29953237 1860173824 434278 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434278 2688 2575 0 451051 0
Current children cumulated CPU time: 3582.72 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1737112 KiB
[startup+3595.2 s]
/proc/loadavg: 3.13 3.09 3.14 4/257 14176
/proc/meminfo: memFree=123426668/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1737112 CPUtime=3584.32 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467251 0 0 0 358356 76 0 0 20 0 1 0 29953237 1860173824 434278 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434278 2688 2575 0 451051 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1737112 KiB
[startup+3596.8 s]
/proc/loadavg: 3.13 3.09 3.14 4/257 14176
/proc/meminfo: memFree=123426668/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1737112 CPUtime=3585.92 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467252 0 0 0 358516 76 0 0 20 0 1 0 29953237 1860173824 434278 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434278 2688 2575 0 451051 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1737112 KiB
[startup+3597.2 s]
/proc/loadavg: 3.13 3.09 3.14 4/257 14176
/proc/meminfo: memFree=123426420/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1816576 memory=1737112 CPUtime=3586.31 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467272 0 0 0 358555 76 0 0 20 0 1 0 29953237 1860173824 434278 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 454144 434278 2688 2575 0 451051 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 1816576 KiB
Current children cumulated memory: 1737112 KiB
[startup+3597.4 s]
/proc/loadavg: 3.13 3.09 3.14 4/257 14176
/proc/meminfo: memFree=123426420/131249996 swapFree=33010684/33010684
[pid=13771] ppid=13759 vsize=1744264 memory=1665280 CPUtime=3586.51 cores=5,7
/proc/13771/stat : 13771 (pbsolver) R 13759 13771 11391 0 -1 4194304 467281 0 0 0 358575 76 0 0 20 0 1 0 29953237 1786126336 416320 18446744073709551615 4198400 14743177 140731821019280 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 49397760 140731821021578 140731821021674 140731821021674 140731821027276 0
/proc/13771/statm: 436066 416320 2688 2575 0 432973 0
Current children cumulated CPU time: 3586.51 s
Current children cumulated vsize: 1744264 KiB
Current children cumulated memory: 1665280 KiB
Child status: 0
Real time (s): 3597.49
CPU time (s): 3586.62
CPU user time (s): 3585.83
CPU system time (s): 0.792781
CPU usage (%): 99.6977
Max. virtual memory (cumulated for all children) (KiB): 1816576
Max. memory (cumulated for all children) (KiB): 1737112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.83
system time used= 0.792781
maximum resident set size= 1737112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467335
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= 32
involuntary context switches= 2136
# summary of solver processes directly reported to runsolver:
# pid: 13771
# total CPU time (s): 3586.62
# total CPU user time (s): 3585.83
# total CPU system time (s): 0.792781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72081 second user time and 16.3575 second system time
The end