101.45/101.91 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529764-1752253300.opb
101.45/101.91 c Solving mode: decision
101.45/101.91 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
101.45/101.91 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
101.45/101.91 c original problem has 2750 variables (2750 bin, 0 int, 0 impl, 0 cont) and 74305 constraints
101.45/101.91 c presolving:
101.45/101.91 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 74305 upgd conss, 0 impls, 74250 clqs
101.45/101.91 c (1.3s) probing: 51/2750 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
101.45/101.91 c (1.3s) probing aborted: 50/50 successive totally useless probings
101.45/101.91 c (1.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
101.45/101.91 c (2.9s) symmetry computation finished: 103 generators found (max: 1500, log10 of symmetry group size: 130.0) (symcode time: 1.54)
101.45/101.91 c dynamic symmetry handling statistics:
101.45/101.91 c orbitopal reduction: no components
101.45/101.91 c orbital reduction: no components
101.45/101.91 c lexicographic reduction: no permutations
101.45/101.91 c handled 1 out of 1 symmetry components
101.45/101.91 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
101.45/101.91 c 0 deleted vars, 0 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
101.45/101.91 c 0 implications, 74250 cliques
101.45/101.91 c presolved problem has 2750 variables (2750 bin, 0 int, 0 impl, 0 cont) and 74307 constraints
101.45/101.91 c 74250 constraints of type <setppc>
101.45/101.91 c 2 constraints of type <orbitope>
101.45/101.91 c 55 constraints of type <logicor>
101.45/101.91 c transformed objective value is always integral (scale: 1)
101.45/101.91 c Presolving Time: 2.74
101.45/101.91 c
101.45/101.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
101.45/101.91 c 16.6s| 1 | 0 | 216 | - | 210M | 0 |2750 | 74k| 74k| 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 17.3s| 1 | 0 | 4488 | - | 235M | 0 |2750 | 74k| 72k| 4 | 1 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 17.6s| 1 | 0 | 5393 | - | 242M | 0 |2750 | 72k| 72k| 9 | 2 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 18.5s| 1 | 0 | 6371 | - | 250M | 0 |2750 | 72k| 72k| 23 | 3 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 19.6s| 1 | 0 | 6708 | - | 261M | 0 |2750 | 72k| 72k| 37 | 4 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 20.9s| 1 | 0 | 7232 | - | 279M | 0 |2750 | 72k| 72k| 49 | 5 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 22.2s| 1 | 0 | 7404 | - | 291M | 0 |2750 | 72k| 72k| 59 | 6 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 22.7s| 1 | 0 | 7561 | - | 306M | 0 |2750 | 72k| 72k| 65 | 7 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 23.1s| 1 | 0 | 7927 | - | 313M | 0 |2750 | 72k| 72k| 67 | 8 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 23.7s| 1 | 0 | 8354 | - | 320M | 0 |2750 | 72k| 72k| 71 | 9 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 24.6s| 1 | 0 | 8805 | - | 327M | 0 |2750 | 72k| 72k| 77 | 10 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 24.7s| 1 | 0 | 9159 | - | 334M | 0 |2750 | 72k| 72k| 87 | 11 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 26.7s| 1 | 2 | 12300 | - | 335M | 0 |2750 | 72k| 72k| 87 | 11 | 13 | 22 | 0.000000e+00 | -- | Inf | unknown
101.45/101.91 c 36.6s| 100 | 25 | 41579 | 328.6 | 365M | 33 |2750 | 72k| 0 | 176 | 0 | 15 | 22 | 0.000000e+00 | -- | Inf | 5.08%
101.45/101.91 c 46.4s| 200 | 35 | 61025 | 261.2 | 394M | 70 |2750 | 72k| 0 | 246 | 0 | 18 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
101.45/101.91 c 47.6s| 300 | 37 | 61269 | 174.6 | 394M | 120 |2750 | 72k| 72k| 247 | 1 | 18 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 49.9s| 400 | 39 | 62777 | 134.7 | 408M | 171 |2750 | 72k| 72k| 263 | 1 | 18 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 53.9s| 500 | 41 | 64715 | 111.6 | 436M | 183 |2750 | 72k| 72k| 316 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 55.7s| 600 | 39 | 68484 | 99.2 | 436M | 207 |2750 | 72k| 0 | 334 | 0 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 57.3s| 700 | 45 | 70120 | 87.4 | 437M | 207 |2750 | 72k| 72k| 356 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 58.4s| 800 | 45 | 70227 | 76.6 | 437M | 207 |2750 | 72k| 72k| 357 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 60.8s| 900 | 51 | 72837 | 71.0 | 452M | 207 |2750 | 72k| 72k| 394 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 62.0s| 1000 | 51 | 73217 | 64.2 | 452M | 207 |2750 | 72k| 72k| 406 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 64.1s| 1100 | 53 | 74492 | 59.5 | 466M | 207 |2750 | 72k| 72k| 422 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 66.7s| 1200 | 55 | 77313 | 56.9 | 473M | 207 |2750 | 72k| 72k| 454 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 67.9s| 1300 | 55 | 77633 | 52.8 | 473M | 207 |2750 | 72k| 72k| 469 | 2 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 71.1s| 1400 | 55 | 79135 | 50.1 | 480M | 207 |2750 | 72k| 0 | 489 | 0 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 74.4s| 1500 | 57 | 79920 | 47.3 | 488M | 207 |2750 | 72k| 72k| 511 | 2 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 79.3s| 1600 | 59 | 80640 | 44.8 | 496M | 207 |2750 | 72k| 72k| 557 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 83.0s| 1700 | 61 | 82243 | 43.1 | 503M | 207 |2750 | 72k| 72k| 599 | 1 | 19 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
101.45/101.91 c 86.8s| 1800 | 63 | 84711 | 42.1 | 504M | 207 |2750 | 72k| 72k| 622 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 88.0s| 1900 | 65 | 85053 | 40.0 | 504M | 207 |2750 | 72k| 72k| 651 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 88.9s| 2000 | 65 | 85255 | 38.1 | 504M | 207 |2750 | 72k| 72k| 651 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 92.1s| 2100 | 65 | 85898 | 36.6 | 511M | 207 |2750 | 72k| 72k| 681 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 93.2s| 2200 | 67 | 87154 | 35.5 | 511M | 250 |2750 | 72k| 72k| 682 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 94.1s| 2300 | 67 | 87427 | 34.1 | 511M | 277 |2750 | 72k| 72k| 683 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 95.1s| 2400 | 67 | 87729 | 32.8 | 511M | 289 |2750 | 72k| 72k| 690 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 96.0s| 2500 | 67 | 88062 | 31.6 | 511M | 289 |2750 | 72k| 72k| 692 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 98.5s| 2600 | 67 | 88766 | 30.7 | 518M | 289 |2750 | 72k| 72k| 713 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
101.45/101.91 c 99.9s| 2700 | 69 | 90325 | 30.1 | 518M | 289 |2750 | 72k| 72k| 714 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
183.88/184.69 c 101s| 2800 | 69 | 91668 | 29.5 | 518M | 302 |2750 | 72k| 72k| 715 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
183.88/184.69 c 102s| 2900 | 71 | 92236 | 28.7 | 518M | 302 |2750 | 72k| 72k| 719 | 1 | 20 | 22 | 0.000000e+00 | -- | Inf | 5.18%
183.88/184.69 c 104s| 3000 | 75 | 95560 | 28.8 | 519M | 302 |2750 | 72k| 0 | 725 | 0 | 23 | 22 | 0.000000e+00 | -- | Inf | 5.18%
183.88/184.69 c 105s| 3100 | 75 | 97552 | 28.6 | 520M | 302 |2750 | 72k| 0 | 726 | 0 | 24 | 22 | 0.000000e+00 | -- | Inf | 5.18%
183.88/184.69 c 110s| 3200 | 77 | 99802 | 28.4 | 534M | 309 |2750 | 72k| 0 | 777 | 0 | 27 | 22 | 0.000000e+00 | -- | Inf | 13.74%
183.88/184.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
183.88/184.69 c 111s| 3300 | 79 |102276 | 28.3 | 535M | 309 |2750 | 72k| 0 | 794 | 0 | 27 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 113s| 3400 | 79 |103066 | 27.7 | 535M | 309 |2750 | 72k| 72k| 798 | 1 | 31 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 114s| 3500 | 79 |103221 | 26.9 | 535M | 309 |2750 | 72k| 72k| 798 | 1 | 31 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 115s| 3600 | 81 |104185 | 26.4 | 535M | 309 |2750 | 72k| 72k| 818 | 1 | 33 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 116s| 3700 | 81 |104391 | 25.8 | 535M | 309 |2750 | 72k| 72k| 821 | 1 | 33 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 118s| 3800 | 81 |104786 | 25.2 | 535M | 309 |2750 | 72k| 72k| 846 | 1 | 33 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 119s| 3900 | 81 |104948 | 24.6 | 535M | 309 |2750 | 72k| 72k| 847 | 1 | 33 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 121s| 4000 | 83 |107661 | 24.7 | 535M | 309 |2750 | 72k| 72k| 847 | 1 | 33 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 123s| 4100 | 89 |112522 | 25.2 | 536M | 309 |2750 | 72k| 0 | 849 | 0 | 34 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 125s| 4200 | 93 |118473 | 26.1 | 537M | 309 |2750 | 72k| 72k| 859 | 1 | 36 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 128s| 4300 | 93 |124552 | 26.9 | 538M | 309 |2750 | 72k| 72k| 862 | 1 | 45 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 132s| 4400 | 95 |130268 | 27.6 | 538M | 309 |2750 | 72k| 72k| 865 | 1 | 54 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 136s| 4500 | 93 |139565 | 29.0 | 539M | 309 |2750 | 72k| 0 | 867 | 0 | 71 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 138s| 4600 | 102 |143128 | 29.2 | 541M | 309 |2750 | 72k| 72k| 871 | 1 | 77 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 140s| 4700 | 99 |143832 | 28.7 | 542M | 309 |2750 | 72k| 0 | 873 | 0 | 81 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
183.88/184.69 c 142s| 4800 | 103 |148403 | 29.0 | 544M | 309 |2750 | 72k| 0 | 897 | 0 | 84 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 144s| 4900 | 107 |149957 | 28.8 | 544M | 309 |2750 | 72k| 72k| 918 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 145s| 5000 | 107 |151620 | 28.5 | 544M | 309 |2750 | 72k| 72k| 931 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 146s| 5100 | 107 |151818 | 28.0 | 544M | 309 |2750 | 72k| 72k| 935 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 148s| 5200 | 107 |152146 | 27.5 | 544M | 309 |2750 | 72k| 72k| 952 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 149s| 5300 | 107 |152751 | 27.1 | 544M | 309 |2750 | 72k| 0 | 953 | 0 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 150s| 5400 | 109 |154223 | 26.9 | 544M | 309 |2750 | 72k| 72k| 953 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 151s| 5500 | 111 |154630 | 26.5 | 544M | 309 |2750 | 72k| 72k| 953 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 153s| 5600 | 115 |158832 | 26.8 | 545M | 309 |2750 | 72k| 72k| 955 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 154s| 5700 | 119 |160221 | 26.5 | 545M | 309 |2750 | 72k| 72k| 956 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 156s| 5800 | 123 |162576 | 26.5 | 545M | 309 |2750 | 72k| 72k| 957 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 157s| 5900 | 123 |162873 | 26.1 | 545M | 309 |2750 | 72k| 72k| 958 | 1 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 158s| 6000 | 125 |164259 | 25.9 | 545M | 333 |2750 | 72k| 72k| 959 | 2 | 88 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 159s| 6100 | 127 |166241 | 25.8 | 546M | 333 |2750 | 72k| 0 | 960 | 0 | 89 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 161s| 6200 | 130 |170126 | 26.0 | 547M | 333 |2750 | 72k| 0 | 962 | 0 | 91 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
183.88/184.69 c 165s| 6300 | 132 |178031 | 26.8 | 547M | 333 |2750 | 72k| 72k| 962 | 0 | 97 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 167s| 6400 | 133 |184331 | 27.4 | 547M | 333 |2750 | 72k| 0 | 963 | 0 | 101 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 168s| 6500 | 132 |184749 | 27.0 | 548M | 333 |2750 | 72k| 0 | 963 | 0 | 103 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 169s| 6600 | 132 |184990 | 26.7 | 548M | 333 |2750 | 72k| 72k| 963 | 1 | 104 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 171s| 6700 | 132 |185674 | 26.4 | 548M | 333 |2750 | 72k| 72k| 963 | 1 | 107 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 171s| 6800 | 131 |186047 | 26.0 | 548M | 333 |2750 | 72k| 72k| 965 | 1 | 108 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 173s| 6900 | 130 |186785 | 25.8 | 548M | 333 |2750 | 72k| 72k| 966 | 1 | 111 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 174s| 7000 | 129 |187594 | 25.5 | 548M | 333 |2750 | 72k| 0 | 967 | 0 | 113 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 175s| 7100 | 128 |188171 | 25.2 | 548M | 333 |2750 | 72k| 0 | 967 | 0 | 115 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 176s| 7200 | 128 |188356 | 24.9 | 548M | 356 |2750 | 72k| 0 | 967 | 0 | 115 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 176s| 7300 | 128 |188543 | 24.6 | 548M | 406 |2750 | 72k| 0 | 967 | 0 | 115 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 177s| 7400 | 128 |188857 | 24.3 | 548M | 439 |2750 | 72k| 0 | 968 | 0 | 116 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 178s| 7500 | 128 |189303 | 24.0 | 548M | 439 |2750 | 72k| 72k| 968 | 0 | 117 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 180s| 7600 | 129 |191612 | 24.0 | 548M | 439 |2750 | 72k| 72k| 970 | 1 | 120 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 181s| 7700 | 127 |192368 | 23.8 | 548M | 439 |2750 | 72k| 0 | 970 | 0 | 124 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
183.88/184.69 c 182s| 7800 | 128 |192687 | 23.5 | 549M | 439 |2750 | 72k| 72k| 970 | 1 | 126 | 22 | 0.000000e+00 | -- | Inf | 13.77%
183.88/184.69 c 183s| 7900 | 127 |193324 | 23.3 | 549M | 439 |2750 | 72k| 72k| 974 | 1 | 127 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 184s| 8000 | 127 |193685 | 23.1 | 549M | 439 |2750 | 72k| 72k| 974 | 1 | 127 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 187s| 8100 | 127 |194152 | 22.9 | 556M | 439 |2750 | 72k| 72k|1012 | 1 | 127 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 188s| 8200 | 127 |194676 | 22.6 | 556M | 439 |2750 | 72k| 0 |1013 | 0 | 127 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 189s| 8300 | 131 |196048 | 22.5 | 556M | 439 |2750 | 72k| 72k|1014 | 1 | 127 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 190s| 8400 | 131 |197732 | 22.5 | 556M | 439 |2750 | 72k| 72k|1016 | 1 | 127 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 192s| 8500 | 133 |200235 | 22.5 | 556M | 439 |2750 | 72k| 72k|1017 | 1 | 128 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 193s| 8600 | 137 |202551 | 22.5 | 556M | 439 |2750 | 72k| 72k|1018 | 1 | 128 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 194s| 8700 | 136 |203137 | 22.3 | 556M | 439 |2750 | 72k| 72k|1019 | 1 | 131 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 195s| 8800 | 136 |203537 | 22.1 | 556M | 439 |2750 | 72k| 72k|1020 | 1 | 132 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 196s| 8900 | 136 |204279 | 21.9 | 556M | 439 |2750 | 72k| 72k|1020 | 1 | 133 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 197s| 9000 | 135 |204729 | 21.7 | 557M | 439 |2750 | 72k| 72k|1020 | 1 | 134 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 198s| 9100 | 135 |205022 | 21.5 | 557M | 439 |2750 | 72k| 0 |1020 | 0 | 134 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 199s| 9200 | 135 |205190 | 21.3 | 557M | 439 |2750 | 72k| 0 |1020 | 0 | 134 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
245.60/246.59 c 199s| 9300 | 135 |205350 | 21.1 | 557M | 443 |2750 | 72k| 0 |1020 | 0 | 135 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 201s| 9400 | 136 |206024 | 21.0 | 557M | 443 |2750 | 72k| 72k|1021 | 1 | 138 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 202s| 9500 | 135 |206168 | 20.8 | 557M | 443 |2750 | 72k| 0 |1021 | 0 | 139 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 203s| 9600 | 136 |206384 | 20.6 | 557M | 443 |2750 | 72k| 72k|1021 | 1 | 141 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 204s| 9700 | 136 |206558 | 20.4 | 557M | 443 |2750 | 72k| 72k|1021 | 1 | 141 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 205s| 9800 | 135 |207149 | 20.2 | 557M | 443 |2750 | 72k| 0 |1022 | 0 | 144 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 206s| 9900 | 135 |207420 | 20.0 | 557M | 443 |2750 | 72k| 0 |1022 | 0 | 146 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 207s| 10000 | 135 |207707 | 19.9 | 557M | 443 |2750 | 72k| 0 |1022 | 0 | 146 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 207s| 10100 | 135 |207972 | 19.7 | 557M | 443 |2750 | 72k| 0 |1022 | 0 | 146 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 208s| 10200 | 135 |208331 | 19.5 | 557M | 443 |2750 | 72k| 0 |1023 | 0 | 147 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 209s| 10300 | 135 |208932 | 19.4 | 557M | 443 |2750 | 72k| 0 |1024 | 0 | 148 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 210s| 10400 | 135 |209084 | 19.2 | 557M | 443 |2750 | 72k| 0 |1024 | 0 | 148 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 211s| 10500 | 134 |209780 | 19.1 | 557M | 443 |2750 | 72k| 0 |1024 | 0 | 152 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 213s| 10600 | 135 |210995 | 19.1 | 557M | 443 |2750 | 72k| 72k|1024 | 1 | 157 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 216s| 10700 | 142 |218576 | 19.6 | 557M | 443 |2750 | 72k| 72k|1026 | 1 | 160 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
245.60/246.59 c 217s| 10800 | 144 |221371 | 19.7 | 558M | 443 |2750 | 72k| 72k|1027 | 1 | 162 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 219s| 10900 | 140 |223638 | 19.7 | 558M | 443 |2750 | 72k| 0 |1027 | 0 | 168 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 220s| 11000 | 139 |223913 | 19.5 | 558M | 443 |2750 | 72k| 0 |1027 | 0 | 169 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 221s| 11100 | 141 |224127 | 19.4 | 558M | 443 |2750 | 72k| 72k|1027 | 1 | 171 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 222s| 11200 | 139 |224468 | 19.2 | 558M | 443 |2750 | 72k| 0 |1027 | 0 | 174 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 224s| 11300 | 138 |225171 | 19.1 | 559M | 443 |2750 | 72k| 72k|1028 | 0 | 179 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 225s| 11400 | 143 |227944 | 19.2 | 560M | 443 |2750 | 72k| 72k|1030 | 1 | 182 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 226s| 11500 | 143 |228559 | 19.1 | 560M | 443 |2750 | 72k| 72k|1031 | 1 | 183 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 227s| 11600 | 142 |229478 | 19.0 | 560M | 443 |2750 | 72k| 0 |1033 | 0 | 186 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 228s| 11700 | 142 |229916 | 18.9 | 560M | 443 |2750 | 72k| 0 |1033 | 0 | 186 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 229s| 11800 | 142 |230118 | 18.7 | 560M | 443 |2750 | 72k| 0 |1033 | 0 | 186 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 230s| 11900 | 142 |230796 | 18.6 | 560M | 443 |2750 | 72k| 0 |1034 | 0 | 187 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 231s| 12000 | 142 |231000 | 18.5 | 560M | 443 |2750 | 72k| 0 |1034 | 0 | 187 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 232s| 12100 | 141 |231320 | 18.4 | 560M | 443 |2750 | 72k| 0 |1035 | 0 | 188 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 233s| 12200 | 143 |231697 | 18.3 | 560M | 443 |2750 | 72k| 72k|1035 | 1 | 188 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
245.60/246.59 c 234s| 12300 | 143 |232553 | 18.2 | 560M | 443 |2750 | 72k| 72k|1036 | 1 | 189 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 235s| 12400 | 143 |233910 | 18.1 | 560M | 443 |2750 | 72k| 72k|1037 | 1 | 190 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 236s| 12500 | 141 |234073 | 18.0 | 560M | 443 |2750 | 72k| 0 |1037 | 0 | 191 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 238s| 12600 | 141 |234520 | 17.9 | 560M | 443 |2750 | 72k| 0 |1059 | 0 | 191 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 239s| 12700 | 141 |234755 | 17.8 | 560M | 443 |2750 | 72k| 0 |1059 | 0 | 191 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 240s| 12800 | 143 |236897 | 17.8 | 560M | 443 |2750 | 72k| 0 |1060 | 0 | 191 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 242s| 12900 | 149 |238609 | 17.8 | 560M | 443 |2750 | 72k| 72k|1061 | 1 | 191 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 243s| 13000 | 151 |240065 | 17.8 | 560M | 443 |2750 | 72k| 0 |1061 | 0 | 191 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 244s| 13100 | 155 |241591 | 17.8 | 566M | 443 |2750 | 72k| 72k|1062 | 1 | 192 | 22 | 0.000000e+00 | -- | Inf | 13.77%
245.60/246.59 c 245s| 13200 | 148 |242545 | 17.7 | 567M | 443 |2750 | 72k| 0 |1066 | 0 | 195 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 246s| 13300 | 148 |242687 | 17.6 | 567M | 443 |2750 | 72k| 0 |1066 | 0 | 195 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 247s| 13400 | 148 |242898 | 17.5 | 567M | 443 |2750 | 72k| 0 |1066 | 0 | 195 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 248s| 13500 | 148 |244035 | 17.4 | 567M | 443 |2750 | 72k| 0 |1067 | 0 | 200 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 250s| 13600 | 150 |245261 | 17.4 | 567M | 443 |2750 | 72k| 72k|1069 | 1 | 204 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 251s| 13700 | 154 |246975 | 17.4 | 567M | 443 |2750 | 72k| 72k|1070 | 1 | 207 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
311.61/312.75 c 254s| 13800 | 154 |249642 | 17.4 | 568M | 443 |2750 | 72k| 72k|1071 | 1 | 218 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 254s| 13900 | 154 |249999 | 17.3 | 568M | 443 |2750 | 72k| 72k|1072 | 1 | 218 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 256s| 14000 | 152 |250775 | 17.3 | 568M | 443 |2750 | 72k| 0 |1074 | 0 | 222 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 257s| 14100 | 149 |251818 | 17.2 | 568M | 443 |2750 | 72k| 0 |1074 | 0 | 226 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 258s| 14200 | 149 |252292 | 17.1 | 568M | 443 |2750 | 72k| 0 |1076 | 0 | 226 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 259s| 14300 | 149 |253136 | 17.1 | 568M | 443 |2750 | 72k| 0 |1077 | 0 | 230 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 260s| 14400 | 149 |253450 | 17.0 | 568M | 443 |2750 | 72k| 0 |1078 | 0 | 231 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 261s| 14500 | 149 |253921 | 16.9 | 568M | 443 |2750 | 72k| 0 |1078 | 0 | 231 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 262s| 14600 | 149 |254126 | 16.8 | 568M | 443 |2750 | 72k| 0 |1078 | 0 | 231 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 263s| 14700 | 150 |254375 | 16.7 | 568M | 443 |2750 | 72k| 0 |1079 | 0 | 232 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 264s| 14800 | 152 |255339 | 16.6 | 568M | 443 |2750 | 72k| 72k|1080 | 1 | 235 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 265s| 14900 | 152 |255777 | 16.6 | 568M | 443 |2750 | 72k| 0 |1080 | 0 | 236 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 267s| 15000 | 150 |257477 | 16.6 | 568M | 443 |2750 | 72k| 0 |1081 | 0 | 243 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 268s| 15100 | 153 |259577 | 16.6 | 568M | 443 |2750 | 72k| 72k|1083 | 1 | 248 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 269s| 15200 | 154 |260530 | 16.5 | 568M | 443 |2750 | 72k| 72k|1083 | 1 | 251 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
311.61/312.75 c 270s| 15300 | 153 |260774 | 16.5 | 568M | 443 |2750 | 72k| 72k|1083 | 1 | 252 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 271s| 15400 | 155 |261137 | 16.4 | 568M | 443 |2750 | 72k| 72k|1083 | 1 | 252 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 273s| 15500 | 153 |263505 | 16.4 | 569M | 443 |2750 | 72k| 72k|1083 | 1 | 261 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 274s| 15600 | 154 |264116 | 16.4 | 569M | 443 |2750 | 72k| 72k|1084 | 1 | 262 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 276s| 15700 | 152 |264750 | 16.3 | 569M | 443 |2750 | 72k| 0 |1084 | 0 | 264 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 276s| 15800 | 151 |265225 | 16.2 | 569M | 443 |2750 | 72k| 0 |1084 | 0 | 265 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 279s| 15900 | 151 |265867 | 16.2 | 576M | 443 |2750 | 72k| 0 |1107 | 0 | 267 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 281s| 16000 | 155 |268363 | 16.2 | 576M | 443 |2750 | 72k| 72k|1110 | 0 | 272 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 282s| 16100 | 154 |270194 | 16.2 | 576M | 443 |2750 | 72k| 0 |1112 | 0 | 275 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 283s| 16200 | 154 |270542 | 16.1 | 576M | 443 |2750 | 72k| 0 |1112 | 0 | 275 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 284s| 16300 | 154 |271379 | 16.1 | 576M | 443 |2750 | 72k| 0 |1112 | 0 | 278 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 286s| 16400 | 153 |273373 | 16.1 | 576M | 443 |2750 | 72k| 0 |1113 | 0 | 283 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 287s| 16500 | 155 |274295 | 16.1 | 576M | 443 |2750 | 72k| 72k|1113 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 288s| 16600 | 155 |274574 | 16.0 | 576M | 443 |2750 | 72k| 72k|1114 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 290s| 16700 | 155 |274715 | 15.9 | 590M | 443 |2750 | 72k| 72k|1135 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
311.61/312.75 c 291s| 16800 | 155 |274908 | 15.8 | 590M | 443 |2750 | 72k| 72k|1135 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 292s| 16900 | 155 |275220 | 15.8 | 590M | 443 |2750 | 72k| 72k|1135 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 293s| 17000 | 157 |277652 | 15.8 | 590M | 443 |2750 | 72k| 72k|1136 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 294s| 17100 | 157 |279027 | 15.8 | 590M | 443 |2750 | 72k| 72k|1137 | 1 | 289 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 295s| 17200 | 155 |279505 | 15.7 | 590M | 443 |2750 | 72k| 0 |1137 | 0 | 290 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 296s| 17300 | 157 |279783 | 15.7 | 590M | 443 |2750 | 72k| 72k|1137 | 1 | 290 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 297s| 17400 | 155 |280236 | 15.6 | 591M | 458 |2750 | 72k| 0 |1137 | 0 | 296 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 299s| 17500 | 155 |280517 | 15.5 | 591M | 458 |2750 | 72k| 72k|1137 | 1 | 298 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 299s| 17600 | 155 |280728 | 15.4 | 591M | 464 |2750 | 72k| 72k|1137 | 1 | 298 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 301s| 17700 | 155 |282761 | 15.5 | 591M | 468 |2750 | 72k| 72k|1144 | 1 | 303 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 303s| 17800 | 153 |284660 | 15.5 | 591M | 468 |2750 | 72k| 72k|1145 | 0 | 311 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 304s| 17900 | 153 |284910 | 15.4 | 591M | 468 |2750 | 72k| 0 |1145 | 0 | 311 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 305s| 18000 | 153 |285698 | 15.4 | 591M | 468 |2750 | 72k| 72k|1146 | 1 | 312 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 306s| 18100 | 153 |286510 | 15.3 | 591M | 468 |2750 | 72k| 72k|1149 | 1 | 314 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 307s| 18200 | 153 |287001 | 15.3 | 591M | 468 |2750 | 72k| 72k|1155 | 1 | 315 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
311.61/312.75 c 309s| 18300 | 150 |288205 | 15.3 | 591M | 468 |2750 | 72k| 0 |1157 | 0 | 320 | 22 | 0.000000e+00 | -- | Inf | 13.77%
311.61/312.75 c 310s| 18400 | 150 |289024 | 15.2 | 591M | 468 |2750 | 72k| 72k|1160 | 1 | 321 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 312s| 18500 | 150 |289435 | 15.2 | 591M | 468 |2750 | 72k| 0 |1187 | 0 | 321 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 313s| 18600 | 150 |289964 | 15.1 | 591M | 468 |2750 | 72k| 0 |1192 | 0 | 321 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 314s| 18700 | 154 |290296 | 15.0 | 591M | 468 |2750 | 72k| 72k|1192 | 1 | 321 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 316s| 18800 | 156 |293083 | 15.1 | 592M | 468 |2750 | 72k| 72k|1193 | 1 | 323 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 317s| 18900 | 156 |294399 | 15.1 | 592M | 468 |2750 | 72k| 0 |1194 | 0 | 323 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 318s| 19000 | 158 |295898 | 15.1 | 592M | 468 |2750 | 72k| 72k|1194 | 1 | 323 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 319s| 19100 | 160 |296375 | 15.0 | 592M | 468 |2750 | 72k| 72k|1194 | 1 | 324 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 320s| 19200 | 161 |298463 | 15.1 | 592M | 468 |2750 | 72k| 72k|1195 | 1 | 329 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 322s| 19300 | 161 |299504 | 15.1 | 592M | 468 |2750 | 72k| 0 |1201 | 0 | 330 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 322s| 19400 | 161 |299914 | 15.0 | 592M | 468 |2750 | 72k| 0 |1201 | 0 | 330 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 323s| 19500 | 161 |300104 | 14.9 | 592M | 468 |2750 | 72k| 0 |1201 | 0 | 330 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 324s| 19600 | 161 |300403 | 14.9 | 592M | 468 |2750 | 72k| 0 |1201 | 0 | 330 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 326s| 19700 | 163 |302933 | 14.9 | 592M | 468 |2750 | 72k| 0 |1201 | 0 | 336 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.88/393.21 c 328s| 19800 | 161 |305517 | 15.0 | 592M | 468 |2750 | 72k| 0 |1201 | 0 | 343 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 329s| 19900 | 161 |305690 | 14.9 | 592M | 468 |2750 | 72k| 72k|1201 | 1 | 343 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 331s| 20000 | 161 |307249 | 14.9 | 600M | 468 |2750 | 72k| 72k|1237 | 1 | 344 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 333s| 20100 | 161 |308080 | 14.9 | 607M | 468 |2750 | 72k| 0 |1275 | 0 | 345 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 335s| 20200 | 161 |309457 | 14.9 | 607M | 468 |2750 | 72k| 0 |1280 | 0 | 347 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 336s| 20300 | 160 |310580 | 14.9 | 607M | 468 |2750 | 72k| 72k|1290 | 1 | 353 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 338s| 20400 | 162 |311790 | 14.8 | 607M | 468 |2750 | 72k| 72k|1299 | 1 | 354 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 339s| 20500 | 162 |311986 | 14.8 | 607M | 468 |2750 | 72k| 72k|1299 | 1 | 354 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 341s| 20600 | 162 |312437 | 14.7 | 614M | 468 |2750 | 72k| 0 |1316 | 0 | 354 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 342s| 20700 | 162 |312671 | 14.7 | 614M | 468 |2750 | 72k| 0 |1316 | 0 | 354 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 344s| 20800 | 168 |316304 | 14.8 | 614M | 468 |2750 | 72k| 72k|1317 | 1 | 356 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 346s| 20900 | 174 |319665 | 14.9 | 614M | 468 |2750 | 72k| 72k|1318 | 1 | 359 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 347s| 21000 | 172 |320336 | 14.8 | 614M | 468 |2750 | 72k| 0 |1319 | 0 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 348s| 21100 | 172 |320592 | 14.8 | 614M | 468 |2750 | 72k| 0 |1319 | 0 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 349s| 21200 | 172 |320708 | 14.7 | 614M | 468 |2750 | 72k| 0 |1320 | 0 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.88/393.21 c 350s| 21300 | 174 |321737 | 14.7 | 614M | 468 |2750 | 72k| 72k|1321 | 2 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 351s| 21400 | 174 |323009 | 14.7 | 614M | 468 |2750 | 72k| 0 |1322 | 0 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 352s| 21500 | 176 |323254 | 14.6 | 614M | 468 |2750 | 72k| 72k|1323 | 1 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 353s| 21600 | 176 |323733 | 14.6 | 614M | 468 |2750 | 72k| 72k|1324 | 1 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 354s| 21700 | 176 |323990 | 14.5 | 614M | 468 |2750 | 72k| 72k|1324 | 1 | 362 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 355s| 21800 | 180 |326135 | 14.5 | 614M | 468 |2750 | 72k| 72k|1326 | 1 | 365 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 356s| 21900 | 180 |326596 | 14.5 | 614M | 468 |2750 | 72k| 0 |1327 | 0 | 366 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 357s| 22000 | 180 |326953 | 14.5 | 614M | 468 |2750 | 72k| 0 |1327 | 0 | 366 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 358s| 22100 | 180 |327269 | 14.4 | 614M | 468 |2750 | 72k| 0 |1327 | 0 | 366 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 361s| 22200 | 182 |336451 | 14.7 | 614M | 468 |2750 | 72k| 0 |1328 | 0 | 367 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 362s| 22300 | 184 |338146 | 14.8 | 615M | 468 |2750 | 72k| 0 |1329 | 0 | 368 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 363s| 22400 | 185 |339933 | 14.8 | 616M | 468 |2750 | 72k| 72k|1330 | 1 | 369 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 365s| 22500 | 185 |343420 | 14.9 | 617M | 468 |2750 | 72k| 0 |1331 | 0 | 371 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 366s| 22600 | 185 |343688 | 14.8 | 617M | 468 |2750 | 72k| 0 |1331 | 0 | 371 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 368s| 22700 | 189 |346793 | 14.9 | 617M | 468 |2750 | 72k| 0 |1332 | 0 | 375 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.88/393.21 c 371s| 22800 | 183 |349809 | 14.9 | 617M | 468 |2750 | 72k| 72k|1334 | 1 | 390 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 373s| 22900 | 181 |353417 | 15.0 | 618M | 468 |2750 | 72k| 0 |1335 | 0 | 395 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 374s| 23000 | 185 |355002 | 15.0 | 618M | 468 |2750 | 72k| 0 |1336 | 0 | 395 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 376s| 23100 | 187 |358151 | 15.1 | 618M | 468 |2750 | 72k| 0 |1346 | 0 | 398 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 379s| 23200 | 192 |360404 | 15.1 | 618M | 468 |2750 | 72k| 72k|1348 | 1 | 410 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 380s| 23300 | 193 |363851 | 15.2 | 618M | 468 |2750 | 72k| 72k|1350 | 1 | 412 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 382s| 23400 | 195 |367297 | 15.3 | 618M | 468 |2750 | 72k| 0 |1350 | 0 | 414 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 384s| 23500 | 198 |372245 | 15.5 | 618M | 468 |2750 | 72k| 72k|1354 | 2 | 419 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 388s| 23600 | 197 |379851 | 15.7 | 618M | 468 |2750 | 72k| 72k|1355 | 1 | 425 | 22 | 0.000000e+00 | -- | Inf | 13.77%
391.88/393.21 c 391s| 23700 | 194 |387353 | 16.0 | 620M | 468 |2750 | 72k| 72k|1359 | 1 | 433 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 392s| 23800 | 194 |387942 | 15.9 | 620M | 468 |2750 | 72k| 72k|1360 | 1 | 436 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 394s| 23900 | 196 |391090 | 16.0 | 620M | 468 |2750 | 72k| 0 |1360 | 0 | 441 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 396s| 24000 | 196 |393307 | 16.0 | 620M | 468 |2750 | 72k| 72k|1362 | 1 | 447 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 398s| 24100 | 198 |393910 | 16.0 | 620M | 468 |2750 | 72k| 72k|1365 | 2 | 451 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 400s| 24200 | 196 |395124 | 16.0 | 620M | 468 |2750 | 72k| 0 |1377 | 0 | 463 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
476.46/478.02 c 401s| 24300 | 198 |395511 | 15.9 | 620M | 468 |2750 | 72k| 72k|1378 | 1 | 463 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 402s| 24400 | 198 |395610 | 15.8 | 620M | 468 |2750 | 72k| 72k|1378 | 1 | 463 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 404s| 24500 | 198 |396055 | 15.8 | 627M | 468 |2750 | 72k| 72k|1399 | 1 | 463 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 405s| 24600 | 198 |396288 | 15.7 | 628M | 468 |2750 | 72k| 72k|1400 | 1 | 463 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 406s| 24700 | 200 |397692 | 15.7 | 628M | 468 |2750 | 72k| 0 |1401 | 0 | 463 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 407s| 24800 | 198 |398827 | 15.7 | 628M | 468 |2750 | 72k| 72k|1406 | 1 | 464 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 410s| 24900 | 198 |399308 | 15.7 | 629M | 468 |2750 | 72k| 72k|1425 | 1 | 464 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 410s| 25000 | 198 |399507 | 15.6 | 629M | 468 |2750 | 72k| 72k|1426 | 1 | 464 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 411s| 25100 | 198 |399840 | 15.6 | 629M | 468 |2750 | 72k| 72k|1426 | 1 | 464 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 413s| 25200 | 198 |402863 | 15.6 | 630M | 468 |2750 | 72k| 0 |1432 | 0 | 467 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 414s| 25300 | 200 |403087 | 15.6 | 630M | 468 |2750 | 72k| 72k|1432 | 1 | 467 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 415s| 25400 | 200 |404167 | 15.6 | 630M | 468 |2750 | 72k| 72k|1432 | 1 | 470 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 417s| 25500 | 199 |405156 | 15.5 | 630M | 468 |2750 | 72k| 0 |1434 | 0 | 474 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 419s| 25600 | 201 |407231 | 15.6 | 630M | 468 |2750 | 72k| 72k|1437 | 1 | 482 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 420s| 25700 | 201 |407583 | 15.5 | 630M | 468 |2750 | 72k| 72k|1437 | 1 | 482 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
476.46/478.02 c 421s| 25800 | 199 |408090 | 15.5 | 630M | 468 |2750 | 72k| 0 |1437 | 0 | 489 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 424s| 25900 | 197 |409963 | 15.5 | 630M | 468 |2750 | 72k| 72k|1437 | 0 | 497 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 425s| 26000 | 197 |411128 | 15.5 | 631M | 468 |2750 | 72k| 0 |1438 | 0 | 500 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 426s| 26100 | 201 |411517 | 15.4 | 631M | 468 |2750 | 72k| 72k|1438 | 1 | 500 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 427s| 26200 | 197 |411757 | 15.4 | 631M | 468 |2750 | 72k| 0 |1438 | 0 | 504 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 429s| 26300 | 197 |413943 | 15.4 | 631M | 468 |2750 | 72k| 72k|1438 | 1 | 509 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 430s| 26400 | 201 |415101 | 15.4 | 631M | 468 |2750 | 72k| 72k|1442 | 0 | 512 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 431s| 26500 | 201 |415796 | 15.3 | 631M | 468 |2750 | 72k| 0 |1445 | 0 | 515 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 432s| 26600 | 201 |415891 | 15.3 | 631M | 468 |2750 | 72k| 0 |1447 | 0 | 515 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 434s| 26700 | 201 |416495 | 15.3 | 631M | 468 |2750 | 72k| 0 |1473 | 0 | 515 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 435s| 26800 | 201 |416848 | 15.2 | 631M | 468 |2750 | 72k| 0 |1474 | 0 | 515 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 436s| 26900 | 203 |417542 | 15.2 | 631M | 468 |2750 | 72k| 72k|1474 | 1 | 515 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 437s| 27000 | 201 |418782 | 15.2 | 631M | 468 |2750 | 72k| 0 |1476 | 0 | 516 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 439s| 27100 | 201 |419034 | 15.1 | 638M | 468 |2750 | 72k| 0 |1498 | 0 | 516 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 440s| 27200 | 201 |419479 | 15.1 | 638M | 468 |2750 | 72k| 0 |1502 | 0 | 516 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
476.46/478.02 c 443s| 27300 | 197 |422194 | 15.1 | 638M | 468 |2750 | 72k| 72k|1502 | 0 | 525 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 444s| 27400 | 204 |424671 | 15.2 | 639M | 468 |2750 | 72k| 72k|1509 | 1 | 527 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 445s| 27500 | 206 |425298 | 15.1 | 639M | 468 |2750 | 72k| 0 |1511 | 0 | 527 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 446s| 27600 | 206 |425576 | 15.1 | 639M | 468 |2750 | 72k| 0 |1516 | 0 | 527 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 449s| 27700 | 210 |427082 | 15.1 | 639M | 468 |2750 | 72k| 72k|1540 | 1 | 527 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 451s| 27800 | 210 |431904 | 15.2 | 640M | 468 |2750 | 72k| 0 |1555 | 0 | 531 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 456s| 27900 | 210 |445532 | 15.6 | 640M | 468 |2750 | 72k| 0 |1555 | 0 | 536 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 457s| 28000 | 210 |445800 | 15.6 | 640M | 468 |2750 | 72k| 0 |1560 | 0 | 536 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 457s| 28100 | 210 |446049 | 15.6 | 640M | 468 |2750 | 72k| 0 |1562 | 0 | 536 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 461s| 28200 | 210 |448751 | 15.6 | 640M | 468 |2750 | 72k| 72k|1605 | 1 | 537 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 462s| 28300 | 210 |449194 | 15.6 | 640M | 468 |2750 | 72k| 72k|1610 | 2 | 537 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 464s| 28400 | 210 |449827 | 15.5 | 654M | 468 |2750 | 72k| 0 |1639 | 0 | 537 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 466s| 28500 | 212 |453793 | 15.6 | 654M | 468 |2750 | 72k| 72k|1640 | 1 | 540 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 468s| 28600 | 212 |458109 | 15.7 | 654M | 468 |2750 | 72k| 72k|1648 | 1 | 543 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 472s| 28700 | 211 |465582 | 15.9 | 655M | 468 |2750 | 72k| 72k|1663 | 1 | 546 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
476.46/478.02 c 473s| 28800 | 211 |465883 | 15.9 | 655M | 468 |2750 | 72k| 72k|1666 | 1 | 546 | 22 | 0.000000e+00 | -- | Inf | 13.77%
476.46/478.02 c 476s| 28900 | 209 |468845 | 15.9 | 655M | 468 |2750 | 72k| 0 |1694 | 0 | 548 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 477s| 29000 | 210 |471416 | 15.9 | 655M | 468 |2750 | 72k| 0 |1702 | 0 | 550 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 479s| 29100 | 210 |472669 | 15.9 | 655M | 468 |2750 | 72k| 72k|1713 | 1 | 553 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 480s| 29200 | 208 |473370 | 15.9 | 655M | 468 |2750 | 72k| 0 |1714 | 0 | 557 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 481s| 29300 | 216 |476905 | 16.0 | 655M | 468 |2750 | 72k| 72k|1718 | 1 | 557 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 482s| 29400 | 218 |477738 | 15.9 | 655M | 468 |2750 | 72k| 72k|1719 | 1 | 557 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 483s| 29500 | 218 |477873 | 15.9 | 655M | 468 |2750 | 72k| 72k|1719 | 1 | 557 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 485s| 29600 | 218 |478440 | 15.9 | 655M | 468 |2750 | 72k| 72k|1743 | 1 | 557 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 486s| 29700 | 218 |478602 | 15.8 | 655M | 468 |2750 | 72k| 72k|1743 | 1 | 557 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 488s| 29800 | 218 |482452 | 15.9 | 655M | 468 |2750 | 72k| 0 |1743 | 0 | 558 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 490s| 29900 | 222 |485853 | 15.9 | 656M | 468 |2750 | 72k| 72k|1753 | 1 | 565 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 491s| 30000 | 222 |485960 | 15.9 | 656M | 468 |2750 | 72k| 72k|1754 | 1 | 565 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 493s| 30100 | 222 |486567 | 15.9 | 656M | 468 |2750 | 72k| 72k|1781 | 1 | 565 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 494s| 30200 | 222 |486744 | 15.8 | 656M | 468 |2750 | 72k| 72k|1782 | 1 | 565 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
499.09/500.74 c 495s| 30300 | 222 |488861 | 15.8 | 656M | 468 |2750 | 72k| 72k|1791 | 1 | 565 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 497s| 30400 | 222 |490289 | 15.8 | 656M | 468 |2750 | 72k| 72k|1823 | 1 | 567 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c 499s| 30500 | 222 |492292 | 15.8 | 656M | 468 |2750 | 72k| 0 |1827 | 0 | 569 | 22 | 0.000000e+00 | -- | Inf | 13.77%
499.09/500.74 c
499.09/500.74 c SCIP Status : solving was interrupted [time limit reached]
499.09/500.74 c Solving Time (sec) : 500.01
499.09/500.74 c Solving Nodes : 30596
499.09/500.74 c Primal Bound : +1.00000000000000e+20 (0 solutions)
499.09/500.74 c Dual Bound : +0.00000000000000e+00
499.09/500.74 c Gap : infinite
499.09/500.74 c ----------------------------------------------------------------------
499.09/500.74 c dual bound: 0.0 -> 0
499.09/500.74 c primal bound: 1e+20 -> 100000000000000000000
499.09/500.74 c scip-goal-lb: 0
499.09/500.74 c scip-goal-ub: 100000000000000000000
499.09/500.74 c writing output to: HOME/tmpom9lo8c1.opb
499.09/500.74 c appending fixed variable constraints
499.09/500.74 c scip-fixed vars: 2.00% (55/2750)
499.09/500.74 c ----------------------------------------------------------------------
499.09/500.74 c executing external solver: HOME/naps-1.03a6
499.09/500.74 c ----------------------------------------------------------------------
499.09/500.74 c command: HOME/naps-1.03a6 HOME/tmpom9lo8c1.opb
499.09/500.74 c NaPS 1.03a6.
499.09/500.74 c Input file name: HOME/tmpom9lo8c1.opb
3600.08/3610.20 c
3600.08/3610.20 c *** TERMINATED *** by signal 15
3600.08/3610.20 c s UNKNOWN
3600.08/3610.20 c _____________________________________________________________________________
3600.08/3610.20 c std/band forms : 0,0
3600.08/3610.20 c 2cl/3cl ITE-codings : 0,0
3600.08/3610.20 c BDD/srt/adr Max costs : 0,0,0
3600.08/3610.20 c BDDraw/bin/mul/srt/adr: 0,0,0,0,0
3600.08/3610.20 c BDD nodes : 0
3600.08/3610.20 c Es1/CC detections : 0,0
3600.08/3610.20 c CC sort : 0
3600.08/3610.20 c SAT/UNSAT calls : 0,0
3600.08/3610.20 c regenrated variables : 0
3600.08/3610.20 c eliminated fixed lits : 108
3600.08/3610.20 c goal lit flips : 0
3600.08/3610.20 c goal stages : 0
3600.08/3610.20 c goal shrink : 0
3600.08/3610.20 c goal coeff separations: 0
3600.08/3610.20 c restarts : 0
3600.08/3610.20 c conflicts : 0 (0 /sec)
3600.08/3610.20 c decisions : 0 (0 /sec)
3600.08/3610.20 c propagations : 0 (0 /sec)
3600.08/3610.20 c inspects : 0 (0 /sec)
3600.08/3610.20 c CPU time (solving tm) : 3084 s (3083 s, SAT 0 s, UNSAT 0 s)
3600.08/3610.20 c Time for Opt-base : 0 s
3600.08/3610.20 c Steps for Opt-base : 0
3600.08/3610.20 c Time for BDD coding : 0 s
3600.08/3610.20 c Time for srt coding : 0 s
3600.08/3610.20 c _____________________________________________________________________________
3600.08/3610.20 s UNKNOWN
3600.29/3610.47 c received SIGTERM, forwarding to pbsolver...
3600.29/3610.47 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: 63837 MiB (62863 MiB free)
memory of node 1: 64465 MiB (63450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529764-1752253300/watcher-4529764-1752253300 -o /tmp/evaluation-result-4529764-1752253300/solver-4529764-1752253300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752253296-111988 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529764-1752253300.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=112156, runsolver pid=112149
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 1.23 1.62 2.45 6/259 112165
/proc/meminfo: memFree=129337356/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=12508 memory=9856 CPUtime=0.05 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 1456 0 0 0 4 1 0 0 20 0 1 0 141009125 12808192 2464 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 3127 2464 1184 1 0 1339 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 16700 KiB
Current children cumulated memory: 12928 KiB
[startup+0.213849 s]*
/proc/loadavg: 1.23 1.62 2.45 6/259 112165
/proc/meminfo: memFree=129328816/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1185212 memory=29732 CPUtime=0.14 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 3262 0 1 0 12 2 0 0 20 0 1 0 141009125 1213657088 7433 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 296303 7433 4785 1 0 268371 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1189404 KiB
Current children cumulated memory: 32804 KiB
[startup+0.316007 s]*
/proc/loadavg: 1.23 1.62 2.45 6/259 112165
/proc/meminfo: memFree=129320248/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1189596 memory=34724 CPUtime=0.23 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 4297 0 1 0 20 3 0 0 20 0 1 0 141009125 1218146304 8681 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 297399 8681 5041 1 0 269308 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1193788 KiB
Current children cumulated memory: 37796 KiB
[startup+0.700368 s]
/proc/loadavg: 1.23 1.62 2.45 6/259 112165
/proc/meminfo: memFree=129242884/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1239032 memory=89764 CPUtime=0.58 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 15712 0 1 0 51 7 0 0 20 0 1 0 141009125 1268768768 22441 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 309758 22441 7601 1 0 281116 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 1243224 KiB
Current children cumulated memory: 92836 KiB
[startup+1.5004 s]
/proc/loadavg: 1.45 1.66 2.45 6/259 112165
/proc/meminfo: memFree=129171364/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1330788 memory=182692 CPUtime=1.38 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 38733 0 1 0 124 14 0 0 20 0 1 0 141009125 1362726912 45673 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 332697 45673 7857 1 0 304055 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 1334980 KiB
Current children cumulated memory: 185764 KiB
[startup+3.1133 s]
/proc/loadavg: 1.45 1.66 2.45 6/259 112165
/proc/meminfo: memFree=128950416/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1366836 memory=207052 CPUtime=2.99 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 46082 0 1 0 283 16 0 0 20 0 1 0 141009125 1399640064 51763 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 341709 51763 7953 1 0 313067 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 1371028 KiB
Current children cumulated memory: 210124 KiB
[startup+6.30037 s]
/proc/loadavg: 1.66 1.70 2.46 5/259 112263
/proc/meminfo: memFree=128914244/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1422372 memory=270580 CPUtime=6.17 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 61765 0 1 0 599 18 0 0 20 0 1 0 141009125 1456508928 67645 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 355593 67645 8049 1 0 326951 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 1426564 KiB
Current children cumulated memory: 273652 KiB
[startup+12.7003 s]
/proc/loadavg: 1.85 1.73 2.47 5/259 112263
/proc/meminfo: memFree=128800728/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1422508 memory=271604 CPUtime=12.55 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 62003 0 1 0 1237 18 0 0 20 0 1 0 141009125 1456648192 67901 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 355627 67901 8049 1 0 326985 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 1426700 KiB
Current children cumulated memory: 274676 KiB
[startup+25.5004 s]
/proc/loadavg: 2.18 1.81 2.49 5/259 112312
/proc/meminfo: memFree=128634756/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1570332 memory=368756 CPUtime=25.32 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 86322 0 1 0 2510 22 0 0 20 0 1 0 141009125 1608019968 92189 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 392583 92189 8113 1 0 363941 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1574524 KiB
Current children cumulated memory: 371828 KiB
[startup+51.1139 s]
/proc/loadavg: 2.95 2.04 2.54 5/259 112411
/proc/meminfo: memFree=128477364/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1699756 memory=498232 CPUtime=50.83 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 129772 0 1 0 5053 30 0 0 20 0 1 0 141009125 1740550144 124558 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 424939 124558 8113 1 0 396297 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 1703948 KiB
Current children cumulated memory: 501304 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.35 2.63 5/260 112465
/proc/meminfo: memFree=128391004/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1801480 memory=499768 CPUtime=101.85 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 129820 0 1 0 10155 30 0 0 20 0 1 0 141009125 1844715520 124942 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 450370 124942 8113 1 0 421728 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 1805672 KiB
Current children cumulated memory: 502840 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.69 2.73 5/256 112487
/proc/meminfo: memFree=128532504/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1815140 memory=502044 CPUtime=161.66 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 140186 0 1 0 16134 32 0 0 20 0 1 0 141009125 1858703360 125511 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 453785 125511 8113 1 0 425143 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1819332 KiB
Current children cumulated memory: 505116 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.96 2.82 5/261 112518
/proc/meminfo: memFree=128455072/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1821972 memory=504732 CPUtime=221.46 cores=4,6
/proc/112165/stat : 112165 (python3) R 112156 112156 110827 0 -1 4194304 140214 0 1 0 22114 32 0 0 20 0 1 0 141009125 1865699328 126183 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 455493 126183 8113 1 0 426851 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1826164 KiB
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/258 112812
/proc/meminfo: memFree=113944840/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=327824 memory=215132 CPUtime=2773.77 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3498175 0 0 0 275859 1518 0 0 20 0 1 0 141059196 335691776 53783 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 81956 53783 544 696 0 81117 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 2252896 KiB
Current children cumulated memory: 851520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.09 6/258 112814
/proc/meminfo: memFree=113912576/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=327824 memory=231516 CPUtime=2833.65 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3590870 0 0 0 281796 1569 0 0 20 0 1 0 141059196 335691776 57879 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 81956 57879 544 696 0 81117 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 2252896 KiB
Current children cumulated memory: 867904 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/258 112816
/proc/meminfo: memFree=113957968/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=311440 memory=215132 CPUtime=2893.51 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3646463 0 0 0 287751 1600 0 0 20 0 1 0 141059196 318914560 53783 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 77860 53783 544 696 0 77021 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 2236512 KiB
Current children cumulated memory: 851520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/258 112818
/proc/meminfo: memFree=114125204/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=327824 memory=227420 CPUtime=2953.37 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3697714 0 0 0 293702 1635 0 0 20 0 1 0 141059196 335691776 56855 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 81956 56855 544 696 0 81117 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 2252896 KiB
Current children cumulated memory: 863808 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/258 112820
/proc/meminfo: memFree=113949392/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=327824 memory=231516 CPUtime=3013.24 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3788223 0 0 0 299642 1682 0 0 20 0 1 0 141059196 335691776 57879 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 81956 57879 544 696 0 81117 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 2252896 KiB
Current children cumulated memory: 867904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/258 112833
/proc/meminfo: memFree=113905128/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=327824 memory=225372 CPUtime=3073.11 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3811666 0 0 0 305613 1698 0 0 20 0 1 0 141059196 335691776 56343 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 81956 56343 544 696 0 81117 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 2252896 KiB
Current children cumulated memory: 861760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.14 4.12 4.09 6/258 112835
/proc/meminfo: memFree=114000072/131382120 swapFree=33010160/33010684
[pid=112156] ppid=112149 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/112156/stat : 112156 (scip-naps-1.00a) S 112149 112156 110827 0 -1 4194304 259 340 0 0 0 0 0 0 20 0 1 0 141009122 4292608 768 18446744073709551615 93835786973184 93835787867717 140721589851296 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93835788106768 93835788154512 93835806060544 140721589852571 140721589852670 140721589852670 140721589858274 0
/proc/112156/statm: 1048 768 704 219 0 110 0
[pid=112165] ppid=112156 vsize=1920880 memory=633316 CPUtime=499.14 cores=4,6
/proc/112165/stat : 112165 (python3) S 112156 112156 110827 0 -1 4194304 163338 0 2 0 49877 37 0 0 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
[pid=112529] ppid=112165 vsize=327824 memory=225372 CPUtime=3100.94 cores=4,6
/proc/112529/stat : 112529 (naps-1.03a6) R 112165 112529 112529 0 -1 4194304 3815154 0 0 0 308394 1700 0 0 20 0 1 0 141059196 335691776 56343 18446744073709551615 4198400 7047149 140731301540000 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23629824 140731301546383 140731301546481 140731301546481 140731301552073 0
/proc/112529/statm: 81956 56343 544 696 0 81117 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2252896 KiB
Current children cumulated memory: 861760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.22 s]
# the end of solver process 112156 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.005286 s, system=0.010001 s
[startup+3610.52 s]
# the end of solver process 112165 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.01 s, system=17.398 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+3610.41 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 112835
/proc/meminfo: memFree=114214764/131382120 swapFree=33010160/33010684
[pid=112165] ppid=112149 vsize=1920880 memory=633316 CPUtime=3600.27 cores=4,6
/proc/112165/stat : 112165 (python3) R 112149 112156 110827 0 -1 4194304 163708 3815155 2 0 49896 37 308394 1700 20 0 1 0 141009125 1966981120 158329 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 480220 158329 8145 1 0 451578 0
Current cumulated CPU time of completed processes: 0.015287 s
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 1920880 KiB
Current children cumulated memory: 633316 KiB
[startup+3610.5 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 112835
/proc/meminfo: memFree=114214764/131382120 swapFree=33010160/33010684
[pid=112165] ppid=112149 vsize=1889288 memory=621528 CPUtime=3600.35 cores=4,6
/proc/112165/stat : 112165 (python3) R 112149 112156 110827 0 -1 4194304 166031 3815155 2 0 49904 37 308394 1700 20 0 1 0 141009125 1934630912 155382 18446744073709551615 94107931787264 94107931787641 140734435854512 0 0 0 0 16781312 0 0 0 0 17 6 0 0 0 0 0 94107931798936 94107931799556 94107937734656 140734435862863 140734435863072 140734435863072 140734435868647 0
/proc/112165/statm: 472322 155382 8177 1 0 443680 0
Current cumulated CPU time of completed processes: 0.015287 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 1889288 KiB
Current children cumulated memory: 621528 KiB
Child status: 0
Real time (s): 3610.52
CPU time (s): 3600.41
CPU user time (s): 3583.01
CPU system time (s): 17.398
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 2482272
Max. memory (cumulated for all children) (KiB): 1046080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.01
system time used= 17.398
maximum resident set size= 633316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3982163
page faults= 2
swaps= 0
block input operations= 8
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 448
involuntary context switches= 4177
# summary of solver processes directly reported to runsolver:
# pid: 112156,112165
# total CPU time (s): 3600.41
# total CPU user time (s): 3583.01
# total CPU system time (s): 17.398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0463 second user time and 38.5876 second system time
The end
Begin job on nodeC008 at 2025-07-11 19:01:40
IDJOB=4529764
IDBENCH=147856
IDSOLVER=3388
FILE ID=nodeC008/4529764-1752253300
RUNJOBID= nodeC008-1752253296-111988
SLURM_JOB_ID= 9682575
Free space on /tmp= 432800 MiB
SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529764-1752253300/watcher-4529764-1752253300 -o /tmp/evaluation-result-4529764-1752253300/solver-4529764-1752253300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1752253296-111988 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529764-1752253300.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=598320686
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3392.097
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2494.187
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.650
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.262
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.197
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129350192 kB
MemAvailable: 129683984 kB
Buffers: 2128 kB
Cached: 1125568 kB
SwapCached: 16 kB
Active: 891344 kB
Inactive: 542892 kB
Active(anon): 290720 kB
Inactive(anon): 33748 kB
Active(file): 600624 kB
Inactive(file): 509144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20508 kB
Writeback: 0 kB
AnonPages: 309584 kB
Mapped: 127368 kB
Shmem: 17920 kB
KReclaimable: 127304 kB
Slab: 214848 kB
SReclaimable: 127304 kB
SUnreclaim: 87544 kB
KernelStack: 4080 kB
PageTables: 3748 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2749996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432240 MiB
End job on nodeC008 at 2025-07-11 20:01:51