58.13/58.48 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4486161-1751288387.opb
58.13/58.48 c Solving mode: optimization
58.13/58.48 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
58.13/58.48 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
58.13/58.48 c original problem has 4600 variables (4600 bin, 0 int, 0 impl, 0 cont) and 310 constraints
58.13/58.48 c presolving:
58.13/58.48 c (round 1, fast) 0 del vars, 0 del conss, 64 add conss, 0 chg bounds, 159 chg sides, 3068 chg coeffs, 0 upgd conss, 0 impls, 46 clqs
58.13/58.48 c (round 2, exhaustive) 0 del vars, 0 del conss, 64 add conss, 0 chg bounds, 159 chg sides, 3068 chg coeffs, 310 upgd conss, 0 impls, 46 clqs
58.13/58.48 c (round 3, medium) 0 del vars, 0 del conss, 104 add conss, 0 chg bounds, 1059 chg sides, 4084 chg coeffs, 310 upgd conss, 0 impls, 1202 clqs
58.13/58.48 c (round 4, fast) 0 del vars, 0 del conss, 104 add conss, 0 chg bounds, 1079 chg sides, 4104 chg coeffs, 310 upgd conss, 0 impls, 1202 clqs
58.13/58.48 c (round 5, exhaustive) 0 del vars, 0 del conss, 104 add conss, 0 chg bounds, 1079 chg sides, 4168 chg coeffs, 310 upgd conss, 0 impls, 1202 clqs
58.13/58.48 c (round 6, exhaustive) 0 del vars, 20 del conss, 104 add conss, 0 chg bounds, 1079 chg sides, 4168 chg coeffs, 310 upgd conss, 0 impls, 1222 clqs
58.13/58.48 c (0.2s) probing: 51/4600 (1.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
58.13/58.48 c (0.2s) probing aborted: 50/50 successive totally useless probings
58.13/58.48 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
58.13/58.48 c (0.2s) no symmetry present (symcode time: 0.00)
58.13/58.48 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
58.13/58.48 c 0 deleted vars, 20 deleted constraints, 104 added constraints, 0 tightened bounds, 0 added holes, 1079 changed sides, 4168 changed coefficients
58.13/58.48 c 0 implications, 1222 cliques
58.13/58.48 c presolved problem has 4600 variables (4600 bin, 0 int, 0 impl, 0 cont) and 394 constraints
58.13/58.48 c 246 constraints of type <knapsack>
58.13/58.48 c 20 constraints of type <setppc>
58.13/58.48 c 64 constraints of type <linear>
58.13/58.48 c 64 constraints of type <logicor>
58.13/58.48 c transformed objective value is always integral (scale: 1)
58.13/58.48 c Presolving Time: 0.23
58.13/58.48 c
58.13/58.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.13/58.48 c 0.4s| 1 | 0 | 724 | - | 54M | 0 |4600 | 394 | 394 | 0 | 0 | 0 | 0 | 5.102836e+06 | -- | Inf | unknown
58.13/58.48 c (node 1) numerical troubles in LP 10 -- unresolved
58.13/58.48 c 1.1s| 1 | 0 | 3485 | - | 58M | 0 |4600 | 394 | 475 | 81 | 1 | 0 | 0 | 5.418329e+06 | -- | Inf | unknown
58.13/58.48 c (node 1) unresolved numerical troubles in LP 14 -- using pseudo solution instead (loop 1)
58.13/58.48 c 1.3s| 1 | 2 | 4845 | - | 61M | 0 |4600 | 394 | 548 | 154 | 2 | 0 | 0 | 5.418329e+06 | -- | Inf | unknown
58.13/58.48 c 10.3s| 100 | 99 |119489 |1158.0 | 65M | 21 |4600 | 421 | 797 |1028 | 1 | 27 | 0 | 5.528216e+06 | -- | Inf | 3.12%
58.13/58.48 c 18.7s| 200 | 199 |207051 |1016.1 | 67M | 28 |4600 | 427 | 866 |2248 | 0 | 33 | 0 | 5.528216e+06 | -- | Inf | 3.12%
58.13/58.48 c 22.5s| 300 | 299 |251243 | 824.1 | 68M | 101 |4600 | 431 | 988 |2584 | 1 | 37 | 0 | 5.528216e+06 | -- | Inf | 3.12%
58.13/58.48 c 26.4s| 400 | 399 |312654 | 771.5 | 68M | 131 |4600 | 433 |1042 |2696 | 0 | 39 | 0 | 5.528216e+06 | -- | Inf | 3.12%
58.13/58.48 c 30.3s| 500 | 499 |347356 | 686.4 | 68M | 154 |4600 | 433 |1066 |2786 | 1 | 39 | 0 | 5.528216e+06 | -- | Inf | 3.12%
58.13/58.48 c 33.3s| 600 | 599 |386449 | 637.1 | 69M | 155 |4600 | 433 | 814 |3257 | 0 | 39 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 35.7s| 700 | 699 |418813 | 592.2 | 70M | 155 |4600 | 433 |1042 |3654 | 1 | 39 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 37.5s| 800 | 799 |441710 | 546.8 | 70M | 155 |4600 | 439 |1092 |3820 | 1 | 45 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 41.1s| 900 | 899 |513105 | 565.4 | 70M | 155 |4600 | 439 | 924 |4058 | 1 | 45 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 45.8s| 1000 | 999 |591093 | 586.8 | 70M | 155 |4600 | 439 |1026 |4254 | 1 | 45 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 49.1s| 1100 | 1099 |645920 | 583.3 | 71M | 155 |4600 | 439 |1039 |4410 | 0 | 45 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 50.0s| 1200 | 1199 |661113 | 547.3 | 71M | 181 |4600 | 439 |1105 |4489 | 1 | 45 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.13/58.48 c 50.2s| 1300 | 1299 |662332 | 506.1 | 72M | 257 |4600 | 441 |1098 |4511 | 1 | 47 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 50.6s| 1400 | 1399 |667816 | 473.9 | 72M | 257 |4600 | 441 |1125 |4539 | 0 | 47 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 50.9s| 1500 | 1493 |670433 | 444.0 | 72M | 349 |4600 | 447 |1128 |4543 | 1 | 53 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 51.3s| 1600 | 1589 |676793 | 420.2 | 73M | 403 |4600 | 454 |1131 |4552 | 1 | 60 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 51.5s| 1700 | 1689 |676986 | 395.6 | 73M | 403 |4600 | 454 |1132 |4553 | 1 | 60 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 51.8s| 1800 | 1785 |678866 | 374.7 | 73M | 433 |4600 | 471 |1127 |4556 | 1 | 77 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 52.2s| 1900 | 1885 |688514 | 360.0 | 73M | 433 |4600 | 475 |1129 |4574 | 1 | 81 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 53.2s| 2000 | 1985 |708940 | 352.2 | 73M | 433 |4600 | 475 |1129 |4574 | 0 | 81 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 53.9s| 2100 | 2085 |723548 | 342.4 | 73M | 433 |4600 | 475 |1122 |4583 | 1 | 81 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 54.1s| 2200 | 2181 |724468 | 327.3 | 73M | 433 |4600 | 492 |1114 |4583 | 0 | 98 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 54.3s| 2300 | 2281 |728466 | 314.8 | 73M | 433 |4600 | 492 |1127 |4597 | 1 | 98 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 54.6s| 2400 | 2379 |731018 | 302.7 | 74M | 433 |4600 | 493 |1126 |4612 | 1 | 99 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 55.0s| 2500 | 2475 |736598 | 292.8 | 74M | 433 |4600 | 496 |1130 |4627 | 1 | 102 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 55.2s| 2600 | 2575 |736755 | 281.6 | 74M | 433 |4600 | 496 |1130 |4627 | 1 | 102 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c 55.8s| 2700 | 2675 |746291 | 274.7 | 74M | 433 |4600 | 503 |1128 |4648 | 1 | 109 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.13/58.49 c 56.0s| 2800 | 2773 |748019 | 265.5 | 74M | 433 |4600 | 504 |1130 |4650 | 1 | 110 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.49 c 56.4s| 2900 | 2873 |752942 | 258.1 | 74M | 433 |4600 | 513 |1122 |4656 | 1 | 119 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.49 c 56.9s| 3000 | 2971 |761462 | 252.3 | 75M | 433 |4600 | 514 |1126 |4661 | 1 | 120 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.49 c 57.2s| 3100 | 3067 |764889 | 245.3 | 75M | 433 |4600 | 524 |1116 |4661 | 0 | 130 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.49 c 57.5s| 3200 | 3167 |768818 | 238.8 | 75M | 433 |4600 | 524 |1122 |4669 | 1 | 130 | 0 | 5.652406e+06 | -- | Inf | 3.12%
58.13/58.49 c 57.7s| 3300 | 3263 |769007 | 231.6 | 75M | 433 |4600 | 529 |1122 |4669 | 1 | 135 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 58.1s| 3400 | 3361 |776219 | 226.9 | 76M | 433 |4600 | 532 |1122 |4686 | 1 | 139 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 58.3s| 3500 | 3461 |776643 | 220.6 | 76M | 433 |4600 | 532 |1123 |4687 | 1 | 139 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 58.6s| 3600 | 3561 |780583 | 215.5 | 76M | 433 |4600 | 540 |1116 |4694 | 1 | 147 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 59.0s| 3700 | 3661 |786726 | 211.4 | 76M | 433 |4600 | 542 |1123 |4708 | 1 | 149 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 59.2s| 3800 | 3759 |788129 | 206.2 | 76M | 433 |4600 | 544 |1122 |4716 | 1 | 151 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 59.7s| 3900 | 3856 |795679 | 202.8 | 76M | 433 |4600 | 546 |1123 |4727 | 1 | 153 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 60.4s| 4000 | 3956 |806636 | 200.5 | 76M | 433 |4600 | 544 |1122 |4733 | 0 | 153 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 61.0s| 4100 | 4056 |819987 | 198.9 | 76M | 433 |4600 | 546 |1123 |4739 | 1 | 155 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 61.2s| 4200 | 4154 |821992 | 194.6 | 76M | 433 |4600 | 547 |1124 |4740 | 1 | 156 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.33/83.79 c 61.9s| 4300 | 4249 |834390 | 193.0 | 76M | 433 |4600 | 552 |1126 |4752 | 2 | 161 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 62.1s| 4400 | 4349 |836505 | 189.1 | 77M | 433 |4600 | 552 |1128 |4754 | 1 | 161 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 62.3s| 4500 | 4449 |836638 | 184.9 | 78M | 433 |4600 | 552 |1128 |4754 | 1 | 161 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 62.5s| 4600 | 4549 |840594 | 181.7 | 78M | 433 |4600 | 552 |1128 |4762 | 1 | 161 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 63.5s| 4700 | 4649 |862807 | 182.6 | 78M | 433 |4600 | 552 |1128 |4762 | 0 | 161 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 63.9s| 4800 | 4749 |870896 | 180.5 | 78M | 433 |4600 | 552 |1125 |4767 | 1 | 161 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 64.1s| 4900 | 4849 |872142 | 177.0 | 78M | 433 |4600 | 561 |1121 |4769 | 1 | 170 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 64.8s| 5000 | 4947 |887491 | 176.6 | 79M | 433 |4600 | 567 |1123 |4771 | 1 | 176 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 65.1s| 5100 | 5043 |889754 | 173.5 | 79M | 433 |4600 | 572 |1149 |4825 | 1 | 181 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 65.6s| 5200 | 5143 |898650 | 171.9 | 79M | 433 |4600 | 580 |1155 |4879 | 1 | 189 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 65.8s| 5300 | 5243 |898887 | 168.7 | 79M | 433 |4600 | 580 |1156 |4880 | 1 | 189 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 66.3s| 5400 | 5343 |907920 | 167.3 | 79M | 433 |4600 | 582 |1147 |4904 | 1 | 191 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 66.5s| 5500 | 5443 |908552 | 164.3 | 80M | 433 |4600 | 582 |1148 |4905 | 1 | 191 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 67.1s| 5600 | 5541 |918064 | 163.1 | 81M | 433 |4600 | 583 |1142 |4923 | 1 | 192 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 67.3s| 5700 | 5641 |918504 | 160.3 | 81M | 433 |4600 | 583 |1145 |4927 | 1 | 192 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.33/83.79 c 67.6s| 5800 | 5741 |921664 | 158.1 | 81M | 433 |4600 | 587 |1140 |4941 | 1 | 197 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 67.8s| 5900 | 5841 |921957 | 155.5 | 81M | 433 |4600 | 587 |1147 |4948 | 1 | 197 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 68.0s| 6000 | 5941 |922089 | 152.9 | 81M | 433 |4600 | 587 |1148 |4949 | 1 | 197 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 68.8s| 6100 | 6041 |937200 | 152.9 | 81M | 433 |4600 | 606 |1131 |4983 | 1 | 217 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 69.4s| 6200 | 6141 |949753 | 152.4 | 81M | 433 |4600 | 611 |1140 |5004 | 1 | 222 | 0 | 5.652406e+06 | -- | Inf | 3.12%
83.33/83.79 c 70.9s| 6300 | 6239 |964026 | 152.3 | 81M | 433 |4600 | 611 | 662 |5120 | 1 | 222 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 72.7s| 6400 | 6333 |994856 | 154.7 | 82M | 433 |4600 | 631 | 755 |5278 | 1 | 242 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 72.9s| 6500 | 6431 |996538 | 152.6 | 82M | 433 |4600 | 632 |1120 |5312 | 0 | 243 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 73.4s| 6600 | 6529 | 1004k| 151.6 | 82M | 433 |4600 | 634 |1148 |5363 | 1 | 245 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 73.6s| 6700 | 6629 | 1005k| 149.3 | 82M | 433 |4600 | 634 |1150 |5365 | 1 | 245 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 74.4s| 6800 | 6729 | 1020k| 149.4 | 83M | 433 |4600 | 634 |1127 |5368 | 1 | 245 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 75.3s| 6900 | 6824 | 1041k| 150.3 | 83M | 433 |4600 | 638 |1137 |5382 | 1 | 251 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 75.5s| 7000 | 6924 | 1042k| 148.3 | 83M | 433 |4600 | 637 |1139 |5384 | 1 | 251 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 77.4s| 7100 | 7022 | 1069k| 150.0 | 84M | 433 |4600 | 641 | 867 |5858 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 77.8s| 7200 | 7120 | 1074k| 148.5 | 84M | 433 |4600 | 640 |1136 |5903 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.33/83.79 c 78.1s| 7300 | 7220 | 1074k| 146.5 | 84M | 433 |4600 | 640 |1142 |5909 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 78.4s| 7400 | 7320 | 1078k| 145.1 | 85M | 433 |4600 | 640 |1143 |5927 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 78.6s| 7500 | 7420 | 1080k| 143.4 | 85M | 433 |4600 | 640 |1151 |5936 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 79.0s| 7600 | 7520 | 1083k| 142.0 | 85M | 433 |4600 | 640 |1137 |5952 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 79.2s| 7700 | 7620 | 1084k| 140.2 | 85M | 433 |4600 | 640 |1146 |5962 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 79.4s| 7800 | 7720 | 1084k| 138.5 | 85M | 433 |4600 | 640 |1149 |5966 | 1 | 255 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 80.0s| 7900 | 7816 | 1097k| 138.4 | 85M | 433 |4600 | 643 |1142 |5988 | 1 | 258 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 80.2s| 8000 | 7916 | 1098k| 136.7 | 85M | 433 |4600 | 643 |1142 |5988 | 1 | 258 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 81.1s| 8100 | 8014 | 1113k| 136.9 | 86M | 433 |4600 | 643 |1144 |6020 | 1 | 259 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 81.4s| 8200 | 8114 | 1116k| 135.6 | 86M | 433 |4600 | 643 |1144 |6020 | 1 | 259 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 82.1s| 8300 | 8214 | 1129k| 135.5 | 86M | 433 |4600 | 650 |1139 |6044 | 1 | 266 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 82.3s| 8400 | 8312 | 1130k| 134.0 | 87M | 433 |4600 | 650 |1140 |6045 | 1 | 266 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 82.9s| 8500 | 8412 | 1144k| 134.1 | 87M | 433 |4600 | 649 |1143 |6072 | 1 | 266 | 0 | 5.658102e+06 | -- | Inf | 3.12%
83.33/83.79 c 83.0s| 8600 | 8512 | 1145k| 132.6 | 87M | 433 |4600 | 649 |1145 |6074 | 1 | 266 | 0 | 5.658102e+06 | -- | Inf | 3.12%
98.38/98.81 c 83.4s| 8700 | 8612 | 1149k| 131.6 | 87M | 433 |4600 | 651 |1137 |6091 | 2 | 268 | 0 | 5.658102e+06 | -- | Inf | 3.12%
98.38/98.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.38/98.81 c 83.6s| 8800 | 8712 | 1149k| 130.1 | 87M | 433 |4600 | 650 |1137 |6091 | 1 | 268 | 0 | 5.658102e+06 | -- | Inf | 3.12%
98.38/98.81 c 84.1s| 8900 | 8810 | 1159k| 129.8 | 88M | 433 |4600 | 652 |1122 |6091 | 0 | 270 | 0 | 5.658102e+06 | -- | Inf | 3.12%
98.38/98.81 c 84.5s| 9000 | 8910 | 1169k| 129.4 | 88M | 433 |4600 | 652 |1131 |6101 | 1 | 270 | 0 | 5.658102e+06 | -- | Inf | 3.12%
98.38/98.81 c 84.7s| 9100 | 9010 | 1169k| 128.0 | 88M | 433 |4600 | 651 |1131 |6101 | 1 | 270 | 0 | 5.658102e+06 | -- | Inf | 3.12%
98.38/98.81 c 86.1s| 9200 | 9106 | 1197k| 129.7 | 88M | 433 |4600 | 652 | 593 |6150 | 1 | 273 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 86.7s| 9300 | 9202 | 1210k| 129.7 | 88M | 433 |4600 | 667 |1141 |6263 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 88.4s| 9400 | 9302 | 1254k| 132.9 | 88M | 433 |4600 | 667 |1146 |6278 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 88.6s| 9500 | 9402 | 1254k| 131.5 | 90M | 433 |4600 | 666 |1147 |6279 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 89.5s| 9600 | 9502 | 1274k| 132.3 | 90M | 433 |4600 | 666 |1151 |6302 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 89.8s| 9700 | 9602 | 1274k| 131.0 | 90M | 433 |4600 | 665 |1155 |6306 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 90.3s| 9800 | 9702 | 1285k| 130.7 | 90M | 433 |4600 | 665 |1160 |6333 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c 90.5s| 9900 | 9802 | 1286k| 129.4 | 90M | 433 |4600 | 665 |1160 |6333 | 1 | 288 | 0 | 5.674765e+06 | -- | Inf | 3.13%
98.38/98.81 c d90.7s| 9941 | 6900 | 1286k| 129.0 |pscostdi| 433 |4600 | 677 |1160 | 0 | 1 | 301 | 0 | 5.674765e+06 | 8.620104e+09 | Large | 1.15%
98.38/98.81 c 91.6s| 10000 | 6959 | 1305k| 130.0 | 91M | 433 |4600 | 677 |1132 |6382 | 1 | 301 | 0 | 5.674765e+06 | 8.620104e+09 | Large | 1.15%
98.38/98.81 c L92.4s| 10041 | 3423 | 1323k| 131.3 | gins| 433 |4600 | 688 |1119 |6391 | 0 | 312 | 0 | 5.674765e+06 | 4.967690e+09 | Large | 1.15%
98.38/98.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.38/98.81 c i92.4s| 10041 | 3422 | 1323k| 131.3 | oneopt| 433 |4600 | 688 |1119 |6391 | 0 | 312 | 0 | 5.674765e+06 | 4.967076e+09 | Large | 1.15%
98.38/98.81 c 93.5s| 10100 | 3479 | 1352k| 133.4 | 92M | 433 |4600 | 696 |1137 |6420 | 2 | 320 | 0 | 5.674765e+06 | 4.967076e+09 | Large | 1.16%
98.38/98.81 c 95.9s| 10200 | 3577 | 1413k| 138.1 | 92M | 433 |4600 | 708 |1120 |6421 | 0 | 332 | 0 | 5.674765e+06 | 4.967076e+09 | Large | 1.16%
98.38/98.81 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
98.38/98.81 c L97.0s| 10241 | 1162 | 1441k| 140.3 | rins| 433 |4600 | 709 |1120 |6421 | 1 | 333 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| 26.77%
98.38/98.81 c (run 1, node 10241) performing user restart
98.38/98.81 c
98.38/98.81 c (restart) converted 153 cuts from the global cut pool into linear constraints
98.38/98.81 c
98.38/98.81 c presolving:
98.38/98.81 c (round 1, fast) 616 del vars, 97 del conss, 64 add conss, 616 chg bounds, 35 chg sides, 1469 chg coeffs, 0 upgd conss, 0 impls, 1386 clqs
98.38/98.81 c (round 2, medium) 616 del vars, 97 del conss, 64 add conss, 616 chg bounds, 261 chg sides, 1695 chg coeffs, 0 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 3, exhaustive) 616 del vars, 98 del conss, 64 add conss, 616 chg bounds, 262 chg sides, 1716 chg coeffs, 0 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 4, exhaustive) 616 del vars, 98 del conss, 64 add conss, 616 chg bounds, 262 chg sides, 1716 chg coeffs, 169 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 5, fast) 616 del vars, 162 del conss, 64 add conss, 616 chg bounds, 268 chg sides, 1923 chg coeffs, 169 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 6, medium) 616 del vars, 164 del conss, 71 add conss, 616 chg bounds, 268 chg sides, 1923 chg coeffs, 169 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 7, exhaustive) 616 del vars, 173 del conss, 71 add conss, 616 chg bounds, 268 chg sides, 1931 chg coeffs, 169 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 8, exhaustive) 616 del vars, 173 del conss, 71 add conss, 616 chg bounds, 268 chg sides, 1996 chg coeffs, 169 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c (round 9, exhaustive) 616 del vars, 174 del conss, 71 add conss, 616 chg bounds, 268 chg sides, 1996 chg coeffs, 169 upgd conss, 0 impls, 1561 clqs
98.38/98.81 c presolving (10 rounds: 10 fast, 8 medium, 6 exhaustive):
98.38/98.81 c 616 deleted vars, 174 deleted constraints, 71 added constraints, 616 tightened bounds, 0 added holes, 268 changed sides, 1996 changed coefficients
98.38/98.81 c 0 implications, 1561 cliques
98.38/98.81 c presolved problem has 3984 variables (3984 bin, 0 int, 0 impl, 0 cont) and 759 constraints
98.38/98.81 c 299 constraints of type <knapsack>
98.38/98.81 c 73 constraints of type <setppc>
98.38/98.81 c 132 constraints of type <linear>
98.38/98.81 c 255 constraints of type <logicor>
98.38/98.81 c transformed objective value is always integral (scale: 1)
98.38/98.81 c Presolving Time: 0.27
98.38/98.81 c transformed 1/4 original solutions to the transformed problem space
98.38/98.81 c
98.38/98.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.38/98.81 c 97.1s| 1 | 0 | 1442k| - | 82M | 0 |3984 | 783 | 575 | 0 | 0 | 333 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| unknown
98.38/98.81 c 97.1s| 1 | 0 | 1442k| - | 82M | 0 |3984 | 786 | 575 | 0 | 0 | 336 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| unknown
98.38/98.81 c 97.3s| 1 | 0 | 1442k| - | 83M | 0 |3984 | 786 | 647 | 72 | 1 | 336 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| unknown
98.38/98.81 c 97.3s| 1 | 0 | 1442k| - | 83M | 0 |3984 | 786 | 647 | 72 | 1 | 336 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| unknown
98.38/98.81 c 97.4s| 1 | 0 | 1443k| - | 83M | 0 |3984 | 786 | 729 | 154 | 2 | 336 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| unknown
98.38/98.81 c 97.4s| 1 | 0 | 1443k| - | 83M | 0 |3984 | 786 | 729 | 154 | 2 | 336 | 0 | 5.674765e+06 | 1.748749e+07 | 208.16%| unknown
98.38/98.81 c 97.5s| 1 | 0 | 1443k| - | 85M | 0 |3984 | 786 | 805 | 230 | 3 | 336 | 0 | 5.714670e+06 | 1.748749e+07 | 206.01%| unknown
98.38/98.81 c 97.5s| 1 | 0 | 1443k| - | 85M | 0 |3984 | 785 | 805 | 230 | 3 | 336 | 0 | 5.714670e+06 | 1.748749e+07 | 206.01%| unknown
98.38/98.81 c 97.6s| 1 | 0 | 1443k| - | 87M | 0 |3984 | 785 | 891 | 316 | 4 | 336 | 0 | 5.724594e+06 | 1.748749e+07 | 205.48%| unknown
98.38/98.81 c 97.7s| 1 | 0 | 1444k| - | 90M | 0 |3984 | 782 | 981 | 406 | 5 | 336 | 0 | 5.729790e+06 | 1.748749e+07 | 205.20%| unknown
98.38/98.81 c 97.7s| 1 | 0 | 1444k| - | 90M | 0 |3984 | 781 | 981 | 406 | 5 | 336 | 0 | 5.729790e+06 | 1.748749e+07 | 205.20%| unknown
98.38/98.81 c 97.9s| 1 | 0 | 1445k| - | 91M | 0 |3984 | 781 |1069 | 494 | 6 | 336 | 0 | 5.774406e+06 | 1.748749e+07 | 202.84%| unknown
98.38/98.81 c 97.9s| 1 | 0 | 1445k| - | 91M | 0 |3984 | 781 |1069 | 494 | 6 | 336 | 0 | 5.774406e+06 | 1.748749e+07 | 202.84%| unknown
98.38/98.81 c 98.1s| 1 | 0 | 1445k| - | 95M | 0 |3984 | 781 |1158 | 583 | 7 | 336 | 0 | 5.791821e+06 | 1.748749e+07 | 201.93%| unknown
98.38/98.81 c 98.1s| 1 | 0 | 1445k| - | 95M | 0 |3984 | 779 |1158 | 583 | 7 | 336 | 0 | 5.791821e+06 | 1.748749e+07 | 201.93%| unknown
98.38/98.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.38/98.81 c 98.2s| 1 | 0 | 1446k| - | 98M | 0 |3984 | 779 |1240 | 665 | 8 | 336 | 0 | 5.812191e+06 | 1.748749e+07 | 200.88%| unknown
98.38/98.81 c 98.4s| 1 | 0 | 1446k| - | 102M | 0 |3984 | 779 |1181 | 750 | 9 | 336 | 0 | 5.822073e+06 | 1.748749e+07 | 200.37%| unknown
107.85/108.34 c 98.4s| 1 | 0 | 1446k| - | 102M | 0 |3984 | 775 |1181 | 750 | 9 | 336 | 0 | 5.822073e+06 | 1.748749e+07 | 200.37%| unknown
107.85/108.34 c 98.6s| 1 | 0 | 1447k| - | 103M | 0 |3984 | 775 |1268 | 837 | 10 | 336 | 0 | 5.843011e+06 | 1.748749e+07 | 199.29%| unknown
107.85/108.34 c 98.6s| 1 | 0 | 1447k| - | 103M | 0 |3984 | 779 |1268 | 837 | 10 | 341 | 0 | 5.843011e+06 | 1.748749e+07 | 199.29%| unknown
107.85/108.34 c 98.8s| 1 | 0 | 1448k| - | 104M | 0 |3984 | 779 |1359 | 928 | 11 | 341 | 0 | 5.866358e+06 | 1.748749e+07 | 198.10%| unknown
107.85/108.34 c 98.8s| 1 | 0 | 1448k| - | 104M | 0 |3984 | 779 |1359 | 928 | 11 | 341 | 0 | 5.866358e+06 | 1.748749e+07 | 198.10%| unknown
107.85/108.34 c 98.9s| 1 | 0 | 1448k| - | 105M | 0 |3984 | 779 |1445 |1014 | 12 | 341 | 0 | 5.871391e+06 | 1.748749e+07 | 197.84%| unknown
107.85/108.34 c 99.1s| 1 | 0 | 1449k| - | 108M | 0 |3984 | 778 |1527 |1096 | 13 | 341 | 0 | 5.910073e+06 | 1.748749e+07 | 195.89%| unknown
107.85/108.34 c 99.1s| 1 | 0 | 1449k| - | 108M | 0 |3984 | 772 |1527 |1096 | 13 | 341 | 0 | 5.910073e+06 | 1.748749e+07 | 195.89%| unknown
107.85/108.34 c 99.3s| 1 | 0 | 1450k| - | 109M | 0 |3984 | 772 |1472 |1177 | 14 | 341 | 0 | 5.939563e+06 | 1.748749e+07 | 194.42%| unknown
107.85/108.34 c 99.3s| 1 | 0 | 1450k| - | 109M | 0 |3984 | 768 |1472 |1177 | 14 | 341 | 0 | 5.939563e+06 | 1.748749e+07 | 194.42%| unknown
107.85/108.34 c 99.4s| 1 | 0 | 1451k| - | 110M | 0 |3984 | 768 |1556 |1261 | 15 | 341 | 0 | 5.961152e+06 | 1.748749e+07 | 193.36%| unknown
107.85/108.34 c 99.6s| 1 | 0 | 1451k| - | 112M | 0 |3984 | 767 |1636 |1341 | 16 | 341 | 0 | 5.967836e+06 | 1.748749e+07 | 193.03%| unknown
107.85/108.34 c 99.6s| 1 | 0 | 1451k| - | 112M | 0 |3984 | 764 |1636 |1341 | 16 | 341 | 0 | 5.967836e+06 | 1.748749e+07 | 193.03%| unknown
107.85/108.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
107.85/108.34 c 99.8s| 1 | 0 | 1452k| - | 113M | 0 |3984 | 764 |1718 |1423 | 17 | 341 | 0 | 5.974877e+06 | 1.748749e+07 | 192.68%| unknown
107.85/108.34 c 99.9s| 1 | 0 | 1452k| - | 114M | 0 |3984 | 762 |1798 |1503 | 18 | 341 | 0 | 5.983749e+06 | 1.748749e+07 | 192.25%| unknown
107.85/108.34 c 100s| 1 | 0 | 1453k| - | 116M | 0 |3984 | 761 |1879 |1584 | 19 | 341 | 0 | 5.985942e+06 | 1.748749e+07 | 192.14%| unknown
107.85/108.34 c 100s| 1 | 0 | 1454k| - | 116M | 0 |3984 | 759 |1722 |1662 | 20 | 341 | 0 | 5.994067e+06 | 1.748749e+07 | 191.75%| unknown
107.85/108.34 c 100s| 1 | 0 | 1454k| - | 116M | 0 |3984 | 759 |1722 |1662 | 20 | 341 | 0 | 5.994067e+06 | 1.748749e+07 | 191.75%| unknown
107.85/108.34 c 102s| 1 | 0 | 1464k| - | 118M | 0 |3984 | 759 |1801 |1741 | 21 | 341 | 0 | 6.011799e+06 | 1.748749e+07 | 190.89%| unknown
107.85/108.34 c 102s| 1 | 0 | 1464k| - | 118M | 0 |3984 | 758 |1878 |1818 | 22 | 341 | 0 | 6.012956e+06 | 1.748749e+07 | 190.83%| unknown
107.85/108.34 c 102s| 1 | 0 | 1466k| - | 118M | 0 |3984 | 758 |1958 |1898 | 23 | 341 | 0 | 6.073979e+06 | 1.748749e+07 | 187.91%| unknown
107.85/108.34 c 102s| 1 | 0 | 1467k| - | 120M | 0 |3984 | 757 |1920 |1976 | 24 | 341 | 0 | 6.086700e+06 | 1.748749e+07 | 187.31%| unknown
107.85/108.34 c 103s| 1 | 0 | 1468k| - | 122M | 0 |3984 | 755 |1995 |2051 | 25 | 341 | 0 | 6.115898e+06 | 1.748749e+07 | 185.93%| unknown
107.85/108.34 c 103s| 1 | 0 | 1469k| - | 125M | 0 |3984 | 755 |2070 |2126 | 26 | 341 | 0 | 6.118214e+06 | 1.748749e+07 | 185.83%| unknown
107.85/108.34 c 103s| 1 | 0 | 1470k| - | 128M | 0 |3984 | 755 |2141 |2197 | 27 | 341 | 0 | 6.120853e+06 | 1.748749e+07 | 185.70%| unknown
107.85/108.34 c 103s| 1 | 0 | 1470k| - | 128M | 0 |3984 | 755 |2141 |2197 | 27 | 341 | 0 | 6.120853e+06 | 1.748749e+07 | 185.70%| unknown
107.85/108.34 c 103s| 1 | 0 | 1470k| - | 129M | 0 |3984 | 755 |2101 |2270 | 28 | 341 | 0 | 6.121491e+06 | 1.748749e+07 | 185.67%| unknown
107.85/108.34 c 103s| 1 | 0 | 1470k| - | 129M | 0 |3984 | 755 |2167 |2336 | 29 | 341 | 0 | 6.122553e+06 | 1.748749e+07 | 185.62%| unknown
107.85/108.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
107.85/108.34 c 104s| 1 | 0 | 1472k| - | 129M | 0 |3984 | 754 |2242 |2411 | 30 | 341 | 0 | 6.126609e+06 | 1.748749e+07 | 185.44%| unknown
107.85/108.34 c 104s| 1 | 0 | 1472k| - | 129M | 0 |3984 | 754 |2309 |2478 | 31 | 341 | 0 | 6.127481e+06 | 1.748749e+07 | 185.39%| unknown
107.85/108.34 c 104s| 1 | 0 | 1472k| - | 132M | 0 |3984 | 754 |2378 |2547 | 32 | 341 | 0 | 6.127964e+06 | 1.748749e+07 | 185.37%| unknown
107.85/108.34 c 104s| 1 | 0 | 1474k| - | 132M | 0 |3984 | 753 |2199 |2622 | 33 | 341 | 0 | 6.176340e+06 | 1.748749e+07 | 183.14%| unknown
107.85/108.34 c 104s| 1 | 0 | 1474k| - | 134M | 0 |3984 | 753 |2270 |2693 | 34 | 341 | 0 | 6.180105e+06 | 1.748749e+07 | 182.96%| unknown
107.85/108.34 c 105s| 1 | 0 | 1474k| - | 135M | 0 |3984 | 753 |2341 |2764 | 35 | 341 | 0 | 6.181086e+06 | 1.748749e+07 | 182.92%| unknown
107.85/108.34 c 105s| 1 | 0 | 1475k| - | 136M | 0 |3984 | 753 |2418 |2841 | 36 | 341 | 0 | 6.186732e+06 | 1.748749e+07 | 182.66%| unknown
107.85/108.34 c 105s| 1 | 0 | 1476k| - | 137M | 0 |3984 | 752 |2336 |2909 | 37 | 341 | 0 | 6.187448e+06 | 1.748749e+07 | 182.63%| unknown
107.85/108.34 c 105s| 1 | 0 | 1476k| - | 137M | 0 |3984 | 752 |2411 |2984 | 38 | 341 | 0 | 6.203035e+06 | 1.748749e+07 | 181.92%| unknown
107.85/108.34 c 105s| 1 | 0 | 1477k| - | 137M | 0 |3984 | 752 |2480 |3053 | 39 | 341 | 0 | 6.205993e+06 | 1.748749e+07 | 181.78%| unknown
107.85/108.34 c 105s| 1 | 0 | 1477k| - | 137M | 0 |3984 | 752 |2544 |3117 | 40 | 341 | 0 | 6.207438e+06 | 1.748749e+07 | 181.72%| unknown
107.85/108.34 c 106s| 1 | 0 | 1477k| - | 137M | 0 |3984 | 752 |2612 |3185 | 41 | 341 | 0 | 6.207761e+06 | 1.748749e+07 | 181.70%| unknown
107.85/108.34 c 106s| 1 | 0 | 1478k| - | 138M | 0 |3984 | 752 |2674 |3247 | 42 | 341 | 0 | 6.209824e+06 | 1.748749e+07 | 181.61%| unknown
107.85/108.34 c 106s| 1 | 0 | 1479k| - | 139M | 0 |3984 | 752 |2502 |3321 | 43 | 341 | 0 | 6.214461e+06 | 1.748749e+07 | 181.40%| unknown
107.85/108.34 c 106s| 1 | 0 | 1479k| - | 140M | 0 |3984 | 752 |2568 |3387 | 44 | 341 | 0 | 6.215147e+06 | 1.748749e+07 | 181.37%| unknown
107.85/108.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
107.85/108.34 c 106s| 1 | 0 | 1480k| - | 141M | 0 |3984 | 752 |2634 |3453 | 45 | 341 | 0 | 6.215879e+06 | 1.748749e+07 | 181.34%| unknown
107.85/108.34 c 107s| 1 | 0 | 1481k| - | 141M | 0 |3984 | 752 |2697 |3516 | 46 | 341 | 0 | 6.218766e+06 | 1.748749e+07 | 181.21%| unknown
107.85/108.34 c 107s| 1 | 0 | 1481k| - | 141M | 0 |3984 | 752 |2757 |3576 | 47 | 341 | 0 | 6.219886e+06 | 1.748749e+07 | 181.15%| unknown
107.85/108.34 c 107s| 1 | 0 | 1481k| - | 141M | 0 |3984 | 752 |2824 |3643 | 48 | 341 | 0 | 6.220028e+06 | 1.748749e+07 | 181.15%| unknown
107.85/108.34 c 107s| 1 | 0 | 1482k| - | 141M | 0 |3984 | 752 |2648 |3698 | 49 | 341 | 0 | 6.222337e+06 | 1.748749e+07 | 181.04%| unknown
107.85/108.34 c 107s| 1 | 0 | 1483k| - | 141M | 0 |3984 | 752 |2704 |3754 | 50 | 341 | 0 | 6.224649e+06 | 1.748749e+07 | 180.94%| unknown
107.85/108.34 c 107s| 1 | 0 | 1483k| - | 142M | 0 |3984 | 751 |2775 |3825 | 51 | 341 | 0 | 6.225235e+06 | 1.748749e+07 | 180.91%| unknown
107.85/108.34 c 108s| 1 | 0 | 1484k| - | 142M | 0 |3984 | 751 |2829 |3879 | 52 | 341 | 0 | 6.261651e+06 | 1.748749e+07 | 179.28%| unknown
107.85/108.34 c 108s| 1 | 0 | 1484k| - | 142M | 0 |3984 | 750 |2883 |3933 | 53 | 341 | 0 | 6.261932e+06 | 1.748749e+07 | 179.27%| unknown
107.85/108.34 c 108s| 1 | 0 | 1484k| - | 142M | 0 |3984 | 750 |2883 |3933 | 53 | 341 | 0 | 6.261932e+06 | 1.748749e+07 | 179.27%| unknown
124.29/124.87 c 108s| 1 | 0 | 1485k| - | 142M | 0 |3984 | 750 |2934 |3984 | 54 | 341 | 0 | 6.263659e+06 | 1.748749e+07 | 179.19%| unknown
124.29/124.87 c 108s| 1 | 0 | 1486k| - | 144M | 0 |3984 | 749 |2794 |4045 | 55 | 341 | 0 | 6.266708e+06 | 1.748749e+07 | 179.05%| unknown
124.29/124.87 c 108s| 1 | 0 | 1486k| - | 145M | 0 |3984 | 748 |2855 |4106 | 56 | 341 | 0 | 6.267625e+06 | 1.748749e+07 | 179.01%| unknown
124.29/124.87 c 109s| 1 | 0 | 1487k| - | 145M | 0 |3984 | 748 |2917 |4168 | 57 | 341 | 0 | 6.268405e+06 | 1.748749e+07 | 178.98%| unknown
124.29/124.87 c 109s| 1 | 0 | 1487k| - | 147M | 0 |3984 | 746 |2978 |4229 | 58 | 341 | 0 | 6.268587e+06 | 1.748749e+07 | 178.97%| unknown
124.29/124.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
124.29/124.87 c 109s| 1 | 0 | 1488k| - | 147M | 0 |3984 | 746 |3033 |4284 | 59 | 341 | 0 | 6.268712e+06 | 1.748749e+07 | 178.96%| unknown
124.29/124.87 c 109s| 1 | 0 | 1488k| - | 147M | 0 |3984 | 746 |3087 |4338 | 60 | 341 | 0 | 6.269057e+06 | 1.748749e+07 | 178.95%| unknown
124.29/124.87 c 109s| 1 | 0 | 1489k| - | 147M | 0 |3984 | 745 |2937 |4387 | 61 | 341 | 0 | 6.269479e+06 | 1.748749e+07 | 178.93%| unknown
124.29/124.87 c 110s| 1 | 0 | 1490k| - | 147M | 0 |3984 | 745 |2984 |4434 | 62 | 341 | 0 | 6.272918e+06 | 1.748749e+07 | 178.78%| unknown
124.29/124.87 c 110s| 1 | 0 | 1491k| - | 147M | 0 |3984 | 745 |3036 |4486 | 63 | 341 | 0 | 6.273379e+06 | 1.748749e+07 | 178.76%| unknown
124.29/124.87 c 110s| 1 | 0 | 1491k| - | 147M | 0 |3984 | 745 |3036 |4486 | 63 | 341 | 0 | 6.273379e+06 | 1.748749e+07 | 178.76%| unknown
124.29/124.87 c 110s| 1 | 0 | 1491k| - | 147M | 0 |3984 | 745 |3089 |4539 | 64 | 341 | 0 | 6.273793e+06 | 1.748749e+07 | 178.74%| unknown
124.29/124.87 c 110s| 1 | 0 | 1491k| - | 147M | 0 |3984 | 745 |3140 |4590 | 65 | 341 | 0 | 6.273950e+06 | 1.748749e+07 | 178.73%| unknown
124.29/124.87 c 118s| 1 | 0 | 1515k| - | 148M | 0 |3984 | 745 |3189 |4639 | 66 | 341 | 0 | 6.280955e+06 | 1.748749e+07 | 178.42%| unknown
124.29/124.87 c 118s| 1 | 0 | 1515k| - | 148M | 0 |3984 | 745 |3189 |4639 | 66 | 341 | 0 | 6.280955e+06 | 1.748749e+07 | 178.42%| unknown
124.29/124.87 c 118s| 1 | 0 | 1515k| - | 148M | 0 |3984 | 745 |3057 |4699 | 67 | 341 | 0 | 6.283060e+06 | 1.748749e+07 | 178.33%| unknown
124.29/124.87 c 118s| 1 | 0 | 1516k| - | 148M | 0 |3984 | 744 |3110 |4752 | 68 | 341 | 0 | 6.283851e+06 | 1.748749e+07 | 178.29%| unknown
124.29/124.87 c 118s| 1 | 0 | 1516k| - | 148M | 0 |3984 | 744 |3157 |4799 | 69 | 341 | 0 | 6.284322e+06 | 1.748749e+07 | 178.27%| unknown
124.29/124.87 c 118s| 1 | 0 | 1516k| - | 148M | 0 |3984 | 744 |3209 |4851 | 70 | 341 | 0 | 6.284431e+06 | 1.748749e+07 | 178.27%| unknown
124.29/124.87 c 119s| 1 | 0 | 1518k| - | 148M | 0 |3984 | 744 |3251 |4893 | 71 | 341 | 0 | 6.313701e+06 | 1.748749e+07 | 176.98%| unknown
124.29/124.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
124.29/124.87 c 119s| 1 | 0 | 1518k| - | 148M | 0 |3984 | 744 |3251 |4893 | 71 | 341 | 0 | 6.313701e+06 | 1.748749e+07 | 176.98%| unknown
124.29/124.87 c 119s| 1 | 0 | 1519k| - | 148M | 0 |3984 | 744 |3178 |4958 | 72 | 341 | 0 | 6.316977e+06 | 1.748749e+07 | 176.83%| unknown
124.29/124.87 c 119s| 1 | 0 | 1519k| - | 148M | 0 |3984 | 744 |3242 |5022 | 73 | 341 | 0 | 6.317071e+06 | 1.748749e+07 | 176.83%| unknown
124.29/124.87 c 120s| 1 | 0 | 1521k| - | 148M | 0 |3984 | 744 |3294 |5074 | 74 | 341 | 0 | 6.335383e+06 | 1.748749e+07 | 176.03%| unknown
124.29/124.87 c 120s| 1 | 0 | 1522k| - | 148M | 0 |3984 | 742 |3355 |5135 | 75 | 341 | 0 | 6.336630e+06 | 1.748749e+07 | 175.97%| unknown
124.29/124.87 c 120s| 1 | 0 | 1522k| - | 148M | 0 |3984 | 741 |3413 |5193 | 76 | 341 | 0 | 6.336893e+06 | 1.748749e+07 | 175.96%| unknown
124.29/124.87 c 121s| 1 | 0 | 1523k| - | 148M | 0 |3984 | 741 |3321 |5249 | 77 | 341 | 0 | 6.338138e+06 | 1.748749e+07 | 175.91%| unknown
124.29/124.87 c 121s| 1 | 0 | 1523k| - | 149M | 0 |3984 | 740 |3373 |5301 | 78 | 341 | 0 | 6.338209e+06 | 1.748749e+07 | 175.91%| unknown
124.29/124.87 c 121s| 1 | 0 | 1524k| - | 149M | 0 |3984 | 739 |3420 |5348 | 79 | 341 | 0 | 6.339310e+06 | 1.748749e+07 | 175.86%| unknown
124.29/124.87 c 121s| 1 | 0 | 1525k| - | 149M | 0 |3984 | 739 |3470 |5398 | 80 | 341 | 0 | 6.340542e+06 | 1.748749e+07 | 175.80%| unknown
124.29/124.87 c 121s| 1 | 0 | 1525k| - | 149M | 0 |3984 | 739 |3517 |5445 | 81 | 341 | 0 | 6.340688e+06 | 1.748749e+07 | 175.80%| unknown
124.29/124.87 c 121s| 1 | 0 | 1525k| - | 149M | 0 |3984 | 739 |3479 |5489 | 82 | 341 | 0 | 6.340899e+06 | 1.748749e+07 | 175.79%| unknown
124.29/124.87 c 122s| 1 | 0 | 1527k| - | 149M | 0 |3984 | 738 |3520 |5530 | 83 | 341 | 0 | 6.357658e+06 | 1.748749e+07 | 175.06%| unknown
124.29/124.87 c 122s| 1 | 0 | 1528k| - | 149M | 0 |3984 | 738 |3575 |5585 | 84 | 341 | 0 | 6.362756e+06 | 1.748749e+07 | 174.84%| unknown
124.29/124.87 c 123s| 1 | 0 | 1529k| - | 149M | 0 |3984 | 738 |3628 |5638 | 85 | 341 | 0 | 6.364270e+06 | 1.748749e+07 | 174.78%| unknown
124.29/124.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
124.29/124.87 c 123s| 1 | 0 | 1529k| - | 149M | 0 |3984 | 738 |3686 |5696 | 86 | 341 | 0 | 6.365319e+06 | 1.748749e+07 | 174.73%| unknown
124.29/124.87 c 123s| 1 | 0 | 1529k| - | 149M | 0 |3984 | 738 |3686 |5696 | 86 | 341 | 0 | 6.365319e+06 | 1.748749e+07 | 174.73%| unknown
124.29/124.87 c 123s| 1 | 0 | 1529k| - | 149M | 0 |3984 | 736 |3615 |5744 | 87 | 341 | 0 | 6.365522e+06 | 1.748749e+07 | 174.72%| unknown
124.29/124.87 c 123s| 1 | 0 | 1530k| - | 149M | 0 |3984 | 736 |3660 |5789 | 88 | 341 | 0 | 6.366428e+06 | 1.748749e+07 | 174.68%| unknown
124.29/124.87 c 123s| 1 | 0 | 1530k| - | 149M | 0 |3984 | 736 |3706 |5835 | 89 | 341 | 0 | 6.366811e+06 | 1.748749e+07 | 174.67%| unknown
124.29/124.87 c 123s| 1 | 0 | 1530k| - | 149M | 0 |3984 | 736 |3706 |5835 | 89 | 341 | 0 | 6.366811e+06 | 1.748749e+07 | 174.67%| unknown
124.29/124.87 c 123s| 1 | 0 | 1531k| - | 149M | 0 |3984 | 734 |3749 |5878 | 90 | 341 | 0 | 6.366918e+06 | 1.748749e+07 | 174.66%| unknown
124.29/124.87 c 123s| 1 | 0 | 1531k| - | 149M | 0 |3984 | 734 |3797 |5926 | 91 | 341 | 0 | 6.367266e+06 | 1.748749e+07 | 174.65%| unknown
124.29/124.87 c 123s| 1 | 0 | 1531k| - | 149M | 0 |3984 | 734 |3842 |5971 | 92 | 341 | 0 | 6.367416e+06 | 1.748749e+07 | 174.64%| unknown
124.29/124.87 c 124s| 1 | 0 | 1532k| - | 149M | 0 |3984 | 734 |3756 |6016 | 93 | 341 | 0 | 6.367733e+06 | 1.748749e+07 | 174.63%| unknown
124.29/124.87 c 124s| 1 | 0 | 1532k| - | 149M | 0 |3984 | 733 |3798 |6058 | 94 | 341 | 0 | 6.367994e+06 | 1.748749e+07 | 174.62%| unknown
124.29/124.87 c 124s| 1 | 0 | 1532k| - | 149M | 0 |3984 | 733 |3835 |6095 | 95 | 341 | 0 | 6.368074e+06 | 1.748749e+07 | 174.61%| unknown
124.29/124.87 c 124s| 1 | 0 | 1532k| - | 149M | 0 |3984 | 732 |3875 |6135 | 96 | 341 | 0 | 6.368369e+06 | 1.748749e+07 | 174.60%| unknown
124.29/124.87 c 124s| 1 | 0 | 1533k| - | 149M | 0 |3984 | 732 |3913 |6173 | 97 | 341 | 0 | 6.368775e+06 | 1.748749e+07 | 174.58%| unknown
124.29/124.87 c 124s| 1 | 0 | 1533k| - | 149M | 0 |3984 | 728 |3957 |6217 | 98 | 341 | 0 | 6.369227e+06 | 1.748749e+07 | 174.56%| unknown
124.29/124.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
124.29/124.87 c 124s| 1 | 0 | 1533k| - | 149M | 0 |3984 | 791 |4022 |6217 | 98 | 341 | 0 | 6.369227e+06 | 1.748749e+07 | 174.56%| unknown
124.29/124.87 c 124s| 1 | 0 | 1533k| - | 149M | 0 |3984 | 791 |3962 |6255 | 99 | 341 | 0 | 6.369232e+06 | 1.748749e+07 | 174.56%| unknown
390.96/392.25 c 124s| 1 | 0 | 1533k| - | 149M | 0 |3984 | 791 |4001 |6294 |100 | 341 | 0 | 6.369232e+06 | 1.748749e+07 | 174.56%| unknown
390.96/392.25 c 125s| 1 | 0 | 1534k| - | 149M | 0 |3984 | 788 |4036 |6329 |101 | 341 | 0 | 6.369659e+06 | 1.748749e+07 | 174.54%| unknown
390.96/392.25 c 125s| 1 | 0 | 1535k| - | 149M | 0 |3984 | 787 |4082 |6375 |102 | 341 | 0 | 6.370435e+06 | 1.748749e+07 | 174.51%| unknown
390.96/392.25 c 125s| 1 | 0 | 1535k| - | 149M | 0 |3984 | 787 |4134 |6427 |103 | 341 | 0 | 6.370485e+06 | 1.748749e+07 | 174.51%| unknown
390.96/392.25 c 125s| 1 | 0 | 1536k| - | 149M | 0 |3984 | 786 |4182 |6475 |104 | 341 | 0 | 6.371816e+06 | 1.748749e+07 | 174.45%| unknown
390.96/392.25 c 126s| 1 | 0 | 1536k| - | 149M | 0 |3984 | 785 |4173 |6521 |105 | 341 | 0 | 6.371958e+06 | 1.748749e+07 | 174.44%| unknown
390.96/392.25 c 126s| 1 | 0 | 1536k| - | 149M | 0 |3984 | 784 |4221 |6569 |106 | 341 | 0 | 6.371976e+06 | 1.748749e+07 | 174.44%| unknown
390.96/392.25 c 126s| 1 | 0 | 1536k| - | 149M | 0 |3984 | 784 |4266 |6614 |107 | 341 | 0 | 6.372039e+06 | 1.748749e+07 | 174.44%| unknown
390.96/392.25 c 126s| 1 | 0 | 1536k| - | 149M | 0 |3984 | 784 |4303 |6651 |108 | 341 | 0 | 6.372040e+06 | 1.748749e+07 | 174.44%| unknown
390.96/392.25 c 126s| 1 | 0 | 1537k| - | 149M | 0 |3984 | 784 |4336 |6684 |109 | 341 | 0 | 6.372072e+06 | 1.748749e+07 | 174.44%| unknown
390.96/392.25 c 126s| 1 | 0 | 1537k| - | 149M | 0 |3984 | 783 |4371 |6719 |110 | 341 | 0 | 6.372344e+06 | 1.748749e+07 | 174.43%| unknown
390.96/392.25 c 126s| 1 | 0 | 1537k| - | 149M | 0 |3984 | 783 |4296 |6751 |111 | 341 | 0 | 6.372383e+06 | 1.748749e+07 | 174.43%| unknown
390.96/392.25 c 126s| 1 | 0 | 1537k| - | 149M | 0 |3984 | 781 |4327 |6782 |112 | 341 | 0 | 6.373122e+06 | 1.748749e+07 | 174.39%| unknown
390.96/392.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
390.96/392.25 c 126s| 1 | 0 | 1537k| - | 149M | 0 |3984 | 780 |4367 |6822 |113 | 341 | 0 | 6.373126e+06 | 1.748749e+07 | 174.39%| unknown
390.96/392.25 c 127s| 1 | 0 | 1538k| - | 149M | 0 |3984 | 780 |4398 |6853 |114 | 341 | 0 | 6.373219e+06 | 1.748749e+07 | 174.39%| unknown
390.96/392.25 c 127s| 1 | 0 | 1538k| - | 149M | 0 |3984 | 779 |4429 |6884 |115 | 341 | 0 | 6.373375e+06 | 1.748749e+07 | 174.38%| unknown
390.96/392.25 c 127s| 1 | 0 | 1538k| - | 149M | 0 |3984 | 779 |4456 |6911 |116 | 341 | 0 | 6.373459e+06 | 1.748749e+07 | 174.38%| unknown
390.96/392.25 c 127s| 1 | 0 | 1538k| - | 149M | 0 |3984 | 779 |4397 |6940 |117 | 341 | 0 | 6.373608e+06 | 1.748749e+07 | 174.37%| unknown
390.96/392.25 c 127s| 1 | 0 | 1539k| - | 149M | 0 |3984 | 779 |4423 |6966 |118 | 341 | 0 | 6.375881e+06 | 1.748749e+07 | 174.28%| unknown
390.96/392.25 c 127s| 1 | 0 | 1539k| - | 149M | 0 |3984 | 779 |4464 |7007 |119 | 341 | 0 | 6.375939e+06 | 1.748749e+07 | 174.27%| unknown
390.96/392.25 c 128s| 1 | 0 | 1541k| - | 149M | 0 |3984 | 779 |4497 |7040 |120 | 341 | 0 | 6.378942e+06 | 1.748749e+07 | 174.14%| unknown
390.96/392.25 c 129s| 1 | 0 | 1543k| - | 149M | 0 |3984 | 779 |4542 |7085 |121 | 341 | 0 | 6.402027e+06 | 1.748749e+07 | 173.16%| unknown
390.96/392.25 c 129s| 1 | 0 | 1543k| - | 149M | 0 |3984 | 778 |4595 |7138 |122 | 341 | 0 | 6.402696e+06 | 1.748749e+07 | 173.13%| unknown
390.96/392.25 c 129s| 1 | 0 | 1544k| - | 149M | 0 |3984 | 777 |4591 |7183 |123 | 341 | 0 | 6.403166e+06 | 1.748749e+07 | 173.11%| unknown
390.96/392.25 c 129s| 1 | 0 | 1545k| - | 149M | 0 |3984 | 777 |4635 |7227 |124 | 341 | 0 | 6.407054e+06 | 1.748749e+07 | 172.94%| unknown
390.96/392.25 c 130s| 1 | 0 | 1546k| - | 149M | 0 |3984 | 777 |4677 |7269 |125 | 341 | 0 | 6.407306e+06 | 1.748749e+07 | 172.93%| unknown
390.96/392.25 c 130s| 1 | 0 | 1546k| - | 149M | 0 |3984 | 777 |4719 |7311 |126 | 341 | 0 | 6.407583e+06 | 1.748749e+07 | 172.92%| unknown
390.96/392.25 c 130s| 1 | 0 | 1546k| - | 149M | 0 |3984 | 776 |4755 |7347 |127 | 341 | 0 | 6.407588e+06 | 1.748749e+07 | 172.92%| unknown
390.96/392.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
390.96/392.25 c 146s| 1 | 0 | 1571k| - | 149M | 0 |3984 | 776 |4788 |7380 |128 | 341 | 0 | 6.407612e+06 | 1.748749e+07 | 172.92%| unknown
390.96/392.25 c 146s| 1 | 0 | 1571k| - | 149M | 0 |3984 | 776 |4788 |7380 |128 | 341 | 0 | 6.407612e+06 | 1.748749e+07 | 172.92%| unknown
390.96/392.25 c 147s| 1 | 0 | 1571k| - | 149M | 0 |3984 | 776 |4783 |7427 |129 | 341 | 0 | 6.407614e+06 | 1.748749e+07 | 172.92%| unknown
390.96/392.25 c 161s| 1 | 0 | 1594k| - | 149M | 0 |3984 | 775 |4827 |7471 |130 | 341 | 0 | 6.407683e+06 | 1.748749e+07 | 172.91%| unknown
390.96/392.25 c 177s| 1 | 0 | 1619k| - | 149M | 0 |3984 | 775 |4870 |7514 |131 | 341 | 0 | 6.407899e+06 | 1.748749e+07 | 172.91%| unknown
390.96/392.25 c 177s| 1 | 0 | 1619k| - | 149M | 0 |3984 | 775 |4908 |7552 |132 | 341 | 0 | 6.407990e+06 | 1.748749e+07 | 172.90%| unknown
390.96/392.25 c 191s| 1 | 0 | 1642k| - | 149M | 0 |3984 | 774 |4948 |7592 |133 | 341 | 0 | 6.408180e+06 | 1.748749e+07 | 172.89%| unknown
390.96/392.25 c 228s| 1 | 0 | 1688k| - | 149M | 0 |3984 | 774 |4991 |7635 |134 | 341 | 0 | 6.408272e+06 | 1.748749e+07 | 172.89%| unknown
390.96/392.25 c 228s| 1 | 0 | 1688k| - | 149M | 0 |3984 | 779 |4996 |7635 |134 | 341 | 0 | 6.408272e+06 | 1.748749e+07 | 172.89%| unknown
390.96/392.25 c 242s| 1 | 0 | 1711k| - | 149M | 0 |3984 | 779 |5034 |7673 |135 | 341 | 0 | 6.408695e+06 | 1.748749e+07 | 172.87%| unknown
390.96/392.25 c 256s| 1 | 0 | 1733k| - | 149M | 0 |3984 | 778 |5074 |7713 |136 | 341 | 0 | 6.412722e+06 | 1.748749e+07 | 172.70%| unknown
390.96/392.25 c 271s| 1 | 0 | 1755k| - | 149M | 0 |3984 | 778 |5114 |7753 |137 | 341 | 0 | 6.412805e+06 | 1.748749e+07 | 172.70%| unknown
390.96/392.25 c 284s| 1 | 0 | 1777k| - | 149M | 0 |3984 | 778 |5151 |7790 |138 | 341 | 0 | 6.413042e+06 | 1.748749e+07 | 172.69%| unknown
390.96/392.25 c 284s| 1 | 0 | 1777k| - | 149M | 0 |3984 | 778 |5051 |7825 |139 | 341 | 0 | 6.413056e+06 | 1.748749e+07 | 172.69%| unknown
390.96/392.25 c 284s| 1 | 0 | 1777k| - | 149M | 0 |3984 | 777 |5085 |7859 |140 | 341 | 0 | 6.413065e+06 | 1.748749e+07 | 172.69%| unknown
390.96/392.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
390.96/392.25 c 297s| 1 | 0 | 1798k| - | 149M | 0 |3984 | 776 |5111 |7885 |141 | 341 | 0 | 6.415117e+06 | 1.748749e+07 | 172.60%| unknown
390.96/392.25 c 298s| 1 | 0 | 1799k| - | 149M | 0 |3984 | 776 |5149 |7923 |142 | 341 | 0 | 6.415125e+06 | 1.748749e+07 | 172.60%| unknown
390.96/392.25 c 315s| 1 | 0 | 1824k| - | 149M | 0 |3984 | 776 |5179 |7953 |143 | 341 | 0 | 6.417096e+06 | 1.748749e+07 | 172.51%| unknown
390.96/392.25 c 315s| 1 | 0 | 1824k| - | 149M | 0 |3984 | 776 |5179 |7953 |143 | 341 | 0 | 6.417096e+06 | 1.748749e+07 | 172.51%| unknown
390.96/392.25 c 329s| 1 | 0 | 1845k| - | 149M | 0 |3984 | 774 |5135 |7994 |144 | 341 | 0 | 6.417153e+06 | 1.748749e+07 | 172.51%| unknown
390.96/392.25 c 329s| 1 | 0 | 1845k| - | 149M | 0 |3984 | 774 |5135 |7994 |144 | 341 | 0 | 6.417153e+06 | 1.748749e+07 | 172.51%| unknown
390.96/392.25 c 345s| 1 | 0 | 1869k| - | 149M | 0 |3984 | 774 |5173 |8032 |145 | 341 | 0 | 6.418024e+06 | 1.748749e+07 | 172.47%| unknown
390.96/392.25 c 360s| 1 | 0 | 1892k| - | 149M | 0 |3984 | 774 |5212 |8071 |146 | 341 | 0 | 6.418125e+06 | 1.748749e+07 | 172.47%| unknown
390.96/392.25 c 374s| 1 | 0 | 1914k| - | 149M | 0 |3984 | 773 |5253 |8112 |147 | 341 | 0 | 6.418135e+06 | 1.748749e+07 | 172.47%| unknown
390.96/392.25 c 374s| 1 | 0 | 1914k| - | 149M | 0 |3984 | 773 |5290 |8149 |148 | 341 | 0 | 6.418234e+06 | 1.748749e+07 | 172.47%| unknown
634.70/636.67 c 392s| 1 | 0 | 1940k| - | 149M | 0 |3984 | 773 |5251 |8176 |149 | 341 | 0 | 6.418848e+06 | 1.748749e+07 | 172.44%| unknown
634.70/636.67 c 392s| 1 | 0 | 1941k| - | 149M | 0 |3984 | 773 |5285 |8210 |150 | 341 | 0 | 6.418957e+06 | 1.748749e+07 | 172.44%| unknown
634.70/636.67 c 406s| 1 | 0 | 1963k| - | 149M | 0 |3984 | 772 |5319 |8244 |151 | 341 | 0 | 6.419051e+06 | 1.748749e+07 | 172.43%| unknown
634.70/636.67 c 421s| 1 | 0 | 1988k| - | 149M | 0 |3984 | 771 |5353 |8278 |152 | 341 | 0 | 6.419275e+06 | 1.748749e+07 | 172.42%| unknown
634.70/636.67 c 438s| 1 | 0 | 2015k| - | 149M | 0 |3984 | 771 |5393 |8318 |153 | 341 | 0 | 6.419395e+06 | 1.748749e+07 | 172.42%| unknown
634.70/636.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
634.70/636.67 c 458s| 1 | 0 | 2042k| - | 149M | 0 |3984 | 770 |5425 |8350 |154 | 341 | 0 | 6.419552e+06 | 1.748749e+07 | 172.41%| unknown
634.70/636.67 c 458s| 1 | 0 | 2042k| - | 149M | 0 |3984 | 770 |5405 |8382 |155 | 341 | 0 | 6.419581e+06 | 1.748749e+07 | 172.41%| unknown
634.70/636.67 c 458s| 1 | 0 | 2042k| - | 149M | 0 |3984 | 773 |5409 |8382 |155 | 341 | 0 | 6.419581e+06 | 1.748749e+07 | 172.41%| unknown
634.70/636.67 c 479s| 1 | 0 | 2070k| - | 149M | 0 |3984 | 773 |5437 |8410 |156 | 341 | 0 | 6.419611e+06 | 1.748749e+07 | 172.41%| unknown
634.70/636.67 c 495s| 1 | 0 | 2093k| - | 149M | 0 |3984 | 773 |5466 |8439 |157 | 341 | 0 | 6.419635e+06 | 1.748749e+07 | 172.41%| unknown
634.70/636.67 c 495s| 1 | 0 | 2093k| - | 149M | 0 |3984 | 772 |5496 |8469 |158 | 341 | 0 | 6.419666e+06 | 1.748749e+07 | 172.40%| unknown
634.70/636.67 c 495s| 1 | 0 | 2093k| - | 150M | 0 |3984 | 771 |5520 |8493 |159 | 341 | 0 | 6.419675e+06 | 1.748749e+07 | 172.40%| unknown
634.70/636.67 c 511s| 1 | 0 | 2117k| - | 150M | 0 |3984 | 770 |5539 |8512 |160 | 341 | 0 | 6.419861e+06 | 1.748749e+07 | 172.40%| unknown
634.70/636.67 c 511s| 1 | 0 | 2117k| - | 150M | 0 |3984 | 770 |5500 |8536 |161 | 341 | 0 | 6.419872e+06 | 1.748749e+07 | 172.40%| unknown
634.70/636.67 c 525s| 1 | 0 | 2140k| - | 150M | 0 |3984 | 770 |5519 |8555 |162 | 341 | 0 | 6.419898e+06 | 1.748749e+07 | 172.40%| unknown
634.70/636.67 c 525s| 1 | 0 | 2140k| - | 150M | 0 |3984 | 770 |5537 |8573 |163 | 341 | 0 | 6.419903e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 543s| 1 | 0 | 2166k| - | 150M | 0 |3984 | 769 |5556 |8592 |164 | 341 | 0 | 6.419978e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 544s| 1 | 0 | 2166k| - | 150M | 0 |3984 | 768 |5578 |8614 |165 | 341 | 0 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 544s| 1 | 0 | 2166k| - | 150M | 0 |3984 | 768 |5592 |8628 |166 | 341 | 0 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 631s| 1 | 2 | 2282k| - | 150M | 0 |3984 | 770 |5592 |8628 |166 | 343 | 29 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c (run 2, node 1) restarting after 200 global fixings of integer variables
634.70/636.67 c
634.70/636.67 c (restart) converted 1365 cuts from the global cut pool into linear constraints
634.70/636.67 c
634.70/636.67 c presolving:
634.70/636.67 c (round 1, fast) 200 del vars, 1 del conss, 64 add conss, 0 chg bounds, 32 chg sides, 1267 chg coeffs, 0 upgd conss, 0 impls, 1419 clqs
634.70/636.67 c (round 2, exhaustive) 200 del vars, 123 del conss, 64 add conss, 0 chg bounds, 32 chg sides, 1267 chg coeffs, 0 upgd conss, 0 impls, 1419 clqs
634.70/636.67 c (round 3, exhaustive) 200 del vars, 123 del conss, 64 add conss, 0 chg bounds, 32 chg sides, 1267 chg coeffs, 1102 upgd conss, 0 impls, 1419 clqs
634.70/636.67 c (round 4, fast) 200 del vars, 196 del conss, 64 add conss, 0 chg bounds, 37 chg sides, 1457 chg coeffs, 1102 upgd conss, 0 impls, 1419 clqs
634.70/636.67 c (round 5, medium) 200 del vars, 344 del conss, 206 add conss, 0 chg bounds, 213 chg sides, 1661 chg coeffs, 1102 upgd conss, 0 impls, 1423 clqs
634.70/636.67 c (round 6, fast) 200 del vars, 344 del conss, 206 add conss, 0 chg bounds, 229 chg sides, 1755 chg coeffs, 1102 upgd conss, 0 impls, 1423 clqs
634.70/636.67 c presolving (7 rounds: 7 fast, 4 medium, 3 exhaustive):
634.70/636.67 c 200 deleted vars, 344 deleted constraints, 206 added constraints, 0 tightened bounds, 0 added holes, 229 changed sides, 1777 changed coefficients
634.70/636.67 c 0 implications, 1423 cliques
634.70/636.67 c presolved problem has 3784 variables (3784 bin, 0 int, 0 impl, 0 cont) and 1997 constraints
634.70/636.67 c 525 constraints of type <knapsack>
634.70/636.67 c 784 constraints of type <setppc>
634.70/636.67 c 415 constraints of type <linear>
634.70/636.67 c 273 constraints of type <logicor>
634.70/636.67 c transformed objective value is always integral (scale: 1)
634.70/636.67 c Presolving Time: 0.32
634.70/636.67 c transformed 1/4 original solutions to the transformed problem space
634.70/636.67 c
634.70/636.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
634.70/636.67 c 631s| 1 | 0 | 2287k| - | 149M | 0 |3784 |1997 |1877 | 0 | 0 | 343 | 29 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 632s| 1 | 0 | 2288k| - | 150M | 0 |3784 |1997 |1950 | 73 | 1 | 343 | 29 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 632s| 1 | 0 | 2289k| - | 150M | 0 |3784 |1997 |2017 | 140 | 2 | 343 | 29 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 632s| 1 | 0 | 2289k| - | 150M | 0 |3784 |1997 |2017 | 140 | 2 | 343 | 29 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 632s| 1 | 0 | 2289k| - | 150M | 0 |3784 |1997 |2083 | 206 | 3 | 343 | 29 | 6.419987e+06 | 1.748749e+07 | 172.39%| unknown
634.70/636.67 c 632s| 1 | 0 | 2290k| - | 150M | 0 |3784 |1997 |2143 | 266 | 4 | 343 | 29 | 6.426824e+06 | 1.748749e+07 | 172.10%| unknown
634.70/636.67 c 633s| 1 | 0 | 2291k| - | 150M | 0 |3784 |1997 |2207 | 330 | 5 | 343 | 29 | 6.428572e+06 | 1.748749e+07 | 172.03%| unknown
634.70/636.67 c 633s| 1 | 0 | 2291k| - | 151M | 0 |3784 |1997 |2269 | 392 | 6 | 343 | 29 | 6.430081e+06 | 1.748749e+07 | 171.96%| unknown
634.70/636.67 c 633s| 1 | 0 | 2292k| - | 151M | 0 |3784 |1996 |2326 | 449 | 7 | 343 | 29 | 6.432996e+06 | 1.748749e+07 | 171.84%| unknown
634.70/636.67 c 633s| 1 | 0 | 2292k| - | 151M | 0 |3784 |1996 |2326 | 449 | 7 | 343 | 29 | 6.432996e+06 | 1.748749e+07 | 171.84%| unknown
634.70/636.67 c 634s| 1 | 0 | 2293k| - | 151M | 0 |3784 |1996 |2382 | 505 | 8 | 343 | 29 | 6.439485e+06 | 1.748749e+07 | 171.57%| unknown
634.70/636.67 c 634s| 1 | 0 | 2294k| - | 151M | 0 |3784 |1996 |2435 | 558 | 9 | 343 | 29 | 6.443562e+06 | 1.748749e+07 | 171.39%| unknown
634.70/636.67 c 634s| 1 | 0 | 2294k| - | 152M | 0 |3784 |1996 |2488 | 611 | 10 | 343 | 29 | 6.443907e+06 | 1.748749e+07 | 171.38%| unknown
634.70/636.67 c 634s| 1 | 0 | 2294k| - | 152M | 0 |3784 |1996 |2546 | 669 | 11 | 343 | 29 | 6.444260e+06 | 1.748749e+07 | 171.37%| unknown
634.70/636.67 c 635s| 1 | 0 | 2294k| - | 152M | 0 |3784 |1996 |2599 | 722 | 12 | 343 | 29 | 6.444862e+06 | 1.748749e+07 | 171.34%| unknown
634.70/636.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
634.70/636.67 c 635s| 1 | 0 | 2295k| - | 152M | 0 |3784 |1996 |2655 | 778 | 13 | 343 | 29 | 6.446942e+06 | 1.748749e+07 | 171.25%| unknown
634.70/636.67 c 635s| 1 | 0 | 2297k| - | 153M | 0 |3784 |1996 |2712 | 835 | 14 | 343 | 29 | 6.494940e+06 | 1.748749e+07 | 169.25%| unknown
634.70/636.67 c 635s| 1 | 0 | 2297k| - | 153M | 0 |3784 |1996 |2771 | 894 | 15 | 343 | 29 | 6.496026e+06 | 1.748749e+07 | 169.20%| unknown
634.70/636.67 c 636s| 1 | 0 | 2297k| - | 153M | 0 |3784 |1996 |2826 | 949 | 16 | 343 | 29 | 6.497910e+06 | 1.748749e+07 | 169.12%| unknown
634.70/636.67 c 636s| 1 | 0 | 2299k| - | 153M | 0 |3784 |1996 |2893 |1016 | 17 | 343 | 29 | 6.506227e+06 | 1.748749e+07 | 168.78%| unknown
634.70/636.67 c 636s| 1 | 0 | 2299k| - | 154M | 0 |3784 |1996 |2338 |1073 | 18 | 343 | 29 | 6.513022e+06 | 1.748749e+07 | 168.50%| unknown
644.37/646.31 c 636s| 1 | 0 | 2300k| - | 154M | 0 |3784 |1996 |2395 |1130 | 19 | 343 | 29 | 6.513754e+06 | 1.748749e+07 | 168.47%| unknown
644.37/646.31 c 636s| 1 | 0 | 2300k| - | 154M | 0 |3784 |1996 |2447 |1182 | 20 | 343 | 29 | 6.515898e+06 | 1.748749e+07 | 168.38%| unknown
644.37/646.31 c 637s| 1 | 0 | 2300k| - | 154M | 0 |3784 |1996 |2504 |1239 | 21 | 343 | 29 | 6.516006e+06 | 1.748749e+07 | 168.38%| unknown
644.37/646.31 c 637s| 1 | 0 | 2301k| - | 154M | 0 |3784 |1996 |2557 |1292 | 22 | 343 | 29 | 6.518484e+06 | 1.748749e+07 | 168.28%| unknown
644.37/646.31 c 637s| 1 | 0 | 2301k| - | 154M | 0 |3784 |1996 |2613 |1348 | 23 | 343 | 29 | 6.518579e+06 | 1.748749e+07 | 168.27%| unknown
644.37/646.31 c 637s| 1 | 0 | 2301k| - | 154M | 0 |3784 |1996 |2397 |1402 | 24 | 343 | 29 | 6.518768e+06 | 1.748749e+07 | 168.26%| unknown
644.37/646.31 c 638s| 1 | 0 | 2303k| - | 154M | 0 |3784 |1996 |2449 |1454 | 25 | 343 | 29 | 6.521679e+06 | 1.748749e+07 | 168.14%| unknown
644.37/646.31 c 638s| 1 | 0 | 2304k| - | 154M | 0 |3784 |1996 |2509 |1514 | 26 | 343 | 29 | 6.522063e+06 | 1.748749e+07 | 168.13%| unknown
644.37/646.31 c 638s| 1 | 0 | 2304k| - | 154M | 0 |3784 |1996 |2570 |1575 | 27 | 343 | 29 | 6.522295e+06 | 1.748749e+07 | 168.12%| unknown
644.37/646.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
644.37/646.31 c 638s| 1 | 0 | 2305k| - | 154M | 0 |3784 |1996 |2626 |1631 | 28 | 343 | 29 | 6.522756e+06 | 1.748749e+07 | 168.10%| unknown
644.37/646.31 c 639s| 1 | 0 | 2306k| - | 154M | 0 |3784 |1996 |2680 |1685 | 29 | 343 | 29 | 6.524292e+06 | 1.748749e+07 | 168.04%| unknown
644.37/646.31 c 639s| 1 | 0 | 2306k| - | 154M | 0 |3784 |1996 |2506 |1736 | 30 | 343 | 29 | 6.524500e+06 | 1.748749e+07 | 168.03%| unknown
644.37/646.31 c 639s| 1 | 0 | 2306k| - | 154M | 0 |3784 |1996 |2549 |1779 | 31 | 343 | 29 | 6.524903e+06 | 1.748749e+07 | 168.01%| unknown
644.37/646.31 c 639s| 1 | 0 | 2308k| - | 154M | 0 |3784 |1996 |2605 |1835 | 32 | 343 | 29 | 6.539984e+06 | 1.748749e+07 | 167.39%| unknown
644.37/646.31 c 639s| 1 | 0 | 2309k| - | 155M | 0 |3784 |1996 |2660 |1890 | 33 | 343 | 29 | 6.540553e+06 | 1.748749e+07 | 167.37%| unknown
644.37/646.31 c 640s| 1 | 0 | 2309k| - | 155M | 0 |3784 |1996 |2717 |1947 | 34 | 343 | 29 | 6.542640e+06 | 1.748749e+07 | 167.28%| unknown
644.37/646.31 c 640s| 1 | 0 | 2310k| - | 155M | 0 |3784 |1996 |2774 |2004 | 35 | 343 | 29 | 6.542977e+06 | 1.748749e+07 | 167.27%| unknown
644.37/646.31 c 640s| 1 | 0 | 2312k| - | 155M | 0 |3784 |1996 |2648 |2057 | 36 | 343 | 29 | 6.548712e+06 | 1.748749e+07 | 167.04%| unknown
644.37/646.31 c 641s| 1 | 0 | 2313k| - | 155M | 0 |3784 |1996 |2698 |2107 | 37 | 343 | 29 | 6.552546e+06 | 1.748749e+07 | 166.88%| unknown
644.37/646.31 c 641s| 1 | 0 | 2313k| - | 155M | 0 |3784 |1996 |2698 |2107 | 37 | 343 | 29 | 6.552546e+06 | 1.748749e+07 | 166.88%| unknown
644.37/646.31 c 641s| 1 | 0 | 2314k| - | 155M | 0 |3784 |1996 |2756 |2165 | 38 | 343 | 29 | 6.553713e+06 | 1.748749e+07 | 166.83%| unknown
644.37/646.31 c 641s| 1 | 0 | 2314k| - | 155M | 0 |3784 |1996 |2813 |2222 | 39 | 343 | 29 | 6.553942e+06 | 1.748749e+07 | 166.82%| unknown
644.37/646.31 c 642s| 1 | 0 | 2315k| - | 155M | 0 |3784 |1996 |2863 |2272 | 40 | 343 | 29 | 6.567319e+06 | 1.748749e+07 | 166.28%| unknown
644.37/646.31 c 642s| 1 | 0 | 2315k| - | 155M | 0 |3784 |1996 |2914 |2323 | 41 | 343 | 29 | 6.567398e+06 | 1.748749e+07 | 166.28%| unknown
644.37/646.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
644.37/646.31 c 642s| 1 | 0 | 2316k| - | 155M | 0 |3784 |1996 |2736 |2375 | 42 | 343 | 29 | 6.567507e+06 | 1.748749e+07 | 166.27%| unknown
644.37/646.31 c 642s| 1 | 0 | 2316k| - | 155M | 0 |3784 |1996 |2775 |2414 | 43 | 343 | 29 | 6.568043e+06 | 1.748749e+07 | 166.25%| unknown
644.37/646.31 c 642s| 1 | 0 | 2316k| - | 155M | 0 |3784 |1996 |2819 |2458 | 44 | 343 | 29 | 6.568704e+06 | 1.748749e+07 | 166.22%| unknown
644.37/646.31 c 642s| 1 | 0 | 2317k| - | 155M | 0 |3784 |1996 |2862 |2501 | 45 | 343 | 29 | 6.569092e+06 | 1.748749e+07 | 166.21%| unknown
644.37/646.31 c 642s| 1 | 0 | 2317k| - | 155M | 0 |3784 |1996 |2912 |2551 | 46 | 343 | 29 | 6.570001e+06 | 1.748749e+07 | 166.17%| unknown
644.37/646.31 c 642s| 1 | 0 | 2317k| - | 155M | 0 |3784 |1996 |2951 |2590 | 47 | 343 | 29 | 6.570084e+06 | 1.748749e+07 | 166.17%| unknown
644.37/646.31 c 643s| 1 | 0 | 2318k| - | 155M | 0 |3784 |1996 |2774 |2630 | 48 | 343 | 29 | 6.570191e+06 | 1.748749e+07 | 166.16%| unknown
644.37/646.31 c 643s| 1 | 0 | 2318k| - | 155M | 0 |3784 |1996 |2814 |2670 | 49 | 343 | 29 | 6.570276e+06 | 1.748749e+07 | 166.16%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2855 |2711 | 50 | 343 | 29 | 6.571345e+06 | 1.748749e+07 | 166.12%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2855 |2711 | 50 | 343 | 29 | 6.571345e+06 | 1.748749e+07 | 166.12%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2894 |2750 | 51 | 343 | 29 | 6.571582e+06 | 1.748749e+07 | 166.11%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2938 |2794 | 52 | 343 | 29 | 6.571675e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2810 |2830 | 53 | 343 | 29 | 6.571737e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2843 |2863 | 54 | 343 | 29 | 6.571744e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2877 |2897 | 55 | 343 | 29 | 6.571862e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2912 |2932 | 56 | 343 | 29 | 6.571868e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c 643s| 1 | 0 | 2319k| - | 155M | 0 |3784 |1996 |2941 |2961 | 57 | 343 | 29 | 6.571873e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c 644s| 1 | 0 | 2320k| - | 155M | 0 |3784 |1995 |2969 |2989 | 58 | 343 | 29 | 6.571897e+06 | 1.748749e+07 | 166.10%| unknown
644.37/646.31 c 644s| 1 | 0 | 2320k| - | 155M | 0 |3784 |1995 |2903 |3021 | 59 | 343 | 29 | 6.572929e+06 | 1.748749e+07 | 166.05%| unknown
644.37/646.31 c 644s| 1 | 0 | 2321k| - | 155M | 0 |3784 |1995 |2951 |3069 | 60 | 343 | 29 | 6.573003e+06 | 1.748749e+07 | 166.05%| unknown
644.37/646.31 c 644s| 1 | 0 | 2321k| - | 155M | 0 |3784 |1994 |3006 |3124 | 61 | 343 | 29 | 6.573162e+06 | 1.748749e+07 | 166.04%| unknown
644.37/646.31 c 644s| 1 | 0 | 2322k| - | 155M | 0 |3784 |1994 |3049 |3167 | 62 | 343 | 29 | 6.574907e+06 | 1.748749e+07 | 165.97%| unknown
644.37/646.31 c 645s| 1 | 0 | 2322k| - | 155M | 0 |3784 |1994 |3026 |3213 | 63 | 343 | 29 | 6.575200e+06 | 1.748749e+07 | 165.96%| unknown
644.37/646.31 c 645s| 1 | 0 | 2323k| - | 155M | 0 |3784 |1994 |3066 |3253 | 64 | 343 | 29 | 6.579046e+06 | 1.748749e+07 | 165.81%| unknown
644.37/646.31 c 645s| 1 | 0 | 2323k| - | 155M | 0 |3784 |1994 |3112 |3299 | 65 | 343 | 29 | 6.579107e+06 | 1.748749e+07 | 165.80%| unknown
644.37/646.31 c 645s| 1 | 0 | 2323k| - | 155M | 0 |3784 |1994 |3158 |3345 | 66 | 343 | 29 | 6.579149e+06 | 1.748749e+07 | 165.80%| unknown
644.37/646.31 c 645s| 1 | 0 | 2324k| - | 155M | 0 |3784 |1994 |3195 |3382 | 67 | 343 | 29 | 6.580354e+06 | 1.748749e+07 | 165.75%| unknown
644.37/646.31 c 646s| 1 | 0 | 2324k| - | 155M | 0 |3784 |1994 |3178 |3426 | 68 | 343 | 29 | 6.580590e+06 | 1.748749e+07 | 165.74%| unknown
644.37/646.31 c 646s| 1 | 0 | 2325k| - | 155M | 0 |3784 |1994 |3217 |3465 | 69 | 343 | 29 | 6.580652e+06 | 1.748749e+07 | 165.74%| unknown
997.46/1000.42 c 646s| 1 | 0 | 2325k| - | 155M | 0 |3784 |1994 |3254 |3502 | 70 | 343 | 29 | 6.581009e+06 | 1.748749e+07 | 165.73%| unknown
997.46/1000.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.46/1000.42 c 646s| 1 | 0 | 2325k| - | 155M | 0 |3784 |1994 |3291 |3539 | 71 | 343 | 29 | 6.581033e+06 | 1.748749e+07 | 165.73%| unknown
997.46/1000.42 c 646s| 1 | 0 | 2325k| - | 155M | 0 |3784 |1993 |3326 |3574 | 72 | 343 | 29 | 6.581053e+06 | 1.748749e+07 | 165.72%| unknown
997.46/1000.42 c 646s| 1 | 0 | 2326k| - | 155M | 0 |3784 |1993 |3266 |3607 | 73 | 343 | 29 | 6.581891e+06 | 1.748749e+07 | 165.69%| unknown
997.46/1000.42 c 647s| 1 | 0 | 2327k| - | 155M | 0 |3784 |1992 |3314 |3655 | 74 | 343 | 29 | 6.581927e+06 | 1.748749e+07 | 165.69%| unknown
997.46/1000.42 c 647s| 1 | 0 | 2327k| - | 155M | 0 |3784 |1992 |3354 |3695 | 75 | 343 | 29 | 6.582188e+06 | 1.748749e+07 | 165.68%| unknown
997.46/1000.42 c 647s| 1 | 0 | 2327k| - | 155M | 0 |3784 |1992 |3395 |3736 | 76 | 343 | 29 | 6.582268e+06 | 1.748749e+07 | 165.68%| unknown
997.46/1000.42 c 647s| 1 | 0 | 2328k| - | 155M | 0 |3784 |1992 |3432 |3773 | 77 | 343 | 29 | 6.583162e+06 | 1.748749e+07 | 165.64%| unknown
997.46/1000.42 c 647s| 1 | 0 | 2328k| - | 155M | 0 |3784 |1990 |3366 |3807 | 78 | 343 | 29 | 6.584209e+06 | 1.748749e+07 | 165.60%| unknown
997.46/1000.42 c 647s| 1 | 0 | 2329k| - | 155M | 0 |3784 |1990 |3401 |3842 | 79 | 343 | 29 | 6.585135e+06 | 1.748749e+07 | 165.56%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2329k| - | 155M | 0 |3784 |1990 |3434 |3875 | 80 | 343 | 29 | 6.585257e+06 | 1.748749e+07 | 165.56%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2329k| - | 155M | 0 |3784 |1990 |3467 |3908 | 81 | 343 | 29 | 6.585304e+06 | 1.748749e+07 | 165.55%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2329k| - | 155M | 0 |3784 |1990 |3497 |3938 | 82 | 343 | 29 | 6.585311e+06 | 1.748749e+07 | 165.55%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2329k| - | 155M | 0 |3784 |1990 |3405 |3962 | 83 | 343 | 29 | 6.586893e+06 | 1.748749e+07 | 165.49%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2330k| - | 155M | 0 |3784 |1990 |3438 |3995 | 84 | 343 | 29 | 6.586895e+06 | 1.748749e+07 | 165.49%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2330k| - | 155M | 0 |3784 |1990 |3465 |4022 | 85 | 343 | 29 | 6.587164e+06 | 1.748749e+07 | 165.48%| unknown
997.46/1000.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.46/1000.42 c 648s| 1 | 0 | 2330k| - | 155M | 0 |3784 |1990 |3494 |4051 | 86 | 343 | 29 | 6.587189e+06 | 1.748749e+07 | 165.48%| unknown
997.46/1000.42 c 648s| 1 | 0 | 2330k| - | 155M | 0 |3784 |1990 |3523 |4080 | 87 | 343 | 29 | 6.587260e+06 | 1.748749e+07 | 165.47%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2331k| - | 155M | 0 |3784 |1990 |3541 |4098 | 88 | 343 | 29 | 6.589883e+06 | 1.748749e+07 | 165.37%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2331k| - | 155M | 0 |3784 |1990 |3541 |4098 | 88 | 343 | 29 | 6.589883e+06 | 1.748749e+07 | 165.37%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3450 |4130 | 89 | 343 | 29 | 6.590269e+06 | 1.748749e+07 | 165.35%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3480 |4160 | 90 | 343 | 29 | 6.590996e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3508 |4188 | 91 | 343 | 29 | 6.591056e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3535 |4215 | 92 | 343 | 29 | 6.591080e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3564 |4244 | 93 | 343 | 29 | 6.591099e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3593 |4273 | 94 | 343 | 29 | 6.591145e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3543 |4297 | 95 | 343 | 29 | 6.591148e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 649s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3569 |4323 | 96 | 343 | 29 | 6.591176e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2332k| - | 155M | 0 |3784 |1989 |3591 |4345 | 97 | 343 | 29 | 6.591190e+06 | 1.748749e+07 | 165.32%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1989 |3610 |4364 | 98 | 343 | 29 | 6.591242e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1989 |3626 |4380 | 99 | 343 | 29 | 6.591246e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1989 |3642 |4396 |100 | 343 | 29 | 6.591252e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3652 |4396 |100 | 343 | 29 | 6.591252e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3555 |4414 |101 | 343 | 29 | 6.591257e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3572 |4431 |102 | 343 | 29 | 6.591257e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3588 |4447 |103 | 343 | 29 | 6.591257e+06 | 1.748749e+07 | 165.31%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3602 |4461 |104 | 343 | 29 | 6.591512e+06 | 1.748749e+07 | 165.30%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3623 |4482 |105 | 343 | 29 | 6.591514e+06 | 1.748749e+07 | 165.30%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3638 |4497 |106 | 343 | 29 | 6.591514e+06 | 1.748749e+07 | 165.30%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3599 |4510 |107 | 343 | 29 | 6.591515e+06 | 1.748749e+07 | 165.30%| unknown
997.46/1000.42 c 650s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3616 |4527 |108 | 343 | 29 | 6.591943e+06 | 1.748749e+07 | 165.29%| unknown
997.46/1000.42 c 651s| 1 | 0 | 2333k| - | 155M | 0 |3784 |1999 |3634 |4545 |109 | 343 | 29 | 6.591956e+06 | 1.748749e+07 | 165.29%| unknown
997.46/1000.42 c 651s| 1 | 0 | 2334k| - | 155M | 0 |3784 |1999 |3651 |4562 |110 | 343 | 29 | 6.592013e+06 | 1.748749e+07 | 165.28%| unknown
997.46/1000.42 c 651s| 1 | 0 | 2334k| - | 155M | 0 |3784 |1999 |3666 |4577 |111 | 343 | 29 | 6.592018e+06 | 1.748749e+07 | 165.28%| unknown
997.46/1000.42 c 658s| 1 | 2 | 2363k| - | 155M | 0 |3784 |2001 |3666 |4577 |111 | 345 | 49 | 6.592123e+06 | 1.748749e+07 | 165.28%| unknown
997.46/1000.42 c 838s| 100 | 101 | 2536k| 169.6 | 161M | 48 |3784 |2004 |3577 |5321 | 1 | 351 |2627 | 6.592385e+06 | 1.748749e+07 | 165.27%| unknown
997.46/1000.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.46/1000.42 c 899s| 200 | 201 | 2612k| 175.3 | 161M | 75 |3784 |2004 |3638 |5747 | 1 | 355 |4364 | 6.641446e+06 | 1.748749e+07 | 163.31%| unknown
997.46/1000.42 c 924s| 300 | 293 | 2649k| 177.1 | 162M | 93 |3784 |2011 |3384 |5996 | 1 | 363 |5002 | 6.641446e+06 | 1.748749e+07 | 163.31%| unknown
997.46/1000.42 c
997.46/1000.42 c SCIP Status : solving was interrupted [time limit reached]
997.46/1000.42 c Solving Time (sec) : 1000.00
997.46/1000.42 c Solving Nodes : 388 (total of 10630 nodes in 3 runs)
997.46/1000.42 c Primal Bound : +1.74874900000000e+07 (4 solutions)
997.46/1000.42 c Dual Bound : +6.65485473712193e+06
997.46/1000.42 c Gap : 162.78 %
997.46/1000.42 c All original constraints are satisfied.
997.46/1000.42 c SCIP's best solution is verified feasible for the original problem.
997.46/1000.42 c WARNING: SCIP encountered numerical troubles during optimization.
997.46/1000.42 c ----------------------------------------------------------------------
997.46/1000.42 c executing external solver (fallback): HOME/naps-1.03a6
997.46/1000.42 c ----------------------------------------------------------------------
997.46/1000.42 c command: HOME/naps-1.03a6 HOME/instance-4486161-1751288387.opb
997.46/1000.43 c NaPS 1.03a6.
997.46/1000.43 c Input file name: HOME/instance-4486161-1751288387.opb
1091.22/1094.46 c single stage optimization mode
3600.01/3610.30 c
3600.01/3610.30 c *** TERMINATED *** by signal 15
3600.01/3610.30 c _____________________________________________________________________________
3600.01/3610.30 c std/band forms : 246,64
3600.01/3610.30 c 2cl/3cl ITE-codings : 1336301,4056376
3600.01/3610.30 c BDD/srt/adr Max costs : 85992,0,0
3600.01/3610.30 c BDDraw/bin/mul/srt/adr: 8,0,302,0,0
3600.01/3610.30 c BDD nodes : 5639024
3600.01/3610.30 c Es1/CC detections : 0,0
3600.01/3610.30 c CC sort : 0
3600.01/3610.30 c SAT/UNSAT calls : 0,0
3600.01/3610.30 c regenrated variables : 0
3600.01/3610.30 c eliminated fixed lits : 0
3600.01/3610.30 c goal lit flips : 0
3600.01/3610.30 c goal stages : 1
3600.01/3610.30 c goal shrink : 0
3600.01/3610.30 c goal coeff separations: 448
3600.01/3610.30 c restarts : 0
3600.01/3610.30 c conflicts : 0 (0 /sec)
3600.01/3610.30 c decisions : 0 (0 /sec)
3600.01/3610.30 c propagations : 0 (0 /sec)
3600.01/3610.30 c inspects : 0 (0 /sec)
3600.01/3610.30 c CPU time (solving tm) : 2574 s (2481 s, SAT 0 s, UNSAT 0 s)
3600.01/3610.30 c Time for Opt-base : 46.36 s
3600.01/3610.30 c Steps for Opt-base : 267528116
3600.01/3610.30 c Time for BDD coding : 85.51 s
3600.01/3610.30 c Time for srt coding : 0 s
3600.01/3610.30 c _____________________________________________________________________________
997.50/3610.42 c received SIGTERM, forwarding to pbsolver...
997.50/3610.42 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60345 MiB free)
memory of node 1: 64507 MiB (62137 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486161-1751288387/watcher-4486161-1751288387 -o /tmp/evaluation-result-4486161-1751288387/solver-4486161-1751288387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751280833-37159 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486161-1751288387.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
Current StackSize limit: 8192 KiB
solver pid=38686, runsolver pid=38683
[startup+0.100069 s]*
/proc/loadavg: 4.14 4.20 4.15 4/256 38691
/proc/meminfo: memFree=125422060/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=23600 memory=14464 CPUtime=0.07 cores=1,3
/proc/38691/stat : 38691 (python3) D 38686 38686 37147 0 -1 4456448 1887 0 0 0 6 1 0 0 20 0 1 0 44518417 24166400 3616 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 1 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 5900 3616 2048 1 0 1897 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27792 KiB
Current children cumulated memory: 17536 KiB
[startup+0.213829 s]*
/proc/loadavg: 4.14 4.20 4.15 5/256 38691
/proc/meminfo: memFree=125420044/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1186920 memory=31736 CPUtime=0.17 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 3698 0 0 0 15 2 0 0 20 0 1 0 44518417 1215406080 7934 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 296730 7934 4894 1 0 268752 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34808 KiB
[startup+0.317669 s]*
/proc/loadavg: 4.14 4.20 4.15 5/256 38691
/proc/meminfo: memFree=125415004/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1190472 memory=35576 CPUtime=0.25 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 4515 0 0 0 22 3 0 0 20 0 1 0 44518417 1219043328 8894 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 297618 8894 5086 1 0 269509 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194664 KiB
Current children cumulated memory: 38648 KiB
[startup+0.700393 s]
/proc/loadavg: 4.14 4.20 4.15 5/256 38691
/proc/meminfo: memFree=125387788/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1250396 memory=93688 CPUtime=0.61 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 16432 0 0 0 53 8 0 0 20 0 1 0 44518417 1280405504 23422 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 312599 23422 8030 1 0 283957 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 1254588 KiB
Current children cumulated memory: 96760 KiB
[startup+1.50043 s]
/proc/loadavg: 4.14 4.20 4.15 5/256 38691
/proc/meminfo: memFree=125382336/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1280228 memory=122096 CPUtime=1.41 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 24539 0 0 0 131 10 0 0 20 0 1 0 44518417 1310953472 30524 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 320057 30524 8190 1 0 291415 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 1284420 KiB
Current children cumulated memory: 125168 KiB
[startup+3.1132 s]
/proc/loadavg: 4.14 4.20 4.15 5/256 38691
/proc/meminfo: memFree=125407652/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1287280 memory=130748 CPUtime=3.01 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 27172 0 0 0 291 10 0 0 20 0 1 0 44518417 1318174720 32687 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 321820 32687 8190 1 0 293178 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1291472 KiB
Current children cumulated memory: 133820 KiB
[startup+6.30034 s]
/proc/loadavg: 4.13 4.20 4.14 5/256 38691
/proc/meminfo: memFree=125487024/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1288220 memory=132016 CPUtime=6.19 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 29464 0 0 0 608 11 0 0 20 0 1 0 44518417 1319137280 33004 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 322055 33004 8254 1 0 293413 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1292412 KiB
Current children cumulated memory: 135088 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.19 4.14 5/256 38691
/proc/meminfo: memFree=125556032/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1295300 memory=139168 CPUtime=12.57 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 32861 0 0 0 1246 11 0 0 20 0 1 0 44518417 1326387200 34792 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 323825 34792 8254 1 0 295183 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 1299492 KiB
Current children cumulated memory: 142240 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.18 4.14 5/256 38691
/proc/meminfo: memFree=125776360/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1300624 memory=144296 CPUtime=25.33 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 35378 0 0 0 2521 12 0 0 20 0 1 0 44518417 1331838976 36074 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 325156 36074 8254 1 0 296514 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 1304816 KiB
Current children cumulated memory: 147368 KiB
[startup+51.1132 s]
/proc/loadavg: 4.06 4.17 4.14 5/255 38692
/proc/meminfo: memFree=126053492/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1300896 memory=144604 CPUtime=50.87 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 35917 0 0 0 5075 12 0 0 20 0 1 0 44518417 1332117504 36151 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 325224 36151 8254 1 0 296582 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1305088 KiB
Current children cumulated memory: 147676 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.16 4.13 5/256 38707
/proc/meminfo: memFree=126345980/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1327732 memory=177980 CPUtime=101.87 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 46981 0 0 0 10173 14 0 0 20 0 1 0 44518417 1359597568 44495 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 331933 44495 8254 1 0 303291 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1331924 KiB
Current children cumulated memory: 181052 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.18 4.14 5/256 38713
/proc/meminfo: memFree=126736856/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1375160 memory=224800 CPUtime=161.67 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 62438 0 0 0 16151 16 0 0 20 0 1 0 44518417 1408163840 56200 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 343790 56200 8254 1 0 315148 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1379352 KiB
Current children cumulated memory: 227872 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/256 38715
/proc/meminfo: memFree=126895920/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1375160 memory=224800 CPUtime=221.51 cores=1,3
/proc/38691/stat : 38691 (python3) R 38686 38686 37147 0 -1 4194304 62438 0 0 0 22135 16 0 0 20 0 1 0 44518417 1408163840 56200 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 343790 56200 8254 1 0 315148 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1379352 KiB
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 39056
/proc/meminfo: memFree=118897796/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=6693788 memory=6311144 CPUtime=2275.49 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1330228 0 0 0 224972 2577 0 0 20 0 1 0 44618457 6854438912 1577786 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1673447 1577786 608 696 0 1672608 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 8093016 KiB
Current children cumulated memory: 6559196 KiB
[startup+3342.3 s]
/proc/loadavg: 3.68 3.99 4.05 4/250 39088
/proc/meminfo: memFree=123161404/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=5706024 memory=5368680 CPUtime=2335.29 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1336143 0 0 0 230911 2618 0 0 20 0 1 0 44618457 5842968576 1342170 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1426506 1342170 608 696 0 1425667 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 7105252 KiB
Current children cumulated memory: 5616732 KiB
[startup+3402.3 s]
/proc/loadavg: 3.30 3.83 3.99 4/250 39090
/proc/meminfo: memFree=123124268/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=5709960 memory=5375672 CPUtime=2395.12 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1341817 0 0 0 236853 2659 0 0 20 0 1 0 44618457 5846999040 1343918 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1427490 1343918 608 696 0 1426651 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 7109188 KiB
Current children cumulated memory: 5623724 KiB
[startup+3462.3 s]
/proc/loadavg: 3.16 3.69 3.93 4/250 39092
/proc/meminfo: memFree=123231760/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=5478004 memory=5265456 CPUtime=2454.95 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1348429 0 0 0 242795 2700 0 0 20 0 1 0 44618457 5609476096 1316364 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1369501 1316364 608 696 0 1368662 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 6877232 KiB
Current children cumulated memory: 5513508 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.57 3.87 4/250 39094
/proc/meminfo: memFree=123186672/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=5531428 memory=5316324 CPUtime=2514.78 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1356094 0 0 0 248733 2745 0 0 20 0 1 0 44618457 5664182272 1329081 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1382857 1329081 608 696 0 1382018 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 6930656 KiB
Current children cumulated memory: 5564376 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.50 3.83 4/251 39097
/proc/meminfo: memFree=123164152/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=5531324 memory=5318720 CPUtime=2574.6 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1365906 0 0 0 254625 2835 0 0 20 0 1 0 44618457 5664075776 1329680 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1382831 1329680 608 696 0 1381992 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 6930552 KiB
Current children cumulated memory: 5566772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 3.15 3.47 3.81 4/251 39099
/proc/meminfo: memFree=123161064/131382112 swapFree=33010684/33010684
[pid=38686] ppid=38683 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/38686/stat : 38686 (scip-naps-1.00.) S 38683 38686 37147 0 -1 4194304 256 342 0 0 0 0 0 0 20 0 1 0 44518414 4292608 768 18446744073709551615 94409569198080 94409570092613 140731365580608 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94409570331664 94409570379408 94409593319424 140731365587361 140731365587458 140731365587458 140731365593060 0
/proc/38686/statm: 1048 768 704 219 0 110 0
[pid=38691] ppid=38686 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38686 38686 37147 0 -1 4194304 70393 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
[pid=38946] ppid=38691 vsize=5531324 memory=5318720 CPUtime=2602.52 cores=1,3
/proc/38946/stat : 38946 (naps-1.03a6) R 38691 38946 38946 0 -1 4194304 1366192 0 0 0 257417 2835 0 0 20 0 1 0 44618457 5664075776 1329680 18446744073709551615 4198400 7047149 140733816245360 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 9457664 140733816248705 140733816248819 140733816248819 140733816254409 0
/proc/38946/statm: 1382831 1329680 608 696 0 1381992 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6930552 KiB
Current children cumulated memory: 5566772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 38686 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003962 s, system=0.009352 s
[startup+3610.54 s]
# the end of solver process 38691 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.57 s, system=28.714 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.41 s]*
/proc/loadavg: 3.15 3.47 3.81 4/250 39099
/proc/meminfo: memFree=126643328/131382112 swapFree=33010684/33010684
[pid=38691] ppid=38683 vsize=1395036 memory=244980 CPUtime=997.49 cores=1,3
/proc/38691/stat : 38691 (python3) S 38683 38686 37147 0 -1 4194304 70408 0 0 0 99728 21 0 0 20 0 1 0 44518417 1428516864 61245 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 348759 61245 8318 1 0 320117 0
Current cumulated CPU time of completed processes: 0.013314 s
Current children cumulated CPU time: 997.49 s
Current children cumulated vsize: 1395036 KiB
Current children cumulated memory: 244980 KiB
[startup+3610.51 s]
/proc/loadavg: 3.15 3.47 3.81 4/250 39099
/proc/meminfo: memFree=126643328/131382112 swapFree=33010684/33010684
[pid=38691] ppid=38683 vsize=1371288 memory=227156 CPUtime=3600.22 cores=1,3
/proc/38691/stat : 38691 (python3) R 38683 38686 37147 0 -1 4194304 72626 1366193 0 0 99736 21 257417 2848 20 0 1 0 44518417 1404198912 56789 18446744073709551615 94152655491072 94152655491449 140723493784384 0 0 0 0 16781312 0 0 0 0 17 3 0 0 0 0 0 94152655502744 94152655503364 94152677818368 140723493792103 140723493792290 140723493792290 140723493797863 0
/proc/38691/statm: 342822 56789 8318 1 0 314180 0
Current cumulated CPU time of completed processes: 0.013314 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 1371288 KiB
Current children cumulated memory: 227156 KiB
Child status: 0
Real time (s): 3610.54
CPU time (s): 3600.28
CPU user time (s): 3571.57
CPU system time (s): 28.714
CPU usage (%): 99.7159
Max. virtual memory (cumulated for all children) (KiB): 8987460
Max. memory (cumulated for all children) (KiB): 7445204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.57
system time used= 28.714
maximum resident set size= 7197152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1440433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 388
involuntary context switches= 3014
# summary of solver processes directly reported to runsolver:
# pid: 38686,38691
# total CPU time (s): 3600.28
# total CPU user time (s): 3571.57
# total CPU system time (s): 28.714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5226 second user time and 41.1744 second system time
The end