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-4432574-1721065232.opb>
0.00/0.06 c original problem has 19747 variables (19747 bin, 0 int, 0 impl, 0 cont) and 3145 constraints
0.00/0.06 c problem read in 0.06
0.09/0.12 c presolving:
0.09/0.16 c (round 1, fast) 30 del vars, 1 del conss, 0 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.20/0.23 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.24 c (round 2, exhaustive) 30 del vars, 205 del conss, 0 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.27 c (round 3, fast) 3092 del vars, 243 del conss, 166 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.20/0.27 c (round 4, fast) 3092 del vars, 243 del conss, 239 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.31 c (0.3s) running MILP presolver
0.30/0.35 c (0.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.30/0.35 c (round 5, exhaustive) 3092 del vars, 354 del conss, 239 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.30/0.39 c (round 6, exhaustive) 3092 del vars, 354 del conss, 239 add conss, 30 chg bounds, 2472 chg sides, 2472 chg coeffs, 2263 upgd conss, 0 impls, 0 clqs
0.40/0.43 c (round 7, medium) 3092 del vars, 354 del conss, 651 add conss, 30 chg bounds, 2884 chg sides, 3296 chg coeffs, 2263 upgd conss, 0 impls, 618 clqs
0.40/0.45 c (round 8, exhaustive) 3092 del vars, 354 del conss, 651 add conss, 30 chg bounds, 2884 chg sides, 3296 chg coeffs, 2864 upgd conss, 0 impls, 618 clqs
0.88/0.99 c (1.0s) probing: 219/16655 (1.3%) - 0 fixings, 0 aggregations, 24151 implications, 0 bound changes
0.88/0.99 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.98/1.03 c (1.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.98/1.08 c (1.1s) no symmetry present (symcode time: 0.03)
1.09/1.11 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
1.09/1.11 c 3092 deleted vars, 354 deleted constraints, 651 added constraints, 30 tightened bounds, 0 added holes, 2884 changed sides, 3296 changed coefficients
1.09/1.11 c 0 implications, 24769 cliques
1.09/1.11 c presolved problem has 16655 variables (16655 bin, 0 int, 0 impl, 0 cont) and 3442 constraints
1.09/1.11 c 2272 constraints of type <knapsack>
1.09/1.11 c 412 constraints of type <setppc>
1.09/1.11 c 166 constraints of type <linear>
1.09/1.11 c 592 constraints of type <logicor>
1.09/1.11 c transformed objective value is always integral (scale: 1024)
1.09/1.11 c Presolving Time: 1.00
1.09/1.11 c - non default parameters ----------------------------------------------------------------------
1.09/1.11 c # SCIP version 10.0.0
1.09/1.11 c
1.09/1.11 c # maximal time in seconds to run
1.09/1.11 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.11 c limits/time = 3596.998053
1.09/1.11 c
1.09/1.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.11 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.11 c limits/memory = 27900
1.09/1.11 c
1.09/1.11 c # belongs reading time to solving time?
1.09/1.11 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.11 c timing/reading = TRUE
1.09/1.11 c
1.09/1.11 c -----------------------------------------------------------------------------------------------
1.09/1.11 c start solving
1.09/1.11 c
1.28/1.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.28/1.32 c 1.3s| 1 | 0 | 1547 | - | 187M | 0 | 16k|3443 |3442 | 0 | 0 | 0 | 0 | 4.065280e+05 | -- | Inf | unknown
2.08/2.14 c 2.1s| 1 | 0 | 5447 | - | 197M | 0 | 16k|3444 |3717 | 275 | 1 | 1 | 0 | 4.065280e+05 | -- | Inf | unknown
2.27/2.30 c 2.3s| 1 | 0 | 5807 | - | 197M | 0 | 16k|3444 |3859 | 417 | 2 | 1 | 0 | 4.065280e+05 | -- | Inf | unknown
2.47/2.59 c 2.6s| 1 | 0 | 6918 | - | 200M | 0 | 16k|3445 |3968 | 526 | 3 | 2 | 0 | 4.065280e+05 | -- | Inf | unknown
2.67/2.78 c 2.8s| 1 | 0 | 7377 | - | 202M | 0 | 16k|3445 |4088 | 646 | 4 | 2 | 0 | 4.065280e+05 | -- | Inf | unknown
3.17/3.23 c 3.2s| 1 | 0 | 8569 | - | 207M | 0 | 16k|3445 |4354 | 912 | 5 | 2 | 0 | 4.065280e+05 | -- | Inf | unknown
3.47/3.50 c 3.5s| 1 | 0 | 9897 | - | 210M | 0 | 16k|3445 |4576 |1134 | 6 | 2 | 0 | 4.065280e+05 | -- | Inf | unknown
3.87/3.90 c 3.9s| 1 | 0 | 10888 | - | 211M | 0 | 16k|3447 |4737 |1295 | 7 | 4 | 0 | 4.065280e+05 | -- | Inf | unknown
4.37/4.47 c 4.5s| 1 | 0 | 11860 | - | 214M | 0 | 16k|3447 |4930 |1488 | 8 | 4 | 0 | 4.065280e+05 | -- | Inf | unknown
5.07/5.18 c 5.2s| 1 | 0 | 13407 | - | 215M | 0 | 16k|3449 |5102 |1660 | 9 | 6 | 0 | 4.065280e+05 | -- | Inf | unknown
5.46/5.50 c 5.5s| 1 | 0 | 14424 | - | 222M | 0 | 16k|3451 |5277 |1835 | 10 | 8 | 0 | 4.065280e+05 | -- | Inf | unknown
5.66/5.76 c 5.8s| 1 | 0 | 15588 | - | 224M | 0 | 16k|3451 |5423 |1981 | 11 | 8 | 0 | 4.065280e+05 | -- | Inf | unknown
6.65/6.79 c 6.8s| 1 | 2 | 25928 | - | 225M | 0 | 16k|3462 |5423 |1981 | 11 | 19 | 0 | 4.065280e+05 | -- | Inf | unknown
12.33/12.49 c 12.5s| 100 | 39 | 66915 | 518.5 | 230M | 33 | 16k|3678 |5585 |2571 | 1 | 235 | 0 | 4.065280e+05 | -- | Inf | 9.57%
15.12/15.22 c 15.2s| 200 | 89 | 70734 | 277.1 | 235M | 108 | 16k|3702 |5649 |2642 | 1 | 265 | 0 | 4.065280e+05 | -- | Inf | 9.57%
18.02/18.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.02/18.15 c 18.2s| 300 | 121 | 79273 | 213.0 | 237M | 119 | 16k|3739 |5573 |2748 | 1 | 311 | 0 | 4.065280e+05 | -- | Inf | 9.57%
20.50/20.67 c 20.7s| 400 | 154 | 89162 | 184.4 | 242M | 119 | 16k|3776 |5530 |2930 | 1 | 348 | 0 | 4.065280e+05 | -- | Inf | 10.40%
22.09/22.23 c 22.2s| 500 | 206 | 91441 | 152.0 | 243M | 119 | 16k|3815 |5595 |3015 | 1 | 387 | 0 | 4.065280e+05 | -- | Inf | 10.40%
24.38/24.59 c 24.6s| 600 | 270 |102823 | 145.6 | 244M | 119 | 16k|3850 |5586 |3053 | 1 | 422 | 0 | 4.065280e+05 | -- | Inf | 10.40%
27.17/27.31 o 466944
27.17/27.31 c d27.3s| 665 | 335 |118268 | 154.6 |distribu| 131 | 16k|4029 |5593 | 0 | 1 | 601 | 0 | 4.065280e+05 | 4.669440e+05 | 14.86%| 10.40%
27.37/27.52 o 464896
27.37/27.52 c i27.5s| 668 | 328 |122682 | 160.6 | oneopt| 131 | 16k|4033 |5576 |3060 | 0 | 605 | 0 | 4.065280e+05 | 4.648960e+05 | 14.36%| 4.58%
28.36/28.53 o 462848
28.36/28.53 c d28.5s| 681 | 343 |133047 | 172.7 |guideddi| 131 | 16k|4033 |5580 | 0 | 1 | 605 | 0 | 4.065280e+05 | 4.628480e+05 | 13.85%| 4.58%
29.06/29.27 c 29.3s| 700 | 337 |139443 | 177.2 | 251M | 131 | 16k|4038 |5500 |3200 | 1 | 612 | 0 | 4.065280e+05 | 4.628480e+05 | 13.85%| 6.97%
34.24/34.41 o 451584
34.24/34.41 c d34.4s| 786 | 389 |190555 | 222.9 |linesear| 131 | 16k|4367 |5583 | 0 | 1 | 957 | 0 | 4.065280e+05 | 4.515840e+05 | 11.08%| 11.20%
34.94/35.19 c 35.2s| 800 | 403 |199632 | 230.3 | 254M | 131 | 16k|4360 |5583 |3313 | 1 | 958 | 0 | 4.065280e+05 | 4.515840e+05 | 11.08%| 11.20%
40.01/40.26 c 40.3s| 900 | 495 |254552 | 265.8 | 256M | 131 | 16k|4443 |5580 |3418 | 1 |1136 | 0 | 4.065280e+05 | 4.515840e+05 | 11.08%| 11.87%
44.19/44.47 o 449536
44.19/44.47 c L44.5s| 986 | 579 |299154 | 287.9 | rins| 131 | 16k|4462 |5583 |3439 | 1 |1192 | 0 | 4.065280e+05 | 4.495360e+05 | 10.58%| 12.17%
44.80/45.10 c 45.1s| 1000 | 593 |307271 | 292.0 | 258M | 131 | 16k|4465 |5580 |3443 | 1 |1201 | 0 | 4.065280e+05 | 4.495360e+05 | 10.58%| 12.18%
51.06/51.38 c 51.4s| 1100 | 690 |380095 | 331.7 | 259M | 131 | 16k|4596 |5580 |3482 | 1 |1409 | 0 | 4.065280e+05 | 4.495360e+05 | 10.58%| 12.37%
53.05/53.32 o 442368
53.05/53.32 c d53.3s| 1128 | 714 |398027 | 339.3 |linesear| 131 | 16k|4711 |5589 | 0 | 1 |1580 | 0 | 4.065280e+05 | 4.423680e+05 | 8.82%| 13.52%
57.14/57.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.14/57.41 c 57.4s| 1200 | 780 |431588 | 347.0 | 261M | 131 | 16k|4654 |5533 |3565 | 1 |1620 | 0 | 4.065280e+05 | 4.423680e+05 | 8.82%| 13.52%
66.70/67.06 c 67.1s| 1300 | 866 |513828 | 383.6 | 265M | 131 | 16k|4656 |5508 |3967 | 1 |1815 | 0 | 4.065280e+05 | 4.423680e+05 | 8.82%| 13.75%
69.39/69.74 o 438272
69.39/69.74 c L69.7s| 1328 | 890 |539055 | 394.5 |crossove| 131 | 16k|4782 |5493 |4096 | 1 |2041 | 0 | 4.065280e+05 | 4.382720e+05 | 7.81%| 13.75%
73.17/73.59 c 73.6s| 1400 | 938 |584839 | 406.9 | 269M | 131 | 16k|4706 |5594 |4334 | 1 |2080 | 0 | 4.065280e+05 | 4.382720e+05 | 7.81%| 13.83%
78.84/79.21 c 79.2s| 1500 | 1036 |613242 | 398.7 | 271M | 131 | 16k|4914 |5599 |4512 | 1 |2436 | 0 | 4.065280e+05 | 4.382720e+05 | 7.81%| 13.84%
79.74/80.16 o 437248
79.74/80.16 c L80.2s| 1528 | 1064 |618262 | 394.7 | rins| 131 | 16k|4857 |5544 |4576 | 1 |2436 | 0 | 4.065280e+05 | 4.372480e+05 | 7.56%| 13.84%
82.42/82.88 c 82.9s| 1600 | 1135 |643367 | 392.6 | 272M | 131 | 16k|4871 |5585 |4644 | 1 |2521 | 0 | 4.065280e+05 | 4.372480e+05 | 7.56%| 13.92%
85.41/85.82 c 85.8s| 1700 | 1234 |660144 | 379.4 | 273M | 131 | 16k|4909 |5591 |4732 | 1 |2644 | 0 | 4.065280e+05 | 4.372480e+05 | 7.56%| 14.55%
86.71/87.18 o 436224
86.71/87.18 c L87.2s| 1728 | 1262 |672270 | 380.2 |crossove| 131 | 16k|4891 |5591 |4771 | 1 |2660 | 0 | 4.065280e+05 | 4.362240e+05 | 7.30%| 14.55%
88.50/88.91 c 88.9s| 1800 | 1334 |679943 | 369.3 | 273M | 131 | 16k|4870 |5604 |4867 | 2 |2660 | 0 | 4.065280e+05 | 4.362240e+05 | 7.30%| 14.55%
92.38/92.81 c 92.8s| 1900 | 1433 |704550 | 362.8 | 275M | 131 | 16k|4955 |5591 |4975 | 1 |2828 | 0 | 4.065280e+05 | 4.362240e+05 | 7.30%| 14.89%
93.87/94.31 o 435200
93.87/94.31 c L94.3s| 1928 | 1461 |706695 | 358.6 |crossove| 131 | 16k|4939 |5630 |5013 | 1 |2828 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 14.89%
95.77/96.27 c 96.3s| 2000 | 1530 |714794 | 349.8 | 275M | 131 | 16k|4923 |5604 |5089 | 1 |2849 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 17.54%
99.25/99.78 c 99.8s| 2100 | 1629 |733671 | 342.1 | 275M | 131 | 16k|4936 |5604 |5194 | 1 |2913 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 19.87%
102.93/103.48 c 103s| 2200 | 1729 |753168 | 335.4 | 277M | 131 | 16k|4922 |5606 |5305 | 1 |2913 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 19.87%
107.81/108.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
107.81/108.38 c 108s| 2300 | 1823 |787778 | 335.9 | 279M | 131 | 16k|4943 |5622 |5428 | 1 |3135 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 22.43%
112.49/113.00 c 113s| 2400 | 1921 |809251 | 330.8 | 283M | 131 | 16k|5233 |5623 |5656 | 1 |3639 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 22.47%
117.27/117.88 c 118s| 2500 | 2011 |845910 | 332.3 | 288M | 131 | 16k|5187 |5620 |5896 | 1 |3854 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 22.70%
121.05/121.66 c 122s| 2600 | 2098 |866313 | 327.3 | 289M | 131 | 16k|5206 |5610 |6131 | 1 |4066 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 22.74%
126.23/126.84 c 127s| 2700 | 2178 |902379 | 328.6 | 291M | 131 | 16k|5196 |5615 |6412 | 1 |4226 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 22.93%
129.42/130.09 c 130s| 2800 | 2251 |924056 | 324.6 | 294M | 131 | 16k|5247 |5647 |6679 | 1 |4383 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 23.05%
133.40/134.07 c 134s| 2900 | 2339 |951369 | 322.8 | 295M | 131 | 16k|5314 |5637 |6960 | 1 |4580 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| 23.08%
135.69/136.36 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
135.69/136.36 c (run 1, node 2936) performing user restart
135.69/136.36 c
135.69/136.37 c (restart) converted 1598 cuts from the global cut pool into linear constraints
135.69/136.37 c
135.79/136.47 c presolving:
135.79/136.49 c (round 1, fast) 0 del vars, 125 del conss, 167 add conss, 0 chg bounds, 571 chg sides, 3239 chg coeffs, 0 upgd conss, 0 impls, 24830 clqs
135.89/136.52 c (round 2, exhaustive) 0 del vars, 161 del conss, 168 add conss, 0 chg bounds, 572 chg sides, 3241 chg coeffs, 0 upgd conss, 0 impls, 24830 clqs
135.89/136.54 c (round 3, exhaustive) 0 del vars, 161 del conss, 168 add conss, 0 chg bounds, 572 chg sides, 3241 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.89/136.55 c (round 4, fast) 0 del vars, 331 del conss, 170 add conss, 0 chg bounds, 576 chg sides, 3277 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.89/136.56 c (round 5, medium) 0 del vars, 332 del conss, 174 add conss, 0 chg bounds, 637 chg sides, 3342 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.99/136.60 c (round 6, exhaustive) 0 del vars, 444 del conss, 176 add conss, 0 chg bounds, 637 chg sides, 3435 chg coeffs, 1160 upgd conss, 0 impls, 24830 clqs
135.99/136.69 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
135.99/136.69 c 0 deleted vars, 446 deleted constraints, 176 added constraints, 0 tightened bounds, 0 added holes, 637 changed sides, 3459 changed coefficients
135.99/136.69 c 0 implications, 24830 cliques
135.99/136.69 c presolved problem has 16655 variables (16655 bin, 0 int, 0 impl, 0 cont) and 6721 constraints
135.99/136.69 c 2770 constraints of type <knapsack>
135.99/136.69 c 902 constraints of type <setppc>
135.99/136.69 c 758 constraints of type <linear>
135.99/136.69 c 2291 constraints of type <logicor>
135.99/136.69 c transformed objective value is always integral (scale: 1024)
135.99/136.69 c Presolving Time: 1.28
136.09/136.79 c transformed 11/11 original solutions to the transformed problem space
136.09/136.79 c
136.49/137.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
136.49/137.13 c 137s| 1 | 0 |983485 | - | 296M | 0 | 16k|6721 |5008 | 0 | 0 |4723 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
136.88/137.58 c 138s| 1 | 0 |984605 | - | 297M | 0 | 16k|6721 |5170 | 162 | 1 |4723 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
137.58/138.28 c 138s| 1 | 0 |990225 | - | 297M | 0 | 16k|6722 |5331 | 323 | 2 |4724 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
137.98/138.61 c 139s| 1 | 0 |990909 | - | 298M | 0 | 16k|6725 |5489 | 481 | 3 |4727 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
138.48/139.13 c 139s| 1 | 0 |991492 | - | 298M | 0 | 16k|6725 |5666 | 658 | 4 |4727 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
138.88/139.52 c 140s| 1 | 0 |992240 | - | 300M | 0 | 16k|6726 |5854 | 846 | 5 |4728 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
139.48/140.18 c 140s| 1 | 0 |993036 | - | 302M | 0 | 16k|6726 |6023 |1015 | 6 |4728 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
139.87/140.54 c 141s| 1 | 0 |993868 | - | 302M | 0 | 16k|6728 |6176 |1168 | 7 |4730 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
140.57/141.21 c 141s| 1 | 0 |994556 | - | 304M | 0 | 16k|6731 |6351 |1343 | 8 |4733 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
141.17/141.89 c 142s| 1 | 0 |995339 | - | 305M | 0 | 16k|6733 |6515 |1507 | 9 |4735 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
142.37/143.05 c 143s| 1 | 0 |997740 | - | 306M | 0 | 16k|6737 |6692 |1684 | 10 |4739 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
142.56/143.29 c 143s| 1 | 0 |998748 | - | 308M | 0 | 16k|6741 |6871 |1863 | 11 |4743 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
144.65/145.39 c 145s| 1 | 2 | 1016k| - | 308M | 0 | 16k|6742 |6871 |1863 | 11 |4745 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
151.82/152.57 c 153s| 100 | 97 | 1086k| 346.6 | 311M | 32 | 16k|6953 |6976 |2756 | 1 |4975 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
153.91/154.63 c 155s| 200 | 195 | 1089k| 336.5 | 313M | 96 | 16k|7014 |6999 |2780 | 1 |5039 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
161.68/162.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
161.68/162.46 c 162s| 300 | 291 | 1116k| 334.5 | 315M | 137 | 16k|7036 |6999 |2851 | 1 |5070 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
164.07/164.85 c 165s| 400 | 387 | 1131k| 328.9 | 315M | 149 | 16k|7028 |7000 |3093 | 1 |5078 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
166.36/167.15 c 167s| 500 | 475 | 1139k| 321.5 | 316M | 153 | 16k|7218 |7000 |3094 | 1 |5311 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
169.44/170.20 c 170s| 600 | 569 | 1158k| 318.0 | 319M | 156 | 16k|7335 |7000 |3215 | 1 |5493 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
170.83/171.68 c 172s| 700 | 669 | 1163k| 310.5 | 319M | 157 | 16k|7356 |7000 |3215 | 1 |5547 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
172.33/173.18 c 173s| 800 | 769 | 1166k| 303.1 | 320M | 157 | 16k|7372 |7000 |3215 | 1 |5580 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
174.72/175.57 c 176s| 900 | 853 | 1180k| 298.8 | 321M | 157 | 16k|7390 |7000 |3235 | 1 |5661 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
176.51/177.30 c 177s| 1000 | 943 | 1188k| 293.1 | 322M | 158 | 16k|7383 |7000 |3267 | 1 |5698 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
178.30/179.16 c 179s| 1100 | 1043 | 1195k| 287.7 | 322M | 159 | 16k|7394 |7000 |3267 | 1 |5757 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
181.19/182.10 c 182s| 1200 | 1131 | 1207k| 283.6 | 326M | 163 | 16k|7391 |7026 |3354 | 0 |5853 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
184.87/185.78 c 186s| 1300 | 1229 | 1239k| 284.4 | 326M | 163 | 16k|7392 |7007 |3425 | 1 |5921 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
187.95/188.88 c 189s| 1400 | 1325 | 1250k| 280.5 | 326M | 163 | 16k|7459 |7010 |3475 | 2 |6088 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
190.94/191.82 c 192s| 1500 | 1417 | 1259k| 276.2 | 329M | 163 | 16k|7573 |7010 |3562 | 1 |6393 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
194.32/195.25 c 195s| 1600 | 1517 | 1274k| 273.5 | 332M | 163 | 16k|7583 |7018 |3641 | 1 |6520 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
197.31/198.24 c 198s| 1700 | 1599 | 1288k| 270.6 | 335M | 163 | 16k|7624 |7012 |3749 | 1 |6663 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
200.49/201.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.49/201.44 c 201s| 1800 | 1689 | 1298k| 266.8 | 337M | 163 | 16k|7790 |7001 |3822 | 1 |6962 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
203.48/204.49 c 204s| 1900 | 1773 | 1311k| 264.1 | 337M | 163 | 16k|7840 |7009 |3917 | 1 |7202 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
206.87/207.83 c 208s| 2000 | 1863 | 1336k| 263.7 | 338M | 163 | 16k|7858 |7011 |4001 | 1 |7404 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
209.85/210.83 c 211s| 2100 | 1951 | 1357k| 262.7 | 340M | 163 | 16k|7893 |7005 |4081 | 2 |7574 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
212.15/213.11 c 213s| 2200 | 2039 | 1366k| 259.3 | 341M | 163 | 16k|8021 | 0 |4167 | 0 |7841 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
214.23/215.20 c 215s| 2300 | 2119 | 1372k| 255.6 | 343M | 163 | 16k|8108 |7013 |4235 | 1 |8024 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
217.02/218.01 c 218s| 2400 | 2219 | 1383k| 252.8 | 345M | 167 | 16k|8401 |7007 |4321 | 1 |8529 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
220.11/221.16 c 221s| 2500 | 2311 | 1396k| 250.6 | 346M | 167 | 16k|9022 |7001 |4401 | 1 |9244 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
223.39/224.44 c 224s| 2600 | 2407 | 1414k| 249.2 | 347M | 167 | 16k|9003 |7000 |4496 | 1 |9387 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
226.08/227.15 c 227s| 2700 | 2505 | 1419k| 245.7 | 349M | 167 | 16k|9152 |7016 |4607 | 1 |9704 | 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
229.36/230.46 c 230s| 2800 | 2591 | 1433k| 243.9 | 349M | 168 | 16k|9291 |7012 |4693 | 3 | 10k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
232.54/233.61 c 234s| 2900 | 2689 | 1448k| 242.4 | 349M | 168 | 16k|9333 |7015 |4791 | 1 | 10k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
234.73/235.88 c 236s| 3000 | 2781 | 1455k| 239.5 | 352M | 168 | 16k|9509 |7012 |4856 | 1 | 10k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
237.92/239.03 c 239s| 3100 | 2879 | 1469k| 237.8 | 352M | 168 | 16k|9608 |7019 |4957 | 1 | 10k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
240.60/241.72 c 242s| 3200 | 2979 | 1484k| 236.3 | 353M | 168 | 16k|9844 |7016 |5060 | 1 | 11k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
243.29/244.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
243.29/244.48 c 244s| 3300 | 3079 | 1496k| 234.5 | 355M | 168 | 16k|9877 |7019 |5165 | 1 | 11k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
246.48/247.69 c 248s| 3400 | 3179 | 1504k| 232.0 | 357M | 168 | 16k|9960 |7022 |5301 | 1 | 11k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
249.46/250.64 c 251s| 3500 | 3269 | 1510k| 229.3 | 360M | 168 | 16k| 10k|7003 |5397 | 1 | 12k| 0 | 4.065280e+05 | 4.352000e+05 | 7.05%| unknown
250.06/251.25 o 434176
250.06/251.25 c L 251s| 3516 | 3285 | 1511k| 228.9 |crossove| 168 | 16k| 10k|7024 |5422 | 2 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
252.26/253.44 c 253s| 3600 | 3365 | 1522k| 227.7 | 361M | 168 | 16k| 10k|7018 |5523 | 1 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
254.35/255.50 c 255s| 3700 | 3457 | 1528k| 225.1 | 361M | 168 | 16k| 10k|7022 |5666 | 1 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
258.62/259.81 c 260s| 3800 | 3551 | 1539k| 223.4 | 363M | 168 | 16k| 10k|7028 |5787 | 1 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
261.81/263.05 c 263s| 3900 | 3649 | 1555k| 222.5 | 365M | 168 | 16k| 10k|7027 |5919 | 1 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
265.09/266.37 c 266s| 4000 | 3747 | 1569k| 221.2 | 367M | 168 | 16k| 10k|7024 |6066 | 1 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
269.07/270.34 c 270s| 4100 | 3845 | 1588k| 220.8 | 368M | 168 | 16k| 10k|7018 |6200 | 1 | 12k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
271.16/272.43 c 272s| 4200 | 3937 | 1592k| 218.3 | 370M | 168 | 16k| 10k|7004 |6329 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
273.36/274.68 c 275s| 4300 | 4037 | 1598k| 216.1 | 371M | 168 | 16k| 10k|7029 |6485 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
275.54/276.86 c 277s| 4400 | 4135 | 1603k| 213.9 | 372M | 168 | 16k| 10k|7022 |6644 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
278.43/279.73 c 280s| 4500 | 4233 | 1612k| 212.1 | 372M | 168 | 16k| 10k|7030 |6794 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
280.92/282.29 c 282s| 4600 | 4331 | 1616k| 210.0 | 374M | 168 | 16k| 10k|7002 |6927 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
283.61/284.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
283.61/284.94 c 285s| 4700 | 4428 | 1624k| 208.3 | 376M | 168 | 16k| 10k|7002 |7076 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
286.59/287.91 c 288s| 4800 | 4524 | 1635k| 206.9 | 377M | 168 | 16k| 10k|7002 |7234 | 1 | 13k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
289.88/291.27 c 291s| 4900 | 4624 | 1650k| 206.3 | 378M | 168 | 16k| 10k|7028 |7392 | 1 | 14k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
292.87/294.27 c 294s| 5000 | 4724 | 1664k| 205.4 | 378M | 168 | 16k| 10k|7026 |7543 | 1 | 14k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
298.65/300.00 c 300s| 5100 | 4824 | 1691k| 206.1 | 379M | 171 | 16k| 10k|7001 |7698 | 1 | 14k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
301.53/302.99 c 303s| 5200 | 4924 | 1697k| 204.3 | 381M | 171 | 16k| 10k|7027 |7878 | 1 | 14k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
305.51/306.95 c 307s| 5300 | 5024 | 1711k| 203.6 | 384M | 171 | 16k| 10k|7032 |8079 | 2 | 15k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
308.50/309.96 c 310s| 5400 | 5124 | 1720k| 202.2 | 386M | 171 | 16k| 10k|7005 |8247 | 1 | 15k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
311.59/313.06 c 313s| 5500 | 5224 | 1732k| 201.2 | 387M | 171 | 16k| 10k|7031 |8452 | 1 | 15k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
314.37/315.81 c 316s| 5600 | 5324 | 1735k| 199.3 | 388M | 172 | 16k| 10k|7037 |8519 | 2 | 15k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
317.56/319.00 c 319s| 5700 | 5424 | 1745k| 198.1 | 390M | 177 | 16k| 10k|7037 |8544 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
319.25/320.76 c 321s| 5800 | 5524 | 1746k| 196.0 | 391M | 179 | 16k| 10k|7035 |8555 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
321.84/323.35 c 323s| 5900 | 5624 | 1750k| 194.2 | 391M | 181 | 16k| 10k|7035 |8590 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
324.82/326.39 c 326s| 6000 | 5724 | 1753k| 192.4 | 394M | 181 | 16k| 10k|7023 |8634 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
327.21/328.76 c 329s| 6100 | 5824 | 1761k| 191.1 | 394M | 181 | 16k| 10k|7039 |8657 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
329.31/330.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
329.31/330.87 c 331s| 6200 | 5924 | 1763k| 189.3 | 396M | 181 | 16k| 10k|7035 |8679 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
339.07/340.65 c 341s| 6300 | 6024 | 1776k| 188.6 | 396M | 182 | 16k| 10k|7038 |8710 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
340.66/342.26 c 342s| 6400 | 6124 | 1778k| 186.8 | 396M | 184 | 16k| 10k|7039 |8733 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
342.06/343.69 c 344s| 6500 | 6224 | 1780k| 185.0 | 397M | 193 | 16k| 10k|7040 |8755 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
343.46/345.01 c 345s| 6600 | 6324 | 1782k| 183.3 | 397M | 201 | 16k| 10k|7040 |8755 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
344.95/346.52 c 347s| 6700 | 6424 | 1788k| 182.0 | 397M | 206 | 16k| 10k|7041 |8758 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
347.24/348.83 c 349s| 6800 | 6524 | 1789k| 180.3 | 398M | 211 | 16k| 10k|7040 |8758 | 1 | 16k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
348.55/350.11 c 350s| 6900 | 6624 | 1791k| 178.6 | 400M | 215 | 16k| 10k|7040 |8758 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
349.54/351.13 c 351s| 7000 | 6722 | 1792k| 176.9 | 401M | 217 | 16k| 10k|7040 |8758 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
351.23/352.81 c 353s| 7100 | 6822 | 1800k| 176.0 | 401M | 217 | 16k| 10k|7040 |8764 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
352.43/354.04 c 354s| 7200 | 6922 | 1802k| 174.4 | 401M | 219 | 16k| 10k|7040 |8769 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
353.92/355.52 c 356s| 7300 | 7020 | 1806k| 173.1 | 402M | 226 | 16k| 10k|7040 |8774 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
355.22/356.85 c 357s| 7400 | 7120 | 1808k| 171.6 | 402M | 226 | 16k| 10k|7040 |8780 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
356.31/357.95 c 358s| 7500 | 7220 | 1809k| 170.0 | 403M | 244 | 16k| 10k|7040 |8780 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
358.10/359.79 c 360s| 7600 | 7320 | 1816k| 169.1 | 405M | 244 | 16k| 10k|7040 |8794 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
359.50/361.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
359.50/361.16 c 361s| 7700 | 7420 | 1822k| 168.1 | 405M | 246 | 16k| 10k|7040 |8794 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
360.50/362.18 c 362s| 7800 | 7518 | 1824k| 166.7 | 406M | 260 | 16k| 10k|7040 |8794 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
361.79/363.42 c 363s| 7900 | 7618 | 1826k| 165.3 | 406M | 264 | 16k| 10k|7040 |8794 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
363.19/364.80 c 365s| 8000 | 7718 | 1829k| 164.1 | 406M | 266 | 16k| 10k|7040 |8794 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
364.49/366.17 c 366s| 8100 | 7818 | 1831k| 162.8 | 407M | 266 | 16k| 10k|7040 |8802 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
365.98/367.69 c 368s| 8200 | 7918 | 1834k| 161.6 | 408M | 266 | 16k| 10k|7040 |8802 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
367.57/369.22 c 369s| 8300 | 8018 | 1836k| 160.4 | 410M | 266 | 16k| 10k|7040 |8802 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
369.86/371.57 c 372s| 8400 | 8114 | 1848k| 160.0 | 410M | 266 | 16k| 10k|7040 |8812 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
371.96/373.66 c 374s| 8500 | 8214 | 1861k| 159.7 | 410M | 266 | 16k| 10k|7040 |8820 | 1 | 17k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
373.75/375.47 c 375s| 8600 | 8314 | 1867k| 158.8 | 411M | 266 | 16k| 10k|7040 |8820 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
375.64/377.39 c 377s| 8700 | 8402 | 1874k| 158.1 | 411M | 266 | 16k| 10k|7040 |8857 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
379.02/380.70 c 381s| 8800 | 8496 | 1883k| 157.5 | 412M | 266 | 16k| 10k|7040 |8906 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
381.51/383.26 c 383s| 8900 | 8596 | 1896k| 157.3 | 416M | 266 | 16k| 10k|7041 |8951 | 2 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
384.10/385.83 c 386s| 9000 | 8684 | 1908k| 157.0 | 418M | 266 | 16k| 10k|7053 |9053 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
386.50/388.22 c 388s| 9100 | 8784 | 1925k| 157.1 | 420M | 266 | 16k| 10k|7042 |9062 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
388.59/390.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
388.59/390.33 c 390s| 9200 | 8884 | 1933k| 156.5 | 420M | 266 | 16k| 10k|7042 |9087 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
390.98/392.77 c 393s| 9300 | 8980 | 1946k| 156.2 | 421M | 266 | 16k| 10k|7042 |9140 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
392.88/394.61 c 395s| 9400 | 9080 | 1955k| 155.7 | 423M | 266 | 16k| 10k|7042 |9140 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
394.17/395.97 c 396s| 9500 | 9180 | 1957k| 154.7 | 423M | 266 | 16k| 10k|7042 |9140 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
396.56/398.39 c 398s| 9600 | 9277 | 1966k| 154.1 | 425M | 266 | 16k| 10k|7042 |9216 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
397.95/399.77 c 400s| 9700 | 9375 | 1970k| 153.2 | 426M | 266 | 16k| 10k|7042 |9216 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
399.45/401.23 c 401s| 9800 | 9475 | 1973k| 152.2 | 426M | 266 | 16k| 10k|7042 |9216 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
400.74/402.52 c 403s| 9900 | 9575 | 1975k| 151.2 | 428M | 266 | 16k| 10k|7042 |9216 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
402.04/403.87 c 404s| 10000 | 9675 | 1979k| 150.3 | 428M | 266 | 16k| 10k|7042 |9216 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
403.53/405.32 c 405s| 10100 | 9775 | 1983k| 149.5 | 428M | 266 | 16k| 10k|7042 |9216 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
405.63/407.45 c 407s| 10200 | 9875 | 1987k| 148.7 | 431M | 266 | 16k| 10k|7042 |9267 | 1 | 18k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
407.62/409.42 c 409s| 10300 | 9975 | 1997k| 148.3 | 431M | 266 | 16k| 10k|7042 |9267 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
408.92/410.76 c 411s| 10400 | 10067 | 1999k| 147.3 | 431M | 266 | 16k| 10k|7042 |9267 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
410.81/412.67 c 413s| 10500 | 10165 | 2006k| 146.8 | 432M | 266 | 16k| 10k|7042 |9307 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
412.11/413.93 c 414s| 10600 | 10265 | 2008k| 145.8 | 433M | 266 | 16k| 10k|7042 |9307 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
413.80/415.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
413.80/415.60 c 416s| 10700 | 10363 | 2014k| 145.2 | 434M | 266 | 16k| 10k|7042 |9307 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
415.20/417.03 c 417s| 10800 | 10461 | 2018k| 144.5 | 434M | 266 | 16k| 10k|7042 |9307 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
418.08/419.94 c 420s| 10900 | 10557 | 2024k| 143.8 | 434M | 266 | 16k| 10k|7042 |9350 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
420.68/422.59 c 423s| 11000 | 10651 | 2039k| 143.9 | 436M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
422.07/423.99 c 424s| 11100 | 10751 | 2043k| 143.1 | 436M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
423.57/425.46 c 425s| 11200 | 10849 | 2045k| 142.3 | 437M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
424.86/426.76 c 427s| 11300 | 10943 | 2048k| 141.4 | 438M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
426.26/428.10 c 428s| 11400 | 11039 | 2051k| 140.7 | 438M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
428.05/429.99 c 430s| 11500 | 11137 | 2061k| 140.4 | 440M | 266 | 16k| 10k|7042 |9385 | 2 | 19k| 0 | 4.065280e+05 | 4.341760e+05 | 6.80%| unknown
429.74/431.64 o 433152
429.74/431.64 c d 432s| 11587 | 10751 | 2068k| 140.0 |fracdivi| 266 | 16k| 10k|7042 | 0 | 1 | 19k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
429.94/431.89 c 432s| 11600 | 10764 | 2070k| 140.1 | 440M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
431.54/433.41 c 433s| 11700 | 10864 | 2072k| 139.3 | 440M | 266 | 16k| 10k|7042 |9385 | 1 | 19k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
433.14/435.05 c 435s| 11800 | 10964 | 2076k| 138.6 | 440M | 266 | 16k| 10k|7042 |9385 | 1 | 20k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
434.92/436.87 c 437s| 11900 | 11064 | 2079k| 137.8 | 440M | 266 | 16k| 11k|7042 |9385 | 1 | 20k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
437.22/439.14 c 439s| 12000 | 11164 | 2088k| 137.5 | 441M | 266 | 16k| 10k|7042 |9385 | 1 | 20k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
439.11/441.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
439.11/441.05 c 441s| 12100 | 11260 | 2094k| 137.0 | 441M | 266 | 16k| 11k|7042 |9385 | 1 | 20k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
441.00/443.00 c 443s| 12200 | 11360 | 2099k| 136.4 | 442M | 266 | 16k| 11k|7042 |9385 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
442.59/444.55 c 445s| 12300 | 11435 | 2103k| 135.8 | 444M | 266 | 16k| 11k|7042 |9413 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
444.19/446.13 c 446s| 12400 | 11535 | 2105k| 135.1 | 444M | 266 | 16k| 11k|7042 |9413 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
446.38/448.33 c 448s| 12500 | 11633 | 2112k| 134.6 | 445M | 266 | 16k| 11k|7044 |9442 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
448.47/450.44 c 450s| 12600 | 11727 | 2120k| 134.2 | 445M | 266 | 16k| 11k|7044 |9450 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
450.56/452.58 c 453s| 12700 | 11825 | 2128k| 133.9 | 445M | 266 | 16k| 11k|7044 |9479 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
452.36/454.33 c 454s| 12800 | 11923 | 2131k| 133.2 | 447M | 274 | 16k| 11k|7044 |9485 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
453.65/455.65 c 456s| 12900 | 12023 | 2133k| 132.5 | 447M | 277 | 16k| 11k|7044 |9485 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
455.46/457.47 c 457s| 13000 | 12110 | 2136k| 131.9 | 448M | 277 | 16k| 11k|7044 |9489 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
457.65/459.67 c 460s| 13100 | 12210 | 2144k| 131.6 | 449M | 277 | 16k| 11k|7044 |9497 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
459.44/461.40 c 461s| 13200 | 12292 | 2149k| 131.1 | 449M | 277 | 16k| 10k|7044 |9547 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
461.64/463.61 c 464s| 13300 | 12392 | 2159k| 130.9 | 451M | 277 | 16k| 10k|7044 |9547 | 1 | 21k| 0 | 4.065280e+05 | 4.331520e+05 | 6.55%| unknown
461.93/463.94 o 432128
461.93/463.94 c d 464s| 13302 | 11786 | 2163k| 131.1 |fracdivi| 277 | 16k| 10k|7044 | 0 | 1 | 21k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
463.83/465.89 c 466s| 13400 | 11884 | 2174k| 131.0 | 451M | 277 | 16k| 10k|7044 |9547 | 1 | 21k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
465.62/467.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
465.62/467.68 c 468s| 13500 | 11982 | 2178k| 130.4 | 451M | 277 | 16k| 11k|7044 |9547 | 1 | 21k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
469.71/471.75 c 472s| 13600 | 12082 | 2185k| 130.1 | 451M | 277 | 16k| 10k|7028 |9571 | 1 | 22k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
471.70/473.76 c 474s| 13700 | 12166 | 2194k| 129.8 | 451M | 277 | 16k| 11k|7044 |9586 | 1 | 22k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
473.30/475.33 c 475s| 13800 | 12266 | 2198k| 129.3 | 451M | 277 | 16k| 11k|7044 |9586 | 1 | 22k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
475.29/477.31 c 477s| 13900 | 12364 | 2205k| 129.0 | 451M | 277 | 16k| 11k|7044 |9586 | 1 | 22k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
478.88/480.98 c 481s| 14000 | 12464 | 2210k| 128.5 | 452M | 282 | 16k| 11k|7044 |9586 | 1 | 22k| 0 | 4.065280e+05 | 4.321280e+05 | 6.30%| unknown
481.17/483.24 o 431104
481.17/483.24 c d 483s| 14073 | 11889 | 2227k| 128.9 |veclendi| 287 | 16k| 10k|7044 | 0 | 1 | 22k| 0 | 4.065280e+05 | 4.311040e+05 | 6.05%| unknown
481.57/483.61 c 484s| 14100 | 11916 | 2227k| 128.7 | 454M | 287 | 16k| 10k|7044 |9628 | 1 | 22k| 0 | 4.065280e+05 | 4.311040e+05 | 6.05%| unknown
483.46/485.53 c 486s| 14200 | 12016 | 2232k| 128.2 | 454M | 295 | 16k| 10k|7044 |9628 | 1 | 22k| 0 | 4.065280e+05 | 4.311040e+05 | 6.05%| unknown
485.65/487.75 c 488s| 14300 | 12110 | 2239k| 127.9 | 454M | 297 | 16k| 10k|7044 |9687 | 1 | 22k| 0 | 4.065280e+05 | 4.311040e+05 | 6.05%| unknown
487.55/489.61 c 490s| 14400 | 12210 | 2245k| 127.5 | 454M | 299 | 16k| 10k|7044 |9687 | 1 | 22k| 0 | 4.065280e+05 | 4.311040e+05 | 6.05%| unknown
488.54/490.64 o 430080
488.54/490.64 c d 491s| 14450 | 11343 | 2248k| 127.3 |conflict| 302 | 16k| 10k|7044 | 0 | 1 | 23k| 0 | 4.065280e+05 | 4.300800e+05 | 5.79%| unknown
489.44/491.54 c 492s| 14500 | 11379 | 2251k| 127.1 | 455M | 302 | 16k| 10k|7044 |9773 | 1 | 23k| 0 | 4.065280e+05 | 4.300800e+05 | 5.79%| unknown
490.94/493.01 c 493s| 14600 | 11477 | 2253k| 126.5 | 455M | 305 | 16k| 10k|7044 |9773 | 1 | 23k| 0 | 4.065280e+05 | 4.300800e+05 | 5.79%| unknown
492.73/494.88 c 495s| 14700 | 11575 | 2257k| 126.1 | 456M | 311 | 16k| 10k|7044 |9773 | 1 | 23k| 0 | 4.065280e+05 | 4.300800e+05 | 5.79%| unknown
495.42/497.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
495.42/497.59 c 498s| 14800 | 11671 | 2275k| 126.3 | 456M | 313 | 16k| 10k|7044 |9799 | 1 | 23k| 0 | 4.065280e+05 | 4.300800e+05 | 5.79%| unknown
496.51/498.66 o 429056
496.51/498.66 c d 499s| 14851 | 10672 | 2277k| 126.1 |veclendi| 316 | 16k| 11k|7044 | 0 | 1 | 23k| 0 | 4.065280e+05 | 4.290560e+05 | 5.54%| unknown
497.11/499.24 c 499s| 14900 | 10717 | 2277k| 125.8 | 456M | 330 | 16k| 11k|7044 |9799 | 1 | 23k| 0 | 4.065280e+05 | 4.290560e+05 | 5.54%| unknown
498.41/500.56 c 501s| 15000 | 10815 | 2280k| 125.2 | 456M | 359 | 16k| 11k|7044 |9799 | 1 | 23k| 0 | 4.065280e+05 | 4.290560e+05 | 5.54%| unknown
499.30/501.49 o 425984
499.30/501.49 c L 501s| 15051 | 7734 | 2281k| 124.9 |crossove| 372 | 16k| 11k|7044 |9799 | 1 | 23k| 0 | 4.065280e+05 | 4.259840e+05 | 4.79%| unknown
500.30/502.49 c 502s| 15100 | 7766 | 2285k| 124.8 | 456M | 372 | 16k| 10k|7044 |9843 | 1 | 23k| 0 | 4.065280e+05 | 4.259840e+05 | 4.79%| unknown
501.10/503.22 o 424960
501.10/503.22 c d 503s| 15130 | 6568 | 2288k| 124.7 |veclendi| 372 | 16k| 10k|7044 | 0 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
503.00/505.18 c 505s| 15200 | 6617 | 2295k| 124.7 | 458M | 372 | 16k| 10k|7054 |9941 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
504.78/506.92 c 507s| 15300 | 6687 | 2300k| 124.3 | 458M | 372 | 16k| 11k|7043 |9943 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
505.78/507.91 c 508s| 15400 | 6720 | 2301k| 123.6 | 458M | 372 | 16k| 11k|7043 |9943 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
506.78/508.90 c 509s| 15500 | 6820 | 2301k| 123.0 | 458M | 399 | 16k| 11k|7043 |9943 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
507.67/509.84 c 510s| 15600 | 6916 | 2301k| 122.3 | 458M | 497 | 16k| 11k|7043 |9943 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
508.57/510.78 c 511s| 15700 | 7014 | 2301k| 121.6 | 458M | 596 | 16k| 11k|7043 |9943 | 1 | 23k| 0 | 4.065280e+05 | 4.249600e+05 | 4.53%| unknown
508.97/511.16 o 423936
508.97/511.16 c d 511s| 15726 | 5671 | 2302k| 121.5 |veclendi| 621 | 16k| 11k|7043 | 0 | 1 | 23k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
510.16/512.37 c 512s| 15800 | 5694 | 2305k| 121.2 | 458M | 621 | 16k| 11k|7062 |9972 | 1 | 23k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
512.45/514.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
512.45/514.64 c 515s| 15900 | 5737 | 2314k| 121.0 | 458M | 621 | 16k| 11k|7055 | 10k| 1 | 24k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
515.24/517.41 c 517s| 16000 | 5821 | 2329k| 121.2 | 458M | 621 | 16k| 11k|7034 | 10k| 1 | 24k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
517.63/519.82 c 520s| 16100 | 5863 | 2334k| 120.8 | 459M | 621 | 16k| 11k| 0 | 10k| 0 | 24k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
519.93/522.12 c 522s| 16200 | 5935 | 2345k| 120.8 | 459M | 621 | 16k| 11k|7043 | 10k| 1 | 25k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
522.02/524.23 c 524s| 16300 | 5964 | 2356k| 120.7 | 460M | 621 | 16k| 11k|7052 | 10k| 1 | 25k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
523.82/526.06 c 526s| 16400 | 6050 | 2359k| 120.2 | 460M | 621 | 16k| 11k|7057 | 10k| 1 | 25k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
525.60/527.87 c 528s| 16500 | 6142 | 2361k| 119.7 | 461M | 621 | 16k| 11k|7040 | 10k| 0 | 25k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
527.50/529.78 c 530s| 16600 | 6184 | 2366k| 119.4 | 461M | 621 | 16k| 11k|7040 | 10k| 0 | 25k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
530.09/532.38 c 532s| 16700 | 6236 | 2374k| 119.2 | 461M | 621 | 16k| 11k|7057 | 10k| 1 | 25k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
531.98/534.29 c 534s| 16800 | 6285 | 2378k| 118.7 | 461M | 621 | 16k| 11k|7044 | 10k| 0 | 26k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
533.08/535.34 c 535s| 16900 | 6355 | 2379k| 118.2 | 461M | 621 | 16k| 12k|7044 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
534.17/536.44 c 536s| 17000 | 6449 | 2379k| 117.6 | 461M | 621 | 16k| 12k|7044 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
535.07/537.39 c 537s| 17100 | 6545 | 2379k| 117.1 | 461M | 621 | 16k| 12k|7044 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
536.07/538.39 c 538s| 17200 | 6639 | 2380k| 116.5 | 461M | 621 | 16k| 12k|7044 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
537.06/539.36 c 539s| 17300 | 6739 | 2380k| 115.9 | 462M | 650 | 16k| 12k|7044 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.239360e+05 | 4.28%| unknown
537.46/539.72 o 422912
537.46/539.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
537.46/539.72 c d 540s| 17317 | 5716 | 2381k| 115.9 |guideddi| 666 | 16k| 12k|7044 | 0 | 1 | 26k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
538.56/540.87 c 541s| 17400 | 5789 | 2383k| 115.5 | 463M | 666 | 16k| 12k|7056 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
540.05/542.38 c 542s| 17500 | 5885 | 2385k| 115.0 | 463M | 666 | 16k| 12k|7057 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
541.85/544.16 c 544s| 17600 | 5970 | 2388k| 114.6 | 465M | 666 | 16k| 12k|7062 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
543.54/545.87 c 546s| 17700 | 6058 | 2392k| 114.2 | 467M | 666 | 16k| 12k|7066 | 10k| 1 | 26k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
545.04/547.37 c 547s| 17800 | 6146 | 2395k| 113.9 | 467M | 666 | 16k| 12k|7065 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
546.53/548.84 c 549s| 17900 | 6235 | 2398k| 113.5 | 467M | 666 | 16k| 12k|7062 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
548.52/550.85 c 551s| 18000 | 6325 | 2402k| 113.1 | 469M | 666 | 16k| 12k|7067 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
550.02/552.31 c 552s| 18100 | 6416 | 2403k| 112.6 | 469M | 666 | 16k| 12k|7068 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
551.01/553.35 c 553s| 18200 | 6516 | 2404k| 112.1 | 469M | 666 | 16k| 12k|7068 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
552.01/554.39 c 554s| 18300 | 6608 | 2404k| 111.6 | 469M | 666 | 16k| 12k|7068 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
553.10/555.41 c 555s| 18400 | 6696 | 2404k| 111.1 | 469M | 666 | 16k| 12k|7068 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
554.10/556.42 c 556s| 18500 | 6788 | 2404k| 110.6 | 469M | 666 | 16k| 12k|7068 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
555.10/557.40 c 557s| 18600 | 6886 | 2404k| 110.1 | 469M | 707 | 16k| 12k|7069 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
556.00/558.33 c 558s| 18700 | 6986 | 2405k| 109.6 | 469M | 807 | 16k| 12k|7069 | 10k| 1 | 27k| 0 | 4.065280e+05 | 4.229120e+05 | 4.03%| unknown
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: 63968 MiB (62031 MiB free)
memory of node 1: 64473 MiB (62642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432574-1721065232/watcher-4432574-1721065232 -o /tmp/evaluation-result-4432574-1721065232/solver-4432574-1721065232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814088 --watchdog 3760 pbscip -f HOME/instance-4432574-1721065232.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816220, runsolver pid=816217
[startup+0.100258 s]*
/proc/loadavg: 4.13 4.11 4.21 4/255 816231
/proc/meminfo: memFree=127607688/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=110912 memory=71664 CPUtime=0.09 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 14764 0 0 0 7 2 0 0 20 0 1 0 158689424 113573888 17916 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 27728 17916 3543 3540 0 15985 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110912 KiB
Current children cumulated memory: 71664 KiB
[startup+0.205626 s]*
/proc/loadavg: 4.13 4.11 4.21 4/254 816245
/proc/meminfo: memFree=127578592/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=149080 memory=107288 CPUtime=0.2 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 24681 0 0 0 16 4 0 0 20 0 1 0 158689424 152657920 26822 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 37270 26822 3670 3540 0 25527 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 149080 KiB
Current children cumulated memory: 107288 KiB
[startup+0.305589 s]*
/proc/loadavg: 4.13 4.11 4.21 6/254 816257
/proc/meminfo: memFree=127579660/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=145516 memory=103540 CPUtime=0.3 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 25704 0 0 0 26 4 0 0 20 0 1 0 158689424 149008384 25885 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 36379 25885 3734 3540 0 24636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145516 KiB
Current children cumulated memory: 103540 KiB
[startup+0.700212 s]
/proc/loadavg: 4.13 4.11 4.21 5/255 816277
/proc/meminfo: memFree=128442764/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=176324 memory=133908 CPUtime=0.68 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 32251 0 0 0 63 5 0 0 20 0 1 0 158689424 180555776 33477 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 44081 33477 3782 3540 0 32338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 176324 KiB
Current children cumulated memory: 133908 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 4.21 5/257 816323
/proc/meminfo: memFree=128302556/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=259668 memory=192820 CPUtime=1.48 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 50083 0 0 0 140 8 0 0 20 0 1 0 158689424 265900032 48205 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 64917 48205 4044 3540 0 53174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 259668 KiB
Current children cumulated memory: 192820 KiB
[startup+3.10555 s]
/proc/loadavg: 4.13 4.11 4.21 5/257 816325
/proc/meminfo: memFree=128114040/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=280420 memory=209636 CPUtime=3.08 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 53770 0 0 0 299 9 0 0 20 0 1 0 158689424 287150080 52409 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 70105 52409 4044 3540 0 58362 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 280420 KiB
Current children cumulated memory: 209636 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.11 4.21 5/257 816325
/proc/meminfo: memFree=128083576/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=303936 memory=230952 CPUtime=6.26 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 58617 0 0 0 617 9 0 0 20 0 1 0 158689424 311230464 57738 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 75984 57738 4044 3540 0 64241 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 303936 KiB
Current children cumulated memory: 230952 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.21 5/257 816326
/proc/meminfo: memFree=128001888/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=358448 memory=283160 CPUtime=12.63 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 71374 0 0 0 1252 11 0 0 20 0 1 0 158689424 367050752 70790 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 89612 70790 4170 3540 0 77869 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 358448 KiB
Current children cumulated memory: 283160 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.20 5/257 816328
/proc/meminfo: memFree=127941800/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=373596 memory=299616 CPUtime=25.38 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 82778 0 0 0 2525 13 0 0 20 0 1 0 158689424 382562304 74904 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 93399 74904 4170 3540 0 81656 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 373596 KiB
Current children cumulated memory: 299616 KiB
[startup+51.1058 s]
/proc/loadavg: 4.12 4.11 4.20 5/257 816331
/proc/meminfo: memFree=127822888/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=400860 memory=324308 CPUtime=50.87 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 89031 0 0 0 5073 14 0 0 20 0 1 0 158689424 410480640 81077 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 100215 81077 4170 3540 0 88472 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 400860 KiB
Current children cumulated memory: 324308 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.19 6/257 816342
/proc/meminfo: memFree=127719288/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=430204 memory=358888 CPUtime=101.84 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 97664 0 0 0 10168 16 0 0 20 0 1 0 158689424 440528896 89722 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 107551 89722 4186 3540 0 95808 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 430204 KiB
Current children cumulated memory: 358888 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.19 5/257 816353
/proc/meminfo: memFree=127678372/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=434960 memory=364928 CPUtime=161.58 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 99140 0 0 0 16142 16 0 0 20 0 1 0 158689424 445399040 91232 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 108740 91232 4186 3540 0 96997 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 434960 KiB
Current children cumulated memory: 364928 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.14 4.19 5/257 816365
/proc/meminfo: memFree=127652932/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=434960 memory=364928 CPUtime=221.3 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 99177 0 0 0 22114 16 0 0 20 0 1 0 158689424 445399040 91232 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 108740 91232 4186 3540 0 96997 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 434960 KiB
Current children cumulated memory: 364928 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.18 5/255 816376
/proc/meminfo: memFree=127514940/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=518960 memory=448720 CPUtime=281.02 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 295710 0 0 0 28017 85 0 0 20 0 1 0 158689424 531415040 112180 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 129740 112180 4186 3540 0 117997 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 518960 KiB
Current children cumulated memory: 448720 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.18 5/255 816386
/proc/meminfo: memFree=127425792/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=537752 memory=467820 CPUtime=340.76 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 310217 0 0 0 33988 88 0 0 20 0 1 0 158689424 550658048 116955 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 134438 116955 4186 3540 0 122695 0
Current children cumulated CPU time: 340.76 s
Current children cumulated vsize: 537752 KiB
Current children cumulated memory: 467820 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/255 816398
/proc/meminfo: memFree=127355816/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=569956 memory=502412 CPUtime=400.54 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 337462 0 0 0 39960 94 0 0 20 0 1 0 158689424 583634944 125603 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 142489 125603 4186 3540 0 130746 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 569956 KiB
Current children cumulated memory: 502412 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.17 5/255 816408
/proc/meminfo: memFree=127228316/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=602272 memory=541824 CPUtime=460.34 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 355468 0 0 0 45936 98 0 0 20 0 1 0 158689424 616726528 135456 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 150568 135456 4186 3540 0 138825 0
Current children cumulated CPU time: 460.34 s
Current children cumulated vsize: 602272 KiB
Current children cumulated memory: 541824 KiB
[startup+522.3 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816418
/proc/meminfo: memFree=127180412/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=615880 memory=556908 CPUtime=520.12 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368334 0 0 0 51907 105 0 0 20 0 1 0 158689424 630661120 139227 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 153970 139227 4186 3540 0 142227 0
Current children cumulated CPU time: 520.12 s
Current children cumulated vsize: 615880 KiB
Current children cumulated memory: 556908 KiB
[startup+559.326 s]
# the end of solver process 816220 was just reported to runsolver
# Child ended because it received signal 11 (SIGSEGV)
Child dumped core
# cumulated CPU time of all completed processes: user=555.317 s, system=1.6076 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.14 4.13 4.17 5/255 816419
/proc/meminfo: memFree=127178184/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=615880 memory=557652 CPUtime=535.37 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368511 0 0 0 53432 105 0 0 20 0 1 0 158689424 630661120 139413 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 153970 139413 4186 3540 0 142227 0
Current children cumulated CPU time: 535.37 s
Current children cumulated vsize: 615880 KiB
Current children cumulated memory: 557652 KiB
[startup+550.4 s]
/proc/loadavg: 4.19 4.14 4.17 5/255 816422
/proc/meminfo: memFree=127164900/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=548.12 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368952 0 0 0 54707 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 548.12 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB
[startup+553.6 s]
/proc/loadavg: 4.19 4.14 4.17 5/255 816423
/proc/meminfo: memFree=127153788/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=551.31 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368954 0 0 0 55026 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 551.31 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB
[startup+556.8 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816423
/proc/meminfo: memFree=127153144/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=554.5 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368954 0 0 0 55345 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 554.5 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB
[startup+558.4 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816423
/proc/meminfo: memFree=127152724/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=617892 memory=558916 CPUtime=556.09 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4194304 368954 0 0 0 55504 105 0 0 20 0 1 0 158689424 632721408 139729 134679101440 4194304 18693293 140721047056080 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 154473 139729 4186 3540 0 142730 0
Current children cumulated CPU time: 556.09 s
Current children cumulated vsize: 617892 KiB
Current children cumulated memory: 558916 KiB
[startup+558.8 s]
/proc/loadavg: 4.18 4.13 4.17 5/255 816423
/proc/meminfo: memFree=127152724/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=627956 memory=565544 CPUtime=556.39 cores=5,7
/proc/816220/stat : 816220 (pbscip) D 816217 816220 814075 0 -1 4195840 370651 0 0 0 55531 108 0 0 20 0 1 0 158689424 643026944 141386 134679101440 4194304 18693293 140721047056080 140721047052720 7308797 0 0 0 2 1 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 156989 141386 4186 3540 0 145246 0
Current children cumulated CPU time: 556.39 s
Current children cumulated vsize: 627956 KiB
Current children cumulated memory: 565544 KiB
[startup+559.2 s]
/proc/loadavg: 4.16 4.13 4.17 5/259 816430
/proc/meminfo: memFree=126895752/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=627956 memory=565544 CPUtime=556.79 cores=5,7
/proc/816220/stat : 816220 (pbscip) D 816217 816220 814075 0 -1 4195840 370651 0 0 0 55531 148 0 0 20 0 1 0 158689424 643026944 141386 134679101440 4194304 18693293 140721047056080 140721047052720 7308797 0 0 0 2 1 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 156989 141386 4186 3540 0 145246 0
Current children cumulated CPU time: 556.79 s
Current children cumulated vsize: 627956 KiB
Current children cumulated memory: 565544 KiB
[startup+559.3 s]
/proc/loadavg: 4.16 4.13 4.17 5/259 816430
/proc/meminfo: memFree=126895752/131524600 swapFree=131071996/131071996
[pid=816220] ppid=816217 vsize=627956 memory=565544 CPUtime=556.89 cores=5,7
/proc/816220/stat : 816220 (pbscip) R 816217 816220 814075 0 -1 4195840 370651 0 0 0 55531 158 0 0 20 0 1 0 158689424 643026944 141386 134679101440 4194304 18693293 140721047056080 140721047052720 7308797 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 56090624 140721047057412 140721047057511 140721047057511 140721047064526 0
/proc/816220/statm: 156989 141386 4186 3540 0 145246 0
Current children cumulated CPU time: 556.89 s
Current children cumulated vsize: 627956 KiB
Current children cumulated memory: 565544 KiB
Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 559.326
CPU time (s): 556.924
CPU user time (s): 555.317
CPU system time (s): 1.6076
CPU usage (%): 99.5707
Max. virtual memory (cumulated for all children) (KiB): 774704
Max. memory (cumulated for all children) (KiB): 679708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 555.317
system time used= 1.6076
maximum resident set size= 693688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370689
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= 69
involuntary context switches= 407
# summary of solver processes directly reported to runsolver:
# pid: 816220
# total CPU time (s): 556.924
# total CPU user time (s): 555.317
# total CPU system time (s): 1.6076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17304 second user time and 2.46196 second system time
The end