38.03/38.20 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4499317-1751395038.opb
38.03/38.20 c Solving mode: optimization
38.03/38.20 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
38.03/38.20 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
38.03/38.20 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
38.03/38.20 c presolving:
38.03/38.20 c (round 1, fast) 7 del vars, 1 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1111 clqs
38.03/38.20 c (round 2, fast) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1111 clqs
38.03/38.20 c (round 3, exhaustive) 7 del vars, 4971 del conss, 0 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1111 clqs
38.03/38.20 c (0.1s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
38.03/38.20 c (0.1s) probing aborted: 50/50 successive totally useless probings
38.03/38.20 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
38.03/38.20 c (1.3s) symmetry computation finished: 502 generators found (max: 1500, log10 of symmetry group size: 160.0) (symcode time: 1.19)
38.03/38.20 c dynamic symmetry handling statistics:
38.03/38.20 c orbitopal reduction: no components
38.03/38.20 c orbital reduction: no components
38.03/38.20 c lexicographic reduction: no permutations
38.03/38.20 c handled 1 out of 1 symmetry components
38.03/38.20 c (round 4, exhaustive) 455 del vars, 4971 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1110 clqs
38.03/38.20 c (round 5, fast) 456 del vars, 4972 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1110 clqs
38.03/38.20 c (round 6, medium) 702 del vars, 4972 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1206 clqs
38.03/38.20 c (round 7, fast) 703 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1205 clqs
38.03/38.20 c (round 8, medium) 739 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1205 clqs
38.03/38.20 c (round 9, medium) 808 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1205 clqs
38.03/38.20 c (round 10, medium) 856 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1205 clqs
38.03/38.20 c (round 11, medium) 898 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1204 clqs
38.03/38.20 c (round 12, medium) 911 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1203 clqs
38.03/38.20 c (round 13, medium) 915 del vars, 4973 del conss, 447 add conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 0 impls, 1203 clqs
38.03/38.20 c (2.0s) probing: 1000/4970 (20.1%) - 0 fixings, 0 aggregations, 38651 implications, 0 bound changes
38.03/38.20 c (2.3s) probing: 1425/4970 (28.7%) - 0 fixings, 0 aggregations, 59192 implications, 0 bound changes
38.03/38.20 c (2.3s) probing aborted: 1000/1000 successive useless probings
38.03/38.20 c presolving (14 rounds: 14 fast, 10 medium, 3 exhaustive):
38.03/38.20 c 915 deleted vars, 4973 deleted constraints, 447 added constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
38.03/38.20 c 0 implications, 43855 cliques
38.03/38.20 c presolved problem has 4063 variables (4063 bin, 0 int, 0 impl, 0 cont) and 968 constraints
38.03/38.20 c 448 constraints of type <knapsack>
38.03/38.20 c 73 constraints of type <setppc>
38.03/38.20 c 447 constraints of type <orbitope>
38.03/38.20 c transformed objective value is always integral (scale: 1)
38.03/38.20 c Presolving Time: 2.26
38.03/38.20 c
38.03/38.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.03/38.20 c 2.7s| 1 | 0 | 780 | - | 111M | 0 |4063 |1040 | 521 | 0 | 0 | 71 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.0s| 1 | 0 | 1789 | - | 114M | 0 |4063 |1042 | 537 | 16 | 1 | 73 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.0s| 1 | 0 | 1833 | - | 117M | 0 |4063 |1042 | 558 | 37 | 2 | 73 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.1s| 1 | 0 | 1925 | - | 118M | 0 |4063 |1042 | 580 | 59 | 3 | 73 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.2s| 1 | 0 | 2068 | - | 119M | 0 |4063 |1048 | 602 | 81 | 4 | 79 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.2s| 1 | 0 | 2141 | - | 124M | 0 |4063 |1050 | 620 | 99 | 5 | 81 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.3s| 1 | 0 | 2243 | - | 127M | 0 |4063 |1054 | 639 | 118 | 6 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.4s| 1 | 0 | 2334 | - | 129M | 0 |4063 |1054 | 659 | 138 | 7 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.5s| 1 | 0 | 2452 | - | 131M | 0 |4063 |1054 | 680 | 159 | 8 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.6s| 1 | 0 | 2511 | - | 132M | 0 |4063 |1054 | 701 | 180 | 9 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.6s| 1 | 0 | 2607 | - | 135M | 0 |4063 |1054 | 721 | 200 | 10 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 3.7s| 1 | 0 | 2788 | - | 139M | 0 |4063 |1055 | 746 | 225 | 11 | 86 | 0 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 4.3s| 1 | 2 | 5224 | - | 140M | 0 |4063 |1072 | 746 | 225 | 11 | 103 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 9.2s| 100 | 93 | 33045 | 307.4 | 144M | 31 |4063 |1378 | 597 | 519 | 1 | 414 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 10.7s| 200 | 122 | 45187 | 213.9 | 147M | 40 |4063 |1477 | 602 | 654 | 1 | 513 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.03/38.20 c 12.9s| 300 | 116 | 65664 | 210.9 | 147M | 40 |4063 |1501 | 604 | 801 | 0 | 538 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 14.8s| 400 | 139 | 82956 | 201.4 | 153M | 44 |4063 |1568 | 599 | 931 | 1 | 605 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 16.8s| 500 | 165 |101570 | 198.3 | 154M | 48 |4063 |1602 | 609 |1110 | 0 | 641 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 18.9s| 600 | 173 |121171 | 197.9 | 155M | 48 |4063 |1637 | 594 |1274 | 1 | 676 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 21.3s| 700 | 191 |146724 | 206.2 | 155M | 48 |4063 |1637 | 615 |1387 | 0 | 676 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 23.6s| 800 | 211 |168033 | 207.0 | 155M | 48 |4063 |1665 | 0 |1572 | 0 | 705 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 26.1s| 900 | 225 |192319 | 211.0 | 159M | 50 |4063 |1741 | 602 |1917 | 1 | 783 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 27.8s| 1000 | 240 |207661 | 205.2 | 160M | 50 |4063 |1764 | 614 |2123 | 1 | 807 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 29.6s| 1100 | 263 |224389 | 201.8 | 160M | 50 |4063 |1802 | 617 |2337 | 1 | 862 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 31.0s| 1200 | 276 |238438 | 196.7 | 161M | 50 |4063 |1883 | 610 |2456 | 1 | 944 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 33.3s| 1300 | 288 |259811 | 198.0 | 163M | 50 |4063 |1926 | 616 |2672 | 1 | 998 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 35.4s| 1400 | 297 |280698 | 198.8 | 165M | 50 |4063 |2002 | 597 |2834 | 1 |1081 | 12 | 7.000000e+00 | -- | Inf | unknown
38.03/38.20 c 36.9s| 1500 | 325 |294108 | 194.5 | 167M | 50 |4063 |2071 | 625 |2968 | 1 |1155 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 38.0s| 1600 | 337 |302889 | 187.8 | 168M | 50 |4063 |2176 | 625 |3099 | 1 |1263 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 38.8s| 1700 | 334 |309828 | 180.8 | 168M | 50 |4063 |2360 | 0 |3242 | 0 |1447 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.27/90.65 c 39.8s| 1800 | 346 |317968 | 175.3 | 169M | 57 |4063 |2445 | 628 |3384 | 1 |1532 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 40.6s| 1900 | 354 |324960 | 169.7 | 170M | 60 |4063 |2545 | 631 |3480 | 1 |1632 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 41.4s| 2000 | 356 |331896 | 164.7 | 171M | 60 |4063 |2626 | 631 |3579 | 0 |1720 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 42.4s| 2100 | 356 |339811 | 160.6 | 172M | 60 |4063 |2659 | 642 |3676 | 2 |1760 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 43.2s| 2200 | 363 |346392 | 156.3 | 172M | 60 |4063 |2776 | 613 |3803 | 0 |1892 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 44.5s| 2300 | 369 |358855 | 155.0 | 172M | 60 |4063 |2787 | 633 |4034 | 0 |1912 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 45.5s| 2400 | 375 |367960 | 152.3 | 173M | 60 |4063 |2880 | 0 |4141 | 0 |2007 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 46.3s| 2500 | 377 |375271 | 149.1 | 174M | 60 |4063 |2985 | 639 |4255 | 2 |2120 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 47.3s| 2600 | 385 |384058 | 146.8 | 175M | 60 |4063 |3033 | 626 |4354 | 1 |2169 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 48.5s| 2700 | 387 |394981 | 145.4 | 175M | 60 |4063 |3077 | 625 |4561 | 1 |2217 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 49.4s| 2800 | 394 |402207 | 142.8 | 175M | 60 |4063 |3213 | 0 |4723 | 0 |2362 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 50.3s| 2900 | 413 |410746 | 140.8 | 176M | 60 |4063 |3311 | 633 |4878 | 1 |2477 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 51.3s| 3000 | 408 |419251 | 138.9 | 176M | 60 |4063 |3416 | 643 |5058 | 2 |2592 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 52.3s| 3100 | 413 |427838 | 137.2 | 177M | 60 |4063 |3482 | 638 |5173 | 1 |2673 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 53.1s| 3200 | 414 |435065 | 135.2 | 177M | 60 |4063 |3586 | 0 |5213 | 0 |2787 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.27/90.65 c 53.9s| 3300 | 437 |441429 | 133.0 | 177M | 60 |4063 |3678 | 640 |5329 | 0 |2897 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 54.7s| 3400 | 433 |447562 | 130.9 | 178M | 60 |4063 |3792 | 637 |5393 | 1 |3026 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 55.5s| 3500 | 427 |453550 | 128.9 | 178M | 60 |4063 |3877 | 619 |5469 | 1 |3142 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 56.4s| 3600 | 437 |461846 | 127.6 | 178M | 60 |4063 |3902 | 640 |5607 | 2 |3208 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 57.3s| 3700 | 436 |469215 | 126.1 | 179M | 60 |4063 |3987 | 622 |5764 | 1 |3323 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 58.2s| 3800 | 438 |477940 | 125.1 | 179M | 60 |4063 |4062 | 0 |5830 | 0 |3403 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 59.1s| 3900 | 434 |485701 | 123.9 | 179M | 60 |4063 |4122 | 632 |5916 | 0 |3487 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 60.1s| 4000 | 441 |494359 | 123.0 | 179M | 60 |4063 |4181 | 626 |6048 | 1 |3577 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 61.2s| 4100 | 444 |504824 | 122.5 | 180M | 60 |4063 |4265 | 639 |6208 | 1 |3689 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 61.6s| 4200 | 444 |507962 | 120.3 | 180M | 60 |4063 |4402 | 0 |6231 | 0 |3853 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 62.9s| 4300 | 453 |520324 | 120.4 | 181M | 60 |4063 |4429 | 631 |6407 | 1 |4020 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 64.2s| 4400 | 459 |532614 | 120.5 | 181M | 60 |4063 |4416 | 0 |6564 | 0 |4080 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 64.9s| 4500 | 460 |539234 | 119.3 | 181M | 60 |4063 |4518 | 640 |6656 | 0 |4207 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 66.0s| 4600 | 456 |548825 | 118.8 | 181M | 60 |4063 |4539 | 628 |6761 | 0 |4282 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 67.2s| 4700 | 470 |561163 | 118.9 | 181M | 60 |4063 |4537 | 629 |6991 | 1 |4335 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.27/90.65 c 68.9s| 4800 | 474 |577293 | 119.7 | 182M | 60 |4063 |4587 | 0 |7324 | 0 |4447 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 70.0s| 4900 | 492 |588426 | 119.6 | 182M | 60 |4063 |4574 | 0 |7551 | 0 |4519 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 71.0s| 5000 | 512 |596519 | 118.8 | 182M | 60 |4063 |4644 | 643 |7744 | 1 |4648 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 72.0s| 5100 | 526 |605951 | 118.3 | 182M | 60 |4063 |4673 | 0 |7919 | 0 |4762 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 73.0s| 5200 | 531 |615835 | 117.9 | 182M | 60 |4063 |4734 | 642 |8045 | 2 |4851 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 73.9s| 5300 | 540 |624814 | 117.4 | 183M | 60 |4063 |4746 | 0 |8111 | 0 |4885 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 74.9s| 5400 | 543 |634733 | 117.1 | 183M | 60 |4063 |4819 | 636 |8210 | 1 |4975 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 75.9s| 5500 | 551 |644516 | 116.7 | 183M | 60 |4063 |4853 | 645 |8314 | 1 |5018 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 76.9s| 5600 | 545 |654674 | 116.5 | 183M | 60 |4063 |4877 | 650 |8394 | 1 |5075 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 78.5s| 5700 | 550 |671396 | 117.4 | 183M | 60 |4063 |4876 | 640 |8560 | 1 |5099 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 79.6s| 5800 | 557 |682763 | 117.3 | 183M | 60 |4063 |4906 | 626 |8673 | 1 |5176 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 80.6s| 5900 | 565 |691889 | 116.8 | 184M | 60 |4063 |4945 | 653 |8815 | 1 |5262 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 81.4s| 6000 | 564 |698757 | 116.0 | 184M | 60 |4063 |4852 | 651 |8862 | 0 |5372 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 82.2s| 6100 | 562 |706391 | 115.4 | 184M | 60 |4063 |4768 | 641 |8950 | 0 |5424 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 83.4s| 6200 | 575 |717014 | 115.2 | 184M | 60 |4063 |4690 | 628 |9109 | 0 |5508 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.27/90.65 c 84.5s| 6300 | 597 |728163 | 115.2 | 184M | 60 |4063 |4647 | 641 |9240 | 0 |5562 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 85.5s| 6400 | 618 |738825 | 115.1 | 184M | 60 |4063 |4592 | 0 |9366 | 0 |5591 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 86.6s| 6500 | 620 |749865 | 115.0 | 184M | 60 |4063 |4702 | 647 |9503 | 1 |5710 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 88.0s| 6600 | 610 |764648 | 115.5 | 184M | 60 |4063 |4733 | 649 |9670 | 0 |5758 | 12 | 7.000000e+00 | -- | Inf | unknown
90.27/90.65 c 89.1s| 6700 | 621 |775061 | 115.3 | 184M | 60 |4063 |4672 | 633 |9795 | 1 |5820 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 90.5s| 6800 | 618 |788757 | 115.6 | 185M | 60 |4063 |4616 | 635 |9971 | 1 |5845 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 91.4s| 6900 | 620 |796747 | 115.1 | 185M | 60 |4063 |4525 | 627 | 10k| 0 |5858 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 92.4s| 7000 | 620 |806760 | 114.9 | 185M | 60 |4063 |4479 | 628 | 10k| 1 |5933 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 93.6s| 7100 | 633 |818109 | 114.9 | 185M | 60 |4063 |4382 | 655 | 10k| 1 |6001 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 94.7s| 7200 | 635 |828817 | 114.8 | 185M | 60 |4063 |4335 | 636 | 10k| 0 |6036 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 95.7s| 7300 | 635 |838999 | 114.6 | 185M | 60 |4063 |4316 | 633 | 10k| 1 |6108 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 96.5s| 7400 | 645 |845684 | 113.9 | 185M | 60 |4063 |4370 | 634 | 10k| 1 |6186 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 97.6s| 7500 | 640 |857341 | 114.0 | 185M | 60 |4063 |4325 | 639 | 10k| 1 |6253 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 99.1s| 7600 | 644 |872728 | 114.5 | 185M | 60 |4063 |4265 | 638 | 10k| 1 |6266 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 100s| 7700 | 649 |883280 | 114.4 | 186M | 60 |4063 |4298 | 626 | 10k| 0 |6375 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.10/145.66 c 102s| 7800 | 660 |897814 | 114.8 | 186M | 60 |4063 |4219 | 646 | 11k| 1 |6392 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 103s| 7900 | 659 |910488 | 114.9 | 186M | 60 |4063 |4324 | 0 | 11k| 0 |6531 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 104s| 8000 | 666 |920066 | 114.7 | 186M | 60 |4063 |4379 | 639 | 11k| 0 |6650 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 105s| 8100 | 666 |931502 | 114.7 | 186M | 60 |4063 |4409 | 653 | 11k| 0 |6706 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 106s| 8200 | 679 |937864 | 114.1 | 186M | 60 |4063 |4495 | 637 | 11k| 1 |6880 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 107s| 8300 | 681 |945938 | 113.7 | 186M | 60 |4063 |4529 | 623 | 11k| 1 |6975 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 107s| 8400 | 685 |952316 | 113.1 | 186M | 60 |4063 |4561 | 0 | 11k| 0 |7067 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 108s| 8500 | 688 |960711 | 112.7 | 186M | 60 |4063 |4582 | 648 | 11k| 1 |7156 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 109s| 8600 | 687 |970712 | 112.6 | 187M | 60 |4063 |4681 | 645 | 11k| 1 |7362 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 110s| 8700 | 699 |976761 | 112.0 | 187M | 60 |4063 |4696 | 637 | 11k| 1 |7442 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 111s| 8800 | 715 |984704 | 111.6 | 187M | 60 |4063 |4664 | 634 | 12k| 1 |7518 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 112s| 8900 | 719 |994296 | 111.4 | 187M | 60 |4063 |4704 | 623 | 12k| 0 |7637 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 113s| 9000 | 719 | 1004k| 111.3 | 187M | 60 |4063 |4660 | 677 | 12k| 1 |7691 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 114s| 9100 | 725 | 1017k| 111.6 | 187M | 60 |4063 |4655 | 635 | 12k| 1 |7804 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 116s| 9200 | 737 | 1031k| 111.8 | 187M | 60 |4063 |4686 | 642 | 12k| 0 |7848 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.10/145.66 c 117s| 9300 | 747 | 1038k| 111.4 | 187M | 60 |4063 |4722 | 632 | 12k| 0 |7909 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 118s| 9400 | 744 | 1046k| 111.1 | 187M | 60 |4063 |4897 | 0 | 12k| 0 |8101 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 119s| 9500 | 747 | 1054k| 110.7 | 188M | 60 |4063 |4996 | 628 | 12k| 0 |8259 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 120s| 9600 | 744 | 1063k| 110.5 | 188M | 60 |4063 |5049 | 638 | 13k| 2 |8381 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 121s| 9700 | 754 | 1076k| 110.8 | 188M | 60 |4063 |4982 | 620 | 13k| 1 |8452 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 122s| 9800 | 766 | 1083k| 110.3 | 188M | 60 |4063 |4979 | 636 | 13k| 1 |8466 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 123s| 9900 | 770 | 1090k| 109.9 | 188M | 60 |4063 |5044 | 636 | 13k| 1 |8535 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 123s| 10000 | 768 | 1098k| 109.6 | 188M | 60 |4063 |5016 | 0 | 13k| 0 |8663 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 124s| 10100 | 774 | 1109k| 109.6 | 189M | 60 |4063 |4951 | 631 | 13k| 1 |8716 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 126s| 10200 | 775 | 1122k| 109.8 | 189M | 60 |4063 |4891 | 647 | 13k| 0 |8757 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 127s| 10300 | 791 | 1132k| 109.7 | 189M | 60 |4063 |4822 | 645 | 13k| 1 |8842 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 127s| 10400 | 802 | 1138k| 109.2 | 189M | 60 |4063 |4788 | 635 | 13k| 1 |8904 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 128s| 10500 | 795 | 1144k| 108.7 | 189M | 60 |4063 |4865 | 632 | 13k| 0 |8995 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 129s| 10600 | 797 | 1156k| 108.8 | 189M | 60 |4063 |4792 | 633 | 13k| 0 |9042 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 130s| 10700 | 798 | 1166k| 108.8 | 189M | 60 |4063 |4782 | 643 | 14k| 1 |9075 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.10/145.66 c 132s| 10800 | 793 | 1180k| 109.0 | 189M | 60 |4063 |4679 | 658 | 14k| 1 |9122 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 133s| 10900 | 795 | 1187k| 108.7 | 189M | 60 |4063 |4680 | 643 | 14k| 0 |9186 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 133s| 11000 | 799 | 1194k| 108.4 | 189M | 60 |4063 |4734 | 636 | 14k| 1 |9295 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 135s| 11100 | 801 | 1204k| 108.3 | 189M | 60 |4063 |4693 | 633 | 14k| 1 |9363 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 136s| 11200 | 807 | 1218k| 108.5 | 189M | 60 |4063 |4711 | 626 | 14k| 0 |9409 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 137s| 11300 | 805 | 1231k| 108.8 | 189M | 60 |4063 |4677 | 0 | 14k| 0 |9436 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 138s| 11400 | 810 | 1244k| 108.9 | 190M | 60 |4063 |4633 | 626 | 14k| 1 |9484 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 139s| 11500 | 816 | 1253k| 108.8 | 190M | 60 |4063 |4662 | 635 | 15k| 0 |9546 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 140s| 11600 | 820 | 1261k| 108.6 | 190M | 60 |4063 |4709 | 630 | 15k| 0 |9613 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 141s| 11700 | 826 | 1270k| 108.4 | 190M | 60 |4063 |4727 | 634 | 15k| 1 |9644 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 142s| 11800 | 822 | 1281k| 108.4 | 190M | 60 |4063 |4801 | 640 | 15k| 1 |9745 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 143s| 11900 | 820 | 1293k| 108.5 | 190M | 60 |4063 |4847 | 623 | 15k| 1 |9831 | 12 | 7.000000e+00 | -- | Inf | unknown
145.10/145.66 c 145s| 12000 | 818 | 1303k| 108.5 | 190M | 60 |4063 |4902 | 627 | 15k| 0 |9900 | 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 145s| 12100 | 818 | 1312k| 108.3 | 190M | 60 |4063 |4876 | 641 | 15k| 1 |9979 | 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 147s| 12200 | 828 | 1324k| 108.3 | 190M | 60 |4063 |4841 | 635 | 15k| 1 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.64/196.32 c 148s| 12300 | 832 | 1334k| 108.3 | 190M | 60 |4063 |4880 | 649 | 15k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 149s| 12400 | 842 | 1347k| 108.5 | 190M | 60 |4063 |4916 | 631 | 15k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 150s| 12500 | 852 | 1353k| 108.0 | 190M | 60 |4063 |4905 | 634 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 150s| 12600 | 860 | 1357k| 107.6 | 190M | 60 |4063 |4877 | 0 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 151s| 12700 | 876 | 1365k| 107.3 | 190M | 60 |4063 |4894 | 0 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 152s| 12800 | 882 | 1375k| 107.2 | 190M | 60 |4063 |4860 | 636 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 153s| 12900 | 886 | 1381k| 106.9 | 191M | 60 |4063 |4860 | 630 | 16k| 1 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 154s| 13000 | 907 | 1387k| 106.5 | 191M | 60 |4063 |4752 | 629 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 155s| 13100 | 918 | 1394k| 106.2 | 191M | 60 |4063 |4649 | 0 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 156s| 13200 | 940 | 1406k| 106.3 | 191M | 60 |4063 |4575 | 641 | 16k| 1 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 157s| 13300 | 941 | 1415k| 106.2 | 191M | 60 |4063 |4600 | 661 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 159s| 13400 | 951 | 1429k| 106.5 | 191M | 60 |4063 |4553 | 641 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 160s| 13500 | 944 | 1439k| 106.5 | 191M | 60 |4063 |4462 | 643 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 161s| 13600 | 954 | 1448k| 106.3 | 191M | 60 |4063 |4461 | 640 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 162s| 13700 | 959 | 1454k| 106.0 | 191M | 60 |4063 |4451 | 0 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.64/196.32 c 163s| 13800 | 968 | 1462k| 105.8 | 191M | 60 |4063 |4444 | 635 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 164s| 13900 | 983 | 1470k| 105.6 | 192M | 60 |4063 |4405 | 635 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 164s| 14000 | 996 | 1475k| 105.2 | 192M | 60 |4063 |4427 | 636 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 165s| 14100 | 996 | 1481k| 104.9 | 192M | 60 |4063 |4480 | 654 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 167s| 14200 | 999 | 1493k| 105.0 | 192M | 60 |4063 |4357 | 641 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 167s| 14300 | 1020 | 1500k| 104.7 | 192M | 60 |4063 |4356 | 0 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 168s| 14400 | 1022 | 1506k| 104.4 | 192M | 60 |4063 |4398 | 0 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 169s| 14500 | 1022 | 1511k| 104.1 | 192M | 70 |4063 |4419 | 654 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 170s| 14600 | 1022 | 1519k| 103.9 | 192M | 70 |4063 |4436 | 651 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 171s| 14700 | 1026 | 1525k| 103.6 | 192M | 70 |4063 |4490 | 659 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 171s| 14800 | 1024 | 1531k| 103.3 | 192M | 78 |4063 |4509 | 666 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 172s| 14900 | 1028 | 1537k| 103.0 | 192M | 78 |4063 |4525 | 668 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 173s| 15000 | 1030 | 1541k| 102.6 | 192M | 80 |4063 |4546 | 672 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 174s| 15100 | 1026 | 1545k| 102.2 | 192M | 98 |4063 |4556 | 674 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 174s| 15200 | 1024 | 1550k| 101.8 | 192M | 98 |4063 |4567 | 663 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.64/196.32 c 175s| 15300 | 1022 | 1555k| 101.5 | 192M | 98 |4063 |4574 | 667 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 176s| 15400 | 1022 | 1560k| 101.2 | 192M | 98 |4063 |4581 | 672 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 177s| 15500 | 1026 | 1568k| 101.0 | 192M | 98 |4063 |4568 | 668 | 18k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 178s| 15600 | 1024 | 1573k| 100.7 | 192M | 98 |4063 |4595 | 667 | 18k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 179s| 15700 | 1022 | 1579k| 100.4 | 192M | 98 |4063 |4598 | 668 | 18k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 179s| 15800 | 1022 | 1583k| 100.1 | 192M | 98 |4063 |4610 | 679 | 18k| 2 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 180s| 15900 | 1032 | 1590k| 99.9 | 192M | 108 |4063 |4525 | 655 | 18k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 182s| 16000 | 1031 | 1600k| 99.9 | 194M | 108 |4063 |4413 | 640 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 183s| 16100 | 1039 | 1608k| 99.8 | 194M | 108 |4063 |4408 | 649 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 183s| 16200 | 1053 | 1615k| 99.6 | 194M | 108 |4063 |4347 | 643 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 184s| 16300 | 1054 | 1624k| 99.5 | 196M | 108 |4063 |4268 | 626 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 185s| 16400 | 1068 | 1631k| 99.3 | 196M | 108 |4063 |4290 | 648 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 186s| 16500 | 1084 | 1641k| 99.3 | 197M | 108 |4063 |4159 | 0 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 187s| 16600 | 1094 | 1648k| 99.1 | 198M | 108 |4063 |4252 | 640 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 188s| 16700 | 1098 | 1656k| 99.1 | 198M | 108 |4063 |4295 | 0 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
195.64/196.32 c 190s| 16800 | 1106 | 1665k| 99.0 | 198M | 108 |4063 |4070 | 595 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 191s| 16900 | 1132 | 1675k| 99.0 | 198M | 108 |4063 |4019 | 645 | 20k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 192s| 17000 | 1144 | 1685k| 99.0 | 198M | 108 |4063 |3898 | 653 | 20k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 193s| 17100 | 1138 | 1695k| 99.0 | 198M | 108 |4063 |3880 | 653 | 20k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
195.64/196.32 c 195s| 17200 | 1154 | 1706k| 99.0 | 198M | 108 |4063 |3822 | 651 | 20k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 196s| 17300 | 1171 | 1717k| 99.1 | 199M | 108 |4063 |3697 | 657 | 20k| 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 198s| 17400 | 1189 | 1733k| 99.5 | 199M | 108 |4063 |3629 | 603 | 20k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 199s| 17500 | 1196 | 1739k| 99.3 | 199M | 108 |4063 |3663 | 606 | 20k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 200s| 17600 | 1200 | 1750k| 99.3 | 199M | 108 |4063 |3669 | 634 | 20k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 202s| 17700 | 1229 | 1761k| 99.4 | 199M | 108 |4063 |3518 | 593 | 21k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 203s| 17800 | 1251 | 1769k| 99.3 | 200M | 108 |4063 |3554 | 634 | 21k| 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 204s| 17900 | 1263 | 1779k| 99.2 | 200M | 108 |4063 |3480 | 0 | 21k| 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
277.40/278.37 c (run 1, node 17981) performing user restart
277.40/278.37 c
277.40/278.37 c (restart) converted 23 cuts from the global cut pool into linear constraints
277.40/278.37 c
277.40/278.37 c presolving:
277.40/278.37 c (round 1, fast) 0 del vars, 131 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 43863 clqs
277.40/278.37 c (round 2, exhaustive) 0 del vars, 132 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 0 impls, 43863 clqs
277.40/278.37 c (round 3, exhaustive) 0 del vars, 413 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 92 chg coeffs, 23 upgd conss, 0 impls, 43863 clqs
277.40/278.37 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
277.40/278.37 c 0 deleted vars, 413 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 92 changed coefficients
277.40/278.37 c 0 implications, 43863 cliques
277.40/278.37 c presolved problem has 4063 variables (4063 bin, 0 int, 0 impl, 0 cont) and 3100 constraints
277.40/278.37 c 467 constraints of type <knapsack>
277.40/278.37 c 84 constraints of type <setppc>
277.40/278.37 c 12 constraints of type <linear>
277.40/278.37 c 447 constraints of type <orbitope>
277.40/278.37 c 2090 constraints of type <logicor>
277.40/278.37 c transformed objective value is always integral (scale: 1)
277.40/278.37 c Presolving Time: 3.13
277.40/278.37 c
277.40/278.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
277.40/278.37 c 206s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3138 | 544 | 0 | 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 206s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3138 | 568 | 24 | 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 207s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3136 | 591 | 47 | 2 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 207s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3117 | 617 | 73 | 3 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 207s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3095 | 636 | 92 | 4 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 207s| 1 | 0 | 1788k| - | 213M | 0 |4063 |3054 | 662 | 118 | 5 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 207s| 1 | 0 | 1788k| - | 213M | 0 |4063 |3007 | 686 | 142 | 6 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 207s| 1 | 0 | 1790k| - | 213M | 0 |4063 |2998 | 709 | 165 | 7 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 208s| 1 | 0 | 1791k| - | 214M | 0 |4063 |2962 | 733 | 189 | 8 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 208s| 1 | 0 | 1795k| - | 214M | 0 |4063 |2940 | 761 | 217 | 9 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 209s| 1 | 0 | 1800k| - | 214M | 0 |4063 |2934 | 786 | 242 | 10 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 210s| 1 | 0 | 1807k| - | 215M | 0 |4063 |2931 | 815 | 271 | 11 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 212s| 1 | 2 | 1813k| - | 215M | 0 |4063 |2896 | 815 | 271 | 11 | 13k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 226s| 100 | 101 | 1937k| 105.8 | 216M | 22 |4063 |2769 | 663 | 480 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 230s| 200 | 153 | 1971k| 107.1 | 216M | 50 |4063 |2924 | 704 | 666 | 0 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
277.40/278.37 c 233s| 300 | 175 | 1990k| 107.6 | 216M | 50 |4063 |2980 | 707 | 812 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 235s| 400 | 185 | 2009k| 108.0 | 216M | 50 |4063 |3005 | 713 | 966 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 237s| 500 | 198 | 2025k| 108.3 | 216M | 50 |4063 |3067 | 0 |1085 | 0 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 240s| 600 | 212 | 2047k| 108.9 | 218M | 52 |4063 |3102 | 717 |1295 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 243s| 700 | 208 | 2071k| 109.6 | 218M | 61 |4063 |3155 | 758 |1386 | 0 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 246s| 800 | 210 | 2093k| 110.2 | 218M | 61 |4063 |3187 | 721 |1473 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 249s| 900 | 219 | 2118k| 110.9 | 218M | 61 |4063 |3221 | 729 |1619 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 251s| 1000 | 221 | 2140k| 111.5 | 218M | 61 |4063 |3297 | 749 |1745 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 254s| 1100 | 217 | 2160k| 112.0 | 218M | 61 |4063 |3314 | 711 |1856 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 256s| 1200 | 221 | 2181k| 112.5 | 218M | 61 |4063 |3400 | 699 |1992 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 260s| 1300 | 233 | 2210k| 113.4 | 219M | 61 |4063 |3441 | 710 |2249 | 2 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 262s| 1400 | 237 | 2226k| 113.7 | 219M | 61 |4063 |3519 | 712 |2325 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 263s| 1500 | 237 | 2243k| 113.9 | 219M | 61 |4063 |3590 | 713 |2419 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 265s| 1600 | 246 | 2261k| 114.3 | 219M | 61 |4063 |3621 | 711 |2544 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 267s| 1700 | 245 | 2278k| 114.6 | 219M | 61 |4063 |3694 | 736 |2676 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
277.40/278.37 c 269s| 1800 | 261 | 2288k| 114.5 | 219M | 64 |4063 |3708 | 751 |2744 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 270s| 1900 | 262 | 2298k| 114.4 | 219M | 70 |4063 |3725 | 748 |2783 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 271s| 2000 | 262 | 2309k| 114.4 | 219M | 72 |4063 |3767 | 746 |2844 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 273s| 2100 | 258 | 2322k| 114.5 | 219M | 72 |4063 |3763 | 742 |2926 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 274s| 2200 | 258 | 2333k| 114.5 | 219M | 72 |4063 |3852 | 765 |3005 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 276s| 2300 | 258 | 2344k| 114.4 | 219M | 72 |4063 |3882 | 743 |3055 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
277.40/278.37 c 277s| 2400 | 264 | 2353k| 114.3 | 219M | 72 |4063 |3919 | 751 |3137 | 2 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 278s| 2500 | 262 | 2364k| 114.3 | 219M | 72 |4063 |3941 | 753 |3179 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 280s| 2600 | 258 | 2375k| 114.3 | 219M | 72 |4063 |3983 | 740 |3232 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 281s| 2700 | 258 | 2387k| 114.3 | 219M | 72 |4063 |3957 | 759 |3267 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 282s| 2800 | 256 | 2398k| 114.2 | 219M | 73 |4063 |3951 | 736 |3302 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 284s| 2900 | 260 | 2411k| 114.3 | 220M | 73 |4063 |3887 | 742 |3342 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 285s| 3000 | 262 | 2423k| 114.4 | 220M | 73 |4063 |3903 | 742 |3371 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 287s| 3100 | 266 | 2433k| 114.3 | 220M | 73 |4063 |3914 | 0 |3412 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 288s| 3200 | 270 | 2443k| 114.2 | 220M | 73 |4063 |3945 | 750 |3459 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
355.77/356.95 c 289s| 3300 | 272 | 2453k| 114.2 | 220M | 73 |4063 |3987 | 753 |3557 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 291s| 3400 | 276 | 2465k| 114.2 | 220M | 73 |4063 |3987 | 751 |3598 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 292s| 3500 | 280 | 2474k| 114.1 | 220M | 91 |4063 |3994 | 741 |3644 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 293s| 3600 | 278 | 2485k| 114.0 | 220M | 91 |4063 |4016 | 737 |3674 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 294s| 3700 | 278 | 2495k| 114.0 | 220M | 91 |4063 |4049 | 748 |3721 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 296s| 3800 | 283 | 2507k| 114.0 | 220M | 91 |4063 |4087 | 751 |3780 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 297s| 3900 | 278 | 2520k| 114.1 | 220M | 91 |4063 |4075 | 744 |3860 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 299s| 4000 | 278 | 2533k| 114.2 | 220M | 91 |4063 |4087 | 746 |3904 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 300s| 4100 | 276 | 2545k| 114.2 | 220M | 91 |4063 |4100 | 749 |3932 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 301s| 4200 | 274 | 2554k| 114.1 | 220M | 91 |4063 |4141 | 740 |3974 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 303s| 4300 | 274 | 2568k| 114.2 | 220M | 91 |4063 |4114 | 735 |4064 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 305s| 4400 | 270 | 2580k| 114.2 | 220M | 91 |4063 |4101 | 740 |4136 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 306s| 4500 | 274 | 2592k| 114.3 | 220M | 91 |4063 |4068 | 752 |4190 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 308s| 4600 | 274 | 2605k| 114.3 | 220M | 91 |4063 |4053 | 747 |4271 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 309s| 4700 | 274 | 2616k| 114.3 | 220M | 91 |4063 |4066 | 739 |4311 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
355.77/356.95 c 311s| 4800 | 276 | 2630k| 114.4 | 220M | 91 |4063 |4037 | 749 |4355 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 312s| 4900 | 276 | 2641k| 114.4 | 220M | 91 |4063 |3983 | 746 |4461 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 314s| 5000 | 277 | 2655k| 114.5 | 220M | 91 |4063 |3973 | 752 |4501 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 316s| 5100 | 277 | 2671k| 114.7 | 220M | 91 |4063 |3927 | 741 |4568 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 317s| 5200 | 275 | 2686k| 114.9 | 220M | 91 |4063 |3916 | 741 |4637 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 319s| 5300 | 277 | 2698k| 114.9 | 220M | 91 |4063 |3921 | 745 |4697 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 321s| 5400 | 281 | 2716k| 115.2 | 220M | 91 |4063 |3877 | 749 |4766 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 323s| 5500 | 283 | 2731k| 115.3 | 220M | 91 |4063 |3872 | 749 |4860 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 324s| 5600 | 288 | 2744k| 115.4 | 220M | 91 |4063 |3878 | 743 |4916 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 326s| 5700 | 286 | 2758k| 115.5 | 220M | 91 |4063 |3878 | 755 |4963 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 327s| 5800 | 288 | 2770k| 115.5 | 220M | 91 |4063 |3917 | 745 |5017 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 329s| 5900 | 286 | 2785k| 115.6 | 220M | 91 |4063 |3911 | 741 |5115 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 331s| 6000 | 284 | 2799k| 115.8 | 220M | 91 |4063 |3955 | 766 |5194 | 2 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 333s| 6100 | 279 | 2815k| 115.9 | 220M | 91 |4063 |3944 | 739 |5264 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 334s| 6200 | 282 | 2828k| 116.0 | 220M | 91 |4063 |3945 | 750 |5295 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
355.77/356.95 c 336s| 6300 | 288 | 2844k| 116.2 | 220M | 91 |4063 |3951 | 757 |5342 | 2 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 338s| 6400 | 284 | 2858k| 116.3 | 220M | 91 |4063 |3968 | 748 |5356 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 340s| 6500 | 278 | 2876k| 116.5 | 220M | 91 |4063 |3970 | 758 |5404 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 341s| 6600 | 282 | 2890k| 116.6 | 220M | 91 |4063 |3927 | 736 |5429 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 343s| 6700 | 294 | 2903k| 116.7 | 220M | 91 |4063 |3948 | 744 |5508 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 344s| 6800 | 292 | 2913k| 116.6 | 220M | 91 |4063 |3976 | 756 |5567 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 346s| 6900 | 288 | 2924k| 116.6 | 221M | 91 |4063 |4023 | 743 |5613 | 2 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 347s| 7000 | 290 | 2932k| 116.4 | 221M | 91 |4063 |4076 | 751 |5685 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 348s| 7100 | 288 | 2940k| 116.3 | 221M | 91 |4063 |4094 | 743 |5725 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 349s| 7200 | 295 | 2952k| 116.3 | 221M | 91 |4063 |4085 | 753 |5795 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 350s| 7300 | 285 | 2964k| 116.3 | 221M | 91 |4063 |4115 | 742 |5842 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 351s| 7400 | 298 | 2972k| 116.2 | 221M | 91 |4063 |4120 | 738 |5928 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 352s| 7500 | 296 | 2980k| 116.0 | 221M | 91 |4063 |4151 | 0 |5990 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 354s| 7600 | 300 | 2991k| 116.0 | 221M | 91 |4063 |4177 | 743 |6073 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
355.77/356.95 c 356s| 7700 | 306 | 3011k| 116.3 | 221M | 91 |4063 |4236 | 744 |6155 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
438.12/439.52 c 357s| 7800 | 304 | 3019k| 116.2 | 221M | 91 |4063 |4298 | 754 |6226 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 358s| 7900 | 302 | 3031k| 116.2 | 221M | 91 |4063 |4301 | 741 |6271 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 360s| 8000 | 298 | 3044k| 116.3 | 221M | 91 |4063 |4295 | 737 |6319 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 361s| 8100 | 298 | 3058k| 116.4 | 221M | 91 |4063 |4335 | 743 |6378 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 363s| 8200 | 297 | 3071k| 116.4 | 221M | 91 |4063 |4345 | 734 |6435 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 364s| 8300 | 298 | 3083k| 116.4 | 221M | 91 |4063 |4325 | 734 |6467 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 365s| 8400 | 298 | 3093k| 116.4 | 221M | 91 |4063 |4340 | 741 |6514 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 367s| 8500 | 294 | 3104k| 116.3 | 221M | 91 |4063 |4335 | 750 |6564 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 369s| 8600 | 294 | 3119k| 116.5 | 221M | 91 |4063 |4329 | 0 |6620 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 370s| 8700 | 295 | 3131k| 116.5 | 221M | 91 |4063 |4274 | 739 |6669 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 371s| 8800 | 296 | 3144k| 116.5 | 221M | 91 |4063 |4255 | 746 |6745 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 373s| 8900 | 299 | 3154k| 116.5 | 221M | 91 |4063 |4256 | 740 |6769 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 374s| 9000 | 301 | 3169k| 116.6 | 221M | 91 |4063 |4250 | 747 |6851 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 376s| 9100 | 305 | 3182k| 116.6 | 221M | 91 |4063 |4162 | 741 |6910 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 377s| 9200 | 311 | 3193k| 116.6 | 221M | 91 |4063 |4164 | 753 |6995 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
438.12/439.52 c 379s| 9300 | 307 | 3204k| 116.6 | 221M | 91 |4063 |4154 | 743 |7076 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 380s| 9400 | 307 | 3216k| 116.6 | 221M | 91 |4063 |4173 | 754 |7137 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 382s| 9500 | 308 | 3232k| 116.8 | 221M | 91 |4063 |4122 | 738 |7181 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 383s| 9600 | 310 | 3241k| 116.7 | 221M | 91 |4063 |4120 | 754 |7279 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 385s| 9700 | 310 | 3255k| 116.7 | 221M | 91 |4063 |4127 | 747 |7351 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 386s| 9800 | 306 | 3269k| 116.8 | 221M | 91 |4063 |4108 | 0 |7434 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 388s| 9900 | 316 | 3283k| 116.9 | 221M | 91 |4063 |4093 | 749 |7565 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 390s| 10000 | 314 | 3297k| 117.0 | 221M | 91 |4063 |4112 | 741 |7642 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 391s| 10100 | 307 | 3312k| 117.1 | 221M | 91 |4063 |4091 | 737 |7723 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 393s| 10200 | 313 | 3326k| 117.2 | 221M | 91 |4063 |4081 | 748 |7799 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 395s| 10300 | 311 | 3339k| 117.3 | 221M | 91 |4063 |4067 | 734 |7831 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 396s| 10400 | 308 | 3355k| 117.4 | 221M | 91 |4063 |4048 | 752 |7920 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 399s| 10500 | 302 | 3373k| 117.6 | 221M | 91 |4063 |4009 | 748 |7994 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 400s| 10600 | 304 | 3388k| 117.7 | 221M | 91 |4063 |3958 | 761 |8056 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 402s| 10700 | 307 | 3401k| 117.8 | 221M | 91 |4063 |3925 | 761 |8115 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
438.12/439.52 c 403s| 10800 | 310 | 3414k| 117.8 | 221M | 91 |4063 |3904 | 740 |8165 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 405s| 10900 | 308 | 3427k| 117.9 | 221M | 91 |4063 |3890 | 740 |8198 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 407s| 11000 | 316 | 3441k| 117.9 | 221M | 91 |4063 |3912 | 752 |8267 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 408s| 11100 | 318 | 3454k| 118.0 | 222M | 91 |4063 |3926 | 760 |8305 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 410s| 11200 | 314 | 3468k| 118.1 | 222M | 91 |4063 |3973 | 740 |8349 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 412s| 11300 | 312 | 3484k| 118.2 | 222M | 91 |4063 |3974 | 760 |8427 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 414s| 11400 | 312 | 3500k| 118.3 | 222M | 91 |4063 |3991 | 0 |8482 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 415s| 11500 | 313 | 3515k| 118.4 | 222M | 91 |4063 |4011 | 752 |8571 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 417s| 11600 | 316 | 3527k| 118.5 | 222M | 91 |4063 |4029 | 759 |8625 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 418s| 11700 | 322 | 3539k| 118.5 | 222M | 91 |4063 |4030 | 752 |8658 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 420s| 11800 | 318 | 3552k| 118.5 | 222M | 91 |4063 |4039 | 757 |8664 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 422s| 11900 | 311 | 3566k| 118.6 | 222M | 91 |4063 |4036 | 767 |8695 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 423s| 12000 | 313 | 3580k| 118.6 | 222M | 91 |4063 |4019 | 762 |8757 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 425s| 12100 | 315 | 3592k| 118.6 | 222M | 91 |4063 |4050 | 772 |8788 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 426s| 12200 | 313 | 3606k| 118.7 | 222M | 91 |4063 |4044 | 768 |8853 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
438.12/439.52 c 428s| 12300 | 312 | 3618k| 118.7 | 222M | 91 |4063 |4015 | 737 |8858 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 429s| 12400 | 316 | 3630k| 118.7 | 222M | 91 |4063 |4001 | 747 |8929 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 431s| 12500 | 322 | 3642k| 118.7 | 222M | 91 |4063 |3999 | 754 |8982 | 2 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 432s| 12600 | 324 | 3656k| 118.8 | 222M | 91 |4063 |4008 | 746 |9020 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 434s| 12700 | 315 | 3670k| 118.9 | 222M | 91 |4063 |4017 | 757 |9104 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 436s| 12800 | 315 | 3683k| 118.9 | 222M | 91 |4063 |4019 | 753 |9152 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
438.12/439.52 c 438s| 12900 | 317 | 3700k| 119.0 | 222M | 91 |4063 |4031 | 760 |9214 | 2 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 439s| 13000 | 316 | 3713k| 119.1 | 222M | 91 |4063 |4107 | 757 |9291 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 441s| 13100 | 314 | 3726k| 119.1 | 222M | 91 |4063 |4108 | 757 |9319 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 442s| 13200 | 324 | 3738k| 119.1 | 222M | 91 |4063 |4071 | 736 |9356 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 444s| 13300 | 322 | 3752k| 119.2 | 222M | 91 |4063 |4063 | 737 |9441 | 2 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 446s| 13400 | 320 | 3767k| 119.3 | 222M | 91 |4063 |4053 | 736 |9509 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 447s| 13500 | 326 | 3781k| 119.4 | 222M | 91 |4063 |4034 | 742 |9595 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 449s| 13600 | 328 | 3795k| 119.4 | 222M | 91 |4063 |4001 | 735 |9648 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 451s| 13700 | 328 | 3809k| 119.5 | 222M | 91 |4063 |3998 | 748 |9707 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
526.34/528.06 c 452s| 13800 | 328 | 3824k| 119.6 | 222M | 91 |4063 |4048 | 735 |9767 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 454s| 13900 | 331 | 3834k| 119.5 | 222M | 91 |4063 |4074 | 747 |9799 | 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 456s| 14000 | 327 | 3849k| 119.6 | 222M | 91 |4063 |4079 | 742 |9874 | 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 457s| 14100 | 335 | 3862k| 119.6 | 222M | 91 |4063 |4107 | 738 |9964 | 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 458s| 14200 | 334 | 3872k| 119.6 | 223M | 91 |4063 |4166 | 738 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 460s| 14300 | 337 | 3885k| 119.6 | 223M | 91 |4063 |4179 | 742 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 461s| 14400 | 335 | 3894k| 119.5 | 223M | 91 |4063 |4231 | 742 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 463s| 14500 | 336 | 3910k| 119.7 | 223M | 91 |4063 |4213 | 739 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 465s| 14600 | 339 | 3925k| 119.8 | 223M | 91 |4063 |4218 | 746 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 467s| 14700 | 335 | 3940k| 119.8 | 223M | 91 |4063 |4244 | 750 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 468s| 14800 | 337 | 3956k| 120.0 | 223M | 91 |4063 |4254 | 741 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 470s| 14900 | 336 | 3972k| 120.1 | 223M | 91 |4063 |4243 | 740 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 473s| 15000 | 337 | 3992k| 120.3 | 223M | 91 |4063 |4184 | 744 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 474s| 15100 | 338 | 4006k| 120.4 | 223M | 91 |4063 |4197 | 740 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 476s| 15200 | 333 | 4020k| 120.5 | 223M | 91 |4063 |4139 | 765 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
526.34/528.06 c 478s| 15300 | 329 | 4033k| 120.5 | 223M | 91 |4063 |4113 | 745 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 479s| 15400 | 329 | 4048k| 120.6 | 223M | 91 |4063 |4073 | 762 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 481s| 15500 | 329 | 4060k| 120.6 | 223M | 91 |4063 |4079 | 0 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 482s| 15600 | 329 | 4073k| 120.6 | 223M | 91 |4063 |4070 | 741 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 484s| 15700 | 326 | 4086k| 120.6 | 223M | 91 |4063 |4095 | 746 | 10k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 485s| 15800 | 332 | 4097k| 120.6 | 223M | 91 |4063 |4126 | 766 | 10k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 487s| 15900 | 326 | 4109k| 120.6 | 223M | 91 |4063 |4128 | 761 | 10k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 488s| 16000 | 332 | 4120k| 120.6 | 223M | 91 |4063 |4078 | 740 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 490s| 16100 | 334 | 4131k| 120.5 | 223M | 91 |4063 |4133 | 749 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 491s| 16200 | 336 | 4144k| 120.6 | 223M | 91 |4063 |4178 | 738 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 493s| 16300 | 337 | 4157k| 120.6 | 223M | 91 |4063 |4167 | 743 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 495s| 16400 | 339 | 4170k| 120.6 | 223M | 91 |4063 |4121 | 0 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 496s| 16500 | 345 | 4184k| 120.7 | 223M | 91 |4063 |4101 | 744 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 498s| 16600 | 347 | 4196k| 120.7 | 223M | 91 |4063 |4076 | 0 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 500s| 16700 | 347 | 4211k| 120.7 | 223M | 91 |4063 |4097 | 744 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
526.34/528.06 c 501s| 16800 | 346 | 4227k| 120.8 | 223M | 91 |4063 |4082 | 747 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 503s| 16900 | 362 | 4242k| 120.9 | 223M | 91 |4063 |4053 | 752 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 505s| 17000 | 363 | 4256k| 121.0 | 223M | 91 |4063 |4049 | 753 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 507s| 17100 | 365 | 4273k| 121.1 | 223M | 91 |4063 |4048 | 749 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 509s| 17200 | 365 | 4289k| 121.2 | 223M | 91 |4063 |4041 | 755 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 511s| 17300 | 361 | 4306k| 121.4 | 223M | 91 |4063 |4047 | 0 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 512s| 17400 | 353 | 4317k| 121.4 | 223M | 91 |4063 |4089 | 753 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 514s| 17500 | 355 | 4330k| 121.4 | 223M | 91 |4063 |4109 | 743 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 516s| 17600 | 353 | 4345k| 121.5 | 223M | 91 |4063 |4094 | 743 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 517s| 17700 | 355 | 4359k| 121.5 | 223M | 91 |4063 |4105 | 735 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 519s| 17800 | 357 | 4374k| 121.6 | 224M | 91 |4063 |4129 | 745 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 521s| 17900 | 354 | 4393k| 121.8 | 224M | 91 |4063 |4110 | 742 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 523s| 18000 | 349 | 4410k| 121.9 | 224M | 91 |4063 |4086 | 745 | 11k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 525s| 18100 | 349 | 4421k| 121.9 | 224M | 91 |4063 |4103 | 757 | 11k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
526.34/528.06 c 526s| 18200 | 345 | 4433k| 121.9 | 224M | 91 |4063 |4115 | 742 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
608.35/610.35 c 528s| 18300 | 343 | 4447k| 121.9 | 224M | 91 |4063 |4131 | 751 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 529s| 18400 | 349 | 4459k| 121.9 | 224M | 91 |4063 |4156 | 0 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 531s| 18500 | 347 | 4472k| 121.9 | 224M | 91 |4063 |4168 | 744 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 532s| 18600 | 343 | 4486k| 122.0 | 224M | 91 |4063 |4180 | 740 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 534s| 18700 | 339 | 4499k| 122.0 | 224M | 91 |4063 |4188 | 744 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 535s| 18800 | 338 | 4509k| 122.0 | 224M | 91 |4063 |4205 | 740 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 537s| 18900 | 338 | 4524k| 122.0 | 224M | 91 |4063 |4160 | 756 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 539s| 19000 | 336 | 4544k| 122.2 | 224M | 91 |4063 |4143 | 748 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 541s| 19100 | 338 | 4557k| 122.3 | 224M | 91 |4063 |4197 | 761 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 543s| 19200 | 346 | 4572k| 122.3 | 224M | 91 |4063 |4060 | 734 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 544s| 19300 | 344 | 4584k| 122.3 | 224M | 91 |4063 |4073 | 734 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 546s| 19400 | 345 | 4598k| 122.4 | 224M | 91 |4063 |4104 | 755 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 548s| 19500 | 343 | 4610k| 122.4 | 224M | 91 |4063 |4100 | 754 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 549s| 19600 | 342 | 4623k| 122.4 | 224M | 91 |4063 |4084 | 758 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 551s| 19700 | 339 | 4639k| 122.5 | 224M | 91 |4063 |4097 | 738 | 12k| 2 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
608.35/610.35 c 552s| 19800 | 337 | 4649k| 122.4 | 224M | 91 |4063 |4099 | 748 | 12k| 2 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 554s| 19900 | 341 | 4659k| 122.4 | 224M | 91 |4063 |4110 | 754 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 555s| 20000 | 337 | 4667k| 122.3 | 224M | 91 |4063 |4135 | 736 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 556s| 20100 | 335 | 4679k| 122.3 | 224M | 91 |4063 |4123 | 753 | 12k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 558s| 20200 | 335 | 4692k| 122.3 | 224M | 91 |4063 |4144 | 756 | 12k| 2 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 559s| 20300 | 331 | 4704k| 122.3 | 224M | 91 |4063 |4171 | 739 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 561s| 20400 | 326 | 4717k| 122.3 | 224M | 91 |4063 |4149 | 743 | 12k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 563s| 20500 | 328 | 4730k| 122.3 | 224M | 91 |4063 |4104 | 753 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 564s| 20600 | 329 | 4745k| 122.4 | 224M | 91 |4063 |4093 | 751 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 566s| 20700 | 329 | 4757k| 122.4 | 224M | 91 |4063 |4155 | 751 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 568s| 20800 | 327 | 4772k| 122.5 | 224M | 91 |4063 |4163 | 756 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 569s| 20900 | 326 | 4785k| 122.5 | 224M | 91 |4063 |4158 | 746 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 570s| 21000 | 330 | 4795k| 122.4 | 224M | 91 |4063 |4171 | 748 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 572s| 21100 | 336 | 4806k| 122.4 | 224M | 91 |4063 |4201 | 743 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 574s| 21200 | 332 | 4822k| 122.5 | 224M | 91 |4063 |4206 | 737 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
608.35/610.35 c 575s| 21300 | 340 | 4836k| 122.5 | 224M | 91 |4063 |4259 | 747 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 577s| 21400 | 334 | 4850k| 122.6 | 224M | 91 |4063 |4257 | 742 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 579s| 21500 | 332 | 4865k| 122.6 | 224M | 91 |4063 |4266 | 737 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 581s| 21600 | 331 | 4882k| 122.7 | 224M | 91 |4063 |4276 | 737 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 582s| 21700 | 328 | 4899k| 122.9 | 224M | 91 |4063 |4242 | 748 | 13k| 2 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 584s| 21800 | 331 | 4910k| 122.8 | 225M | 91 |4063 |4230 | 748 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 586s| 21900 | 333 | 4926k| 122.9 | 225M | 91 |4063 |4215 | 754 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 588s| 22000 | 329 | 4945k| 123.1 | 225M | 91 |4063 |4199 | 745 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 589s| 22100 | 333 | 4958k| 123.1 | 225M | 91 |4063 |4177 | 741 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 591s| 22200 | 335 | 4967k| 123.0 | 225M | 91 |4063 |4206 | 744 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 592s| 22300 | 333 | 4978k| 123.0 | 225M | 91 |4063 |4259 | 746 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 594s| 22400 | 333 | 4992k| 123.0 | 225M | 91 |4063 |4204 | 752 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 595s| 22500 | 329 | 5005k| 123.1 | 225M | 91 |4063 |4195 | 754 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 597s| 22600 | 331 | 5021k| 123.2 | 225M | 91 |4063 |4199 | 761 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 599s| 22700 | 330 | 5036k| 123.2 | 225M | 91 |4063 |4136 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
608.35/610.35 c 600s| 22800 | 332 | 5045k| 123.1 | 225M | 91 |4063 |4200 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 601s| 22900 | 342 | 5054k| 123.0 | 225M | 91 |4063 |4209 | 750 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 603s| 23000 | 336 | 5064k| 123.0 | 225M | 91 |4063 |4234 | 745 | 13k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 604s| 23100 | 327 | 5074k| 122.9 | 225M | 91 |4063 |4205 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 605s| 23200 | 327 | 5084k| 122.9 | 225M | 91 |4063 |4212 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 607s| 23300 | 327 | 5094k| 122.8 | 225M | 91 |4063 |4217 | 0 | 13k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
608.35/610.35 c 608s| 23400 | 326 | 5110k| 122.9 | 225M | 91 |4063 |4226 | 738 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 610s| 23500 | 330 | 5125k| 123.0 | 225M | 91 |4063 |4180 | 743 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 612s| 23600 | 331 | 5135k| 122.9 | 225M | 91 |4063 |4211 | 742 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 613s| 23700 | 331 | 5150k| 123.0 | 225M | 91 |4063 |4240 | 732 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 614s| 23800 | 332 | 5158k| 122.9 | 225M | 91 |4063 |4252 | 737 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 615s| 23900 | 331 | 5166k| 122.8 | 225M | 91 |4063 |4321 | 0 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 616s| 24000 | 331 | 5175k| 122.7 | 225M | 91 |4063 |4360 | 736 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 618s| 24100 | 325 | 5183k| 122.6 | 225M | 91 |4063 |4424 | 736 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 619s| 24200 | 329 | 5194k| 122.6 | 225M | 91 |4063 |4350 | 749 | 14k| 2 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
688.69/690.94 c 620s| 24300 | 331 | 5205k| 122.6 | 225M | 91 |4063 |4361 | 749 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 622s| 24400 | 333 | 5219k| 122.6 | 225M | 91 |4063 |4285 | 758 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 623s| 24500 | 337 | 5232k| 122.6 | 225M | 91 |4063 |4249 | 758 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 625s| 24600 | 331 | 5246k| 122.7 | 225M | 91 |4063 |4236 | 759 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 626s| 24700 | 333 | 5257k| 122.6 | 225M | 91 |4063 |4216 | 766 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 628s| 24800 | 331 | 5266k| 122.5 | 225M | 91 |4063 |4232 | 759 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 629s| 24900 | 329 | 5277k| 122.5 | 225M | 91 |4063 |4243 | 760 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 631s| 25000 | 333 | 5289k| 122.5 | 225M | 91 |4063 |4211 | 763 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 632s| 25100 | 336 | 5299k| 122.5 | 225M | 91 |4063 |4220 | 763 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 633s| 25200 | 342 | 5310k| 122.4 | 225M | 91 |4063 |4217 | 761 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 635s| 25300 | 344 | 5321k| 122.4 | 225M | 91 |4063 |4294 | 762 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 636s| 25400 | 343 | 5337k| 122.5 | 225M | 91 |4063 |4305 | 762 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 638s| 25500 | 344 | 5351k| 122.5 | 225M | 91 |4063 |4345 | 760 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 640s| 25600 | 350 | 5365k| 122.6 | 225M | 91 |4063 |4398 | 764 | 14k| 2 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 642s| 25700 | 350 | 5383k| 122.7 | 225M | 91 |4063 |4430 | 760 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
688.69/690.94 c 644s| 25800 | 346 | 5399k| 122.8 | 225M | 91 |4063 |4433 | 761 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 646s| 25900 | 349 | 5415k| 122.9 | 225M | 91 |4063 |4479 | 758 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 648s| 26000 | 346 | 5429k| 122.9 | 225M | 91 |4063 |4464 | 763 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 650s| 26100 | 348 | 5445k| 123.0 | 225M | 91 |4063 |4408 | 761 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 651s| 26200 | 344 | 5459k| 123.0 | 225M | 91 |4063 |4408 | 766 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 653s| 26300 | 346 | 5470k| 123.0 | 225M | 91 |4063 |4346 | 762 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 654s| 26400 | 344 | 5483k| 123.0 | 226M | 91 |4063 |4309 | 760 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 656s| 26500 | 341 | 5494k| 123.0 | 226M | 91 |4063 |4329 | 761 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 657s| 26600 | 345 | 5505k| 123.0 | 226M | 91 |4063 |4293 | 732 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 659s| 26700 | 344 | 5518k| 123.0 | 226M | 91 |4063 |4291 | 757 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 661s| 26800 | 343 | 5534k| 123.1 | 226M | 91 |4063 |4294 | 762 | 14k| 2 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 662s| 26900 | 347 | 5546k| 123.0 | 226M | 91 |4063 |4287 | 766 | 14k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 664s| 27000 | 346 | 5559k| 123.1 | 226M | 91 |4063 |4268 | 733 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 665s| 27100 | 340 | 5572k| 123.1 | 226M | 91 |4063 |4281 | 733 | 14k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 667s| 27200 | 345 | 5583k| 123.0 | 226M | 91 |4063 |4261 | 735 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
688.69/690.94 c 668s| 27300 | 343 | 5594k| 123.0 | 226M | 91 |4063 |4241 | 737 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 669s| 27400 | 347 | 5603k| 123.0 | 226M | 91 |4063 |4227 | 740 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 671s| 27500 | 347 | 5617k| 123.0 | 226M | 91 |4063 |4209 | 738 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 672s| 27600 | 352 | 5628k| 123.0 | 226M | 91 |4063 |4218 | 737 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 674s| 27700 | 352 | 5641k| 123.0 | 226M | 91 |4063 |4302 | 741 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 675s| 27800 | 348 | 5651k| 122.9 | 226M | 91 |4063 |4332 | 736 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 676s| 27900 | 350 | 5663k| 122.9 | 226M | 91 |4063 |4344 | 733 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 678s| 28000 | 358 | 5676k| 122.9 | 226M | 91 |4063 |4269 | 733 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 680s| 28100 | 358 | 5692k| 123.0 | 226M | 91 |4063 |4253 | 737 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 681s| 28200 | 358 | 5705k| 123.0 | 226M | 91 |4063 |4269 | 738 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 683s| 28300 | 352 | 5717k| 123.0 | 226M | 91 |4063 |4267 | 738 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 685s| 28400 | 348 | 5733k| 123.1 | 226M | 91 |4063 |4279 | 733 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 686s| 28500 | 346 | 5746k| 123.1 | 226M | 91 |4063 |4289 | 733 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 688s| 28600 | 350 | 5759k| 123.1 | 226M | 91 |4063 |4234 | 737 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
688.69/690.94 c 689s| 28700 | 352 | 5770k| 123.1 | 226M | 91 |4063 |4207 | 734 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
769.91/772.40 c 691s| 28800 | 354 | 5782k| 123.1 | 226M | 91 |4063 |4231 | 740 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 692s| 28900 | 352 | 5795k| 123.1 | 226M | 91 |4063 |4211 | 740 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 694s| 29000 | 352 | 5811k| 123.2 | 226M | 91 |4063 |4211 | 742 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 696s| 29100 | 352 | 5826k| 123.2 | 226M | 91 |4063 |4229 | 0 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 697s| 29200 | 352 | 5836k| 123.2 | 226M | 91 |4063 |4272 | 739 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 699s| 29300 | 356 | 5844k| 123.1 | 226M | 91 |4063 |4290 | 743 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 700s| 29400 | 358 | 5851k| 123.0 | 226M | 91 |4063 |4302 | 738 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 701s| 29500 | 354 | 5862k| 123.0 | 226M | 91 |4063 |4321 | 743 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 703s| 29600 | 352 | 5870k| 122.9 | 226M | 91 |4063 |4336 | 744 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 704s| 29700 | 357 | 5882k| 122.9 | 226M | 91 |4063 |4297 | 740 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 705s| 29800 | 355 | 5889k| 122.8 | 226M | 91 |4063 |4299 | 742 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 707s| 29900 | 351 | 5900k| 122.7 | 226M | 91 |4063 |4280 | 740 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 708s| 30000 | 349 | 5911k| 122.7 | 226M | 91 |4063 |4246 | 742 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 710s| 30100 | 353 | 5924k| 122.7 | 226M | 91 |4063 |4233 | 744 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 711s| 30200 | 352 | 5939k| 122.8 | 226M | 91 |4063 |4250 | 736 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
769.91/772.40 c 713s| 30300 | 353 | 5949k| 122.7 | 226M | 91 |4063 |4307 | 738 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 714s| 30400 | 353 | 5962k| 122.8 | 226M | 91 |4063 |4292 | 737 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 716s| 30500 | 351 | 5978k| 122.8 | 227M | 91 |4063 |4276 | 739 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 718s| 30600 | 355 | 5991k| 122.8 | 227M | 91 |4063 |4270 | 741 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 719s| 30700 | 353 | 6003k| 122.8 | 227M | 91 |4063 |4258 | 742 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 721s| 30800 | 357 | 6014k| 122.8 | 227M | 91 |4063 |4264 | 741 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 722s| 30900 | 353 | 6027k| 122.8 | 227M | 91 |4063 |4268 | 752 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 723s| 31000 | 357 | 6037k| 122.8 | 227M | 91 |4063 |4269 | 741 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 725s| 31100 | 357 | 6047k| 122.7 | 227M | 91 |4063 |4274 | 741 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 727s| 31200 | 358 | 6065k| 122.8 | 227M | 91 |4063 |4275 | 740 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 728s| 31300 | 363 | 6078k| 122.9 | 227M | 91 |4063 |4302 | 741 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 730s| 31400 | 359 | 6093k| 122.9 | 227M | 91 |4063 |4326 | 739 | 16k| 2 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 732s| 31500 | 355 | 6106k| 122.9 | 227M | 91 |4063 |4355 | 740 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 733s| 31600 | 355 | 6121k| 123.0 | 227M | 91 |4063 |4346 | 747 | 16k| 2 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 735s| 31700 | 355 | 6137k| 123.1 | 227M | 91 |4063 |4343 | 749 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
769.91/772.40 c 737s| 31800 | 353 | 6153k| 123.1 | 227M | 91 |4063 |4374 | 747 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 739s| 31900 | 352 | 6168k| 123.2 | 227M | 91 |4063 |4387 | 735 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 741s| 32000 | 350 | 6188k| 123.3 | 227M | 91 |4063 |4399 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 743s| 32100 | 352 | 6205k| 123.4 | 227M | 91 |4063 |4326 | 734 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 745s| 32200 | 354 | 6221k| 123.5 | 227M | 91 |4063 |4302 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 747s| 32300 | 354 | 6238k| 123.6 | 227M | 91 |4063 |4299 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 749s| 32400 | 350 | 6257k| 123.7 | 227M | 91 |4063 |4321 | 744 | 16k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 751s| 32500 | 346 | 6275k| 123.8 | 227M | 91 |4063 |4309 | 746 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 752s| 32600 | 346 | 6287k| 123.8 | 227M | 91 |4063 |4286 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 754s| 32700 | 352 | 6300k| 123.9 | 227M | 91 |4063 |4244 | 0 | 16k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 755s| 32800 | 355 | 6312k| 123.8 | 227M | 91 |4063 |4244 | 732 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 757s| 32900 | 352 | 6326k| 123.9 | 227M | 91 |4063 |4253 | 743 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 759s| 33000 | 352 | 6341k| 123.9 | 227M | 91 |4063 |4243 | 733 | 16k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 760s| 33100 | 354 | 6351k| 123.9 | 227M | 91 |4063 |4269 | 741 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 761s| 33200 | 357 | 6357k| 123.8 | 227M | 91 |4063 |4317 | 740 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
769.91/772.40 c 762s| 33300 | 350 | 6369k| 123.7 | 227M | 91 |4063 |4280 | 751 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 763s| 33400 | 356 | 6380k| 123.7 | 227M | 91 |4063 |4211 | 737 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 765s| 33500 | 358 | 6392k| 123.7 | 227M | 91 |4063 |4210 | 738 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 766s| 33600 | 356 | 6401k| 123.6 | 227M | 91 |4063 |4221 | 742 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 767s| 33700 | 356 | 6410k| 123.6 | 227M | 91 |4063 |4197 | 747 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 769s| 33800 | 362 | 6424k| 123.6 | 227M | 91 |4063 |4184 | 741 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
769.91/772.40 c 771s| 33900 | 360 | 6438k| 123.6 | 227M | 91 |4063 |4194 | 746 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 772s| 34000 | 360 | 6450k| 123.6 | 227M | 91 |4063 |4201 | 742 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 774s| 34100 | 357 | 6462k| 123.6 | 227M | 91 |4063 |4265 | 741 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 776s| 34200 | 357 | 6480k| 123.7 | 227M | 91 |4063 |4260 | 743 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 778s| 34300 | 361 | 6495k| 123.8 | 227M | 91 |4063 |4227 | 741 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 779s| 34400 | 355 | 6511k| 123.9 | 227M | 91 |4063 |4231 | 743 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 781s| 34500 | 357 | 6525k| 123.9 | 227M | 91 |4063 |4254 | 743 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 782s| 34600 | 360 | 6532k| 123.8 | 227M | 91 |4063 |4292 | 764 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 783s| 34700 | 360 | 6542k| 123.7 | 227M | 91 |4063 |4310 | 738 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
870.37/873.22 c 784s| 34800 | 358 | 6551k| 123.7 | 228M | 91 |4063 |4319 | 737 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 786s| 34900 | 355 | 6564k| 123.7 | 228M | 91 |4063 |4301 | 748 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 788s| 35000 | 348 | 6576k| 123.7 | 228M | 91 |4063 |3849 | 739 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 789s| 35100 | 352 | 6582k| 123.6 | 228M | 91 |4063 |3916 | 743 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 790s| 35200 | 354 | 6590k| 123.5 | 228M | 91 |4063 |3918 | 749 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 791s| 35300 | 350 | 6598k| 123.4 | 228M | 91 |4063 |3932 | 750 | 17k| 2 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 793s| 35400 | 350 | 6610k| 123.4 | 228M | 91 |4063 |3977 | 723 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 794s| 35500 | 357 | 6621k| 123.4 | 228M | 91 |4063 |4047 | 723 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 795s| 35600 | 356 | 6630k| 123.3 | 228M | 91 |4063 |4200 | 722 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 797s| 35700 | 359 | 6643k| 123.3 | 228M | 91 |4063 |4312 | 0 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 799s| 35800 | 356 | 6657k| 123.3 | 228M | 91 |4063 |4399 | 727 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 801s| 35900 | 357 | 6674k| 123.4 | 228M | 91 |4063 |4458 | 724 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 803s| 36000 | 358 | 6688k| 123.5 | 228M | 91 |4063 |4515 | 0 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 804s| 36100 | 360 | 6700k| 123.4 | 228M | 91 |4063 |4627 | 726 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 806s| 36200 | 356 | 6714k| 123.5 | 228M | 91 |4063 |4607 | 723 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
870.37/873.22 c 808s| 36300 | 357 | 6728k| 123.5 | 228M | 91 |4063 |4610 | 728 | 17k| 1 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 810s| 36400 | 356 | 6742k| 123.5 | 228M | 91 |4063 |4582 | 727 | 17k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 812s| 36500 | 356 | 6757k| 123.6 | 228M | 91 |4063 |4670 | 0 | 17k| 0 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 814s| 36600 | 371 | 6774k| 123.7 | 228M | 91 |4063 |4572 | 737 | 17k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 816s| 36700 | 367 | 6796k| 123.9 | 228M | 91 |4063 |4126 | 724 | 17k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 818s| 36800 | 375 | 6814k| 124.0 | 228M | 91 |4063 |4025 | 741 | 18k| 0 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 820s| 36900 | 373 | 6830k| 124.0 | 228M | 91 |4063 |4018 | 753 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 823s| 37000 | 383 | 6853k| 124.2 | 229M | 91 |4063 |3838 | 702 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 825s| 37100 | 380 | 6870k| 124.3 | 229M | 91 |4063 |3842 | 722 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 827s| 37200 | 375 | 6889k| 124.4 | 229M | 91 |4063 |3844 | 716 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 829s| 37300 | 378 | 6902k| 124.4 | 229M | 91 |4063 |3883 | 743 | 18k| 0 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 830s| 37400 | 384 | 6914k| 124.4 | 229M | 91 |4063 |3885 | 739 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 832s| 37500 | 384 | 6925k| 124.4 | 229M | 91 |4063 |3916 | 710 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 835s| 37600 | 388 | 6948k| 124.6 | 229M | 91 |4063 |3904 | 716 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 837s| 37700 | 392 | 6969k| 124.7 | 229M | 91 |4063 |3807 | 764 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
870.37/873.22 c 839s| 37800 | 399 | 6988k| 124.9 | 229M | 91 |4063 |3566 | 739 | 18k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 842s| 37900 | 414 | 7007k| 125.0 | 229M | 91 |4063 |3558 | 737 | 18k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 844s| 38000 | 414 | 7023k| 125.0 | 229M | 91 |4063 |3674 | 746 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 846s| 38100 | 411 | 7040k| 125.1 | 229M | 91 |4063 |3655 | 737 | 19k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 848s| 38200 | 415 | 7063k| 125.3 | 229M | 91 |4063 |3628 | 747 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 850s| 38300 | 424 | 7082k| 125.4 | 229M | 91 |4063 |3577 | 743 | 19k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 853s| 38400 | 430 | 7103k| 125.6 | 229M | 91 |4063 |3495 | 716 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 856s| 38500 | 425 | 7127k| 125.8 | 230M | 91 |4063 |3470 | 717 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 858s| 38600 | 431 | 7145k| 125.9 | 230M | 91 |4063 |3517 | 766 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 860s| 38700 | 433 | 7160k| 125.9 | 230M | 91 |4063 |3524 | 735 | 19k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 862s| 38800 | 431 | 7179k| 126.0 | 230M | 91 |4063 |3543 | 746 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 864s| 38900 | 430 | 7195k| 126.1 | 230M | 91 |4063 |3525 | 763 | 20k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 866s| 39000 | 427 | 7214k| 126.2 | 230M | 91 |4063 |3507 | 737 | 20k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 868s| 39100 | 431 | 7234k| 126.3 | 230M | 91 |4063 |3526 | 724 | 20k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
870.37/873.22 c 871s| 39200 | 426 | 7258k| 126.5 | 230M | 91 |4063 |3556 | 751 | 20k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.83/1000.19 c 873s| 39300 | 425 | 7279k| 126.7 | 230M | 91 |4063 |3565 | 0 | 20k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 876s| 39400 | 433 | 7300k| 126.8 | 230M | 91 |4063 |3555 | 721 | 20k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 878s| 39500 | 432 | 7324k| 127.0 | 230M | 91 |4063 |3580 | 734 | 20k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 881s| 39600 | 432 | 7348k| 127.2 | 230M | 91 |4063 |3572 | 710 | 20k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 883s| 39700 | 442 | 7365k| 127.3 | 231M | 91 |4063 |3618 | 720 | 20k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 886s| 39800 | 434 | 7389k| 127.5 | 231M | 91 |4063 |3591 | 746 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 890s| 39900 | 436 | 7417k| 127.7 | 231M | 91 |4063 |3542 | 742 | 21k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 893s| 40000 | 430 | 7441k| 127.9 | 231M | 91 |4063 |3514 | 702 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 896s| 40100 | 428 | 7467k| 128.2 | 231M | 91 |4063 |3512 | 751 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 897s| 40200 | 424 | 7483k| 128.2 | 231M | 91 |4063 |3516 | 733 | 21k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 902s| 40300 | 392 | 7517k| 128.6 | 232M | 91 |4063 |3438 | 743 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 904s| 40400 | 399 | 7537k| 128.7 | 232M | 91 |4063 |3458 | 732 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 907s| 40500 | 400 | 7561k| 128.9 | 232M | 91 |4063 |3360 | 704 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 911s| 40600 | 404 | 7592k| 129.2 | 232M | 91 |4063 |3335 | 718 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 913s| 40700 | 403 | 7618k| 129.4 | 232M | 91 |4063 |3320 | 724 | 22k| 0 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.83/1000.19 c 917s| 40800 | 415 | 7644k| 129.6 | 232M | 91 |4063 |3306 | 743 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 919s| 40900 | 420 | 7665k| 129.8 | 232M | 91 |4063 |3292 | 710 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 923s| 41000 | 406 | 7696k| 130.1 | 232M | 91 |4063 |3322 | 738 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 925s| 41100 | 407 | 7713k| 130.1 | 232M | 91 |4063 |3346 | 748 | 22k| 0 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 928s| 41200 | 409 | 7741k| 130.4 | 232M | 91 |4063 |3363 | 719 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 932s| 41300 | 419 | 7771k| 130.7 | 232M | 91 |4063 |3349 | 780 | 22k| 0 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 935s| 41400 | 418 | 7791k| 130.8 | 232M | 91 |4063 |3483 | 779 | 23k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 937s| 41500 | 422 | 7813k| 131.0 | 232M | 91 |4063 |3619 | 767 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 939s| 41600 | 434 | 7828k| 131.0 | 232M | 91 |4063 |3617 | 784 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 942s| 41700 | 430 | 7848k| 131.1 | 232M | 91 |4063 |3655 | 797 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 943s| 41800 | 432 | 7855k| 131.0 | 232M | 91 |4063 |3709 | 806 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 946s| 41900 | 431 | 7874k| 131.1 | 232M | 91 |4063 |3758 | 797 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 948s| 42000 | 429 | 7892k| 131.2 | 232M | 91 |4063 |3820 | 0 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 950s| 42100 | 432 | 7910k| 131.3 | 232M | 91 |4063 |3818 | 797 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 953s| 42200 | 432 | 7928k| 131.3 | 232M | 91 |4063 |3857 | 0 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.83/1000.19 c 955s| 42300 | 433 | 7948k| 131.5 | 233M | 91 |4063 |3755 | 779 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 959s| 42400 | 440 | 7976k| 131.7 | 233M | 91 |4063 |3597 | 714 | 23k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 962s| 42500 | 448 | 7998k| 131.9 | 233M | 91 |4063 |3574 | 709 | 23k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 964s| 42600 | 454 | 8017k| 131.9 | 233M | 91 |4063 |3613 | 730 | 23k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 966s| 42700 | 462 | 8035k| 132.0 | 233M | 91 |4063 |3624 | 730 | 24k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 968s| 42800 | 454 | 8050k| 132.1 | 233M | 91 |4063 |3627 | 728 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 970s| 42900 | 450 | 8066k| 132.1 | 233M | 91 |4063 |3646 | 703 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 971s| 43000 | 454 | 8077k| 132.1 | 233M | 91 |4063 |3688 | 713 | 24k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 973s| 43100 | 450 | 8089k| 132.1 | 233M | 91 |4063 |3757 | 716 | 24k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 974s| 43200 | 452 | 8100k| 132.0 | 233M | 91 |4063 |3826 | 712 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 976s| 43300 | 452 | 8114k| 132.0 | 233M | 91 |4063 |3856 | 719 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 978s| 43400 | 462 | 8131k| 132.1 | 233M | 91 |4063 |3764 | 724 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 981s| 43500 | 462 | 8161k| 132.4 | 233M | 91 |4063 |3807 | 718 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 984s| 43600 | 457 | 8186k| 132.6 | 233M | 91 |4063 |3743 | 720 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 986s| 43700 | 460 | 8208k| 132.7 | 233M | 91 |4063 |3797 | 723 | 24k| 1 | 37k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.83/1000.19 c 990s| 43800 | 457 | 8235k| 132.9 | 233M | 91 |4063 |3827 | 717 | 24k| 0 | 37k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 993s| 43900 | 464 | 8257k| 133.1 | 234M | 91 |4063 |3780 | 714 | 25k| 1 | 37k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c 996s| 44000 | 456 | 8286k| 133.3 | 234M | 91 |4063 |3776 | 735 | 25k| 0 | 37k| 23 | 7.000000e+00 | -- | Inf | unknown
996.83/1000.19 c
996.83/1000.19 c SCIP Status : solving was interrupted [time limit reached]
996.83/1000.19 c Solving Time (sec) : 1000.00
996.83/1000.19 c Solving Nodes : 44095 (total of 62076 nodes in 2 runs)
996.83/1000.19 c Primal Bound : +1.00000000000000e+20 (0 solutions)
996.83/1000.19 c Dual Bound : +7.00000000000000e+00
996.83/1000.19 c Gap : infinite
996.83/1000.19 c ----------------------------------------------------------------------
996.83/1000.19 c dual bound: 7.0 -> 7
996.83/1000.19 c primal bound: 1e+20 -> 100000000000000000000
996.83/1000.19 c scip-goal-lb: 7
996.83/1000.19 c scip-goal-ub: 100000000000000000000
996.83/1000.19 c writing output to: HOME/tmp3me2kror.opb
996.83/1000.19 c appending fixed variable constraints
996.83/1000.19 c scip-fixed vars: 22.47% (913/4063)
996.83/1000.19 c ----------------------------------------------------------------------
996.83/1000.19 c executing external solver: HOME/naps-1.03a6
996.83/1000.19 c ----------------------------------------------------------------------
996.83/1000.19 c command: HOME/naps-1.03a6 -goal-lb=7 -goal-ub=99999999999999999999 HOME/tmp3me2kror.opb
996.92/1000.20 c NaPS 1.03a6.
996.92/1000.20 c Input file name: HOME/tmp3me2kror.opb
999.11/1002.40 c single stage optimization mode
3600.09/3610.00 c
3600.09/3610.00 c *** TERMINATED *** by signal 15
3600.09/3610.00 c _____________________________________________________________________________
3600.09/3610.00 c std/band forms : 523,0
3600.09/3610.00 c 2cl/3cl ITE-codings : 357952,0
3600.09/3610.00 c BDD/srt/adr Max costs : 1232,16832,0
3600.09/3610.00 c BDDraw/bin/mul/srt/adr: 448,0,0,75,0
3600.09/3610.00 c BDD nodes : 552384
3600.09/3610.00 c Es1/CC detections : 0,0
3600.09/3610.00 c CC sort : 75
3600.09/3610.00 c SAT/UNSAT calls : 0,0
3600.09/3610.00 c regenrated variables : 0
3600.09/3610.00 c eliminated fixed lits : 935
3600.09/3610.00 c goal lit flips : 0
3600.09/3610.00 c goal stages : 1
3600.09/3610.00 c goal shrink : 0
3600.09/3610.00 c goal coeff separations: 0
3600.09/3610.00 c restarts : 0
3600.09/3610.00 c conflicts : 0 (0 /sec)
3600.09/3610.00 c decisions : 0 (0 /sec)
3600.09/3610.00 c propagations : 0 (0 /sec)
3600.09/3610.00 c inspects : 0 (0 /sec)
3600.09/3610.00 c CPU time (solving tm) : 2602 s (2600 s, SAT 0 s, UNSAT 0 s)
3600.09/3610.00 c Time for Opt-base : 0.001029 s
3600.09/3610.00 c Steps for Opt-base : 0
3600.09/3610.00 c Time for BDD coding : 1.557 s
3600.09/3610.00 c Time for srt coding : 0.0112 s
3600.09/3610.00 c _____________________________________________________________________________
3600.09/3610.00 s UNKNOWN
3600.09/3610.08 c received SIGTERM, forwarding to pbsolver...
3600.09/3610.08 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
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: 63708 MiB (61774 MiB free)
memory of node 1: 64465 MiB (62991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499317-1751395038/watcher-4499317-1751395038 -o /tmp/evaluation-result-4499317-1751395038/solver-4499317-1751395038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51590 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4499317-1751395038.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=54597, runsolver pid=54594
Current StackSize limit: 8192 KiB
[startup+0.10003 s]*
/proc/loadavg: 4.16 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127749656/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1186236 memory=30620 CPUtime=0.06 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 3533 0 0 0 5 1 0 0 20 0 1 0 55126332 1214705664 7655 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 296559 7655 4775 1 0 268581 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190428 KiB
Current children cumulated memory: 33692 KiB
[startup+0.205717 s]*
/proc/loadavg: 4.16 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127733780/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1224140 memory=76188 CPUtime=0.16 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 12101 0 0 0 14 2 0 0 20 0 1 0 55126332 1253519360 19047 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 306035 19047 7847 1 0 277393 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1228332 KiB
Current children cumulated memory: 79260 KiB
[startup+0.305672 s]*
/proc/loadavg: 4.16 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127709336/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1240784 memory=91164 CPUtime=0.26 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 15885 0 0 0 24 2 0 0 20 0 1 0 55126332 1270562816 22791 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 310196 22791 7879 1 0 281554 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1244976 KiB
Current children cumulated memory: 94236 KiB
[startup+0.700209 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127701272/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1259928 memory=102300 CPUtime=0.64 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 18623 0 0 0 62 2 0 0 20 0 1 0 55126332 1290166272 25575 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 314982 25575 7943 1 0 286340 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1264120 KiB
Current children cumulated memory: 105372 KiB
[startup+1.50021 s]
/proc/loadavg: 4.16 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127693208/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1263964 memory=106780 CPUtime=1.45 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 19745 0 0 0 142 3 0 0 20 0 1 0 55126332 1294299136 26695 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 315991 26695 7943 1 0 287349 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1268156 KiB
Current children cumulated memory: 109852 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127636776/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1344488 memory=184860 CPUtime=3.05 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 39121 0 0 0 299 6 0 0 20 0 1 0 55126332 1376755712 46215 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 336122 46215 8103 1 0 307480 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1348680 KiB
Current children cumulated memory: 187932 KiB
[startup+6.30021 s]
/proc/loadavg: 4.15 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127587384/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1365364 memory=207532 CPUtime=6.23 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 54847 0 0 0 615 8 0 0 20 0 1 0 55126332 1398132736 51883 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 341341 51883 8103 1 0 312699 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1369556 KiB
Current children cumulated memory: 210604 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/271 54602
/proc/meminfo: memFree=127603516/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1370208 memory=212384 CPUtime=12.61 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 63745 0 0 0 1251 10 0 0 20 0 1 0 55126332 1403092992 53096 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 342552 53096 8103 1 0 313910 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1374400 KiB
Current children cumulated memory: 215456 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 54602
/proc/meminfo: memFree=127605580/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1370208 memory=212640 CPUtime=25.37 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 63809 0 0 0 2527 10 0 0 20 0 1 0 55126332 1403092992 53160 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 342552 53160 8103 1 0 313910 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1374400 KiB
Current children cumulated memory: 215712 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 54603
/proc/meminfo: memFree=127575928/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1393356 memory=234320 CPUtime=50.9 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 70436 0 0 0 5079 11 0 0 20 0 1 0 55126332 1426796544 58580 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 348339 58580 8103 1 0 319697 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1397548 KiB
Current children cumulated memory: 237392 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 54605
/proc/meminfo: memFree=127576768/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1393356 memory=234576 CPUtime=101.93 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 70507 0 0 0 10182 11 0 0 20 0 1 0 55126332 1426796544 58644 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 348339 58644 8103 1 0 319697 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1397548 KiB
Current children cumulated memory: 237648 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 54611
/proc/meminfo: memFree=127563780/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1395784 memory=238928 CPUtime=161.75 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 71478 0 0 0 16163 12 0 0 20 0 1 0 55126332 1429282816 59732 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 348946 59732 8231 1 0 320304 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1399976 KiB
Current children cumulated memory: 242000 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 54613
/proc/meminfo: memFree=127431480/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1467456 memory=310964 CPUtime=221.56 cores=0,2
/proc/54602/stat : 54602 (python3) R 54597 54597 51580 0 -1 4194304 103233 0 0 0 22139 17 0 0 20 0 1 0 55126332 1502674944 77741 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 366864 77741 8231 1 0 338222 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1471648 KiB
################
# More data... #
################
[pid=54648] ppid=54602 vsize=473376 memory=460532 CPUtime=2156.54 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 100001 0 0 0 215521 133 0 0 20 0 1 0 55226349 484737024 115133 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118344 115133 640 696 0 117505 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 1946652 KiB
Current children cumulated memory: 778468 KiB
[startup+3222.3 s]
/proc/loadavg: 1.14 1.15 1.75 2/247 54858
/proc/meminfo: memFree=128983676/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=472868 memory=460024 CPUtime=2216.4 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 101151 0 0 0 221505 135 0 0 20 0 1 0 55226349 484216832 115006 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118217 115006 640 696 0 117378 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 1946144 KiB
Current children cumulated memory: 777960 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.14 1.71 2/247 54859
/proc/meminfo: memFree=128983820/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=473860 memory=461016 CPUtime=2276.25 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 102120 0 0 0 227488 137 0 0 20 0 1 0 55226349 485232640 115254 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118465 115254 640 696 0 117626 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 1947136 KiB
Current children cumulated memory: 778952 KiB
[startup+3342.3 s]
/proc/loadavg: 1.04 1.11 1.66 2/246 54861
/proc/meminfo: memFree=128983308/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=474444 memory=461600 CPUtime=2336.12 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 103215 0 0 0 233472 140 0 0 20 0 1 0 55226349 485830656 115400 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118611 115400 640 696 0 117772 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 1947720 KiB
Current children cumulated memory: 779536 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.12 1.63 3/246 54863
/proc/meminfo: memFree=128983624/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=473228 memory=460384 CPUtime=2395.97 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 104389 0 0 0 239455 142 0 0 20 0 1 0 55226349 484585472 115096 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118307 115096 640 696 0 117468 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 1946504 KiB
Current children cumulated memory: 778320 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.11 1.59 2/246 54865
/proc/meminfo: memFree=128981696/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=474940 memory=462096 CPUtime=2455.82 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 105421 0 0 0 245438 144 0 0 20 0 1 0 55226349 486338560 115524 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118735 115524 640 696 0 117896 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 1948216 KiB
Current children cumulated memory: 780032 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.10 1.56 2/246 54867
/proc/meminfo: memFree=128982192/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=474552 memory=461708 CPUtime=2515.68 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 106168 0 0 0 251421 147 0 0 20 0 1 0 55226349 485941248 115427 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118638 115427 640 696 0 117799 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 1947828 KiB
Current children cumulated memory: 779644 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.10 1.52 2/246 54869
/proc/meminfo: memFree=128982588/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=475124 memory=462280 CPUtime=2575.53 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 107097 0 0 0 257405 148 0 0 20 0 1 0 55226349 486526976 115570 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118781 115570 640 696 0 117942 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 1948400 KiB
Current children cumulated memory: 780216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 1.12 1.10 1.51 2/246 54870
/proc/meminfo: memFree=128982208/131250000 swapFree=33010684/33010684
[pid=54597] ppid=54594 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54597/stat : 54597 (scip-naps-1.00.) S 54594 54597 51580 0 -1 4194304 257 338 0 0 0 0 0 0 20 0 1 0 55126329 4292608 768 18446744073709551615 94310747545600 94310748440133 140732227541008 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94310748679184 94310748726928 94310764494848 140732227545505 140732227545602 140732227545602 140732227551204 0
/proc/54597/statm: 1048 768 704 219 0 110 0
[pid=54602] ppid=54597 vsize=1469084 memory=314864 CPUtime=996.92 cores=0,2
/proc/54602/stat : 54602 (python3) S 54597 54597 51580 0 -1 4194304 104140 0 0 0 99673 19 0 0 20 0 1 0 55126332 1504342016 78716 18446744073709551615 94643839442944 94643839443321 140734032882944 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94643839454616 94643839455236 94643839696896 140734032886119 140734032886306 140734032886306 140734032891879 0
/proc/54602/statm: 367271 78716 8263 1 0 338629 0
[pid=54648] ppid=54602 vsize=475408 memory=462564 CPUtime=2603.17 cores=0,2
/proc/54648/stat : 54648 (naps-1.03a6) R 54602 54648 54648 0 -1 4194304 107495 0 0 0 260168 149 0 0 20 0 1 0 55226349 486817792 115641 18446744073709551615 4198400 7047149 140736180310032 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 35303424 140736180312424 140736180312563 140736180312563 140736180318153 0
/proc/54648/statm: 118852 115641 640 696 0 118013 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1948684 KiB
Current children cumulated memory: 780500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 54597 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000729 s, system=0.005081 s
[startup+3610.12 s]
# the end of solver process 54602 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.51 s, system=1.72934 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.24
CPU user time (s): 3598.51
CPU system time (s): 1.72934
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 2136228
Max. memory (cumulated for all children) (KiB): 953672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.51
system time used= 1.72934
maximum resident set size= 635736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398
involuntary context switches= 5135
# summary of solver processes directly reported to runsolver:
# pid: 54597,54602
# total CPU time (s): 3600.24
# total CPU user time (s): 3598.51
# total CPU system time (s): 1.72934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29211 second user time and 16.4485 second system time
The end