40.21/40.64 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530285-1752253843.opb
40.21/40.64 c Solving mode: optimization
40.21/40.64 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
40.21/40.64 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
40.21/40.64 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
40.21/40.64 c presolving:
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 c (0.3s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
40.21/40.64 c (0.3s) probing aborted: 50/50 successive totally useless probings
40.21/40.64 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
40.21/40.64 c (1.9s) symmetry computation finished: 502 generators found (max: 1500, log10 of symmetry group size: 160.0) (symcode time: 1.55)
40.21/40.64 c dynamic symmetry handling statistics:
40.21/40.64 c orbitopal reduction: no components
40.21/40.64 c orbital reduction: no components
40.21/40.64 c lexicographic reduction: no permutations
40.21/40.64 c handled 1 out of 1 symmetry components
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 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
40.21/40.64 c (2.6s) probing: 1000/4970 (20.1%) - 0 fixings, 0 aggregations, 38651 implications, 0 bound changes
40.21/40.64 c (2.8s) probing: 1425/4970 (28.7%) - 0 fixings, 0 aggregations, 59192 implications, 0 bound changes
40.21/40.64 c (2.8s) probing aborted: 1000/1000 successive useless probings
40.21/40.64 c presolving (14 rounds: 14 fast, 10 medium, 3 exhaustive):
40.21/40.64 c 915 deleted vars, 4973 deleted constraints, 447 added constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
40.21/40.64 c 0 implications, 43855 cliques
40.21/40.64 c presolved problem has 4063 variables (4063 bin, 0 int, 0 impl, 0 cont) and 968 constraints
40.21/40.64 c 448 constraints of type <knapsack>
40.21/40.64 c 73 constraints of type <setppc>
40.21/40.64 c 447 constraints of type <orbitope>
40.21/40.64 c transformed objective value is always integral (scale: 1)
40.21/40.64 c Presolving Time: 2.79
40.21/40.64 c
40.21/40.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.21/40.64 c 3.3s| 1 | 0 | 780 | - | 111M | 0 |4063 |1040 | 521 | 0 | 0 | 71 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 3.5s| 1 | 0 | 1789 | - | 114M | 0 |4063 |1042 | 537 | 16 | 1 | 73 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 3.6s| 1 | 0 | 1833 | - | 117M | 0 |4063 |1042 | 558 | 37 | 2 | 73 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 3.7s| 1 | 0 | 1925 | - | 118M | 0 |4063 |1042 | 580 | 59 | 3 | 73 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 3.7s| 1 | 0 | 2068 | - | 119M | 0 |4063 |1048 | 602 | 81 | 4 | 79 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 3.8s| 1 | 0 | 2141 | - | 124M | 0 |4063 |1050 | 620 | 99 | 5 | 81 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 3.9s| 1 | 0 | 2243 | - | 127M | 0 |4063 |1054 | 639 | 118 | 6 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 4.0s| 1 | 0 | 2334 | - | 129M | 0 |4063 |1054 | 659 | 138 | 7 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 4.1s| 1 | 0 | 2452 | - | 131M | 0 |4063 |1054 | 680 | 159 | 8 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 4.1s| 1 | 0 | 2511 | - | 132M | 0 |4063 |1054 | 701 | 180 | 9 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 4.2s| 1 | 0 | 2607 | - | 135M | 0 |4063 |1054 | 721 | 200 | 10 | 85 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 4.3s| 1 | 0 | 2788 | - | 139M | 0 |4063 |1055 | 746 | 225 | 11 | 86 | 0 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 4.9s| 1 | 2 | 5224 | - | 140M | 0 |4063 |1072 | 746 | 225 | 11 | 103 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 9.9s| 100 | 93 | 33045 | 307.4 | 144M | 31 |4063 |1378 | 597 | 519 | 1 | 414 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 11.4s| 200 | 122 | 45187 | 213.9 | 147M | 40 |4063 |1477 | 602 | 654 | 1 | 513 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.21/40.64 c 13.7s| 300 | 116 | 65664 | 210.9 | 147M | 40 |4063 |1501 | 604 | 801 | 0 | 538 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 15.8s| 400 | 139 | 82956 | 201.4 | 153M | 44 |4063 |1568 | 599 | 931 | 1 | 605 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 18.5s| 500 | 165 |101570 | 198.3 | 154M | 48 |4063 |1602 | 609 |1110 | 0 | 641 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 20.5s| 600 | 173 |121171 | 197.9 | 155M | 48 |4063 |1637 | 594 |1274 | 1 | 676 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 23.0s| 700 | 191 |146724 | 206.2 | 155M | 48 |4063 |1637 | 615 |1387 | 0 | 676 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 25.3s| 800 | 211 |168033 | 207.0 | 155M | 48 |4063 |1665 | 0 |1572 | 0 | 705 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 27.9s| 900 | 225 |192319 | 211.0 | 159M | 50 |4063 |1741 | 602 |1917 | 1 | 783 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 29.6s| 1000 | 240 |207661 | 205.2 | 160M | 50 |4063 |1764 | 614 |2123 | 1 | 807 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 31.5s| 1100 | 263 |224389 | 201.8 | 160M | 50 |4063 |1802 | 617 |2337 | 1 | 862 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 33.0s| 1200 | 276 |238438 | 196.7 | 161M | 50 |4063 |1883 | 610 |2456 | 1 | 944 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 35.2s| 1300 | 288 |259811 | 198.0 | 163M | 50 |4063 |1926 | 616 |2672 | 1 | 998 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 37.4s| 1400 | 297 |280698 | 198.8 | 165M | 50 |4063 |2002 | 597 |2834 | 1 |1081 | 12 | 7.000000e+00 | -- | Inf | unknown
40.21/40.64 c 39.0s| 1500 | 325 |294108 | 194.5 | 167M | 50 |4063 |2071 | 625 |2968 | 1 |1155 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 40.2s| 1600 | 337 |302889 | 187.8 | 168M | 50 |4063 |2176 | 625 |3099 | 1 |1263 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 41.0s| 1700 | 334 |309828 | 180.8 | 168M | 50 |4063 |2360 | 0 |3242 | 0 |1447 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.88/95.52 c 42.1s| 1800 | 346 |317968 | 175.3 | 169M | 57 |4063 |2445 | 628 |3384 | 1 |1532 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 42.9s| 1900 | 354 |324960 | 169.7 | 170M | 60 |4063 |2545 | 631 |3480 | 1 |1632 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 43.8s| 2000 | 356 |331896 | 164.7 | 171M | 60 |4063 |2626 | 631 |3579 | 0 |1720 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 44.8s| 2100 | 356 |339811 | 160.6 | 172M | 60 |4063 |2659 | 642 |3676 | 2 |1760 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 45.6s| 2200 | 363 |346392 | 156.3 | 172M | 60 |4063 |2776 | 613 |3803 | 0 |1892 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 47.0s| 2300 | 369 |358855 | 155.0 | 172M | 60 |4063 |2787 | 633 |4034 | 0 |1912 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 48.0s| 2400 | 375 |367960 | 152.3 | 173M | 60 |4063 |2880 | 0 |4141 | 0 |2007 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 48.9s| 2500 | 377 |375271 | 149.1 | 174M | 60 |4063 |2985 | 639 |4255 | 2 |2120 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 49.9s| 2600 | 385 |384058 | 146.8 | 175M | 60 |4063 |3033 | 626 |4354 | 1 |2169 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 51.1s| 2700 | 387 |394981 | 145.4 | 175M | 60 |4063 |3077 | 625 |4561 | 1 |2217 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 52.1s| 2800 | 394 |402207 | 142.8 | 175M | 60 |4063 |3213 | 0 |4723 | 0 |2362 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 53.1s| 2900 | 413 |410746 | 140.8 | 176M | 60 |4063 |3311 | 633 |4878 | 1 |2477 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 54.2s| 3000 | 408 |419251 | 138.9 | 176M | 60 |4063 |3416 | 643 |5058 | 2 |2592 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 55.1s| 3100 | 413 |427838 | 137.2 | 177M | 60 |4063 |3482 | 638 |5173 | 1 |2673 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 56.0s| 3200 | 414 |435065 | 135.2 | 177M | 60 |4063 |3586 | 0 |5213 | 0 |2787 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.88/95.52 c 56.8s| 3300 | 437 |441429 | 133.0 | 177M | 60 |4063 |3678 | 640 |5329 | 0 |2897 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 57.7s| 3400 | 433 |447562 | 130.9 | 178M | 60 |4063 |3792 | 637 |5393 | 1 |3026 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 58.5s| 3500 | 427 |453550 | 128.9 | 178M | 60 |4063 |3877 | 619 |5469 | 1 |3142 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 59.5s| 3600 | 437 |461846 | 127.6 | 178M | 60 |4063 |3902 | 640 |5607 | 2 |3208 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 60.4s| 3700 | 436 |469215 | 126.1 | 179M | 60 |4063 |3987 | 622 |5764 | 1 |3323 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 61.4s| 3800 | 438 |477940 | 125.1 | 179M | 60 |4063 |4062 | 0 |5830 | 0 |3403 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 62.3s| 3900 | 434 |485701 | 123.9 | 179M | 60 |4063 |4122 | 632 |5916 | 0 |3487 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 63.3s| 4000 | 441 |494359 | 123.0 | 179M | 60 |4063 |4181 | 626 |6048 | 1 |3577 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 64.5s| 4100 | 444 |504824 | 122.5 | 180M | 60 |4063 |4265 | 639 |6208 | 1 |3689 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 65.0s| 4200 | 444 |507962 | 120.3 | 180M | 60 |4063 |4402 | 0 |6231 | 0 |3853 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 66.3s| 4300 | 453 |520324 | 120.4 | 181M | 60 |4063 |4429 | 631 |6407 | 1 |4020 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 67.6s| 4400 | 459 |532614 | 120.5 | 181M | 60 |4063 |4416 | 0 |6564 | 0 |4080 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 68.5s| 4500 | 460 |539234 | 119.3 | 181M | 60 |4063 |4518 | 640 |6656 | 0 |4207 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 69.5s| 4600 | 456 |548825 | 118.8 | 181M | 60 |4063 |4539 | 628 |6761 | 0 |4282 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 70.9s| 4700 | 470 |561163 | 118.9 | 181M | 60 |4063 |4537 | 629 |6991 | 1 |4335 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.88/95.52 c 72.5s| 4800 | 474 |577293 | 119.7 | 182M | 60 |4063 |4587 | 0 |7324 | 0 |4447 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 73.7s| 4900 | 492 |588426 | 119.6 | 182M | 60 |4063 |4574 | 0 |7551 | 0 |4519 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 74.7s| 5000 | 512 |596519 | 118.8 | 182M | 60 |4063 |4644 | 643 |7744 | 1 |4648 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 75.8s| 5100 | 526 |605951 | 118.3 | 182M | 60 |4063 |4673 | 0 |7919 | 0 |4762 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 76.8s| 5200 | 531 |615835 | 117.9 | 182M | 60 |4063 |4734 | 642 |8045 | 2 |4851 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 77.8s| 5300 | 540 |624814 | 117.4 | 183M | 60 |4063 |4746 | 0 |8111 | 0 |4885 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 78.8s| 5400 | 543 |634733 | 117.1 | 183M | 60 |4063 |4819 | 636 |8210 | 1 |4975 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 79.9s| 5500 | 551 |644516 | 116.7 | 183M | 60 |4063 |4853 | 645 |8314 | 1 |5018 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 80.9s| 5600 | 545 |654674 | 116.5 | 183M | 60 |4063 |4877 | 650 |8394 | 1 |5075 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 82.6s| 5700 | 550 |671396 | 117.4 | 183M | 60 |4063 |4876 | 640 |8560 | 1 |5099 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 83.8s| 5800 | 557 |682763 | 117.3 | 183M | 60 |4063 |4906 | 626 |8673 | 1 |5176 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 84.8s| 5900 | 565 |691889 | 116.8 | 184M | 60 |4063 |4945 | 653 |8815 | 1 |5262 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 85.6s| 6000 | 564 |698757 | 116.0 | 184M | 60 |4063 |4852 | 651 |8862 | 0 |5372 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 86.5s| 6100 | 562 |706391 | 115.4 | 184M | 60 |4063 |4768 | 641 |8950 | 0 |5424 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 87.7s| 6200 | 575 |717014 | 115.2 | 184M | 60 |4063 |4690 | 628 |9109 | 0 |5508 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.88/95.52 c 88.8s| 6300 | 597 |728163 | 115.2 | 184M | 60 |4063 |4647 | 641 |9240 | 0 |5562 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 90.0s| 6400 | 618 |738825 | 115.1 | 184M | 60 |4063 |4592 | 0 |9366 | 0 |5591 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 91.1s| 6500 | 620 |749865 | 115.0 | 184M | 60 |4063 |4702 | 647 |9503 | 1 |5710 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 92.5s| 6600 | 610 |764648 | 115.5 | 184M | 60 |4063 |4733 | 649 |9670 | 0 |5758 | 12 | 7.000000e+00 | -- | Inf | unknown
94.88/95.52 c 93.6s| 6700 | 621 |775061 | 115.3 | 184M | 60 |4063 |4672 | 633 |9795 | 1 |5820 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 95.0s| 6800 | 618 |788757 | 115.6 | 185M | 60 |4063 |4616 | 635 |9971 | 1 |5845 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 96.0s| 6900 | 620 |796747 | 115.1 | 185M | 60 |4063 |4525 | 627 | 10k| 0 |5858 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 97.1s| 7000 | 620 |806760 | 114.9 | 185M | 60 |4063 |4479 | 628 | 10k| 1 |5933 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 98.3s| 7100 | 633 |818109 | 114.9 | 185M | 60 |4063 |4382 | 655 | 10k| 1 |6001 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 99.4s| 7200 | 635 |828817 | 114.8 | 185M | 60 |4063 |4335 | 636 | 10k| 0 |6036 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 101s| 7300 | 635 |838999 | 114.6 | 185M | 60 |4063 |4316 | 633 | 10k| 1 |6108 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 101s| 7400 | 645 |845684 | 113.9 | 185M | 60 |4063 |4370 | 634 | 10k| 1 |6186 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 103s| 7500 | 640 |857341 | 114.0 | 185M | 60 |4063 |4325 | 639 | 10k| 1 |6253 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 104s| 7600 | 644 |872728 | 114.5 | 185M | 60 |4063 |4265 | 638 | 10k| 1 |6266 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 105s| 7700 | 649 |883280 | 114.4 | 186M | 60 |4063 |4298 | 626 | 10k| 0 |6375 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.74/152.69 c 107s| 7800 | 660 |897814 | 114.8 | 186M | 60 |4063 |4219 | 646 | 11k| 1 |6392 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 108s| 7900 | 659 |910488 | 114.9 | 186M | 60 |4063 |4324 | 0 | 11k| 0 |6531 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 109s| 8000 | 666 |920066 | 114.7 | 186M | 60 |4063 |4379 | 639 | 11k| 0 |6650 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 110s| 8100 | 666 |931502 | 114.7 | 186M | 60 |4063 |4409 | 653 | 11k| 0 |6706 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 111s| 8200 | 679 |937864 | 114.1 | 186M | 60 |4063 |4495 | 637 | 11k| 1 |6880 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 112s| 8300 | 681 |945938 | 113.7 | 186M | 60 |4063 |4529 | 623 | 11k| 1 |6975 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 113s| 8400 | 685 |952316 | 113.1 | 186M | 60 |4063 |4561 | 0 | 11k| 0 |7067 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 114s| 8500 | 688 |960711 | 112.7 | 186M | 60 |4063 |4582 | 648 | 11k| 1 |7156 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 115s| 8600 | 687 |970712 | 112.6 | 187M | 60 |4063 |4681 | 645 | 11k| 1 |7362 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 116s| 8700 | 699 |976761 | 112.0 | 187M | 60 |4063 |4696 | 637 | 11k| 1 |7442 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 116s| 8800 | 715 |984704 | 111.6 | 187M | 60 |4063 |4664 | 634 | 12k| 1 |7518 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 118s| 8900 | 719 |994296 | 111.4 | 187M | 60 |4063 |4704 | 623 | 12k| 0 |7637 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 119s| 9000 | 719 | 1004k| 111.3 | 187M | 60 |4063 |4660 | 677 | 12k| 1 |7691 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 120s| 9100 | 725 | 1017k| 111.6 | 187M | 60 |4063 |4655 | 635 | 12k| 1 |7804 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 122s| 9200 | 737 | 1031k| 111.8 | 187M | 60 |4063 |4686 | 642 | 12k| 0 |7848 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.74/152.69 c 122s| 9300 | 747 | 1038k| 111.4 | 187M | 60 |4063 |4722 | 632 | 12k| 0 |7909 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 123s| 9400 | 744 | 1046k| 111.1 | 187M | 60 |4063 |4897 | 0 | 12k| 0 |8101 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 124s| 9500 | 747 | 1054k| 110.7 | 188M | 60 |4063 |4996 | 628 | 12k| 0 |8259 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 125s| 9600 | 744 | 1063k| 110.5 | 188M | 60 |4063 |5049 | 638 | 13k| 2 |8381 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 127s| 9700 | 754 | 1076k| 110.8 | 188M | 60 |4063 |4982 | 620 | 13k| 1 |8452 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 128s| 9800 | 766 | 1083k| 110.3 | 188M | 60 |4063 |4979 | 636 | 13k| 1 |8466 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 128s| 9900 | 770 | 1090k| 109.9 | 188M | 60 |4063 |5044 | 636 | 13k| 1 |8535 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 129s| 10000 | 768 | 1098k| 109.6 | 188M | 60 |4063 |5016 | 0 | 13k| 0 |8663 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 130s| 10100 | 774 | 1109k| 109.6 | 189M | 60 |4063 |4951 | 631 | 13k| 1 |8716 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 132s| 10200 | 775 | 1122k| 109.8 | 189M | 60 |4063 |4891 | 647 | 13k| 0 |8757 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 133s| 10300 | 791 | 1132k| 109.7 | 189M | 60 |4063 |4822 | 645 | 13k| 1 |8842 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 134s| 10400 | 802 | 1138k| 109.2 | 189M | 60 |4063 |4788 | 635 | 13k| 1 |8904 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 134s| 10500 | 795 | 1144k| 108.7 | 189M | 60 |4063 |4865 | 632 | 13k| 0 |8995 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 136s| 10600 | 797 | 1156k| 108.8 | 189M | 60 |4063 |4792 | 633 | 13k| 0 |9042 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 137s| 10700 | 798 | 1166k| 108.8 | 189M | 60 |4063 |4782 | 643 | 14k| 1 |9075 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.74/152.69 c 138s| 10800 | 793 | 1180k| 109.0 | 189M | 60 |4063 |4679 | 658 | 14k| 1 |9122 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 139s| 10900 | 795 | 1187k| 108.7 | 189M | 60 |4063 |4680 | 643 | 14k| 0 |9186 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 140s| 11000 | 799 | 1194k| 108.4 | 189M | 60 |4063 |4734 | 636 | 14k| 1 |9295 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 141s| 11100 | 801 | 1204k| 108.3 | 189M | 60 |4063 |4693 | 633 | 14k| 1 |9363 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 142s| 11200 | 807 | 1218k| 108.5 | 189M | 60 |4063 |4711 | 626 | 14k| 0 |9409 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 144s| 11300 | 805 | 1231k| 108.8 | 189M | 60 |4063 |4677 | 0 | 14k| 0 |9436 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 145s| 11400 | 810 | 1244k| 108.9 | 190M | 60 |4063 |4633 | 626 | 14k| 1 |9484 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 146s| 11500 | 816 | 1253k| 108.8 | 190M | 60 |4063 |4662 | 635 | 15k| 0 |9546 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 147s| 11600 | 820 | 1261k| 108.6 | 190M | 60 |4063 |4709 | 630 | 15k| 0 |9613 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 148s| 11700 | 826 | 1270k| 108.4 | 190M | 60 |4063 |4727 | 634 | 15k| 1 |9644 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 149s| 11800 | 822 | 1281k| 108.4 | 190M | 60 |4063 |4801 | 640 | 15k| 1 |9745 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 150s| 11900 | 820 | 1293k| 108.5 | 190M | 60 |4063 |4847 | 623 | 15k| 1 |9831 | 12 | 7.000000e+00 | -- | Inf | unknown
151.74/152.69 c 151s| 12000 | 818 | 1303k| 108.5 | 190M | 60 |4063 |4902 | 627 | 15k| 0 |9900 | 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 152s| 12100 | 818 | 1312k| 108.3 | 190M | 60 |4063 |4876 | 641 | 15k| 1 |9979 | 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 153s| 12200 | 828 | 1324k| 108.3 | 190M | 60 |4063 |4841 | 635 | 15k| 1 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
203.73/204.88 c 154s| 12300 | 832 | 1334k| 108.3 | 190M | 60 |4063 |4880 | 649 | 15k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 156s| 12400 | 842 | 1347k| 108.5 | 190M | 60 |4063 |4916 | 631 | 15k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 156s| 12500 | 852 | 1353k| 108.0 | 190M | 60 |4063 |4905 | 634 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 157s| 12600 | 860 | 1357k| 107.6 | 190M | 60 |4063 |4877 | 0 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 158s| 12700 | 876 | 1365k| 107.3 | 190M | 60 |4063 |4894 | 0 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 159s| 12800 | 882 | 1375k| 107.2 | 190M | 60 |4063 |4860 | 636 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 160s| 12900 | 886 | 1381k| 106.9 | 191M | 60 |4063 |4860 | 630 | 16k| 1 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 161s| 13000 | 907 | 1387k| 106.5 | 191M | 60 |4063 |4752 | 629 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 162s| 13100 | 918 | 1394k| 106.2 | 191M | 60 |4063 |4649 | 0 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 163s| 13200 | 940 | 1406k| 106.3 | 191M | 60 |4063 |4575 | 641 | 16k| 1 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 164s| 13300 | 941 | 1415k| 106.2 | 191M | 60 |4063 |4600 | 661 | 16k| 0 | 10k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 166s| 13400 | 951 | 1429k| 106.5 | 191M | 60 |4063 |4553 | 641 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 167s| 13500 | 944 | 1439k| 106.5 | 191M | 60 |4063 |4462 | 643 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 169s| 13600 | 954 | 1448k| 106.3 | 191M | 60 |4063 |4461 | 640 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 169s| 13700 | 959 | 1454k| 106.0 | 191M | 60 |4063 |4451 | 0 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
203.73/204.88 c 170s| 13800 | 968 | 1462k| 105.8 | 191M | 60 |4063 |4444 | 635 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 171s| 13900 | 983 | 1470k| 105.6 | 192M | 60 |4063 |4405 | 635 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 172s| 14000 | 996 | 1475k| 105.2 | 192M | 60 |4063 |4427 | 636 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 173s| 14100 | 996 | 1481k| 104.9 | 192M | 60 |4063 |4480 | 654 | 17k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 174s| 14200 | 999 | 1493k| 105.0 | 192M | 60 |4063 |4357 | 641 | 17k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 175s| 14300 | 1020 | 1500k| 104.7 | 192M | 60 |4063 |4356 | 0 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 176s| 14400 | 1022 | 1506k| 104.4 | 192M | 60 |4063 |4398 | 0 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 177s| 14500 | 1022 | 1511k| 104.1 | 192M | 70 |4063 |4419 | 654 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 178s| 14600 | 1022 | 1519k| 103.9 | 192M | 70 |4063 |4436 | 651 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 179s| 14700 | 1026 | 1525k| 103.6 | 192M | 70 |4063 |4490 | 659 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 179s| 14800 | 1024 | 1531k| 103.3 | 192M | 78 |4063 |4509 | 666 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 180s| 14900 | 1028 | 1537k| 103.0 | 192M | 78 |4063 |4525 | 668 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 181s| 15000 | 1030 | 1541k| 102.6 | 192M | 80 |4063 |4546 | 672 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 182s| 15100 | 1026 | 1545k| 102.2 | 192M | 98 |4063 |4556 | 674 | 18k| 1 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 183s| 15200 | 1024 | 1550k| 101.8 | 192M | 98 |4063 |4567 | 663 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
203.73/204.88 c 183s| 15300 | 1022 | 1555k| 101.5 | 192M | 98 |4063 |4574 | 667 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 184s| 15400 | 1022 | 1560k| 101.2 | 192M | 98 |4063 |4581 | 672 | 18k| 0 | 11k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 185s| 15500 | 1026 | 1568k| 101.0 | 192M | 98 |4063 |4568 | 668 | 18k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 186s| 15600 | 1024 | 1573k| 100.7 | 192M | 98 |4063 |4595 | 667 | 18k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 187s| 15700 | 1022 | 1579k| 100.4 | 192M | 98 |4063 |4598 | 668 | 18k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 188s| 15800 | 1022 | 1583k| 100.1 | 192M | 98 |4063 |4610 | 679 | 18k| 2 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 189s| 15900 | 1032 | 1590k| 99.9 | 192M | 108 |4063 |4525 | 655 | 18k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 190s| 16000 | 1031 | 1600k| 99.9 | 194M | 108 |4063 |4413 | 640 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 191s| 16100 | 1039 | 1608k| 99.8 | 194M | 108 |4063 |4408 | 649 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 192s| 16200 | 1053 | 1615k| 99.6 | 194M | 108 |4063 |4347 | 643 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 193s| 16300 | 1054 | 1624k| 99.5 | 196M | 108 |4063 |4268 | 626 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 194s| 16400 | 1068 | 1631k| 99.3 | 196M | 108 |4063 |4290 | 648 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 195s| 16500 | 1084 | 1641k| 99.3 | 197M | 108 |4063 |4159 | 0 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 196s| 16600 | 1094 | 1648k| 99.1 | 198M | 108 |4063 |4252 | 640 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 197s| 16700 | 1098 | 1656k| 99.1 | 198M | 108 |4063 |4295 | 0 | 19k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
203.73/204.88 c 198s| 16800 | 1106 | 1665k| 99.0 | 198M | 108 |4063 |4070 | 595 | 19k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 200s| 16900 | 1132 | 1675k| 99.0 | 198M | 108 |4063 |4019 | 645 | 20k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 201s| 17000 | 1144 | 1685k| 99.0 | 198M | 108 |4063 |3898 | 653 | 20k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 202s| 17100 | 1138 | 1695k| 99.0 | 198M | 108 |4063 |3880 | 653 | 20k| 0 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
203.73/204.88 c 203s| 17200 | 1154 | 1706k| 99.0 | 198M | 108 |4063 |3822 | 651 | 20k| 1 | 12k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 204s| 17300 | 1171 | 1717k| 99.1 | 199M | 108 |4063 |3697 | 657 | 20k| 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 206s| 17400 | 1189 | 1733k| 99.5 | 199M | 108 |4063 |3629 | 603 | 20k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 207s| 17500 | 1196 | 1739k| 99.3 | 199M | 108 |4063 |3663 | 606 | 20k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 208s| 17600 | 1200 | 1750k| 99.3 | 199M | 108 |4063 |3669 | 634 | 20k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 210s| 17700 | 1229 | 1761k| 99.4 | 199M | 108 |4063 |3518 | 593 | 21k| 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 211s| 17800 | 1251 | 1769k| 99.3 | 200M | 108 |4063 |3554 | 634 | 21k| 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 212s| 17900 | 1263 | 1779k| 99.2 | 200M | 108 |4063 |3480 | 0 | 21k| 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
283.16/284.57 c (run 1, node 17981) performing user restart
283.16/284.57 c
283.16/284.57 c (restart) converted 23 cuts from the global cut pool into linear constraints
283.16/284.57 c
283.16/284.57 c presolving:
283.16/284.57 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
283.16/284.57 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
283.16/284.57 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
283.16/284.57 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
283.16/284.57 c 0 deleted vars, 413 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 92 changed coefficients
283.16/284.57 c 0 implications, 43863 cliques
283.16/284.57 c presolved problem has 4063 variables (4063 bin, 0 int, 0 impl, 0 cont) and 3100 constraints
283.16/284.57 c 467 constraints of type <knapsack>
283.16/284.57 c 84 constraints of type <setppc>
283.16/284.57 c 12 constraints of type <linear>
283.16/284.57 c 447 constraints of type <orbitope>
283.16/284.57 c 2090 constraints of type <logicor>
283.16/284.57 c transformed objective value is always integral (scale: 1)
283.16/284.57 c Presolving Time: 3.66
283.16/284.57 c
283.16/284.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
283.16/284.57 c 214s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3138 | 544 | 0 | 0 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 214s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3138 | 568 | 24 | 1 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 214s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3136 | 591 | 47 | 2 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 214s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3117 | 617 | 73 | 3 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 214s| 1 | 0 | 1787k| - | 213M | 0 |4063 |3095 | 636 | 92 | 4 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 215s| 1 | 0 | 1788k| - | 213M | 0 |4063 |3054 | 662 | 118 | 5 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 215s| 1 | 0 | 1788k| - | 213M | 0 |4063 |3007 | 686 | 142 | 6 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 215s| 1 | 0 | 1790k| - | 213M | 0 |4063 |2998 | 709 | 165 | 7 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 215s| 1 | 0 | 1791k| - | 214M | 0 |4063 |2962 | 733 | 189 | 8 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 216s| 1 | 0 | 1795k| - | 214M | 0 |4063 |2940 | 761 | 217 | 9 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 217s| 1 | 0 | 1800k| - | 214M | 0 |4063 |2934 | 786 | 242 | 10 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 218s| 1 | 0 | 1807k| - | 215M | 0 |4063 |2931 | 815 | 271 | 11 | 13k| 12 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 219s| 1 | 2 | 1813k| - | 215M | 0 |4063 |2896 | 815 | 271 | 11 | 13k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 234s| 100 | 101 | 1937k| 105.8 | 216M | 22 |4063 |2769 | 663 | 480 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 238s| 200 | 153 | 1971k| 107.1 | 216M | 50 |4063 |2924 | 704 | 666 | 0 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
283.16/284.57 c 240s| 300 | 175 | 1990k| 107.6 | 216M | 50 |4063 |2980 | 707 | 812 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 242s| 400 | 185 | 2009k| 108.0 | 216M | 50 |4063 |3005 | 713 | 966 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 244s| 500 | 198 | 2025k| 108.3 | 216M | 50 |4063 |3067 | 0 |1085 | 0 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 247s| 600 | 212 | 2047k| 108.9 | 218M | 52 |4063 |3102 | 717 |1295 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 250s| 700 | 208 | 2071k| 109.6 | 218M | 61 |4063 |3155 | 758 |1386 | 0 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 253s| 800 | 210 | 2093k| 110.2 | 218M | 61 |4063 |3187 | 721 |1473 | 1 | 14k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 256s| 900 | 219 | 2118k| 110.9 | 218M | 61 |4063 |3221 | 729 |1619 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 258s| 1000 | 221 | 2140k| 111.5 | 218M | 61 |4063 |3297 | 749 |1745 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 261s| 1100 | 217 | 2160k| 112.0 | 218M | 61 |4063 |3314 | 711 |1856 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 263s| 1200 | 221 | 2181k| 112.5 | 218M | 61 |4063 |3400 | 699 |1992 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 267s| 1300 | 233 | 2210k| 113.4 | 219M | 61 |4063 |3441 | 710 |2249 | 2 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 268s| 1400 | 237 | 2226k| 113.7 | 219M | 61 |4063 |3519 | 712 |2325 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 270s| 1500 | 237 | 2243k| 113.9 | 219M | 61 |4063 |3590 | 713 |2419 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 272s| 1600 | 246 | 2261k| 114.3 | 219M | 61 |4063 |3621 | 711 |2544 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 274s| 1700 | 245 | 2278k| 114.6 | 219M | 61 |4063 |3694 | 736 |2676 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
283.16/284.57 c 275s| 1800 | 261 | 2288k| 114.5 | 219M | 64 |4063 |3708 | 751 |2744 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 276s| 1900 | 262 | 2298k| 114.4 | 219M | 70 |4063 |3725 | 748 |2783 | 0 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 277s| 2000 | 262 | 2309k| 114.4 | 219M | 72 |4063 |3767 | 746 |2844 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 279s| 2100 | 258 | 2322k| 114.5 | 219M | 72 |4063 |3763 | 742 |2926 | 1 | 15k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 280s| 2200 | 258 | 2333k| 114.5 | 219M | 72 |4063 |3852 | 765 |3005 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 282s| 2300 | 258 | 2344k| 114.4 | 219M | 72 |4063 |3882 | 743 |3055 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
283.16/284.57 c 283s| 2400 | 264 | 2353k| 114.3 | 219M | 72 |4063 |3919 | 751 |3137 | 2 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 284s| 2500 | 262 | 2364k| 114.3 | 219M | 72 |4063 |3941 | 753 |3179 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 285s| 2600 | 258 | 2375k| 114.3 | 219M | 72 |4063 |3983 | 740 |3232 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 287s| 2700 | 258 | 2387k| 114.3 | 219M | 72 |4063 |3957 | 759 |3267 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 288s| 2800 | 256 | 2398k| 114.2 | 219M | 73 |4063 |3951 | 736 |3302 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 290s| 2900 | 260 | 2411k| 114.3 | 220M | 73 |4063 |3887 | 742 |3342 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 291s| 3000 | 262 | 2423k| 114.4 | 220M | 73 |4063 |3903 | 742 |3371 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 292s| 3100 | 266 | 2433k| 114.3 | 220M | 73 |4063 |3914 | 0 |3412 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 293s| 3200 | 270 | 2443k| 114.2 | 220M | 73 |4063 |3945 | 750 |3459 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
363.04/364.77 c 295s| 3300 | 272 | 2453k| 114.2 | 220M | 73 |4063 |3987 | 753 |3557 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 296s| 3400 | 276 | 2465k| 114.2 | 220M | 73 |4063 |3987 | 751 |3598 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 297s| 3500 | 280 | 2474k| 114.1 | 220M | 91 |4063 |3994 | 741 |3644 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 298s| 3600 | 278 | 2485k| 114.0 | 220M | 91 |4063 |4016 | 737 |3674 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 300s| 3700 | 278 | 2495k| 114.0 | 220M | 91 |4063 |4049 | 748 |3721 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 301s| 3800 | 283 | 2507k| 114.0 | 220M | 91 |4063 |4087 | 751 |3780 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 303s| 3900 | 278 | 2520k| 114.1 | 220M | 91 |4063 |4075 | 744 |3860 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 304s| 4000 | 278 | 2533k| 114.2 | 220M | 91 |4063 |4087 | 746 |3904 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 306s| 4100 | 276 | 2545k| 114.2 | 220M | 91 |4063 |4100 | 749 |3932 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 307s| 4200 | 274 | 2554k| 114.1 | 220M | 91 |4063 |4141 | 740 |3974 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 308s| 4300 | 274 | 2568k| 114.2 | 220M | 91 |4063 |4114 | 735 |4064 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 310s| 4400 | 270 | 2580k| 114.2 | 220M | 91 |4063 |4101 | 740 |4136 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 311s| 4500 | 274 | 2592k| 114.3 | 220M | 91 |4063 |4068 | 752 |4190 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 313s| 4600 | 274 | 2605k| 114.3 | 220M | 91 |4063 |4053 | 747 |4271 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 314s| 4700 | 274 | 2616k| 114.3 | 220M | 91 |4063 |4066 | 739 |4311 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
363.04/364.77 c 316s| 4800 | 276 | 2630k| 114.4 | 220M | 91 |4063 |4037 | 749 |4355 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 318s| 4900 | 276 | 2641k| 114.4 | 220M | 91 |4063 |3983 | 746 |4461 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 319s| 5000 | 277 | 2655k| 114.5 | 220M | 91 |4063 |3973 | 752 |4501 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 321s| 5100 | 277 | 2671k| 114.7 | 220M | 91 |4063 |3927 | 741 |4568 | 0 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 323s| 5200 | 275 | 2686k| 114.9 | 220M | 91 |4063 |3916 | 741 |4637 | 1 | 16k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 325s| 5300 | 277 | 2698k| 114.9 | 220M | 91 |4063 |3921 | 745 |4697 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 327s| 5400 | 281 | 2716k| 115.2 | 220M | 91 |4063 |3877 | 749 |4766 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 329s| 5500 | 283 | 2731k| 115.3 | 220M | 91 |4063 |3872 | 749 |4860 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 330s| 5600 | 288 | 2744k| 115.4 | 220M | 91 |4063 |3878 | 743 |4916 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 332s| 5700 | 286 | 2758k| 115.5 | 220M | 91 |4063 |3878 | 755 |4963 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 334s| 5800 | 288 | 2770k| 115.5 | 220M | 91 |4063 |3917 | 745 |5017 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 335s| 5900 | 286 | 2785k| 115.6 | 220M | 91 |4063 |3911 | 741 |5115 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 337s| 6000 | 284 | 2799k| 115.8 | 220M | 91 |4063 |3955 | 766 |5194 | 2 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 339s| 6100 | 279 | 2815k| 115.9 | 220M | 91 |4063 |3944 | 739 |5264 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 341s| 6200 | 282 | 2828k| 116.0 | 220M | 91 |4063 |3945 | 750 |5295 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
363.04/364.77 c 343s| 6300 | 288 | 2844k| 116.2 | 220M | 91 |4063 |3951 | 757 |5342 | 2 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 344s| 6400 | 284 | 2858k| 116.3 | 220M | 91 |4063 |3968 | 748 |5356 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 346s| 6500 | 278 | 2876k| 116.5 | 220M | 91 |4063 |3970 | 758 |5404 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 348s| 6600 | 282 | 2890k| 116.6 | 220M | 91 |4063 |3927 | 736 |5429 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 350s| 6700 | 294 | 2903k| 116.7 | 220M | 91 |4063 |3948 | 744 |5508 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 351s| 6800 | 292 | 2913k| 116.6 | 220M | 91 |4063 |3976 | 756 |5567 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 352s| 6900 | 288 | 2924k| 116.6 | 221M | 91 |4063 |4023 | 743 |5613 | 2 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 353s| 7000 | 290 | 2932k| 116.4 | 221M | 91 |4063 |4076 | 751 |5685 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 355s| 7100 | 288 | 2940k| 116.3 | 221M | 91 |4063 |4094 | 743 |5725 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 356s| 7200 | 295 | 2952k| 116.3 | 221M | 91 |4063 |4085 | 753 |5795 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 357s| 7300 | 285 | 2964k| 116.3 | 221M | 91 |4063 |4115 | 742 |5842 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 359s| 7400 | 298 | 2972k| 116.2 | 221M | 91 |4063 |4120 | 738 |5928 | 1 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 360s| 7500 | 296 | 2980k| 116.0 | 221M | 91 |4063 |4151 | 0 |5990 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 361s| 7600 | 300 | 2991k| 116.0 | 221M | 91 |4063 |4177 | 743 |6073 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
363.04/364.77 c 363s| 7700 | 306 | 3011k| 116.3 | 221M | 91 |4063 |4236 | 744 |6155 | 0 | 17k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.79/450.89 c 364s| 7800 | 304 | 3019k| 116.2 | 221M | 91 |4063 |4298 | 754 |6226 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 366s| 7900 | 302 | 3031k| 116.2 | 221M | 91 |4063 |4301 | 741 |6271 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 367s| 8000 | 298 | 3044k| 116.3 | 221M | 91 |4063 |4295 | 737 |6319 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 369s| 8100 | 298 | 3058k| 116.4 | 221M | 91 |4063 |4335 | 743 |6378 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 371s| 8200 | 297 | 3071k| 116.4 | 221M | 91 |4063 |4345 | 734 |6435 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 372s| 8300 | 298 | 3083k| 116.4 | 221M | 91 |4063 |4325 | 734 |6467 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 373s| 8400 | 298 | 3093k| 116.4 | 221M | 91 |4063 |4340 | 741 |6514 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 375s| 8500 | 294 | 3104k| 116.3 | 221M | 91 |4063 |4335 | 750 |6564 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 377s| 8600 | 294 | 3119k| 116.5 | 221M | 91 |4063 |4329 | 0 |6620 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 378s| 8700 | 295 | 3131k| 116.5 | 221M | 91 |4063 |4274 | 739 |6669 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 380s| 8800 | 296 | 3144k| 116.5 | 221M | 91 |4063 |4255 | 746 |6745 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 381s| 8900 | 299 | 3154k| 116.5 | 221M | 91 |4063 |4256 | 740 |6769 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 383s| 9000 | 301 | 3169k| 116.6 | 221M | 91 |4063 |4250 | 747 |6851 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 384s| 9100 | 305 | 3182k| 116.6 | 221M | 91 |4063 |4162 | 741 |6910 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 386s| 9200 | 311 | 3193k| 116.6 | 221M | 91 |4063 |4164 | 753 |6995 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.79/450.89 c 387s| 9300 | 307 | 3204k| 116.6 | 221M | 91 |4063 |4154 | 743 |7076 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 389s| 9400 | 307 | 3216k| 116.6 | 221M | 91 |4063 |4173 | 754 |7137 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 391s| 9500 | 308 | 3232k| 116.8 | 221M | 91 |4063 |4122 | 738 |7181 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 392s| 9600 | 310 | 3241k| 116.7 | 221M | 91 |4063 |4120 | 754 |7279 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 393s| 9700 | 310 | 3255k| 116.7 | 221M | 91 |4063 |4127 | 747 |7351 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 395s| 9800 | 306 | 3269k| 116.8 | 221M | 91 |4063 |4108 | 0 |7434 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 397s| 9900 | 316 | 3283k| 116.9 | 221M | 91 |4063 |4093 | 749 |7565 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 399s| 10000 | 314 | 3297k| 117.0 | 221M | 91 |4063 |4112 | 741 |7642 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 401s| 10100 | 307 | 3312k| 117.1 | 221M | 91 |4063 |4091 | 737 |7723 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 402s| 10200 | 313 | 3326k| 117.2 | 221M | 91 |4063 |4081 | 748 |7799 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 404s| 10300 | 311 | 3339k| 117.3 | 221M | 91 |4063 |4067 | 734 |7831 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 406s| 10400 | 308 | 3355k| 117.4 | 221M | 91 |4063 |4048 | 752 |7920 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 408s| 10500 | 302 | 3373k| 117.6 | 221M | 91 |4063 |4009 | 748 |7994 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 410s| 10600 | 304 | 3388k| 117.7 | 221M | 91 |4063 |3958 | 761 |8056 | 0 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 411s| 10700 | 307 | 3401k| 117.8 | 221M | 91 |4063 |3925 | 761 |8115 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.79/450.89 c 413s| 10800 | 310 | 3414k| 117.8 | 221M | 91 |4063 |3904 | 740 |8165 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 415s| 10900 | 308 | 3427k| 117.9 | 221M | 91 |4063 |3890 | 740 |8198 | 1 | 18k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 416s| 11000 | 316 | 3441k| 117.9 | 221M | 91 |4063 |3912 | 752 |8267 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 418s| 11100 | 318 | 3454k| 118.0 | 222M | 91 |4063 |3926 | 760 |8305 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 420s| 11200 | 314 | 3468k| 118.1 | 222M | 91 |4063 |3973 | 740 |8349 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 422s| 11300 | 312 | 3484k| 118.2 | 222M | 91 |4063 |3974 | 760 |8427 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 424s| 11400 | 312 | 3500k| 118.3 | 222M | 91 |4063 |3991 | 0 |8482 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 425s| 11500 | 313 | 3515k| 118.4 | 222M | 91 |4063 |4011 | 752 |8571 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 427s| 11600 | 316 | 3527k| 118.5 | 222M | 91 |4063 |4029 | 759 |8625 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 429s| 11700 | 322 | 3539k| 118.5 | 222M | 91 |4063 |4030 | 752 |8658 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 430s| 11800 | 318 | 3552k| 118.5 | 222M | 91 |4063 |4039 | 757 |8664 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 432s| 11900 | 311 | 3566k| 118.6 | 222M | 91 |4063 |4036 | 767 |8695 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 434s| 12000 | 313 | 3580k| 118.6 | 222M | 91 |4063 |4019 | 762 |8757 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 435s| 12100 | 315 | 3592k| 118.6 | 222M | 91 |4063 |4050 | 772 |8788 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 437s| 12200 | 313 | 3606k| 118.7 | 222M | 91 |4063 |4044 | 768 |8853 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
448.79/450.89 c 438s| 12300 | 312 | 3618k| 118.7 | 222M | 91 |4063 |4015 | 737 |8858 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 440s| 12400 | 316 | 3630k| 118.7 | 222M | 91 |4063 |4001 | 747 |8929 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 442s| 12500 | 322 | 3642k| 118.7 | 222M | 91 |4063 |3999 | 754 |8982 | 2 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 443s| 12600 | 324 | 3656k| 118.8 | 222M | 91 |4063 |4008 | 746 |9020 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 445s| 12700 | 315 | 3670k| 118.9 | 222M | 91 |4063 |4017 | 757 |9104 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 447s| 12800 | 315 | 3683k| 118.9 | 222M | 91 |4063 |4019 | 753 |9152 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
448.79/450.89 c 449s| 12900 | 317 | 3700k| 119.0 | 222M | 91 |4063 |4031 | 760 |9214 | 2 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 450s| 13000 | 316 | 3713k| 119.1 | 222M | 91 |4063 |4107 | 757 |9291 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 452s| 13100 | 314 | 3726k| 119.1 | 222M | 91 |4063 |4108 | 757 |9319 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 454s| 13200 | 324 | 3738k| 119.1 | 222M | 91 |4063 |4071 | 736 |9356 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 455s| 13300 | 322 | 3752k| 119.2 | 222M | 91 |4063 |4063 | 737 |9441 | 2 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 457s| 13400 | 320 | 3767k| 119.3 | 222M | 91 |4063 |4053 | 736 |9509 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 459s| 13500 | 326 | 3781k| 119.4 | 222M | 91 |4063 |4034 | 742 |9595 | 0 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 460s| 13600 | 328 | 3795k| 119.4 | 222M | 91 |4063 |4001 | 735 |9648 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 462s| 13700 | 328 | 3809k| 119.5 | 222M | 91 |4063 |3998 | 748 |9707 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
539.93/542.39 c 464s| 13800 | 328 | 3824k| 119.6 | 222M | 91 |4063 |4048 | 735 |9767 | 1 | 19k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 465s| 13900 | 331 | 3834k| 119.5 | 222M | 91 |4063 |4074 | 747 |9799 | 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 467s| 14000 | 327 | 3849k| 119.6 | 222M | 91 |4063 |4079 | 742 |9874 | 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 469s| 14100 | 335 | 3862k| 119.6 | 222M | 91 |4063 |4107 | 738 |9964 | 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 470s| 14200 | 334 | 3872k| 119.6 | 223M | 91 |4063 |4166 | 738 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 472s| 14300 | 337 | 3885k| 119.6 | 223M | 91 |4063 |4179 | 742 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 473s| 14400 | 335 | 3894k| 119.5 | 223M | 91 |4063 |4231 | 742 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 475s| 14500 | 336 | 3910k| 119.7 | 223M | 91 |4063 |4213 | 739 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 477s| 14600 | 339 | 3925k| 119.8 | 223M | 91 |4063 |4218 | 746 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 479s| 14700 | 335 | 3940k| 119.8 | 223M | 91 |4063 |4244 | 750 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 481s| 14800 | 337 | 3956k| 120.0 | 223M | 91 |4063 |4254 | 741 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 483s| 14900 | 336 | 3972k| 120.1 | 223M | 91 |4063 |4243 | 740 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 485s| 15000 | 337 | 3992k| 120.3 | 223M | 91 |4063 |4184 | 744 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 487s| 15100 | 338 | 4006k| 120.4 | 223M | 91 |4063 |4197 | 740 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 488s| 15200 | 333 | 4020k| 120.5 | 223M | 91 |4063 |4139 | 765 | 10k| 1 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
539.93/542.39 c 490s| 15300 | 329 | 4033k| 120.5 | 223M | 91 |4063 |4113 | 745 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 492s| 15400 | 329 | 4048k| 120.6 | 223M | 91 |4063 |4073 | 762 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 494s| 15500 | 329 | 4060k| 120.6 | 223M | 91 |4063 |4079 | 0 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 495s| 15600 | 329 | 4073k| 120.6 | 223M | 91 |4063 |4070 | 741 | 10k| 0 | 20k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 497s| 15700 | 326 | 4086k| 120.6 | 223M | 91 |4063 |4095 | 746 | 10k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 498s| 15800 | 332 | 4097k| 120.6 | 223M | 91 |4063 |4126 | 766 | 10k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 500s| 15900 | 326 | 4109k| 120.6 | 223M | 91 |4063 |4128 | 761 | 10k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 501s| 16000 | 332 | 4120k| 120.6 | 223M | 91 |4063 |4078 | 740 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 503s| 16100 | 334 | 4131k| 120.5 | 223M | 91 |4063 |4133 | 749 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 504s| 16200 | 336 | 4144k| 120.6 | 223M | 91 |4063 |4178 | 738 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 506s| 16300 | 337 | 4157k| 120.6 | 223M | 91 |4063 |4167 | 743 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 508s| 16400 | 339 | 4170k| 120.6 | 223M | 91 |4063 |4121 | 0 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 509s| 16500 | 345 | 4184k| 120.7 | 223M | 91 |4063 |4101 | 744 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 511s| 16600 | 347 | 4196k| 120.7 | 223M | 91 |4063 |4076 | 0 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 513s| 16700 | 347 | 4211k| 120.7 | 223M | 91 |4063 |4097 | 744 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
539.93/542.39 c 515s| 16800 | 346 | 4227k| 120.8 | 223M | 91 |4063 |4082 | 747 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 516s| 16900 | 362 | 4242k| 120.9 | 223M | 91 |4063 |4053 | 752 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 518s| 17000 | 363 | 4256k| 121.0 | 223M | 91 |4063 |4049 | 753 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 520s| 17100 | 365 | 4273k| 121.1 | 223M | 91 |4063 |4048 | 749 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 522s| 17200 | 365 | 4289k| 121.2 | 223M | 91 |4063 |4041 | 755 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 524s| 17300 | 361 | 4306k| 121.4 | 223M | 91 |4063 |4047 | 0 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 526s| 17400 | 353 | 4317k| 121.4 | 223M | 91 |4063 |4089 | 753 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 527s| 17500 | 355 | 4330k| 121.4 | 223M | 91 |4063 |4109 | 743 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 529s| 17600 | 353 | 4345k| 121.5 | 223M | 91 |4063 |4094 | 743 | 11k| 0 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 531s| 17700 | 355 | 4359k| 121.5 | 223M | 91 |4063 |4105 | 735 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 533s| 17800 | 357 | 4374k| 121.6 | 224M | 91 |4063 |4129 | 745 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 535s| 17900 | 354 | 4393k| 121.8 | 224M | 91 |4063 |4110 | 742 | 11k| 1 | 21k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 537s| 18000 | 349 | 4410k| 121.9 | 224M | 91 |4063 |4086 | 745 | 11k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 539s| 18100 | 349 | 4421k| 121.9 | 224M | 91 |4063 |4103 | 757 | 11k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
539.93/542.39 c 540s| 18200 | 345 | 4433k| 121.9 | 224M | 91 |4063 |4115 | 742 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
625.09/627.83 c 542s| 18300 | 343 | 4447k| 121.9 | 224M | 91 |4063 |4131 | 751 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 543s| 18400 | 349 | 4459k| 121.9 | 224M | 91 |4063 |4156 | 0 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 545s| 18500 | 347 | 4472k| 121.9 | 224M | 91 |4063 |4168 | 744 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 547s| 18600 | 343 | 4486k| 122.0 | 224M | 91 |4063 |4180 | 740 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 548s| 18700 | 339 | 4499k| 122.0 | 224M | 91 |4063 |4188 | 744 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 550s| 18800 | 338 | 4509k| 122.0 | 224M | 91 |4063 |4205 | 740 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 552s| 18900 | 338 | 4524k| 122.0 | 224M | 91 |4063 |4160 | 756 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 554s| 19000 | 336 | 4544k| 122.2 | 224M | 91 |4063 |4143 | 748 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 556s| 19100 | 338 | 4557k| 122.3 | 224M | 91 |4063 |4197 | 761 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 558s| 19200 | 346 | 4572k| 122.3 | 224M | 91 |4063 |4060 | 734 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 559s| 19300 | 344 | 4584k| 122.3 | 224M | 91 |4063 |4073 | 734 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 561s| 19400 | 345 | 4598k| 122.4 | 224M | 91 |4063 |4104 | 755 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 562s| 19500 | 343 | 4610k| 122.4 | 224M | 91 |4063 |4100 | 754 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 564s| 19600 | 342 | 4623k| 122.4 | 224M | 91 |4063 |4084 | 758 | 12k| 0 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 566s| 19700 | 339 | 4639k| 122.5 | 224M | 91 |4063 |4097 | 738 | 12k| 2 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
625.09/627.83 c 567s| 19800 | 337 | 4649k| 122.4 | 224M | 91 |4063 |4099 | 748 | 12k| 2 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 569s| 19900 | 341 | 4659k| 122.4 | 224M | 91 |4063 |4110 | 754 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 570s| 20000 | 337 | 4667k| 122.3 | 224M | 91 |4063 |4135 | 736 | 12k| 1 | 22k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 572s| 20100 | 335 | 4679k| 122.3 | 224M | 91 |4063 |4123 | 753 | 12k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 573s| 20200 | 335 | 4692k| 122.3 | 224M | 91 |4063 |4144 | 756 | 12k| 2 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 575s| 20300 | 331 | 4704k| 122.3 | 224M | 91 |4063 |4171 | 739 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 577s| 20400 | 326 | 4717k| 122.3 | 224M | 91 |4063 |4149 | 743 | 12k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 578s| 20500 | 328 | 4730k| 122.3 | 224M | 91 |4063 |4104 | 753 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 580s| 20600 | 329 | 4745k| 122.4 | 224M | 91 |4063 |4093 | 751 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 581s| 20700 | 329 | 4757k| 122.4 | 224M | 91 |4063 |4155 | 751 | 12k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 583s| 20800 | 327 | 4772k| 122.5 | 224M | 91 |4063 |4163 | 756 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 585s| 20900 | 326 | 4785k| 122.5 | 224M | 91 |4063 |4158 | 746 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 586s| 21000 | 330 | 4795k| 122.4 | 224M | 91 |4063 |4171 | 748 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 588s| 21100 | 336 | 4806k| 122.4 | 224M | 91 |4063 |4201 | 743 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 590s| 21200 | 332 | 4822k| 122.5 | 224M | 91 |4063 |4206 | 737 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
625.09/627.83 c 591s| 21300 | 340 | 4836k| 122.5 | 224M | 91 |4063 |4259 | 747 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 593s| 21400 | 334 | 4850k| 122.6 | 224M | 91 |4063 |4257 | 742 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 595s| 21500 | 332 | 4865k| 122.6 | 224M | 91 |4063 |4266 | 737 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 597s| 21600 | 331 | 4882k| 122.7 | 224M | 91 |4063 |4276 | 737 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 599s| 21700 | 328 | 4899k| 122.9 | 224M | 91 |4063 |4242 | 748 | 13k| 2 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 600s| 21800 | 331 | 4910k| 122.8 | 225M | 91 |4063 |4230 | 748 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 602s| 21900 | 333 | 4926k| 122.9 | 225M | 91 |4063 |4215 | 754 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 604s| 22000 | 329 | 4945k| 123.1 | 225M | 91 |4063 |4199 | 745 | 13k| 1 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 606s| 22100 | 333 | 4958k| 123.1 | 225M | 91 |4063 |4177 | 741 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 607s| 22200 | 335 | 4967k| 123.0 | 225M | 91 |4063 |4206 | 744 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 609s| 22300 | 333 | 4978k| 123.0 | 225M | 91 |4063 |4259 | 746 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 610s| 22400 | 333 | 4992k| 123.0 | 225M | 91 |4063 |4204 | 752 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 612s| 22500 | 329 | 5005k| 123.1 | 225M | 91 |4063 |4195 | 754 | 13k| 0 | 23k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 614s| 22600 | 331 | 5021k| 123.2 | 225M | 91 |4063 |4199 | 761 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 616s| 22700 | 330 | 5036k| 123.2 | 225M | 91 |4063 |4136 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
625.09/627.83 c 617s| 22800 | 332 | 5045k| 123.1 | 225M | 91 |4063 |4200 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 618s| 22900 | 342 | 5054k| 123.0 | 225M | 91 |4063 |4209 | 750 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 620s| 23000 | 336 | 5064k| 123.0 | 225M | 91 |4063 |4234 | 745 | 13k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 621s| 23100 | 327 | 5074k| 122.9 | 225M | 91 |4063 |4205 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 622s| 23200 | 327 | 5084k| 122.9 | 225M | 91 |4063 |4212 | 734 | 13k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 624s| 23300 | 327 | 5094k| 122.8 | 225M | 91 |4063 |4217 | 0 | 13k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
625.09/627.83 c 626s| 23400 | 326 | 5110k| 122.9 | 225M | 91 |4063 |4226 | 738 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 627s| 23500 | 330 | 5125k| 123.0 | 225M | 91 |4063 |4180 | 743 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 629s| 23600 | 331 | 5135k| 122.9 | 225M | 91 |4063 |4211 | 742 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 631s| 23700 | 331 | 5150k| 123.0 | 225M | 91 |4063 |4240 | 732 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 632s| 23800 | 332 | 5158k| 122.9 | 225M | 91 |4063 |4252 | 737 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 633s| 23900 | 331 | 5166k| 122.8 | 225M | 91 |4063 |4321 | 0 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 634s| 24000 | 331 | 5175k| 122.7 | 225M | 91 |4063 |4360 | 736 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 635s| 24100 | 325 | 5183k| 122.6 | 225M | 91 |4063 |4424 | 736 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 636s| 24200 | 329 | 5194k| 122.6 | 225M | 91 |4063 |4350 | 749 | 14k| 2 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
707.77/710.87 c 638s| 24300 | 331 | 5205k| 122.6 | 225M | 91 |4063 |4361 | 749 | 14k| 0 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 640s| 24400 | 333 | 5219k| 122.6 | 225M | 91 |4063 |4285 | 758 | 14k| 1 | 24k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 641s| 24500 | 337 | 5232k| 122.6 | 225M | 91 |4063 |4249 | 758 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 643s| 24600 | 331 | 5246k| 122.7 | 225M | 91 |4063 |4236 | 759 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 644s| 24700 | 333 | 5257k| 122.6 | 225M | 91 |4063 |4216 | 766 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 646s| 24800 | 331 | 5266k| 122.5 | 225M | 91 |4063 |4232 | 759 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 647s| 24900 | 329 | 5277k| 122.5 | 225M | 91 |4063 |4243 | 760 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 649s| 25000 | 333 | 5289k| 122.5 | 225M | 91 |4063 |4211 | 763 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 650s| 25100 | 336 | 5299k| 122.5 | 225M | 91 |4063 |4220 | 763 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 651s| 25200 | 342 | 5310k| 122.4 | 225M | 91 |4063 |4217 | 761 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 653s| 25300 | 344 | 5321k| 122.4 | 225M | 91 |4063 |4294 | 762 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 655s| 25400 | 343 | 5337k| 122.5 | 225M | 91 |4063 |4305 | 762 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 657s| 25500 | 344 | 5351k| 122.5 | 225M | 91 |4063 |4345 | 760 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 658s| 25600 | 350 | 5365k| 122.6 | 225M | 91 |4063 |4398 | 764 | 14k| 2 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 661s| 25700 | 350 | 5383k| 122.7 | 225M | 91 |4063 |4430 | 760 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
707.77/710.87 c 663s| 25800 | 346 | 5399k| 122.8 | 225M | 91 |4063 |4433 | 761 | 14k| 0 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 664s| 25900 | 349 | 5415k| 122.9 | 225M | 91 |4063 |4479 | 758 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 666s| 26000 | 346 | 5429k| 122.9 | 225M | 91 |4063 |4464 | 763 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 668s| 26100 | 348 | 5445k| 123.0 | 225M | 91 |4063 |4408 | 761 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 670s| 26200 | 344 | 5459k| 123.0 | 225M | 91 |4063 |4408 | 766 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 671s| 26300 | 346 | 5470k| 123.0 | 225M | 91 |4063 |4346 | 762 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 673s| 26400 | 344 | 5483k| 123.0 | 226M | 91 |4063 |4309 | 760 | 14k| 1 | 25k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 674s| 26500 | 341 | 5494k| 123.0 | 226M | 91 |4063 |4329 | 761 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 676s| 26600 | 345 | 5505k| 123.0 | 226M | 91 |4063 |4293 | 732 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 677s| 26700 | 344 | 5518k| 123.0 | 226M | 91 |4063 |4291 | 757 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 679s| 26800 | 343 | 5534k| 123.1 | 226M | 91 |4063 |4294 | 762 | 14k| 2 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 681s| 26900 | 347 | 5546k| 123.0 | 226M | 91 |4063 |4287 | 766 | 14k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 682s| 27000 | 346 | 5559k| 123.1 | 226M | 91 |4063 |4268 | 733 | 14k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 684s| 27100 | 340 | 5572k| 123.1 | 226M | 91 |4063 |4281 | 733 | 14k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 685s| 27200 | 345 | 5583k| 123.0 | 226M | 91 |4063 |4261 | 735 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
707.77/710.87 c 686s| 27300 | 343 | 5594k| 123.0 | 226M | 91 |4063 |4241 | 737 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 688s| 27400 | 347 | 5603k| 123.0 | 226M | 91 |4063 |4227 | 740 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 689s| 27500 | 347 | 5617k| 123.0 | 226M | 91 |4063 |4209 | 738 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 691s| 27600 | 352 | 5628k| 123.0 | 226M | 91 |4063 |4218 | 737 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 692s| 27700 | 352 | 5641k| 123.0 | 226M | 91 |4063 |4302 | 741 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 694s| 27800 | 348 | 5651k| 122.9 | 226M | 91 |4063 |4332 | 736 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 695s| 27900 | 350 | 5663k| 122.9 | 226M | 91 |4063 |4344 | 733 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 697s| 28000 | 358 | 5676k| 122.9 | 226M | 91 |4063 |4269 | 733 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 699s| 28100 | 358 | 5692k| 123.0 | 226M | 91 |4063 |4253 | 737 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 701s| 28200 | 358 | 5705k| 123.0 | 226M | 91 |4063 |4269 | 738 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 702s| 28300 | 352 | 5717k| 123.0 | 226M | 91 |4063 |4267 | 738 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 704s| 28400 | 348 | 5733k| 123.1 | 226M | 91 |4063 |4279 | 733 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 706s| 28500 | 346 | 5746k| 123.1 | 226M | 91 |4063 |4289 | 733 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 707s| 28600 | 350 | 5759k| 123.1 | 226M | 91 |4063 |4234 | 737 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
707.77/710.87 c 709s| 28700 | 352 | 5770k| 123.1 | 226M | 91 |4063 |4207 | 734 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
792.32/795.78 c 710s| 28800 | 354 | 5782k| 123.1 | 226M | 91 |4063 |4231 | 740 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 712s| 28900 | 352 | 5795k| 123.1 | 226M | 91 |4063 |4211 | 740 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 714s| 29000 | 352 | 5811k| 123.2 | 226M | 91 |4063 |4211 | 742 | 15k| 1 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 716s| 29100 | 352 | 5826k| 123.2 | 226M | 91 |4063 |4229 | 0 | 15k| 0 | 26k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 717s| 29200 | 352 | 5836k| 123.2 | 226M | 91 |4063 |4272 | 739 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 718s| 29300 | 356 | 5844k| 123.1 | 226M | 91 |4063 |4290 | 743 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 720s| 29400 | 358 | 5851k| 123.0 | 226M | 91 |4063 |4302 | 738 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 721s| 29500 | 354 | 5862k| 123.0 | 226M | 91 |4063 |4321 | 743 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 723s| 29600 | 352 | 5870k| 122.9 | 226M | 91 |4063 |4336 | 744 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 725s| 29700 | 357 | 5882k| 122.9 | 226M | 91 |4063 |4297 | 740 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 726s| 29800 | 355 | 5889k| 122.8 | 226M | 91 |4063 |4299 | 742 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 727s| 29900 | 351 | 5900k| 122.7 | 226M | 91 |4063 |4280 | 740 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 729s| 30000 | 349 | 5911k| 122.7 | 226M | 91 |4063 |4246 | 742 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 730s| 30100 | 353 | 5924k| 122.7 | 226M | 91 |4063 |4233 | 744 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 732s| 30200 | 352 | 5939k| 122.8 | 226M | 91 |4063 |4250 | 736 | 15k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
792.32/795.78 c 733s| 30300 | 353 | 5949k| 122.7 | 226M | 91 |4063 |4307 | 738 | 15k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 735s| 30400 | 353 | 5962k| 122.8 | 226M | 91 |4063 |4292 | 737 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 737s| 30500 | 351 | 5978k| 122.8 | 227M | 91 |4063 |4276 | 739 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 738s| 30600 | 355 | 5991k| 122.8 | 227M | 91 |4063 |4270 | 741 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 740s| 30700 | 353 | 6003k| 122.8 | 227M | 91 |4063 |4258 | 742 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 742s| 30800 | 357 | 6014k| 122.8 | 227M | 91 |4063 |4264 | 741 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 743s| 30900 | 353 | 6027k| 122.8 | 227M | 91 |4063 |4268 | 752 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 744s| 31000 | 357 | 6037k| 122.8 | 227M | 91 |4063 |4269 | 741 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 746s| 31100 | 357 | 6047k| 122.7 | 227M | 91 |4063 |4274 | 741 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 748s| 31200 | 358 | 6065k| 122.8 | 227M | 91 |4063 |4275 | 740 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 749s| 31300 | 363 | 6078k| 122.9 | 227M | 91 |4063 |4302 | 741 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 751s| 31400 | 359 | 6093k| 122.9 | 227M | 91 |4063 |4326 | 739 | 16k| 2 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 753s| 31500 | 355 | 6106k| 122.9 | 227M | 91 |4063 |4355 | 740 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 755s| 31600 | 355 | 6121k| 123.0 | 227M | 91 |4063 |4346 | 747 | 16k| 2 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 757s| 31700 | 355 | 6137k| 123.1 | 227M | 91 |4063 |4343 | 749 | 16k| 0 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
792.32/795.78 c 759s| 31800 | 353 | 6153k| 123.1 | 227M | 91 |4063 |4374 | 747 | 16k| 1 | 27k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 760s| 31900 | 352 | 6168k| 123.2 | 227M | 91 |4063 |4387 | 735 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 763s| 32000 | 350 | 6188k| 123.3 | 227M | 91 |4063 |4399 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 765s| 32100 | 352 | 6205k| 123.4 | 227M | 91 |4063 |4326 | 734 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 767s| 32200 | 354 | 6221k| 123.5 | 227M | 91 |4063 |4302 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 769s| 32300 | 354 | 6238k| 123.6 | 227M | 91 |4063 |4299 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 771s| 32400 | 350 | 6257k| 123.7 | 227M | 91 |4063 |4321 | 744 | 16k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 773s| 32500 | 346 | 6275k| 123.8 | 227M | 91 |4063 |4309 | 746 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 774s| 32600 | 346 | 6287k| 123.8 | 227M | 91 |4063 |4286 | 739 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 776s| 32700 | 352 | 6300k| 123.9 | 227M | 91 |4063 |4244 | 0 | 16k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 778s| 32800 | 355 | 6312k| 123.8 | 227M | 91 |4063 |4244 | 732 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 779s| 32900 | 352 | 6326k| 123.9 | 227M | 91 |4063 |4253 | 743 | 16k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 781s| 33000 | 352 | 6341k| 123.9 | 227M | 91 |4063 |4243 | 733 | 16k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 782s| 33100 | 354 | 6351k| 123.9 | 227M | 91 |4063 |4269 | 741 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 783s| 33200 | 357 | 6357k| 123.8 | 227M | 91 |4063 |4317 | 740 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
792.32/795.78 c 785s| 33300 | 350 | 6369k| 123.7 | 227M | 91 |4063 |4280 | 751 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 786s| 33400 | 356 | 6380k| 123.7 | 227M | 91 |4063 |4211 | 737 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 788s| 33500 | 358 | 6392k| 123.7 | 227M | 91 |4063 |4210 | 738 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 789s| 33600 | 356 | 6401k| 123.6 | 227M | 91 |4063 |4221 | 742 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 790s| 33700 | 356 | 6410k| 123.6 | 227M | 91 |4063 |4197 | 747 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 792s| 33800 | 362 | 6424k| 123.6 | 227M | 91 |4063 |4184 | 741 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
792.32/795.78 c 794s| 33900 | 360 | 6438k| 123.6 | 227M | 91 |4063 |4194 | 746 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 795s| 34000 | 360 | 6450k| 123.6 | 227M | 91 |4063 |4201 | 742 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 797s| 34100 | 357 | 6462k| 123.6 | 227M | 91 |4063 |4265 | 741 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 799s| 34200 | 357 | 6480k| 123.7 | 227M | 91 |4063 |4260 | 743 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 801s| 34300 | 361 | 6495k| 123.8 | 227M | 91 |4063 |4227 | 741 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 803s| 34400 | 355 | 6511k| 123.9 | 227M | 91 |4063 |4231 | 743 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 804s| 34500 | 357 | 6525k| 123.9 | 227M | 91 |4063 |4254 | 743 | 17k| 0 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 805s| 34600 | 360 | 6532k| 123.8 | 227M | 91 |4063 |4292 | 764 | 17k| 1 | 28k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 807s| 34700 | 360 | 6542k| 123.7 | 227M | 91 |4063 |4310 | 738 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
896.31/900.13 c 808s| 34800 | 358 | 6551k| 123.7 | 228M | 91 |4063 |4319 | 737 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 810s| 34900 | 355 | 6564k| 123.7 | 228M | 91 |4063 |4301 | 748 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 811s| 35000 | 348 | 6576k| 123.7 | 228M | 91 |4063 |3849 | 739 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 813s| 35100 | 352 | 6582k| 123.6 | 228M | 91 |4063 |3916 | 743 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 814s| 35200 | 354 | 6590k| 123.5 | 228M | 91 |4063 |3918 | 749 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 815s| 35300 | 350 | 6598k| 123.4 | 228M | 91 |4063 |3932 | 750 | 17k| 2 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 817s| 35400 | 350 | 6610k| 123.4 | 228M | 91 |4063 |3977 | 723 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 818s| 35500 | 357 | 6621k| 123.4 | 228M | 91 |4063 |4047 | 723 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 819s| 35600 | 356 | 6630k| 123.3 | 228M | 91 |4063 |4200 | 722 | 17k| 1 | 29k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 821s| 35700 | 359 | 6643k| 123.3 | 228M | 91 |4063 |4312 | 0 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 823s| 35800 | 356 | 6657k| 123.3 | 228M | 91 |4063 |4399 | 727 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 825s| 35900 | 357 | 6674k| 123.4 | 228M | 91 |4063 |4458 | 724 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 827s| 36000 | 358 | 6688k| 123.5 | 228M | 91 |4063 |4515 | 0 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 829s| 36100 | 360 | 6700k| 123.4 | 228M | 91 |4063 |4627 | 726 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 831s| 36200 | 356 | 6714k| 123.5 | 228M | 91 |4063 |4607 | 723 | 17k| 0 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
896.31/900.13 c 833s| 36300 | 357 | 6728k| 123.5 | 228M | 91 |4063 |4610 | 728 | 17k| 1 | 30k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 834s| 36400 | 356 | 6742k| 123.5 | 228M | 91 |4063 |4582 | 727 | 17k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 836s| 36500 | 356 | 6757k| 123.6 | 228M | 91 |4063 |4670 | 0 | 17k| 0 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 839s| 36600 | 371 | 6774k| 123.7 | 228M | 91 |4063 |4572 | 737 | 17k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 841s| 36700 | 367 | 6796k| 123.9 | 228M | 91 |4063 |4126 | 724 | 17k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 843s| 36800 | 375 | 6814k| 124.0 | 228M | 91 |4063 |4025 | 741 | 18k| 0 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 845s| 36900 | 373 | 6830k| 124.0 | 228M | 91 |4063 |4018 | 753 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 848s| 37000 | 383 | 6853k| 124.2 | 229M | 91 |4063 |3838 | 702 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 850s| 37100 | 380 | 6870k| 124.3 | 229M | 91 |4063 |3842 | 722 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 852s| 37200 | 375 | 6889k| 124.4 | 229M | 91 |4063 |3844 | 716 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 854s| 37300 | 378 | 6902k| 124.4 | 229M | 91 |4063 |3883 | 743 | 18k| 0 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 856s| 37400 | 384 | 6914k| 124.4 | 229M | 91 |4063 |3885 | 739 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 857s| 37500 | 384 | 6925k| 124.4 | 229M | 91 |4063 |3916 | 710 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 860s| 37600 | 388 | 6948k| 124.6 | 229M | 91 |4063 |3904 | 716 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 862s| 37700 | 392 | 6969k| 124.7 | 229M | 91 |4063 |3807 | 764 | 18k| 1 | 31k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
896.31/900.13 c 865s| 37800 | 399 | 6988k| 124.9 | 229M | 91 |4063 |3566 | 739 | 18k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 867s| 37900 | 414 | 7007k| 125.0 | 229M | 91 |4063 |3558 | 737 | 18k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 869s| 38000 | 414 | 7023k| 125.0 | 229M | 91 |4063 |3674 | 746 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 871s| 38100 | 411 | 7040k| 125.1 | 229M | 91 |4063 |3655 | 737 | 19k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 874s| 38200 | 415 | 7063k| 125.3 | 229M | 91 |4063 |3628 | 747 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 876s| 38300 | 424 | 7082k| 125.4 | 229M | 91 |4063 |3577 | 743 | 19k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 879s| 38400 | 430 | 7103k| 125.6 | 229M | 91 |4063 |3495 | 716 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 882s| 38500 | 425 | 7127k| 125.8 | 230M | 91 |4063 |3470 | 717 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 884s| 38600 | 431 | 7145k| 125.9 | 230M | 91 |4063 |3517 | 766 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 886s| 38700 | 433 | 7160k| 125.9 | 230M | 91 |4063 |3524 | 735 | 19k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 888s| 38800 | 431 | 7179k| 126.0 | 230M | 91 |4063 |3543 | 746 | 19k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 890s| 38900 | 430 | 7195k| 126.1 | 230M | 91 |4063 |3525 | 763 | 20k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 892s| 39000 | 427 | 7214k| 126.2 | 230M | 91 |4063 |3507 | 737 | 20k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 895s| 39100 | 431 | 7234k| 126.3 | 230M | 91 |4063 |3526 | 724 | 20k| 1 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
896.31/900.13 c 897s| 39200 | 426 | 7258k| 126.5 | 230M | 91 |4063 |3556 | 751 | 20k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.22/1000.49 c 900s| 39300 | 425 | 7279k| 126.7 | 230M | 91 |4063 |3565 | 0 | 20k| 0 | 32k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 902s| 39400 | 433 | 7300k| 126.8 | 230M | 91 |4063 |3555 | 721 | 20k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 905s| 39500 | 432 | 7324k| 127.0 | 230M | 91 |4063 |3580 | 734 | 20k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 908s| 39600 | 432 | 7348k| 127.2 | 230M | 91 |4063 |3572 | 710 | 20k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 910s| 39700 | 442 | 7365k| 127.3 | 231M | 91 |4063 |3618 | 720 | 20k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 913s| 39800 | 434 | 7389k| 127.5 | 231M | 91 |4063 |3591 | 746 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 917s| 39900 | 436 | 7417k| 127.7 | 231M | 91 |4063 |3542 | 742 | 21k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 920s| 40000 | 430 | 7441k| 127.9 | 231M | 91 |4063 |3514 | 702 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 923s| 40100 | 428 | 7467k| 128.2 | 231M | 91 |4063 |3512 | 751 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 924s| 40200 | 424 | 7483k| 128.2 | 231M | 91 |4063 |3516 | 733 | 21k| 0 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 929s| 40300 | 392 | 7517k| 128.6 | 232M | 91 |4063 |3438 | 743 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 931s| 40400 | 399 | 7537k| 128.7 | 232M | 91 |4063 |3458 | 732 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 934s| 40500 | 400 | 7561k| 128.9 | 232M | 91 |4063 |3360 | 704 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 938s| 40600 | 404 | 7592k| 129.2 | 232M | 91 |4063 |3335 | 718 | 21k| 1 | 33k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 941s| 40700 | 403 | 7618k| 129.4 | 232M | 91 |4063 |3320 | 724 | 22k| 0 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.22/1000.49 c 944s| 40800 | 415 | 7644k| 129.6 | 232M | 91 |4063 |3306 | 743 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 946s| 40900 | 420 | 7665k| 129.8 | 232M | 91 |4063 |3292 | 710 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 950s| 41000 | 406 | 7696k| 130.1 | 232M | 91 |4063 |3322 | 738 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 952s| 41100 | 407 | 7713k| 130.1 | 232M | 91 |4063 |3346 | 748 | 22k| 0 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 955s| 41200 | 409 | 7741k| 130.4 | 232M | 91 |4063 |3363 | 719 | 22k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 959s| 41300 | 419 | 7771k| 130.7 | 232M | 91 |4063 |3349 | 780 | 22k| 0 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 962s| 41400 | 418 | 7791k| 130.8 | 232M | 91 |4063 |3483 | 779 | 23k| 1 | 34k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 964s| 41500 | 422 | 7813k| 131.0 | 232M | 91 |4063 |3619 | 767 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 966s| 41600 | 434 | 7828k| 131.0 | 232M | 91 |4063 |3617 | 784 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 968s| 41700 | 430 | 7848k| 131.1 | 232M | 91 |4063 |3655 | 797 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 970s| 41800 | 432 | 7855k| 131.0 | 232M | 91 |4063 |3709 | 806 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 972s| 41900 | 431 | 7874k| 131.1 | 232M | 91 |4063 |3758 | 797 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 975s| 42000 | 429 | 7892k| 131.2 | 232M | 91 |4063 |3820 | 0 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 977s| 42100 | 432 | 7910k| 131.3 | 232M | 91 |4063 |3818 | 797 | 23k| 1 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 979s| 42200 | 432 | 7928k| 131.3 | 232M | 91 |4063 |3857 | 0 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
996.22/1000.49 c 981s| 42300 | 433 | 7948k| 131.5 | 233M | 91 |4063 |3755 | 779 | 23k| 0 | 35k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 985s| 42400 | 440 | 7976k| 131.7 | 233M | 91 |4063 |3597 | 714 | 23k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 988s| 42500 | 448 | 7998k| 131.9 | 233M | 91 |4063 |3574 | 709 | 23k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 990s| 42600 | 454 | 8017k| 131.9 | 233M | 91 |4063 |3613 | 730 | 23k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 992s| 42700 | 462 | 8035k| 132.0 | 233M | 91 |4063 |3624 | 730 | 24k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 994s| 42800 | 454 | 8050k| 132.1 | 233M | 91 |4063 |3627 | 728 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 996s| 42900 | 450 | 8066k| 132.1 | 233M | 91 |4063 |3646 | 703 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 997s| 43000 | 454 | 8077k| 132.1 | 233M | 91 |4063 |3688 | 713 | 24k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 998s| 43100 | 450 | 8089k| 132.1 | 233M | 91 |4063 |3757 | 716 | 24k| 0 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c 1000s| 43200 | 452 | 8100k| 132.0 | 233M | 91 |4063 |3826 | 712 | 24k| 1 | 36k| 23 | 7.000000e+00 | -- | Inf | unknown
996.22/1000.49 c
996.22/1000.49 c SCIP Status : solving was interrupted [time limit reached]
996.22/1000.49 c Solving Time (sec) : 1000.00
996.22/1000.49 c Solving Nodes : 43235 (total of 61216 nodes in 2 runs)
996.22/1000.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
996.22/1000.49 c Dual Bound : +7.00000000000000e+00
996.22/1000.49 c Gap : infinite
996.22/1000.49 c ----------------------------------------------------------------------
996.22/1000.49 c dual bound: 7.0 -> 7
996.22/1000.49 c primal bound: 1e+20 -> 100000000000000000000
996.22/1000.49 c scip-goal-lb: 7
996.22/1000.49 c scip-goal-ub: 100000000000000000000
996.22/1000.49 c writing output to: HOME/tmppz4baslu.opb
996.22/1000.49 c appending fixed variable constraints
996.22/1000.49 c scip-fixed vars: 22.47% (913/4063)
996.22/1000.49 c ----------------------------------------------------------------------
996.22/1000.49 c executing external solver: HOME/naps-1.03a6
996.22/1000.49 c ----------------------------------------------------------------------
996.22/1000.49 c command: HOME/naps-1.03a6 -goal-lb=7 -goal-ub=99999999999999999999 HOME/tmppz4baslu.opb
996.31/1000.50 c NaPS 1.03a6.
996.31/1000.50 c Input file name: HOME/tmppz4baslu.opb
999.59/1003.85 c single stage optimization mode
3600.02/3612.40 c
3600.02/3612.40 c *** TERMINATED *** by signal 15
3600.02/3612.40 c s UNKNOWN
3600.02/3612.40 c _____________________________________________________________________________
3600.02/3612.40 c std/band forms : 523,0
3600.02/3612.40 c 2cl/3cl ITE-codings : 357952,0
3600.02/3612.40 c BDD/srt/adr Max costs : 1232,16832,0
3600.02/3612.40 c BDDraw/bin/mul/srt/adr: 448,0,0,75,0
3600.02/3612.40 c BDD nodes : 552384
3600.02/3612.40 c Es1/CC detections : 0,0
3600.02/3612.40 c CC sort : 75
3600.02/3612.40 c SAT/UNSAT calls : 0,0
3600.02/3612.40 c regenrated variables : 0
3600.02/3612.40 c eliminated fixed lits : 935
3600.02/3612.40 c goal lit flips : 0
3600.02/3612.40 c goal stages : 1
3600.02/3612.40 c goal shrink : 0
3600.02/3612.40 c goal coeff separations: 0
3600.02/3612.40 c restarts : 0
3600.02/3612.40 c conflicts : 0 (0 /sec)
3600.02/3612.40 c decisions : 0 (0 /sec)
3600.02/3612.40 c propagations : 0 (0 /sec)
3600.02/3612.40 c inspects : 0 (0 /sec)
3600.02/3612.40 c CPU time (solving tm) : 2602 s (2599 s, SAT 0 s, UNSAT 0 s)
3600.02/3612.40 c Time for Opt-base : 0.002793 s
3600.02/3612.40 c Steps for Opt-base : 0
3600.02/3612.40 c Time for BDD coding : 2.4 s
3600.02/3612.40 c Time for srt coding : 0.02575 s
3600.02/3612.40 c _____________________________________________________________________________
3600.02/3612.40 s UNKNOWN
3600.16/3612.57 c received SIGTERM, forwarding to pbsolver...
3600.16/3612.57 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: 63794 MiB (62446 MiB free)
memory of node 1: 64507 MiB (53396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530285-1752253843/watcher-4530285-1752253843 -o /tmp/evaluation-result-4530285-1752253843/solver-4530285-1752253843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752253269-119229 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530285-1752253843.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=119866, runsolver pid=119863
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 4.14 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118624020/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=12512 memory=9856 CPUtime=0.05 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 1464 0 0 0 5 0 0 0 20 0 1 0 141064015 12812288 2464 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 3128 2464 1184 1 0 1340 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16704 KiB
Current children cumulated memory: 12928 KiB
[startup+0.213708 s]*
/proc/loadavg: 4.14 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118615956/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1184812 memory=28776 CPUtime=0.15 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 3200 0 0 0 12 3 0 0 20 0 1 0 141064015 1213247488 7194 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 296203 7194 4609 1 0 268271 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1189004 KiB
Current children cumulated memory: 31848 KiB
[startup+0.313612 s]*
/proc/loadavg: 4.14 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118615956/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1189420 memory=34408 CPUtime=0.24 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 4204 0 0 0 20 4 0 0 20 0 1 0 141064015 1217966080 8602 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 297355 8602 5057 1 0 269264 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1193612 KiB
Current children cumulated memory: 37480 KiB
[startup+0.70029 s]
/proc/loadavg: 4.14 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118572864/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1236816 memory=88168 CPUtime=0.58 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 15012 0 0 0 51 7 0 0 20 0 1 0 141064015 1266499584 22042 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 309204 22042 7969 1 0 280562 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 1241008 KiB
Current children cumulated memory: 91240 KiB
[startup+1.5002 s]
/proc/loadavg: 4.14 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118524480/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1259988 memory=103272 CPUtime=1.37 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 18769 0 0 0 129 8 0 0 20 0 1 0 141064015 1290227712 25818 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 314997 25818 8001 1 0 286355 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 1264180 KiB
Current children cumulated memory: 106344 KiB
[startup+3.10591 s]
/proc/loadavg: 4.13 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118404808/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1295376 memory=138600 CPUtime=2.95 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 27604 0 0 0 286 9 0 0 20 0 1 0 141064015 1326465024 34650 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 323844 34650 8001 1 0 295202 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 1299568 KiB
Current children cumulated memory: 141672 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 3.99 3.56 5/256 119871
/proc/meminfo: memFree=118197432/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1363876 memory=204952 CPUtime=6.11 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 48859 0 0 0 598 13 0 0 20 0 1 0 141064015 1396609024 51238 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 340969 51238 8161 1 0 312327 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 1368068 KiB
Current children cumulated memory: 208024 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 3.99 3.56 5/256 119871
/proc/meminfo: memFree=117976440/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1372740 memory=215068 CPUtime=12.44 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 60436 0 0 0 1229 15 0 0 20 0 1 0 141064015 1405685760 53767 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 343185 53767 8161 1 0 314543 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 1376932 KiB
Current children cumulated memory: 218140 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.00 3.57 5/257 119872
/proc/meminfo: memFree=111190160/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1372740 memory=215324 CPUtime=25.18 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 60526 0 0 0 2502 16 0 0 20 0 1 0 141064015 1405685760 53831 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 343185 53831 8161 1 0 314543 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 1376932 KiB
Current children cumulated memory: 218396 KiB
[startup+51.1136 s]
/proc/loadavg: 4.12 4.01 3.59 5/257 119872
/proc/meminfo: memFree=110157052/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1393412 memory=234628 CPUtime=50.68 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 66564 0 0 0 5051 17 0 0 20 0 1 0 141064015 1426853888 58657 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 348353 58657 8161 1 0 319711 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 1397604 KiB
Current children cumulated memory: 237700 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.04 3.62 5/259 119876
/proc/meminfo: memFree=110131512/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1393412 memory=234884 CPUtime=101.65 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 66630 0 0 0 10148 17 0 0 20 0 1 0 141064015 1426853888 58721 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 348353 58721 8161 1 0 319711 0
Current children cumulated CPU time: 101.65 s
Current children cumulated vsize: 1397604 KiB
Current children cumulated memory: 237956 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.06 3.66 5/260 119879
/proc/meminfo: memFree=110111364/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1394916 memory=238212 CPUtime=161.4 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 67363 0 0 0 16122 18 0 0 20 0 1 0 141064015 1428393984 59553 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 348729 59553 8289 1 0 320087 0
Current children cumulated CPU time: 161.4 s
Current children cumulated vsize: 1399108 KiB
Current children cumulated memory: 241284 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.06 3.69 5/260 119881
/proc/meminfo: memFree=110295784/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1467528 memory=311184 CPUtime=221.17 cores=5,7
/proc/119871/stat : 119871 (python3) R 119866 119866 119216 0 -1 4194304 100735 0 0 0 22092 25 0 0 20 0 1 0 141064015 1502748672 77796 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 366882 77796 8289 1 0 338240 0
Current children cumulated CPU time: 221.17 s
Current children cumulated vsize: 1471720 KiB
################
# More data... #
################
/proc/loadavg: 4.33 4.30 4.17 5/258 120187
/proc/meminfo: memFree=117555704/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=416608 memory=388368 CPUtime=2214.91 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 115063 0 0 0 221343 148 0 0 20 0 1 0 141164061 426606592 97092 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 104152 97092 640 696 0 103313 0
Current children cumulated CPU time: 3211.22 s
Current children cumulated vsize: 1889956 KiB
Current children cumulated memory: 704492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.26 4.17 5/258 120189
/proc/meminfo: memFree=117530340/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=459152 memory=430788 CPUtime=2274.71 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 116019 0 0 0 227322 149 0 0 20 0 1 0 141164061 470171648 107697 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 114788 107697 640 696 0 113949 0
Current children cumulated CPU time: 3271.02 s
Current children cumulated vsize: 1932500 KiB
Current children cumulated memory: 746912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.23 4.16 5/257 120191
/proc/meminfo: memFree=117446672/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=470728 memory=456824 CPUtime=2334.5 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 118256 0 0 0 233296 154 0 0 20 0 1 0 141164061 482025472 114206 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 117682 114206 640 696 0 116843 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 1944076 KiB
Current children cumulated memory: 772948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.23 4.17 5/257 120193
/proc/meminfo: memFree=118844524/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=472100 memory=458196 CPUtime=2394.32 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 119519 0 0 0 239275 157 0 0 20 0 1 0 141164061 483430400 114549 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 118025 114549 640 696 0 117186 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 1945448 KiB
Current children cumulated memory: 774320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.77 4.39 4.23 5/258 120202
/proc/meminfo: memFree=116934300/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=471676 memory=457772 CPUtime=2454.11 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 120002 0 0 0 245253 158 0 0 20 0 1 0 141164061 482996224 114443 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 117919 114443 640 696 0 117080 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 1945024 KiB
Current children cumulated memory: 773896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.38 4.23 5/258 120204
/proc/meminfo: memFree=114939628/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=472872 memory=458968 CPUtime=2513.91 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 121275 0 0 0 251230 161 0 0 20 0 1 0 141164061 484220928 114742 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 118218 114742 640 696 0 117379 0
Current children cumulated CPU time: 3510.22 s
Current children cumulated vsize: 1946220 KiB
Current children cumulated memory: 775092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.32 4.22 6/258 120256
/proc/meminfo: memFree=114833588/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=473604 memory=459700 CPUtime=2573.72 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 122001 0 0 0 257208 164 0 0 20 0 1 0 141164061 484970496 114925 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 118401 114925 640 696 0 117562 0
Current children cumulated CPU time: 3570.03 s
Current children cumulated vsize: 1946952 KiB
Current children cumulated memory: 775824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.23 4.31 4.22 6/258 120256
/proc/meminfo: memFree=114739460/131382112 swapFree=33010416/33010684
[pid=119866] ppid=119863 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/119866/stat : 119866 (scip-naps-1.00a) S 119863 119866 119216 0 -1 4194304 260 336 0 0 0 0 0 0 20 0 1 0 141064012 4292608 768 18446744073709551615 93825071984640 93825072879173 140722426635488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93825073118224 93825073165968 93825087414272 140722426644891 140722426644990 140722426644990 140722426650594 0
/proc/119866/statm: 1048 768 704 219 0 110 0
[pid=119871] ppid=119866 vsize=1469156 memory=313052 CPUtime=996.31 cores=5,7
/proc/119871/stat : 119871 (python3) S 119866 119866 119216 0 -1 4194304 101615 0 0 0 99596 35 0 0 20 0 1 0 141064015 1504415744 78263 18446744073709551615 94732271501312 94732271501689 140735142256864 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94732271512984 94732271513604 94732298088448 140735142263134 140735142263328 140735142263328 140735142268903 0
/proc/119871/statm: 367289 78263 8321 1 0 338647 0
[pid=119978] ppid=119871 vsize=473860 memory=459956 CPUtime=2603.71 cores=5,7
/proc/119978/stat : 119978 (naps-1.03a6) R 119871 119978 119978 0 -1 4194304 122605 0 0 0 260206 165 0 0 20 0 1 0 141164061 485232640 114989 18446744073709551615 4198400 7047149 140722588083040 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 40525824 140722588084582 140722588084721 140722588084721 140722588090313 0
/proc/119978/statm: 118465 114989 640 696 0 117626 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1947208 KiB
Current children cumulated memory: 776080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.42 s]
# the end of solver process 119866 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002288 s, system=0.012775 s
[startup+3612.65 s]
# the end of solver process 119871 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.18 s, system=2.10277 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
[startup+3612.61 s]*
/proc/loadavg: 4.23 4.31 4.22 5/256 120256
/proc/meminfo: memFree=115233380/131382112 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.015063 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.65
CPU time (s): 3600.28
CPU user time (s): 3598.18
CPU system time (s): 2.10277
CPU usage (%): 99.6577
Max. virtual memory (cumulated for all children) (KiB): 2136300
Max. memory (cumulated for all children) (KiB): 948664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.18
system time used= 2.10276
maximum resident set size= 632540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256835
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= 418
involuntary context switches= 1927
# summary of solver processes directly reported to runsolver:
# pid: 119866,119871
# total CPU time (s): 3600.28
# total CPU user time (s): 3598.18
# total CPU system time (s): 2.10277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1254 second user time and 38.7986 second system time
The end