52.18/52.44 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529858-1752260203.opb
52.18/52.44 c Solving mode: decision
52.18/52.44 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
52.18/52.44 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
52.18/52.44 c original problem has 5370 variables (5370 bin, 0 int, 0 impl, 0 cont) and 12701 constraints
52.18/52.44 c presolving:
52.18/52.44 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
52.18/52.44 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
52.18/52.44 c (0.1s) probing: 51/5370 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
52.18/52.44 c (0.1s) probing aborted: 50/50 successive totally useless probings
52.18/52.44 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
52.18/52.44 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
52.18/52.44 c dynamic symmetry handling statistics:
52.18/52.44 c orbitopal reduction: no components
52.18/52.44 c orbital reduction: no components
52.18/52.44 c lexicographic reduction: no permutations
52.18/52.44 c handled 1 out of 1 symmetry components
52.18/52.44 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
52.18/52.44 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
52.18/52.44 c (0.2s) probing: 56/5370 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
52.18/52.44 c (0.2s) probing aborted: 50/50 successive totally useless probings
52.18/52.44 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
52.18/52.44 c 18 deleted vars, 4848 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
52.18/52.44 c 0 implications, 7858 cliques
52.18/52.44 c presolved problem has 5356 variables (5356 bin, 0 int, 0 impl, 0 cont) and 7854 constraints
52.18/52.44 c 7853 constraints of type <setppc>
52.18/52.44 c 1 constraints of type <orbitope>
52.18/52.44 c transformed objective value is always integral (scale: 1)
52.18/52.44 c Presolving Time: 0.15
52.18/52.44 c
52.18/52.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.18/52.44 c 0.4s| 1 | 0 | 4426 | - | 87M | 0 |5356 |7879 |7853 | 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 1.4s| 1 | 0 | 10387 | - | 94M | 0 |5356 |7880 |7859 | 6 | 1 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 1.6s| 1 | 0 | 10529 | - | 98M | 0 |5356 |7881 |7863 | 10 | 2 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 1.8s| 1 | 0 | 10639 | - | 104M | 0 |5356 |7882 |7868 | 15 | 3 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 2.2s| 1 | 0 | 10739 | - | 114M | 0 |5356 |7883 |7873 | 20 | 4 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 2.5s| 1 | 0 | 11038 | - | 116M | 0 |5356 |7884 |7877 | 24 | 5 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 2.7s| 1 | 0 | 11177 | - | 118M | 0 |5356 |7885 |7883 | 30 | 6 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 2.9s| 1 | 0 | 11233 | - | 123M | 0 |5356 |7886 |7886 | 33 | 7 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 3.1s| 1 | 0 | 11318 | - | 130M | 0 |5356 |7887 |7891 | 38 | 8 | 33 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 3.4s| 1 | 0 | 11378 | - | 136M | 0 |5356 |7888 |7894 | 41 | 9 | 34 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 3.6s| 1 | 0 | 11464 | - | 143M | 0 |5356 |7889 |7899 | 46 | 10 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 3.8s| 1 | 0 | 11549 | - | 144M | 0 |5356 |7890 |7908 | 55 | 11 | 36 | 0 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 5.3s| 1 | 2 | 14973 | - | 144M | 0 |5356 |7894 |7908 | 55 | 11 | 40 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 21.0s| 100 | 80 | 61811 | 507.7 | 150M | 27 |5356 |8074 |7894 | 217 | 1 | 227 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 25.6s| 200 | 59 | 81068 | 349.3 | 152M | 27 |5356 |8352 |7894 | 228 | 1 | 526 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.18/52.44 c 28.0s| 300 | 67 | 94733 | 278.2 | 154M | 27 |5356 |8428 |7895 | 283 | 0 | 636 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 30.4s| 400 | 64 |110602 | 248.3 | 156M | 27 |5356 |8576 |7903 | 315 | 0 | 839 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 32.6s| 500 | 61 |122447 | 222.2 | 156M | 27 |5356 |8749 |7892 | 394 | 1 |1064 | 12 | 0.000000e+00 | -- | Inf | 0.50%
52.18/52.44 c 38.3s| 600 | 98 |143716 | 220.6 | 158M | 27 |5356 |8960 |7894 | 707 | 0 |1325 | 12 | 0.000000e+00 | -- | Inf | 0.58%
52.18/52.44 c 41.9s| 700 | 106 |154483 | 204.5 | 158M | 27 |5356 |9140 |7907 | 804 | 1 |1567 | 12 | 0.000000e+00 | -- | Inf | 0.64%
52.18/52.44 c 45.8s| 800 | 125 |167143 | 194.7 | 160M | 27 |5356 |9248 |7899 | 910 | 0 |1768 | 12 | 0.000000e+00 | -- | Inf | 0.78%
52.18/52.44 c 48.0s| 900 | 133 |177988 | 185.1 | 160M | 27 |5356 |9428 |7901 | 921 | 0 |2027 | 12 | 0.000000e+00 | -- | Inf | 0.80%
52.18/52.44 c 50.3s| 1000 | 120 |188018 | 176.6 | 161M | 27 |5356 |9633 |7899 | 927 | 0 |2308 | 12 | 0.000000e+00 | -- | Inf | 0.88%
52.18/52.44 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
52.18/52.44 c (run 1, node 1005) performing user restart
52.18/52.44 c
52.18/52.44 c (restart) converted 36 cuts from the global cut pool into linear constraints
52.18/52.44 c
52.18/52.44 c presolving:
52.18/52.44 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
52.18/52.44 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
52.18/52.44 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
52.18/52.44 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
52.18/52.44 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
52.18/52.44 c 0 deleted vars, 270 deleted constraints, 20 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 70 changed coefficients
52.18/52.44 c 0 implications, 7859 cliques
52.18/52.44 c presolved problem has 5356 variables (5356 bin, 0 int, 0 impl, 0 cont) and 9419 constraints
52.18/52.44 c 87 constraints of type <knapsack>
52.18/52.44 c 7853 constraints of type <setppc>
52.18/52.44 c 6 constraints of type <linear>
52.18/52.44 c 1 constraints of type <orbitope>
52.18/52.44 c 1472 constraints of type <logicor>
52.18/52.44 c transformed objective value is always integral (scale: 1)
52.18/52.44 c Presolving Time: 0.29
52.18/52.44 c
52.18/52.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.18/52.44 c 50.9s| 1 | 0 |193200 | - | 163M | 0 |5356 |9422 |7889 | 0 | 0 |2311 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 51.6s| 1 | 0 |193315 | - | 167M | 0 |5356 |9423 |7899 | 10 | 1 |2312 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 51.7s| 1 | 0 |193402 | - | 167M | 0 |5356 |9424 |7902 | 13 | 2 |2313 | 12 | 0.000000e+00 | -- | Inf | unknown
52.18/52.44 c 51.9s| 1 | 0 |193487 | - | 167M | 0 |5356 |9426 |7907 | 18 | 3 |2315 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 52.3s| 1 | 0 |193587 | - | 169M | 0 |5356 |9427 |7913 | 24 | 4 |2316 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 52.6s| 1 | 0 |193647 | - | 169M | 0 |5356 |9428 |7918 | 29 | 5 |2317 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 53.0s| 1 | 0 |193758 | - | 171M | 0 |5356 |9429 |7926 | 37 | 6 |2318 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 53.3s| 1 | 0 |193839 | - | 175M | 0 |5356 |9430 |7934 | 45 | 7 |2319 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 53.5s| 1 | 0 |193915 | - | 177M | 0 |5356 |9431 |7940 | 51 | 8 |2320 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 53.7s| 1 | 0 |193993 | - | 180M | 0 |5356 |9432 |7950 | 61 | 9 |2321 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 53.9s| 1 | 0 |194030 | - | 181M | 0 |5356 |9433 |7923 | 68 | 10 |2322 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 54.1s| 1 | 0 |194122 | - | 182M | 0 |5356 |9434 |7933 | 78 | 11 |2323 | 12 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 55.0s| 1 | 2 |195570 | - | 182M | 0 |5356 |9434 |7933 | 78 | 11 |2329 | 23 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 61.0s| 100 | 30 |225415 | 188.4 | 184M | 25 |5356 |9531 |7901 | 103 | 1 |2505 | 23 | 0.000000e+00 | -- | Inf | unknown
151.53/152.10 c 65.0s| 200 | 28 |241944 | 186.5 | 188M | 25 |5356 |9612 |7904 | 203 | 1 |2767 | 23 | 0.000000e+00 | -- | Inf | 1.59%
151.53/152.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.53/152.10 c 68.9s| 300 | 30 |253591 | 181.1 | 191M | 25 |5356 |9668 |7886 | 345 | 1 |2945 | 23 | 0.000000e+00 | -- | Inf | 2.77%
151.53/152.10 c 74.1s| 400 | 54 |270549 | 180.3 | 201M | 25 |5356 |9770 |7908 | 598 | 0 |3164 | 23 | 0.000000e+00 | -- | Inf | 4.16%
151.53/152.10 c 76.5s| 500 | 60 |281800 | 175.8 | 203M | 25 |5356 |9907 |7913 | 725 | 0 |3420 | 23 | 0.000000e+00 | -- | Inf | 4.76%
151.53/152.10 c 78.5s| 600 | 59 |290871 | 170.5 | 205M | 25 |5356 | 10k|7907 | 814 | 0 |3615 | 23 | 0.000000e+00 | -- | Inf | 5.25%
151.53/152.10 c 81.3s| 700 | 58 |301453 | 166.7 | 205M | 25 |5356 | 10k|7903 | 988 | 1 |3813 | 23 | 0.000000e+00 | -- | Inf | 5.76%
151.53/152.10 c 83.0s| 800 | 53 |311730 | 163.1 | 205M | 25 |5356 | 10k|7893 | 988 | 1 |4045 | 23 | 0.000000e+00 | -- | Inf | 5.93%
151.53/152.10 c 86.0s| 900 | 48 |323798 | 160.9 | 211M | 25 |5356 | 10k|7941 |1103 | 0 |4274 | 23 | 0.000000e+00 | -- | Inf | 6.32%
151.53/152.10 c 87.8s| 1000 | 45 |331784 | 156.9 | 211M | 25 |5356 | 10k|7913 |1180 | 0 |4518 | 23 | 0.000000e+00 | -- | Inf | 6.64%
151.53/152.10 c 89.6s| 1100 | 44 |339819 | 153.2 | 211M | 25 |5356 | 10k|7928 |1269 | 0 |4686 | 23 | 0.000000e+00 | -- | Inf | 6.86%
151.53/152.10 c 91.4s| 1200 | 41 |347003 | 149.5 | 212M | 25 |5356 | 10k|7917 |1322 | 0 |4889 | 23 | 0.000000e+00 | -- | Inf | 6.99%
151.53/152.10 c 93.1s| 1300 | 35 |355133 | 146.6 | 212M | 25 |5356 | 10k|7908 |1375 | 0 |5067 | 23 | 0.000000e+00 | -- | Inf | 7.46%
151.53/152.10 c 94.5s| 1400 | 30 |362332 | 143.5 | 212M | 25 |5356 | 10k|7904 |1383 | 0 |5281 | 23 | 0.000000e+00 | -- | Inf | 7.49%
151.53/152.10 c 96.4s| 1500 | 31 |371076 | 141.2 | 213M | 25 |5356 | 10k|7900 |1433 | 1 |5492 | 23 | 0.000000e+00 | -- | Inf | 7.70%
151.53/152.10 c 98.0s| 1600 | 32 |380356 | 139.4 | 213M | 25 |5356 | 10k|7900 |1435 | 1 |5640 | 23 | 0.000000e+00 | -- | Inf | 7.79%
151.53/152.10 c 99.5s| 1700 | 25 |390322 | 137.9 | 213M | 25 |5356 | 10k|7903 |1435 | 0 |5818 | 23 | 0.000000e+00 | -- | Inf | 7.85%
151.53/152.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.53/152.10 c 104s| 1800 | 32 |407720 | 139.2 | 215M | 25 |5356 | 10k|7897 |1673 | 0 |6013 | 23 | 0.000000e+00 | -- | Inf | 9.47%
151.53/152.10 c 107s| 1900 | 46 |422683 | 139.6 | 216M | 25 |5356 | 10k|7900 |1723 | 1 |6207 | 23 | 0.000000e+00 | -- | Inf | 9.53%
151.53/152.10 c 109s| 2000 | 42 |433190 | 138.4 | 216M | 25 |5356 | 10k|7900 |1731 | 1 |6367 | 23 | 0.000000e+00 | -- | Inf | 9.60%
151.53/152.10 c 111s| 2100 | 40 |443397 | 137.2 | 216M | 25 |5356 | 10k|7904 |1760 | 1 |6607 | 23 | 0.000000e+00 | -- | Inf | 9.64%
151.53/152.10 c 112s| 2200 | 36 |452052 | 135.7 | 216M | 25 |5356 | 10k|7897 |1760 | 1 |6798 | 23 | 0.000000e+00 | -- | Inf | 9.71%
151.53/152.10 c 114s| 2300 | 31 |464312 | 135.3 | 216M | 25 |5356 | 11k|7905 |1787 | 1 |7035 | 23 | 0.000000e+00 | -- | Inf | 9.79%
151.53/152.10 c 116s| 2400 | 29 |476180 | 134.8 | 216M | 25 |5356 | 11k|7928 |1839 | 1 |7238 | 23 | 0.000000e+00 | -- | Inf | 9.93%
151.53/152.10 c 118s| 2500 | 24 |489386 | 134.7 | 217M | 25 |5356 | 10k|7924 |1890 | 0 |7387 | 23 | 0.000000e+00 | -- | Inf | 10.13%
151.53/152.10 c 120s| 2600 | 27 |499135 | 133.7 | 217M | 25 |5356 | 10k|7924 |1910 | 0 |7527 | 23 | 0.000000e+00 | -- | Inf | 10.19%
151.53/152.10 c 122s| 2700 | 29 |510119 | 133.0 | 217M | 25 |5356 | 10k|7911 |1979 | 0 |7658 | 23 | 0.000000e+00 | -- | Inf | 10.37%
151.53/152.10 c 125s| 2800 | 27 |521335 | 132.5 | 217M | 25 |5356 | 10k|7914 |2056 | 0 |7784 | 23 | 0.000000e+00 | -- | Inf | 10.50%
151.53/152.10 c 126s| 2900 | 19 |532017 | 131.8 | 217M | 25 |5356 | 10k|7894 |2065 | 1 |7952 | 23 | 0.000000e+00 | -- | Inf | 10.63%
151.53/152.10 c 128s| 3000 | 26 |538773 | 130.2 | 218M | 25 |5356 | 11k|7913 |2098 | 0 |8193 | 23 | 0.000000e+00 | -- | Inf | 10.68%
151.53/152.10 c 129s| 3100 | 29 |547059 | 129.1 | 218M | 25 |5356 | 11k|7913 |2111 | 0 |8371 | 23 | 0.000000e+00 | -- | Inf | 10.71%
151.53/152.10 c 131s| 3200 | 31 |558975 | 128.8 | 218M | 26 |5356 | 11k|7910 |2193 | 1 |8499 | 23 | 0.000000e+00 | -- | Inf | 10.73%
151.53/152.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.53/152.10 c 132s| 3300 | 31 |564419 | 127.1 | 218M | 26 |5356 | 11k|7910 |2220 | 1 |8585 | 23 | 0.000000e+00 | -- | Inf | 10.75%
151.53/152.10 c 134s| 3400 | 31 |570871 | 125.7 | 218M | 26 |5356 | 11k|7910 |2229 | 0 |8690 | 23 | 0.000000e+00 | -- | Inf | 10.77%
151.53/152.10 c 135s| 3500 | 27 |577237 | 124.3 | 218M | 26 |5356 | 11k|7910 |2241 | 0 |8833 | 23 | 0.000000e+00 | -- | Inf | 10.81%
151.53/152.10 c 136s| 3600 | 25 |584617 | 123.2 | 218M | 26 |5356 | 11k|7912 |2254 | 0 |8935 | 23 | 0.000000e+00 | -- | Inf | 10.83%
151.53/152.10 c 138s| 3700 | 25 |592985 | 122.4 | 218M | 26 |5356 | 11k|7913 |2367 | 1 |9000 | 23 | 0.000000e+00 | -- | Inf | 10.86%
151.53/152.10 c 141s| 3800 | 25 |607039 | 122.7 | 218M | 26 |5356 | 11k|7915 |2404 | 1 |9117 | 23 | 0.000000e+00 | -- | Inf | 10.95%
151.53/152.10 c 143s| 3900 | 24 |615779 | 122.0 | 218M | 26 |5356 | 11k|7915 |2407 | 0 |9273 | 23 | 0.000000e+00 | -- | Inf | 11.00%
151.53/152.10 c 144s| 4000 | 22 |623353 | 121.1 | 218M | 26 |5356 | 11k|7906 |2465 | 1 |9463 | 23 | 0.000000e+00 | -- | Inf | 11.14%
151.53/152.10 c 146s| 4100 | 26 |634385 | 120.9 | 218M | 26 |5356 | 11k|7910 |2499 | 0 |9635 | 23 | 0.000000e+00 | -- | Inf | 11.23%
151.53/152.10 c 148s| 4200 | 34 |641334 | 119.9 | 219M | 26 |5356 | 11k|7911 |2501 | 1 |9825 | 23 | 0.000000e+00 | -- | Inf | 11.26%
151.53/152.10 c 149s| 4300 | 28 |647993 | 118.9 | 219M | 27 |5356 | 11k|7911 |2507 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.27%
151.53/152.10 c 150s| 4400 | 25 |655508 | 118.1 | 219M | 27 |5356 | 11k|7908 |2539 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.30%
252.85/253.88 c 152s| 4500 | 29 |664699 | 117.6 | 219M | 27 |5356 | 11k|7908 |2543 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.34%
252.85/253.88 c 153s| 4600 | 29 |671286 | 116.7 | 219M | 27 |5356 | 12k|7908 |2552 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.37%
252.85/253.88 c 155s| 4700 | 18 |678553 | 115.9 | 219M | 27 |5356 | 12k|7916 |2554 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.43%
252.85/253.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
252.85/253.88 c 157s| 4800 | 26 |690672 | 116.0 | 219M | 27 |5356 | 12k|7927 |2618 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | 11.49%
252.85/253.88 c 159s| 4900 | 32 |700136 | 115.6 | 219M | 27 |5356 | 12k|7927 |2618 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.56%
252.85/253.88 c 161s| 5000 | 34 |711431 | 115.6 | 219M | 27 |5356 | 12k|7925 |2634 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.57%
252.85/253.88 c 162s| 5100 | 26 |717883 | 114.8 | 219M | 27 |5356 | 12k|7927 |2641 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.61%
252.85/253.88 c 164s| 5200 | 27 |727933 | 114.5 | 219M | 27 |5356 | 12k|7921 |2677 | 2 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.64%
252.85/253.88 c 166s| 5300 | 24 |736183 | 114.0 | 220M | 27 |5356 | 12k|7918 |2688 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | 11.66%
252.85/253.88 c 167s| 5400 | 27 |743667 | 113.4 | 220M | 27 |5356 | 12k|7919 |2701 | 0 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.68%
252.85/253.88 c 169s| 5500 | 23 |751183 | 112.8 | 220M | 27 |5356 | 12k|7919 |2714 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.69%
252.85/253.88 c 170s| 5600 | 24 |759409 | 112.4 | 220M | 27 |5356 | 12k|7918 |2740 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.70%
252.85/253.88 c 172s| 5700 | 29 |767058 | 111.8 | 220M | 27 |5356 | 12k|7921 |2772 | 2 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.71%
252.85/253.88 c 173s| 5800 | 27 |772930 | 111.0 | 220M | 27 |5356 | 12k|7918 |2790 | 1 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.71%
252.85/253.88 c 175s| 5900 | 28 |779618 | 110.4 | 220M | 27 |5356 | 13k|7921 |2808 | 2 | 12k| 23 | 0.000000e+00 | -- | Inf | 11.72%
252.85/253.88 c 177s| 6000 | 24 |791273 | 110.5 | 220M | 27 |5356 | 13k|7918 |2874 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.74%
252.85/253.88 c 178s| 6100 | 27 |799292 | 110.1 | 220M | 27 |5356 | 13k|7906 |2877 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.79%
252.85/253.88 c 180s| 6200 | 27 |807493 | 109.7 | 220M | 27 |5356 | 13k|7906 |2884 | 0 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.82%
252.85/253.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
252.85/253.88 c 181s| 6300 | 26 |814871 | 109.2 | 220M | 27 |5356 | 13k|7906 |2890 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.83%
252.85/253.88 c 183s| 6400 | 30 |821867 | 108.7 | 220M | 27 |5356 | 13k|7906 |2934 | 1 | 13k| 23 | 0.000000e+00 | -- | Inf | 11.84%
252.85/253.88 c 184s| 6500 | 32 |830047 | 108.3 | 221M | 27 |5356 | 13k|7921 |2963 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 11.90%
252.85/253.88 c 186s| 6600 | 31 |837219 | 107.8 | 221M | 27 |5356 | 13k|7921 |2963 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 11.93%
252.85/253.88 c 187s| 6700 | 34 |843859 | 107.3 | 221M | 27 |5356 | 13k|7921 |2981 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 11.96%
252.85/253.88 c 189s| 6800 | 26 |851748 | 106.9 | 221M | 27 |5356 | 13k|7920 |2983 | 0 | 14k| 23 | 0.000000e+00 | -- | Inf | 12.00%
252.85/253.88 c 190s| 6900 | 26 |857786 | 106.3 | 221M | 27 |5356 | 13k|7920 |3010 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 12.04%
252.85/253.88 c 192s| 7000 | 29 |865562 | 106.0 | 221M | 27 |5356 | 13k|7923 |3025 | 1 | 14k| 23 | 0.000000e+00 | -- | Inf | 12.08%
252.85/253.88 c 193s| 7100 | 26 |874094 | 105.7 | 221M | 27 |5356 | 13k|7922 |3031 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.10%
252.85/253.88 c 195s| 7200 | 25 |885750 | 105.8 | 221M | 27 |5356 | 13k|7918 |3037 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.12%
252.85/253.88 c 197s| 7300 | 23 |893766 | 105.5 | 221M | 27 |5356 | 13k|7921 |3058 | 0 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.14%
252.85/253.88 c 199s| 7400 | 25 |899790 | 105.0 | 221M | 27 |5356 | 13k|7922 |3112 | 1 | 15k| 23 | 0.000000e+00 | -- | Inf | 12.15%
252.85/253.88 c 201s| 7500 | 28 |914882 | 105.5 | 221M | 27 |5356 | 13k|7921 |3123 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.15%
252.85/253.88 c 203s| 7600 | 27 |921886 | 105.1 | 221M | 27 |5356 | 14k|7918 |3128 | 1 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.16%
252.85/253.88 c 204s| 7700 | 27 |929018 | 104.7 | 221M | 27 |5356 | 14k|7922 |3146 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.18%
252.85/253.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
252.85/253.88 c 206s| 7800 | 24 |935252 | 104.3 | 221M | 27 |5356 | 14k|7918 |3159 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.19%
252.85/253.88 c 207s| 7900 | 22 |944082 | 104.1 | 221M | 27 |5356 | 14k|7918 |3178 | 0 | 16k| 23 | 0.000000e+00 | -- | Inf | 12.19%
252.85/253.88 c 208s| 8000 | 18 |949233 | 103.5 | 221M | 27 |5356 | 14k|7921 |3199 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.21%
252.85/253.88 c 211s| 8100 | 20 |961175 | 103.7 | 221M | 27 |5356 | 13k|7899 |3256 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.42%
252.85/253.88 c 213s| 8200 | 24 |972907 | 103.8 | 222M | 27 |5356 | 13k|7894 |3273 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.48%
252.85/253.88 c 215s| 8300 | 33 |981076 | 103.6 | 222M | 27 |5356 | 13k|7899 |3293 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.54%
252.85/253.88 c 217s| 8400 | 27 |991522 | 103.6 | 222M | 27 |5356 | 13k|7902 |3315 | 0 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.55%
252.85/253.88 c 219s| 8500 | 28 | 1002k| 103.7 | 222M | 27 |5356 | 13k|7902 |3352 | 1 | 17k| 23 | 0.000000e+00 | -- | Inf | 12.56%
252.85/253.88 c 220s| 8600 | 22 | 1013k| 103.7 | 222M | 27 |5356 | 13k|7899 |3371 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 12.57%
252.85/253.88 c 225s| 8700 | 30 | 1039k| 105.3 | 222M | 27 |5356 | 13k|7907 |3557 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 13.14%
252.85/253.88 c 229s| 8800 | 35 | 1068k| 107.2 | 224M | 27 |5356 | 13k|7930 |3838 | 0 | 18k| 23 | 0.000000e+00 | -- | Inf | 13.68%
252.85/253.88 c 236s| 8900 | 51 | 1121k| 111.4 | 236M | 27 |5356 | 13k|7882 |4019 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 14.08%
252.85/253.88 c 240s| 9000 | 69 | 1155k| 113.8 | 241M | 27 |5356 | 12k|7909 |4167 | 1 | 18k| 23 | 0.000000e+00 | -- | Inf | 14.52%
252.85/253.88 c 242s| 9100 | 58 | 1170k| 114.1 | 241M | 27 |5356 | 12k| 0 |4167 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.60%
252.85/253.88 c 245s| 9200 | 67 | 1183k| 114.3 | 241M | 27 |5356 | 12k|7913 |4280 | 2 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.73%
252.85/253.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
252.85/253.88 c 247s| 9300 | 63 | 1195k| 114.3 | 241M | 27 |5356 | 12k|7910 |4284 | 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.89%
252.85/253.88 c 249s| 9400 | 59 | 1202k| 113.9 | 241M | 27 |5356 | 13k|7906 |4294 | 1 | 19k| 23 | 0.000000e+00 | -- | Inf | 14.91%
252.85/253.88 c 251s| 9500 | 58 | 1213k| 113.8 | 242M | 27 |5356 | 13k|7909 |4325 | 0 | 19k| 23 | 0.000000e+00 | -- | Inf | 15.01%
252.85/253.88 c 252s| 9600 | 62 | 1221k| 113.5 | 242M | 27 |5356 | 13k|7909 |4325 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.05%
402.63/404.19 c 254s| 9700 | 58 | 1231k| 113.5 | 242M | 27 |5356 | 13k|7909 |4353 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.17%
402.63/404.19 c 255s| 9800 | 66 | 1240k| 113.2 | 242M | 27 |5356 | 13k|7884 |4391 | 0 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.21%
402.63/404.19 c 256s| 9900 | 62 | 1248k| 112.9 | 242M | 27 |5356 | 13k|7884 |4395 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.24%
402.63/404.19 c 257s| 10000 | 60 | 1255k| 112.5 | 242M | 27 |5356 | 13k|7884 |4395 | 1 | 20k| 23 | 0.000000e+00 | -- | Inf | 15.29%
402.63/404.19 c 260s| 10100 | 58 | 1268k| 112.7 | 243M | 27 |5356 | 13k|7933 |4525 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 15.48%
402.63/404.19 c 262s| 10200 | 66 | 1283k| 113.0 | 244M | 27 |5356 | 13k|7911 |4609 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 15.65%
402.63/404.19 c 264s| 10300 | 64 | 1294k| 113.0 | 244M | 27 |5356 | 13k|7938 |4640 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 15.79%
402.63/404.19 c 265s| 10400 | 59 | 1303k| 112.8 | 244M | 27 |5356 | 13k|7911 |4694 | 1 | 21k| 23 | 0.000000e+00 | -- | Inf | 16.06%
402.63/404.19 c 268s| 10500 | 66 | 1319k| 113.2 | 246M | 27 |5356 | 13k|7946 |4865 | 0 | 21k| 23 | 0.000000e+00 | -- | Inf | 16.28%
402.63/404.19 c 270s| 10600 | 61 | 1334k| 113.5 | 246M | 27 |5356 | 13k|7930 |4944 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 16.52%
402.63/404.19 c 272s| 10700 | 62 | 1348k| 113.7 | 250M | 27 |5356 | 13k|7934 |5059 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 16.74%
402.63/404.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
402.63/404.19 c 275s| 10800 | 62 | 1361k| 113.8 | 250M | 27 |5356 | 13k|7905 |5210 | 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 17.05%
402.63/404.19 c 276s| 10900 | 58 | 1369k| 113.6 | 250M | 27 |5356 | 13k|7913 |5210 | 0 | 22k| 23 | 0.000000e+00 | -- | Inf | 17.15%
402.63/404.19 c 278s| 11000 | 59 | 1379k| 113.5 | 250M | 27 |5356 | 13k|7882 |5210 | 1 | 22k| 23 | 0.000000e+00 | -- | Inf | 17.43%
402.63/404.19 c 281s| 11100 | 64 | 1393k| 113.7 | 250M | 27 |5356 | 13k|7908 |5457 | 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 18.05%
402.63/404.19 c 284s| 11200 | 62 | 1401k| 113.4 | 250M | 27 |5356 | 13k|7920 |5593 | 0 | 23k| 23 | 0.000000e+00 | -- | Inf | 18.55%
402.63/404.19 c 286s| 11300 | 62 | 1412k| 113.4 | 250M | 27 |5356 | 13k|7913 |5749 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 19.31%
402.63/404.19 c 291s| 11400 | 70 | 1427k| 113.7 | 252M | 27 |5356 | 14k|7911 |6073 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 19.96%
402.63/404.19 c 293s| 11500 | 64 | 1440k| 113.8 | 252M | 27 |5356 | 14k|7915 |6073 | 1 | 23k| 23 | 0.000000e+00 | -- | Inf | 20.25%
402.63/404.19 c 295s| 11600 | 60 | 1450k| 113.7 | 252M | 27 |5356 | 14k|7934 |6118 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.39%
402.63/404.19 c 297s| 11700 | 60 | 1461k| 113.6 | 252M | 27 |5356 | 14k|7906 |6161 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.50%
402.63/404.19 c 298s| 11800 | 58 | 1466k| 113.2 | 252M | 27 |5356 | 14k|7906 |6171 | 1 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.53%
402.63/404.19 c 299s| 11900 | 59 | 1475k| 113.0 | 252M | 27 |5356 | 14k|7935 |6185 | 2 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.56%
402.63/404.19 c 300s| 12000 | 54 | 1481k| 112.6 | 252M | 27 |5356 | 14k|7931 |6199 | 0 | 24k| 23 | 0.000000e+00 | -- | Inf | 20.58%
402.63/404.19 c 302s| 12100 | 57 | 1488k| 112.2 | 252M | 27 |5356 | 14k|7906 |6223 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 20.63%
402.63/404.19 c 305s| 12200 | 61 | 1523k| 114.1 | 252M | 27 |5356 | 14k|7946 |6223 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 20.70%
402.63/404.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
402.63/404.19 c 309s| 12300 | 56 | 1557k| 115.7 | 253M | 27 |5356 | 14k|7905 |6259 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 20.96%
402.63/404.19 c 313s| 12400 | 64 | 1575k| 116.3 | 253M | 27 |5356 | 14k|7921 |6487 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 21.80%
402.63/404.19 c 316s| 12500 | 55 | 1590k| 116.5 | 253M | 27 |5356 | 14k|7912 |6645 | 0 | 25k| 23 | 0.000000e+00 | -- | Inf | 22.50%
402.63/404.19 c 320s| 12600 | 65 | 1612k| 117.3 | 253M | 27 |5356 | 14k|7920 |6704 | 1 | 25k| 23 | 0.000000e+00 | -- | Inf | 22.62%
402.63/404.19 c 322s| 12700 | 60 | 1627k| 117.5 | 253M | 27 |5356 | 14k|7901 |6725 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 22.77%
402.63/404.19 c 325s| 12800 | 57 | 1652k| 118.5 | 254M | 27 |5356 | 14k|7911 |6755 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 22.89%
402.63/404.19 c 331s| 12900 | 58 | 1678k| 119.5 | 254M | 27 |5356 | 14k|7882 |6920 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 23.79%
402.63/404.19 c 335s| 13000 | 76 | 1693k| 119.7 | 255M | 27 |5356 | 14k|7904 |7132 | 1 | 26k| 23 | 0.000000e+00 | -- | Inf | 24.25%
402.63/404.19 c 336s| 13100 | 61 | 1700k| 119.4 | 255M | 27 |5356 | 14k|7900 |7132 | 0 | 26k| 23 | 0.000000e+00 | -- | Inf | 24.54%
402.63/404.19 c 338s| 13200 | 58 | 1721k| 120.0 | 256M | 27 |5356 | 14k|7918 |7132 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 24.63%
402.63/404.19 c 359s| 13300 | 63 | 1776k| 123.0 | 256M | 27 |5356 | 14k|7917 |7227 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 24.85%
402.63/404.19 c 363s| 13400 | 60 | 1797k| 123.6 | 256M | 27 |5356 | 14k|7882 |7283 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 25.48%
402.63/404.19 c 369s| 13500 | 76 | 1829k| 124.9 | 256M | 27 |5356 | 14k|7902 |7369 | 1 | 27k| 23 | 0.000000e+00 | -- | Inf | 26.60%
402.63/404.19 c 372s| 13600 | 69 | 1843k| 125.1 | 256M | 27 |5356 | 14k|7910 |7397 | 0 | 27k| 23 | 0.000000e+00 | -- | Inf | 26.74%
402.63/404.19 c 374s| 13700 | 71 | 1852k| 124.8 | 256M | 27 |5356 | 14k|7923 |7445 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 26.88%
402.63/404.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
402.63/404.19 c 376s| 13800 | 76 | 1865k| 124.8 | 259M | 27 |5356 | 14k|7900 |7491 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.00%
402.63/404.19 c 378s| 13900 | 74 | 1875k| 124.7 | 259M | 27 |5356 | 14k|7904 |7512 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.18%
402.63/404.19 c 380s| 14000 | 77 | 1886k| 124.5 | 259M | 27 |5356 | 14k|7905 |7546 | 1 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.22%
402.63/404.19 c 382s| 14100 | 71 | 1894k| 124.3 | 259M | 27 |5356 | 14k|7900 |7546 | 0 | 28k| 23 | 0.000000e+00 | -- | Inf | 27.31%
402.63/404.19 c 384s| 14200 | 75 | 1910k| 124.5 | 259M | 27 |5356 | 14k|7922 |7658 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.49%
402.63/404.19 c 389s| 14300 | 92 | 1932k| 125.1 | 259M | 27 |5356 | 14k|7917 |7804 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.53%
402.63/404.19 c 391s| 14400 | 85 | 1952k| 125.6 | 259M | 27 |5356 | 14k|7884 |7804 | 1 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.73%
402.63/404.19 c 394s| 14500 | 82 | 1977k| 126.5 | 260M | 27 |5356 | 14k|7917 |7804 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.91%
402.63/404.19 c 395s| 14600 | 76 | 1993k| 126.6 | 261M | 27 |5356 | 14k|7922 |7804 | 0 | 29k| 23 | 0.000000e+00 | -- | Inf | 27.93%
402.63/404.19 c 397s| 14700 | 78 | 2009k| 126.8 | 261M | 27 |5356 | 14k|7930 |7869 | 2 | 30k| 23 | 0.000000e+00 | -- | Inf | 27.94%
402.63/404.19 c 400s| 14800 | 92 | 2024k| 127.0 | 261M | 27 |5356 | 14k|7914 |8013 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.25%
402.63/404.19 c 402s| 14900 | 85 | 2035k| 126.9 | 261M | 27 |5356 | 14k|7915 |8113 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.55%
498.29/500.18 c 404s| 15000 | 86 | 2059k| 127.6 | 262M | 27 |5356 | 14k|7914 |8117 | 1 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.60%
498.29/500.18 c 407s| 15100 | 91 | 2070k| 127.5 | 262M | 27 |5356 | 14k|7938 |8281 | 0 | 30k| 23 | 0.000000e+00 | -- | Inf | 28.69%
498.29/500.18 c 410s| 15200 | 95 | 2096k| 128.3 | 262M | 27 |5356 | 14k|7921 |8398 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 28.85%
498.29/500.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.29/500.18 c 413s| 15300 | 94 | 2113k| 128.5 | 264M | 27 |5356 | 14k|7921 |8422 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 28.99%
498.29/500.18 c 415s| 15400 | 105 | 2131k| 128.9 | 264M | 27 |5356 | 15k|7903 |8448 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 29.06%
498.29/500.18 c 416s| 15500 | 92 | 2138k| 128.5 | 264M | 27 |5356 | 15k|7903 |8448 | 0 | 31k| 23 | 0.000000e+00 | -- | Inf | 29.14%
498.29/500.18 c 417s| 15600 | 91 | 2148k| 128.3 | 264M | 27 |5356 | 15k|7905 |8455 | 1 | 31k| 23 | 0.000000e+00 | -- | Inf | 29.19%
498.29/500.18 c 421s| 15700 | 96 | 2166k| 128.7 | 264M | 27 |5356 | 15k|7910 |8678 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 29.75%
498.29/500.18 c 423s| 15800 | 93 | 2176k| 128.5 | 264M | 27 |5356 | 15k|7906 |8766 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 30.12%
498.29/500.18 c 424s| 15900 | 93 | 2182k| 128.1 | 264M | 27 |5356 | 15k|7906 |8766 | 1 | 32k| 23 | 0.000000e+00 | -- | Inf | 30.12%
498.29/500.18 c 425s| 16000 | 92 | 2188k| 127.7 | 265M | 27 |5356 | 15k|7906 |8775 | 0 | 32k| 23 | 0.000000e+00 | -- | Inf | 30.18%
498.29/500.18 c 428s| 16100 | 97 | 2206k| 128.0 | 265M | 27 |5356 | 15k|7941 |8840 | 0 | 33k| 23 | 0.000000e+00 | -- | Inf | 30.31%
498.29/500.18 c 430s| 16200 | 97 | 2221k| 128.1 | 265M | 27 |5356 | 15k|7906 |8853 | 1 | 33k| 23 | 0.000000e+00 | -- | Inf | 30.34%
498.29/500.18 c 432s| 16300 | 96 | 2229k| 127.9 | 265M | 27 |5356 | 16k|7930 |8855 | 1 | 33k| 23 | 0.000000e+00 | -- | Inf | 30.35%
498.29/500.18 c 433s| 16400 | 91 | 2239k| 127.7 | 265M | 27 |5356 | 16k|7930 |8860 | 1 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.36%
498.29/500.18 c 434s| 16500 | 95 | 2249k| 127.5 | 265M | 27 |5356 | 16k|7930 |8860 | 1 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.37%
498.29/500.18 c 436s| 16600 | 99 | 2258k| 127.3 | 265M | 27 |5356 | 16k|7931 |8866 | 0 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.38%
498.29/500.18 c 438s| 16700 | 92 | 2270k| 127.3 | 265M | 27 |5356 | 16k|7930 |8868 | 0 | 34k| 23 | 0.000000e+00 | -- | Inf | 30.38%
498.29/500.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.29/500.18 c 441s| 16800 | 105 | 2290k| 127.7 | 265M | 27 |5356 | 16k|7907 |8966 | 1 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.00%
498.29/500.18 c 443s| 16900 | 104 | 2302k| 127.7 | 265M | 27 |5356 | 16k|7920 |8966 | 1 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.12%
498.29/500.18 c 445s| 17000 | 102 | 2314k| 127.6 | 265M | 27 |5356 | 16k|7904 |8988 | 0 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.18%
498.29/500.18 c 448s| 17100 | 105 | 2335k| 128.0 | 266M | 27 |5356 | 16k|7926 |9221 | 0 | 35k| 23 | 0.000000e+00 | -- | Inf | 31.96%
498.29/500.18 c 451s| 17200 | 106 | 2343k| 127.8 | 266M | 27 |5356 | 16k|7935 |9286 | 2 | 35k| 23 | 0.000000e+00 | -- | Inf | 32.12%
498.29/500.18 c 452s| 17300 | 109 | 2354k| 127.7 | 266M | 27 |5356 | 16k|7932 |9286 | 1 | 35k| 23 | 0.000000e+00 | -- | Inf | 32.24%
498.29/500.18 c 454s| 17400 | 106 | 2365k| 127.6 | 266M | 27 |5356 | 16k|7944 |9286 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.31%
498.29/500.18 c 456s| 17500 | 113 | 2378k| 127.6 | 268M | 27 |5356 | 16k|7951 |9406 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.59%
498.29/500.18 c 458s| 17600 | 103 | 2394k| 127.8 | 268M | 27 |5356 | 16k|7900 |9457 | 0 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.76%
498.29/500.18 c 462s| 17700 | 111 | 2413k| 128.1 | 269M | 27 |5356 | 16k|7910 |9501 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 32.93%
498.29/500.18 c 464s| 17800 | 105 | 2431k| 128.4 | 269M | 27 |5356 | 16k|7882 |9501 | 1 | 36k| 23 | 0.000000e+00 | -- | Inf | 33.08%
498.29/500.18 c 467s| 17900 | 110 | 2444k| 128.4 | 269M | 27 |5356 | 16k|7929 |9684 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 33.47%
498.29/500.18 c 469s| 18000 | 111 | 2454k| 128.2 | 271M | 27 |5356 | 16k|7903 |9763 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 33.77%
498.29/500.18 c 471s| 18100 | 115 | 2466k| 128.2 | 271M | 27 |5356 | 16k|7917 |9867 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.02%
498.29/500.18 c 473s| 18200 | 109 | 2481k| 128.3 | 271M | 27 |5356 | 16k|7892 |9867 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.11%
498.29/500.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.29/500.18 c 475s| 18300 | 113 | 2493k| 128.3 | 271M | 27 |5356 | 16k|7904 |9949 | 1 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.33%
498.29/500.18 c 478s| 18400 | 114 | 2504k| 128.2 | 271M | 27 |5356 | 16k|7901 | 10k| 0 | 37k| 23 | 0.000000e+00 | -- | Inf | 34.75%
498.29/500.18 c 480s| 18500 | 120 | 2514k| 128.1 | 271M | 27 |5356 | 16k|7924 | 10k| 0 | 38k| 23 | 0.000000e+00 | -- | Inf | 34.92%
498.29/500.18 c 481s| 18600 | 118 | 2521k| 127.7 | 272M | 27 |5356 | 16k|7904 | 10k| 1 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.07%
498.29/500.18 c 482s| 18700 | 118 | 2531k| 127.6 | 272M | 27 |5356 | 16k|7899 | 10k| 1 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.17%
498.29/500.18 c 484s| 18800 | 118 | 2537k| 127.3 | 272M | 27 |5356 | 16k|7901 | 10k| 0 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.22%
498.29/500.18 c 486s| 18900 | 120 | 2545k| 127.0 | 272M | 27 |5356 | 16k|7901 | 10k| 0 | 38k| 23 | 0.000000e+00 | -- | Inf | 35.34%
498.29/500.18 c 487s| 19000 | 115 | 2551k| 126.7 | 272M | 27 |5356 | 16k|7903 | 10k| 0 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.43%
498.29/500.18 c 489s| 19100 | 119 | 2566k| 126.8 | 272M | 27 |5356 | 16k|7905 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.48%
498.29/500.18 c 490s| 19200 | 119 | 2574k| 126.6 | 272M | 27 |5356 | 16k|7905 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.56%
498.29/500.18 c 491s| 19300 | 117 | 2583k| 126.4 | 272M | 27 |5356 | 16k|7908 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.62%
498.29/500.18 c 493s| 19400 | 119 | 2591k| 126.1 | 272M | 27 |5356 | 16k|7911 | 10k| 1 | 39k| 23 | 0.000000e+00 | -- | Inf | 35.70%
498.29/500.18 c 495s| 19500 | 123 | 2599k| 125.9 | 272M | 27 |5356 | 16k|7909 | 10k| 0 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.75%
498.29/500.18 c 496s| 19600 | 123 | 2605k| 125.6 | 272M | 27 |5356 | 16k|7909 | 10k| 1 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.81%
498.29/500.18 c 497s| 19700 | 125 | 2613k| 125.4 | 272M | 27 |5356 | 16k|7914 | 10k| 0 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.83%
498.29/500.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.29/500.18 c 499s| 19800 | 117 | 2621k| 125.2 | 272M | 27 |5356 | 17k|7909 | 10k| 0 | 40k| 23 | 0.000000e+00 | -- | Inf | 35.86%
498.29/500.18 c
498.29/500.18 c SCIP Status : solving was interrupted [time limit reached]
498.29/500.18 c Solving Time (sec) : 500.00
498.29/500.18 c Solving Nodes : 19878 (total of 20883 nodes in 2 runs)
498.29/500.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
498.29/500.18 c Dual Bound : +0.00000000000000e+00
498.29/500.18 c Gap : infinite
498.29/500.18 c ----------------------------------------------------------------------
498.29/500.18 c dual bound: 0.0 -> 0
498.29/500.18 c primal bound: 1e+20 -> 100000000000000000000
498.29/500.18 c scip-goal-lb: 0
498.29/500.18 c scip-goal-ub: 100000000000000000000
498.29/500.19 c writing output to: HOME/tmph3i79elw.opb
498.29/500.19 c appending fixed variable constraints
498.29/500.19 c scip-fixed vars: 0.13% (7/5356)
498.29/500.19 c ----------------------------------------------------------------------
498.29/500.19 c executing external solver: HOME/naps-1.03a6
498.29/500.19 c ----------------------------------------------------------------------
498.29/500.19 c command: HOME/naps-1.03a6 HOME/tmph3i79elw.opb
498.38/500.20 c NaPS 1.03a6.
498.38/500.20 c Input file name: HOME/tmph3i79elw.opb
500.17/502.04 c s UNSATISFIABLE
500.17/502.04 c _____________________________________________________________________________
500.17/502.04 c std/band forms : 6693,0
500.17/502.04 c 2cl/3cl ITE-codings : 0,0
500.17/502.04 c BDD/srt/adr Max costs : 0,6,0
500.17/502.04 c BDDraw/bin/mul/srt/adr: 0,0,0,6693,0
500.17/502.04 c BDD nodes : 0
500.17/502.04 c Es1/CC detections : 0,0
500.17/502.04 c CC sort : 6693
500.17/502.04 c SAT/UNSAT calls : 0,1
500.17/502.04 c regenrated variables : 0
500.17/502.04 c eliminated fixed lits : 9
500.17/502.04 c goal lit flips : 0
500.17/502.04 c goal stages : 0
500.17/502.04 c goal shrink : 0
500.17/502.04 c goal coeff separations: 0
500.17/502.04 c restarts : 3154
500.17/502.04 c conflicts : 54444 (29977 /sec)
500.17/502.04 c decisions : 334382 (184113 /sec)
500.17/502.04 c propagations : 9712161 (5347570 /sec)
500.17/502.04 c inspects : 0 (0 /sec)
500.17/502.04 c CPU time (solving tm) : 1.816 s (1.724 s, SAT 0 s, UNSAT 1.724 s)
500.17/502.04 c Time for Opt-base : 0.006033 s
500.17/502.04 c Steps for Opt-base : 0
500.17/502.04 c Time for BDD coding : 0 s
500.17/502.04 c Time for srt coding : 0.0078 s
500.17/502.04 c _____________________________________________________________________________
500.17/502.04 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: 63708 MiB (61873 MiB free)
memory of node 1: 64465 MiB (55616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529858-1752260203/watcher-4529858-1752260203 -o /tmp/evaluation-result-4529858-1752260203/solver-4529858-1752260203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752256569-171614 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529858-1752260203.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=172166, runsolver pid=172163
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.14 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120309244/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1187224 memory=32216 CPUtime=0.07 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 3772 0 0 0 6 1 0 0 20 0 1 0 141699025 1215717376 8054 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 296806 8054 4926 1 0 268828 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191416 KiB
Current children cumulated memory: 35160 KiB
[startup+0.205539 s]*
/proc/loadavg: 4.14 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120266656/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1226844 memory=79064 CPUtime=0.17 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 12784 0 0 0 14 3 0 0 20 0 1 0 141699025 1256288256 19766 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 306711 19766 7870 1 0 278069 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1231036 KiB
Current children cumulated memory: 82008 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.14 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120258592/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1233852 memory=85592 CPUtime=0.27 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 14320 0 0 0 24 3 0 0 20 0 1 0 141699025 1263464448 21366 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 308463 21366 7966 1 0 279821 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1238044 KiB
Current children cumulated memory: 88536 KiB
[startup+0.700221 s]
/proc/loadavg: 4.14 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120206176/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1293516 memory=127832 CPUtime=0.66 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 24734 0 0 0 61 5 0 0 20 0 1 0 141699025 1324560384 31958 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 323379 31958 8158 1 0 294737 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1297708 KiB
Current children cumulated memory: 130776 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120206176/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1303940 memory=137628 CPUtime=1.46 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 26642 0 0 0 140 6 0 0 20 0 1 0 141699025 1335234560 34407 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 325985 34407 8190 1 0 297343 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1308132 KiB
Current children cumulated memory: 140572 KiB
[startup+3.10531 s]
/proc/loadavg: 4.14 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120158232/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1333920 memory=166656 CPUtime=3.05 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 34513 0 0 0 298 7 0 0 20 0 1 0 141699025 1365934080 41664 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 333480 41664 8190 1 0 304838 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1338112 KiB
Current children cumulated memory: 169600 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.19 4.14 5/268 172171
/proc/meminfo: memFree=120113240/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1383836 memory=212656 CPUtime=6.24 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 49996 0 0 0 614 10 0 0 20 0 1 0 141699025 1417048064 53164 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 345959 53164 8190 1 0 317317 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1388028 KiB
Current children cumulated memory: 215600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.18 4.14 5/268 172172
/proc/meminfo: memFree=120052212/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1382040 memory=211492 CPUtime=12.62 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 50347 0 0 0 1252 10 0 0 20 0 1 0 141699025 1415208960 52873 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 345510 52873 8190 1 0 316868 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1386232 KiB
Current children cumulated memory: 214436 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.17 4.13 5/268 172221
/proc/meminfo: memFree=120033816/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1388980 memory=218544 CPUtime=25.38 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 65347 0 0 0 2525 13 0 0 20 0 1 0 141699025 1422315520 54636 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 347245 54636 8190 1 0 318603 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1393172 KiB
Current children cumulated memory: 221488 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.17 4.13 5/268 172221
/proc/meminfo: memFree=119898296/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1398820 memory=228508 CPUtime=50.89 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 78575 0 0 0 5074 15 0 0 20 0 1 0 141699025 1432391680 57127 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 349705 57127 8190 1 0 321063 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1403012 KiB
Current children cumulated memory: 231452 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/268 172223
/proc/meminfo: memFree=119664524/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1441688 memory=271368 CPUtime=101.9 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 91036 0 0 0 10172 18 0 0 20 0 1 0 141699025 1476288512 67842 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 360422 67842 8190 1 0 331780 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1445880 KiB
Current children cumulated memory: 274312 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/268 172225
/proc/meminfo: memFree=119557028/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1441688 memory=271368 CPUtime=161.68 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 91038 0 0 0 16150 18 0 0 20 0 1 0 141699025 1476288512 67842 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 360422 67842 8190 1 0 331780 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1445880 KiB
Current children cumulated memory: 274312 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/268 172227
/proc/meminfo: memFree=119450240/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1441688 memory=271752 CPUtime=221.47 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 91117 0 0 0 22129 18 0 0 20 0 1 0 141699025 1476288512 67938 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 360422 67938 8190 1 0 331780 0
Current children cumulated CPU time: 221.47 s
################
# More data... #
################
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/267 172242
/proc/meminfo: memFree=119185264/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1473692 memory=298508 CPUtime=341.04 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 96960 0 0 0 34085 19 0 0 20 0 1 0 141699025 1509060608 74627 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 368423 74627 8190 1 0 339781 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 1477884 KiB
Current children cumulated memory: 301452 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/266 172244
/proc/meminfo: memFree=119041348/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1477912 memory=302916 CPUtime=400.83 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 97600 0 0 0 40064 19 0 0 20 0 1 0 141699025 1513381888 75729 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 369478 75729 8190 1 0 340836 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 1482104 KiB
Current children cumulated memory: 305860 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/266 172247
/proc/meminfo: memFree=118928824/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1484692 memory=309164 CPUtime=460.62 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 98673 0 0 0 46042 20 0 0 20 0 1 0 141699025 1520324608 77291 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 371173 77291 8190 1 0 342531 0
Current children cumulated CPU time: 460.62 s
Current children cumulated vsize: 1488884 KiB
Current children cumulated memory: 312108 KiB
[startup+502.184 s]
# the end of solver process 172166 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=500.095 s, system=0.278652 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.09 4.11 4.10 5/267 172298
/proc/meminfo: memFree=119623716/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1491776 memory=315432 CPUtime=484.63 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 99210 0 0 0 48443 20 0 0 20 0 1 0 141699025 1527578624 78858 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 372944 78858 8190 1 0 344302 0
Current children cumulated CPU time: 484.63 s
Current children cumulated vsize: 1495968 KiB
Current children cumulated memory: 318376 KiB
[startup+492.8 s]
/proc/loadavg: 4.08 4.10 4.10 5/267 172298
/proc/meminfo: memFree=119614788/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1491776 memory=315688 CPUtime=491.01 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 99297 0 0 0 49081 20 0 0 20 0 1 0 141699025 1527578624 78922 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 372944 78922 8190 1 0 344302 0
Current children cumulated CPU time: 491.01 s
Current children cumulated vsize: 1495968 KiB
Current children cumulated memory: 318632 KiB
[startup+496 s]*
/proc/loadavg: 4.08 4.10 4.09 5/267 172298
/proc/meminfo: memFree=119614788/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1491776 memory=315688 CPUtime=494.2 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 99297 0 0 0 49400 20 0 0 20 0 1 0 141699025 1527578624 78922 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 372944 78922 8190 1 0 344302 0
Current children cumulated CPU time: 494.2 s
Current children cumulated vsize: 1495968 KiB
Current children cumulated memory: 318632 KiB
[startup+499.2 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 172298
/proc/meminfo: memFree=119614788/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1491776 memory=315688 CPUtime=497.39 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 99297 0 0 0 49719 20 0 0 20 0 1 0 141699025 1527578624 78922 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 372944 78922 8190 1 0 344302 0
Current children cumulated CPU time: 497.39 s
Current children cumulated vsize: 1495968 KiB
Current children cumulated memory: 318632 KiB
[startup+500.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 172298
/proc/meminfo: memFree=119614788/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1494592 memory=318632 CPUtime=498.38 cores=0,2
/proc/172171/stat : 172171 (python3) S 172166 172166 171604 0 -1 4194304 100203 0 0 0 49817 21 0 0 20 0 1 0 141699025 1530462208 79658 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 373648 79658 8190 1 0 345006 0
Current children cumulated CPU time: 498.38 s
Current children cumulated vsize: 1498784 KiB
Current children cumulated memory: 321576 KiB
[startup+501.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 172299
/proc/meminfo: memFree=119596644/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1494592 memory=318632 CPUtime=498.38 cores=0,2
/proc/172171/stat : 172171 (python3) S 172166 172166 171604 0 -1 4194304 100203 0 0 0 49817 21 0 0 20 0 1 0 141699025 1530462208 79658 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 373648 79658 8190 1 0 345006 0
[pid=172299] ppid=172171 vsize=16752 memory=14784 CPUtime=1.38 cores=0,2
/proc/172299/stat : 172299 (naps-1.03a6) R 172171 172299 172299 0 -1 4194304 5595 0 0 0 136 2 0 0 20 0 1 0 141749043 17154048 3696 18446744073709551615 4198400 7047149 140721924450800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37810176 140721924454799 140721924454897 140721924454897 140721924460489 0
/proc/172299/statm: 4188 3696 544 696 0 3349 0
Current children cumulated CPU time: 499.76 s
Current children cumulated vsize: 1515536 KiB
Current children cumulated memory: 336360 KiB
[startup+502 s]*
/proc/loadavg: 4.07 4.10 4.09 5/269 172301
/proc/meminfo: memFree=119588156/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1494592 memory=318632 CPUtime=498.38 cores=0,2
/proc/172171/stat : 172171 (python3) S 172166 172166 171604 0 -1 4194304 100203 0 0 0 49817 21 0 0 20 0 1 0 141699025 1530462208 79658 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 373648 79658 8190 1 0 345006 0
[pid=172299] ppid=172171 vsize=16752 memory=14908 CPUtime=1.79 cores=0,2
/proc/172299/stat : 172299 (naps-1.03a6) R 172171 172299 172299 0 -1 4194304 6146 0 0 0 177 2 0 0 20 0 1 0 141749043 17154048 3727 18446744073709551615 4198400 7047149 140721924450800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 37810176 140721924454799 140721924454897 140721924454897 140721924460489 0
/proc/172299/statm: 4188 3727 544 696 0 3349 0
Current children cumulated CPU time: 500.17 s
Current children cumulated vsize: 1515536 KiB
Current children cumulated memory: 336484 KiB
[startup+502.105 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 172301
/proc/meminfo: memFree=119588156/131249992 swapFree=33010160/33010684
[pid=172166] ppid=172163 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/172166/stat : 172166 (scip-naps-1.00a) S 172163 172166 171604 0 -1 4194304 260 342 0 0 0 0 0 0 20 0 1 0 141699023 4292608 736 18446744073709551615 93977508179968 93977509074501 140727155963152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93977509313552 93977509361296 93977525329920 140727155972507 140727155972606 140727155972606 140727155978210 0
/proc/172166/statm: 1048 736 672 219 0 110 0
[pid=172171] ppid=172166 vsize=1494592 memory=318632 CPUtime=500.27 cores=0,2
/proc/172171/stat : 172171 (python3) R 172166 172166 171604 0 -1 4194304 121419 6147 0 0 49822 22 181 2 20 0 1 0 141699025 1530462208 79658 18446744073709551615 94190641360896 94190641361273 140731163197296 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94190641372568 94190641373188 94190668218368 140731163199823 140731163200032 140731163200032 140731163205607 0
/proc/172171/statm: 373648 79658 8190 1 0 345006 0
Current children cumulated CPU time: 500.27 s
Current children cumulated vsize: 1498784 KiB
Current children cumulated memory: 321576 KiB
Child status: 0
Real time (s): 502.184
CPU time (s): 500.374
CPU user time (s): 500.095
CPU system time (s): 0.278652
CPU usage (%): 99.6396
Max. virtual memory (cumulated for all children) (KiB): 1516564
Max. memory (cumulated for all children) (KiB): 337256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.095
system time used= 0.278652
maximum resident set size= 318632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145231
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= 339
involuntary context switches= 682
# summary of solver processes directly reported to runsolver:
# pid: 172166
# total CPU time (s): 500.374
# total CPU user time (s): 500.095
# total CPU system time (s): 0.278652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04642 second user time and 2.2309 second system time
The end