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-4503430-1751171987.opb>
0.28/0.33 c original problem has 7351 variables (7351 bin, 0 int, 0 impl, 0 cont) and 155824 constraints
0.28/0.33 c problem read in 0.32
0.28/0.33 c No objective function, only one solution is needed.
0.49/0.55 c presolving:
0.87/0.94 c (0.9s) running MILP presolver
1.27/1.39 c (1.4s) MILP presolver found nothing
1.67/1.74 c (round 1, exhaustive) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 155815 upgd conss, 0 impls, 31648 clqs
2.07/2.12 c (round 2, exhaustive) 1 del vars, 2206 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 3306 chg coeffs, 155815 upgd conss, 0 impls, 31648 clqs
8.15/8.22 c (8.2s) probing: 673/7350 (9.2%) - 0 fixings, 0 aggregations, 19506 implications, 0 bound changes
8.15/8.22 c (8.2s) probing aborted: 50/50 successive totally useless probings
9.14/9.21 c (9.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
9.44/9.52 c (9.5s) no symmetry present (symcode time: 0.04)
9.55/9.65 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
9.55/9.65 c 1 deleted vars, 2206 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 3347 changed coefficients
9.55/9.65 c 0 implications, 51154 cliques
9.55/9.65 c presolved problem has 7350 variables (7350 bin, 0 int, 0 impl, 0 cont) and 153618 constraints
9.55/9.65 c 15969 constraints of type <knapsack>
9.55/9.65 c 31648 constraints of type <setppc>
9.55/9.65 c 1 constraints of type <linear>
9.55/9.65 c 106000 constraints of type <logicor>
9.55/9.65 c transformed objective value is always integral (scale: 1)
9.55/9.65 c Presolving Time: 9.11
9.55/9.65 c - non default parameters ----------------------------------------------------------------------
9.55/9.65 c # SCIP version 10.0.0
9.55/9.65 c
9.55/9.65 c # maximal time in seconds to run
9.55/9.65 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
9.55/9.65 c limits/time = 3596.998008
9.55/9.65 c
9.55/9.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.55/9.65 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
9.55/9.65 c limits/memory = 27900
9.55/9.65 c
9.55/9.65 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
9.55/9.65 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
9.55/9.65 c limits/solutions = 1
9.55/9.65 c
9.55/9.65 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
9.55/9.65 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
9.55/9.65 c misc/usesymmetry = 3
9.55/9.65 c
9.55/9.65 c # belongs reading time to solving time?
9.55/9.65 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
9.55/9.65 c timing/reading = TRUE
9.55/9.65 c
9.55/9.65 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
9.55/9.65 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.55/9.65 c propagating/symmetry/detectdoublelex = FALSE
9.55/9.65 c
9.55/9.65 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
9.55/9.65 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.55/9.65 c propagating/symmetry/detectsubgroups = FALSE
9.55/9.65 c
9.55/9.65 c # Type of symmetries that shall be computed?
9.55/9.65 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
9.55/9.65 c propagating/symmetry/symtype = 1
9.55/9.65 c
9.55/9.65 c # Should components consisting of a single full reflection be handled?
9.55/9.65 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.55/9.65 c propagating/symmetry/usesimplesgncomp = FALSE
9.55/9.65 c
9.55/9.65 c -----------------------------------------------------------------------------------------------
9.55/9.65 c start solving
9.55/9.65 c
10.54/10.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.54/10.61 c 10.6s| 1 | 0 | 460 | - | 780M | 0 |7350 | 153k| 153k| 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
20.42/20.59 c 20.6s| 1 | 0 | 3093 | - | 801M | 0 |7350 | 153k| 153k| 9 | 1 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
33.18/33.31 c 33.3s| 1 | 0 | 3324 | - | 817M | 0 |7350 | 153k| 153k| 15 | 2 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
47.65/47.83 c 47.8s| 1 | 0 | 3429 | - | 835M | 0 |7350 | 153k| 153k| 23 | 3 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
60.71/60.91 c 60.9s| 1 | 0 | 3548 | - | 853M | 0 |7350 | 153k| 153k| 33 | 4 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
64.20/64.40 c 64.4s| 1 | 0 | 3937 | - | 871M | 0 |7350 | 153k| 153k| 40 | 5 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
74.08/74.37 c 74.4s| 1 | 0 | 4075 | - | 890M | 0 |7350 | 153k| 153k| 51 | 6 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
85.85/86.16 c 86.2s| 1 | 0 | 4429 | - | 908M | 0 |7350 | 153k| 153k| 61 | 7 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
93.03/93.37 c 93.4s| 1 | 0 | 5270 | - | 923M | 0 |7350 | 153k| 153k| 79 | 8 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
98.11/98.45 c 98.4s| 1 | 0 | 6898 | - | 939M | 0 |7350 | 153k| 153k| 93 | 9 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
104.40/104.74 c 105s| 1 | 0 | 8399 | - | 955M | 0 |7350 | 153k| 153k| 117 | 10 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
105.10/105.40 c 105s| 1 | 0 | 9228 | - | 970M | 0 |7350 | 153k| 153k| 146 | 11 | 188 | 0 | 0.000000e+00 | -- | Inf | unknown
128.43/128.86 c 129s| 1 | 2 | 18889 | - | 972M | 0 |7350 | 153k| 153k| 146 | 11 | 220 | 19 | 0.000000e+00 | -- | Inf | unknown
391.02/392.20 c 392s| 100 | 99 |240860 |2339.7 | 1154M | 11 |7350 | 154k| 153k|1372 | 1 | 940 | 19 | 0.000000e+00 | -- | Inf | unknown
771.53/773.90 c 774s| 200 | 193 |529442 |2614.1 | 1310M | 11 |7350 | 155k| 153k|4207 | 2 |1873 | 19 | 0.000000e+00 | -- | Inf | unknown
838.74/841.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
838.74/841.28 c 841s| 300 | 243 |589150 |1939.5 | 1344M | 51 |7350 | 155k| 153k|4421 | 0 |2179 | 19 | 0.000000e+00 | -- | Inf | unknown
862.88/865.47 c 865s| 400 | 245 |601449 |1484.3 | 1388M | 52 |7350 | 155k| 153k|4570 | 1 |2431 | 19 | 0.000000e+00 | -- | Inf | unknown
891.51/894.11 c 894s| 500 | 295 |626451 |1236.9 | 1440M | 52 |7350 | 155k| 153k|4783 | 1 |2810 | 19 | 0.000000e+00 | -- | Inf | unknown
903.77/906.47 c 906s| 600 | 319 |640599 |1054.0 | 1457M | 52 |7350 | 156k| 153k|4923 | 1 |3101 | 19 | 0.000000e+00 | -- | Inf | unknown
915.44/918.15 c 918s| 700 | 322 |652397 | 920.1 | 1488M | 52 |7350 | 156k| 153k|5144 | 1 |3443 | 19 | 0.000000e+00 | -- | Inf | unknown
924.01/926.78 c 927s| 800 | 334 |663058 | 818.3 | 1489M | 52 |7350 | 156k| 153k|5498 | 1 |3776 | 19 | 0.000000e+00 | -- | Inf | unknown
930.49/933.22 c 933s| 900 | 351 |671333 | 736.5 | 1491M | 52 |7350 | 156k| 153k|5698 | 2 |4207 | 19 | 0.000000e+00 | -- | Inf | unknown
951.83/954.62 c 955s| 1000 | 391 |693971 | 685.4 | 1494M | 52 |7350 | 157k| 0 |5864 | 0 |4505 | 19 | 0.000000e+00 | -- | Inf | unknown
962.80/965.67 c 966s| 1100 | 408 |708250 | 636.1 | 1494M | 52 |7350 | 157k| 0 |6002 | 0 |4746 | 19 | 0.000000e+00 | -- | Inf | unknown
967.09/969.93 c 970s| 1200 | 402 |712567 | 586.6 | 1495M | 52 |7350 | 157k| 153k|6049 | 1 |5065 | 19 | 0.000000e+00 | -- | Inf | unknown
971.88/974.70 c 975s| 1300 | 364 |717811 | 545.5 | 1495M | 52 |7350 | 157k| 0 |6171 | 0 |5472 | 19 | 0.000000e+00 | -- | Inf | unknown
976.66/979.55 c 980s| 1400 | 362 |722733 | 510.0 | 1496M | 52 |7350 | 157k| 153k|6282 | 1 |5820 | 19 | 0.000000e+00 | -- | Inf | unknown
980.05/982.93 c 983s| 1500 | 361 |725275 | 477.7 | 1497M | 52 |7350 | 157k| 153k|6282 | 1 |6019 | 19 | 0.000000e+00 | -- | Inf | unknown
985.04/987.94 c 988s| 1600 | 352 |730429 | 451.0 | 1497M | 52 |7350 | 157k| 0 |6595 | 0 |6281 | 19 | 0.000000e+00 | -- | Inf | unknown
996.41/999.35 c 999s| 1700 | 314 |740163 | 430.2 | 1498M | 52 |7350 | 156k| 153k|6985 | 1 |6634 | 19 | 0.000000e+00 | -- | Inf | unknown
1002.49/1005.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1002.49/1005.42 c 1005s| 1800 | 271 |745501 | 409.3 | 1500M | 52 |7350 | 156k| 153k|7143 | 1 |6859 | 19 | 0.000000e+00 | -- | Inf | unknown
1005.88/1008.88 c 1009s| 1900 | 272 |747775 | 388.9 | 1500M | 52 |7350 | 156k| 153k|7192 | 1 |7130 | 19 | 0.000000e+00 | -- | Inf | unknown
1011.26/1014.25 c 1014s| 2000 | 269 |753193 | 372.2 | 1500M | 52 |7350 | 156k| 153k|7397 | 1 |7443 | 19 | 0.000000e+00 | -- | Inf | unknown
1015.35/1018.35 c 1018s| 2100 | 266 |756709 | 356.1 | 1501M | 52 |7350 | 157k| 153k|7472 | 1 |7814 | 19 | 0.000000e+00 | -- | Inf | unknown
1019.15/1022.17 c 1022s| 2200 | 263 |759758 | 341.3 | 1501M | 52 |7350 | 157k| 153k|7544 | 1 |8119 | 19 | 0.000000e+00 | -- | Inf | unknown
1023.83/1026.81 c 1027s| 2300 | 261 |764301 | 328.4 | 1502M | 52 |7350 | 157k| 153k|7790 | 1 |8509 | 19 | 0.000000e+00 | -- | Inf | unknown
1029.31/1032.32 c 1032s| 2400 | 257 |769955 | 317.1 | 1502M | 52 |7350 | 158k| 153k|8096 | 1 |8853 | 19 | 0.000000e+00 | -- | Inf | unknown
1033.70/1036.76 c 1037s| 2500 | 263 |772678 | 305.5 | 1504M | 52 |7350 | 158k| 153k|8344 | 1 |9166 | 19 | 0.000000e+00 | -- | Inf | unknown
1038.48/1041.52 c 1042s| 2600 | 263 |776535 | 295.2 | 1504M | 52 |7350 | 158k| 153k|8710 | 1 |9390 | 19 | 0.000000e+00 | -- | Inf | unknown
1043.67/1046.78 c 1047s| 2700 | 255 |781239 | 286.0 | 1504M | 52 |7350 | 158k| 153k|9144 | 1 |9597 | 19 | 0.000000e+00 | -- | Inf | unknown
1062.82/1065.91 c 1066s| 2800 | 278 |801188 | 282.9 | 1505M | 52 |7350 | 158k| 153k|9509 | 1 |9822 | 19 | 0.000000e+00 | -- | Inf | unknown
1094.34/1097.54 c 1098s| 2900 | 296 |838395 | 286.0 | 1508M | 52 |7350 | 158k| 153k|9581 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1105.01/1108.21 c 1108s| 3000 | 301 |855828 | 282.3 | 1509M | 52 |7350 | 158k| 153k|9815 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1121.66/1125.00 c 1125s| 3100 | 308 |879799 | 280.9 | 1510M | 52 |7350 | 158k| 0 | 10k| 0 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1133.73/1137.03 c 1137s| 3200 | 304 |896503 | 277.4 | 1510M | 52 |7350 | 158k| 0 | 10k| 0 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1134.32/1137.64 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1134.52/1137.89 c (run 1, node 3210) performing user restart
1134.52/1137.89 c
1134.62/1137.90 c (restart) converted 48 cuts from the global cut pool into linear constraints
1134.62/1137.90 c
1134.73/1138.03 c presolving:
1134.73/1138.08 c (round 1, fast) 0 del vars, 442 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 47 chg coeffs, 0 upgd conss, 0 impls, 51216 clqs
1135.12/1138.45 c (round 2, exhaustive) 0 del vars, 2438 del conss, 7 add conss, 0 chg bounds, 38 chg sides, 2000 chg coeffs, 48 upgd conss, 0 impls, 51217 clqs
1135.82/1139.15 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1135.82/1139.15 c 0 deleted vars, 2479 deleted constraints, 12 added constraints, 0 tightened bounds, 0 added holes, 42 changed sides, 2258 changed coefficients
1135.82/1139.15 c 0 implications, 51218 cliques
1135.82/1139.15 c presolved problem has 7350 variables (7350 bin, 0 int, 0 impl, 0 cont) and 156550 constraints
1135.82/1139.15 c 15994 constraints of type <knapsack>
1135.82/1139.15 c 31712 constraints of type <setppc>
1135.82/1139.15 c 7 constraints of type <and>
1135.82/1139.15 c 22 constraints of type <linear>
1135.82/1139.15 c 108815 constraints of type <logicor>
1135.82/1139.15 c transformed objective value is always integral (scale: 1)
1135.82/1139.15 c Presolving Time: 10.27
1135.82/1139.16 c
1136.62/1139.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1136.62/1139.91 c 1140s| 1 | 0 |899178 | - | 1518M | 0 |7350 | 156k| 153k| 0 | 0 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1148.09/1151.48 c 1151s| 1 | 0 |899376 | - | 1531M | 0 |7350 | 156k| 153k| 23 | 1 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1159.57/1162.99 c 1163s| 1 | 0 |900015 | - | 1552M | 0 |7350 | 156k| 153k| 47 | 2 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1168.76/1172.12 c 1172s| 1 | 0 |900979 | - | 1567M | 0 |7350 | 156k| 153k| 71 | 3 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1178.13/1181.58 c 1182s| 1 | 0 |901352 | - | 1583M | 0 |7350 | 156k| 153k| 89 | 4 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1190.21/1193.60 c 1194s| 1 | 0 |902853 | - | 1584M | 0 |7350 | 156k| 153k| 105 | 5 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1201.49/1204.98 c 1205s| 1 | 0 |904493 | - | 1601M | 0 |7350 | 156k| 153k| 126 | 6 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1214.16/1217.64 c 1218s| 1 | 0 |905532 | - | 1620M | 0 |7350 | 156k| 153k| 156 | 7 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1225.83/1229.34 c 1229s| 1 | 0 |906778 | - | 1637M | 0 |7350 | 156k| 153k| 185 | 8 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1237.91/1241.41 c 1241s| 1 | 0 |907937 | - | 1654M | 0 |7350 | 156k| 153k| 210 | 9 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1251.59/1255.14 c 1255s| 1 | 0 |908897 | - | 1671M | 0 |7350 | 156k| 153k| 238 | 10 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1252.38/1255.95 c 1256s| 1 | 0 |909596 | - | 1687M | 0 |7350 | 156k| 153k| 264 | 11 | 10k| 19 | 0.000000e+00 | -- | Inf | unknown
1281.71/1285.33 c 1285s| 1 | 0 |917808 | - | 1691M | 0 |7350 | 156k| 153k| 264 | 11 | 10k| 39 | 0.000000e+00 | -- | Inf | unknown
1287.99/1291.63 c 1292s| 1 | 0 |919301 | - | 1706M | 0 |7350 | 156k| 153k| 292 | 12 | 10k| 39 | 0.000000e+00 | -- | Inf | unknown
1288.29/1291.90 c 1292s| 1 | 0 |919494 | - | 1706M | 0 |7350 | 156k| 153k| 300 | 13 | 10k| 39 | 0.000000e+00 | -- | Inf | unknown
1305.34/1309.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1305.34/1309.03 c 1309s| 1 | 0 |919848 | - | 1706M | 0 |7350 | 155k| 153k| 300 | 13 | 10k| 59 | 0.000000e+00 | -- | Inf | unknown
1306.63/1310.32 c 1310s| 1 | 0 |921371 | - | 1721M | 0 |7350 | 155k| 153k| 324 | 14 | 10k| 59 | 0.000000e+00 | -- | Inf | unknown
1307.03/1310.77 c 1311s| 1 | 0 |921725 | - | 1721M | 0 |7350 | 155k| 153k| 330 | 15 | 11k| 59 | 0.000000e+00 | -- | Inf | unknown
1340.64/1344.42 c 1344s| 1 | 0 |922399 | - | 1721M | 0 |7350 | 155k| 153k| 330 | 15 | 11k| 79 | 0.000000e+00 | -- | Inf | unknown
1341.93/1345.74 c 1346s| 1 | 0 |923699 | - | 1736M | 0 |7350 | 155k| 153k| 361 | 16 | 11k| 79 | 0.000000e+00 | -- | Inf | unknown
1342.13/1345.96 c 1346s| 1 | 0 |923806 | - | 1736M | 0 |7350 | 155k| 153k| 366 | 17 | 11k| 79 | 0.000000e+00 | -- | Inf | unknown
1357.20/1361.09 c 1361s| 1 | 2 |924036 | - | 1736M | 0 |7350 | 155k| 153k| 366 | 17 | 11k| 98 | 0.000000e+00 | -- | Inf | unknown
1674.69/1679.38 c 1679s| 100 | 101 | 1067k| 314.5 | 1859M | 11 |7350 | 155k| 153k|1669 | 2 | 11k| 98 | 0.000000e+00 | -- | Inf | unknown
2074.30/2079.96 c 2080s| 200 | 186 | 1292k| 371.5 | 1933M | 11 |7350 | 155k| 153k|4756 | 2 | 12k| 98 | 0.000000e+00 | -- | Inf | 0.73%
2492.66/2499.36 c 2499s| 300 | 278 | 1506k| 421.8 | 1994M | 12 |7350 | 155k| 153k|6572 | 1 | 12k| 98 | 0.000000e+00 | -- | Inf | 1.07%
2819.09/2826.62 c 2827s| 400 | 370 | 1717k| 468.5 | 2032M | 13 |7350 | 155k| 153k|9630 | 1 | 13k| 98 | 0.000000e+00 | -- | Inf | 1.53%
3090.90/3099.30 c 3099s| 500 | 462 | 1926k| 512.2 | 2040M | 13 |7350 | 154k| 153k| 13k| 2 | 13k| 98 | 0.000000e+00 | -- | Inf | 1.97%
3407.94/3417.42 c 3417s| 600 | 553 | 2176k| 564.5 | 2064M | 13 |7350 | 155k| 153k| 17k| 2 | 14k| 98 | 0.000000e+00 | -- | Inf | 2.53%
3589.31/3599.42 c
3589.31/3599.42 c SCIP Status : solving was interrupted [time limit reached]
3589.31/3599.42 c Solving Time (sec) : 3599.41
3589.31/3599.42 c Solving Nodes : 649 (total of 3859 nodes in 2 runs)
3589.31/3599.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3589.31/3599.42 c Dual Bound : +0.00000000000000e+00
3589.31/3599.42 c Gap : infinite
3589.31/3599.42 s UNKNOWN
3589.31/3599.42 c SCIP Status : solving was interrupted [time limit reached]
3589.31/3599.42 c Total Time : 3599.41
3589.31/3599.42 c solving : 3599.41
3589.31/3599.42 c presolving : 10.27 (included in solving)
3589.31/3599.42 c reading : 0.32 (included in solving)
3589.31/3599.42 c copying : 1.51 (7 #copies) (minimal 0.21, maximal 0.22, average 0.22)
3589.31/3599.42 c Original Problem :
3589.31/3599.42 c Problem name : HOME/instance-4503430-1751171987.opb
3589.31/3599.42 c Variables : 7351 (7351 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.31/3599.42 c Constraints : 155824 initial, 155824 maximal
3589.31/3599.42 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.31/3599.42 c Presolved Problem :
3589.31/3599.42 c Problem name : t_HOME/instance-4503430-1751171987.opb
3589.31/3599.42 c Variables : 7350 (7350 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.31/3599.42 c Constraints : 156550 initial, 156603 maximal
3589.31/3599.42 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.31/3599.42 c Nonzeros : 641773 constraint, 79532 clique table
3589.31/3599.42 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3589.31/3599.42 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c domcol : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c dualsparsify : 0.98 0.00 1 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c gateextraction : 0.38 0.00 4 0 0 0 0 0 21 7 0 0
3589.31/3599.42 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c milp : 0.67 0.00 1 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c sparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c probing : 5.53 0.00 1 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c symmetry : 0.31 0.00 1 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c knapsack : 0.09 0.00 13 0 0 0 0 0 0 5 39 121
3589.31/3599.42 c setppc : 0.11 0.00 13 0 0 0 0 0 34 0 0 0
3589.31/3599.42 c and : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c linear : 0.45 0.05 11 0 1 0 0 0 8 0 10 8
3589.31/3599.42 c logicor : 1.08 0.25 13 0 0 0 0 0 4622 0 0 5476
3589.31/3599.42 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c components : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c root node : - - - 486 - - 486 - - - - -
3589.31/3599.42 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3589.31/3599.42 c benderslp : 0 0 0 0 2883 0 0 480 0 0 0 0 0 0 0
3589.31/3599.42 c integral : 0 0 0 0 2883 0 0 480 0 0 0 0 0 2 5760
3589.31/3599.42 c knapsack : 15994+ 16003 25 77641 0 0 0 475 13429 510 12807 537 75 0 0
3589.31/3599.42 c setppc : 31712+ 31714 25 77131 0 0 0 9 123956 617 136652 63 0 0 0
3589.31/3599.42 c and : 7 7 578 34041 0 0 0 0 231 1 9 59 49 0 0
3589.31/3599.42 c linear : 22 22 25 71700 0 0 0 3 1653 104 3789 0 0 0 0
3589.31/3599.42 c logicor : 108815+ 108867 25 53919 0 0 0 0 56275 1843 38911 48 26 0 0
3589.31/3599.42 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3589.31/3599.42 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c integral : 100.70 0.00 0.00 0.00 100.70 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c knapsack : 2.03 0.00 0.27 1.70 0.00 0.00 0.00 0.03 0.02 0.00
3589.31/3599.42 c setppc : 2.71 0.00 0.05 2.59 0.00 0.00 0.00 0.00 0.03 0.03
3589.31/3599.42 c and : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c linear : 0.11 0.05 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c logicor : 3.48 0.25 0.30 2.85 0.00 0.00 0.00 0.00 0.04 0.04
3589.31/3599.42 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c Propagators : #Propagate #ResProp Cutoffs DomReds
3589.31/3599.42 c dualfix : 5 0 0 0
3589.31/3599.42 c genvbounds : 0 0 0 0
3589.31/3599.42 c nlobbt : 0 0 0 0
3589.31/3599.42 c obbt : 0 0 0 0
3589.31/3599.42 c probing : 0 0 0 0
3589.31/3599.42 c pseudoobj : 0 0 0 0
3589.31/3599.42 c redcost : 0 0 0 0
3589.31/3599.42 c rootredcost : 0 0 0 0
3589.31/3599.42 c symmetry : 0 0 0 0
3589.31/3599.42 c vbounds : 35629 0 0 0
3589.31/3599.42 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3589.31/3599.42 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3589.31/3599.42 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c probing : 5.53 0.00 5.53 0.00 0.00 0.00
3589.31/3599.42 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3589.31/3599.42 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3589.31/3599.42 c symmetry : 0.32 0.00 0.31 0.01 0.00 0.00
3589.31/3599.42 c vbounds : 0.45 0.00 0.01 0.44 0.00 0.00
3589.31/3599.42 c Symmetry :
3589.31/3599.42 c orbitopal red. : 0 reductions applied, 0 cutoffs
3589.31/3599.42 c orbital reduction: 0 reductions applied, 0 cutoffs
3589.31/3599.42 c lexicographic red: 0 reductions applied, 0 cutoffs
3589.31/3599.42 c shadow tree time : 0.00 s
3589.31/3599.42 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3589.31/3599.42 c propagation : 0.21 2984 2982 - 26926 37.9 779 21.5 - - -
3589.31/3599.42 c infeasible LP : 0.24 146 145 - 1513 39.4 26 14.2 145 54.2 0
3589.31/3599.42 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3589.31/3599.42 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3589.31/3599.42 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3589.31/3599.42 c applied globally : 0.64 - - 0 14348 20.3 - - 135 - -
3589.31/3599.42 c applied locally : - - - 0 68 51.1 - - 10 - -
3589.31/3599.42 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3589.31/3599.42 c cut pool : 0.52 - 884 51 - - 9351 226566 - - - - - (maximal pool size: 3788)
3589.31/3599.42 c aggregation : 1.35 0.00 111 25 0 0 4 158 0 5 5 0 0
3589.31/3599.42 c > cmir : - - - - - - - 146 0 0 0 0 -
3589.31/3599.42 c > flowcover : - - - - - - - 12 0 5 5 0 -
3589.31/3599.42 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3589.31/3599.42 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c clique : 0.52 0.00 25 25 0 0 199 7512 0 1282 1282 0 0
3589.31/3599.42 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c gomory : 131.06 0.00 106 20 0 0 7865 172211 116 10586 10572 14 0
3589.31/3599.42 c > gomorymi : - - - - - - - 48559 58 512 500 12 -
3589.31/3599.42 c > strongcg : - - - - - - - 123652 58 10074 10072 2 -
3589.31/3599.42 c impliedbounds : 0.17 0.00 111 25 0 0 245 3022 0 2594 2594 0 0
3589.31/3599.42 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c mcf : 0.19 0.00 2 2 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c multilinear : 0.00 0.00 68 25 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.31/3599.42 c rlt : 454.27 0.00 91 20 0 0 1 0 1 1 0 1 0
3589.31/3599.42 c zerohalf : 2.59 0.00 111 25 0 0 1624 43663 470 15576 15239 337 0
3589.31/3599.42 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3589.31/3599.42 c hybrid : 0.20 0.00 821 28 30189 8 197671 512 0 5611
3589.31/3599.42 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c Pricers : ExecTime SetupTime Calls Vars
3589.31/3599.42 c problem variables: 0.00 - 0 0
3589.31/3599.42 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3589.31/3599.42 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c relpscost : 100.69 0.00 2883 0 0 0 0 0 4 5760
3589.31/3599.42 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3589.31/3599.42 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3589.31/3599.42 c LP solutions : 0.00 - - 0 0
3589.31/3599.42 c relax solutions : 0.00 - - 0 0
3589.31/3599.42 c pseudo solutions : 0.00 - - 0 0
3589.31/3599.42 c strong branching : 0.00 - - 0 0
3589.31/3599.42 c actconsdiving : 0.00 0.00 0 0 0
3589.31/3599.42 c adaptivediving : 48.57 0.00 19 0 0
3589.31/3599.42 c alns : 4.07 0.00 5 0 0
3589.31/3599.42 c bound : 0.00 0.00 0 0 0
3589.31/3599.42 c clique : 0.26 0.00 1 0 0
3589.31/3599.42 c coefdiving : 0.00 0.00 0 0 0
3589.31/3599.42 c completesol : 0.00 0.00 0 0 0
3589.31/3599.42 c conflictdiving : 793.69 0.00 140 0 0
3589.31/3599.42 c crossover : 0.00 0.00 0 0 0
3589.31/3599.42 c dins : 0.00 0.00 0 0 0
3589.31/3599.42 c distributiondivin: 129.12 0.00 36 0 0
3589.31/3599.42 c dps : 0.00 0.00 0 0 0
3589.31/3599.42 c dualval : 0.00 0.00 0 0 0
3589.31/3599.42 c farkasdiving : 0.00 0.00 0 0 0
3589.31/3599.42 c feasjump : 0.24 0.00 2 0 0
3589.31/3599.42 c feaspump : 10.76 0.00 4 0 0
3589.31/3599.42 c fixandinfer : 0.00 0.00 0 0 0
3589.31/3599.42 c fracdiving : 20.38 0.00 38 0 0
3589.31/3599.42 c gins : 0.00 0.00 0 0 0
3589.31/3599.42 c guideddiving : 0.00 0.00 0 0 0
3589.31/3599.42 c indcoefdiving : 0.00 0.00 0 0 0
3589.31/3599.42 c indicator : 0.00 0.00 0 0 0
3589.31/3599.42 c indicatordiving : 0.00 0.00 0 0 0
3589.31/3599.42 c indoneopt : 0.00 0.00 0 0 0
3589.31/3599.42 c indrounding : 0.00 0.00 0 0 0
3589.31/3599.42 c indtwoopt : 0.00 0.00 0 0 0
3589.31/3599.42 c intdiving : 0.00 0.00 0 0 0
3589.31/3599.42 c intshifting : 0.00 0.00 0 0 0
3589.31/3599.42 c linesearchdiving : 103.04 0.00 70 0 0
3589.31/3599.42 c localbranching : 0.00 0.00 0 0 0
3589.31/3599.42 c locks : 0.07 0.00 1 0 0
3589.31/3599.42 c lpface : 0.02 0.00 0 0 0
3589.31/3599.42 c mpec : 0.00 0.00 0 0 0
3589.31/3599.42 c multistart : 0.00 0.00 0 0 0
3589.31/3599.42 c mutation : 0.00 0.00 0 0 0
3589.31/3599.42 c nlpdiving : 0.00 0.00 0 0 0
3589.31/3599.42 c objpscostdiving : 213.54 0.00 2 0 0
3589.31/3599.42 c octane : 0.00 0.00 0 0 0
3589.31/3599.42 c ofins : 0.00 0.00 0 0 0
3589.31/3599.42 c oneopt : 0.00 0.00 0 0 0
3589.31/3599.42 c padm : 0.00 0.00 0 0 0
3589.31/3599.42 c proximity : 0.00 0.00 0 0 0
3589.31/3599.42 c pscostdiving : 219.80 0.00 45 0 0
3589.31/3599.42 c randrounding : 9.53 0.00 496 0 0
3589.31/3599.42 c rens : 1.27 0.00 2 0 0
3589.31/3599.42 c reoptsols : 0.00 0.00 0 0 0
3589.31/3599.42 c repair : 0.00 0.00 0 0 0
3589.31/3599.42 c rins : 0.00 0.00 0 0 0
3589.31/3599.42 c rootsoldiving : 42.40 0.00 5 0 0
3589.31/3599.42 c rounding : 3.80 0.00 808 0 0
3589.31/3599.42 c scheduler : 0.00 0.00 0 0 0
3589.31/3599.42 c shiftandpropagate: 0.30 0.00 2 0 0
3589.31/3599.42 c shifting : 18.70 0.00 433 0 0
3589.31/3599.42 c simplerounding : 0.00 0.00 0 0 0
3589.31/3599.42 c smallcard : 0.00 0.00 0 0 0
3589.31/3599.42 c subnlp : 0.00 0.00 0 0 0
3589.31/3599.42 c trivial : 0.02 0.00 4 0 0
3589.31/3599.42 c trivialnegation : 0.00 0.00 0 0 0
3589.31/3599.42 c trustregion : 0.00 0.00 0 0 0
3589.31/3599.42 c trysol : 0.00 0.00 0 0 0
3589.31/3599.42 c twoopt : 0.00 0.00 0 0 0
3589.31/3599.42 c undercover : 0.00 0.00 1 0 0
3589.31/3599.42 c vbounds : 0.35 0.00 2 0 0
3589.31/3599.42 c veclendiving : 78.54 0.00 35 0 0
3589.31/3599.42 c zeroobj : 0.00 0.00 0 0 0
3589.31/3599.42 c zirounding : 2.71 0.00 1000 0 0
3589.31/3599.42 c other solutions : - - - 0 -
3589.31/3599.42 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 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
3589.31/3599.42 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3589.31/3599.42 c primal LP : 5.19 306 0 0.00 0.00 5.19 306
3589.31/3599.42 c dual LP : 1131.70 3776 1627339 431.08 1437.96 0.01 1
3589.31/3599.42 c lex dual LP : 0.00 0 0 0.00 -
3589.31/3599.42 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3589.31/3599.42 c resolve instable : 0.00 0 0 0.00 -
3589.31/3599.42 c diving/probing LP: 1686.77 718 677202 943.18 401.48
3589.31/3599.42 c strong branching : 53.62 98 65501 668.38 1221.62 - - 97
3589.31/3599.42 c (at root node) : - 98 65501 668.38 -
3589.31/3599.42 c conflict analysis: 0.00 0 0 0.00 -
3589.31/3599.42 c B&B Tree :
3589.31/3599.42 c number of runs : 2
3589.31/3599.42 c nodes : 649 (630 internal, 19 leaves)
3589.31/3599.42 c feasible leaves : 0
3589.31/3599.42 c infeas. leaves : 19
3589.31/3599.42 c objective leaves : 0
3589.31/3599.42 c nodes (total) : 3859 (2880 internal, 979 leaves)
3589.31/3599.42 c nodes left : 602
3589.31/3599.42 c max depth : 13
3589.31/3599.42 c max depth (total): 52
3589.31/3599.42 c backtracks : 296 (45.6%)
3589.31/3599.42 c early backtracks : 0 (0.0%)
3589.31/3599.42 c nodes exc. ref. : 0 (0.0%)
3589.31/3599.42 c delayed cutoffs : 10
3589.31/3599.42 c repropagations : 64 (1379 domain reductions, 9 cutoffs)
3589.31/3599.42 c avg switch length: 5.50
3589.31/3599.42 c switching time : 9.95
3589.31/3599.42 c Root Node :
3589.31/3599.42 c First LP value : +0.00000000000000e+00
3589.31/3599.42 c First LP Iters : 460 (5323.40 Iter/sec)
3589.31/3599.42 c First LP Time : 0.09
3589.31/3599.42 c Final Dual Bound : +0.00000000000000e+00
3589.31/3599.42 c Final Root Iters : 26362
3589.31/3599.42 c Root LP Estimate : +4.68040039731431e-02
3589.31/3599.42 c Solution :
3589.31/3599.42 c Solutions found : 0 (0 improvements)
3589.31/3599.42 c Primal Bound : -
3589.31/3599.42 c Dual Bound : +0.00000000000000e+00
3589.31/3599.42 c Gap : infinite
3589.31/3599.42 c Integrals : Total Avg%
3589.31/3599.42 c primal-dual : 359941.37 100.00
3589.31/3599.42 c primal-ref : - - (not evaluated)
3589.31/3599.42 c dual-ref : - - (not evaluated)
3589.60/3599.74 c Time complete: 3589.65.
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 (62917 MiB free)
memory of node 1: 64507 MiB (62753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503430-1751171987/watcher-4503430-1751171987 -o /tmp/evaluation-result-4503430-1751171987/solver-4503430-1751171987 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23685 --watchdog 3760 pbscip -f HOME/instance-4503430-1751171987.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=24336, runsolver pid=24333
[startup+0.100063 s]*
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128665384/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=71056 memory=43008 CPUtime=0.08 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 7885 0 0 0 7 1 0 0 20 0 1 0 32876602 72761344 10752 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 17764 10752 3200 3530 0 9215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 71056 KiB
Current children cumulated memory: 43008 KiB
[startup+0.205503 s]*
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128641192/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=99268 memory=70656 CPUtime=0.19 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 14796 0 0 0 17 2 0 0 20 0 1 0 32876602 101650432 17664 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 24817 17664 3200 3530 0 16268 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 70656 KiB
[startup+0.305454 s]*
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128617000/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=126420 memory=97792 CPUtime=0.28 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 21581 0 0 0 26 2 0 0 20 0 1 0 32876602 129454080 24448 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 31605 24448 3200 3530 0 23056 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 126420 KiB
Current children cumulated memory: 97792 KiB
[startup+0.700168 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128512420/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=275840 memory=245776 CPUtime=0.67 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 58977 0 0 0 59 8 0 0 20 0 1 0 32876602 282460160 61444 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 68960 61444 3552 3530 0 60411 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 275840 KiB
Current children cumulated memory: 245776 KiB
[startup+1.50017 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128358312/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=325564 memory=293512 CPUtime=1.47 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 77844 0 0 0 134 13 0 0 20 0 1 0 32876602 333377536 73378 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 81391 73378 3648 3530 0 72842 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 325564 KiB
Current children cumulated memory: 293512 KiB
[startup+3.10551 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128133104/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=393244 memory=360840 CPUtime=3.07 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 94634 0 0 0 291 16 0 0 20 0 1 0 32876602 402681856 90210 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 98311 90210 3712 3530 0 89762 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 393244 KiB
Current children cumulated memory: 360840 KiB
[startup+6.30015 s]
/proc/loadavg: 4.01 4.07 4.03 5/264 24337
/proc/meminfo: memFree=128133128/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=393244 memory=360840 CPUtime=6.25 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 94648 0 0 0 609 16 0 0 20 0 1 0 32876602 402681856 90210 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 98311 90210 3712 3530 0 89762 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 393244 KiB
Current children cumulated memory: 360840 KiB
[startup+12.7001 s]
/proc/loadavg: 4.01 4.06 4.03 5/264 24338
/proc/meminfo: memFree=126918016/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=911100 memory=818984 CPUtime=12.63 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 149351 0 0 0 1234 29 0 0 20 0 1 0 32876602 932966400 204746 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 227775 204746 3904 3530 0 219226 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 911100 KiB
Current children cumulated memory: 818984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.00 4.06 4.03 5/264 24338
/proc/meminfo: memFree=126881544/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=942788 memory=842460 CPUtime=25.4 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 152156 0 0 0 2510 30 0 0 20 0 1 0 32876602 965414912 210615 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 235697 210615 3904 3530 0 227148 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 942788 KiB
Current children cumulated memory: 842460 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.08 4.04 5/264 24338
/proc/meminfo: memFree=126870672/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=982996 memory=853632 CPUtime=50.95 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 153389 0 0 0 5064 31 0 0 20 0 1 0 32876602 1006587904 213408 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 245749 213408 3904 3530 0 237200 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 982996 KiB
Current children cumulated memory: 853632 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 24341
/proc/meminfo: memFree=126736264/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1086920 memory=871416 CPUtime=102 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 154812 0 0 0 10169 31 0 0 20 0 1 0 32876602 1113006080 217854 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 271730 217854 3904 3530 0 263181 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1086920 KiB
Current children cumulated memory: 871416 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/265 24388
/proc/meminfo: memFree=126398532/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1307176 memory=1061172 CPUtime=161.84 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 201525 0 0 0 16143 41 0 0 20 0 1 0 32876602 1338548224 265293 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 326794 265293 3904 3530 0 318245 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1307176 KiB
Current children cumulated memory: 1061172 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/265 24390
/proc/meminfo: memFree=126361216/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1307176 memory=1061172 CPUtime=221.68 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 201525 0 0 0 22127 41 0 0 20 0 1 0 32876602 1338548224 265293 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 326794 265293 3904 3530 0 318245 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1307176 KiB
Current children cumulated memory: 1061172 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/265 24438
/proc/meminfo: memFree=125287932/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1307176 memory=1061428 CPUtime=281.5 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 201649 0 0 0 28109 41 0 0 20 0 1 0 32876602 1338548224 265357 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 326794 265357 3904 3530 0 318245 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1307176 KiB
Current children cumulated memory: 1061428 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.05 5/265 24440
/proc/meminfo: memFree=125320876/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1342164 memory=1065716 CPUtime=341.29 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 201675 0 0 0 34088 41 0 0 20 0 1 0 32876602 1374375936 266429 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 335541 266429 3904 3530 0 326992 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1342164 KiB
Current children cumulated memory: 1065716 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.04 5/265 24450
/proc/meminfo: memFree=123721276/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1370988 memory=1065716 CPUtime=401.08 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 201718 0 0 0 40067 41 0 0 20 0 1 0 32876602 1403891712 266429 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 342747 266429 3904 3530 0 334198 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1370988 KiB
Current children cumulated memory: 1065716 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.09 4.05 5/265 24452
/proc/meminfo: memFree=123687820/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=1414224 memory=1065716 CPUtime=460.89 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 201739 0 0 0 46048 41 0 0 20 0 1 0 32876602 1448165376 266429 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 353556 266429 3904 3530 0 345007 0
################
# More data... #
################
/proc/loadavg: 4.07 4.08 4.09 5/263 24596
/proc/meminfo: memFree=120714056/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2229040 memory=1462052 CPUtime=3213.5 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297581 0 0 0 321291 59 0 0 20 0 1 0 32876602 2282536960 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 557260 365513 3904 3530 0 548711 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 2229040 KiB
Current children cumulated memory: 1462052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 24598
/proc/meminfo: memFree=120700332/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2229040 memory=1462052 CPUtime=3273.3 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297583 0 0 0 327271 59 0 0 20 0 1 0 32876602 2282536960 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 557260 365513 3904 3530 0 548711 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 2229040 KiB
Current children cumulated memory: 1462052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 24600
/proc/meminfo: memFree=120666664/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2229040 memory=1462052 CPUtime=3333.09 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297584 0 0 0 333250 59 0 0 20 0 1 0 32876602 2282536960 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 557260 365513 3904 3530 0 548711 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 2229040 KiB
Current children cumulated memory: 1462052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 24609
/proc/meminfo: memFree=120626992/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2229040 memory=1462052 CPUtime=3392.89 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297585 0 0 0 339229 60 0 0 20 0 1 0 32876602 2282536960 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 557260 365513 3904 3530 0 548711 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 2229040 KiB
Current children cumulated memory: 1462052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 24611
/proc/meminfo: memFree=120613772/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3452.69 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297762 0 0 0 345209 60 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 24614
/proc/meminfo: memFree=120213008/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3512.47 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297919 0 0 0 351186 61 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 24616
/proc/meminfo: memFree=120151716/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3572.27 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 357165 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3599.75 s]
# the end of solver process 24336 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.01 s, system=0.649108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 24616
/proc/meminfo: memFree=120151968/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3573.97 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 357335 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 24616
/proc/meminfo: memFree=120123424/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3580.34 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 357972 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3580.34 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120123424/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3583.53 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 358291 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121368/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3586.72 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 358610 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 24616
/proc/meminfo: memFree=120121116/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3588.31 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 358769 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3588.31 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3599.2 s]
/proc/loadavg: 4.08 4.08 4.09 4/260 24624
/proc/meminfo: memFree=122867076/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3589.1 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297924 0 0 0 358848 62 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3599.6 s]
/proc/loadavg: 4.08 4.08 4.09 4/260 24624
/proc/meminfo: memFree=122867076/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2243460 memory=1462052 CPUtime=3589.5 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297935 0 0 0 358887 63 0 0 20 0 1 0 32876602 2297303040 365513 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 560865 365513 3904 3530 0 552316 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 2243460 KiB
Current children cumulated memory: 1462052 KiB
[startup+3599.7 s]
/proc/loadavg: 4.08 4.08 4.09 4/260 24624
/proc/meminfo: memFree=122867076/131250000 swapFree=33010684/33010684
[pid=24336] ppid=24333 vsize=2217200 memory=1435852 CPUtime=3589.6 cores=4,6
/proc/24336/stat : 24336 (pbscip) R 24333 24336 23674 0 -1 4194304 297954 0 0 0 358897 63 0 0 20 0 1 0 32876602 2270412800 358963 18446744073709551615 4235264 18693293 140731907542528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 36679680 140731907545481 140731907545580 140731907545580 140731907551182 0
/proc/24336/statm: 554300 358963 3904 3530 0 545751 0
Current children cumulated CPU time: 3589.6 s
Current children cumulated vsize: 2217200 KiB
Current children cumulated memory: 1435852 KiB
Child status: 0
Real time (s): 3599.75
CPU time (s): 3589.65
CPU user time (s): 3589.01
CPU system time (s): 0.649108
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 2243460
Max. memory (cumulated for all children) (KiB): 1513516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.01
system time used= 0.649108
maximum resident set size= 1513516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298027
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= 98
involuntary context switches= 1934
# summary of solver processes directly reported to runsolver:
# pid: 24336
# total CPU time (s): 3589.65
# total CPU user time (s): 3589.01
# total CPU system time (s): 0.649108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83406 second user time and 15.3348 second system time
The end