Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | MSAT | 3587.17 | 3597.41 |
| Name | PB24/WBO/SOFT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo |
| MD5SUM | 23a988ddfb654df09568eafe82f1da1a |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 83.6329 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4836 |
| Total number of constraints | 16649 |
| Number of soft constraints | 16649 |
| Number of constraints which are clauses | 16341 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 308 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 26 |
| Top cost | 842394 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 842393 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 166 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4456252-1721718909.wbo>
0.00/0.07 c original problem has 21485 variables (21485 bin, 0 int, 0 impl, 0 cont) and 33299 constraints
0.00/0.07 c problem read in 0.07
0.19/0.29 o 842393
0.30/0.31 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 8.423930e+05
0.30/0.31 c presolving:
0.30/0.37 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 16649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16649 impls, 0 clqs
0.68/0.72 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.78/0.85 c (0.8s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.08)
0.78/0.85 c dynamic symmetry handling statistics:
0.78/0.85 c orbitopal reduction: no components
0.78/0.85 c orbital reduction: no components
0.78/0.85 c lexicographic reduction: 2 permutations with support sizes 4, 4
0.78/0.85 c handled 2 out of 2 symmetry components
0.78/0.87 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.78/0.87 c 25 deleted vars, 1 deleted constraints, 0 added constraints, 16649 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.78/0.87 c 16649 implications, 0 cliques
0.78/0.87 c presolved problem has 38109 variables (21485 bin, 0 int, 16624 impl, 0 cont) and 33298 constraints
0.78/0.87 c 16649 constraints of type <linear>
0.78/0.87 c 16649 constraints of type <indicator>
0.78/0.87 c transformed objective value is always integral (scale: 1)
0.78/0.87 c Presolving Time: 0.74
0.78/0.87 c - non default parameters ----------------------------------------------------------------------
0.78/0.87 c # SCIP version 10.0.0
0.78/0.87 c
0.78/0.87 c # maximal time in seconds to run
0.78/0.87 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.78/0.87 c limits/time = 3596.998044
0.78/0.87 c
0.78/0.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.87 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.78/0.87 c limits/memory = 27900
0.78/0.87 c
0.78/0.87 c # belongs reading time to solving time?
0.78/0.87 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.78/0.87 c timing/reading = TRUE
0.78/0.87 c
0.78/0.87 c -----------------------------------------------------------------------------------------------
0.78/0.87 c start solving
0.88/0.90 c
1.38/1.41 o 841525
1.38/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.41 c i 1.4s| 1 | 0 | 0 | - | oneopt| 0 | 38k| 33k| 33k| 0 | 0 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
72.98/73.29 c 73.3s| 1 | 0 | 10577 | - | 291M | 0 | 38k| 33k| 33k| 0 | 0 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
75.79/76.09 c 76.1s| 1 | 0 | 13409 | - | 324M | 0 | 38k| 33k| 33k| 12 | 1 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
78.57/78.80 c 78.8s| 1 | 0 | 14759 | - | 345M | 0 | 38k| 33k| 33k| 17 | 2 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
84.16/84.41 c 84.4s| 1 | 0 | 18391 | - | 381M | 0 | 38k| 33k| 33k| 26 | 3 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
90.53/90.87 c 90.9s| 1 | 0 | 20337 | - | 418M | 0 | 38k| 33k| 33k| 32 | 4 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
92.43/92.72 c 92.7s| 1 | 0 | 21794 | - | 432M | 0 | 38k| 33k| 33k| 36 | 5 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
97.22/97.53 c 97.5s| 1 | 0 | 23477 | - | 446M | 0 | 38k| 33k| 33k| 40 | 6 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
99.72/100.08 c 100s| 1 | 0 | 26346 | - | 451M | 0 | 38k| 33k| 33k| 51 | 7 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
105.60/105.99 c 106s| 1 | 0 | 28793 | - | 476M | 0 | 38k| 33k| 33k| 57 | 8 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
111.18/111.56 c 112s| 1 | 0 | 30404 | - | 495M | 0 | 38k| 33k| 33k| 66 | 9 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
117.47/117.83 c 118s| 1 | 0 | 31542 | - | 520M | 0 | 38k| 33k| 33k| 71 | 10 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
118.86/119.22 c 119s| 1 | 0 | 33523 | - | 523M | 0 | 38k| 33k| 33k| 80 | 11 | 0 | 0 | 0.000000e+00 | 8.415250e+05 | Inf | unknown
189.78/190.35 o 13252
189.78/190.35 c d 190s| 1 | 0 |259620 | - |farkasdi| 0 | 38k| 33k| 33k| 0 | 11 | 0 | 0 | 0.000000e+00 | 1.325200e+04 | Inf | unknown
190.87/191.43 o 2702
190.87/191.43 c o 191s| 1 | 0 |268218 | - |feaspump| 0 | 38k| 33k| 33k| 80 | 11 | 0 | 0 | 0.000000e+00 | 2.702000e+03 | Inf | unknown
191.58/192.12 o 2507
191.58/192.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
191.58/192.12 c L 192s| 1 | 0 |268218 | - | alns| 0 | 38k| 33k| 33k| 80 | 11 | 0 | 0 | 0.000000e+00 | 2.507000e+03 | Inf | unknown
191.58/192.18 c 192s| 1 | 0 |268218 | - | 536M | 0 | 38k| 33k| 33k| 80 | 11 | 0 | 0 | 0.000000e+00 | 2.507000e+03 | Inf | unknown
193.36/193.99 c 194s| 1 | 0 |270443 | - | 539M | 0 | 38k| 33k| 33k| 89 | 12 | 0 | 0 | 0.000000e+00 | 2.507000e+03 | Inf | unknown
193.86/194.42 c 194s| 1 | 0 |271015 | - | 539M | 0 | 38k| 33k| 33k| 90 | 13 | 0 | 0 | 0.000000e+00 | 2.507000e+03 | Inf | unknown
202.24/202.86 c 203s| 1 | 2 |272409 | - | 540M | 0 | 38k| 33k| 33k| 90 | 13 | 0 | 20 | 0.000000e+00 | 2.507000e+03 | Inf | unknown
266.45/267.23 o 2066
266.45/267.23 c d 267s| 23 | 24 |332573 |13466.0 |pscostdi| 22 | 38k| 33k| 33k| 0 | 1 | 0 | 167 | 0.000000e+00 | 2.066000e+03 | Inf | unknown
266.65/267.49 o 2012
266.65/267.49 c d 267s| 23 | 24 |333983 |13530.1 |pscostdi| 22 | 38k| 33k| 33k| 0 | 1 | 0 | 167 | 0.000000e+00 | 2.012000e+03 | Inf | unknown
267.15/267.96 o 1779
267.15/267.96 c d 268s| 23 | 24 |335720 |13609.1 |pscostdi| 22 | 38k| 33k| 33k| 0 | 1 | 0 | 167 | 0.000000e+00 | 1.779000e+03 | Inf | unknown
294.46/295.31 o 1706
294.46/295.31 c o 295s| 41 | 42 |459327 |10575.2 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.706000e+03 | Inf | unknown
294.66/295.51 o 1683
294.66/295.51 c o 296s| 41 | 42 |459674 |10583.9 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.683000e+03 | Inf | unknown
294.76/295.61 o 1669
294.76/295.61 c o 296s| 41 | 42 |459760 |10586.0 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.669000e+03 | Inf | unknown
294.86/295.71 o 1617
294.86/295.71 c o 296s| 41 | 42 |460158 |10596.0 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.617000e+03 | Inf | unknown
294.86/295.77 o 1565
294.86/295.77 c o 296s| 41 | 42 |460292 |10599.3 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.565000e+03 | Inf | unknown
296.16/297.07 o 1530
296.16/297.07 c o 297s| 41 | 42 |464437 |10702.9 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.530000e+03 | Inf | unknown
296.45/297.33 o 1524
296.45/297.33 c o 297s| 41 | 42 |464754 |10710.9 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.524000e+03 | Inf | unknown
296.65/297.52 o 1460
296.65/297.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
296.65/297.52 c o 298s| 41 | 42 |464966 |10716.1 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.460000e+03 | Inf | unknown
296.65/297.56 c o 298s| 41 | 42 |465008 |10717.2 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.460000e+03 | Inf | unknown
296.85/297.74 o 1445
296.85/297.74 c o 298s| 41 | 42 |465598 |10732.0 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.445000e+03 | Inf | unknown
296.95/297.82 o 1312
296.95/297.82 c o 298s| 41 | 42 |465637 |10732.9 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.312000e+03 | Inf | unknown
297.35/298.21 o 1307
297.35/298.21 c o 298s| 41 | 42 |466069 |10743.7 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.307000e+03 | Inf | unknown
297.45/298.30 o 1201
297.45/298.30 c o 298s| 41 | 42 |466226 |10747.6 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.201000e+03 | Inf | unknown
297.55/298.46 o 1189
297.55/298.46 c o 298s| 41 | 42 |466926 |10765.1 |objpscos| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.189000e+03 | Inf | unknown
299.34/300.26 o 1187
299.34/300.26 c i 300s| 41 | 42 |475604 |10982.1 | oneopt| 22 | 38k| 33k| 33k| 228 | 1 | 0 | 197 | 0.000000e+00 | 1.187000e+03 | Inf | unknown
340.32/341.35 o 1155
340.32/341.35 c d 341s| 64 | 65 |604870 |9024.6 |distribu| 25 | 38k| 33k| 33k| 0 | 1 | 0 | 238 | 0.000000e+00 | 1.155000e+03 | Inf | unknown
364.45/365.58 o 1093
364.45/365.58 c i 366s| 65 | 66 |614506 |9034.2 | oneopt| 25 | 38k| 33k| 33k| 324 | 1 | 0 | 238 | 0.000000e+00 | 1.093000e+03 | Inf | unknown
412.39/413.66 c 414s| 100 | 101 |800608 |7720.1 | 694M | 28 | 38k| 33k| 33k| 454 | 1 | 0 | 274 | 0.000000e+00 | 1.093000e+03 | Inf | unknown
459.26/460.61 o 947
459.26/460.61 c L 461s| 160 | 161 |933018 |5639.6 | alns| 44 | 38k| 33k| 33k| 692 | 8 | 0 | 332 | 0.000000e+00 | 9.470000e+02 | Inf | unknown
461.85/463.23 o 892
461.85/463.23 c L 463s| 160 | 161 |933018 |5639.6 | alns| 44 | 38k| 33k| 33k| 692 | 8 | 0 | 332 | 0.000000e+00 | 8.920000e+02 | Inf | unknown
463.65/465.05 o 798
463.65/465.05 c L 465s| 160 | 161 |933018 |5639.6 | alns| 44 | 38k| 33k| 33k| 692 | 8 | 0 | 332 | 0.000000e+00 | 7.980000e+02 | Inf | unknown
491.76/493.20 o 721
491.76/493.20 c L 493s| 194 | 195 |993328 |4958.6 | alns| 44 | 38k| 33k| 33k|1034 | 8 | 0 | 366 | 0.000000e+00 | 7.210000e+02 | Inf | unknown
491.76/493.22 o 676
491.76/493.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
491.76/493.22 c L 493s| 194 | 195 |993328 |4958.6 | alns| 44 | 38k| 33k| 33k|1034 | 8 | 0 | 366 | 0.000000e+00 | 6.760000e+02 | Inf | unknown
491.76/493.25 o 622
491.76/493.25 c L 493s| 194 | 195 |993328 |4958.6 | alns| 44 | 38k| 33k| 33k|1034 | 8 | 0 | 366 | 0.000000e+00 | 6.220000e+02 | Inf | unknown
498.04/499.55 c 500s| 200 | 201 | 1009k|4892.4 | 778M | 44 | 38k| 33k| 33k|1108 | 9 | 0 | 386 | 0.000000e+00 | 6.220000e+02 | Inf | unknown
561.65/563.31 c 563s| 300 | 301 | 1179k|3823.4 | 898M | 51 | 38k| 33k| 33k|1897 | 1 | 9 | 495 | 0.000000e+00 | 6.220000e+02 | Inf | unknown
608.21/610.10 o 424
608.21/610.10 c L 610s| 394 | 288 | 1289k|3189.9 | rins| 56 | 38k| 33k| 33k|2014 | 1 | 19 | 551 | 0.000000e+00 | 4.240000e+02 | Inf | unknown
609.00/610.88 c 611s| 400 | 284 | 1290k|3143.4 | 926M | 56 | 38k| 33k| 33k|2014 | 0 | 21 | 551 | 0.000000e+00 | 4.240000e+02 | Inf | unknown
632.43/634.32 c 634s| 500 | 302 | 1341k|2615.1 | 938M | 60 | 38k| 33k| 33k|2096 | 2 | 40 | 565 | 0.000000e+00 | 4.240000e+02 | Inf | unknown
688.56/690.61 o 283
688.56/690.61 c L 691s| 594 | 242 | 1466k|2411.1 | rins| 60 | 38k| 33k| 33k|2234 | 1 | 63 | 614 | 0.000000e+00 | 2.830000e+02 | Inf | unknown
704.11/706.28 c 706s| 600 | 244 | 1492k|2430.7 | 965M | 60 | 38k| 33k| 33k|2294 | 1 | 67 | 627 | 0.000000e+00 | 2.830000e+02 | Inf | unknown
767.63/769.93 c 770s| 700 | 310 | 1684k|2358.0 | 984M | 60 | 38k| 33k| 33k|2873 | 1 | 71 | 714 | 0.000000e+00 | 2.830000e+02 | Inf | unknown
891.35/894.02 c 894s| 800 | 358 | 2027k|2491.8 | 1055M | 60 | 38k| 33k| 33k|3684 | 2 | 95 | 885 | 0.000000e+00 | 2.830000e+02 | Inf | unknown
959.77/962.64 c 963s| 900 | 420 | 2169k|2372.3 | 1072M | 60 | 38k| 33k| 33k|3928 | 3 | 129 | 949 | 0.000000e+00 | 2.830000e+02 | Inf | unknown
1026.49/1029.57 c 1030s| 1000 | 421 | 2320k|2286.9 | 1131M | 60 | 38k| 33k| 33k|4435 | 0 | 212 |1095 | 0.000000e+00 | 2.830000e+02 | Inf | unknown
1080.65/1083.84 o 277
1080.65/1083.84 c L1084s| 1065 | 453 | 2439k|2258.3 | rins| 60 | 38k| 33k| 33k|4570 | 1 | 250 |1148 | 0.000000e+00 | 2.770000e+02 | Inf | unknown
1097.60/1100.83 c 1101s| 1100 | 486 | 2511k|2252.2 | 1143M | 60 | 38k| 33k| 33k|4598 | 1 | 250 |1163 | 0.000000e+00 | 2.770000e+02 | Inf | unknown
1187.77/1191.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1187.77/1191.21 c 1191s| 1200 | 580 | 2752k|2265.3 | 1164M | 60 | 38k| 33k| 33k|5120 | 1 | 255 |1284 | 0.000000e+00 | 2.770000e+02 | Inf | unknown
1239.84/1243.48 o 203
1239.84/1243.48 c L1243s| 1268 | 525 | 2956k|2305.0 | rins| 60 | 38k| 33k| 33k|5202 | 1 | 261 |1351 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1252.21/1255.89 c 1256s| 1300 | 553 | 3004k|2285.1 | 1176M | 60 | 38k| 33k| 33k|5255 | 1 | 269 |1374 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1304.97/1308.73 c 1309s| 1400 | 649 | 3179k|2246.7 | 1191M | 60 | 38k| 33k| 33k|5675 | 1 | 281 |1469 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1368.22/1372.17 c 1372s| 1500 | 749 | 3395k|2240.9 | 1216M | 60 | 38k| 33k| 33k|6103 | 12 | 281 |1567 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1448.60/1452.79 c 1453s| 1600 | 842 | 3640k|2253.9 | 1274M | 60 | 38k| 33k| 33k|6715 | 1 | 286 |1677 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1558.63/1563.04 c 1563s| 1700 | 936 | 3909k|2279.6 | 1357M | 60 | 38k| 33k| 33k|7757 | 1 | 292 |1810 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1670.94/1675.65 c 1676s| 1800 | 1030 | 4235k|2333.9 | 1386M | 60 | 38k| 33k| 33k|8468 | 1 | 292 |1985 | 0.000000e+00 | 2.030000e+02 | Inf | unknown
1743.97/1748.88 o 189
1743.97/1748.88 c L1749s| 1868 | 1038 | 4470k|2375.0 |crossove| 60 | 38k| 33k| 33k|8951 | 12 | 295 |2086 | 0.000000e+00 | 1.890000e+02 | Inf | unknown
1771.40/1776.38 c 1776s| 1900 | 1066 | 4543k|2373.3 | 1414M | 60 | 38k| 33k| 33k|9157 | 1 | 304 |2128 | 0.000000e+00 | 1.890000e+02 | Inf | unknown
1853.35/1858.57 c 1859s| 2000 | 1154 | 4777k|2372.0 | 1446M | 60 | 38k| 33k| 33k|9806 | 1 | 312 |2267 | 0.000000e+00 | 1.890000e+02 | Inf | unknown
1903.90/1909.21 o 179
1903.90/1909.21 c L1909s| 2068 | 1177 | 4901k|2353.8 |crossove| 60 | 38k| 33k| 33k| 10k| 1 | 317 |2352 | 0.000000e+00 | 1.790000e+02 | Inf | unknown
1949.97/1955.49 c 1955s| 2100 | 1207 | 5005k|2367.3 | 1496M | 60 | 38k| 33k| 33k| 10k| 2 | 317 |2394 | 0.000000e+00 | 1.790000e+02 | Inf | unknown
2074.90/2080.71 c 2081s| 2200 | 1303 | 5280k|2384.9 | 1556M | 60 | 38k| 33k| 33k| 11k| 1 | 322 |2579 | 0.000000e+00 | 1.790000e+02 | Inf | unknown
2156.27/2162.33 c 2162s| 2300 | 1383 | 5500k|2376.7 | 1586M | 60 | 38k| 33k| 33k| 12k| 1 | 344 |2718 | 0.000000e+00 | 1.790000e+02 | Inf | unknown
2225.66/2232.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2225.66/2232.00 c 2232s| 2400 | 1463 | 5741k|2378.3 | 1613M | 60 | 38k| 33k| 33k| 12k| 1 | 355 |2785 | 0.000000e+00 | 1.790000e+02 | Inf | unknown
2241.62/2247.98 o 176
2241.62/2247.98 c d2248s| 2432 | 1465 | 5791k|2367.3 |pscostdi| 60 | 38k| 33k| 33k| 0 | 1 | 372 |2807 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2289.68/2296.13 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2289.68/2296.14 c (run 1, node 2482) performing user restart
2289.68/2296.14 c
2289.68/2296.17 c (restart) converted 125 cuts from the global cut pool into linear constraints
2289.68/2296.17 c
2290.37/2296.83 c presolving:
2290.37/2296.86 c (round 1, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 54 upgd conss, 16649 impls, 0 clqs
2290.47/2296.92 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2290.47/2296.92 c 0 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
2290.47/2296.92 c 16649 implications, 0 cliques
2290.47/2296.92 c presolved problem has 38109 variables (21485 bin, 0 int, 16624 impl, 0 cont) and 33740 constraints
2290.47/2296.92 c 34 constraints of type <knapsack>
2290.47/2296.92 c 16720 constraints of type <linear>
2290.47/2296.92 c 166 constraints of type <logicor>
2290.47/2296.92 c 171 constraints of type <bounddisjunction>
2290.47/2296.92 c 16649 constraints of type <indicator>
2290.47/2296.92 c transformed objective value is always integral (scale: 1)
2290.47/2296.92 c Presolving Time: 1.25
2290.87/2297.38 c
2294.95/2301.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2294.95/2301.41 c 2301s| 1 | 0 | 5897k| - | 1666M | 0 | 38k| 33k| 33k| 0 | 0 | 423 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2300.54/2307.07 c 2307s| 1 | 0 | 5897k| - | 1668M | 0 | 38k| 33k| 33k| 6 | 1 | 425 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2303.03/2309.56 c 2310s| 1 | 0 | 5898k| - | 1669M | 0 | 38k| 33k| 33k| 10 | 2 | 425 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2308.41/2314.94 c 2315s| 1 | 0 | 5898k| - | 1670M | 0 | 38k| 33k| 33k| 16 | 3 | 425 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2310.51/2317.03 c 2317s| 1 | 0 | 5899k| - | 1666M | 0 | 38k| 33k| 33k| 22 | 4 | 427 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2318.78/2325.32 c 2325s| 1 | 0 | 5900k| - | 1672M | 0 | 38k| 33k| 33k| 28 | 5 | 428 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2328.06/2334.64 c 2335s| 1 | 0 | 5900k| - | 1687M | 0 | 38k| 33k| 33k| 32 | 6 | 428 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2332.45/2339.01 c 2339s| 1 | 0 | 5901k| - | 1687M | 0 | 38k| 33k| 33k| 34 | 7 | 428 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2336.93/2343.50 c 2344s| 1 | 0 | 5901k| - | 1687M | 0 | 38k| 33k| 33k| 36 | 8 | 428 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2340.82/2347.41 c 2347s| 1 | 0 | 5901k| - | 1687M | 0 | 38k| 33k| 33k| 40 | 9 | 430 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2344.91/2351.57 c 2352s| 1 | 0 | 5901k| - | 1687M | 0 | 38k| 33k| 33k| 41 | 10 | 431 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2346.00/2352.65 c 2353s| 1 | 0 | 5902k| - | 1688M | 0 | 38k| 33k| 33k| 44 | 11 | 431 |2884 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2366.75/2373.47 c 2373s| 1 | 2 | 5905k| - | 1688M | 0 | 38k| 33k| 33k| 44 | 11 | 442 |2912 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2522.19/2529.37 c 2529s| 100 | 95 | 6160k|2366.5 | 1712M | 42 | 38k| 33k| 0 | 313 | 0 | 451 |3071 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2692.99/2700.68 c 2701s| 200 | 171 | 6418k|2374.8 | 1748M | 44 | 38k| 33k| 33k| 976 | 4 | 458 |3196 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2867.07/2875.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2867.07/2875.21 c 2875s| 300 | 209 | 6667k|2379.0 | 1780M | 44 | 38k| 33k| 0 |1664 | 0 | 498 |3352 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
2977.86/2986.35 c 2986s| 400 | 289 | 6873k|2367.9 | 1801M | 44 | 38k| 33k| 33k|1937 | 2 | 529 |3436 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
3136.39/3145.37 c 3145s| 500 | 355 | 7097k|2363.5 | 1825M | 44 | 38k| 33k| 33k|2607 | 1 | 552 |3545 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
3243.07/3252.36 c 3252s| 600 | 427 | 7305k|2354.2 | 1851M | 44 | 38k| 33k| 33k|2961 | 2 | 580 |3649 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
3393.52/3403.27 c 3403s| 700 | 487 | 7527k|2350.1 | 1880M | 44 | 38k| 33k| 33k|3849 | 3 | 626 |3776 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
3519.35/3529.49 c 3529s| 800 | 547 | 7715k|2335.7 | 1906M | 44 | 38k| 33k| 33k|4634 | 2 | 668 |3869 | 0.000000e+00 | 1.760000e+02 | Inf | unknown
3586.76/3597.00 c
3586.76/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.76/3597.00 c Solving Time (sec) : 3597.00
3586.76/3597.00 c Solving Nodes : 838 (total of 3320 nodes in 2 runs)
3586.76/3597.00 c Primal Bound : +1.76000000000000e+02 (458 solutions)
3586.76/3597.00 c Dual Bound : +0.00000000000000e+00
3586.76/3597.00 c Gap : infinite
3586.76/3597.02 s SATISFIABLE
3586.76/3597.02 v x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
3586.76/3597.02 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800
3586.76/3597.02 v -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783
3586.76/3597.02 v -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765
3586.76/3597.02 v -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 x4749 x4748 x4747 x4746
3586.76/3597.02 v x4745 x4744 x4743 x4742 x4741 x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728
3586.76/3597.02 v -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710
3586.76/3597.02 v -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692
3586.76/3597.02 v -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 x4679 x4678 x4677 x4676 x4675 x4674 x4673
3586.76/3597.02 v x4672 x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
3586.76/3597.02 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
3586.76/3597.02 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619
3586.76/3597.02 v -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601
3586.76/3597.02 v -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 x4591 x4590 x4589 x4588 x4587 x4586 x4585 x4584 -x4583 -x4582
3586.76/3597.02 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
3586.76/3597.02 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547
3586.76/3597.02 v -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529
3586.76/3597.02 v -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511
3586.76/3597.02 v -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493
3586.76/3597.02 v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475
3586.76/3597.02 v -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457
3586.76/3597.02 v -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
3586.76/3597.02 v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 x4424 x4423 -x4422 -x4421
3586.76/3597.02 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
3586.76/3597.02 v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385
3586.76/3597.02 v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368
3586.76/3597.02 v -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350
3586.76/3597.02 v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 x4343 x4342 x4341 x4340 x4339 x4338 x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331
3586.76/3597.02 v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313
3586.76/3597.02 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295
3586.76/3597.02 v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
3586.76/3597.02 v -x4276 -x4275 -x4274 -x4273 -x4272 x4271 x4270 x4269 x4268 x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
3586.76/3597.02 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
3586.76/3597.02 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
3586.76/3597.02 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
3586.76/3597.02 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
3586.76/3597.02 v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 x4176 x4175 x4174 x4173 -x4172 -x4171 -x4170 -x4169
3586.76/3597.02 v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
3586.76/3597.02 v -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
3586.76/3597.02 v -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115
3586.76/3597.02 v -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 x4101 -x4100 -x4099 -x4098 -x4097
3586.76/3597.02 v -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079
3586.76/3597.02 v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
3586.76/3597.02 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
3586.76/3597.02 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 x4037 x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026
3586.76/3597.02 v -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
3586.76/3597.02 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990
3586.76/3597.02 v -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972
3586.76/3597.02 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954
3586.76/3597.02 v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 x3947 -x3946 -x3945 x3944 x3943 -x3942 -x3941 -x3940 -x3939 x3938 -x3937 -x3936
3586.76/3597.02 v -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918
3586.76/3597.02 v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
3586.76/3597.02 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882
3586.76/3597.02 v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 x3874 x3873 x3872 x3871 x3870 x3869 x3868 -x3867 -x3866 -x3865 -x3864 -x3863
3586.76/3597.02 v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845
3586.76/3597.02 v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828
3586.76/3597.02 v -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810
3586.76/3597.02 v -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792
3586.76/3597.02 v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 x3778 -x3777 -x3776 -x3775 -x3774
3586.76/3597.02 v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756
3586.76/3597.02 v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738
3586.76/3597.02 v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720
3586.76/3597.02 v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702
3586.76/3597.02 v -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 x3691 x3690 x3689 x3688 x3687 x3686 x3685 x3684 x3683
3586.76/3597.02 v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665
3586.76/3597.02 v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648
3586.76/3597.02 v -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
3586.76/3597.02 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 x3614 -x3613 -x3612
3586.76/3597.02 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594
3586.76/3597.02 v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576
3586.76/3597.02 v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558
3586.76/3597.02 v -x3557 -x3556 -x3555 -x3554 -x3553 x3552 x3551 x3550 x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540
3586.76/3597.02 v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522
3586.76/3597.02 v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504
3586.76/3597.02 v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486
3586.76/3597.02 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 x3471 x3470 x3469 x3468
3586.76/3597.02 v x3467 x3466 x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449
3586.76/3597.02 v -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432
3586.76/3597.02 v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414
3586.76/3597.02 v -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396
3586.76/3597.02 v -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378
3586.76/3597.02 v -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 x3362 x3361 x3360
3586.76/3597.02 v -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
3586.76/3597.02 v -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324
3586.76/3597.02 v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 x3313 x3312 x3311 x3310 x3309 x3308 -x3307 -x3306 -x3305
3586.76/3597.02 v -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287
3586.76/3597.02 v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270
3586.76/3597.02 v -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252
3586.76/3597.02 v -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234
3586.76/3597.02 v -x3233 -x3232 -x3231 -x3230 -x3229 x3228 x3227 x3226 x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215
3586.76/3597.02 v -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198
3586.76/3597.02 v -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180
3586.76/3597.02 v -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162
3586.76/3597.02 v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 x3144
3586.76/3597.02 v x3143 x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126
3586.76/3597.02 v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108
3586.76/3597.02 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
3586.76/3597.02 v -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
3586.76/3597.02 v -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 x3058 x3057 x3056 x3055 x3054
3586.76/3597.02 v x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
3586.76/3597.02 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018
3586.76/3597.02 v -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000
3586.76/3597.02 v -x2999 -x2998 -x2997 x2996 x2995 x2994 x2993 x2992 x2991 x2990 x2989 x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981
3586.76/3597.02 v -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
3586.76/3597.02 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
3586.76/3597.02 v -x2944 -x2943 -x2942 -x2941 x2940 x2939 x2938 x2937 x2936 x2935 x2934 -x2933 x2932 x2931 -x2930 -x2929 -x2928 -x2927 -x2926
3586.76/3597.02 v -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908
3586.76/3597.02 v -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890
3586.76/3597.02 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872
3586.76/3597.02 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854
3586.76/3597.02 v -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
3586.76/3597.02 v -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 x2827 x2826 x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818
3586.76/3597.02 v -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800
3586.76/3597.02 v -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782
3586.76/3597.02 v -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765
3586.76/3597.02 v -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747
3586.76/3597.02 v -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729
3586.76/3597.02 v -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711
3586.76/3597.02 v -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693
3586.76/3597.02 v -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 x2677 -x2676 -x2675
3586.76/3597.02 v -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657
3586.76/3597.02 v -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639
3586.76/3597.02 v -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622
3586.76/3597.02 v -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604
3586.76/3597.02 v -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586
3586.76/3597.02 v -x2585 -x2584 x2583 x2582 x2581 x2580 x2579 x2578 x2577 x2576 x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567
3586.76/3597.02 v -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549
3586.76/3597.02 v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531
3586.76/3597.02 v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 x2517 x2516 x2515 x2514 x2513 -x2512
3586.76/3597.02 v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
3586.76/3597.02 v -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477
3586.76/3597.02 v -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459
3586.76/3597.02 v -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441
3586.76/3597.02 v -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423
3586.76/3597.02 v x2422 x2421 x2420 x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405
3586.76/3597.02 v -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387
3586.76/3597.02 v -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369
3586.76/3597.02 v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351
3586.76/3597.02 v -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341 x2340 x2339 x2338 x2337 x2336 x2335 x2334 x2333 x2332
3586.76/3597.02 v x2331 x2330 x2329 x2328 x2327 x2326 x2325 x2324 x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313
3586.76/3597.02 v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295
3586.76/3597.02 v -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
3586.76/3597.02 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 x2263 x2262 x2261 x2260 x2259 x2258
3586.76/3597.02 v x2257 x2256 x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
3586.76/3597.02 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
3586.76/3597.02 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
3586.76/3597.02 v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
3586.76/3597.02 v x2185 x2184 x2183 x2182 x2181 x2180 x2179 x2178 x2177 x2176 x2175 x2174 x2173 x2172 x2171 x2170 x2169 x2168 x2167 -x2166
3586.76/3597.02 v -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148
3586.76/3597.02 v -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130
3586.76/3597.02 v -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112
3586.76/3597.02 v -x2111 -x2110 -x2109 -x2108 x2107 x2106 x2105 x2104 x2103 x2102 x2101 x2100 x2099 x2098 x2097 -x2096 -x2095 -x2094 -x2093
3586.76/3597.02 v -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075
3586.76/3597.02 v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057
3586.76/3597.02 v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039
3586.76/3597.02 v -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 x2029 x2028 x2027 x2026 x2025 x2024 x2023 x2022 x2021 x2020
3586.76/3597.02 v x2019 x2018 x2017 x2016 x2015 x2014 x2013 x2012 x2011 x2010 x2009 x2008 x2007 x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000
3586.76/3597.02 v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982
3586.76/3597.02 v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964
3586.76/3597.02 v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 x1951 x1950 x1949 x1948 x1947 x1946
3586.76/3597.02 v x1945 x1944 x1943 x1942 x1941 x1940 x1939 x1938 x1937 x1936 x1935 x1934 x1933 x1932 x1931 x1930 x1929 x1928 x1927 x1926 x1925
3586.76/3597.02 v x1924 x1923 x1922 x1921 x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906
3586.76/3597.02 v -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888
3586.76/3597.02 v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872 x1871 x1870
3586.76/3597.02 v x1869 x1868 x1867 x1866 x1865 x1864 x1863 x1862 x1861 x1860 x1859 x1858 x1857 x1856 x1855 x1854 x1853 x1852 x1851 x1850 -x1849
3586.76/3597.02 v -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831
3586.76/3597.02 v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813
3586.76/3597.02 v -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796
3586.76/3597.02 v x1795 x1794 x1793 x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783 x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775
3586.76/3597.02 v x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765 x1764 x1763 x1762 x1761 x1760 x1759 x1758 x1757 x1756 -x1755 -x1754
3586.76/3597.02 v -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736
3586.76/3597.02 v -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718
3586.76/3597.02 v x1717 x1716 x1715 x1714 x1713 x1712 x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 x1698
3586.76/3597.02 v x1697 x1696 x1695 x1694 x1693 x1692 x1691 x1690 x1689 x1688 x1687 x1686 x1685 x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678
3586.76/3597.02 v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660
3586.76/3597.02 v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642
3586.76/3597.02 v -x1641 -x1640 x1639 x1638 x1637 x1636 x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622
3586.76/3597.02 v x1621 x1620 x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603
3586.76/3597.02 v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586
3586.76/3597.02 v -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568
3586.76/3597.02 v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 x1561 x1560 x1559 x1558 x1557 x1556 x1555 x1554 x1553 x1552 x1551 x1550 x1549 x1548
3586.76/3597.02 v x1547 x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 x1532 x1531 x1530 x1529 x1528 x1527
3586.76/3597.02 v x1526 -x1525 -x1524 -x1523 -x1522 x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509
3586.76/3597.02 v -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491
3586.76/3597.02 v -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471
3586.76/3597.02 v x1470 x1469 x1468 x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457 x1456 x1455 x1454 x1453 x1452 x1451
3586.76/3597.02 v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433
3586.76/3597.02 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415
3586.76/3597.02 v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396
3586.76/3597.02 v x1395 x1394 x1393 x1392 x1391 x1390 x1389 x1388 x1387 x1386 x1385 x1384 x1383 x1382 x1381 x1380 x1379 x1378 x1377 x1376 x1375
3586.76/3597.02 v x1374 x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 x1365 x1364 x1363 x1362 x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
3586.76/3597.02 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
3586.76/3597.02 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 x1327 x1326 x1325 x1324 x1323 x1322 x1321 x1320 x1319 x1318
3586.76/3597.02 v x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297
3586.76/3597.02 v x1296 x1295 x1294 x1293 x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 x1283 x1282 x1281 x1280 x1279 x1278 x1277 x1276
3586.76/3597.02 v x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
3586.76/3597.02 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 x1248 x1247 x1246 x1245 x1244 x1243 x1242 x1241 x1240 x1239 x1238 x1237
3586.76/3597.02 v x1236 x1235 x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 x1220 x1219 x1218 x1217 x1216
3586.76/3597.02 v x1215 x1214 x1213 x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 x1203 x1202 x1201 x1200 x1199 x1198 x1197 -x1196
3586.76/3597.02 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178
3586.76/3597.02 v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 x1165 x1164 x1163 x1162 x1161 x1160 x1159 x1158
3586.76/3597.02 v x1157 x1156 x1155 x1154 x1153 x1152 x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 x1143 x1142 x1141 x1140 x1139 x1138 x1137
3586.76/3597.02 v x1136 x1135 x1134 x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118
3586.76/3597.02 v -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101
3586.76/3597.02 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084 x1083 x1082 x1081
3586.76/3597.02 v x1080 x1079 x1078 x1077 x1076 x1075 x1074 x1073 x1072 x1071 x1070 x1069 x1068 x1067 x1066 x1065 x1064 x1063 x1062 x1061 x1060
3586.76/3597.02 v x1059 x1058 x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040
3586.76/3597.02 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023
3586.76/3597.02 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 x1015 x1014 x1013 x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003
3586.76/3597.02 v x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 x993 x992 x991 x990 x989 x988 x987 x986 x985 x984 x983 x982 x981 x980 x979
3586.76/3597.02 v x978 x977 x976 x975 x974 x973 x972 x971 x970 x969 x968 x967 x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 x955 x954
3586.76/3597.02 v x953 x952 x951 x950 x949 x948 x947 x946 x945 x944 x943 -x942 -x941 -x940 -x939 -x938 x937 x936 x935 x934 x933 x932 x931 x930
3586.76/3597.02 v x929 x928 x927 x926 x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 x908 x907 x906 x905
3586.76/3597.02 v x904 x903 x902 x901 x900 x899 x898 x897 x896 x895 x894 x893 x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
3586.76/3597.02 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861
3586.76/3597.02 v -x860 x859 x858 x857 x856 x855 x854 x853 x852 x851 x850 x849 x848 x847 x846 x845 x844 x843 x842 x841 x840 x839 x838 x837 x836
3586.76/3597.02 v x835 x834 x833 x832 x831 x830 x829 x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815 x814 x813 x812 x811
3586.76/3597.02 v x810 x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789
3586.76/3597.02 v -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766
3586.76/3597.02 v x765 x764 x763 x762 x761 x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 x742 x741
3586.76/3597.02 v x740 x739 x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717
3586.76/3597.02 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 x702 x701 x700 x699 x698 x697 x696 x695
3586.76/3597.02 v x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670
3586.76/3597.02 v x669 x668 x667 x666 x665 x664 x663 x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652 x651 x650 x649 x648 x647 x646 x645
3586.76/3597.02 v x644 x643 x642 x641 x640 x639 x638 x637 x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 x624 x623 x622
3586.76/3597.02 v x621 x620 x619 x618 x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599 x598 x597
3586.76/3597.02 v x596 x595 x594 x593 x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574 x573 x572
3586.76/3597.02 v x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
3586.76/3597.02 v -x550 -x549 -x548 x547 x546 x545 x544 x543 x542 x541 x540 x539 x538 x537 x536 x535 x534 x533 x532 x531 x530 x529 x528 x527
3586.76/3597.02 v x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
3586.76/3597.02 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
3586.76/3597.02 v -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 x467 x466 x465 x464 x463 x462 x461 x460
3586.76/3597.02 v x459 x458 x457 x456 x455 x454 x453 x452 x451 x450 x449 x448 x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 x437 x436 x435
3586.76/3597.02 v x434 x433 x432 x431 x430 x429 x428 x427 x426 x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 x411 x410
3586.76/3597.02 v x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 x389
3586.76/3597.02 v x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 x369 x368 x367 x366 x365 x364
3586.76/3597.02 v x363 x362 x361 x360 x359 x358 x357 x356 x355 x354 x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340 x339
3586.76/3597.02 v x338 x337 x336 x335 x334 x333 x332 x331 x330 x329 x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 -x318 -x317 -x316 -x315 -x314
3586.76/3597.02 v x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290
3586.76/3597.02 v x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265
3586.76/3597.03 v x264 x263 x262 x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
3586.76/3597.03 v -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219
3586.76/3597.03 v x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194
3586.76/3597.03 v x193 x192 x191 x190 x189 x188 x187 x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172 x171 x170 x169
3586.76/3597.03 v x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144
3586.76/3597.03 v x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119
3586.76/3597.03 v x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 -x95 -x94
3586.76/3597.03 v -x93 -x92 -x91 -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
3586.76/3597.03 v x65 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 x39 x38 x37 x36 x35
3586.76/3597.03 v x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
3586.76/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3586.76/3597.03 c Total Time : 3597.00
3586.76/3597.03 c solving : 3597.00
3586.76/3597.03 c presolving : 1.25 (included in solving)
3586.76/3597.03 c reading : 0.07 (included in solving)
3586.76/3597.03 c copying : 2.46 (24 #copies) (minimal 0.10, maximal 0.11, average 0.10)
3586.76/3597.03 c Original Problem :
3586.76/3597.03 c Problem name : HOME/instance-4456252-1721718909.wbo
3586.76/3597.03 c Variables : 21485 (21485 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.76/3597.03 c Constraints : 33299 initial, 33299 maximal
3586.76/3597.03 c Objective : minimize, 16649 non-zeros (abs.min = 1, abs.max = 100)
3586.76/3597.03 c Presolved Problem :
3586.76/3597.03 c Problem name : t_HOME/instance-4456252-1721718909.wbo
3586.76/3597.03 c Variables : 38109 (21485 binary, 0 integer, 16624 implicit integer, 0 continuous)
3586.76/3597.03 c Constraints : 33740 initial, 33921 maximal
3586.76/3597.03 c Objective : minimize, 16649 non-zeros (abs.min = 1, abs.max = 100)
3586.76/3597.03 c Nonzeros : 207586 constraint, 0 clique table
3586.76/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.76/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c dualfix : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c probing : 0.32 0.00 1 0 25 0 0 0 0 0 0 0
3586.76/3597.03 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c symmetry : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c linear : 0.10 0.01 8 0 0 0 16649 0 1 0 0 2
3586.76/3597.03 c logicor : 0.01 0.00 5 0 0 0 0 0 6 0 0 0
3586.76/3597.03 c bounddisjunction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c indicator : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c root node : - - - 0 - - 0 - - - - -
3586.76/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.76/3597.03 c benderslp : 0 0 0 0 2996 0 0 9647 0 0 0 0 0 0 0
3586.76/3597.03 c integral : 0 0 0 0 2996 0 0 9647 0 0 914 0 0 67 5802
3586.76/3597.03 c knapsack : 34 34 11 62087 0 0 0 0 74 0 463 11 5 0 0
3586.76/3597.03 c linear : 16720 16720 23 166172 0 0 0 9643 11627 151 892646 0 0 0 0
3586.76/3597.03 c logicor : 166+ 252 11 4618 0 0 0 0 78 34 439 1 1 0 0
3586.76/3597.03 c bounddisjunction : 171+ 266 0 4348 0 0 0 0 45 4 226 0 0 0 0
3586.76/3597.03 c benders : 0 0 0 0 0 0 0 7958 0 0 0 0 0 0 0
3586.76/3597.03 c indicator : 16649 16649 2243 165984 0 0 0 7956 14189 17 3801038 0 0 0 0
3586.76/3597.03 c fixedvar : 0 0 0 0 0 0 0 463 0 0 0 0 0 0 0
3586.76/3597.03 c countsols : 0 0 0 0 0 0 0 463 0 0 0 0 0 0 0
3586.76/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.76/3597.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c integral : 1107.51 0.00 0.00 0.00 1100.80 0.00 0.00 6.72 0.00 0.00
3586.76/3597.03 c knapsack : 0.10 0.00 0.03 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c linear : 44.72 0.01 0.06 6.22 0.00 0.00 0.00 38.25 0.01 0.18
3586.76/3597.03 c logicor : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c bounddisjunction : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c indicator : 98.44 0.00 5.44 38.44 0.00 0.00 0.00 51.36 0.01 3.19
3586.76/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.76/3597.03 c dualfix : 4 0 0 0
3586.76/3597.03 c genvbounds : 0 0 0 0
3586.76/3597.03 c nlobbt : 0 0 0 0
3586.76/3597.03 c obbt : 0 0 0 0
3586.76/3597.03 c probing : 0 0 0 0
3586.76/3597.03 c pseudoobj : 29561 3081 18 849166
3586.76/3597.03 c redcost : 12628 0 0 3355654
3586.76/3597.03 c rootredcost : 15 0 0 0
3586.76/3597.03 c symmetry : 0 0 0 0
3586.76/3597.03 c vbounds : 7606 0 0 0
3586.76/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.76/3597.03 c dualfix : 0.01 0.00 0.01 0.01 0.00 0.00
3586.76/3597.03 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3586.76/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.76/3597.03 c probing : 0.32 0.00 0.32 0.00 0.00 0.00
3586.76/3597.03 c pseudoobj : 3.03 0.00 0.00 1.55 1.48 0.00
3586.76/3597.03 c redcost : 24.79 0.00 0.00 24.79 0.00 0.00
3586.76/3597.03 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3586.76/3597.03 c symmetry : 0.40 0.00 0.13 0.22 0.00 0.05
3586.76/3597.03 c vbounds : 1.11 0.00 0.00 1.10 0.00 0.01
3586.76/3597.03 c Symmetry :
3586.76/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.76/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.76/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.76/3597.03 c shadow tree time : 0.05 s
3586.76/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.76/3597.03 c propagation : 1.27 205 204 - 563 61.4 8 20.8 - - -
3586.76/3597.03 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.76/3597.03 c bound exceed. LP : 8.34 556 22 - 156 213.9 0 0.0 0 0.0 4890
3586.76/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.76/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.76/3597.03 c applied globally : 0.00 - - 0 691 93.8 - - 0 - -
3586.76/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.76/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.76/3597.03 c cut pool : 15.21 - 3139 45 - - 42013 140495 - - - - - (maximal pool size: 3494)
3586.76/3597.03 c aggregation : 25.22 0.00 1430 23 0 0 137 555 0 396 396 0 0
3586.76/3597.03 c > cmir : - - - - - - - 327 0 205 205 0 -
3586.76/3597.03 c > flowcover : - - - - - - - 217 0 183 183 0 -
3586.76/3597.03 c > knapsackcover : - - - - - - - 11 0 8 8 0 -
3586.76/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c gomory : 224.00 0.00 778 20 0 0 39967 120898 0 8822 8822 0 0
3586.76/3597.03 c > gomorymi : - - - - - - - 69405 0 4839 4839 0 -
3586.76/3597.03 c > strongcg : - - - - - - - 51493 0 3983 3983 0 -
3586.76/3597.03 c impliedbounds : 1.41 0.00 1430 23 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c mcf : 0.27 0.00 4 4 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c mixing : 0.00 0.00 1430 23 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c multilinear : 0.00 0.00 84 23 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c rapidlearning : 0.19 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c rlt : 0.00 0.00 190 20 0 0 0 0 0 0 0 0 0
3586.76/3597.03 c zerohalf : 13.04 0.00 781 23 0 0 1916 19042 7 9324 9318 6 0
3586.76/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.76/3597.03 c hybrid : 1.35 0.00 2050 24 18548 0 121966 134 0 3751
3586.76/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3586.76/3597.03 c problem variables: 0.00 - 0 0
3586.76/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.76/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c relpscost : 1100.79 0.00 2996 0 0 0 914 0 67 5802
3586.76/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.76/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.76/3597.03 c LP solutions : 0.00 - - 0 0
3586.76/3597.03 c relax solutions : 0.00 - - 0 0
3586.76/3597.03 c pseudo solutions : 0.00 - - 0 0
3586.76/3597.03 c strong branching : 0.06 - - 0 0
3586.76/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3586.76/3597.03 c adaptivediving : 12.27 0.00 18 0 0
3586.76/3597.03 c alns : 18.52 0.00 6 7 7
3586.76/3597.03 c bound : 0.00 0.00 0 0 0
3586.76/3597.03 c clique : 0.00 0.00 0 0 0
3586.76/3597.03 c coefdiving : 0.00 0.00 0 0 0
3586.76/3597.03 c completesol : 0.00 0.00 0 0 0
3586.76/3597.03 c conflictdiving : 17.89 0.00 37 0 0
3586.76/3597.03 c crossover : 3.36 0.00 9 7 2
3586.76/3597.03 c dins : 0.00 0.00 0 0 0
3586.76/3597.03 c distributiondivin: 41.07 0.00 36 1 1
3586.76/3597.03 c dps : 0.00 0.00 0 0 0
3586.76/3597.03 c dualval : 0.00 0.00 0 0 0
3586.76/3597.03 c farkasdiving : 129.77 0.00 16 1 1
3586.76/3597.03 c feasjump : 0.00 0.00 0 0 0
3586.76/3597.03 c feaspump : 0.66 0.00 1 1 1
3586.76/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3586.76/3597.03 c fracdiving : 14.02 0.00 36 0 0
3586.76/3597.03 c gins : 0.03 0.00 0 0 0
3586.76/3597.03 c guideddiving : 11.85 0.00 24 0 0
3586.76/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3586.76/3597.03 c indicator : 0.00 0.00 0 0 0
3586.76/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3586.76/3597.03 c indoneopt : 105.58 0.01 17 0 0
3586.76/3597.03 c indrounding : 0.00 0.00 0 0 0
3586.76/3597.03 c indtwoopt : 0.00 0.01 0 0 0
3586.76/3597.03 c intdiving : 0.00 0.00 0 0 0
3586.76/3597.03 c intshifting : 0.00 0.00 0 0 0
3586.76/3597.03 c linesearchdiving : 15.50 0.00 37 0 0
3586.76/3597.03 c localbranching : 0.00 0.00 0 0 0
3586.76/3597.03 c locks : 0.44 0.00 1 0 0
3586.76/3597.03 c lpface : 4.74 0.00 2 0 0
3586.76/3597.03 c mpec : 0.00 0.00 0 0 0
3586.76/3597.03 c multistart : 0.00 0.00 0 0 0
3586.76/3597.03 c mutation : 0.00 0.00 0 0 0
3586.76/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3586.76/3597.03 c objpscostdiving : 104.63 0.00 19 331 13
3586.76/3597.03 c octane : 0.00 0.00 0 0 0
3586.76/3597.03 c ofins : 0.00 0.00 0 0 0
3586.76/3597.03 c oneopt : 0.64 0.00 14 3 3
3586.76/3597.03 c padm : 0.00 0.00 0 0 0
3586.76/3597.03 c proximity : 0.00 0.00 0 0 0
3586.76/3597.03 c pscostdiving : 41.26 0.00 36 15 4
3586.76/3597.03 c randrounding : 6.67 0.00 1550 0 0
3586.76/3597.03 c rens : 0.74 0.00 2 0 0
3586.76/3597.03 c reoptsols : 0.00 0.00 0 0 0
3586.76/3597.03 c repair : 0.00 0.00 0 0 0
3586.76/3597.03 c rins : 2.86 0.00 8 6 4
3586.76/3597.03 c rootsoldiving : 28.11 0.00 17 71 0
3586.76/3597.03 c rounding : 0.85 0.00 946 0 0
3586.76/3597.03 c scheduler : 0.00 0.00 0 0 0
3586.76/3597.03 c shiftandpropagate: 0.00 0.00 0 0 0
3586.76/3597.03 c shifting : 1.12 0.00 648 0 0
3586.76/3597.03 c simplerounding : 3.49 0.00 5614 0 0
3586.76/3597.03 c smallcard : 0.00 0.00 0 0 0
3586.76/3597.03 c subnlp : 0.01 0.00 0 0 0
3586.76/3597.03 c trivial : 0.09 0.00 4 1 1
3586.76/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3586.76/3597.03 c trustregion : 0.00 0.00 0 0 0
3586.76/3597.03 c trysol : 0.46 0.00 33 14 0
3586.76/3597.03 c twoopt : 0.00 0.00 0 0 0
3586.76/3597.03 c undercover : 0.00 0.00 0 0 0
3586.76/3597.03 c vbounds : 0.00 0.00 0 0 0
3586.76/3597.03 c veclendiving : 19.82 0.00 36 0 0
3586.76/3597.03 c zeroobj : 0.00 0.00 0 0 0
3586.76/3597.03 c zirounding : 0.99 0.00 1000 0 0
3586.76/3597.03 c other solutions : - - - 0 -
3586.76/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.76/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.76/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.76/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.76/3597.03 c primal LP : 7.08 627 1 1.00 0.14 7.06 626
3586.76/3597.03 c dual LP : 1496.39 9268 4551788 781.29 3041.85 31.91 3442
3586.76/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3586.76/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.76/3597.03 c resolve instable : 0.00 0 0 0.00 -
3586.76/3597.03 c diving/probing LP: 376.82 5831 3268090 560.47 8672.88
3586.76/3597.03 c strong branching : 997.91 3935 2419054 614.75 2424.12 - - 3484
3586.76/3597.03 c (at root node) : - 48 43147 898.90 -
3586.76/3597.03 c conflict analysis: 3.59 489 4890 10.00 1360.80
3586.76/3597.03 c B&B Tree :
3586.76/3597.03 c number of runs : 2
3586.76/3597.03 c nodes : 838 (701 internal, 137 leaves)
3586.76/3597.03 c feasible leaves : 0
3586.76/3597.03 c infeas. leaves : 68
3586.76/3597.03 c objective leaves : 68
3586.76/3597.03 c nodes (total) : 3320 (2901 internal, 419 leaves)
3586.76/3597.03 c nodes left : 566
3586.76/3597.03 c max depth : 44
3586.76/3597.03 c max depth (total): 60
3586.76/3597.03 c backtracks : 159 (19.0%)
3586.76/3597.03 c early backtracks : 0 (0.0%)
3586.76/3597.03 c nodes exc. ref. : 0 (0.0%)
3586.76/3597.03 c delayed cutoffs : 0
3586.76/3597.03 c repropagations : 19 (207 domain reductions, 0 cutoffs)
3586.76/3597.03 c avg switch length: 5.09
3586.76/3597.03 c switching time : 20.21
3586.76/3597.03 c Root Node :
3586.76/3597.03 c First LP value : +0.00000000000000e+00
3586.76/3597.03 c First LP Iters : 10577 (5551.99 Iter/sec)
3586.76/3597.03 c First LP Time : 1.91
3586.76/3597.03 c Final Dual Bound : +0.00000000000000e+00
3586.76/3597.03 c Final Root Iters : 52108
3586.76/3597.03 c Root LP Estimate : +1.30819482021283e+03
3586.76/3597.03 c Solution :
3586.76/3597.03 c Solutions found : 458 (37 improvements)
3586.76/3597.03 c First Solution : +8.42393000000000e+05 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
3586.76/3597.03 c Gap First Sol. : infinite
3586.76/3597.03 c Gap Last Sol. : infinite
3586.76/3597.03 c Primal Bound : +1.76000000000000e+02 (in run 1, after 2432 nodes, 2247.96 seconds, depth 103, found by <pscostdiving>)
3586.76/3597.03 c Dual Bound : +0.00000000000000e+00
3586.76/3597.03 c Gap : infinite
3586.76/3597.03 c Integrals : Total Avg%
3586.76/3597.03 c primal-dual : 359700.04 100.00
3586.76/3597.03 c primal-ref : - - (not evaluated)
3586.76/3597.03 c dual-ref : - - (not evaluated)
3587.05/3597.37 c Time complete: 3587.14.
OK 176
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 (55695 MiB free)
memory of node 1: 64510 MiB (51338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456252-1721718909/watcher-4456252-1721718909 -o /tmp/evaluation-result-4456252-1721718909/solver-4456252-1721718909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87307 --watchdog 3760 pbscip -f HOME/instance-4456252-1721718909.wbo -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=88109, runsolver pid=88106
[startup+0.100272 s]*
/proc/loadavg: 4.06 3.75 2.96 5/256 88110
/proc/meminfo: memFree=109536184/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=120392 memory=81088 CPUtime=0.09 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 17217 0 0 0 6 3 0 0 20 0 1 0 8420487 123281408 20272 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 30098 20272 3583 3540 0 18355 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 120392 KiB
Current children cumulated memory: 81088 KiB
[startup+0.205519 s]*
/proc/loadavg: 4.06 3.75 2.96 5/256 88110
/proc/meminfo: memFree=109492072/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=169100 memory=128460 CPUtime=0.19 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 29056 0 0 0 15 4 0 0 20 0 1 0 8420487 173158400 32115 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 42275 32115 3615 3540 0 30532 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 169100 KiB
Current children cumulated memory: 128460 KiB
[startup+0.305557 s]*
/proc/loadavg: 4.06 3.75 2.96 5/256 88110
/proc/meminfo: memFree=109456988/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=204788 memory=159620 CPUtime=0.3 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 36834 0 0 0 24 6 0 0 20 0 1 0 8420487 209702912 39905 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 51197 39905 3615 3540 0 39454 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 204788 KiB
Current children cumulated memory: 159620 KiB
[startup+0.700235 s]
/proc/loadavg: 4.06 3.75 2.96 6/256 88110
/proc/meminfo: memFree=109450128/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=211388 memory=166380 CPUtime=0.68 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 38535 0 0 0 62 6 0 0 20 0 1 0 8420487 216461312 41595 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 52847 41595 3647 3540 0 41104 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 211388 KiB
Current children cumulated memory: 166380 KiB
[startup+1.50024 s]
/proc/loadavg: 4.06 3.75 2.96 5/256 88110
/proc/meminfo: memFree=109375352/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=358512 memory=254400 CPUtime=1.48 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 70935 0 0 0 137 11 0 0 20 0 1 0 8420487 367116288 63600 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 89628 63600 3759 3540 0 77885 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 358512 KiB
Current children cumulated memory: 254400 KiB
[startup+3.10559 s]
/proc/loadavg: 4.05 3.76 2.97 5/256 88111
/proc/meminfo: memFree=109362048/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=358512 memory=254400 CPUtime=3.09 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 70935 0 0 0 297 12 0 0 20 0 1 0 8420487 367116288 63600 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 89628 63600 3759 3540 0 77885 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 358512 KiB
Current children cumulated memory: 254400 KiB
[startup+6.30023 s]
/proc/loadavg: 4.05 3.76 2.97 5/256 88111
/proc/meminfo: memFree=109356688/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=358512 memory=254400 CPUtime=6.27 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 70935 0 0 0 615 12 0 0 20 0 1 0 8420487 367116288 63600 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 89628 63600 3759 3540 0 77885 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 358512 KiB
Current children cumulated memory: 254400 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 3.77 2.98 5/256 88111
/proc/meminfo: memFree=109355956/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=358512 memory=254400 CPUtime=12.65 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 70935 0 0 0 1253 12 0 0 20 0 1 0 8420487 367116288 63600 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 89628 63600 3759 3540 0 77885 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 358512 KiB
Current children cumulated memory: 254400 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 3.79 3.00 5/254 88114
/proc/meminfo: memFree=109349644/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=358512 memory=254516 CPUtime=25.41 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 71191 0 0 0 2528 13 0 0 20 0 1 0 8420487 367116288 63629 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 89628 63629 3759 3540 0 77885 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 358512 KiB
Current children cumulated memory: 254516 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 3.81 3.02 5/254 88118
/proc/meminfo: memFree=109344404/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=358512 memory=254516 CPUtime=50.96 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 71191 0 0 0 5081 15 0 0 20 0 1 0 8420487 367116288 63629 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 89628 63629 3759 3540 0 77885 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 358512 KiB
Current children cumulated memory: 254516 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 3.95 3.12 5/254 88173
/proc/meminfo: memFree=108616952/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=558472 memory=419932 CPUtime=102.01 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 112630 0 0 0 10178 23 0 0 20 0 1 0 8420487 571875328 104983 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 139618 104983 3903 3540 0 127875 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 558472 KiB
Current children cumulated memory: 419932 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 3.99 3.18 5/254 88183
/proc/meminfo: memFree=108491904/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=635320 memory=482920 CPUtime=161.85 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 127871 0 0 0 16160 25 0 0 20 0 1 0 8420487 650567680 120730 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 158830 120730 3903 3540 0 147087 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 635320 KiB
Current children cumulated memory: 482920 KiB
[startup+222.3 s]
/proc/loadavg: 4.62 4.12 3.28 5/254 88238
/proc/meminfo: memFree=96769708/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=760808 memory=612732 CPUtime=221.68 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 174807 0 0 0 22136 32 0 0 20 0 1 0 8420487 779067392 153183 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 190202 153183 3919 3540 0 178459 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 760808 KiB
Current children cumulated memory: 612732 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.13 3.34 5/254 88249
/proc/meminfo: memFree=95557928/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=813984 memory=663756 CPUtime=281.5 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 187784 0 0 0 28116 34 0 0 20 0 1 0 8420487 833519616 165939 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 203496 165939 4037 3540 0 191753 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 813984 KiB
Current children cumulated memory: 663756 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.13 3.39 5/256 88263
/proc/meminfo: memFree=87984608/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=813984 memory=669144 CPUtime=341.32 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 189195 0 0 0 34097 35 0 0 20 0 1 0 8420487 833519616 167286 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 203496 167286 4037 3540 0 191753 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 813984 KiB
Current children cumulated memory: 669144 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 3.44 5/256 88274
/proc/meminfo: memFree=83785772/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=813984 memory=669668 CPUtime=401.13 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 189304 0 0 0 40078 35 0 0 20 0 1 0 8420487 833519616 167417 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 203496 167417 4037 3540 0 191753 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 813984 KiB
Current children cumulated memory: 669668 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.14 3.49 5/256 88286
/proc/meminfo: memFree=79506472/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1028296 memory=864068 CPUtime=460.95 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 237977 0 0 0 46054 41 0 0 20 0 1 0 8420487 1052975104 216017 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 257074 216017 4037 3540 0 245331 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 1824584 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 90326
/proc/meminfo: memFree=86861928/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1935748 memory=1824892 CPUtime=3153.33 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 536114 0 0 0 315237 96 0 0 20 0 1 0 8420487 1982205952 456223 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 483937 456223 4171 3540 0 472194 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 1935748 KiB
Current children cumulated memory: 1824892 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 90336
/proc/meminfo: memFree=86846252/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1935748 memory=1824948 CPUtime=3213.16 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 536623 0 0 0 321219 97 0 0 20 0 1 0 8420487 1982205952 456237 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 483937 456237 4171 3540 0 472194 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 1935748 KiB
Current children cumulated memory: 1824948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/258 90346
/proc/meminfo: memFree=86681924/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1953264 memory=1837748 CPUtime=3272.98 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 540365 0 0 0 327200 98 0 0 20 0 1 0 8420487 2000142336 459437 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 488316 459437 4171 3540 0 476573 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 1953264 KiB
Current children cumulated memory: 1837748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 90359
/proc/meminfo: memFree=86674652/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1959804 memory=1844312 CPUtime=3332.81 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 542420 0 0 0 333182 99 0 0 20 0 1 0 8420487 2006839296 461078 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 489951 461078 4171 3540 0 478208 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 1959804 KiB
Current children cumulated memory: 1844312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 90373
/proc/meminfo: memFree=86666432/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1967004 memory=1851544 CPUtime=3392.63 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 544920 0 0 0 339164 99 0 0 20 0 1 0 8420487 2014212096 462886 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 491751 462886 4171 3540 0 480008 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 1967004 KiB
Current children cumulated memory: 1851544 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 90383
/proc/meminfo: memFree=86656148/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1976632 memory=1861320 CPUtime=3452.45 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 547907 0 0 0 345145 100 0 0 20 0 1 0 8420487 2024071168 465330 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 494158 465330 4171 3540 0 482415 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 1976632 KiB
Current children cumulated memory: 1861320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 90393
/proc/meminfo: memFree=86618028/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1989204 memory=1871872 CPUtime=3512.27 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 551086 0 0 0 351126 101 0 0 20 0 1 0 8420487 2036944896 467968 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 497301 467968 4171 3540 0 485558 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 1989204 KiB
Current children cumulated memory: 1871872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/255 90405
/proc/meminfo: memFree=86609416/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1996216 memory=1879756 CPUtime=3572.1 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 553660 0 0 0 357108 102 0 0 20 0 1 0 8420487 2044125184 469939 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 499054 469939 4171 3540 0 487311 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 1996216 KiB
Current children cumulated memory: 1879756 KiB
[startup+3597.41 s]
# the end of solver process 88109 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.11 s, system=1.05802 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.10 4.09 5/255 90406
/proc/meminfo: memFree=86609076/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=1996216 memory=1879756 CPUtime=3573.8 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 553671 0 0 0 357278 102 0 0 20 0 1 0 8420487 2044125184 469939 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 499054 469939 4171 3540 0 487311 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 1996216 KiB
Current children cumulated memory: 1879756 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 90406
/proc/meminfo: memFree=86606744/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=2000028 memory=1882376 CPUtime=3580.17 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 554381 0 0 0 357915 102 0 0 20 0 1 0 8420487 2048028672 470594 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 500007 470594 4171 3540 0 488264 0
Current children cumulated CPU time: 3580.17 s
Current children cumulated vsize: 2000028 KiB
Current children cumulated memory: 1882376 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 90408
/proc/meminfo: memFree=86604904/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=2000628 memory=1883944 CPUtime=3583.36 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 554890 0 0 0 358234 102 0 0 20 0 1 0 8420487 2048643072 470986 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 500157 470986 4171 3540 0 488414 0
Current children cumulated CPU time: 3583.36 s
Current children cumulated vsize: 2000628 KiB
Current children cumulated memory: 1883944 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 90408
/proc/meminfo: memFree=86604236/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=2000628 memory=1884204 CPUtime=3584.96 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 554941 0 0 0 358394 102 0 0 20 0 1 0 8420487 2048643072 471051 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 500157 471051 4171 3540 0 488414 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 2000628 KiB
Current children cumulated memory: 1884204 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 90408
/proc/meminfo: memFree=86604228/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=2000628 memory=1884204 CPUtime=3586.55 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 554947 0 0 0 358553 102 0 0 20 0 1 0 8420487 2048643072 471051 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 500157 471051 4171 3540 0 488414 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 2000628 KiB
Current children cumulated memory: 1884204 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 90408
/proc/meminfo: memFree=86604236/131524600 swapFree=131071996/131071996
[pid=88109] ppid=88106 vsize=2000628 memory=1884392 CPUtime=3586.95 cores=1,3
/proc/88109/stat : 88109 (pbscip) R 88106 88109 87295 0 -1 4194304 554970 0 0 0 358593 102 0 0 20 0 1 0 8420487 2048643072 471098 134679101440 4194304 18693293 140727081579328 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50466816 140727081587715 140727081587814 140727081587814 140727081594830 0
/proc/88109/statm: 500157 471098 4171 3540 0 488414 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 2000628 KiB
Current children cumulated memory: 1884392 KiB
[startup+3597.4 s]*
/proc/loadavg: 4.13 4.10 4.09 5/255 90408
/proc/meminfo: memFree=88430668/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3597.41
CPU time (s): 3587.17
CPU user time (s): 3586.11
CPU system time (s): 1.05802
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 2000628
Max. memory (cumulated for all children) (KiB): 1884392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.11
system time used= 1.05802
maximum resident set size= 1884392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555118
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= 77
involuntary context switches= 2182
# summary of solver processes directly reported to runsolver:
# pid: 88109
# total CPU time (s): 3587.17
# total CPU user time (s): 3586.11
# total CPU system time (s): 1.05802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66736 second user time and 14.4143 second system time
The end
Begin job on nodeC031 at 2024-07-23 09:15:09 IDJOB=4456252 IDBENCH=143318 IDSOLVER=3038 FILE ID=nodeC031/4456252-1721718909 RUNJOBID= nodeC031-1721718373-87307 SLURM_JOB_ID= 7770400 Free space on /tmp= 890024 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-0-100-0.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456252-1721718909/watcher-4456252-1721718909 -o /tmp/evaluation-result-4456252-1721718909/solver-4456252-1721718909 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721718373-87307 --watchdog 3760 pbscip -f HOME/instance-4456252-1721718909.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 23a988ddfb654df09568eafe82f1da1a RANDOM SEED=919450130 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.852 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.448 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.454 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.723 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.877 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.756 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.287 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3620.856 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 109603500 kB MemAvailable: 128268576 kB Buffers: 140016 kB Cached: 19281608 kB SwapCached: 0 kB Active: 947508 kB Inactive: 20273316 kB Active(anon): 1528 kB Inactive(anon): 1835384 kB Active(file): 945980 kB Inactive(file): 18437932 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19416 kB Writeback: 0 kB AnonPages: 1797316 kB Mapped: 135160 kB Shmem: 37720 kB KReclaimable: 241624 kB Slab: 345288 kB SReclaimable: 241624 kB SUnreclaim: 103664 kB KernelStack: 4080 kB PageTables: 13104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2170060 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18816 kB HardwareCorrupted: 0 kB AnonHugePages: 802816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279252 kB DirectMap2M: 23611392 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 889960 MiB End job on nodeC031 at 2024-07-23 10:15:07