0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459984-1721939464.opb>
0.00/0.01 c original problem has 2990 variables (584 bin, 0 int, 2406 impl, 0 cont) and 3136 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 662 del vars, 33 del conss, 0 add conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7840 clqs
0.00/0.03 c (round 2, fast) 1343 del vars, 574 del conss, 0 add conss, 33 chg bounds, 0 chg sides, 421 chg coeffs, 564 upgd conss, 0 impls, 7810 clqs
0.00/0.04 c (round 3, medium) 1353 del vars, 1739 del conss, 164 add conss, 33 chg bounds, 0 chg sides, 421 chg coeffs, 564 upgd conss, 0 impls, 5965 clqs
0.00/0.04 c (round 4, fast) 2113 del vars, 2353 del conss, 164 add conss, 33 chg bounds, 0 chg sides, 421 chg coeffs, 564 upgd conss, 0 impls, 5967 clqs
0.00/0.04 c (round 5, exhaustive) 2113 del vars, 2413 del conss, 164 add conss, 33 chg bounds, 0 chg sides, 421 chg coeffs, 564 upgd conss, 0 impls, 5967 clqs
0.00/0.04 c (round 6, exhaustive) 2113 del vars, 3351 del conss, 164 add conss, 33 chg bounds, 0 chg sides, 421 chg coeffs, 564 upgd conss, 0 impls, 5967 clqs
0.00/0.05 c (round 7, exhaustive) 2120 del vars, 3358 del conss, 164 add conss, 33 chg bounds, 0 chg sides, 421 chg coeffs, 564 upgd conss, 0 impls, 5967 clqs
0.00/0.07 c (0.1s) probing: 51/1499 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.08 c presolving (8 rounds: 8 fast, 5 medium, 4 exhaustive):
0.00/0.08 c 2120 deleted vars, 3358 deleted constraints, 164 added constraints, 33 tightened bounds, 0 added holes, 0 changed sides, 421 changed coefficients
0.00/0.08 c 0 implications, 5967 cliques
0.00/0.08 c presolved problem has 1499 variables (491 bin, 0 int, 1008 impl, 0 cont) and 1487 constraints
0.00/0.08 c 71 constraints of type <setppc>
0.00/0.08 c 1011 constraints of type <and>
0.00/0.08 c 157 constraints of type <xor>
0.00/0.08 c 90 constraints of type <linear>
0.00/0.08 c 88 constraints of type <logicor>
0.00/0.08 c 70 constraints of type <pseudoboolean>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.06
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.997012
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.09/0.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.20 c 0.2s| 1 | 0 | 1453 | - | 30M | 0 |1565 |1557 |2701 | 0 | 0 | 69 | 0 | 1.300000e+01 | -- | Inf | unknown
3.07/3.15 c 3.2s| 1 | 0 | 2630 | - | 34M | 0 |1565 |1590 |2796 | 95 | 1 | 87 | 0 | 1.300000e+01 | -- | Inf | unknown
3.16/3.26 c 3.3s| 1 | 0 | 3123 | - | 38M | 0 |1565 |1592 |2877 | 176 | 2 | 89 | 0 | 1.300000e+01 | -- | Inf | unknown
3.26/3.37 c 3.4s| 1 | 0 | 3386 | - | 42M | 0 |1565 |1593 |2959 | 258 | 3 | 90 | 0 | 1.300000e+01 | -- | Inf | unknown
3.36/3.45 c 3.4s| 1 | 0 | 3578 | - | 46M | 0 |1565 |1595 |3022 | 321 | 4 | 92 | 0 | 1.300000e+01 | -- | Inf | unknown
3.46/3.55 c 3.6s| 1 | 0 | 3836 | - | 51M | 0 |1565 |1601 |3096 | 395 | 5 | 98 | 0 | 1.300000e+01 | -- | Inf | unknown
3.66/3.70 c 3.7s| 1 | 0 | 4149 | - | 57M | 0 |1565 |1603 |3177 | 476 | 6 | 100 | 0 | 1.300000e+01 | -- | Inf | unknown
3.76/3.80 c 3.8s| 1 | 0 | 4495 | - | 62M | 0 |1565 |1606 |3230 | 529 | 7 | 103 | 0 | 1.300000e+01 | -- | Inf | unknown
3.76/3.89 c 3.9s| 1 | 0 | 4845 | - | 64M | 0 |1565 |1607 |3281 | 580 | 8 | 104 | 0 | 1.300000e+01 | -- | Inf | unknown
3.86/3.98 c 4.0s| 1 | 0 | 5074 | - | 71M | 0 |1565 |1609 |3332 | 631 | 9 | 106 | 0 | 1.300000e+01 | -- | Inf | unknown
3.96/4.10 c 4.1s| 1 | 0 | 5451 | - | 73M | 0 |1565 |1611 |3373 | 672 | 10 | 108 | 0 | 1.300000e+01 | -- | Inf | unknown
4.06/4.15 c 4.2s| 1 | 0 | 5780 | - | 75M | 0 |1565 |1614 |3411 | 710 | 11 | 111 | 0 | 1.300000e+01 | -- | Inf | unknown
4.76/4.84 c 4.8s| 1 | 2 | 7354 | - | 75M | 0 |1565 |1626 |3411 | 710 | 11 | 123 | 12 | 1.300000e+01 | -- | Inf | unknown
10.84/10.91 c 10.9s| 100 | 101 | 25703 | 201.2 | 89M | 21 |1565 |1698 |1148 |4534 | 2 | 195 | 904 | 1.300000e+01 | -- | Inf | unknown
14.93/15.05 c 15.0s| 200 | 197 | 42537 | 184.7 | 106M | 22 |1565 |1721 |1150 |8169 | 2 | 218 |1342 | 1.300000e+01 | -- | Inf | unknown
18.12/18.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.12/18.21 c 18.2s| 300 | 287 | 63026 | 191.5 | 110M | 22 |1565 |1778 |1025 | 12k| 2 | 275 |1601 | 1.300000e+01 | -- | Inf | unknown
21.70/21.87 c 21.9s| 400 | 387 | 91969 | 216.0 | 114M | 22 |1565 |1814 |1058 | 16k| 2 | 311 |1644 | 1.300000e+01 | -- | Inf | unknown
24.80/24.95 c 24.9s| 500 | 487 |120675 | 230.3 | 117M | 22 |1565 |1930 |1188 | 20k| 2 | 427 |1659 | 1.300000e+01 | -- | Inf | unknown
28.78/28.92 c 28.9s| 600 | 587 |158246 | 254.5 | 122M | 22 |1565 |2026 |1180 | 25k| 3 | 533 |1675 | 1.300000e+01 | -- | Inf | unknown
32.57/32.76 c 32.8s| 700 | 687 |189986 | 263.5 | 126M | 25 |1565 |2100 |1201 | 30k| 3 | 627 |1775 | 1.300000e+01 | -- | Inf | unknown
36.16/36.35 c 36.3s| 800 | 787 |223607 | 272.6 | 128M | 25 |1565 |2216 |1181 | 35k| 2 | 766 |1837 | 1.300000e+01 | -- | Inf | unknown
39.35/39.54 c 39.5s| 900 | 887 |252217 | 274.1 | 130M | 25 |1565 |2347 |1130 | 39k| 2 | 924 |1889 | 1.300000e+01 | -- | Inf | unknown
42.74/42.99 c 43.0s| 1000 | 987 |279840 | 274.3 | 131M | 25 |1565 |2428 |1136 | 42k| 2 |1021 |1905 | 1.306250e+01 | -- | Inf | unknown
45.13/45.35 c 45.3s| 1100 | 1087 |305180 | 272.4 | 132M | 25 |1565 |2526 |1115 | 46k| 2 |1140 |1929 | 1.310000e+01 | -- | Inf | unknown
48.12/48.32 c 48.3s| 1200 | 1185 |327712 | 268.5 | 132M | 27 |1565 |2628 |1120 | 49k| 2 |1260 |1941 | 1.311940e+01 | -- | Inf | unknown
50.72/50.96 c 51.0s| 1300 | 1285 |353756 | 267.9 | 133M | 27 |1565 |2794 |1086 | 52k| 2 |1455 |1950 | 1.325000e+01 | -- | Inf | unknown
53.81/54.08 c 54.1s| 1400 | 1385 |380902 | 268.1 | 135M | 27 |1565 |2953 |1205 | 56k| 2 |1659 |1960 | 1.337500e+01 | -- | Inf | unknown
56.70/56.97 c 57.0s| 1500 | 1485 |408770 | 268.8 | 136M | 27 |1565 |3042 |1144 | 60k| 2 |1808 |1969 | 1.337500e+01 | -- | Inf | unknown
59.59/59.81 c 59.8s| 1600 | 1583 |435608 | 268.8 | 137M | 27 |1565 |3129 |1319 | 64k| 8 |1962 |1979 | 1.350000e+01 | -- | Inf | unknown
62.98/63.29 c 63.3s| 1700 | 1682 |470979 | 273.8 | 139M | 27 |1565 |3312 |1150 | 69k| 2 |2214 |1986 | 1.350000e+01 | -- | Inf | unknown
66.47/66.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
66.47/66.77 c 66.8s| 1800 | 1780 |502454 | 276.1 | 140M | 27 |1565 |3447 |1068 | 73k| 2 |2421 |1991 | 1.350000e+01 | -- | Inf | unknown
68.96/69.26 c 69.3s| 1900 | 1880 |532930 | 277.6 | 140M | 27 |1565 |3536 |1142 | 77k| 3 |2598 |1998 | 1.350000e+01 | -- | Inf | unknown
71.55/71.88 c 71.9s| 2000 | 1980 |563511 | 279.0 | 141M | 27 |1565 |3614 |1132 | 81k| 2 |2810 |2006 | 1.350000e+01 | -- | Inf | unknown
73.94/74.25 c 74.2s| 2100 | 2080 |588037 | 277.4 | 143M | 31 |1565 |3675 |1119 | 85k| 2 |2997 |2013 | 1.350000e+01 | -- | Inf | unknown
75.94/76.21 c 76.2s| 2200 | 2180 |610831 | 275.1 | 143M | 31 |1565 |3678 |1179 | 88k| 2 |3161 |2015 | 1.350000e+01 | -- | Inf | unknown
77.93/78.24 c 78.2s| 2300 | 2278 |633750 | 273.1 | 144M | 31 |1565 |3721 |1153 | 92k| 2 |3373 |2020 | 1.350000e+01 | -- | Inf | unknown
79.83/80.10 c 80.1s| 2400 | 2372 |653761 | 270.1 | 145M | 31 |1565 |3750 |1183 | 95k| 2 |3529 |2027 | 1.350000e+01 | -- | Inf | unknown
81.42/81.74 c 81.7s| 2500 | 2467 |671611 | 266.4 | 145M | 31 |1565 |3714 |1155 | 97k| 2 |3659 |2033 | 1.350000e+01 | -- | Inf | unknown
83.91/84.24 c 84.2s| 2600 | 2563 |699555 | 266.9 | 150M | 31 |1565 |3718 |1245 | 101k| 2 |3829 |2033 | 1.350000e+01 | -- | Inf | unknown
86.01/86.34 c 86.3s| 2700 | 2661 |723819 | 266.0 | 150M | 31 |1565 |3704 |1240 | 105k| 4 |4022 |2051 | 1.352778e+01 | -- | Inf | unknown
88.10/88.41 c 88.4s| 2800 | 2759 |745708 | 264.4 | 151M | 31 |1565 |3682 |1130 | 108k| 2 |4226 |2088 | 1.354167e+01 | -- | Inf | unknown
89.80/90.18 c 90.2s| 2900 | 2855 |764125 | 261.6 | 152M | 31 |1565 |3602 |1133 | 111k| 2 |4308 |2122 | 1.355479e+01 | -- | Inf | unknown
91.29/91.69 c 91.7s| 3000 | 2953 |782035 | 258.8 | 153M | 32 |1565 |3589 |1285 | 114k| 0 |4407 |2136 | 1.355479e+01 | -- | Inf | unknown
93.08/93.43 c 93.4s| 3100 | 3047 |802061 | 256.9 | 153M | 35 |1565 |3547 |1233 | 116k| 3 |4560 |2152 | 1.355970e+01 | -- | Inf | unknown
94.88/95.26 c 95.3s| 3200 | 3145 |823620 | 255.7 | 154M | 35 |1565 |3522 |1133 | 120k| 3 |4705 |2157 | 1.358333e+01 | -- | Inf | unknown
96.37/96.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
96.37/96.74 c 96.7s| 3300 | 3241 |842528 | 253.6 | 154M | 35 |1565 |3547 |1131 | 122k| 2 |4902 |2162 | 1.358333e+01 | -- | Inf | unknown
98.07/98.44 c 98.4s| 3400 | 3337 |863290 | 252.3 | 154M | 35 |1565 |3576 |1165 | 125k| 2 |5060 |2167 | 1.359091e+01 | -- | Inf | unknown
100.37/100.76 c 101s| 3500 | 3435 |887212 | 251.9 | 157M | 35 |1565 |3616 |1190 | 128k| 2 |5317 |2200 | 1.362500e+01 | -- | Inf | unknown
102.26/102.69 c 103s| 3600 | 3533 |908206 | 250.7 | 158M | 35 |1565 |3532 |1250 | 131k| 2 |5480 |2235 | 1.362500e+01 | -- | Inf | unknown
104.06/104.44 c 104s| 3700 | 3622 |925788 | 248.7 | 158M | 35 |1565 |3481 |1248 | 134k| 4 |5624 |2274 | 1.362500e+01 | -- | Inf | unknown
104.76/105.18 o 20
104.76/105.18 c * 105s| 3740 | 2133 |933259 | 248.1 | LP | 35 |1565 |3485 |1215 | 135k| 1 |5672 |2288 | 1.362500e+01 | 2.000000e+01 | 46.79%| 3.03%
106.05/106.47 c 106s| 3800 | 2181 |946726 | 247.7 | 159M | 35 |1565 |3419 |1292 | 138k| 0 |5699 |2302 | 1.362500e+01 | 2.000000e+01 | 46.79%| 3.19%
108.75/109.14 c 109s| 3900 | 2261 |971489 | 247.7 | 159M | 35 |1565 |3303 |1148 | 143k| 2 |5758 |2315 | 1.364925e+01 | 2.000000e+01 | 46.53%| 3.51%
110.33/110.76 c 111s| 4000 | 2304 |987228 | 245.4 | 161M | 35 |1565 |3209 |1105 | 145k| 3 |5810 |2319 | 1.366667e+01 | 2.000000e+01 | 46.34%| 4.03%
112.93/113.30 c 113s| 4100 | 2362 | 1011k| 245.4 | 161M | 35 |1565 |3147 |1241 | 150k| 4 |5874 |2325 | 1.366842e+01 | 2.000000e+01 | 46.32%| 4.32%
114.82/115.21 c 115s| 4200 | 2420 | 1030k| 243.9 | 161M | 35 |1565 |3077 |1301 | 153k| 6 |5936 |2348 | 1.370000e+01 | 2.000000e+01 | 45.99%| 4.61%
116.62/117.05 c 117s| 4300 | 2458 | 1048k| 242.6 | 162M | 35 |1565 |3027 |1125 | 156k| 2 |6002 |2377 | 1.373964e+01 | 2.000000e+01 | 45.56%| 4.90%
118.71/119.11 c 119s| 4400 | 2502 | 1068k| 241.6 | 162M | 35 |1565 |2989 |1169 | 159k| 3 |6086 |2411 | 1.374286e+01 | 2.000000e+01 | 45.53%| 5.11%
120.40/120.81 c 121s| 4500 | 2559 | 1085k| 240.0 | 162M | 35 |1565 |2940 |1163 | 163k| 2 |6161 |2451 | 1.375000e+01 | 2.000000e+01 | 45.45%| 5.43%
122.20/122.61 c 123s| 4600 | 2626 | 1103k| 238.8 | 163M | 35 |1565 |2897 |1183 | 166k| 2 |6226 |2464 | 1.377717e+01 | 2.000000e+01 | 45.17%| 5.84%
124.49/124.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
124.49/124.94 c 125s| 4700 | 2679 | 1128k| 238.9 | 166M | 35 |1565 |2869 |1402 | 169k| 0 |6280 |2478 | 1.377717e+01 | 2.000000e+01 | 45.17%| 6.25%
126.69/127.13 c 127s| 4800 | 2725 | 1147k| 238.0 | 166M | 35 |1565 |2853 |1232 | 173k| 0 |6355 |2501 | 1.383333e+01 | 2.000000e+01 | 44.58%| 6.51%
127.98/128.48 c 128s| 4900 | 2765 | 1159k| 235.5 | 167M | 35 |1565 |2862 |1306 | 175k| 2 |6423 |2508 | 1.383333e+01 | 2.000000e+01 | 44.58%| 6.64%
129.77/130.24 c 130s| 5000 | 2789 | 1176k| 234.1 | 167M | 35 |1565 |2831 |1206 | 178k| 0 |6473 |2514 | 1.383333e+01 | 2.000000e+01 | 44.58%| 7.07%
131.67/132.12 c 132s| 5100 | 2846 | 1197k| 233.6 | 167M | 35 |1565 |2853 |1294 | 181k| 4 |6579 |2536 | 1.383333e+01 | 2.000000e+01 | 44.58%| 7.18%
133.96/134.42 c 134s| 5200 | 2885 | 1216k| 233.0 | 168M | 35 |1565 |2841 |1234 | 184k| 6 |6676 |2582 | 1.388889e+01 | 2.000000e+01 | 44.00%| 7.59%
135.56/136.03 c 136s| 5300 | 2913 | 1230k| 231.1 | 168M | 35 |1565 |2831 |1183 | 187k| 0 |6741 |2622 | 1.390385e+01 | 2.000000e+01 | 43.85%| 7.89%
137.35/137.87 o 19
137.35/137.87 c * 138s| 5398 | 2368 | 1250k| 230.6 | LP | 35 |1565 |2345 |1218 | 189k| 1 |6803 |2650 | 1.392748e+01 | 1.900000e+01 | 36.42%| 12.14%
137.35/137.88 c 138s| 5400 | 2368 | 1250k| 230.5 | 168M | 35 |1565 |2345 |1214 | 189k| 0 |6803 |2650 | 1.392748e+01 | 1.900000e+01 | 36.42%| 12.14%
137.66/138.13 o 17
137.66/138.13 c * 138s| 5421 | 964 | 1252k| 230.0 | LP | 35 |1565 |2339 |1244 | 190k| 1 |6819 |2650 | 1.392748e+01 | 1.700000e+01 | 22.06%| 29.87%
138.75/139.25 c 139s| 5500 | 967 | 1262k| 228.6 | 169M | 35 |1565 |2363 |1112 | 192k| 0 |6899 |2681 | 1.392857e+01 | 1.700000e+01 | 22.05%| 31.12%
139.85/140.33 c 140s| 5600 | 965 | 1272k| 226.3 | 169M | 35 |1565 |2383 |1039 | 193k| 0 |6962 |2697 | 1.394393e+01 | 1.700000e+01 | 21.92%| 32.86%
141.74/142.24 c 142s| 5700 | 973 | 1289k| 225.2 | 171M | 35 |1565 |2372 |1080 | 196k| 0 |7018 |2711 | 1.400000e+01 | 1.700000e+01 | 21.43%| 34.52%
143.73/144.21 c 144s| 5800 | 955 | 1305k| 224.1 | 172M | 35 |1565 |2373 |1221 | 199k| 0 |7077 |2716 | 1.400000e+01 | 1.700000e+01 | 21.43%| 37.08%
145.33/145.80 c 146s| 5900 | 935 | 1318k| 222.5 | 173M | 35 |1565 |2357 |1161 | 201k| 4 |7108 |2716 | 1.400000e+01 | 1.700000e+01 | 21.43%| 39.10%
145.43/145.93 o 15
145.43/145.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.43/145.93 c * 146s| 5917 | 21 | 1318k| 221.9 | LP | 35 |1565 |2209 |1758 | 201k| 5 |7112 |2718 | 1.400000e+01 | 1.500000e+01 | 7.14%| 90.64%
145.53/146.07 c
145.53/146.07 c SCIP Status : problem is solved [optimal solution found]
145.53/146.07 c Solving Time (sec) : 146.07
145.53/146.07 c Solving Nodes : 5938
145.53/146.07 c Primal Bound : +1.50000000000000e+01 (4 solutions)
145.53/146.07 c Dual Bound : +1.50000000000000e+01
145.53/146.07 c Gap : 0.00 %
145.53/146.07 s OPTIMUM FOUND
145.53/146.07 v -x584 -x583 x582 x581 x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 -x566 -x565 x564 x563 -x562
145.53/146.07 v -x561 x560 -x559 -x558 -x557 -x556 x555 x554 x553 x552 -x551 x550 -x549 -x548 x547 -x546 x545 x544 x543 x542 x541 -x540 x539
145.53/146.07 v -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 x526 -x525 x524 x523 x522 x521 x520 -x519 x518 x517 x516
145.53/146.07 v -x515 -x514 x513 x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 x503 x502 -x501 x500 -x499 -x498 x497 x496 x495 -x494
145.53/146.07 v -x493 -x492 -x491 x490 -x489 -x488 x487 -x486 x485 -x484 x483 -x482 -x481 -x480 -x479 x478 -x477 x476 -x475 -x474 -x473 -x472
145.53/146.07 v x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 x462 -x461 -x460 x459 -x458 x457 -x456 x455 x454 x453 x452 -x451 x450 -x449
145.53/146.07 v x448 x447 -x446 -x445 -x444 x443 x442 -x441 x440 x439 -x438 x437 -x436 -x435 -x434 x433 x432 -x431 x430 x429 x428 x427 x426
145.53/146.07 v -x425 -x424 x423 x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 x414 x413 -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 x404
145.53/146.07 v -x403 x402 x401 -x400 -x399 x398 x397 x396 x395 -x394 -x393 -x392 -x391 x390 x389 x388 x387 x386 -x385 -x384 x383 x382 -x381
145.53/146.07 v x380 -x379 -x378 x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 x368 x367 -x366 x365 x364 x363 -x362 x361 x360 -x359 x358
145.53/146.07 v -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 x346 x345 x344 -x343 x342 -x341 -x340 -x339 x338 x337 x336
145.53/146.07 v -x335 x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 x326 -x325 -x324 x323 x322 x321 -x320 x319 -x318 -x317 -x316 x315 x314 x313
145.53/146.07 v x312 x311 -x310 x309 -x308 x307 -x306 x305 x304 x303 x302 -x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 -x290 x289
145.53/146.07 v -x288 x287 x286 -x285 -x284 x283 -x282 -x281 x280 -x279 -x278 -x277 x276 -x275 x274 -x273 x272 -x271 -x270 -x269 x268 x267
145.53/146.07 v x266 -x265 x264 x263 x262 x261 -x260 -x259 -x258 -x257 x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245
145.53/146.07 v x244 -x243 x242 -x241 -x240 x239 -x238 -x237 x236 x235 x234 -x233 x232 -x231 -x230 -x229 -x228 x227 -x226 x225 -x224 x223 -x222
145.53/146.07 v x221 x220 -x219 x218 -x217 -x216 -x215 x214 -x213 x212 x211 -x210 -x209 -x208 x207 -x206 -x205 x204 x203 x202 -x201 x200
145.53/146.07 v x199 x198 x197 -x196 x195 x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177
145.53/146.07 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
145.53/146.07 v -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135
145.53/146.07 v -x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 x116 -x115 -x114
145.53/146.07 v -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91
145.53/146.07 v -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65
145.53/146.07 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
145.53/146.07 v -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15
145.53/146.07 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
145.53/146.07 c SCIP Status : problem is solved [optimal solution found]
145.53/146.07 c Total Time : 146.07
145.53/146.07 c solving : 146.07
145.53/146.07 c presolving : 0.06 (included in solving)
145.53/146.07 c reading : 0.01 (included in solving)
145.53/146.07 c copying : 0.72 (114 #copies) (minimal 0.00, maximal 0.01, average 0.01)
145.53/146.07 c Original Problem :
145.53/146.07 c Problem name : HOME/instance-4459984-1721939464.opb
145.53/146.07 c Variables : 2990 (584 binary, 0 integer, 2406 implicit integer, 0 continuous)
145.53/146.07 c Constraints : 3136 initial, 3136 maximal
145.53/146.07 c Objective : minimize, 182 non-zeros (abs.min = 1, abs.max = 1)
145.53/146.07 c Presolved Problem :
145.53/146.07 c Problem name : t_HOME/instance-4459984-1721939464.opb
145.53/146.07 c Variables : 1565 (491 binary, 66 integer, 1008 implicit integer, 0 continuous)
145.53/146.07 c Constraints : 1487 initial, 3782 maximal
145.53/146.07 c Objective : minimize, 182 non-zeros (abs.min = 1, abs.max = 1)
145.53/146.07 c Nonzeros : 16598 constraint, 12914 clique table
145.53/146.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
145.53/146.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c gateextraction : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
145.53/146.07 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
145.53/146.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c trivial : 0.00 0.00 8 629 0 0 0 0 0 0 0 0
145.53/146.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c dualfix : 0.00 0.00 8 760 0 0 0 0 0 0 0 0
145.53/146.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c vbounds : 0.00 0.00 1 0 2 0 0 0 0 0 0 0
145.53/146.07 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c setppc : 0.00 0.00 17 0 27 0 0 0 1668 0 0 0
145.53/146.07 c and : 0.02 0.00 10 16 9 0 0 0 9 0 0 213
145.53/146.07 c xor : 0.00 0.00 11 0 7 0 0 0 7 0 0 0
145.53/146.07 c linear : 0.00 0.00 9 33 0 0 33 0 33 0 0 0
145.53/146.07 c logicor : 0.00 0.00 13 0 0 0 0 0 476 0 0 208
145.53/146.07 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c pseudoboolean : 0.01 0.00 5 0 8 0 0 0 1165 164 0 0
145.53/146.07 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c root node : - - - 1098 - - 1130 - - - - -
145.53/146.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
145.53/146.07 c benderslp : 0 0 0 0 5369 0 0 4574 0 0 0 0 0 0 0
145.53/146.07 c integral : 0 0 0 0 5369 0 0 4574 0 0 1796 0 0 433 10370
145.53/146.07 c knapsack : 0+ 48 0 78284 0 0 0 0 1058 152 1035 0 0 0 0
145.53/146.07 c setppc : 71+ 111 12 80934 11 0 0 4571 3638 49 4981 0 0 0 0
145.53/146.07 c and : 1011 1011 16312 80919 11 0 0 117 20245 191 166533 344543 131386 0 0
145.53/146.07 c xor : 157 157 12 80728 4 0 0 113 10689 295 6185 0 0 0 0
145.53/146.07 c linear : 90+ 223 12 80433 4 0 0 1 3276 451 6074 0 0 0 0
145.53/146.07 c logicor : 88+ 1257 12 34167 4 0 0 1 3251 81 1819 0 0 0 0
145.53/146.07 c bounddisjunction : 0+ 1225 0 28946 0 0 0 0 555 24 782 0 0 0 0
145.53/146.07 c benders : 0 0 0 0 11 0 0 3 0 0 0 0 0 0 0
145.53/146.07 c pseudoboolean : 70 70 0 0 4 0 0 1 0 0 0 0 0 0 0
145.53/146.07 c fixedvar : 0 0 0 0 4 0 0 2 0 0 0 0 0 0 0
145.53/146.07 c countsols : 0 0 0 0 4 0 0 2 0 0 0 0 0 0 0
145.53/146.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
145.53/146.07 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c integral : 14.32 0.00 0.00 0.00 14.28 0.00 0.00 0.03 0.00 0.00
145.53/146.07 c knapsack : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c setppc : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.01 0.00 0.01
145.53/146.07 c and : 3.58 0.00 2.67 0.83 0.00 0.00 0.00 0.00 0.00 0.08
145.53/146.07 c xor : 1.06 0.00 0.00 1.03 0.00 0.00 0.00 0.00 0.00 0.02
145.53/146.07 c linear : 0.37 0.00 0.01 0.34 0.00 0.00 0.00 0.00 0.00 0.02
145.53/146.07 c logicor : 0.25 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.00 0.01
145.53/146.07 c bounddisjunction : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
145.53/146.07 c dualfix : 2 0 0 0
145.53/146.07 c genvbounds : 0 0 0 0
145.53/146.07 c nlobbt : 0 0 0 0
145.53/146.07 c obbt : 0 0 0 0
145.53/146.07 c probing : 0 0 0 0
145.53/146.07 c pseudoobj : 23608 0 0 0
145.53/146.07 c redcost : 29920 0 0 49486
145.53/146.07 c rootredcost : 5 0 0 33
145.53/146.07 c symmetry : 0 0 0 0
145.53/146.07 c vbounds : 35119 0 0 0
145.53/146.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
145.53/146.07 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
145.53/146.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
145.53/146.07 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
145.53/146.07 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
145.53/146.07 c redcost : 0.75 0.00 0.00 0.75 0.00 0.00
145.53/146.07 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
145.53/146.07 c symmetry : 0.02 0.00 0.01 0.01 0.00 0.00
145.53/146.07 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
145.53/146.07 c Symmetry :
145.53/146.07 c orbitopal red. : 0 reductions applied, 0 cutoffs
145.53/146.07 c orbital reduction: 0 reductions applied, 0 cutoffs
145.53/146.07 c lexicographic red: 0 reductions applied, 0 cutoffs
145.53/146.07 c shadow tree time : 0.00 s
145.53/146.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
145.53/146.07 c propagation : 0.02 832 822 - 3673 30.0 160 10.3 - - -
145.53/146.07 c infeasible LP : 0.21 827 828 - 3302 29.7 137 8.7 831 27.2 0
145.53/146.07 c bound exceed. LP : 0.29 544 522 - 2001 42.1 15 7.3 478 184.8 2041
145.53/146.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
145.53/146.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
145.53/146.07 c applied globally : 0.10 - - 2 5805 19.7 - - 1309 - -
145.53/146.07 c applied locally : - - - 0 0 0.0 - - 0 - -
145.53/146.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
145.53/146.07 c cut pool : 5.42 - 6258 21 - - 115714 394123 - - - - - (maximal pool size: 8942)
145.53/146.07 c aggregation : 1.41 0.00 2284 11 0 0 6806 49419 21 18929 18917 12 0
145.53/146.07 c > cmir : - - - - - - - 22663 3 3824 3822 2 -
145.53/146.07 c > flowcover : - - - - - - - 26756 18 15105 15095 10 -
145.53/146.07 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
145.53/146.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
145.53/146.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c gomory : 8.90 0.00 1628 10 0 0 81751 218557 946 7447 7424 23 0
145.53/146.07 c > gomorymi : - - - - - - - 62432 529 1633 1618 15 -
145.53/146.07 c > strongcg : - - - - - - - 156125 417 5814 5806 8 -
145.53/146.07 c impliedbounds : 0.59 0.00 2287 11 0 0 20803 50310 0 28105 28105 0 0
145.53/146.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
145.53/146.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c mixing : 0.00 0.00 2290 11 0 0 0 0 0 0 0 0 0
145.53/146.07 c multilinear : 0.05 0.00 978 11 0 0 2587 1216 1801 77 7 70 0
145.53/146.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
145.53/146.07 c rapidlearning : 11.05 0.00 100 1 0 4412 0 0 0 0 0 0 1005
145.53/146.07 c rlt : 0.29 0.00 447 10 0 0 0 0 0 0 0 0 0
145.53/146.07 c zerohalf : 3.13 0.00 1629 11 0 0 6615 74621 80 16069 16047 22 0
145.53/146.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
145.53/146.07 c hybrid : 0.68 0.00 16002 11 202076 0 539407 710 0 9658
145.53/146.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c Pricers : ExecTime SetupTime Calls Vars
145.53/146.07 c problem variables: 0.00 - 0 0
145.53/146.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
145.53/146.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c relpscost : 14.28 0.00 5358 0 0 0 1796 0 488 10370
145.53/146.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
145.53/146.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
145.53/146.07 c LP solutions : 0.05 - - 4 4
145.53/146.07 c relax solutions : 0.00 - - 0 0
145.53/146.07 c pseudo solutions : 0.00 - - 0 0
145.53/146.07 c strong branching : 0.01 - - 0 0
145.53/146.07 c actconsdiving : 0.00 0.00 0 0 0
145.53/146.07 c adaptivediving : 0.38 0.00 24 0 0
145.53/146.07 c alns : 0.10 0.00 5 0 0
145.53/146.07 c bound : 0.00 0.00 0 0 0
145.53/146.07 c clique : 0.01 0.00 1 0 0
145.53/146.07 c coefdiving : 0.00 0.00 0 0 0
145.53/146.07 c completesol : 0.00 0.00 0 0 0
145.53/146.07 c conflictdiving : 2.22 0.00 127 0 0
145.53/146.07 c crossover : 0.02 0.00 1 0 0
145.53/146.07 c dins : 0.00 0.00 0 0 0
145.53/146.07 c distributiondivin: 4.75 0.00 126 0 0
145.53/146.07 c dps : 0.00 0.00 0 0 0
145.53/146.07 c dualval : 0.00 0.00 0 0 0
145.53/146.07 c farkasdiving : 0.00 0.00 0 0 0
145.53/146.07 c feasjump : 0.01 0.00 1 0 0
145.53/146.07 c feaspump : 1.39 0.00 37 0 0
145.53/146.07 c fixandinfer : 0.00 0.00 0 0 0
145.53/146.07 c fracdiving : 1.99 0.00 126 0 0
145.53/146.07 c gins : 0.00 0.00 0 0 0
145.53/146.07 c guideddiving : 1.04 0.00 77 0 0
145.53/146.07 c indcoefdiving : 0.00 0.00 0 0 0
145.53/146.07 c indicator : 0.01 0.00 0 0 0
145.53/146.07 c indicatordiving : 0.00 0.00 0 0 0
145.53/146.07 c indoneopt : 0.00 0.00 0 0 0
145.53/146.07 c indrounding : 0.00 0.00 0 0 0
145.53/146.07 c indtwoopt : 0.00 0.00 0 0 0
145.53/146.07 c intdiving : 0.00 0.00 0 0 0
145.53/146.07 c intshifting : 0.00 0.00 0 0 0
145.53/146.07 c linesearchdiving : 2.14 0.00 126 0 0
145.53/146.07 c localbranching : 0.00 0.00 0 0 0
145.53/146.07 c locks : 0.00 0.00 1 0 0
145.53/146.07 c lpface : 0.61 0.00 2 0 0
145.53/146.07 c mpec : 0.00 0.00 0 0 0
145.53/146.07 c multistart : 0.00 0.00 0 0 0
145.53/146.07 c mutation : 0.00 0.00 0 0 0
145.53/146.07 c nlpdiving : 0.00 0.00 0 0 0
145.53/146.07 c objpscostdiving : 1.19 0.00 10 0 0
145.53/146.07 c octane : 0.00 0.00 0 0 0
145.53/146.07 c ofins : 0.00 0.00 0 0 0
145.53/146.07 c oneopt : 0.01 0.00 4 0 0
145.53/146.07 c padm : 0.00 0.00 0 0 0
145.53/146.07 c proximity : 0.00 0.00 0 0 0
145.53/146.07 c pscostdiving : 2.35 0.00 126 0 0
145.53/146.07 c randrounding : 0.09 0.00 1530 0 0
145.53/146.07 c rens : 0.02 0.00 1 0 0
145.53/146.07 c reoptsols : 0.00 0.00 0 0 0
145.53/146.07 c repair : 0.00 0.00 0 0 0
145.53/146.07 c rins : 0.15 0.00 7 0 0
145.53/146.07 c rootsoldiving : 0.85 0.00 16 0 0
145.53/146.07 c rounding : 0.05 0.00 1970 0 0
145.53/146.07 c scheduler : 0.00 0.00 0 0 0
145.53/146.07 c shiftandpropagate: 0.00 0.00 1 0 0
145.53/146.07 c shifting : 0.33 0.00 869 0 0
145.53/146.07 c simplerounding : 0.01 0.00 0 0 0
145.53/146.07 c smallcard : 0.00 0.00 0 0 0
145.53/146.07 c subnlp : 0.01 0.00 0 0 0
145.53/146.07 c trivial : 0.00 0.00 2 0 0
145.53/146.07 c trivialnegation : 0.00 0.00 0 0 0
145.53/146.07 c trustregion : 0.00 0.00 0 0 0
145.53/146.07 c trysol : 0.00 0.00 0 0 0
145.53/146.07 c twoopt : 0.00 0.00 0 0 0
145.53/146.07 c undercover : 2.69 0.00 1 0 0
145.53/146.07 c vbounds : 0.02 0.00 1 0 0
145.53/146.07 c veclendiving : 1.58 0.00 126 0 0
145.53/146.07 c zeroobj : 0.00 0.00 0 0 0
145.53/146.07 c zirounding : 0.03 0.00 1000 0 0
145.53/146.07 c other solutions : - - - 0 -
145.53/146.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
145.53/146.07 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
145.53/146.07 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
145.53/146.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
145.53/146.07 c primal LP : 3.43 4839 0 0.00 0.00 3.43 4839
145.53/146.07 c dual LP : 60.67 24861 945917 42.49 15592.39 1.25 2597
145.53/146.07 c lex dual LP : 0.00 0 0 0.00 -
145.53/146.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
145.53/146.07 c resolve instable : 0.00 0 0 0.00 -
145.53/146.07 c diving/probing LP: 15.32 4376 373918 85.45 24411.86
145.53/146.07 c strong branching : 11.11 2718 160858 59.18 14479.93 - - 570
145.53/146.07 c (at root node) : - 12 5730 477.50 -
145.53/146.07 c conflict analysis: 0.12 207 2041 9.86 16673.75
145.53/146.07 c B&B Tree :
145.53/146.07 c number of runs : 1
145.53/146.07 c nodes : 5938 (5185 internal, 753 leaves)
145.53/146.07 c feasible leaves : 4
145.53/146.07 c infeas. leaves : 61
145.53/146.07 c objective leaves : 688
145.53/146.07 c nodes (total) : 5938 (5185 internal, 753 leaves)
145.53/146.07 c nodes left : 0
145.53/146.07 c max depth : 35
145.53/146.07 c max depth (total): 35
145.53/146.07 c backtracks : 1536 (25.9%)
145.53/146.07 c early backtracks : 0 (0.0%)
145.53/146.07 c nodes exc. ref. : 0 (0.0%)
145.53/146.07 c delayed cutoffs : 14
145.53/146.07 c repropagations : 1513 (7308 domain reductions, 11 cutoffs)
145.53/146.07 c avg switch length: 6.28
145.53/146.07 c switching time : 4.91
145.53/146.07 c Root Node :
145.53/146.07 c First LP value : +1.30000000000000e+01
145.53/146.07 c First LP Iters : 1453 (19151.68 Iter/sec)
145.53/146.07 c First LP Time : 0.08
145.53/146.07 c Final Dual Bound : +1.50000000000000e+01
145.53/146.07 c Final Root Iters : 5780
145.53/146.07 c Root LP Estimate : +4.54008005138021e+01
145.53/146.07 c Solution :
145.53/146.07 c Solutions found : 4 (4 improvements)
145.53/146.07 c First Solution : +2.00000000000000e+01 (in run 1, after 3740 nodes, 105.17 seconds, depth 28, found by <relaxation>)
145.53/146.07 c Gap First Sol. : 46.79 %
145.53/146.07 c Gap Last Sol. : 7.14 %
145.53/146.07 c Primal Bound : +1.50000000000000e+01 (in run 1, after 5917 nodes, 145.91 seconds, depth 20, found by <relaxation>)
145.53/146.07 c Dual Bound : +1.50000000000000e+01
145.53/146.07 c Gap : 0.00 %
145.53/146.07 c Integrals : Total Avg%
145.53/146.07 c primal-dual : 11683.85 79.99
145.53/146.07 c primal-ref : - - (not evaluated)
145.53/146.07 c dual-ref : - - (not evaluated)
145.63/146.14 c Time complete: 145.673.
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: 63931 MiB (60941 MiB free)
memory of node 1: 64510 MiB (61923 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459984-1721939464/watcher-4459984-1721939464 -o /tmp/evaluation-result-4459984-1721939464/solver-4459984-1721939464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721939462-262556 --watchdog 3760 pbscip -f HOME/instance-4459984-1721939464.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=262665, runsolver pid=262662
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 0.11 0.09 0.20 5/264 262666
/proc/meminfo: memFree=125764056/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=86224 memory=44888 CPUtime=0.09 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 8181 0 0 0 9 0 0 0 20 0 1 0 30475023 88293376 11222 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 21556 11222 3789 3540 0 9813 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 86224 KiB
Current children cumulated memory: 44888 KiB
[startup+0.205716 s]*
/proc/loadavg: 0.11 0.09 0.20 5/264 262666
/proc/meminfo: memFree=125744400/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=88640 memory=47728 CPUtime=0.19 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 8805 0 0 0 19 0 0 0 20 0 1 0 30475023 90767360 11932 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 22160 11932 3917 3540 0 10417 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88640 KiB
Current children cumulated memory: 47728 KiB
[startup+0.305708 s]*
/proc/loadavg: 0.11 0.09 0.20 4/264 262666
/proc/meminfo: memFree=125733440/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=100012 memory=57816 CPUtime=0.29 cores=1,3
/proc/262665/stat : 262665 (pbscip) D 262662 262665 262544 0 -1 4194304 11320 0 0 0 28 1 0 0 20 0 1 0 30475023 102412288 14454 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 25003 14454 3933 3540 0 13245 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100012 KiB
Current children cumulated memory: 57816 KiB
[startup+0.700236 s]
/proc/loadavg: 0.11 0.09 0.20 5/264 262666
/proc/meminfo: memFree=125718824/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=126416 memory=82016 CPUtime=0.67 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 17270 0 0 0 65 2 0 0 20 0 1 0 30475023 129449984 20504 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 31604 20504 4012 3540 0 19861 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 126416 KiB
Current children cumulated memory: 82016 KiB
[startup+1.50023 s]
/proc/loadavg: 0.42 0.15 0.22 5/264 262666
/proc/meminfo: memFree=125678824/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=178472 memory=130592 CPUtime=1.46 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 29412 0 0 0 142 4 0 0 20 0 1 0 30475023 182755328 32648 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 44618 32648 4012 3540 0 32875 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 178472 KiB
Current children cumulated memory: 130592 KiB
[startup+3.10557 s]
/proc/loadavg: 0.42 0.15 0.22 5/264 262666
/proc/meminfo: memFree=125665808/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=116768 memory=75776 CPUtime=3.07 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 35321 0 0 0 301 6 0 0 20 0 1 0 30475023 119570432 18944 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 29192 18944 4028 3540 0 17449 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 116768 KiB
Current children cumulated memory: 75776 KiB
[startup+6.30021 s]
/proc/loadavg: 0.71 0.22 0.24 5/264 262668
/proc/meminfo: memFree=125401808/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=167504 memory=123164 CPUtime=6.26 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 47221 0 0 0 618 8 0 0 20 0 1 0 30475023 171524096 30791 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 41876 30791 4043 3540 0 30133 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 167504 KiB
Current children cumulated memory: 123164 KiB
[startup+12.7002 s]
/proc/loadavg: 0.97 0.28 0.26 5/264 262669
/proc/meminfo: memFree=125127756/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=167504 memory=124740 CPUtime=12.64 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 47624 0 0 0 1256 8 0 0 20 0 1 0 30475023 171524096 31185 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 41876 31185 4043 3540 0 30133 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 167504 KiB
Current children cumulated memory: 124740 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.40 0.30 5/264 262672
/proc/meminfo: memFree=125010200/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=202420 memory=158524 CPUtime=25.39 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 56290 0 0 0 2530 9 0 0 20 0 1 0 30475023 207278080 39631 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 50605 39631 4043 3540 0 38862 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 202420 KiB
Current children cumulated memory: 158524 KiB
[startup+51.1056 s]
/proc/loadavg: 2.51 0.76 0.42 5/264 262675
/proc/meminfo: memFree=124952188/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=205888 memory=162900 CPUtime=50.93 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 57963 0 0 0 5081 12 0 0 20 0 1 0 30475023 210829312 40725 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 51472 40725 4043 3540 0 39729 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 205888 KiB
Current children cumulated memory: 162900 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.62 5/264 262684
/proc/meminfo: memFree=124925832/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=217228 memory=174076 CPUtime=101.96 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 63631 0 0 0 10182 14 0 0 20 0 1 0 30475023 222441472 43519 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 54307 43519 4043 3540 0 42564 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 217228 KiB
Current children cumulated memory: 174076 KiB
[startup+146.149 s]
# the end of solver process 262665 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=145.523 s, system=0.159513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.41 1.28 0.62 5/264 262684
/proc/meminfo: memFree=124925832/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=217228 memory=174076 CPUtime=102.06 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 63631 0 0 0 10192 14 0 0 20 0 1 0 30475023 222441472 43519 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 54307 43519 4043 3540 0 42564 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 217228 KiB
Current children cumulated memory: 174076 KiB
[startup+128 s]*
/proc/loadavg: 3.69 1.52 0.71 5/264 262689
/proc/meminfo: memFree=124899876/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=235728 memory=192072 CPUtime=127.58 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68019 0 0 0 12744 14 0 0 20 0 1 0 30475023 241385472 48018 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 58932 48018 4184 3540 0 47189 0
Current children cumulated CPU time: 127.58 s
Current children cumulated vsize: 235728 KiB
Current children cumulated memory: 192072 KiB
[startup+134.4 s]
/proc/loadavg: 3.72 1.56 0.73 5/264 262691
/proc/meminfo: memFree=124898884/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=235728 memory=192072 CPUtime=133.96 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68046 0 0 0 13382 14 0 0 20 0 1 0 30475023 241385472 48018 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 58932 48018 4184 3540 0 47189 0
Current children cumulated CPU time: 133.96 s
Current children cumulated vsize: 235728 KiB
Current children cumulated memory: 192072 KiB
[startup+140.8 s]
/proc/loadavg: 3.74 1.60 0.75 5/264 262691
/proc/meminfo: memFree=124898412/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=235728 memory=192332 CPUtime=140.35 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68130 0 0 0 14020 15 0 0 20 0 1 0 30475023 241385472 48083 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 58932 48083 4184 3540 0 47189 0
Current children cumulated CPU time: 140.35 s
Current children cumulated vsize: 235728 KiB
Current children cumulated memory: 192332 KiB
[startup+144 s]*
/proc/loadavg: 3.76 1.64 0.77 5/264 262692
/proc/meminfo: memFree=124895124/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=239108 memory=194964 CPUtime=143.54 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68767 0 0 0 14339 15 0 0 20 0 1 0 30475023 244846592 48741 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 59777 48741 4184 3540 0 48034 0
Current children cumulated CPU time: 143.54 s
Current children cumulated vsize: 239108 KiB
Current children cumulated memory: 194964 KiB
[startup+144.8 s]
/proc/loadavg: 3.76 1.64 0.77 5/264 262692
/proc/meminfo: memFree=124895124/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=239108 memory=194964 CPUtime=144.33 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68767 0 0 0 14418 15 0 0 20 0 1 0 30475023 244846592 48741 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 59777 48741 4184 3540 0 48034 0
Current children cumulated CPU time: 144.33 s
Current children cumulated vsize: 239108 KiB
Current children cumulated memory: 194964 KiB
[startup+145.6 s]
/proc/loadavg: 3.76 1.64 0.77 5/264 262693
/proc/meminfo: memFree=124895132/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=239108 memory=194964 CPUtime=145.13 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68767 0 0 0 14498 15 0 0 20 0 1 0 30475023 244846592 48741 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 59777 48741 4184 3540 0 48034 0
Current children cumulated CPU time: 145.13 s
Current children cumulated vsize: 239108 KiB
Current children cumulated memory: 194964 KiB
[startup+146 s]*
/proc/loadavg: 3.78 1.68 0.79 5/264 262693
/proc/meminfo: memFree=124895140/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=239108 memory=194964 CPUtime=145.53 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68773 0 0 0 14538 15 0 0 20 0 1 0 30475023 244846592 48741 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 2 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 59777 48741 4184 3540 0 48034 0
Current children cumulated CPU time: 145.53 s
Current children cumulated vsize: 239108 KiB
Current children cumulated memory: 194964 KiB
[startup+146.106 s]
/proc/loadavg: 3.78 1.68 0.79 5/264 262693
/proc/meminfo: memFree=124895140/131524600 swapFree=131059368/131071996
[pid=262665] ppid=262662 vsize=237696 memory=193728 CPUtime=145.63 cores=1,3
/proc/262665/stat : 262665 (pbscip) R 262662 262665 262544 0 -1 4194304 68773 0 0 0 14548 15 0 0 20 0 1 0 30475023 243400704 48432 134679101440 4194304 18693293 140731996125632 0 0 0 0 0 0 0 0 0 17 1 0 0 1 0 0 21375888 21430392 40591360 140731996128259 140731996128358 140731996128358 140731996135374 0
/proc/262665/statm: 59424 48432 4184 3540 0 47681 0
Current children cumulated CPU time: 145.63 s
Current children cumulated vsize: 237696 KiB
Current children cumulated memory: 193728 KiB
Child status: 0
Real time (s): 146.149
CPU time (s): 145.683
CPU user time (s): 145.523
CPU system time (s): 0.159513
CPU usage (%): 99.6808
Max. virtual memory (cumulated for all children) (KiB): 239108
Max. memory (cumulated for all children) (KiB): 194964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.523
system time used= 0.159513
maximum resident set size= 194964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68778
page faults= 0
swaps= 0
block input operations= 72
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 187
# summary of solver processes directly reported to runsolver:
# pid: 262665
# total CPU time (s): 145.683
# total CPU user time (s): 145.523
# total CPU system time (s): 0.159513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.239302 second user time and 0.766164 second system time
The end