53.38/53.76 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4510917-1751204767.opb
53.38/53.76 c Solving mode: decision
53.38/53.76 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
53.38/53.76 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
53.38/53.76 c original problem has 5370 variables (5370 bin, 0 int, 0 impl, 0 cont) and 12701 constraints
53.38/53.76 c presolving:
53.38/53.76 c (round 1, exhaustive) 0 del vars, 4824 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7877 clqs
53.38/53.76 c (round 2, exhaustive) 0 del vars, 4824 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7877 clqs
53.38/53.76 c (0.3s) probing: 51/5370 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
53.38/53.76 c (0.3s) probing aborted: 50/50 successive totally useless probings
53.38/53.76 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
53.38/53.76 c (0.3s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
53.38/53.76 c dynamic symmetry handling statistics:
53.38/53.76 c orbitopal reduction: no components
53.38/53.76 c orbital reduction: no components
53.38/53.76 c lexicographic reduction: no permutations
53.38/53.76 c handled 1 out of 1 symmetry components
53.38/53.76 c (round 3, exhaustive) 7 del vars, 4824 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7860 clqs
53.38/53.76 c (round 4, fast) 15 del vars, 4845 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7856 clqs
53.38/53.76 c (0.3s) probing: 56/5370 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
53.38/53.76 c (0.3s) probing aborted: 50/50 successive totally useless probings
53.38/53.76 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
53.38/53.76 c 18 deleted vars, 4848 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
53.38/53.76 c 0 implications, 7858 cliques
53.38/53.76 c presolved problem has 5356 variables (5356 bin, 0 int, 0 impl, 0 cont) and 7854 constraints
53.38/53.76 c 7853 constraints of type <setppc>
53.38/53.76 c 1 constraints of type <orbitope>
53.38/53.76 c transformed objective value is always integral (scale: 1)
53.38/53.76 c Presolving Time: 0.26
53.38/53.76 c
53.38/53.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.38/53.76 c 0.7s| 1 | 0 | 4426 | - | 87M | 0 |5356 |7879 |7853 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 2.5s| 1 | 0 | 10387 | - | 94M | 0 |5356 |7880 |7859 | 6 | 1 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 2.7s| 1 | 0 | 10529 | - | 98M | 0 |5356 |7881 |7863 | 10 | 2 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 2.9s| 1 | 0 | 10639 | - | 104M | 0 |5356 |7882 |7868 | 15 | 3 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 3.3s| 1 | 0 | 10739 | - | 114M | 0 |5356 |7883 |7873 | 20 | 4 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 3.6s| 1 | 0 | 11038 | - | 116M | 0 |5356 |7884 |7877 | 24 | 5 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 3.8s| 1 | 0 | 11177 | - | 118M | 0 |5356 |7885 |7883 | 30 | 6 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 4.0s| 1 | 0 | 11233 | - | 123M | 0 |5356 |7886 |7886 | 33 | 7 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 4.2s| 1 | 0 | 11318 | - | 130M | 0 |5356 |7887 |7891 | 38 | 8 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 4.5s| 1 | 0 | 11378 | - | 136M | 0 |5356 |7888 |7894 | 41 | 9 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 4.7s| 1 | 0 | 11464 | - | 143M | 0 |5356 |7889 |7899 | 46 | 10 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 4.9s| 1 | 0 | 11549 | - | 144M | 0 |5356 |7890 |7908 | 55 | 11 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 6.4s| 1 | 2 | 14973 | - | 144M | 0 |5356 |7894 |7908 | 55 | 11 | 40 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 22.1s| 100 | 80 | 61811 | 507.7 | 150M | 27 |5356 |8074 |7894 | 217 | 1 | 227 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 26.6s| 200 | 59 | 81068 | 349.3 | 152M | 27 |5356 |8352 |7894 | 228 | 1 | 526 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.38/53.76 c 29.0s| 300 | 67 | 94733 | 278.2 | 154M | 27 |5356 |8428 |7895 | 283 | 0 | 636 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 31.4s| 400 | 64 |110602 | 248.3 | 156M | 27 |5356 |8576 |7903 | 315 | 0 | 839 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 33.6s| 500 | 61 |122447 | 222.2 | 156M | 27 |5356 |8749 |7892 | 394 | 1 |1064 | 12 | 0.000000e+00 | -- | Inf | 0.50%
53.38/53.76 c 39.2s| 600 | 98 |143716 | 220.6 | 158M | 27 |5356 |8960 |7894 | 707 | 0 |1325 | 12 | 0.000000e+00 | -- | Inf | 0.58%
53.38/53.76 c 42.9s| 700 | 106 |154483 | 204.5 | 158M | 27 |5356 |9140 |7907 | 804 | 1 |1567 | 12 | 0.000000e+00 | -- | Inf | 0.64%
53.38/53.76 c 46.7s| 800 | 125 |167143 | 194.7 | 160M | 27 |5356 |9248 |7899 | 910 | 0 |1768 | 12 | 0.000000e+00 | -- | Inf | 0.78%
53.38/53.76 c 49.0s| 900 | 133 |177988 | 185.1 | 160M | 27 |5356 |9428 |7901 | 921 | 0 |2027 | 12 | 0.000000e+00 | -- | Inf | 0.80%
53.38/53.76 c 51.3s| 1000 | 120 |188018 | 176.6 | 161M | 27 |5356 |9633 |7899 | 927 | 0 |2308 | 12 | 0.000000e+00 | -- | Inf | 0.88%
53.38/53.76 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
53.38/53.76 c (run 1, node 1005) performing user restart
53.38/53.76 c
53.38/53.76 c (restart) converted 36 cuts from the global cut pool into linear constraints
53.38/53.76 c
53.38/53.76 c presolving:
53.38/53.76 c (round 1, fast) 0 del vars, 116 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7858 clqs
53.38/53.76 c (round 2, exhaustive) 0 del vars, 156 del conss, 20 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7858 clqs
53.38/53.76 c (round 3, exhaustive) 0 del vars, 156 del conss, 20 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 32 upgd conss, 0 impls, 7859 clqs
53.38/53.76 c (round 4, exhaustive) 0 del vars, 264 del conss, 20 add conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 32 upgd conss, 0 impls, 7859 clqs
53.38/53.76 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
53.38/53.76 c 0 deleted vars, 270 deleted constraints, 20 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 70 changed coefficients
53.38/53.76 c 0 implications, 7859 cliques
53.38/53.76 c presolved problem has 5356 variables (5356 bin, 0 int, 0 impl, 0 cont) and 9419 constraints
53.38/53.76 c 87 constraints of type <knapsack>
53.38/53.76 c 7853 constraints of type <setppc>
53.38/53.76 c 6 constraints of type <linear>
53.38/53.76 c 1 constraints of type <orbitope>
53.38/53.76 c 1472 constraints of type <logicor>
53.38/53.76 c transformed objective value is always integral (scale: 1)
53.38/53.76 c Presolving Time: 0.41
53.38/53.76 c
53.38/53.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.38/53.76 c 51.9s| 1 | 0 |193200 | - | 163M | 0 |5356 |9422 |7889 | 0 | 0 |2311 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 52.6s| 1 | 0 |193315 | - | 167M | 0 |5356 |9423 |7899 | 10 | 1 |2312 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 52.8s| 1 | 0 |193402 | - | 167M | 0 |5356 |9424 |7902 | 13 | 2 |2313 | 12 | 0.000000e+00 | -- | Inf | unknown
53.38/53.76 c 52.9s| 1 | 0 |193487 | - | 167M | 0 |5356 |9426 |7907 | 18 | 3 |2315 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 53.3s| 1 | 0 |193587 | - | 169M | 0 |5356 |9427 |7913 | 24 | 4 |2316 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 53.6s| 1 | 0 |193647 | - | 169M | 0 |5356 |9428 |7918 | 29 | 5 |2317 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 54.0s| 1 | 0 |193758 | - | 171M | 0 |5356 |9429 |7926 | 37 | 6 |2318 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 54.3s| 1 | 0 |193839 | - | 175M | 0 |5356 |9430 |7934 | 45 | 7 |2319 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 54.5s| 1 | 0 |193915 | - | 177M | 0 |5356 |9431 |7940 | 51 | 8 |2320 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 54.7s| 1 | 0 |193993 | - | 180M | 0 |5356 |9432 |7950 | 61 | 9 |2321 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 55.0s| 1 | 0 |194030 | - | 181M | 0 |5356 |9433 |7923 | 68 | 10 |2322 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 55.1s| 1 | 0 |194122 | - | 182M | 0 |5356 |9434 |7933 | 78 | 11 |2323 | 12 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 55.9s| 1 | 2 |195570 | - | 182M | 0 |5356 |9434 |7933 | 78 | 11 |2329 | 23 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 62.1s| 100 | 30 |225415 | 188.4 | 184M | 25 |5356 |9531 |7901 | 103 | 1 |2505 | 23 | 0.000000e+00 | -- | Inf | unknown
152.97/153.73 c 66.1s| 200 | 28 |241944 | 186.5 | 188M | 25 |5356 |9612 |7904 | 203 | 1 |2767 | 23 | 0.000000e+00 | -- | Inf | 1.59%
152.97/153.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
152.97/153.73 c 70.0s| 300 | 30 |253591 | 181.1 | 191M | 25 |5356 |9668 |7886 | 345 | 1 |2945 | 23 | 0.000000e+00 | -- | Inf | 2.77%
152.97/153.73 c 75.2s| 400 | 54 |270549 | 180.3 | 201M | 25 |5356 |9770 |7908 | 598 | 0 |3164 | 23 | 0.000000e+00 | -- | Inf | 4.16%
152.97/153.73 c 77.6s| 500 | 60 |281800 | 175.8 | 203M | 25 |5356 |9907 |7913 | 725 | 0 |3420 | 23 | 0.000000e+00 | -- | Inf | 4.76%
152.97/153.73 c 79.7s| 600 | 59 |290871 | 170.5 | 205M | 25 |5356 | 10k|7907 | 814 | 0 |3615 | 23 | 0.000000e+00 | -- | Inf | 5.25%
152.97/153.73 c 82.4s| 700 | 58 |301453 | 166.7 | 205M | 25 |5356 | 10k|7903 | 988 | 1 |3813 | 23 | 0.000000e+00 | -- | Inf | 5.76%
152.97/153.73 c 84.1s| 800 | 53 |311730 | 163.1 | 205M | 25 |5356 | 10k|7893 | 988 | 1 |4045 | 23 | 0.000000e+00 | -- | Inf | 5.93%
152.97/153.73 c 87.2s| 900 | 48 |323798 | 160.9 | 211M | 25 |5356 | 10k|7941 |1103 | 0 |4274 | 23 | 0.000000e+00 | -- | Inf | 6.32%
152.97/153.73 c 88.9s| 1000 | 45 |331784 | 156.9 | 211M | 25 |5356 | 10k|7913 |1180 | 0 |4518 | 23 | 0.000000e+00 | -- | Inf | 6.64%
152.97/153.73 c 90.7s| 1100 | 44 |339819 | 153.2 | 211M | 25 |5356 | 10k|7928 |1269 | 0 |4686 | 23 | 0.000000e+00 | -- | Inf | 6.86%
152.97/153.73 c 92.6s| 1200 | 41 |347003 | 149.5 | 212M | 25 |5356 | 10k|7917 |1322 | 0 |4889 | 23 | 0.000000e+00 | -- | Inf | 6.99%
152.97/153.73 c 94.3s| 1300 | 35 |355133 | 146.6 | 212M | 25 |5356 | 10k|7908 |1375 | 0 |5067 | 23 | 0.000000e+00 | -- | Inf | 7.46%
152.97/153.73 c 95.7s| 1400 | 30 |362332 | 143.5 | 212M | 25 |5356 | 10k|7904 |1383 | 0 |5281 | 23 | 0.000000e+00 | -- | Inf | 7.49%
152.97/153.73 c 97.6s| 1500 | 31 |371076 | 141.2 | 213M | 25 |5356 | 10k|7900 |1433 | 1 |5492 | 23 | 0.000000e+00 | -- | Inf | 7.70%
152.97/153.73 c 99.2s| 1600 | 32 |380356 | 139.4 | 213M | 25 |5356 | 10k|7900 |1435 | 1 |5640 | 23 | 0.000000e+00 | -- | Inf | 7.79%
152.97/153.73 c 101s| 1700 | 25 |390322 | 137.9 | 213M | 25 |5356 | 10k|7903 |1435 | 0 |5818 | 23 | 0.000000e+00 | -- | Inf | 7.85%
152.97/153.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
152.97/153.73 c 105s| 1800 | 32 |407720 | 139.2 | 215M | 25 |5356 | 10k|7897 |1673 | 0 |6013 | 23 | 0.000000e+00 | -- | Inf | 9.47%
152.97/153.73 c 108s| 1900 | 46 |422683 | 139.6 | 216M | 25 |5356 | 10k|7900 |1723 | 1 |6207 | 23 | 0.000000e+00 | -- | Inf | 9.53%
152.97/153.73 c 110s| 2000 | 42 |433190 | 138.4 | 216M | 25 |5356 | 10k|7900 |1731 | 1 |6367 | 23 | 0.000000e+00 | -- | Inf | 9.60%
152.97/153.73 c 112s| 2100 | 40 |443397 | 137.2 | 216M | 25 |5356 | 10k|7904 |1760 | 1 |6607 | 23 | 0.000000e+00 | -- | Inf | 9.64%
152.97/153.73 c 113s| 2200 | 36 |452052 | 135.7 | 216M | 25 |5356 | 10k|7897 |1760 | 1 |6798 | 23 | 0.000000e+00 | -- | Inf | 9.71%
152.97/153.73 c 115s| 2300 | 31 |464312 | 135.3 | 216M | 25 |5356 | 11k|7905 |1787 | 1 |7035 | 23 | 0.000000e+00 | -- | Inf | 9.79%
152.97/153.73 c 117s| 2400 | 29 |476180 | 134.8 | 216M | 25 |5356 | 11k|7928 |1839 | 1 |7238 | 23 | 0.000000e+00 | -- | Inf | 9.93%
152.97/153.73 c 119s| 2500 | 24 |489386 | 134.7 | 217M | 25 |5356 | 10k|7924 |1890 | 0 |7387 | 23 | 0.000000e+00 | -- | Inf | 10.13%
152.97/153.73 c 121s| 2600 | 27 |499135 | 133.7 | 217M | 25 |5356 | 10k|7924 |1910 | 0 |7527 | 23 | 0.000000e+00 | -- | Inf | 10.19%
152.97/153.73 c 124s| 2700 | 29 |510119 | 133.0 | 217M | 25 |5356 | 10k|7911 |1979 | 0 |7658 | 23 | 0.000000e+00 | -- | Inf | 10.37%
152.97/153.73 c 126s| 2800 | 27 |521335 | 132.5 | 217M | 25 |5356 | 10k|7914 |2056 | 0 |7784 | 23 | 0.000000e+00 | -- | Inf | 10.50%
152.97/153.73 c 127s| 2900 | 19 |532017 | 131.8 | 217M | 25 |5356 | 10k|7894 |2065 | 1 |7952 | 23 | 0.000000e+00 | -- | Inf | 10.63%
152.97/153.73 c 129s| 3000 | 26 |538773 | 130.2 | 218M | 25 |5356 | 11k|7913 |2098 | 0 |8193 | 23 | 0.000000e+00 | -- | Inf | 10.68%
152.97/153.73 c 130s| 3100 | 29 |547059 | 129.1 | 218M | 25 |5356 | 11k|7913 |2111 | 0 |8371 | 23 | 0.000000e+00 | -- | Inf | 10.71%
152.97/153.73 c 132s| 3200 | 31 |558975 | 128.8 | 218M | 26 |5356 | 11k|7910 |2193 | 1 |8499 | 23 | 0.000000e+00 | -- | Inf | 10.73%
152.97/153.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
152.97/153.73 c 134s| 3300 | 31 |564419 | 127.1 | 218M | 26 |5356 | 11k|7910 |2220 | 1 |8585 | 23 | 0.000000e+00 | -- | Inf | 10.75%
152.97/153.73 c 135s| 3400 | 31 |570871 | 125.7 | 218M | 26 |5356 | 11k|7910 |2229 | 0 |8690 | 23 | 0.000000e+00 | -- | Inf | 10.77%
152.97/153.73 c 136s| 3500 | 27 |577237 | 124.3 | 218M | 26 |5356 | 11k|7910 |2241 | 0 |8833 | 23 | 0.000000e+00 | -- | Inf | 10.81%
152.97/153.73 c 137s| 3600 | 25 |584617 | 123.2 | 218M | 26 |5356 | 11k|7912 |2254 | 0 |8935 | 23 | 0.000000e+00 | -- | Inf | 10.83%
152.97/153.73 c 139s| 3700 | 25 |592985 | 122.4 | 218M | 26 |5356 | 11k|7913 |2367 | 1 |9000 | 23 | 0.000000e+00 | -- | Inf | 10.86%
152.97/153.73 c 142s| 3800 | 25 |607039 | 122.7 | 218M | 26 |5356 | 11k|7915 |2404 | 1 |9117 | 23 | 0.000000e+00 | -- | Inf | 10.95%
152.97/153.73 c 144s| 3900 | 24 |615779 | 122.0 | 218M | 26 |5356 | 11k|7915 |2407 | 0 |9273 | 23 | 0.000000e+00 | -- | Inf | 11.00%
152.97/153.73 c 145s| 4000 | 22 |623353 | 121.1 | 218M | 26 |5356 | 11k|7906 |2465 | 1 |9463 | 23 | 0.000000e+00 | -- | Inf | 11.14%
152.97/153.73 c 147s| 4100 | 26 |634385 | 120.9 | 218M | 26 |5356 | 11k|7910 |2499 | 0 |9635 | 23 | 0.000000e+00 | -- | Inf | 11.23%
152.97/153.73 c 149s| 4200 | 34 |641334 | 119.9 | 219M | 26 |5356 | 11k|7911 |2501 | 1 |9825 | 23 | 0.000000e+00 | -- | Inf | 11.26%
152.97/153.73 c 150s| 4300 | 28 |647993 | 118.9 | 219M | 27 |5356 | 11k|7911 |2507 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.27%
152.97/153.73 c 152s| 4400 | 25 |655508 | 118.1 | 219M | 27 |5356 | 11k|7908 |2539 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.30%
254.45/255.68 c 153s| 4500 | 29 |664699 | 117.6 | 219M | 27 |5356 | 11k|7908 |2543 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.34%
254.45/255.68 c 155s| 4600 | 29 |671286 | 116.7 | 219M | 27 |5356 | 12k|7908 |2552 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.37%
254.45/255.68 c 156s| 4700 | 18 |678553 | 115.9 | 219M | 27 |5356 | 12k|7916 |2554 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.43%
254.45/255.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
254.45/255.68 c 158s| 4800 | 26 |690672 | 116.0 | 219M | 27 |5356 | 12k|7927 |2618 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.49%
254.45/255.68 c 160s| 4900 | 32 |700136 | 115.6 | 219M | 27 |5356 | 12k|7927 |2618 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.56%
254.45/255.68 c 162s| 5000 | 34 |711431 | 115.6 | 219M | 27 |5356 | 12k|7925 |2634 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.57%
254.45/255.68 c 164s| 5100 | 26 |717883 | 114.8 | 219M | 27 |5356 | 12k|7927 |2641 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.61%
254.45/255.68 c 166s| 5200 | 27 |727933 | 114.5 | 219M | 27 |5356 | 12k|7921 |2677 | 2 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.64%
254.45/255.68 c 167s| 5300 | 24 |736183 | 114.0 | 220M | 27 |5356 | 12k|7918 |2688 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.66%
254.45/255.68 c 169s| 5400 | 27 |743667 | 113.4 | 220M | 27 |5356 | 12k|7919 |2701 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.68%
254.45/255.68 c 170s| 5500 | 23 |751183 | 112.8 | 220M | 27 |5356 | 12k|7919 |2714 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.69%
254.45/255.68 c 171s| 5600 | 24 |759409 | 112.4 | 220M | 27 |5356 | 12k|7918 |2740 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.70%
254.45/255.68 c 173s| 5700 | 29 |767058 | 111.8 | 220M | 27 |5356 | 12k|7921 |2772 | 2 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.71%
254.45/255.68 c 174s| 5800 | 27 |772930 | 111.0 | 220M | 27 |5356 | 12k|7918 |2790 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.71%
254.45/255.68 c 176s| 5900 | 28 |779618 | 110.4 | 220M | 27 |5356 | 13k|7921 |2808 | 2 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.72%
254.45/255.68 c 179s| 6000 | 24 |791273 | 110.5 | 220M | 27 |5356 | 13k|7918 |2874 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.74%
254.45/255.68 c 180s| 6100 | 27 |799292 | 110.1 | 220M | 27 |5356 | 13k|7906 |2877 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.79%
254.45/255.68 c 181s| 6200 | 27 |807493 | 109.7 | 220M | 27 |5356 | 13k|7906 |2884 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.82%
254.45/255.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
254.45/255.68 c 182s| 6300 | 26 |814871 | 109.2 | 220M | 27 |5356 | 13k|7906 |2890 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.83%
254.45/255.68 c 184s| 6400 | 30 |821867 | 108.7 | 220M | 27 |5356 | 13k|7906 |2934 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.84%
254.45/255.68 c 186s| 6500 | 32 |830047 | 108.3 | 221M | 27 |5356 | 13k|7921 |2963 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 11.90%
254.45/255.68 c 187s| 6600 | 31 |837219 | 107.8 | 221M | 27 |5356 | 13k|7921 |2963 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 11.93%
254.45/255.68 c 189s| 6700 | 34 |843859 | 107.3 | 221M | 27 |5356 | 13k|7921 |2981 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 11.96%
254.45/255.68 c 190s| 6800 | 26 |851748 | 106.9 | 221M | 27 |5356 | 13k|7920 |2983 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 12.00%
254.45/255.68 c 192s| 6900 | 26 |857786 | 106.3 | 221M | 27 |5356 | 13k|7920 |3010 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 12.04%
254.45/255.68 c 193s| 7000 | 29 |865562 | 106.0 | 221M | 27 |5356 | 13k|7923 |3025 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 12.08%
254.45/255.68 c 195s| 7100 | 26 |874094 | 105.7 | 221M | 27 |5356 | 13k|7922 |3031 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.10%
254.45/255.68 c 197s| 7200 | 25 |885750 | 105.8 | 221M | 27 |5356 | 13k|7918 |3037 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.12%
254.45/255.68 c 198s| 7300 | 23 |893766 | 105.5 | 221M | 27 |5356 | 13k|7921 |3058 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.14%
254.45/255.68 c 200s| 7400 | 25 |899790 | 105.0 | 221M | 27 |5356 | 13k|7922 |3112 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.15%
254.45/255.68 c 203s| 7500 | 28 |914882 | 105.5 | 221M | 27 |5356 | 13k|7921 |3123 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.15%
254.45/255.68 c 204s| 7600 | 27 |921886 | 105.1 | 221M | 27 |5356 | 14k|7918 |3128 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.16%
254.45/255.68 c 206s| 7700 | 27 |929018 | 104.7 | 221M | 27 |5356 | 14k|7922 |3146 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.18%
254.45/255.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
254.45/255.68 c 207s| 7800 | 24 |935252 | 104.3 | 221M | 27 |5356 | 14k|7918 |3159 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.19%
254.45/255.68 c 209s| 7900 | 22 |944082 | 104.1 | 221M | 27 |5356 | 14k|7918 |3178 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.19%
254.45/255.68 c 210s| 8000 | 18 |949233 | 103.5 | 221M | 27 |5356 | 14k|7921 |3199 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.21%
254.45/255.68 c 213s| 8100 | 20 |961175 | 103.7 | 221M | 27 |5356 | 13k|7899 |3256 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.42%
254.45/255.68 c 215s| 8200 | 24 |972907 | 103.8 | 222M | 27 |5356 | 13k|7894 |3273 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.48%
254.45/255.68 c 217s| 8300 | 33 |981076 | 103.6 | 222M | 27 |5356 | 13k|7899 |3293 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.54%
254.45/255.68 c 218s| 8400 | 27 |991522 | 103.6 | 222M | 27 |5356 | 13k|7902 |3315 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.55%
254.45/255.68 c 220s| 8500 | 28 | 1002k| 103.7 | 222M | 27 |5356 | 13k|7902 |3352 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.56%
254.45/255.68 c 222s| 8600 | 22 | 1013k| 103.7 | 222M | 27 |5356 | 13k|7899 |3371 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 12.57%
254.45/255.68 c 227s| 8700 | 30 | 1039k| 105.3 | 222M | 27 |5356 | 13k|7907 |3557 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 13.14%
254.45/255.68 c 231s| 8800 | 35 | 1068k| 107.2 | 224M | 27 |5356 | 13k|7930 |3838 | 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 13.68%
254.45/255.68 c 237s| 8900 | 51 | 1121k| 111.4 | 236M | 27 |5356 | 13k|7882 |4019 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 14.08%
254.45/255.68 c 242s| 9000 | 69 | 1155k| 113.8 | 241M | 27 |5356 | 12k|7909 |4167 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 14.52%
254.45/255.68 c 244s| 9100 | 58 | 1170k| 114.1 | 241M | 27 |5356 | 12k| 0 |4167 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.60%
254.45/255.68 c 247s| 9200 | 67 | 1183k| 114.3 | 241M | 27 |5356 | 12k|7913 |4280 | 2 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.73%
254.45/255.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
254.45/255.68 c 249s| 9300 | 63 | 1195k| 114.3 | 241M | 27 |5356 | 12k|7910 |4284 | 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.89%
254.45/255.68 c 250s| 9400 | 59 | 1202k| 113.9 | 241M | 27 |5356 | 13k|7906 |4294 | 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.91%
254.45/255.68 c 252s| 9500 | 58 | 1213k| 113.8 | 242M | 27 |5356 | 13k|7909 |4325 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 15.01%
254.45/255.68 c 254s| 9600 | 62 | 1221k| 113.5 | 242M | 27 |5356 | 13k|7909 |4325 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.05%
401.67/403.34 c 255s| 9700 | 58 | 1231k| 113.5 | 242M | 27 |5356 | 13k|7909 |4353 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.17%
401.67/403.34 c 257s| 9800 | 66 | 1240k| 113.2 | 242M | 27 |5356 | 13k|7884 |4391 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.21%
401.67/403.34 c 258s| 9900 | 62 | 1248k| 112.9 | 242M | 27 |5356 | 13k|7884 |4395 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.24%
401.67/403.34 c 259s| 10000 | 60 | 1255k| 112.5 | 242M | 27 |5356 | 13k|7884 |4395 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.29%
401.67/403.34 c 261s| 10100 | 58 | 1268k| 112.7 | 243M | 27 |5356 | 13k|7933 |4525 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 15.48%
401.67/403.34 c 263s| 10200 | 66 | 1283k| 113.0 | 244M | 27 |5356 | 13k|7911 |4609 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 15.65%
401.67/403.34 c 265s| 10300 | 64 | 1294k| 113.0 | 244M | 27 |5356 | 13k|7938 |4640 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 15.79%
401.67/403.34 c 267s| 10400 | 59 | 1303k| 112.8 | 244M | 27 |5356 | 13k|7911 |4694 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 16.06%
401.67/403.34 c 270s| 10500 | 66 | 1319k| 113.2 | 246M | 27 |5356 | 13k|7946 |4865 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 16.28%
401.67/403.34 c 272s| 10600 | 61 | 1334k| 113.5 | 246M | 27 |5356 | 13k|7930 |4944 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 16.52%
401.67/403.34 c 274s| 10700 | 62 | 1348k| 113.7 | 250M | 27 |5356 | 13k|7934 |5059 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 16.74%
401.67/403.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
401.67/403.34 c 276s| 10800 | 62 | 1361k| 113.8 | 250M | 27 |5356 | 13k|7905 |5210 | 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 17.05%
401.67/403.34 c 277s| 10900 | 58 | 1369k| 113.6 | 250M | 27 |5356 | 13k|7913 |5210 | 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 17.15%
401.67/403.34 c 279s| 11000 | 59 | 1379k| 113.5 | 250M | 27 |5356 | 13k|7882 |5210 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 17.43%
401.67/403.34 c 282s| 11100 | 64 | 1393k| 113.7 | 250M | 27 |5356 | 13k|7908 |5457 | 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 18.05%
401.67/403.34 c 285s| 11200 | 62 | 1401k| 113.4 | 250M | 27 |5356 | 13k|7920 |5593 | 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 18.55%
401.67/403.34 c 287s| 11300 | 62 | 1412k| 113.4 | 250M | 27 |5356 | 13k|7913 |5749 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 19.31%
401.67/403.34 c 292s| 11400 | 70 | 1427k| 113.7 | 252M | 27 |5356 | 14k|7911 |6073 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 19.96%
401.67/403.34 c 295s| 11500 | 64 | 1440k| 113.8 | 252M | 27 |5356 | 14k|7915 |6073 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 20.25%
401.67/403.34 c 296s| 11600 | 60 | 1450k| 113.7 | 252M | 27 |5356 | 14k|7934 |6118 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.39%
401.67/403.34 c 298s| 11700 | 60 | 1461k| 113.6 | 252M | 27 |5356 | 14k|7906 |6161 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.50%
401.67/403.34 c 299s| 11800 | 58 | 1466k| 113.2 | 252M | 27 |5356 | 14k|7906 |6171 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.53%
401.67/403.34 c 301s| 11900 | 59 | 1475k| 113.0 | 252M | 27 |5356 | 14k|7935 |6185 | 2 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.56%
401.67/403.34 c 302s| 12000 | 54 | 1481k| 112.6 | 252M | 27 |5356 | 14k|7931 |6199 | 0 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.58%
401.67/403.34 c 303s| 12100 | 57 | 1488k| 112.2 | 252M | 27 |5356 | 14k|7906 |6223 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 20.63%
401.67/403.34 c 306s| 12200 | 61 | 1523k| 114.1 | 252M | 27 |5356 | 14k|7946 |6223 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 20.70%
401.67/403.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
401.67/403.34 c 310s| 12300 | 56 | 1557k| 115.7 | 253M | 27 |5356 | 14k|7905 |6259 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 20.96%
401.67/403.34 c 314s| 12400 | 64 | 1575k| 116.3 | 253M | 27 |5356 | 14k|7921 |6487 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 21.80%
401.67/403.34 c 317s| 12500 | 55 | 1590k| 116.5 | 253M | 27 |5356 | 14k|7912 |6645 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 22.50%
401.67/403.34 c 320s| 12600 | 65 | 1612k| 117.3 | 253M | 27 |5356 | 14k|7920 |6704 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 22.62%
401.67/403.34 c 322s| 12700 | 60 | 1627k| 117.5 | 253M | 27 |5356 | 14k|7901 |6725 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 22.77%
401.67/403.34 c 325s| 12800 | 57 | 1652k| 118.5 | 254M | 27 |5356 | 14k|7911 |6755 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 22.89%
401.67/403.34 c 331s| 12900 | 58 | 1678k| 119.5 | 254M | 27 |5356 | 14k|7882 |6920 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 23.79%
401.67/403.34 c 335s| 13000 | 76 | 1693k| 119.7 | 255M | 27 |5356 | 14k|7904 |7132 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 24.25%
401.67/403.34 c 337s| 13100 | 61 | 1700k| 119.4 | 255M | 27 |5356 | 14k|7900 |7132 | 0 | 26k| 23 | 0.000000e+00 | -- | Inf | 24.54%
401.67/403.34 c 339s| 13200 | 58 | 1721k| 120.0 | 256M | 27 |5356 | 14k|7918 |7132 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 24.63%
401.67/403.34 c 359s| 13300 | 63 | 1776k| 123.0 | 256M | 27 |5356 | 14k|7917 |7227 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 24.85%
401.67/403.34 c 363s| 13400 | 60 | 1797k| 123.6 | 256M | 27 |5356 | 14k|7882 |7283 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 25.48%
401.67/403.34 c 368s| 13500 | 76 | 1829k| 124.9 | 256M | 27 |5356 | 14k|7902 |7369 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 26.60%
401.67/403.34 c 371s| 13600 | 69 | 1843k| 125.1 | 256M | 27 |5356 | 14k|7910 |7397 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 26.74%
401.67/403.34 c 373s| 13700 | 71 | 1852k| 124.8 | 256M | 27 |5356 | 14k|7923 |7445 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 26.88%
401.67/403.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
401.67/403.34 c 375s| 13800 | 76 | 1865k| 124.8 | 259M | 27 |5356 | 14k|7900 |7491 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.00%
401.67/403.34 c 377s| 13900 | 74 | 1875k| 124.7 | 259M | 27 |5356 | 14k|7904 |7512 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.18%
401.67/403.34 c 380s| 14000 | 77 | 1886k| 124.5 | 259M | 27 |5356 | 14k|7905 |7546 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.22%
401.67/403.34 c 381s| 14100 | 71 | 1894k| 124.3 | 259M | 27 |5356 | 14k|7900 |7546 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.31%
401.67/403.34 c 383s| 14200 | 75 | 1910k| 124.5 | 259M | 27 |5356 | 14k|7922 |7658 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.49%
401.67/403.34 c 389s| 14300 | 92 | 1932k| 125.1 | 259M | 27 |5356 | 14k|7917 |7804 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.53%
401.67/403.34 c 390s| 14400 | 85 | 1952k| 125.6 | 259M | 27 |5356 | 14k|7884 |7804 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.73%
401.67/403.34 c 393s| 14500 | 82 | 1977k| 126.5 | 260M | 27 |5356 | 14k|7917 |7804 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.91%
401.67/403.34 c 394s| 14600 | 76 | 1993k| 126.6 | 261M | 27 |5356 | 14k|7922 |7804 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.93%
401.67/403.34 c 396s| 14700 | 78 | 2009k| 126.8 | 261M | 27 |5356 | 14k|7930 |7869 | 2 | 30k| 23 | 0.000000e+00 | -- | Inf | 27.94%
401.67/403.34 c 399s| 14800 | 92 | 2024k| 127.0 | 261M | 27 |5356 | 14k|7914 |8013 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.25%
401.67/403.34 c 401s| 14900 | 85 | 2035k| 126.9 | 261M | 27 |5356 | 14k|7915 |8113 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.55%
498.37/500.31 c 403s| 15000 | 86 | 2059k| 127.6 | 262M | 27 |5356 | 14k|7914 |8117 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.60%
498.37/500.31 c 405s| 15100 | 91 | 2070k| 127.5 | 262M | 27 |5356 | 14k|7938 |8281 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.69%
498.37/500.31 c 409s| 15200 | 95 | 2096k| 128.3 | 262M | 27 |5356 | 14k|7921 |8398 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 28.85%
498.37/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.37/500.31 c 411s| 15300 | 94 | 2113k| 128.5 | 264M | 27 |5356 | 14k|7921 |8422 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 28.99%
498.37/500.31 c 413s| 15400 | 105 | 2131k| 128.9 | 264M | 27 |5356 | 15k|7903 |8448 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 29.06%
498.37/500.31 c 414s| 15500 | 92 | 2138k| 128.5 | 264M | 27 |5356 | 15k|7903 |8448 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 29.14%
498.37/500.31 c 416s| 15600 | 91 | 2148k| 128.3 | 264M | 27 |5356 | 15k|7905 |8455 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 29.19%
498.37/500.31 c 419s| 15700 | 96 | 2166k| 128.7 | 264M | 27 |5356 | 15k|7910 |8678 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 29.75%
498.37/500.31 c 421s| 15800 | 93 | 2176k| 128.5 | 264M | 27 |5356 | 15k|7906 |8766 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 30.12%
498.37/500.31 c 422s| 15900 | 93 | 2182k| 128.1 | 264M | 27 |5356 | 15k|7906 |8766 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 30.12%
498.37/500.31 c 423s| 16000 | 92 | 2188k| 127.7 | 265M | 27 |5356 | 15k|7906 |8775 | 0 | 32k| 23 | 0.000000e+00 | -- | Inf | 30.18%
498.37/500.31 c 427s| 16100 | 97 | 2206k| 128.0 | 265M | 27 |5356 | 15k|7941 |8840 | 0 | 33k| 23 | 0.000000e+00 | -- | Inf | 30.31%
498.37/500.31 c 428s| 16200 | 97 | 2221k| 128.1 | 265M | 27 |5356 | 15k|7906 |8853 | 1 | 33k| 23 | 0.000000e+00 | -- | Inf | 30.34%
498.37/500.31 c 430s| 16300 | 96 | 2229k| 127.9 | 265M | 27 |5356 | 16k|7930 |8855 | 1 | 33k| 23 | 0.000000e+00 | -- | Inf | 30.35%
498.37/500.31 c 431s| 16400 | 91 | 2239k| 127.7 | 265M | 27 |5356 | 16k|7930 |8860 | 1 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.36%
498.37/500.31 c 432s| 16500 | 95 | 2249k| 127.5 | 265M | 27 |5356 | 16k|7930 |8860 | 1 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.37%
498.37/500.31 c 434s| 16600 | 99 | 2258k| 127.3 | 265M | 27 |5356 | 16k|7931 |8866 | 0 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.38%
498.37/500.31 c 435s| 16700 | 92 | 2270k| 127.3 | 265M | 27 |5356 | 16k|7930 |8868 | 0 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.38%
498.37/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.37/500.31 c 439s| 16800 | 105 | 2290k| 127.7 | 265M | 27 |5356 | 16k|7907 |8966 | 1 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.00%
498.37/500.31 c 440s| 16900 | 104 | 2302k| 127.7 | 265M | 27 |5356 | 16k|7920 |8966 | 1 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.12%
498.37/500.31 c 443s| 17000 | 102 | 2314k| 127.6 | 265M | 27 |5356 | 16k|7904 |8988 | 0 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.18%
498.37/500.31 c 446s| 17100 | 105 | 2335k| 128.0 | 266M | 27 |5356 | 16k|7926 |9221 | 0 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.96%
498.37/500.31 c 448s| 17200 | 106 | 2343k| 127.8 | 266M | 27 |5356 | 16k|7935 |9286 | 2 | 35k| 23 | 0.000000e+00 | -- | Inf | 32.12%
498.37/500.31 c 450s| 17300 | 109 | 2354k| 127.7 | 266M | 27 |5356 | 16k|7932 |9286 | 1 | 35k| 23 | 0.000000e+00 | -- | Inf | 32.24%
498.37/500.31 c 451s| 17400 | 106 | 2365k| 127.6 | 266M | 27 |5356 | 16k|7944 |9286 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.31%
498.37/500.31 c 453s| 17500 | 113 | 2378k| 127.6 | 268M | 27 |5356 | 16k|7951 |9406 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.59%
498.37/500.31 c 456s| 17600 | 103 | 2394k| 127.8 | 268M | 27 |5356 | 16k|7900 |9457 | 0 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.76%
498.37/500.31 c 459s| 17700 | 111 | 2413k| 128.1 | 269M | 27 |5356 | 16k|7910 |9501 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.93%
498.37/500.31 c 461s| 17800 | 105 | 2431k| 128.4 | 269M | 27 |5356 | 16k|7882 |9501 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 33.08%
498.37/500.31 c 464s| 17900 | 110 | 2444k| 128.4 | 269M | 27 |5356 | 16k|7929 |9684 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 33.47%
498.37/500.31 c 466s| 18000 | 111 | 2454k| 128.2 | 271M | 27 |5356 | 16k|7903 |9763 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 33.77%
498.37/500.31 c 468s| 18100 | 115 | 2466k| 128.2 | 271M | 27 |5356 | 16k|7917 |9867 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.02%
498.37/500.31 c 470s| 18200 | 109 | 2481k| 128.3 | 271M | 27 |5356 | 16k|7892 |9867 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.11%
498.37/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.37/500.31 c 472s| 18300 | 113 | 2493k| 128.3 | 271M | 27 |5356 | 16k|7904 |9949 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.33%
498.37/500.31 c 474s| 18400 | 114 | 2504k| 128.2 | 271M | 27 |5356 | 16k|7901 | 10k| 0 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.75%
498.37/500.31 c 476s| 18500 | 120 | 2514k| 128.1 | 271M | 27 |5356 | 16k|7924 | 10k| 0 | 38k| 23 | 0.000000e+00 | -- | Inf | 34.92%
498.37/500.31 c 477s| 18600 | 118 | 2521k| 127.7 | 272M | 27 |5356 | 16k|7904 | 10k| 1 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.07%
498.37/500.31 c 479s| 18700 | 118 | 2531k| 127.6 | 272M | 27 |5356 | 16k|7899 | 10k| 1 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.17%
498.37/500.31 c 480s| 18800 | 118 | 2537k| 127.3 | 272M | 27 |5356 | 16k|7901 | 10k| 0 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.22%
498.37/500.31 c 482s| 18900 | 120 | 2545k| 127.0 | 272M | 27 |5356 | 16k|7901 | 10k| 0 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.34%
498.37/500.31 c 483s| 19000 | 115 | 2551k| 126.7 | 272M | 27 |5356 | 16k|7903 | 10k| 0 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.43%
498.37/500.31 c 485s| 19100 | 119 | 2566k| 126.8 | 272M | 27 |5356 | 16k|7905 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.48%
498.37/500.31 c 486s| 19200 | 119 | 2574k| 126.6 | 272M | 27 |5356 | 16k|7905 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.56%
498.37/500.31 c 487s| 19300 | 117 | 2583k| 126.4 | 272M | 27 |5356 | 16k|7908 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.62%
498.37/500.31 c 489s| 19400 | 119 | 2591k| 126.1 | 272M | 27 |5356 | 16k|7911 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.70%
498.37/500.31 c 490s| 19500 | 123 | 2599k| 125.9 | 272M | 27 |5356 | 16k|7909 | 10k| 0 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.75%
498.37/500.31 c 492s| 19600 | 123 | 2605k| 125.6 | 272M | 27 |5356 | 16k|7909 | 10k| 1 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.81%
498.37/500.31 c 493s| 19700 | 125 | 2613k| 125.4 | 272M | 27 |5356 | 16k|7914 | 10k| 0 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.83%
498.37/500.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.37/500.31 c 495s| 19800 | 117 | 2621k| 125.2 | 272M | 27 |5356 | 17k|7909 | 10k| 0 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.86%
498.37/500.31 c 496s| 19900 | 121 | 2630k| 125.0 | 272M | 27 |5356 | 17k|7904 | 10k| 1 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.91%
498.37/500.31 c 498s| 20000 | 120 | 2639k| 124.8 | 272M | 27 |5356 | 17k|7909 | 10k| 1 | 41k| 23 | 0.000000e+00 | -- | Inf | 35.97%
498.37/500.31 c 499s| 20100 | 118 | 2646k| 124.6 | 272M | 27 |5356 | 17k|7909 | 10k| 1 | 41k| 23 | 0.000000e+00 | -- | Inf | 36.02%
498.57/500.50 c 500s| 20200 | 114 | 2652k| 124.3 | 272M | 27 |5356 | 17k|7912 | 10k| 0 | 41k| 23 | 0.000000e+00 | -- | Inf | 36.04%
498.57/500.50 c
498.57/500.50 c SCIP Status : solving was interrupted [time limit reached]
498.57/500.50 c Solving Time (sec) : 500.00
498.57/500.50 c Solving Nodes : 20219 (total of 21224 nodes in 2 runs)
498.57/500.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.57/500.50 c Dual Bound : +0.00000000000000e+00
498.57/500.50 c Gap : infinite
498.57/500.50 c ----------------------------------------------------------------------
498.57/500.50 c dual bound: 0.0 -> 0
498.57/500.50 c primal bound: 1e+20 -> 100000000000000000000
498.57/500.50 c scip-goal-lb: 0
498.57/500.50 c scip-goal-ub: 100000000000000000000
498.57/500.50 c writing output to: HOME/tmpygpb51oz.opb
498.57/500.50 c appending fixed variable constraints
498.57/500.50 c scip-fixed vars: 0.13% (7/5356)
498.57/500.50 c ----------------------------------------------------------------------
498.57/500.50 c executing external solver: HOME/naps-1.03a6
498.57/500.50 c ----------------------------------------------------------------------
498.57/500.50 c command: HOME/naps-1.03a6 HOME/tmpygpb51oz.opb
498.57/500.51 c NaPS 1.03a6.
498.57/500.51 c Input file name: HOME/tmpygpb51oz.opb
501.22/503.25 c _____________________________________________________________________________
501.22/503.25 c std/band forms : 6693,0
501.22/503.25 c 2cl/3cl ITE-codings : 0,0
501.22/503.25 c BDD/srt/adr Max costs : 0,6,0
501.22/503.25 c BDDraw/bin/mul/srt/adr: 0,0,0,6693,0
501.22/503.25 c BDD nodes : 0
501.22/503.25 c Es1/CC detections : 0,0
501.22/503.25 c CC sort : 6693
501.22/503.25 c SAT/UNSAT calls : 0,1
501.22/503.25 c regenrated variables : 0
501.22/503.25 c eliminated fixed lits : 9
501.22/503.25 c goal lit flips : 0
501.22/503.25 c goal stages : 0
501.22/503.25 c goal shrink : 0
501.22/503.25 c goal coeff separations: 0
501.22/503.25 c restarts : 3154
501.22/503.25 c conflicts : 54444 (20461 /sec)
501.22/503.25 c decisions : 334382 (125665 /sec)
501.22/503.25 c propagations : 9712161 (3649956 /sec)
501.22/503.25 c inspects : 0 (0 /sec)
501.22/503.25 c CPU time (solving tm) : 2.661 s (2.366 s, SAT 0 s, UNSAT 2.366 s)
501.22/503.25 c Time for Opt-base : 0.02072 s
501.22/503.25 c Steps for Opt-base : 0
501.22/503.25 c Time for BDD coding : 0 s
501.22/503.25 c Time for srt coding : 0.02631 s
501.22/503.25 c _____________________________________________________________________________
501.22/503.25 s UNSATISFIABLE
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 (63025 MiB free)
memory of node 1: 64465 MiB (62006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510917-1751204767/watcher-4510917-1751204767 -o /tmp/evaluation-result-4510917-1751204767/solver-4510917-1751204767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751204746-27067 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4510917-1751204767.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27184, runsolver pid=27181
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 1.63 1.50 2.12 5/258 27189
/proc/meminfo: memFree=128022416/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=13268 memory=10368 CPUtime=0.05 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 1561 0 0 0 5 0 0 0 20 0 1 0 36155920 13586432 2592 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 3317 2592 1216 1 0 1494 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 17460 KiB
Current children cumulated memory: 13312 KiB
[startup+0.214031 s]*
/proc/loadavg: 1.63 1.50 2.12 5/258 27189
/proc/meminfo: memFree=128017376/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1185784 memory=30344 CPUtime=0.15 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 3435 0 0 0 14 1 0 0 20 0 1 0 36155920 1214242816 7586 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 296446 7586 4775 1 0 268514 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1189976 KiB
Current children cumulated memory: 33288 KiB
[startup+0.313836 s]*
/proc/loadavg: 1.63 1.50 2.12 5/258 27189
/proc/meminfo: memFree=128014352/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1189536 memory=34568 CPUtime=0.24 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 4275 0 0 0 22 2 0 0 20 0 1 0 36155920 1218084864 8642 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 297384 8642 5031 1 0 269293 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 1193728 KiB
Current children cumulated memory: 37512 KiB
[startup+0.700241 s]
/proc/loadavg: 1.63 1.50 2.12 5/258 27189
/proc/meminfo: memFree=127984112/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1232448 memory=84104 CPUtime=0.58 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 14061 0 0 0 52 6 0 0 20 0 1 0 36155920 1262026752 21026 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 308112 21026 7879 1 0 279470 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 1236640 KiB
Current children cumulated memory: 87048 KiB
[startup+1.50026 s]
/proc/loadavg: 1.63 1.50 2.12 5/258 27189
/proc/meminfo: memFree=127925908/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1293424 memory=127496 CPUtime=1.36 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 24715 0 0 0 128 8 0 0 20 0 1 0 36155920 1324466176 31874 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 323356 31874 8103 1 0 294714 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 1297616 KiB
Current children cumulated memory: 130440 KiB
[startup+3.11335 s]
/proc/loadavg: 1.63 1.50 2.12 5/258 27189
/proc/meminfo: memFree=127866452/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1331256 memory=163572 CPUtime=2.98 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 33765 0 0 0 288 10 0 0 20 0 1 0 36155920 1363206144 40893 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 332814 40893 8135 1 0 304172 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 1335448 KiB
Current children cumulated memory: 166516 KiB
[startup+6.30037 s]
/proc/loadavg: 1.82 1.54 2.13 5/258 27189
/proc/meminfo: memFree=127838732/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1362508 memory=191496 CPUtime=6.15 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 44007 0 0 0 604 11 0 0 20 0 1 0 36155920 1395208192 47874 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 340627 47874 8135 1 0 311985 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 1366700 KiB
Current children cumulated memory: 194440 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.58 2.14 5/258 27189
/proc/meminfo: memFree=127815052/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1381376 memory=210348 CPUtime=12.53 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 51276 0 0 0 1240 13 0 0 20 0 1 0 36155920 1414529024 52587 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 345344 52587 8135 1 0 316702 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 1385568 KiB
Current children cumulated memory: 213292 KiB
[startup+25.5004 s]
/proc/loadavg: 2.44 1.70 2.17 5/258 27238
/proc/meminfo: memFree=127759688/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1388720 memory=217856 CPUtime=25.28 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 65067 0 0 0 2512 16 0 0 20 0 1 0 36155920 1422049280 54464 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 347180 54464 8135 1 0 318538 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 1392912 KiB
Current children cumulated memory: 220800 KiB
[startup+51.1135 s]
/proc/loadavg: 3.05 1.90 2.22 5/259 27293
/proc/meminfo: memFree=127722576/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1406140 memory=234368 CPUtime=50.81 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 78998 0 0 0 5060 21 0 0 20 0 1 0 36155920 1439887360 58592 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 351535 58592 8135 1 0 322893 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 1410332 KiB
Current children cumulated memory: 237312 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.26 2.33 5/259 27294
/proc/meminfo: memFree=127557708/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1441640 memory=270680 CPUtime=101.79 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 92957 0 0 0 10156 23 0 0 20 0 1 0 36155920 1476239360 67670 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 360410 67670 8135 1 0 331768 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 1445832 KiB
Current children cumulated memory: 273624 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.61 2.45 5/259 27296
/proc/meminfo: memFree=127490060/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1441640 memory=270680 CPUtime=161.54 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 92958 0 0 0 16131 23 0 0 20 0 1 0 36155920 1476239360 67670 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 360410 67670 8135 1 0 331768 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 1445832 KiB
Current children cumulated memory: 273624 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.88 2.55 5/259 27298
/proc/meminfo: memFree=127435052/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1441640 memory=270808 CPUtime=221.29 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 92983 0 0 0 22105 24 0 0 20 0 1 0 36155920 1476239360 67702 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 360410 67702 8135 1 0 331768 0
Current children cumulated CPU time: 221.29 s
Current children cumulated vsize: 1445832 KiB
################
# More data... #
################
[startup+282.3 s]
/proc/loadavg: 4.13 3.12 2.66 5/259 27300
/proc/meminfo: memFree=127385444/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1462812 memory=293024 CPUtime=281.06 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 96803 0 0 0 28081 25 0 0 20 0 1 0 36155920 1497919488 73256 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 365703 73256 8135 1 0 337061 0
Current children cumulated CPU time: 281.06 s
Current children cumulated vsize: 1467004 KiB
Current children cumulated memory: 295968 KiB
[startup+342.3 s]
/proc/loadavg: 4.50 3.39 2.78 5/257 27302
/proc/meminfo: memFree=127341312/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1472180 memory=315064 CPUtime=340.85 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 98177 0 0 0 34060 25 0 0 20 0 1 0 36155920 1507512320 78766 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 368045 78766 8135 1 0 339403 0
Current children cumulated CPU time: 340.85 s
Current children cumulated vsize: 1476372 KiB
Current children cumulated memory: 318008 KiB
[startup+402.3 s]
/proc/loadavg: 4.64 3.65 2.91 5/254 27304
/proc/meminfo: memFree=127322056/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1476400 memory=322104 CPUtime=400.67 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 99190 0 0 0 40041 26 0 0 20 0 1 0 36155920 1511833600 80526 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 369100 80526 8135 1 0 340458 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 1480592 KiB
Current children cumulated memory: 325048 KiB
[startup+462.3 s]
/proc/loadavg: 4.39 3.76 3.00 5/253 27306
/proc/meminfo: memFree=127250864/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1483180 memory=332988 CPUtime=460.49 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 100496 0 0 0 46022 27 0 0 20 0 1 0 36155920 1518776320 83247 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 370795 83247 8135 1 0 342153 0
Current children cumulated CPU time: 460.49 s
Current children cumulated vsize: 1487372 KiB
Current children cumulated memory: 335932 KiB
[startup+503.408 s]
# the end of solver process 27184 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=501.118 s, system=0.350831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.25 3.78 3.03 5/254 27308
/proc/meminfo: memFree=127213580/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1490264 memory=339176 CPUtime=484.51 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 101133 0 0 0 48424 27 0 0 20 0 1 0 36155920 1526030336 84794 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 372566 84794 8135 1 0 343924 0
Current children cumulated CPU time: 484.51 s
Current children cumulated vsize: 1494456 KiB
Current children cumulated memory: 342120 KiB
[startup+492.8 s]
/proc/loadavg: 4.31 3.80 3.04 5/254 27308
/proc/meminfo: memFree=127212088/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1490264 memory=339432 CPUtime=490.89 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 101223 0 0 0 49062 27 0 0 20 0 1 0 36155920 1526030336 84858 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 372566 84858 8135 1 0 343924 0
Current children cumulated CPU time: 490.89 s
Current children cumulated vsize: 1494456 KiB
Current children cumulated memory: 342376 KiB
[startup+499.2 s]
/proc/loadavg: 4.26 3.81 3.05 5/254 27308
/proc/meminfo: memFree=127210152/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1490264 memory=339432 CPUtime=497.28 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 101223 0 0 0 49701 27 0 0 20 0 1 0 36155920 1526030336 84858 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 372566 84858 8135 1 0 343924 0
Current children cumulated CPU time: 497.28 s
Current children cumulated vsize: 1494456 KiB
Current children cumulated memory: 342376 KiB
[startup+500.8 s]
/proc/loadavg: 4.26 3.81 3.05 5/254 27308
/proc/meminfo: memFree=127210152/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1493080 memory=342504 CPUtime=498.58 cores=5,7
/proc/27189/stat : 27189 (python3) S 27184 27184 27054 0 -1 4194304 102172 0 0 0 49831 27 0 0 20 0 1 0 36155920 1528913920 85626 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 373270 85626 8135 1 0 344628 0
Current children cumulated CPU time: 498.58 s
Current children cumulated vsize: 1497272 KiB
Current children cumulated memory: 345448 KiB
[startup+502.4 s]
/proc/loadavg: 4.26 3.81 3.05 5/255 27309
/proc/meminfo: memFree=127207408/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1493080 memory=342504 CPUtime=498.58 cores=5,7
/proc/27189/stat : 27189 (python3) S 27184 27184 27054 0 -1 4194304 102172 0 0 0 49831 27 0 0 20 0 1 0 36155920 1528913920 85626 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 373270 85626 8135 1 0 344628 0
[pid=27309] ppid=27189 vsize=16752 memory=14484 CPUtime=1.85 cores=5,7
/proc/27309/stat : 27309 (naps-1.03a6) R 27189 27309 27309 0 -1 4194304 5487 0 0 0 181 4 0 0 20 0 1 0 36205968 17154048 3621 18446744073709551615 4198400 7047149 140727402402944 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 29593600 140727402404241 140727402404339 140727402404339 140727402409929 0
/proc/27309/statm: 4188 3621 544 696 0 3349 0
Current children cumulated CPU time: 500.43 s
Current children cumulated vsize: 1514024 KiB
Current children cumulated memory: 359932 KiB
[startup+503.2 s]
/proc/loadavg: 4.26 3.81 3.05 5/255 27309
/proc/meminfo: memFree=127207408/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1493080 memory=342504 CPUtime=498.58 cores=5,7
/proc/27189/stat : 27189 (python3) S 27184 27184 27054 0 -1 4194304 102172 0 0 0 49831 27 0 0 20 0 1 0 36155920 1528913920 85626 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 373270 85626 8135 1 0 344628 0
[pid=27309] ppid=27189 vsize=16752 memory=14992 CPUtime=2.64 cores=5,7
/proc/27309/stat : 27309 (naps-1.03a6) R 27189 27309 27309 0 -1 4194304 6143 0 0 0 260 4 0 0 20 0 1 0 36205968 17154048 3748 18446744073709551615 4198400 7047149 140727402402944 0 0 0 0 0 17922 0 0 0 17 7 0 0 0 0 0 7573272 7623312 29593600 140727402404241 140727402404339 140727402404339 140727402409929 0
/proc/27309/statm: 4188 3748 544 696 0 3349 0
Current children cumulated CPU time: 501.22 s
Current children cumulated vsize: 1514024 KiB
Current children cumulated memory: 360440 KiB
[startup+503.4 s]
/proc/loadavg: 4.26 3.81 3.05 5/255 27309
/proc/meminfo: memFree=127207408/131382116 swapFree=33010684/33010684
[pid=27184] ppid=27181 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/27184/stat : 27184 (scip-naps-1.00.) S 27181 27184 27054 0 -1 4194304 258 341 0 0 0 0 0 0 20 0 1 0 36155917 4292608 736 18446744073709551615 93897731928064 93897732822597 140729501269200 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93897733061648 93897733109392 93897761787904 140729501276577 140729501276674 140729501276674 140729501282276 0
/proc/27184/statm: 1048 736 672 219 0 110 0
[pid=27189] ppid=27184 vsize=1440364 memory=295620 CPUtime=501.43 cores=5,7
/proc/27189/stat : 27189 (python3) R 27184 27184 27054 0 -1 4194304 107224 6144 0 0 49845 28 266 4 20 0 1 0 36155920 1474932736 73905 18446744073709551615 94766095478784 94766095479161 140728689746080 0 0 0 0 16781312 0 0 0 0 17 5 0 0 0 0 0 94766095490456 94766095491076 94766109290496 140728689748312 140728689748514 140728689748514 140728689754087 0
/proc/27189/statm: 360091 73905 8167 1 0 331449 0
Current children cumulated CPU time: 501.43 s
Current children cumulated vsize: 1444556 KiB
Current children cumulated memory: 298564 KiB
Child status: 0
Real time (s): 503.409
CPU time (s): 501.469
CPU user time (s): 501.118
CPU system time (s): 0.350831
CPU usage (%): 99.6148
Max. virtual memory (cumulated for all children) (KiB): 1516076
Max. memory (cumulated for all children) (KiB): 361468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 501.118
system time used= 0.350831
maximum resident set size= 342504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 393
involuntary context switches= 567
# summary of solver processes directly reported to runsolver:
# pid: 27184
# total CPU time (s): 501.469
# total CPU user time (s): 501.118
# total CPU system time (s): 0.350831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.77333 second user time and 5.20066 second system time
The end