77.02/78.00 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530149-1752252699.opb
77.02/78.00 c Solving mode: optimization
77.02/78.00 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
77.02/78.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
77.02/78.00 c original problem has 1963 variables (1963 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
77.02/78.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.963000e+03
77.02/78.00 c presolving:
77.02/78.00 c (round 1, fast) 161 del vars, 161 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3838 clqs
77.02/78.00 c (round 2, fast) 321 del vars, 730 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3269 clqs
77.02/78.00 c (round 3, fast) 365 del vars, 837 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3162 clqs
77.02/78.00 c (round 4, fast) 400 del vars, 944 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3055 clqs
77.02/78.00 c (round 5, fast) 420 del vars, 991 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3008 clqs
77.02/78.00 c (round 6, fast) 432 del vars, 1027 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2972 clqs
77.02/78.00 c (round 7, fast) 437 del vars, 1039 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2960 clqs
77.02/78.00 c (round 8, fast) 439 del vars, 1045 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2954 clqs
77.02/78.00 c (round 9, exhaustive) 439 del vars, 1046 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2954 upgd conss, 0 impls, 2954 clqs
77.02/78.00 c (0.0s) probing: 51/1524 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
77.02/78.00 c (0.0s) probing aborted: 50/50 successive totally useless probings
77.02/78.00 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
77.02/78.00 c (0.0s) no symmetry present (symcode time: 0.00)
77.02/78.00 c presolving (10 rounds: 10 fast, 2 medium, 2 exhaustive):
77.02/78.00 c 439 deleted vars, 1046 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
77.02/78.00 c 0 implications, 2954 cliques
77.02/78.00 c presolved problem has 1524 variables (1524 bin, 0 int, 0 impl, 0 cont) and 2954 constraints
77.02/78.00 c 2954 constraints of type <setppc>
77.02/78.00 c transformed objective value is always integral (scale: 1)
77.02/78.00 c Presolving Time: 0.04
77.02/78.00 c
77.02/78.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.02/78.00 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |1524 |2954 | 0 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.741000e+03 | 702.30%| unknown
77.02/78.00 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |1524 |2954 |2954 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.191000e+03 | 448.85%| unknown
77.02/78.00 c p 0.1s| 1 | 0 | 0 | - | locks| 0 |1524 |2954 |2954 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.088000e+03 | 401.38%| unknown
77.02/78.00 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 |1524 |2954 |2954 | 0 | 0 | 0 | 0 | 2.170000e+02 | 1.084000e+03 | 399.54%| unknown
77.02/78.00 c 0.1s| 1 | 0 | 1903 | - | 23M | 0 |1524 |2954 |2954 | 0 | 0 | 0 | 0 | 9.790000e+02 | 1.084000e+03 | 10.73%| unknown
77.02/78.00 c 0.4s| 1 | 0 | 2624 | - | 26M | 0 |1524 |2954 |2982 | 28 | 1 | 0 | 0 | 9.900000e+02 | 1.084000e+03 | 9.49%| unknown
77.02/78.00 c 0.7s| 1 | 0 | 3851 | - | 27M | 0 |1524 |2954 |3005 | 51 | 2 | 0 | 0 | 9.940000e+02 | 1.084000e+03 | 9.05%| unknown
77.02/78.00 c 1.3s| 1 | 0 | 4792 | - | 28M | 0 |1524 |2954 |3022 | 68 | 3 | 0 | 0 | 9.965000e+02 | 1.084000e+03 | 8.78%| unknown
77.02/78.00 c 1.9s| 1 | 0 | 5870 | - | 30M | 0 |1524 |2954 |3041 | 87 | 4 | 0 | 0 | 9.980000e+02 | 1.084000e+03 | 8.62%| unknown
77.02/78.00 c 2.5s| 1 | 0 | 7853 | - | 41M | 0 |1524 |2954 |3056 | 102 | 5 | 0 | 0 | 1.001188e+03 | 1.084000e+03 | 8.27%| unknown
77.02/78.00 c 3.2s| 1 | 0 | 9776 | - | 43M | 0 |1524 |2954 |3073 | 119 | 6 | 0 | 0 | 1.002500e+03 | 1.084000e+03 | 8.13%| unknown
77.02/78.00 c 4.2s| 1 | 0 | 11432 | - | 56M | 0 |1524 |2954 |3087 | 133 | 7 | 0 | 0 | 1.003569e+03 | 1.084000e+03 | 8.01%| unknown
77.02/78.00 c 5.2s| 1 | 0 | 12414 | - | 67M | 0 |1524 |2954 |3095 | 141 | 8 | 0 | 0 | 1.004091e+03 | 1.084000e+03 | 7.96%| unknown
77.02/78.00 c 6.5s| 1 | 0 | 13276 | - | 84M | 0 |1524 |2954 |3098 | 144 | 9 | 0 | 0 | 1.004517e+03 | 1.084000e+03 | 7.91%| unknown
77.02/78.00 c 7.8s| 1 | 0 | 13866 | - | 101M | 0 |1524 |2954 |3100 | 146 | 10 | 0 | 0 | 1.004706e+03 | 1.084000e+03 | 7.89%| unknown
77.02/78.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.02/78.00 c 8.0s| 1 | 0 | 14350 | - | 101M | 0 |1524 |2954 |3102 | 150 | 11 | 0 | 0 | 1.004821e+03 | 1.084000e+03 | 7.88%| unknown
77.02/78.00 c 8.2s| 1 | 0 | 14797 | - | 101M | 0 |1524 |2954 |3105 | 153 | 12 | 0 | 0 | 1.004945e+03 | 1.084000e+03 | 7.87%| unknown
77.02/78.00 c 8.4s| 1 | 0 | 14932 | - | 102M | 0 |1524 |2954 |3109 | 157 | 13 | 0 | 0 | 1.004959e+03 | 1.084000e+03 | 7.87%| unknown
77.02/78.00 c 8.6s| 1 | 0 | 14975 | - | 103M | 0 |1524 |2954 |3111 | 159 | 14 | 0 | 0 | 1.004962e+03 | 1.084000e+03 | 7.86%| unknown
77.02/78.00 c 8.8s| 1 | 0 | 14994 | - | 103M | 0 |1524 |2954 |3112 | 160 | 15 | 0 | 0 | 1.004963e+03 | 1.084000e+03 | 7.86%| unknown
77.02/78.00 c 9.0s| 1 | 0 | 14997 | - | 103M | 0 |1524 |2954 |3113 | 161 | 16 | 0 | 0 | 1.004963e+03 | 1.084000e+03 | 7.86%| unknown
77.02/78.00 c 13.0s| 1 | 2 | 15004 | - | 104M | 0 |1524 |2954 |3113 | 161 | 17 | 0 | 30 | 1.005402e+03 | 1.084000e+03 | 7.82%| unknown
77.02/78.00 c *30.2s| 41 | 40 | 32359 | 434.1 | LP | 40 |1524 |2954 |3120 | 233 | 5 | 0 | 182 | 1.005824e+03 | 1.055000e+03 | 4.89%| unknown
77.02/78.00 c *30.2s| 42 | 39 | 32419 | 424.9 | LP | 40 |1524 |2954 |3109 | 233 | 1 | 0 | 182 | 1.005824e+03 | 1.053000e+03 | 4.69%| unknown
77.02/78.00 c *30.8s| 71 | 42 | 33235 | 260.5 | LP | 40 |1524 |2955 |3112 | 239 | 2 | 1 | 182 | 1.005824e+03 | 1.052000e+03 | 4.59%| unknown
77.02/78.00 c 35.0s| 100 | 59 | 46927 | 322.5 | 128M | 40 |1524 |2956 |3110 | 281 | 0 | 2 | 197 | 1.006718e+03 | 1.052000e+03 | 4.50%| unknown
77.02/78.00 c *40.2s| 132 | 70 | 62479 | 362.5 | LP | 40 |1524 |2977 |3111 | 348 | 1 | 23 | 213 | 1.006955e+03 | 1.051000e+03 | 4.37%| unknown
77.02/78.00 c 50.2s| 200 | 90 | 92324 | 388.6 | 164M | 40 |1524 |3001 |3109 | 482 | 1 | 47 | 228 | 1.007469e+03 | 1.051000e+03 | 4.32%| unknown
77.02/78.00 c *51.0s| 254 | 88 | 93865 | 311.7 | LP | 40 |1524 |3023 |3115 | 491 | 1 | 69 | 228 | 1.007469e+03 | 1.050000e+03 | 4.22%| unknown
77.02/78.00 c 51.6s| 300 | 88 | 96769 | 273.5 | 165M | 40 |1524 |3023 |3117 | 523 | 1 | 69 | 228 | 1.007469e+03 | 1.050000e+03 | 4.22%| unknown
77.02/78.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
77.02/78.00 c 54.8s| 400 | 90 |107859 | 232.7 | 166M | 40 |1524 |3039 |3112 | 564 | 1 | 85 | 244 | 1.007742e+03 | 1.050000e+03 | 4.19%| unknown
77.02/78.00 c L59.0s| 454 | 91 |134200 | 263.1 |crossove| 40 |1524 |3039 |3119 | 590 | 0 | 85 | 244 | 1.008327e+03 | 1.042000e+03 | 3.34%| unknown
77.02/78.00 c 60.7s| 500 | 103 |147267 | 265.1 | 165M | 40 |1524 |3039 |3136 | 620 | 1 | 85 | 244 | 1.008327e+03 | 1.042000e+03 | 3.34%| unknown
77.02/78.00 c 64.0s| 600 | 107 |167367 | 254.4 | 165M | 40 |1524 |3096 |3136 | 620 | 1 | 142 | 267 | 1.008404e+03 | 1.042000e+03 | 3.33%| unknown
77.02/78.00 c 72.0s| 700 | 131 |201601 | 267.0 | 169M | 40 |1524 |3109 |3126 | 748 | 1 | 155 | 299 | 1.008566e+03 | 1.042000e+03 | 3.32%| unknown
544.72/547.18 c 77.3s| 800 | 141 |226213 | 264.4 | 170M | 40 |1524 |3128 |3141 | 818 | 1 | 174 | 315 | 1.008966e+03 | 1.042000e+03 | 3.27%| unknown
544.72/547.18 c 83.6s| 900 | 143 |251273 | 262.8 | 170M | 40 |1524 |3165 |3139 | 879 | 0 | 211 | 362 | 1.009487e+03 | 1.042000e+03 | 3.22%| unknown
544.72/547.18 c 91.4s| 1000 | 153 |278138 | 263.4 | 173M | 40 |1524 |3188 |3142 | 960 | 0 | 234 | 378 | 1.009568e+03 | 1.042000e+03 | 3.21%| unknown
544.72/547.18 c 98.2s| 1100 | 169 |311937 | 270.2 | 177M | 40 |1524 |3264 |3143 |1063 | 1 | 310 | 405 | 1.010277e+03 | 1.042000e+03 | 3.14%| unknown
544.72/547.18 c 106s| 1200 | 175 |335904 | 267.6 | 179M | 40 |1524 |3345 |3147 |1157 | 0 | 391 | 456 | 1.010368e+03 | 1.042000e+03 | 3.13%| unknown
544.72/547.18 c 116s| 1300 | 181 |387314 | 286.6 | 187M | 40 |1524 |3345 |3144 |1260 | 0 | 391 | 472 | 1.010585e+03 | 1.042000e+03 | 3.11%| unknown
544.72/547.18 c 120s| 1400 | 195 |417587 | 287.8 | 187M | 40 |1524 |3366 |3146 |1300 | 0 | 416 | 488 | 1.010726e+03 | 1.042000e+03 | 3.09%| unknown
544.72/547.18 c 128s| 1500 | 203 |450906 | 290.8 | 217M | 40 |1524 |3371 |3143 |1478 | 0 | 425 | 503 | 1.010955e+03 | 1.042000e+03 | 3.07%| unknown
544.72/547.18 c 136s| 1600 | 213 |479027 | 290.2 | 235M | 40 |1524 |3409 |3154 |1567 | 0 | 475 | 550 | 1.011066e+03 | 1.042000e+03 | 3.06%| unknown
544.72/547.18 c 142s| 1700 | 225 |510680 | 291.7 | 240M | 40 |1524 |3434 |3154 |1699 | 0 | 506 | 565 | 1.011174e+03 | 1.042000e+03 | 3.05%| unknown
544.72/547.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
544.72/547.18 c 154s| 1800 | 235 |548949 | 296.8 | 243M | 40 |1524 |3444 |3153 |1937 | 1 | 519 | 579 | 1.011272e+03 | 1.042000e+03 | 3.04%| unknown
544.72/547.18 c 161s| 1900 | 241 |577798 | 296.4 | 244M | 40 |1524 |3514 |3160 |2045 | 0 | 602 | 618 | 1.011375e+03 | 1.042000e+03 | 3.03%| unknown
544.72/547.18 c 182s| 2000 | 267 |661690 | 323.5 | 249M | 40 |1524 |3579 |3166 |2382 | 0 | 681 | 652 | 1.011631e+03 | 1.042000e+03 | 3.00%| unknown
544.72/547.18 c 185s| 2100 | 267 |679484 | 316.6 | 249M | 40 |1524 |3595 |3168 |2397 | 0 | 701 | 672 | 1.011631e+03 | 1.042000e+03 | 3.00%| unknown
544.72/547.18 c 188s| 2200 | 265 |697229 | 310.2 | 249M | 40 |1524 |3653 |3166 |2425 | 0 | 770 | 701 | 1.011631e+03 | 1.042000e+03 | 3.00%| unknown
544.72/547.18 c 198s| 2300 | 277 |733926 | 312.7 | 250M | 40 |1524 |3653 |3174 |2640 | 0 | 770 | 716 | 1.011691e+03 | 1.042000e+03 | 3.00%| unknown
544.72/547.18 c 206s| 2400 | 291 |767510 | 313.7 | 250M | 40 |1524 |3694 |3173 |2794 | 2 | 819 | 756 | 1.011742e+03 | 1.042000e+03 | 2.99%| unknown
544.72/547.18 c 216s| 2500 | 301 |806381 | 316.7 | 251M | 40 |1524 |3714 |3176 |3033 | 1 | 842 | 770 | 1.011958e+03 | 1.042000e+03 | 2.97%| unknown
544.72/547.18 c 227s| 2600 | 309 |846478 | 319.9 | 254M | 40 |1524 |3729 |3187 |3249 | 0 | 859 | 798 | 1.011960e+03 | 1.042000e+03 | 2.97%| unknown
544.72/547.18 c 240s| 2700 | 327 |895387 | 326.2 | 256M | 40 |1524 |3748 |3217 |3518 | 0 | 883 | 833 | 1.012098e+03 | 1.042000e+03 | 2.95%| unknown
544.72/547.18 c 246s| 2800 | 331 |923850 | 324.7 | 257M | 40 |1524 |3777 |3219 |3632 | 0 | 917 | 852 | 1.012168e+03 | 1.042000e+03 | 2.95%| unknown
544.72/547.18 c 249s| 2900 | 337 |944937 | 320.8 | 257M | 40 |1524 |3790 |3222 |3647 | 0 | 933 | 877 | 1.012172e+03 | 1.042000e+03 | 2.95%| unknown
544.72/547.18 c 255s| 3000 | 341 |971219 | 318.8 | 257M | 40 |1524 |3790 |3220 |3750 | 1 | 933 | 891 | 1.012256e+03 | 1.042000e+03 | 2.94%| unknown
544.72/547.18 c 265s| 3100 | 351 | 1005k| 319.7 | 258M | 40 |1524 |3790 |3218 |3972 | 0 | 936 | 905 | 1.012495e+03 | 1.042000e+03 | 2.91%| unknown
544.72/547.18 c 276s| 3200 | 363 | 1043k| 321.5 | 258M | 40 |1524 |3790 |3228 |4188 | 0 | 938 | 933 | 1.012587e+03 | 1.042000e+03 | 2.90%| unknown
544.72/547.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
544.72/547.18 c 278s| 3300 | 363 | 1065k| 318.5 | 258M | 40 |1524 |3790 |3222 |4225 | 1 | 938 | 933 | 1.012587e+03 | 1.042000e+03 | 2.90%| unknown
544.72/547.18 c 285s| 3400 | 367 | 1093k| 317.4 | 258M | 40 |1524 |3856 |3230 |4375 | 1 |1018 | 981 | 1.012636e+03 | 1.042000e+03 | 2.90%| unknown
544.72/547.18 c 289s| 3500 | 367 | 1117k| 315.1 | 259M | 40 |1524 |3902 |3234 |4419 | 0 |1082 |1009 | 1.012636e+03 | 1.042000e+03 | 2.90%| unknown
544.72/547.18 c 297s| 3600 | 371 | 1150k| 315.6 | 260M | 40 |1524 |3911 |3234 |4545 | 1 |1092 |1022 | 1.012679e+03 | 1.042000e+03 | 2.90%| unknown
544.72/547.18 c 310s| 3700 | 389 | 1204k| 321.6 | 261M | 40 |1524 |3978 |3235 |4759 | 0 |1172 |1065 | 1.012968e+03 | 1.042000e+03 | 2.87%| unknown
544.72/547.18 c 316s| 3800 | 397 | 1233k| 320.7 | 261M | 40 |1524 |3988 |3228 |4915 | 0 |1185 |1077 | 1.012993e+03 | 1.042000e+03 | 2.86%| unknown
544.72/547.18 c 334s| 3900 | 415 | 1301k| 329.9 | 263M | 40 |1524 |4039 |3228 |5260 | 0 |1247 |1131 | 1.013339e+03 | 1.042000e+03 | 2.83%| unknown
544.72/547.18 c 347s| 4000 | 431 | 1346k| 333.0 | 264M | 40 |1524 |4045 |3227 |5621 | 1 |1262 |1144 | 1.013513e+03 | 1.042000e+03 | 2.81%| unknown
544.72/547.18 c 353s| 4100 | 435 | 1373k| 331.5 | 263M | 40 |1524 |4092 |3235 |5760 | 0 |1324 |1190 | 1.013603e+03 | 1.042000e+03 | 2.80%| unknown
544.72/547.18 c 361s| 4200 | 447 | 1411k| 332.5 | 264M | 40 |1524 |4133 |3237 |5897 | 0 |1373 |1218 | 1.013723e+03 | 1.042000e+03 | 2.79%| unknown
544.72/547.18 c 377s| 4300 | 465 | 1458k| 335.7 | 267M | 40 |1524 |4179 |3239 |6341 | 0 |1427 |1257 | 1.013823e+03 | 1.042000e+03 | 2.78%| unknown
544.72/547.18 c 385s| 4400 | 473 | 1487k| 334.8 | 268M | 40 |1524 |4234 |3240 |6579 | 2 |1501 |1296 | 1.013823e+03 | 1.042000e+03 | 2.78%| unknown
544.72/547.18 c 392s| 4500 | 479 | 1517k| 334.0 | 269M | 40 |1524 |4232 |3241 |6781 | 0 |1502 |1308 | 1.013827e+03 | 1.042000e+03 | 2.78%| unknown
544.72/547.18 c 395s| 4600 | 483 | 1541k| 331.9 | 269M | 40 |1524 |4232 |3241 |6795 | 1 |1504 |1320 | 1.013864e+03 | 1.042000e+03 | 2.78%| unknown
544.72/547.18 c 406s| 4700 | 491 | 1580k| 333.2 | 269M | 40 |1524 |4263 |3245 |7071 | 1 |1546 |1349 | 1.013963e+03 | 1.042000e+03 | 2.77%| unknown
544.72/547.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
544.72/547.18 c 418s| 4800 | 495 | 1620k| 334.6 | 270M | 40 |1524 |4273 |3230 |7383 | 0 |1557 |1373 | 1.014000e+03 | 1.042000e+03 | 2.76%| unknown
544.72/547.18 c 421s| 4900 | 495 | 1645k| 332.8 | 270M | 40 |1524 |4273 |3239 |7451 | 0 |1558 |1385 | 1.014000e+03 | 1.042000e+03 | 2.76%| unknown
544.72/547.18 c 430s| 5000 | 509 | 1683k| 333.9 | 271M | 40 |1524 |4293 |3244 |7647 | 1 |1585 |1418 | 1.014035e+03 | 1.042000e+03 | 2.76%| unknown
544.72/547.18 c 437s| 5100 | 511 | 1719k| 334.2 | 272M | 40 |1524 |4350 |3241 |7851 | 0 |1655 |1453 | 1.014109e+03 | 1.042000e+03 | 2.75%| unknown
544.72/547.18 c 445s| 5200 | 519 | 1754k| 334.5 | 272M | 40 |1524 |4390 |3245 |8083 | 0 |1704 |1477 | 1.014153e+03 | 1.042000e+03 | 2.75%| unknown
544.72/547.18 c 464s| 5300 | 535 | 1834k| 343.3 | 274M | 40 |1524 |4462 |3247 |8547 | 1 |1798 |1535 | 1.014205e+03 | 1.042000e+03 | 2.74%| unknown
544.72/547.18 c 473s| 5400 | 543 | 1869k| 343.6 | 275M | 40 |1524 |4490 |3245 |8751 | 1 |1837 |1561 | 1.014308e+03 | 1.042000e+03 | 2.73%| unknown
544.72/547.18 c 479s| 5500 | 547 | 1898k| 342.6 | 275M | 40 |1524 |4592 |3249 |8900 | 0 |1963 |1602 | 1.014308e+03 | 1.042000e+03 | 2.73%| unknown
544.72/547.18 c 489s| 5600 | 559 | 1940k| 343.8 | 276M | 40 |1524 |4650 |3251 |9224 | 1 |2034 |1641 | 1.014392e+03 | 1.042000e+03 | 2.72%| unknown
544.72/547.18 c 501s| 5700 | 569 | 1982k| 345.2 | 277M | 40 |1524 |4683 |3251 |9496 | 0 |2079 |1676 | 1.014483e+03 | 1.042000e+03 | 2.71%| unknown
544.72/547.18 c 508s| 5800 | 577 | 2017k| 345.3 | 278M | 40 |1524 |4708 |3251 |9657 | 1 |2114 |1706 | 1.014510e+03 | 1.042000e+03 | 2.71%| unknown
544.72/547.18 c 519s| 5900 | 577 | 2052k| 345.4 | 279M | 42 |1524 |4718 |3256 |9847 | 0 |2133 |1723 | 1.014556e+03 | 1.042000e+03 | 2.71%| unknown
544.72/547.18 c 535s| 6000 | 597 | 2110k| 349.4 | 280M | 42 |1524 |4771 |3231 | 10k| 0 |2201 |1772 | 1.014582e+03 | 1.042000e+03 | 2.70%| unknown
952.47/955.91 c 546s| 6100 | 607 | 2155k| 350.9 | 281M | 42 |1524 |4788 |3239 | 10k| 1 |2221 |1789 | 1.014649e+03 | 1.042000e+03 | 2.70%| unknown
952.47/955.91 c 554s| 6200 | 611 | 2186k| 350.3 | 282M | 42 |1524 |4895 |3236 | 10k| 0 |2354 |1833 | 1.014723e+03 | 1.042000e+03 | 2.69%| unknown
952.47/955.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
952.47/955.91 c 564s| 6300 | 623 | 2226k| 351.0 | 284M | 42 |1524 |4926 |3248 | 11k| 2 |2394 |1861 | 1.014775e+03 | 1.042000e+03 | 2.68%| unknown
952.47/955.91 c 568s| 6400 | 625 | 2248k| 349.0 | 284M | 42 |1524 |4957 |3234 | 11k| 1 |2438 |1884 | 1.014775e+03 | 1.042000e+03 | 2.68%| unknown
952.47/955.91 c 582s| 6500 | 641 | 2298k| 351.3 | 285M | 42 |1524 |4990 |3239 | 11k| 1 |2484 |1920 | 1.014932e+03 | 1.042000e+03 | 2.67%| unknown
952.47/955.91 c 585s| 6600 | 639 | 2318k| 349.1 | 285M | 42 |1524 |5090 |3238 | 11k| 0 |2609 |1960 | 1.014932e+03 | 1.042000e+03 | 2.67%| unknown
952.47/955.91 c 589s| 6700 | 639 | 2341k| 347.3 | 285M | 42 |1524 |5319 |3240 | 11k| 0 |2875 |2009 | 1.014932e+03 | 1.042000e+03 | 2.67%| unknown
952.47/955.91 c 602s| 6800 | 655 | 2389k| 349.2 | 287M | 42 |1524 |5466 |3234 | 12k| 2 |3061 |2063 | 1.015040e+03 | 1.042000e+03 | 2.66%| unknown
952.47/955.91 c 609s| 6900 | 659 | 2419k| 348.6 | 287M | 42 |1524 |5498 |3228 | 12k| 0 |3107 |2089 | 1.015084e+03 | 1.042000e+03 | 2.65%| unknown
952.47/955.91 c 616s| 7000 | 663 | 2449k| 347.9 | 287M | 42 |1524 |5623 |3228 | 12k| 0 |3259 |2132 | 1.015147e+03 | 1.042000e+03 | 2.65%| unknown
952.47/955.91 c 635s| 7100 | 685 | 2509k| 351.4 | 289M | 42 |1524 |5801 |3236 | 12k| 1 |3496 |2209 | 1.015194e+03 | 1.042000e+03 | 2.64%| unknown
952.47/955.91 c 640s| 7200 | 687 | 2536k| 350.2 | 289M | 42 |1524 |5927 |3236 | 13k| 1 |3657 |2251 | 1.015201e+03 | 1.042000e+03 | 2.64%| unknown
952.47/955.91 c 648s| 7300 | 695 | 2569k| 349.9 | 289M | 42 |1524 |6127 |3243 | 13k| 1 |3899 |2315 | 1.015251e+03 | 1.042000e+03 | 2.63%| unknown
952.47/955.91 c 661s| 7400 | 711 | 2619k| 352.0 | 290M | 42 |1524 |6201 |3238 | 13k| 1 |4015 |2362 | 1.015308e+03 | 1.042000e+03 | 2.63%| unknown
952.47/955.91 c o 673s| 7485 | 718 | 2675k| 355.5 |objpscos| 42 |1524 |6357 |3221 | 13k| 1 |4223 |2418 | 1.015316e+03 | 1.041000e+03 | 2.53%| unknown
952.47/955.91 c 673s| 7500 | 718 | 2679k| 355.3 | 290M | 42 |1524 |6356 |3244 | 13k| 1 |4223 |2422 | 1.015316e+03 | 1.041000e+03 | 2.53%| unknown
952.47/955.91 c 678s| 7600 | 718 | 2706k| 354.2 | 291M | 42 |1524 |6584 |3247 | 13k| 2 |4497 |2482 | 1.015316e+03 | 1.041000e+03 | 2.53%| unknown
952.47/955.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
952.47/955.91 c 690s| 7700 | 732 | 2764k| 357.2 | 291M | 42 |1524 |6651 |3249 | 14k| 0 |4608 |2537 | 1.015346e+03 | 1.041000e+03 | 2.53%| unknown
952.47/955.91 c 707s| 7800 | 740 | 2800k| 357.2 | 291M | 42 |1524 |6745 |3246 | 14k| 2 |4738 |2579 | 1.015418e+03 | 1.041000e+03 | 2.52%| unknown
952.47/955.91 c 717s| 7900 | 744 | 2832k| 356.7 | 292M | 42 |1524 |6851 |3251 | 14k| 2 |4890 |2625 | 1.015470e+03 | 1.041000e+03 | 2.51%| unknown
952.47/955.91 c 724s| 8000 | 748 | 2869k| 356.9 | 292M | 42 |1524 |7123 |3254 | 14k| 2 |5234 |2690 | 1.015500e+03 | 1.041000e+03 | 2.51%| unknown
952.47/955.91 c 733s| 8100 | 760 | 2911k| 357.6 | 292M | 42 |1524 |7129 |3245 | 15k| 1 |5271 |2706 | 1.015522e+03 | 1.041000e+03 | 2.51%| unknown
952.47/955.91 c 740s| 8200 | 766 | 2942k| 357.0 | 292M | 42 |1524 |7247 |3245 | 15k| 1 |5431 |2756 | 1.015586e+03 | 1.041000e+03 | 2.50%| unknown
952.47/955.91 c 747s| 8300 | 770 | 2974k| 356.6 | 293M | 42 |1524 |7299 |3248 | 15k| 1 |5508 |2769 | 1.015589e+03 | 1.041000e+03 | 2.50%| unknown
952.47/955.91 c 754s| 8400 | 774 | 3005k| 356.0 | 296M | 42 |1524 |7378 |3246 | 15k| 1 |5608 |2786 | 1.015602e+03 | 1.041000e+03 | 2.50%| unknown
952.47/955.91 c 756s| 8500 | 776 | 3026k| 354.4 | 296M | 42 |1524 |7386 |3247 | 15k| 0 |5619 |2789 | 1.015602e+03 | 1.041000e+03 | 2.50%| unknown
952.47/955.91 c 763s| 8600 | 780 | 3061k| 354.2 | 296M | 42 |1524 |7432 |3252 | 16k| 0 |5693 |2806 | 1.015636e+03 | 1.041000e+03 | 2.50%| unknown
952.47/955.91 c 776s| 8700 | 796 | 3117k| 356.6 | 297M | 42 |1524 |7427 |3253 | 16k| 0 |5715 |2819 | 1.015725e+03 | 1.041000e+03 | 2.49%| unknown
952.47/955.91 c 780s| 8800 | 802 | 3144k| 355.7 | 297M | 42 |1524 |7463 |3253 | 16k| 0 |5770 |2835 | 1.015887e+03 | 1.041000e+03 | 2.47%| unknown
952.47/955.91 c 784s| 8900 | 800 | 3168k| 354.3 | 297M | 42 |1524 |7495 |3253 | 16k| 1 |5809 |2870 | 1.015887e+03 | 1.041000e+03 | 2.47%| unknown
952.47/955.91 c 791s| 9000 | 810 | 3203k| 354.3 | 297M | 42 |1524 |7512 |3248 | 16k| 0 |5839 |2875 | 1.015899e+03 | 1.041000e+03 | 2.47%| unknown
952.47/955.91 c 795s| 9100 | 816 | 3237k| 354.2 | 297M | 42 |1524 |7495 |3247 | 17k| 0 |5839 |2878 | 1.015933e+03 | 1.041000e+03 | 2.47%| unknown
952.47/955.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
952.47/955.91 c 798s| 9200 | 816 | 3256k| 352.4 | 297M | 42 |1524 |7558 |3246 | 17k| 0 |5912 |2888 | 1.015933e+03 | 1.041000e+03 | 2.47%| unknown
952.47/955.91 c 803s| 9300 | 830 | 3290k| 352.2 | 298M | 42 |1524 |7540 |3251 | 17k| 0 |5925 |2894 | 1.015990e+03 | 1.041000e+03 | 2.46%| unknown
952.47/955.91 c 809s| 9400 | 834 | 3319k| 351.6 | 299M | 42 |1524 |7531 |3252 | 17k| 0 |5926 |2894 | 1.016000e+03 | 1.041000e+03 | 2.46%| unknown
952.47/955.91 c 827s| 9500 | 856 | 3412k| 357.7 | 300M | 42 |1524 |7481 |3249 | 18k| 0 |5931 |2896 | 1.016086e+03 | 1.041000e+03 | 2.45%| unknown
952.47/955.91 c 833s| 9600 | 860 | 3451k| 358.0 | 300M | 42 |1524 |7474 |3253 | 18k| 1 |5931 |2896 | 1.016091e+03 | 1.041000e+03 | 2.45%| unknown
952.47/955.91 c 842s| 9700 | 874 | 3500k| 359.3 | 300M | 42 |1524 |7452 |3255 | 18k| 1 |5933 |2896 | 1.016114e+03 | 1.041000e+03 | 2.45%| unknown
952.47/955.91 c 853s| 9800 | 888 | 3550k| 360.8 | 301M | 42 |1524 |7425 |3257 | 19k| 1 |5951 |2898 | 1.016174e+03 | 1.041000e+03 | 2.44%| unknown
952.47/955.91 c 856s| 9900 | 894 | 3579k| 360.1 | 302M | 42 |1524 |7444 |3255 | 19k| 1 |5991 |2905 | 1.016175e+03 | 1.041000e+03 | 2.44%| unknown
952.47/955.91 c 866s| 10000 | 906 | 3625k| 361.1 | 302M | 42 |1524 |7411 |3267 | 19k| 1 |5996 |2905 | 1.016220e+03 | 1.041000e+03 | 2.44%| unknown
952.47/955.91 c 875s| 10100 | 918 | 3674k| 362.4 | 303M | 42 |1524 |7400 |3265 | 19k| 1 |6008 |2906 | 1.016250e+03 | 1.041000e+03 | 2.44%| unknown
952.47/955.91 c 880s| 10200 | 922 | 3702k| 361.6 | 303M | 42 |1524 |7437 |3266 | 20k| 0 |6069 |2916 | 1.016257e+03 | 1.041000e+03 | 2.43%| unknown
952.47/955.91 c 886s| 10300 | 928 | 3740k| 361.8 | 303M | 42 |1524 |7417 |3257 | 20k| 0 |6081 |2918 | 1.016314e+03 | 1.041000e+03 | 2.43%| unknown
952.47/955.91 c 893s| 10400 | 932 | 3774k| 361.5 | 303M | 42 |1524 |7402 |3282 | 20k| 1 |6094 |2920 | 1.016318e+03 | 1.041000e+03 | 2.43%| unknown
952.47/955.91 c 895s| 10500 | 934 | 3793k| 359.9 | 303M | 42 |1524 |7398 |3280 | 20k| 1 |6094 |2921 | 1.016318e+03 | 1.041000e+03 | 2.43%| unknown
952.47/955.91 c 908s| 10600 | 944 | 3854k| 362.3 | 304M | 42 |1524 |7389 |3288 | 20k| 0 |6107 |2922 | 1.016353e+03 | 1.041000e+03 | 2.43%| unknown
952.47/955.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
952.47/955.91 c 918s| 10700 | 954 | 3903k| 363.5 | 304M | 42 |1524 |7384 |3283 | 21k| 1 |6173 |2951 | 1.016435e+03 | 1.041000e+03 | 2.42%| unknown
952.47/955.91 c 926s| 10800 | 962 | 3938k| 363.4 | 305M | 42 |1524 |7379 |3285 | 21k| 1 |6201 |2976 | 1.016446e+03 | 1.041000e+03 | 2.42%| unknown
952.47/955.91 c 931s| 10900 | 964 | 3965k| 362.5 | 305M | 42 |1524 |7433 |3286 | 21k| 1 |6291 |3003 | 1.016462e+03 | 1.041000e+03 | 2.41%| unknown
952.47/955.91 c 942s| 11000 | 972 | 4007k| 362.9 | 305M | 42 |1524 |7419 |3283 | 21k| 1 |6340 |3046 | 1.016508e+03 | 1.041000e+03 | 2.41%| unknown
952.47/955.91 c 950s| 11100 | 978 | 4045k| 363.2 | 305M | 42 |1524 |7411 |3289 | 22k| 1 |6348 |3064 | 1.016515e+03 | 1.041000e+03 | 2.41%| unknown
997.16/1000.77 c 955s| 11200 | 980 | 4080k| 363.0 | 305M | 42 |1524 |7588 |3291 | 22k| 0 |6604 |3121 | 1.016531e+03 | 1.041000e+03 | 2.41%| unknown
997.16/1000.77 c 958s| 11300 | 982 | 4100k| 361.6 | 305M | 42 |1524 |7584 |3292 | 22k| 0 |6604 |3131 | 1.016531e+03 | 1.041000e+03 | 2.41%| unknown
997.16/1000.77 c 970s| 11400 | 996 | 4147k| 362.5 | 307M | 42 |1524 |7528 |3291 | 22k| 1 |6633 |3162 | 1.016663e+03 | 1.041000e+03 | 2.39%| unknown
997.16/1000.77 c 976s| 11500 | 998 | 4177k| 362.0 | 307M | 42 |1524 |7616 |3293 | 22k| 1 |6754 |3188 | 1.016675e+03 | 1.041000e+03 | 2.39%| unknown
997.16/1000.77 c 985s| 11600 | 1010 | 4221k| 362.6 | 307M | 42 |1524 |7612 |3296 | 22k| 1 |6817 |3226 | 1.016750e+03 | 1.041000e+03 | 2.39%| unknown
997.16/1000.77 c 993s| 11700 | 1012 | 4255k| 362.4 | 307M | 42 |1524 |7670 |3297 | 23k| 0 |6932 |3262 | 1.016774e+03 | 1.041000e+03 | 2.38%| unknown
997.16/1000.77 c
997.16/1000.77 c SCIP Status : solving was interrupted [time limit reached]
997.16/1000.77 c Solving Time (sec) : 1000.00
997.16/1000.77 c Solving Nodes : 11792
997.16/1000.77 c Primal Bound : +1.04100000000000e+03 (413 solutions)
997.16/1000.77 c Dual Bound : +1.01684408315565e+03
997.16/1000.77 c Gap : 2.38 %
997.16/1000.77 c All original constraints are satisfied.
997.16/1000.77 c SCIP's best solution is verified feasible for the original problem.
997.16/1000.77 c ----------------------------------------------------------------------
997.16/1000.77 c dual bound: 1016.8440831556503 -> 1017
997.16/1000.77 c primal bound: 1041.0 -> 1041
997.16/1000.77 c scip-goal-lb: 1017
997.16/1000.77 c scip-goal-ub: 1041
997.16/1000.77 c writing output to: HOME/tmpwr9hs7ll.opb
997.16/1000.77 c appending fixed variable constraints
997.16/1000.77 c scip-fixed vars: 27.62% (421/1524)
997.16/1000.77 c ----------------------------------------------------------------------
997.16/1000.77 c executing external solver: HOME/naps-1.03a6
997.16/1000.77 c ----------------------------------------------------------------------
997.16/1000.77 c command: HOME/naps-1.03a6 -goal-lb=1017 -goal-ub=1040 HOME/tmpwr9hs7ll.opb
997.16/1000.77 c NaPS 1.03a6.
997.16/1000.77 c Input file name: HOME/tmpwr9hs7ll.opb
997.23/1000.92 c single stage optimization mode
3600.03/3611.10 c
3600.03/3611.10 c *** TERMINATED *** by signal 15
3600.03/3611.10 c s UNKNOWN
3600.03/3611.10 c _____________________________________________________________________________
3600.03/3611.10 c std/band forms : 2,0
3600.03/3611.10 c 2cl/3cl ITE-codings : 0,0
3600.03/3611.10 c BDD/srt/adr Max costs : 0,104065,0
3600.03/3611.10 c BDDraw/bin/mul/srt/adr: 0,0,0,2,0
3600.03/3611.10 c BDD nodes : 0
3600.03/3611.10 c Es1/CC detections : 0,0
3600.03/3611.10 c CC sort : 1
3600.03/3611.10 c SAT/UNSAT calls : 0,0
3600.03/3611.10 c regenrated variables : 0
3600.03/3611.10 c eliminated fixed lits : 1309
3600.03/3611.10 c goal lit flips : 0
3600.03/3611.10 c goal stages : 1
3600.03/3611.10 c goal shrink : 0
3600.03/3611.10 c goal coeff separations: 0
3600.03/3611.10 c restarts : 0
3600.03/3611.10 c conflicts : 0 (0 /sec)
3600.03/3611.10 c decisions : 0 (0 /sec)
3600.03/3611.10 c propagations : 0 (0 /sec)
3600.03/3611.10 c inspects : 0 (0 /sec)
3600.03/3611.10 c CPU time (solving tm) : 2602 s (2601 s, SAT 0 s, UNSAT 0 s)
3600.03/3611.10 c Time for Opt-base : 0.000224 s
3600.03/3611.10 c Steps for Opt-base : 0
3600.03/3611.10 c Time for BDD coding : 0 s
3600.03/3611.10 c Time for srt coding : 0.01103 s
3600.03/3611.10 c _____________________________________________________________________________
3600.03/3611.10 v x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 x14 x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 x24 x25 x26 x27 x28 x29 -x30 x31 -x32 -x33 x34 x35 x36 x37 -x38 -x39 -x40 -x41 x42 x43 x44 x45 -x46 x47 x48 x49 -x50 -x51 -x52 x53 x54 x55 x56 -x57 -x58 -x59 x60 -x61 x62 -x63 x64 -x65 x66 x67 -x68 x69 -x70 x71 x72 x73 x74 x75 x76 -x77 -x78 -x79 -x80 x81 x82 -x83 x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 -x100 -x101 x102 x103 x104 -x105 -x106 -x107 x108 x109 x110 -x111 x112 x113 x114 -x115 x116 -x117 x118 x119 x120 -x121 -x122 x123 x124 x125 -x126 x127 x128 x129 x130 x131 x132 x133 -x134 -x135 x136 x137 -x138 x139 x140 x141 x142 -x143 x144 -x145 x146 x147 x148 -x149 x150 x151 -x152 -x153 -x154 x155 -x156 x157 x158 x159 x160 x161 x162 x163 -x164 x165 -x166 x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 x180 -x181 -x182 x183 x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 x197 -x198 x199 x200 -x201 -x202 x203 -x204 x205 -x206 -x207 x208 -x209 -x210 x211 -x212 x213 -x214 x215 x216 x217 -x218 x219 -x220 x221 x222 x223 -x224 -x225 x226 x227 x228 -x229 x230 -x231 x232 -x233 x234 x235 x236 x237 x238 x239 x240 x241 -x242 x243 x244 -x245 -x246 x247 -x248 -x249 -x250 x251 x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 -x261 -x262 x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 x272 x273 x274 x275 x276 -x277 -x278 x279 x280 x281 -x282 -x283 -x284 x285 -x286 x287 x288 x289 -x290 x291 -x292 x293 x294 -x295 -x296 x297 -x298 x299 -x300 x301 -x302 -x303 x304 x305 x306 x307 x308 -x309 -x310 x311 x312 -x313 x314 x315 x316 x317 x318 -x319 -x320 x321 x322 x323 x324 -x325 x326 -x327 -x328 -x329 x330 -x331 x332 x333 -x334 -x335 x336 x337 -x338 x339 x340 x341 x342 -x343 -x344 x345 -x346 -x347 x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 x364 x365 x366 x367 -x368 x369 -x370 x371 x372 -x373 x374 -x375 x376 -x377 x378 x379 x380 x381 -x382 x383 x384 -x385 x386
3600.03/3611.10 v x387 x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 x413 x414 -x415 -x416 x417 x418 -x419 x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 x430 x431 -x432 x433 -x434 x435 x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 -x454 -x455 x456 -x457 x458 x459 x460 x461 x462 x463 x464 -x465 -x466 x467 -x468 -x469 -x470 x471 x472 -x473 x474 x475 x476 -x477 x478 x479 -x480 x481 -x482 x483 x484 x485 x486 x487 x488 -x489 x490 x491 -x492 x493 -x494 x495 -x496 x497 -x498 -x499 x500 x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 x510 -x511 x512 -x513 x514 x515 -x516 x517 -x518 x519 x520 x521 x522 -x523 x524 -x525 x526 -x527 x528 x529 x530 x531 x532 -x533 x534 -x535 -x536 -x537 x538 x539 x540 -x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 -x550 -x551 x552 x553 x554 x555 -x556 x557 -x558 x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 x571 -x572 -x573 x574 x575 x576 -x577 -x578 -x579 x580 x581 x582 -x583 -x584 -x585 -x586 x587 x588 -x589 -x590 -x591 x592 x593 x594 x595 x596 -x597 x598 -x599 -x600 x601 -x602 x603 x604 -x605 x606 x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 x615 x616 -x617 x618 -x619 -x620 x621 -x622 -x623 x624 -x625 -x626 x627 x628 -x629 -x630 x631 -x632 -x633 x634 -x635 x636 x637 x638 x639 -x640 x641 x642 x643 x644 -x645 -x646 x647 -x648 x649 x650 x651 x652 x653 -x654 x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 x663 -x664 x665 -x666 -x667 -x668 x669 -x670 -x671 x672 x673 -x674 -x675 x676 -x677 -x678 x679 -x680 x681 -x682 x683 -x684 x685 -x686 -x687 -x688 x689 -x690 x691 x692 x693 x694 x695 -x696 x697 -x698 -x699 x700 -x701 x702 -x703 -x704 -x705 x706 -x707 -x708 x709 -x710 -x711 x712 -x713 -x714 x715 x716 -x717 x718 x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 -x730 -x731 x732 x733 x734 x735 x736 x737 -x738 -x739 x740 -x741 -x742 x743 -x744 x745 x746 x747 x748 x749 -x750
3600.03/3611.10 v -x751 x752 -x753 x754 x755 -x756 -x757 -x758 x759 x760 x761 -x762 -x763 x764 x765 x766 x767 -x768 -x769 -x770 -x771 x772 x773 -x774 x775 x776 -x777 -x778 x779 x780 x781 x782 -x783 x784 -x785 x786 -x787 x788 x789 x790 -x791 x792 -x793 x794 -x795 x796 -x797 -x798 -x799 x800 x801 x802 -x803 -x804 x805 x806 -x807 x808 x809 -x810 -x811 x812 -x813 x814 x815 x816 x817 -x818 x819 x820 x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 x829 x830 -x831 -x832 x833 -x834 x835 x836 -x837 -x838 -x839 x840 -x841 x842 x843 -x844 x845 x846 x847 x848 -x849 -x850 x851 -x852 x853 x854 x855 -x856 x857 -x858 x859 -x860 -x861 x862 x863 x864 -x865 -x866 x867 x868 x869 -x870 x871 x872 -x873 -x874 -x875 x876 x877 x878 -x879 -x880 x881 -x882 -x883 x884 -x885 x886 -x887 -x888 x889 -x890 x891 x892 x893 -x894 -x895 x896 -x897 -x898 -x899 x900 -x901 x902 -x903 x904 -x905 -x906 x907 x908 x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 x917 -x918 x919 x920 x921 -x922 -x923 x924 -x925 -x926 x927 x928 x929 -x930 -x931 -x932 x933 x934 x935 -x936 -x937 -x938 x939 x940 x941 x942 x943 x944 x945 -x946 x947 -x948 x949 x950 -x951 x952 x953 x954 -x955 x956 -x957 -x958 -x959 x960 x961 x962 -x963 -x964 -x965 -x966 x967 x968 x969 -x970 x971 -x972 x973 x974 x975 -x976 -x977 -x978 x979 x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 x991 x992 x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 x1009 x1010 x1011 -x1012 x1013 -x1014 x1015 x1016 x1017 -x1018 x1019 x1020 x1021 -x1022 x1023 -x1024 x1025 x1026 -x1027 x1028 x1029 -x1030 x1031 x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 x1039 -x1040 -x1041 x1042 x1043 -x1044 x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 x1052 x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 x1065 x1066 -x1067 x1068 -x1069 x1070 x1071 x1072 x1073 x1074 x1075 x1076 x1077 x1078 -x1079 x1080 x1081 -x1082 x1083 x1084 -x1085 -x1086 -x1087 -x1088 x1089 x1090 -x1091 x1092 x1093 x1094 -x1095 x1096 x1097
3600.03/3611.10 v -x1098 -x1099 -x1100 -x1101 x1102 x1103 x1104 -x1105 -x1106 x1107 x1108 x1109 -x1110 x1111 -x1112 x1113 x1114 -x1115 -x1116 x1117 -x1118 x1119 x1120 x1121 x1122 x1123 x1124 -x1125 x1126 x1127 -x1128 x1129 x1130 x1131 x1132 -x1133 x1134 -x1135 -x1136 x1137 -x1138 x1139 x1140 -x1141 x1142 x1143 x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 x1156 x1157 -x1158 -x1159 x1160 x1161 -x1162 -x1163 x1164 x1165 x1166 x1167 x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 x1192 -x1193 -x1194 x1195 -x1196 x1197 x1198 x1199 x1200 -x1201 -x1202 -x1203 x1204 x1205 x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 x1227 x1228 -x1229 x1230 -x1231 x1232 x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 x1244 x1245 -x1246 -x1247 -x1248 x1249 x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 x1257 -x1258 x1259 -x1260 x1261 x1262 x1263 x1264 -x1265 x1266 -x1267 -x1268 x1269 x1270 -x1271 -x1272 x1273 x1274 -x1275 x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 x1283 -x1284 x1285 x1286 x1287 -x1288 x1289 x1290 -x1291 -x1292 x1293 x1294 -x1295 x1296 x1297 x1298 x1299 -x1300 x1301 -x1302 x1303 x1304 x1305 -x1306 x1307 x1308 x1309 -x1310 x1311 x1312 -x1313 -x1314 x1315 x1316 x1317 x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 x1326 -x1327 -x1328 x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 x1347 x1348 -x1349 x1350 -x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 x1372 x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 x1389 -x1390 x1391 x1392 -x1393 x1394 -x1395 -x1396 x1397 x1398 -x1399 -x1400 -x1401 x1402 x1403 -x1404 -x1405 -x1406
3600.03/3611.10 v -x1407 -x1408 -x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 -x1417 x1418 x1419 -x1420 -x1421 x1422 x1423 -x1424 x1425 x1426 -x1427 -x1428 x1429 x1430 -x1431 x1432 x1433 -x1434 x1435 x1436 -x1437 -x1438 -x1439 x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 x1447 x1448 -x1449 x1450 x1451 -x1452 x1453 -x1454 x1455 -x1456 -x1457 x1458 -x1459 x1460 -x1461 x1462 x1463 x1464 x1465 x1466 -x1467 x1468 -x1469 x1470 x1471 -x1472 -x1473 x1474 -x1475 x1476 -x1477 -x1478 x1479 x1480 x1481 -x1482 x1483 -x1484 x1485 x1486 -x1487 x1488 -x1489 -x1490 x1491 -x1492 x1493 x1494 x1495 x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 x1514 x1515 x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 x1523 x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 x1538 x1539 -x1540 -x1541 x1542 x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 x1551 x1552 x1553 -x1554 x1555 -x1556 -x1557 x1558 -x1559 -x1560 x1561 x1562 x1563 -x1564 x1565 -x1566 -x1567 x1568 x1569 -x1570 x1571 x1572 x1573 -x1574 x1575 x1576 -x1577 -x1578 x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 x1588 -x1589 x1590 x1591 x1592 -x1593 x1594 -x1595 x1596 -x1597 x1598 x1599 x1600 x1601 x1602 -x1603 -x1604 x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 x1612 x1613 -x1614 x1615 x1616 x1617 -x1618 -x1619 -x1620 x1621 -x1622 x1623 -x1624 x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 x1639 -x1640 x1641 -x1642 x1643 x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 x1661 x1662 -x1663 x1664 x1665 x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 x1678 x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 x1695 x1696 -x1697 -x1698 x1699 x1700 -x1701 -x1702 x1703 -x1704 x1705 x1706 x1707 x1708 x1709 -x1710 x1711 -x1712 x1713
3600.03/3611.10 v -x1714 x1715 x1716 x1717 -x1718 x1719 x1720 -x1721 x1722 x1723 -x1724 -x1725 x1726 x1727 x1728 -x1729 x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 x1737 x1738 x1739 x1740 x1741 x1742 -x1743 -x1744 x1745 x1746 -x1747 -x1748 x1749 -x1750 x1751 -x1752 -x1753 x1754 -x1755 -x1756 x1757 x1758 -x1759 x1760 -x1761 x1762 -x1763 -x1764 x1765 x1766 -x1767 -x1768 x1769 -x1770 x1771 x1772 -x1773 -x1774 x1775 x1776 x1777 -x1778 x1779 x1780 x1781 x1782 x1783 -x1784 x1785 -x1786 -x1787 x1788 -x1789 -x1790 x1791 x1792 -x1793 x1794 -x1795 x1796 -x1797 x1798 x1799 x1800 -x1801 x1802 -x1803 x1804 -x1805 x1806 -x1807 -x1808 x1809 -x1810 x1811 x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 x1820 x1821 -x1822 x1823 x1824 x1825 x1826 -x1827 x1828 -x1829 x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 -x1837 -x1838 x1839 x1840 -x1841 -x1842 x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 x1865 x1866 -x1867 x1868 -x1869 x1870 x1871 x1872 -x1873 -x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 -x1883 x1884 x1885 -x1886 x1887 x1888 x1889 -x1890 x1891 x1892 -x1893 x1894 x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 x1914 x1915 x1916 -x1917 x1918 -x1919 x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 x1929 x1930 x1931 -x1932 x1933 -x1934 x1935 x1936 x1937 -x1938 x1939 x1940 x1941 x1942 -x1943 x1944 x1945 -x1946 x1947 x1948 x1949 x1950 x1951 x1952 x1953 x1954 x1955 -x1956 -x1957 x1958 x1959 -x1960 x1961 -x1962 x1963
3600.03/3611.10 o 1041
3600.03/3611.10 s SATISFIABLE
3600.03/3611.19 c received SIGTERM, forwarding to pbsolver...
3600.03/3611.19 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60107 MiB free)
memory of node 1: 64507 MiB (63689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530149-1752252699/watcher-4530149-1752252699 -o /tmp/evaluation-result-4530149-1752252699/solver-4530149-1752252699 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752252699-122178 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530149-1752252699.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=122239, runsolver pid=122230
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 3.62 3.99 4.06 4/268 122252
/proc/meminfo: memFree=126751324/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=60368 memory=22272 CPUtime=0.03 cores=1,3
/proc/122252/stat : 122252 (python3) D 122239 122239 121386 0 -1 4194304 2749 0 1 0 3 0 0 0 20 0 1 0 140949465 61816832 5568 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 2 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 15092 5568 3264 1 0 3808 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 64560 KiB
Current children cumulated memory: 25344 KiB
[startup+0.205736 s]*
/proc/loadavg: 3.62 3.99 4.06 2/268 122252
/proc/meminfo: memFree=126751676/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=75480 memory=24448 CPUtime=0.04 cores=1,3
/proc/122252/stat : 122252 (python3) D 122239 122239 121386 0 -1 4194304 2892 0 4 0 3 1 0 0 20 0 1 0 140949465 77291520 6112 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 2 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 18870 6112 3680 1 0 3893 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 79672 KiB
Current children cumulated memory: 27520 KiB
[startup+0.305371 s]*
/proc/loadavg: 3.62 3.99 4.06 2/268 122252
/proc/meminfo: memFree=126750592/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=82716 memory=24832 CPUtime=0.04 cores=1,3
/proc/122252/stat : 122252 (python3) D 122239 122239 121386 0 -1 4194304 2920 0 9 0 3 1 0 0 20 0 1 0 140949465 84701184 6208 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 2 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 20679 6208 3776 1 0 3904 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 86908 KiB
Current children cumulated memory: 27904 KiB
[startup+0.70017 s]
/proc/loadavg: 3.62 3.99 4.06 6/269 122253
/proc/meminfo: memFree=126734876/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1194124 memory=38472 CPUtime=0.11 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 4935 0 39 0 9 2 0 0 20 0 1 0 140949465 1222782976 9618 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 298531 9618 5432 1 0 269889 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 1198316 KiB
Current children cumulated memory: 41544 KiB
[startup+1.50015 s]
/proc/loadavg: 3.62 3.99 4.06 6/269 122253
/proc/meminfo: memFree=126622248/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1228416 memory=77896 CPUtime=0.87 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 12482 0 70 0 84 3 0 0 20 0 1 0 140949465 1257897984 19474 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 307104 19474 7992 1 0 278462 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 1232608 KiB
Current children cumulated memory: 80968 KiB
[startup+3.10554 s]
/proc/loadavg: 3.73 4.01 4.06 6/269 122253
/proc/meminfo: memFree=126548356/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1242040 memory=90312 CPUtime=2.48 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 15585 0 70 0 244 4 0 0 20 0 1 0 140949465 1271848960 22578 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 310510 22578 7992 1 0 281868 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 1246232 KiB
Current children cumulated memory: 93384 KiB
heavy processes:
[startup+6.30013 s]
/proc/loadavg: 3.73 4.01 4.06 6/269 122253
/proc/meminfo: memFree=126412324/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1273180 memory=120392 CPUtime=5.66 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 23106 0 70 0 561 5 0 0 20 0 1 0 140949465 1303736320 30098 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 318295 30098 7992 1 0 289653 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 1277372 KiB
Current children cumulated memory: 123464 KiB
[startup+12.7001 s]
/proc/loadavg: 3.75 4.01 4.06 6/269 122253
/proc/meminfo: memFree=126202788/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1312088 memory=157572 CPUtime=12.05 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 32650 0 70 0 1198 7 0 0 20 0 1 0 140949465 1343578112 39393 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 328022 39393 7992 1 0 299380 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 1316280 KiB
Current children cumulated memory: 160644 KiB
[startup+25.5002 s]
/proc/loadavg: 3.81 4.00 4.06 6/269 122253
/proc/meminfo: memFree=126194720/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1312088 memory=157828 CPUtime=24.8 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 32723 0 70 0 2473 7 0 0 20 0 1 0 140949465 1343578112 39457 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 328022 39457 7992 1 0 299380 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 1316280 KiB
Current children cumulated memory: 160900 KiB
[startup+51.1056 s]
/proc/loadavg: 3.87 4.00 4.06 6/269 122254
/proc/meminfo: memFree=126018792/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1370884 memory=212968 CPUtime=50.32 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 47384 0 70 0 5022 10 0 0 20 0 1 0 140949465 1403785216 53242 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 342721 53242 7992 1 0 314079 0
Current children cumulated CPU time: 50.32 s
Current children cumulated vsize: 1375076 KiB
Current children cumulated memory: 216040 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 4.02 4.06 6/269 122256
/proc/meminfo: memFree=125828224/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1381144 memory=222548 CPUtime=101.35 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 52694 0 70 0 10124 11 0 0 20 0 1 0 140949465 1414291456 55637 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 345286 55637 7992 1 0 316644 0
Current children cumulated CPU time: 101.35 s
Current children cumulated vsize: 1385336 KiB
Current children cumulated memory: 225620 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.03 4.06 6/269 122258
/proc/meminfo: memFree=125658744/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1443824 memory=276744 CPUtime=161.15 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 68048 0 70 0 16102 13 0 0 20 0 1 0 140949465 1478475776 69186 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 360956 69186 7992 1 0 332314 0
Current children cumulated CPU time: 161.15 s
Current children cumulated vsize: 1448016 KiB
Current children cumulated memory: 279816 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.05 4.06 6/269 122260
/proc/meminfo: memFree=125499644/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1455964 memory=287812 CPUtime=220.95 cores=1,3
/proc/122252/stat : 122252 (python3) R 122239 122239 121386 0 -1 4194304 71137 0 70 0 22081 14 0 0 20 0 1 0 140949465 1490907136 71953 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 363991 71953 7992 1 0 335349 0
Current children cumulated CPU time: 220.95 s
################
# More data... #
################
[pid=122313] ppid=122252 vsize=228044 memory=219148 CPUtime=2215.05 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 98026 0 0 0 221386 119 0 0 20 0 1 0 141049538 233517056 54787 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 57011 54787 608 696 0 56172 0
Current children cumulated CPU time: 3212.28 s
Current children cumulated vsize: 1750692 KiB
Current children cumulated memory: 594552 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/273 122429
/proc/meminfo: memFree=124225680/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=229088 memory=220140 CPUtime=2274.89 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 99096 0 0 0 227368 121 0 0 20 0 1 0 141049538 234586112 55035 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 57272 55035 608 696 0 56433 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 1751736 KiB
Current children cumulated memory: 595544 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/272 122431
/proc/meminfo: memFree=124224460/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=229536 memory=220588 CPUtime=2334.72 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 99943 0 0 0 233350 122 0 0 20 0 1 0 141049538 235044864 55147 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 57384 55147 608 696 0 56545 0
Current children cumulated CPU time: 3331.95 s
Current children cumulated vsize: 1752184 KiB
Current children cumulated memory: 595992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.66 4.25 4.14 6/272 122433
/proc/meminfo: memFree=124296860/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=229548 memory=220600 CPUtime=2394.56 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 101448 0 0 0 239332 124 0 0 20 0 1 0 141049538 235057152 55150 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 57387 55150 608 696 0 56548 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 1752196 KiB
Current children cumulated memory: 596004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.24 4.15 6/272 122435
/proc/meminfo: memFree=124316064/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=229864 memory=220916 CPUtime=2454.4 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 101743 0 0 0 245315 125 0 0 20 0 1 0 141049538 235380736 55229 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 57466 55229 608 696 0 56627 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 1752512 KiB
Current children cumulated memory: 596320 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.28 4.17 6/272 122437
/proc/meminfo: memFree=124291324/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=236516 memory=234828 CPUtime=2514.24 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 103562 0 0 0 251297 127 0 0 20 0 1 0 141049538 242192384 58707 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 59129 58707 608 696 0 58290 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 1759164 KiB
Current children cumulated memory: 610232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.54 4.36 4.20 6/271 122439
/proc/meminfo: memFree=124267764/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=236272 memory=234584 CPUtime=2574.08 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 104800 0 0 0 257279 129 0 0 20 0 1 0 141049538 241942528 58646 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 59068 58646 608 696 0 58229 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 1758920 KiB
Current children cumulated memory: 609988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.33 4.32 4.19 4/261 122452
/proc/meminfo: memFree=125505048/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=236676 memory=234988 CPUtime=2602.8 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 105041 0 0 0 260151 129 0 0 20 0 1 0 141049538 242356224 58747 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 59169 58747 608 696 0 58330 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1759324 KiB
Current children cumulated memory: 610392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 122239 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002621 s, system=0.005641 s
[startup+3611.21 s]
# the end of solver process 122252 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.67 s, system=1.49817 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.33 4.32 4.19 4/261 122452
/proc/meminfo: memFree=125505048/131249996 swapFree=33005016/33010684
[pid=122239] ppid=122230 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/122239/stat : 122239 (scip-naps-1.00a) S 122230 122239 121386 0 -1 4194304 256 340 0 0 0 0 0 0 20 0 1 0 140949461 4292608 768 18446744073709551615 94571827630080 94571828524613 140730018127328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94571828763664 94571828811408 94571853271040 140730018130331 140730018130430 140730018130430 140730018136034 0
/proc/122239/statm: 1048 768 704 219 0 110 0
[pid=122252] ppid=122239 vsize=1518456 memory=372332 CPUtime=997.23 cores=1,3
/proc/122252/stat : 122252 (python3) S 122239 122239 121386 0 -1 4194304 92135 0 72 0 99705 18 0 0 20 0 1 0 140949465 1554898944 93083 18446744073709551615 94364454555648 94364454556025 140726446538576 0 0 0 0 16781312 16386 1 0 0 17 1 0 0 0 0 0 94364454567320 94364454567940 94364484001792 140726446545246 140726446545440 140726446545440 140726446551015 0
/proc/122252/statm: 379614 93083 8056 1 0 350972 0
[pid=122313] ppid=122252 vsize=236676 memory=234988 CPUtime=2602.8 cores=1,3
/proc/122313/stat : 122313 (naps-1.03a6) R 122252 122313 122313 0 -1 4194304 105041 0 0 0 260151 129 0 0 20 0 1 0 141049538 242356224 58747 18446744073709551615 4198400 7047149 140734943875936 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 18186240 140734943881587 140734943881713 140734943881713 140734943887305 0
/proc/122313/statm: 59169 58747 608 696 0 58330 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1759324 KiB
Current children cumulated memory: 610392 KiB
Child status: 0
Real time (s): 3611.21
CPU time (s): 3600.17
CPU user time (s): 3598.67
CPU system time (s): 1.49817
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 1963092
Max. memory (cumulated for all children) (KiB): 809400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.67
system time used= 1.49817
maximum resident set size= 433996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200473
page faults= 72
swaps= 0
block input operations= 4704
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 856
involuntary context switches= 3302
# summary of solver processes directly reported to runsolver:
# pid: 122239,122252
# total CPU time (s): 3600.17
# total CPU user time (s): 3598.67
# total CPU system time (s): 1.49817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53951 second user time and 17.138 second system time
The end