68.27/68.51 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530133-1752252889.opb
68.27/68.51 c Solving mode: optimization
68.27/68.51 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
68.27/68.51 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
68.27/68.51 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
68.27/68.51 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.760000e+02
68.27/68.51 c presolving:
68.27/68.51 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 82 chg coeffs, 0 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 12 chg sides, 82 chg coeffs, 476 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (round 3, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 126 chg sides, 381 chg coeffs, 476 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (round 4, medium) 0 del vars, 122 del conss, 214 add conss, 0 chg bounds, 318 chg sides, 744 chg coeffs, 476 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (round 5, fast) 0 del vars, 150 del conss, 229 add conss, 0 chg bounds, 392 chg sides, 1111 chg coeffs, 476 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (round 6, fast) 0 del vars, 150 del conss, 229 add conss, 0 chg bounds, 392 chg sides, 1114 chg coeffs, 476 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (round 7, exhaustive) 0 del vars, 150 del conss, 229 add conss, 0 chg bounds, 392 chg sides, 1117 chg coeffs, 476 upgd conss, 0 impls, 108 clqs
68.27/68.51 c (0.0s) probing: 51/476 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
68.27/68.51 c (0.0s) probing aborted: 50/50 successive totally useless probings
68.27/68.51 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
68.27/68.51 c (0.0s) no symmetry present (symcode time: 0.00)
68.27/68.51 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
68.27/68.51 c 0 deleted vars, 150 deleted constraints, 229 added constraints, 0 tightened bounds, 0 added holes, 392 changed sides, 1117 changed coefficients
68.27/68.51 c 0 implications, 108 cliques
68.27/68.51 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 555 constraints
68.27/68.51 c 430 constraints of type <knapsack>
68.27/68.51 c 108 constraints of type <setppc>
68.27/68.51 c 17 constraints of type <logicor>
68.27/68.51 c transformed objective value is always integral (scale: 1)
68.27/68.51 c Presolving Time: 0.02
68.27/68.51 c transformed 1/1 original solutions to the transformed problem space
68.27/68.51 c
68.27/68.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.27/68.51 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 476 | 555 | 555 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.170000e+02 | Inf | unknown
68.27/68.51 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 476 | 555 | 555 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.060000e+02 | Inf | unknown
68.27/68.51 c 0.6s| 1 | 0 | 10463 | - | 7425k | 0 | 476 | 555 | 555 | 0 | 0 | 0 | 0 | 1.503015e+02 | 2.060000e+02 | 37.06%| unknown
68.27/68.51 c 0.8s| 1 | 0 | 11103 | - | 23M | 0 | 476 | 555 | 616 | 61 | 1 | 0 | 0 | 1.538642e+02 | 2.060000e+02 | 33.88%| unknown
68.27/68.51 c 0.9s| 1 | 0 | 11807 | - | 37M | 0 | 476 | 555 | 679 | 124 | 2 | 0 | 0 | 1.564144e+02 | 2.060000e+02 | 31.70%| unknown
68.27/68.51 c 1.0s| 1 | 0 | 12409 | - | 50M | 0 | 476 | 555 | 737 | 182 | 3 | 0 | 0 | 1.578620e+02 | 2.060000e+02 | 30.49%| unknown
68.27/68.51 c 1.2s| 1 | 0 | 12924 | - | 61M | 0 | 476 | 555 | 798 | 243 | 4 | 0 | 0 | 1.590831e+02 | 2.060000e+02 | 29.49%| unknown
68.27/68.51 c 1.3s| 1 | 0 | 13396 | - | 73M | 0 | 476 | 555 | 852 | 297 | 5 | 0 | 0 | 1.600432e+02 | 2.060000e+02 | 28.72%| unknown
68.27/68.51 c 1.4s| 1 | 0 | 13719 | - | 86M | 0 | 476 | 555 | 890 | 335 | 6 | 0 | 0 | 1.605374e+02 | 2.060000e+02 | 28.32%| unknown
68.27/68.51 c 1.5s| 1 | 0 | 13958 | - | 100M | 0 | 476 | 555 | 923 | 368 | 7 | 0 | 0 | 1.608071e+02 | 2.060000e+02 | 28.10%| unknown
68.27/68.51 c 1.6s| 1 | 0 | 14248 | - | 103M | 0 | 476 | 555 | 958 | 403 | 8 | 0 | 0 | 1.610717e+02 | 2.060000e+02 | 27.89%| unknown
68.27/68.51 c 1.8s| 1 | 0 | 14584 | - | 121M | 0 | 476 | 555 | 985 | 430 | 9 | 0 | 0 | 1.612720e+02 | 2.060000e+02 | 27.73%| unknown
68.27/68.51 c 1.9s| 1 | 0 | 14825 | - | 138M | 0 | 476 | 555 |1009 | 454 | 10 | 0 | 0 | 1.614048e+02 | 2.060000e+02 | 27.63%| unknown
68.27/68.51 c 2.0s| 1 | 0 | 15042 | - | 138M | 0 | 476 | 555 |1034 | 482 | 11 | 0 | 0 | 1.615113e+02 | 2.060000e+02 | 27.55%| unknown
68.27/68.51 c 2.0s| 1 | 0 | 15294 | - | 138M | 0 | 476 | 555 |1063 | 511 | 12 | 0 | 0 | 1.616384e+02 | 2.060000e+02 | 27.44%| unknown
68.27/68.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.27/68.51 c 2.1s| 1 | 0 | 15577 | - | 138M | 0 | 476 | 555 |1094 | 542 | 13 | 0 | 0 | 1.617517e+02 | 2.060000e+02 | 27.36%| unknown
68.27/68.51 c 2.2s| 1 | 0 | 15727 | - | 138M | 0 | 476 | 555 |1112 | 560 | 14 | 0 | 0 | 1.617889e+02 | 2.060000e+02 | 27.33%| unknown
68.27/68.51 c 2.2s| 1 | 0 | 15849 | - | 138M | 0 | 476 | 555 |1129 | 577 | 15 | 0 | 0 | 1.618116e+02 | 2.060000e+02 | 27.31%| unknown
68.27/68.51 c 2.3s| 1 | 0 | 15953 | - | 138M | 0 | 476 | 555 |1143 | 591 | 16 | 0 | 0 | 1.618257e+02 | 2.060000e+02 | 27.30%| unknown
68.27/68.51 c 2.4s| 1 | 0 | 15972 | - | 138M | 0 | 476 | 555 |1072 | 594 | 17 | 0 | 0 | 1.618281e+02 | 2.060000e+02 | 27.30%| unknown
68.27/68.51 c 2.4s| 1 | 0 | 15985 | - | 138M | 0 | 476 | 555 |1073 | 595 | 18 | 0 | 0 | 1.618282e+02 | 2.060000e+02 | 27.30%| unknown
68.27/68.51 c 2.4s| 1 | 0 | 15987 | - | 139M | 0 | 476 | 555 |1074 | 596 | 19 | 0 | 0 | 1.618283e+02 | 2.060000e+02 | 27.30%| unknown
68.27/68.51 c 5.1s| 1 | 2 | 15987 | - | 140M | 0 | 476 | 555 |1074 | 596 | 20 | 0 | 42 | 1.622003e+02 | 2.060000e+02 | 27.00%| unknown
68.27/68.51 c 20.5s| 100 | 101 | 48076 | 324.1 | 236M | 44 | 476 | 555 | 997 |1455 | 1 | 2 | 371 | 1.624675e+02 | 2.060000e+02 | 26.79%| unknown
68.27/68.51 c 27.1s| 200 | 201 | 99690 | 420.6 | 239M | 44 | 476 | 555 |1073 |2161 | 1 | 2 | 414 | 1.625751e+02 | 2.060000e+02 | 26.71%| unknown
68.27/68.51 c d28.6s| 225 | 226 |109637 | 418.1 |pscostdi| 44 | 476 | 555 |1017 | 0 | 1 | 2 | 429 | 1.626357e+02 | 2.050000e+02 | 26.05%| unknown
68.27/68.51 c d28.6s| 225 | 226 |109656 | 418.2 |pscostdi| 44 | 476 | 555 |1017 | 0 | 1 | 2 | 429 | 1.626357e+02 | 2.040000e+02 | 25.43%| unknown
68.27/68.51 c d28.6s| 225 | 226 |109663 | 418.2 |pscostdi| 44 | 476 | 555 |1017 | 0 | 1 | 2 | 429 | 1.626357e+02 | 2.010000e+02 | 23.59%| unknown
68.27/68.51 c 34.3s| 300 | 301 |157886 | 474.6 | 245M | 55 | 476 | 555 |1092 |3027 | 1 | 2 | 458 | 1.626357e+02 | 2.010000e+02 | 23.59%| unknown
68.27/68.51 c d39.5s| 367 | 368 |195943 | 491.7 |pscostdi| 55 | 476 | 555 |1019 | 0 | 1 | 7 | 496 | 1.626357e+02 | 1.990000e+02 | 22.36%| unknown
68.27/68.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.27/68.51 c 41.7s| 400 | 401 |212499 | 492.5 | 247M | 55 | 476 | 555 |1192 |3995 | 1 | 10 | 506 | 1.626357e+02 | 1.990000e+02 | 22.36%| unknown
68.27/68.51 c 47.9s| 500 | 501 |261731 | 492.5 | 254M | 55 | 476 | 555 |1194 |4497 | 1 | 13 | 559 | 1.626357e+02 | 1.990000e+02 | 22.36%| unknown
68.27/68.51 c L53.4s| 567 | 568 |295572 | 494.0 | rins| 55 | 476 | 555 |1186 |4993 | 1 | 17 | 602 | 1.626357e+02 | 1.980000e+02 | 21.74%| unknown
68.27/68.51 c 56.2s| 600 | 601 |313767 | 497.1 | 257M | 55 | 476 | 555 |1048 |5462 | 6 | 18 | 624 | 1.626357e+02 | 1.980000e+02 | 21.74%| unknown
68.27/68.51 c 62.7s| 700 | 701 |370008 | 506.5 | 259M | 55 | 476 | 555 |1172 |6225 | 1 | 26 | 642 | 1.626357e+02 | 1.980000e+02 | 21.74%| unknown
68.27/68.51 c L68.3s| 767 | 768 |404809 | 507.6 | rins| 55 | 476 | 555 |1206 |6634 | 1 | 35 | 672 | 1.626357e+02 | 1.970000e+02 | 21.13%| unknown
171.61/172.10 c i68.4s| 768 | 769 |404846 | 507.0 | oneopt| 55 | 476 | 555 |1206 |6634 | 1 | 35 | 672 | 1.626357e+02 | 1.960000e+02 | 20.51%| unknown
171.61/172.10 c 72.3s| 800 | 801 |447407 | 539.9 | 260M | 55 | 476 | 555 |1036 |7004 | 1 | 36 | 672 | 1.626357e+02 | 1.960000e+02 | 20.51%| unknown
171.61/172.10 c 80.8s| 900 | 901 |514054 | 554.0 | 262M | 55 | 476 | 555 |1044 |8284 | 6 | 37 | 676 | 1.626357e+02 | 1.960000e+02 | 20.51%| unknown
171.61/172.10 c 88.9s| 1000 | 1001 |576597 | 561.2 | 263M | 55 | 476 | 555 |1163 |9359 | 1 | 40 | 677 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
171.61/172.10 c (run 1, node 1049) performing user restart
171.61/172.10 c
171.61/172.10 c (restart) converted 417 cuts from the global cut pool into linear constraints
171.61/172.10 c
171.61/172.10 c presolving:
171.61/172.10 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 108 clqs
171.61/172.10 c (round 2, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 108 clqs
171.61/172.10 c (round 3, exhaustive) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 30 chg coeffs, 415 upgd conss, 0 impls, 108 clqs
171.61/172.10 c (round 4, fast) 0 del vars, 2 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 35 chg coeffs, 415 upgd conss, 0 impls, 108 clqs
171.61/172.10 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
171.61/172.10 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 35 changed coefficients
171.61/172.10 c 0 implications, 108 cliques
171.61/172.10 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 970 constraints
171.61/172.10 c 723 constraints of type <knapsack>
171.61/172.10 c 108 constraints of type <setppc>
171.61/172.10 c 139 constraints of type <logicor>
171.61/172.10 c transformed objective value is always integral (scale: 1)
171.61/172.10 c Presolving Time: 0.03
171.61/172.10 c transformed 81/100 original solutions to the transformed problem space
171.61/172.10 c
171.61/172.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.61/172.10 c 93.9s| 1 | 0 |608309 | - | 237M | 0 | 476 | 970 | 970 | 0 | 0 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.0s| 1 | 0 |608771 | - | 238M | 0 | 476 | 970 |1008 | 38 | 1 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.1s| 1 | 0 |609120 | - | 240M | 0 | 476 | 970 |1033 | 63 | 2 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.2s| 1 | 0 |609362 | - | 229M | 0 | 476 | 970 |1056 | 86 | 3 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.3s| 1 | 0 |609478 | - | 235M | 0 | 476 | 970 |1068 | 98 | 4 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.5s| 1 | 0 |609618 | - | 239M | 0 | 476 | 970 |1075 | 105 | 5 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.6s| 1 | 0 |609796 | - | 236M | 0 | 476 | 970 |1085 | 115 | 6 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.7s| 1 | 0 |609956 | - | 235M | 0 | 476 | 970 |1094 | 124 | 7 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 94.9s| 1 | 0 |610075 | - | 236M | 0 | 476 | 970 |1100 | 130 | 8 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.0s| 1 | 0 |610182 | - | 237M | 0 | 476 | 970 |1102 | 132 | 9 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.1s| 1 | 0 |610311 | - | 240M | 0 | 476 | 970 |1109 | 139 | 10 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.2s| 1 | 0 |610387 | - | 240M | 0 | 476 | 970 |1011 | 142 | 11 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.3s| 1 | 0 |610450 | - | 240M | 0 | 476 | 970 |1015 | 146 | 12 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.4s| 1 | 0 |610570 | - | 240M | 0 | 476 | 970 |1019 | 150 | 13 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.5s| 1 | 0 |610601 | - | 240M | 0 | 476 | 970 |1024 | 155 | 14 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.61/172.10 c 95.6s| 1 | 0 |610647 | - | 240M | 0 | 476 | 970 |1028 | 159 | 15 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 95.7s| 1 | 0 |610731 | - | 240M | 0 | 476 | 970 |1033 | 164 | 16 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 96.3s| 1 | 2 |613731 | - | 240M | 0 | 476 | 970 |1033 | 164 | 16 | 43 | 714 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 112s| 100 | 101 |677363 | 571.5 | 259M | 34 | 476 | 970 | 976 | 509 | 1 | 47 | 928 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 119s| 200 | 201 |721650 | 561.2 | 264M | 42 | 476 | 970 | 994 | 870 | 1 | 52 | 977 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 125s| 300 | 301 |763327 | 550.5 | 271M | 44 | 476 | 970 |1016 |1242 | 1 | 56 |1010 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 132s| 400 | 401 |804592 | 540.9 | 275M | 52 | 476 | 970 |1066 |1736 | 1 | 62 |1058 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 133s| 500 | 487 |814377 | 512.3 | 275M | 124 | 476 | 970 |1094 |1786 | 1 | 64 |1080 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.61/172.10 c 135s| 600 | 517 |828730 | 489.9 | 276M | 128 | 476 | 970 |1094 |1911 | 1 | 67 |1095 | 1.627441e+02 | 1.960000e+02 | 20.43%| unknown
171.61/172.10 c 137s| 700 | 567 |840017 | 468.4 | 276M | 128 | 476 | 970 |1094 |1987 | 1 | 70 |1113 | 1.628054e+02 | 1.960000e+02 | 20.39%| unknown
171.61/172.10 c 141s| 800 | 617 |877087 | 463.1 | 276M | 128 | 476 | 970 |1096 |2132 | 1 | 73 |1131 | 1.628645e+02 | 1.960000e+02 | 20.35%| unknown
171.61/172.10 c 143s| 900 | 649 |890638 | 446.3 | 277M | 128 | 476 | 970 |1099 |2259 | 2 | 75 |1151 | 1.628645e+02 | 1.960000e+02 | 20.35%| unknown
171.61/172.10 c L 145s| 969 | 653 |897452 | 434.4 | rins| 128 | 476 | 970 |1101 |2343 | 2 | 76 |1159 | 1.628645e+02 | 1.950000e+02 | 19.73%| unknown
171.61/172.10 c 147s| 1000 | 668 |904919 | 431.4 | 277M | 128 | 476 | 970 | 944 |2468 | 1 | 76 |1168 | 1.629054e+02 | 1.950000e+02 | 19.70%| unknown
171.61/172.10 c 149s| 1100 | 684 |916795 | 416.9 | 277M | 128 | 476 | 970 |1097 |2549 | 2 | 79 |1172 | 1.629321e+02 | 1.950000e+02 | 19.68%| unknown
171.61/172.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.61/172.10 c 150s| 1200 | 702 |927080 | 402.9 | 277M | 128 | 476 | 970 |1097 |2622 | 2 | 80 |1174 | 1.629586e+02 | 1.950000e+02 | 19.66%| unknown
171.61/172.10 c 153s| 1300 | 744 |949110 | 395.1 | 277M | 128 | 476 | 970 |1098 |2859 | 2 | 83 |1178 | 1.629950e+02 | 1.950000e+02 | 19.64%| unknown
171.61/172.10 c 155s| 1400 | 762 |963313 | 384.8 | 278M | 128 | 476 | 970 |1096 |2982 | 2 | 85 |1179 | 1.630139e+02 | 1.950000e+02 | 19.62%| unknown
171.61/172.10 c 158s| 1500 | 798 |981852 | 377.0 | 278M | 128 | 476 | 970 |1097 |3151 | 2 | 88 |1180 | 1.630748e+02 | 1.950000e+02 | 19.58%| unknown
171.61/172.10 c 159s| 1600 | 820 |991721 | 366.5 | 278M | 128 | 476 | 970 |1097 |3241 | 2 | 92 |1180 | 1.630874e+02 | 1.950000e+02 | 19.57%| unknown
171.61/172.10 c 161s| 1700 | 846 | 1001k| 356.6 | 278M | 128 | 476 | 970 |1100 |3316 | 1 | 104 |1183 | 1.630914e+02 | 1.950000e+02 | 19.56%| unknown
171.61/172.10 c 164s| 1800 | 894 | 1020k| 350.8 | 278M | 128 | 476 | 970 |1098 |3552 | 1 | 112 |1188 | 1.631570e+02 | 1.950000e+02 | 19.52%| unknown
171.61/172.10 c 167s| 1900 | 942 | 1041k| 346.0 | 278M | 128 | 476 | 970 |1099 |3782 | 2 | 117 |1190 | 1.631915e+02 | 1.950000e+02 | 19.49%| unknown
171.61/172.10 c 169s| 2000 | 966 | 1057k| 340.0 | 279M | 128 | 476 | 970 |1101 |4030 | 2 | 126 |1190 | 1.632128e+02 | 1.950000e+02 | 19.48%| unknown
345.19/346.11 c 172s| 2100 | 1004 | 1074k| 334.5 | 279M | 128 | 476 | 970 | 956 |4350 | 1 | 133 |1191 | 1.632223e+02 | 1.950000e+02 | 19.47%| unknown
345.19/346.11 c 174s| 2200 | 1040 | 1090k| 329.3 | 279M | 128 | 476 | 970 |1099 |4576 | 1 | 140 |1191 | 1.632293e+02 | 1.950000e+02 | 19.46%| unknown
345.19/346.11 c 176s| 2300 | 1072 | 1105k| 323.7 | 279M | 128 | 476 | 970 |1098 |4789 | 1 | 147 |1192 | 1.632412e+02 | 1.950000e+02 | 19.46%| unknown
345.19/346.11 c 179s| 2400 | 1104 | 1120k| 318.9 | 280M | 128 | 476 | 970 | 961 |5067 | 1 | 155 |1193 | 1.632612e+02 | 1.950000e+02 | 19.44%| unknown
345.19/346.11 c 180s| 2500 | 1112 | 1131k| 313.0 | 280M | 128 | 476 | 970 |1099 |5171 | 1 | 167 |1194 | 1.632666e+02 | 1.950000e+02 | 19.44%| unknown
345.19/346.11 c 182s| 2600 | 1142 | 1147k| 308.6 | 280M | 128 | 476 | 970 |1101 |5351 | 1 | 173 |1194 | 1.632852e+02 | 1.950000e+02 | 19.42%| unknown
345.19/346.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
345.19/346.11 c 185s| 2700 | 1184 | 1166k| 305.5 | 280M | 128 | 476 | 970 |1101 |5656 | 1 | 179 |1195 | 1.632996e+02 | 1.950000e+02 | 19.41%| unknown
345.19/346.11 c 186s| 2800 | 1186 | 1170k| 298.7 | 280M | 128 | 476 | 970 |1102 |5663 | 0 | 187 |1195 | 1.632996e+02 | 1.950000e+02 | 19.41%| unknown
345.19/346.11 c 189s| 2900 | 1224 | 1207k| 300.6 | 280M | 128 | 476 | 970 |1104 |5860 | 1 | 195 |1195 | 1.633080e+02 | 1.950000e+02 | 19.41%| unknown
345.19/346.11 c 191s| 3000 | 1238 | 1217k| 295.5 | 280M | 128 | 476 | 970 |1104 |5967 | 1 | 207 |1196 | 1.633108e+02 | 1.950000e+02 | 19.40%| unknown
345.19/346.11 c 192s| 3100 | 1258 | 1229k| 291.2 | 280M | 128 | 476 | 970 |1102 |6111 | 2 | 217 |1208 | 1.633134e+02 | 1.950000e+02 | 19.40%| unknown
345.19/346.11 c 196s| 3200 | 1286 | 1249k| 289.2 | 280M | 128 | 476 | 970 |1101 |6385 | 1 | 226 |1224 | 1.633440e+02 | 1.950000e+02 | 19.38%| unknown
345.19/346.11 c 200s| 3300 | 1330 | 1278k| 289.1 | 280M | 128 | 476 | 970 |1102 |6710 | 1 | 233 |1228 | 1.633482e+02 | 1.950000e+02 | 19.38%| unknown
345.19/346.11 c L 200s| 3332 | 1241 | 1282k| 287.9 | rins| 128 | 476 | 970 |1102 |6722 | 2 | 235 |1228 | 1.633482e+02 | 1.930000e+02 | 18.15%| unknown
345.19/346.11 c 202s| 3400 | 1259 | 1300k| 287.6 | 281M | 128 | 476 | 970 |1100 |6844 | 1 | 238 |1229 | 1.633534e+02 | 1.930000e+02 | 18.15%| unknown
345.19/346.11 c 207s| 3500 | 1299 | 1337k| 289.4 | 281M | 128 | 476 | 970 | 954 |7134 | 1 | 249 |1234 | 1.633651e+02 | 1.930000e+02 | 18.14%| unknown
345.19/346.11 c 214s| 3600 | 1357 | 1391k| 294.9 | 281M | 128 | 476 | 970 |1103 |7550 | 2 | 256 |1236 | 1.633776e+02 | 1.930000e+02 | 18.13%| unknown
345.19/346.11 c 216s| 3700 | 1377 | 1414k| 293.4 | 281M | 128 | 476 | 970 |1102 |7665 | 1 | 260 |1239 | 1.633798e+02 | 1.930000e+02 | 18.13%| unknown
345.19/346.11 c 221s| 3800 | 1421 | 1456k| 296.1 | 281M | 128 | 476 | 970 |1098 |7882 | 1 | 268 |1239 | 1.633967e+02 | 1.930000e+02 | 18.12%| unknown
345.19/346.11 c 226s| 3900 | 1455 | 1499k| 298.8 | 281M | 128 | 476 | 970 |1110 |8199 | 4 | 280 |1239 | 1.634298e+02 | 1.930000e+02 | 18.09%| unknown
345.19/346.11 c 232s| 4000 | 1493 | 1560k| 304.8 | 281M | 128 | 476 | 970 |1100 |8507 | 1 | 287 |1239 | 1.634351e+02 | 1.930000e+02 | 18.09%| unknown
345.19/346.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
345.19/346.11 c 235s| 4100 | 1527 | 1593k| 305.3 | 281M | 128 | 476 | 970 |1099 |8741 | 1 | 295 |1240 | 1.634388e+02 | 1.930000e+02 | 18.09%| unknown
345.19/346.11 c 240s| 4200 | 1547 | 1624k| 305.6 | 282M | 128 | 476 | 970 |1096 |8960 | 1 | 307 |1261 | 1.634669e+02 | 1.930000e+02 | 18.07%| unknown
345.19/346.11 c 244s| 4300 | 1593 | 1656k| 305.7 | 282M | 128 | 476 | 970 |1102 |9199 | 2 | 316 |1265 | 1.635032e+02 | 1.930000e+02 | 18.04%| unknown
345.19/346.11 c 246s| 4400 | 1603 | 1678k| 304.2 | 282M | 128 | 476 | 970 |1102 |9348 | 1 | 328 |1268 | 1.635154e+02 | 1.930000e+02 | 18.03%| unknown
345.19/346.11 c 250s| 4500 | 1639 | 1711k| 304.6 | 282M | 128 | 476 | 970 |1104 |9600 | 0 | 337 |1270 | 1.635290e+02 | 1.930000e+02 | 18.02%| unknown
345.19/346.11 c 251s| 4600 | 1637 | 1725k| 301.7 | 282M | 128 | 476 | 970 |1105 |9642 | 1 | 346 |1270 | 1.635290e+02 | 1.930000e+02 | 18.02%| unknown
345.19/346.11 c 254s| 4700 | 1671 | 1760k| 302.6 | 282M | 128 | 476 | 970 |1102 |9846 | 1 | 354 |1271 | 1.635364e+02 | 1.930000e+02 | 18.02%| unknown
345.19/346.11 c 257s| 4800 | 1681 | 1783k| 301.4 | 282M | 128 | 476 | 970 |1102 |9957 | 1 | 365 |1274 | 1.635405e+02 | 1.930000e+02 | 18.01%| unknown
345.19/346.11 c 261s| 4900 | 1717 | 1819k| 302.2 | 282M | 128 | 476 | 970 |1104 | 10k| 1 | 372 |1276 | 1.635428e+02 | 1.930000e+02 | 18.01%| unknown
345.19/346.11 c 264s| 5000 | 1751 | 1849k| 302.3 | 282M | 128 | 476 | 970 |1103 | 10k| 2 | 383 |1278 | 1.635571e+02 | 1.930000e+02 | 18.00%| unknown
345.19/346.11 c 268s| 5100 | 1779 | 1885k| 303.3 | 282M | 128 | 476 | 970 |1104 | 10k| 1 | 398 |1279 | 1.635700e+02 | 1.930000e+02 | 17.99%| unknown
345.19/346.11 c 273s| 5200 | 1819 | 1929k| 305.3 | 282M | 128 | 476 | 970 |1103 | 10k| 1 | 405 |1279 | 1.635754e+02 | 1.930000e+02 | 17.99%| unknown
345.19/346.11 c 275s| 5300 | 1837 | 1951k| 304.1 | 282M | 128 | 476 | 970 |1107 | 11k| 1 | 412 |1279 | 1.635761e+02 | 1.930000e+02 | 17.99%| unknown
345.19/346.11 c 278s| 5400 | 1839 | 1975k| 303.1 | 282M | 128 | 476 | 970 |1106 | 11k| 1 | 423 |1291 | 1.635762e+02 | 1.930000e+02 | 17.99%| unknown
345.19/346.11 c 282s| 5500 | 1855 | 2012k| 304.1 | 282M | 128 | 476 | 970 |1109 | 11k| 1 | 433 |1304 | 1.635894e+02 | 1.930000e+02 | 17.98%| unknown
345.19/346.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
345.19/346.11 c 287s| 5600 | 1893 | 2047k| 304.8 | 282M | 128 | 476 | 970 | 959 | 11k| 1 | 437 |1311 | 1.636055e+02 | 1.930000e+02 | 17.97%| unknown
345.19/346.11 c 291s| 5700 | 1937 | 2084k| 305.7 | 282M | 128 | 476 | 970 |1102 | 11k| 1 | 442 |1316 | 1.636106e+02 | 1.930000e+02 | 17.96%| unknown
345.19/346.11 c 295s| 5800 | 1979 | 2123k| 306.9 | 283M | 128 | 476 | 970 |1106 | 12k| 1 | 457 |1322 | 1.636142e+02 | 1.930000e+02 | 17.96%| unknown
345.19/346.11 c 298s| 5900 | 2023 | 2150k| 306.4 | 283M | 128 | 476 | 970 | 958 | 12k| 1 | 464 |1331 | 1.636223e+02 | 1.930000e+02 | 17.95%| unknown
345.19/346.11 c 300s| 6000 | 2051 | 2178k| 306.1 | 283M | 128 | 476 | 970 |1100 | 12k| 2 | 467 |1333 | 1.636247e+02 | 1.930000e+02 | 17.95%| unknown
345.19/346.11 c 302s| 6100 | 2075 | 2196k| 304.3 | 283M | 128 | 476 | 970 | 953 | 12k| 1 | 475 |1336 | 1.636316e+02 | 1.930000e+02 | 17.95%| unknown
345.19/346.11 c 307s| 6200 | 2123 | 2237k| 305.8 | 283M | 128 | 476 | 970 |1103 | 12k| 1 | 481 |1336 | 1.636420e+02 | 1.930000e+02 | 17.94%| unknown
345.19/346.11 c 310s| 6300 | 2139 | 2266k| 305.6 | 283M | 128 | 476 | 970 |1111 | 12k| 2 | 487 |1336 | 1.636446e+02 | 1.930000e+02 | 17.94%| unknown
345.19/346.11 c 315s| 6400 | 2189 | 2310k| 307.3 | 283M | 128 | 476 | 970 |1105 | 13k| 1 | 498 |1337 | 1.636635e+02 | 1.930000e+02 | 17.92%| unknown
345.19/346.11 c 319s| 6500 | 2227 | 2343k| 307.6 | 283M | 128 | 476 | 970 |1107 | 13k| 2 | 511 |1337 | 1.636638e+02 | 1.930000e+02 | 17.92%| unknown
345.19/346.11 c 321s| 6600 | 2243 | 2370k| 307.2 | 283M | 128 | 476 | 970 |1107 | 13k| 1 | 532 |1337 | 1.636656e+02 | 1.930000e+02 | 17.92%| unknown
345.19/346.11 c 328s| 6700 | 2279 | 2434k| 311.5 | 283M | 128 | 476 | 970 |1109 | 13k| 2 | 541 |1340 | 1.636788e+02 | 1.930000e+02 | 17.91%| unknown
345.19/346.11 c 331s| 6800 | 2309 | 2467k| 311.7 | 283M | 128 | 476 | 970 |1110 | 14k| 1 | 547 |1341 | 1.636857e+02 | 1.930000e+02 | 17.91%| unknown
345.19/346.11 c 335s| 6900 | 2339 | 2498k| 311.6 | 284M | 128 | 476 | 970 |1109 | 14k| 1 | 555 |1341 | 1.636904e+02 | 1.930000e+02 | 17.91%| unknown
345.19/346.11 c 339s| 7000 | 2373 | 2533k| 312.2 | 284M | 128 | 476 | 970 | 952 | 14k| 1 | 568 |1342 | 1.636921e+02 | 1.930000e+02 | 17.90%| unknown
345.19/346.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
345.19/346.11 c 340s| 7100 | 2377 | 2551k| 310.6 | 284M | 128 | 476 | 970 |1109 | 14k| 0 | 584 |1342 | 1.636921e+02 | 1.930000e+02 | 17.90%| unknown
501.41/502.78 c 346s| 7200 | 2431 | 2597k| 312.4 | 284M | 128 | 476 | 970 |1109 | 15k| 2 | 592 |1343 | 1.637103e+02 | 1.930000e+02 | 17.89%| unknown
501.41/502.78 c 348s| 7300 | 2453 | 2617k| 311.0 | 284M | 128 | 476 | 970 |1108 | 15k| 1 | 605 |1343 | 1.637130e+02 | 1.930000e+02 | 17.89%| unknown
501.41/502.78 c 350s| 7400 | 2469 | 2640k| 310.0 | 284M | 128 | 476 | 970 | 954 | 15k| 1 | 625 |1344 | 1.637287e+02 | 1.930000e+02 | 17.88%| unknown
501.41/502.78 c 354s| 7500 | 2491 | 2675k| 310.5 | 284M | 128 | 476 | 970 |1107 | 15k| 1 | 642 |1344 | 1.637374e+02 | 1.930000e+02 | 17.87%| unknown
501.41/502.78 c 356s| 7600 | 2517 | 2700k| 309.8 | 284M | 128 | 476 | 970 |1104 | 15k| 1 | 655 |1344 | 1.637435e+02 | 1.930000e+02 | 17.87%| unknown
501.41/502.78 c 361s| 7700 | 2549 | 2743k| 311.2 | 284M | 128 | 476 | 970 |1110 | 16k| 2 | 664 |1344 | 1.637539e+02 | 1.930000e+02 | 17.86%| unknown
501.41/502.78 c 364s| 7800 | 2573 | 2772k| 311.0 | 284M | 128 | 476 | 970 |1107 | 16k| 0 | 672 |1345 | 1.637573e+02 | 1.930000e+02 | 17.86%| unknown
501.41/502.78 c 368s| 7900 | 2613 | 2808k| 311.5 | 284M | 128 | 476 | 970 | 948 | 16k| 1 | 681 |1355 | 1.637746e+02 | 1.930000e+02 | 17.84%| unknown
501.41/502.78 c 374s| 8000 | 2667 | 2853k| 313.0 | 284M | 128 | 476 | 970 |1106 | 16k| 1 | 691 |1358 | 1.637817e+02 | 1.930000e+02 | 17.84%| unknown
501.41/502.78 c 377s| 8100 | 2691 | 2881k| 312.6 | 284M | 128 | 476 | 970 |1109 | 16k| 1 | 704 |1360 | 1.637817e+02 | 1.930000e+02 | 17.84%| unknown
501.41/502.78 c 379s| 8200 | 2715 | 2905k| 311.8 | 284M | 128 | 476 | 970 |1107 | 16k| 1 | 716 |1361 | 1.637846e+02 | 1.930000e+02 | 17.84%| unknown
501.41/502.78 c 384s| 8300 | 2769 | 2948k| 313.2 | 284M | 128 | 476 | 970 |1108 | 17k| 3 | 727 |1362 | 1.638104e+02 | 1.930000e+02 | 17.82%| unknown
501.41/502.78 c 386s| 8400 | 2793 | 2973k| 312.5 | 284M | 128 | 476 | 970 |1109 | 17k| 1 | 744 |1362 | 1.638120e+02 | 1.930000e+02 | 17.82%| unknown
501.41/502.78 c 388s| 8500 | 2831 | 2999k| 311.9 | 284M | 128 | 476 | 970 |1103 | 17k| 1 | 753 |1364 | 1.638153e+02 | 1.930000e+02 | 17.82%| unknown
501.41/502.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
501.41/502.78 c 392s| 8600 | 2881 | 3031k| 312.0 | 284M | 128 | 476 | 970 |1118 | 17k| 2 | 761 |1368 | 1.638205e+02 | 1.930000e+02 | 17.81%| unknown
501.41/502.78 c 394s| 8700 | 2907 | 3056k| 311.4 | 284M | 128 | 476 | 970 |1115 | 17k| 1 | 774 |1371 | 1.638224e+02 | 1.930000e+02 | 17.81%| unknown
501.41/502.78 c 398s| 8800 | 2957 | 3092k| 311.9 | 284M | 128 | 476 | 970 |1119 | 18k| 0 | 781 |1372 | 1.638357e+02 | 1.930000e+02 | 17.80%| unknown
501.41/502.78 c 403s| 8900 | 3003 | 3135k| 313.0 | 284M | 128 | 476 | 970 |1117 | 18k| 3 | 795 |1375 | 1.638564e+02 | 1.930000e+02 | 17.79%| unknown
501.41/502.78 c 406s| 9000 | 3029 | 3173k| 313.7 | 284M | 128 | 476 | 970 |1117 | 18k| 2 | 807 |1377 | 1.638591e+02 | 1.930000e+02 | 17.78%| unknown
501.41/502.78 c 407s| 9100 | 3047 | 3188k| 312.1 | 284M | 128 | 476 | 970 |1112 | 18k| 1 | 820 |1377 | 1.638591e+02 | 1.930000e+02 | 17.78%| unknown
501.41/502.78 c 408s| 9200 | 3065 | 3212k| 311.4 | 284M | 128 | 476 | 970 |1107 | 18k| 1 | 836 |1383 | 1.638641e+02 | 1.930000e+02 | 17.78%| unknown
501.41/502.78 c 410s| 9300 | 3079 | 3234k| 310.5 | 284M | 128 | 476 | 970 |1112 | 18k| 1 | 850 |1384 | 1.638657e+02 | 1.930000e+02 | 17.78%| unknown
501.41/502.78 c 411s| 9400 | 3089 | 3248k| 308.9 | 284M | 128 | 476 | 970 |1112 | 18k| 2 | 862 |1386 | 1.638657e+02 | 1.930000e+02 | 17.78%| unknown
501.41/502.78 c 415s| 9500 | 3139 | 3285k| 309.5 | 284M | 128 | 476 | 970 |1114 | 18k| 3 | 867 |1391 | 1.638722e+02 | 1.930000e+02 | 17.77%| unknown
501.41/502.78 c 418s| 9600 | 3161 | 3315k| 309.4 | 284M | 128 | 476 | 970 |1112 | 18k| 1 | 881 |1393 | 1.638762e+02 | 1.930000e+02 | 17.77%| unknown
501.41/502.78 c 424s| 9700 | 3209 | 3376k| 312.2 | 285M | 128 | 476 | 970 |1109 | 19k| 1 | 890 |1396 | 1.638948e+02 | 1.930000e+02 | 17.76%| unknown
501.41/502.78 c 427s| 9800 | 3255 | 3414k| 312.8 | 285M | 128 | 476 | 970 |1117 | 19k| 0 | 901 |1398 | 1.639123e+02 | 1.930000e+02 | 17.75%| unknown
501.41/502.78 c 431s| 9900 | 3291 | 3447k| 312.9 | 285M | 128 | 476 | 970 | 973 | 19k| 1 | 910 |1401 | 1.639214e+02 | 1.930000e+02 | 17.74%| unknown
501.41/502.78 c 433s| 10000 | 3301 | 3476k| 312.8 | 285M | 128 | 476 | 970 |1113 | 19k| 2 | 927 |1403 | 1.639220e+02 | 1.930000e+02 | 17.74%| unknown
501.41/502.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
501.41/502.78 c 437s| 10100 | 3339 | 3509k| 312.9 | 285M | 128 | 476 | 970 | 987 | 19k| 1 | 941 |1404 | 1.639323e+02 | 1.930000e+02 | 17.73%| unknown
501.41/502.78 c 438s| 10200 | 3377 | 3531k| 312.0 | 285M | 128 | 476 | 970 |1116 | 19k| 1 | 956 |1404 | 1.639323e+02 | 1.930000e+02 | 17.73%| unknown
501.41/502.78 c 441s| 10300 | 3409 | 3565k| 312.3 | 285M | 128 | 476 | 970 |1111 | 19k| 1 | 971 |1406 | 1.639368e+02 | 1.930000e+02 | 17.73%| unknown
501.41/502.78 c 444s| 10400 | 3441 | 3591k| 311.9 | 285M | 128 | 476 | 970 |1117 | 20k| 2 | 979 |1407 | 1.639416e+02 | 1.930000e+02 | 17.72%| unknown
501.41/502.78 c 447s| 10500 | 3467 | 3621k| 311.7 | 285M | 128 | 476 | 970 |1106 | 20k| 1 | 986 |1414 | 1.639460e+02 | 1.930000e+02 | 17.72%| unknown
501.41/502.78 c 451s| 10600 | 3487 | 3652k| 311.7 | 285M | 128 | 476 | 970 |1117 | 20k| 1 | 997 |1421 | 1.639464e+02 | 1.930000e+02 | 17.72%| unknown
501.41/502.78 c 454s| 10700 | 3525 | 3683k| 311.7 | 285M | 128 | 476 | 970 |1121 | 20k| 2 |1007 |1424 | 1.639540e+02 | 1.930000e+02 | 17.72%| unknown
501.41/502.78 c 459s| 10800 | 3559 | 3718k| 312.0 | 285M | 128 | 476 | 970 | 966 | 20k| 1 |1019 |1430 | 1.639626e+02 | 1.930000e+02 | 17.71%| unknown
501.41/502.78 c 461s| 10900 | 3599 | 3746k| 311.8 | 285M | 128 | 476 | 970 |1113 | 20k| 1 |1029 |1436 | 1.639628e+02 | 1.930000e+02 | 17.71%| unknown
501.41/502.78 c 463s| 11000 | 3611 | 3772k| 311.4 | 285M | 128 | 476 | 970 |1114 | 20k| 2 |1045 |1439 | 1.639676e+02 | 1.930000e+02 | 17.71%| unknown
501.41/502.78 c 464s| 11100 | 3625 | 3790k| 310.3 | 285M | 128 | 476 | 970 |1112 | 20k| 1 |1060 |1441 | 1.639676e+02 | 1.930000e+02 | 17.71%| unknown
501.41/502.78 c 466s| 11200 | 3641 | 3814k| 309.7 | 285M | 128 | 476 | 970 | 949 | 21k| 1 |1070 |1441 | 1.639708e+02 | 1.930000e+02 | 17.70%| unknown
501.41/502.78 c 468s| 11300 | 3639 | 3834k| 308.8 | 285M | 128 | 476 | 970 |1114 | 21k| 2 |1087 |1441 | 1.639708e+02 | 1.930000e+02 | 17.70%| unknown
501.41/502.78 c 471s| 11400 | 3683 | 3867k| 309.0 | 286M | 128 | 476 | 970 |1112 | 21k| 0 |1097 |1442 | 1.639737e+02 | 1.930000e+02 | 17.70%| unknown
501.41/502.78 c 474s| 11500 | 3713 | 3899k| 309.1 | 286M | 128 | 476 | 970 |1116 | 21k| 0 |1107 |1444 | 1.639939e+02 | 1.930000e+02 | 17.69%| unknown
501.41/502.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
501.41/502.78 c 477s| 11600 | 3745 | 3927k| 308.9 | 286M | 128 | 476 | 970 |1116 | 21k| 1 |1121 |1444 | 1.639965e+02 | 1.930000e+02 | 17.69%| unknown
501.41/502.78 c 479s| 11700 | 3749 | 3952k| 308.4 | 286M | 128 | 476 | 970 |1110 | 21k| 1 |1140 |1444 | 1.640022e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 482s| 11800 | 3803 | 3986k| 308.6 | 286M | 128 | 476 | 970 |1114 | 21k| 2 |1149 |1444 | 1.640024e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 487s| 11900 | 3845 | 4025k| 309.2 | 286M | 128 | 476 | 970 |1112 | 22k| 1 |1155 |1446 | 1.640071e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 488s| 12000 | 3891 | 4045k| 308.4 | 286M | 128 | 476 | 970 |1108 | 22k| 1 |1165 |1449 | 1.640071e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 490s| 12100 | 3909 | 4068k| 307.8 | 286M | 128 | 476 | 970 |1112 | 22k| 2 |1177 |1452 | 1.640086e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 493s| 12200 | 3945 | 4102k| 308.0 | 286M | 128 | 476 | 970 |1110 | 22k| 1 |1191 |1462 | 1.640106e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 494s| 12300 | 3959 | 4121k| 307.2 | 286M | 128 | 476 | 970 |1110 | 22k| 2 |1211 |1464 | 1.640106e+02 | 1.930000e+02 | 17.68%| unknown
501.41/502.78 c 498s| 12400 | 4001 | 4160k| 307.8 | 286M | 128 | 476 | 970 |1112 | 22k| 2 |1224 |1465 | 1.640120e+02 | 1.930000e+02 | 17.67%| unknown
646.84/648.51 c 503s| 12500 | 4059 | 4204k| 308.8 | 286M | 128 | 476 | 970 |1112 | 22k| 1 |1235 |1469 | 1.640190e+02 | 1.930000e+02 | 17.67%| unknown
646.84/648.51 c 504s| 12600 | 4067 | 4225k| 308.1 | 286M | 128 | 476 | 970 |1114 | 22k| 2 |1253 |1470 | 1.640190e+02 | 1.930000e+02 | 17.67%| unknown
646.84/648.51 c 507s| 12700 | 4097 | 4255k| 308.0 | 286M | 128 | 476 | 970 |1113 | 22k| 1 |1272 |1470 | 1.640243e+02 | 1.930000e+02 | 17.67%| unknown
646.84/648.51 c 509s| 12800 | 4127 | 4282k| 307.7 | 286M | 128 | 476 | 970 | 971 | 22k| 1 |1294 |1475 | 1.640342e+02 | 1.930000e+02 | 17.66%| unknown
646.84/648.51 c 513s| 12900 | 4151 | 4319k| 308.1 | 287M | 128 | 476 | 970 |1113 | 23k| 1 |1312 |1476 | 1.640374e+02 | 1.930000e+02 | 17.66%| unknown
646.84/648.51 c 514s| 13000 | 4163 | 4336k| 307.2 | 287M | 128 | 476 | 970 | 972 | 23k| 1 |1331 |1476 | 1.640374e+02 | 1.930000e+02 | 17.66%| unknown
646.84/648.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.84/648.51 c 518s| 13100 | 4189 | 4393k| 309.1 | 287M | 128 | 476 | 970 |1113 | 23k| 2 |1352 |1478 | 1.640410e+02 | 1.930000e+02 | 17.65%| unknown
646.84/648.51 c 522s| 13200 | 4209 | 4429k| 309.4 | 287M | 128 | 476 | 970 |1115 | 23k| 2 |1375 |1483 | 1.640437e+02 | 1.930000e+02 | 17.65%| unknown
646.84/648.51 c 526s| 13300 | 4257 | 4467k| 309.9 | 287M | 128 | 476 | 970 |1113 | 23k| 1 |1384 |1485 | 1.640474e+02 | 1.930000e+02 | 17.65%| unknown
646.84/648.51 c 528s| 13400 | 4271 | 4489k| 309.3 | 287M | 128 | 476 | 970 |1116 | 23k| 1 |1398 |1485 | 1.640477e+02 | 1.930000e+02 | 17.65%| unknown
646.84/648.51 c 532s| 13500 | 4305 | 4523k| 309.4 | 287M | 128 | 476 | 970 | 949 | 23k| 1 |1404 |1491 | 1.640569e+02 | 1.930000e+02 | 17.64%| unknown
646.84/648.51 c 534s| 13600 | 4323 | 4548k| 309.1 | 287M | 128 | 476 | 970 |1116 | 23k| 0 |1415 |1497 | 1.640578e+02 | 1.930000e+02 | 17.64%| unknown
646.84/648.51 c 536s| 13700 | 4331 | 4570k| 308.5 | 287M | 128 | 476 | 970 |1116 | 24k| 1 |1430 |1498 | 1.640659e+02 | 1.930000e+02 | 17.64%| unknown
646.84/648.51 c 540s| 13800 | 4375 | 4609k| 309.0 | 287M | 128 | 476 | 970 |1117 | 24k| 1 |1443 |1501 | 1.640686e+02 | 1.930000e+02 | 17.63%| unknown
646.84/648.51 c 544s| 13900 | 4419 | 4654k| 309.9 | 288M | 128 | 476 | 970 |1114 | 24k| 2 |1447 |1504 | 1.640726e+02 | 1.930000e+02 | 17.63%| unknown
646.84/648.51 c 548s| 14000 | 4455 | 4692k| 310.4 | 288M | 128 | 476 | 970 |1115 | 24k| 1 |1467 |1511 | 1.640772e+02 | 1.930000e+02 | 17.63%| unknown
646.84/648.51 c 551s| 14100 | 4477 | 4720k| 310.2 | 288M | 128 | 476 | 970 |1115 | 24k| 2 |1486 |1514 | 1.640837e+02 | 1.930000e+02 | 17.62%| unknown
646.84/648.51 c 553s| 14200 | 4519 | 4749k| 310.1 | 288M | 128 | 476 | 970 |1116 | 24k| 1 |1499 |1515 | 1.640854e+02 | 1.930000e+02 | 17.62%| unknown
646.84/648.51 c 557s| 14300 | 4555 | 4783k| 310.3 | 288M | 128 | 476 | 970 | 955 | 24k| 1 |1510 |1517 | 1.640899e+02 | 1.930000e+02 | 17.62%| unknown
646.84/648.51 c 560s| 14400 | 4573 | 4810k| 310.0 | 288M | 128 | 476 | 970 |1118 | 25k| 3 |1525 |1518 | 1.640949e+02 | 1.930000e+02 | 17.61%| unknown
646.84/648.51 c 561s| 14500 | 4569 | 4828k| 309.2 | 288M | 128 | 476 | 970 |1117 | 25k| 1 |1542 |1519 | 1.640949e+02 | 1.930000e+02 | 17.61%| unknown
646.84/648.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.84/648.51 c 566s| 14600 | 4615 | 4878k| 310.4 | 288M | 128 | 476 | 970 |1110 | 25k| 1 |1561 |1521 | 1.641031e+02 | 1.930000e+02 | 17.61%| unknown
646.84/648.51 c 568s| 14700 | 4643 | 4902k| 310.0 | 288M | 128 | 476 | 970 |1119 | 25k| 2 |1575 |1521 | 1.641047e+02 | 1.930000e+02 | 17.61%| unknown
646.84/648.51 c 571s| 14800 | 4679 | 4939k| 310.4 | 288M | 128 | 476 | 970 |1120 | 25k| 2 |1583 |1521 | 1.641127e+02 | 1.930000e+02 | 17.60%| unknown
646.84/648.51 c 574s| 14900 | 4697 | 4968k| 310.2 | 288M | 128 | 476 | 970 | 952 | 25k| 1 |1595 |1522 | 1.641144e+02 | 1.930000e+02 | 17.60%| unknown
646.84/648.51 c 579s| 15000 | 4737 | 5013k| 311.0 | 289M | 128 | 476 | 970 |1110 | 25k| 1 |1605 |1529 | 1.641206e+02 | 1.930000e+02 | 17.60%| unknown
646.84/648.51 c 581s| 15100 | 4759 | 5036k| 310.6 | 289M | 128 | 476 | 970 |1118 | 26k| 1 |1618 |1533 | 1.641250e+02 | 1.930000e+02 | 17.59%| unknown
646.84/648.51 c 583s| 15200 | 4773 | 5062k| 310.3 | 289M | 128 | 476 | 970 |1114 | 26k| 3 |1636 |1536 | 1.641253e+02 | 1.930000e+02 | 17.59%| unknown
646.84/648.51 c 585s| 15300 | 4801 | 5089k| 310.0 | 289M | 128 | 476 | 970 |1117 | 26k| 0 |1644 |1537 | 1.641267e+02 | 1.930000e+02 | 17.59%| unknown
646.84/648.51 c 588s| 15400 | 4841 | 5117k| 309.8 | 289M | 128 | 476 | 970 |1114 | 26k| 2 |1654 |1540 | 1.641276e+02 | 1.930000e+02 | 17.59%| unknown
646.84/648.51 c 592s| 15500 | 4875 | 5160k| 310.6 | 289M | 128 | 476 | 970 |1114 | 26k| 1 |1667 |1545 | 1.641302e+02 | 1.930000e+02 | 17.59%| unknown
646.84/648.51 c 593s| 15600 | 4887 | 5179k| 309.8 | 289M | 128 | 476 | 970 |1115 | 26k| 2 |1679 |1547 | 1.641305e+02 | 1.930000e+02 | 17.59%| unknown
646.84/648.51 c 597s| 15700 | 4929 | 5216k| 310.2 | 289M | 128 | 476 | 970 |1114 | 26k| 1 |1691 |1551 | 1.641384e+02 | 1.930000e+02 | 17.58%| unknown
646.84/648.51 c 599s| 15800 | 4945 | 5241k| 309.8 | 289M | 128 | 476 | 970 |1113 | 26k| 1 |1705 |1552 | 1.641415e+02 | 1.930000e+02 | 17.58%| unknown
646.84/648.51 c 602s| 15900 | 4971 | 5267k| 309.6 | 289M | 128 | 476 | 970 | 982 | 26k| 1 |1718 |1553 | 1.641429e+02 | 1.930000e+02 | 17.58%| unknown
646.84/648.51 c 608s| 16000 | 5017 | 5332k| 311.5 | 289M | 128 | 476 | 970 |1114 | 27k| 0 |1729 |1554 | 1.641450e+02 | 1.930000e+02 | 17.58%| unknown
646.84/648.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.84/648.51 c 610s| 16100 | 5049 | 5358k| 311.3 | 289M | 128 | 476 | 970 |1117 | 27k| 1 |1739 |1556 | 1.641502e+02 | 1.930000e+02 | 17.58%| unknown
646.84/648.51 c 613s| 16200 | 5079 | 5396k| 311.6 | 289M | 128 | 476 | 970 | 988 | 27k| 3 |1757 |1556 | 1.641542e+02 | 1.930000e+02 | 17.57%| unknown
646.84/648.51 c 616s| 16300 | 5101 | 5432k| 311.9 | 289M | 128 | 476 | 970 |1113 | 27k| 1 |1768 |1556 | 1.641616e+02 | 1.930000e+02 | 17.57%| unknown
646.84/648.51 c 618s| 16400 | 5117 | 5451k| 311.2 | 289M | 128 | 476 | 970 |1113 | 27k| 1 |1782 |1559 | 1.641618e+02 | 1.930000e+02 | 17.57%| unknown
646.84/648.51 c 620s| 16500 | 5139 | 5477k| 310.9 | 289M | 128 | 476 | 970 |1114 | 27k| 1 |1795 |1562 | 1.641636e+02 | 1.930000e+02 | 17.57%| unknown
646.84/648.51 c 620s| 16600 | 5135 | 5490k| 309.9 | 289M | 128 | 476 | 970 |1115 | 27k| 0 |1815 |1562 | 1.641636e+02 | 1.930000e+02 | 17.57%| unknown
646.84/648.51 c 624s| 16700 | 5195 | 5527k| 310.3 | 289M | 128 | 476 | 970 |1112 | 27k| 1 |1823 |1563 | 1.641648e+02 | 1.930000e+02 | 17.56%| unknown
646.84/648.51 c 626s| 16800 | 5221 | 5550k| 309.8 | 289M | 128 | 476 | 970 |1112 | 27k| 1 |1841 |1567 | 1.641679e+02 | 1.930000e+02 | 17.56%| unknown
646.84/648.51 c 627s| 16900 | 5237 | 5566k| 309.0 | 289M | 128 | 476 | 970 |1113 | 27k| 1 |1856 |1568 | 1.641679e+02 | 1.930000e+02 | 17.56%| unknown
646.84/648.51 c 628s| 17000 | 5241 | 5584k| 308.3 | 289M | 128 | 476 | 970 | 986 | 27k| 3 |1879 |1572 | 1.641685e+02 | 1.930000e+02 | 17.56%| unknown
646.84/648.51 c 633s| 17100 | 5281 | 5624k| 308.8 | 290M | 128 | 476 | 970 | 951 | 27k| 1 |1894 |1577 | 1.641756e+02 | 1.930000e+02 | 17.56%| unknown
646.84/648.51 c 637s| 17200 | 5333 | 5662k| 309.2 | 290M | 128 | 476 | 970 | 953 | 28k| 1 |1902 |1580 | 1.641783e+02 | 1.930000e+02 | 17.56%| unknown
646.84/648.51 c 640s| 17300 | 5359 | 5691k| 309.0 | 290M | 128 | 476 | 970 |1113 | 28k| 1 |1915 |1582 | 1.641790e+02 | 1.930000e+02 | 17.55%| unknown
646.84/648.51 c 642s| 17400 | 5375 | 5715k| 308.6 | 290M | 128 | 476 | 970 |1113 | 28k| 1 |1934 |1582 | 1.641816e+02 | 1.930000e+02 | 17.55%| unknown
646.84/648.51 c 643s| 17500 | 5395 | 5736k| 308.1 | 290M | 128 | 476 | 970 |1115 | 28k| 2 |1946 |1582 | 1.641842e+02 | 1.930000e+02 | 17.55%| unknown
646.84/648.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
646.84/648.51 c 647s| 17600 | 5417 | 5765k| 308.0 | 290M | 128 | 476 | 970 |1113 | 28k| 1 |1962 |1586 | 1.641853e+02 | 1.930000e+02 | 17.55%| unknown
786.37/788.49 c 648s| 17700 | 5431 | 5787k| 307.6 | 290M | 128 | 476 | 970 |1114 | 28k| 0 |1977 |1587 | 1.641860e+02 | 1.930000e+02 | 17.55%| unknown
786.37/788.49 c 652s| 17800 | 5469 | 5818k| 307.6 | 290M | 128 | 476 | 970 | 977 | 28k| 1 |1989 |1588 | 1.641949e+02 | 1.930000e+02 | 17.54%| unknown
786.37/788.49 c 654s| 17900 | 5491 | 5845k| 307.4 | 290M | 128 | 476 | 970 | 954 | 28k| 1 |2001 |1588 | 1.641955e+02 | 1.930000e+02 | 17.54%| unknown
786.37/788.49 c 657s| 18000 | 5527 | 5887k| 308.0 | 290M | 128 | 476 | 970 |1115 | 29k| 0 |2016 |1588 | 1.641989e+02 | 1.930000e+02 | 17.54%| unknown
786.37/788.49 c 662s| 18100 | 5561 | 5927k| 308.5 | 290M | 128 | 476 | 970 |1115 | 29k| 1 |2028 |1589 | 1.642061e+02 | 1.930000e+02 | 17.54%| unknown
786.37/788.49 c 664s| 18200 | 5577 | 5952k| 308.1 | 290M | 128 | 476 | 970 | 975 | 29k| 1 |2039 |1590 | 1.642122e+02 | 1.930000e+02 | 17.53%| unknown
786.37/788.49 c 666s| 18300 | 5595 | 5977k| 307.9 | 290M | 128 | 476 | 970 |1113 | 29k| 1 |2058 |1590 | 1.642134e+02 | 1.930000e+02 | 17.53%| unknown
786.37/788.49 c 669s| 18400 | 5609 | 6009k| 307.9 | 290M | 128 | 476 | 970 |1114 | 29k| 1 |2073 |1591 | 1.642176e+02 | 1.930000e+02 | 17.53%| unknown
786.37/788.49 c 674s| 18500 | 5649 | 6049k| 308.4 | 290M | 128 | 476 | 970 |1115 | 29k| 3 |2083 |1596 | 1.642265e+02 | 1.930000e+02 | 17.52%| unknown
786.37/788.49 c 676s| 18600 | 5665 | 6077k| 308.3 | 290M | 128 | 476 | 970 |1114 | 29k| 2 |2099 |1601 | 1.642275e+02 | 1.930000e+02 | 17.52%| unknown
786.37/788.49 c 679s| 18700 | 5671 | 6101k| 307.9 | 290M | 128 | 476 | 970 |1116 | 29k| 1 |2119 |1606 | 1.642280e+02 | 1.930000e+02 | 17.52%| unknown
786.37/788.49 c 683s| 18800 | 5711 | 6139k| 308.2 | 290M | 128 | 476 | 970 |1118 | 30k| 1 |2130 |1613 | 1.642315e+02 | 1.930000e+02 | 17.52%| unknown
786.37/788.49 c 688s| 18900 | 5757 | 6202k| 309.9 | 290M | 128 | 476 | 970 |1117 | 30k| 4 |2143 |1614 | 1.642351e+02 | 1.930000e+02 | 17.51%| unknown
786.37/788.49 c 690s| 19000 | 5777 | 6225k| 309.5 | 290M | 128 | 476 | 970 |1119 | 30k| 2 |2163 |1614 | 1.642413e+02 | 1.930000e+02 | 17.51%| unknown
786.37/788.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
786.37/788.49 c 692s| 19100 | 5793 | 6250k| 309.2 | 290M | 128 | 476 | 970 |1117 | 30k| 2 |2182 |1615 | 1.642422e+02 | 1.930000e+02 | 17.51%| unknown
786.37/788.49 c 693s| 19200 | 5811 | 6273k| 308.8 | 290M | 128 | 476 | 970 |1113 | 30k| 1 |2197 |1615 | 1.642435e+02 | 1.930000e+02 | 17.51%| unknown
786.37/788.49 c 696s| 19300 | 5835 | 6298k| 308.5 | 290M | 128 | 476 | 970 | 983 | 30k| 1 |2213 |1616 | 1.642476e+02 | 1.930000e+02 | 17.51%| unknown
786.37/788.49 c 697s| 19400 | 5853 | 6319k| 308.0 | 290M | 128 | 476 | 970 |1114 | 30k| 1 |2224 |1618 | 1.642487e+02 | 1.930000e+02 | 17.50%| unknown
786.37/788.49 c 699s| 19500 | 5861 | 6343k| 307.7 | 290M | 128 | 476 | 970 |1117 | 30k| 2 |2246 |1618 | 1.642487e+02 | 1.930000e+02 | 17.50%| unknown
786.37/788.49 c 701s| 19600 | 5891 | 6371k| 307.6 | 290M | 128 | 476 | 970 |1117 | 30k| 3 |2261 |1619 | 1.642522e+02 | 1.930000e+02 | 17.50%| unknown
786.37/788.49 c 705s| 19700 | 5923 | 6411k| 308.0 | 290M | 128 | 476 | 970 |1114 | 31k| 1 |2276 |1622 | 1.642567e+02 | 1.930000e+02 | 17.50%| unknown
786.37/788.49 c 707s| 19800 | 5937 | 6435k| 307.7 | 290M | 128 | 476 | 970 |1120 | 31k| 8 |2288 |1623 | 1.642568e+02 | 1.930000e+02 | 17.50%| unknown
786.37/788.49 c 710s| 19900 | 5973 | 6473k| 308.0 | 290M | 128 | 476 | 970 |1120 | 31k| 3 |2301 |1623 | 1.642603e+02 | 1.930000e+02 | 17.50%| unknown
786.37/788.49 c 713s| 20000 | 5997 | 6507k| 308.2 | 290M | 128 | 476 | 970 |1116 | 31k| 2 |2320 |1625 | 1.642626e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 715s| 20100 | 6011 | 6530k| 307.8 | 290M | 128 | 476 | 970 |1115 | 31k| 2 |2343 |1626 | 1.642661e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 717s| 20200 | 6031 | 6553k| 307.4 | 290M | 128 | 476 | 970 |1119 | 31k| 2 |2360 |1626 | 1.642661e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 718s| 20300 | 6047 | 6570k| 306.8 | 290M | 128 | 476 | 970 | 973 | 31k| 1 |2378 |1629 | 1.642677e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 720s| 20400 | 6063 | 6596k| 306.6 | 290M | 128 | 476 | 970 |1116 | 31k| 1 |2400 |1630 | 1.642679e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 724s| 20500 | 6101 | 6630k| 306.7 | 290M | 128 | 476 | 970 |1116 | 31k| 1 |2418 |1634 | 1.642687e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
786.37/788.49 c 727s| 20600 | 6143 | 6667k| 307.0 | 290M | 128 | 476 | 970 |1118 | 31k| 1 |2433 |1638 | 1.642697e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 730s| 20700 | 6173 | 6694k| 306.8 | 291M | 128 | 476 | 970 |1119 | 32k| 2 |2446 |1641 | 1.642704e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 733s| 20800 | 6199 | 6726k| 306.9 | 291M | 128 | 476 | 970 |1116 | 32k| 1 |2462 |1644 | 1.642724e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 736s| 20900 | 6229 | 6758k| 307.0 | 291M | 128 | 476 | 970 | 965 | 32k| 1 |2483 |1649 | 1.642739e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 739s| 21000 | 6265 | 6791k| 307.1 | 291M | 128 | 476 | 970 |1117 | 32k| 2 |2497 |1650 | 1.642755e+02 | 1.930000e+02 | 17.49%| unknown
786.37/788.49 c 741s| 21100 | 6291 | 6817k| 306.9 | 291M | 128 | 476 | 970 |1120 | 32k| 1 |2513 |1653 | 1.642790e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 743s| 21200 | 6307 | 6836k| 306.3 | 291M | 128 | 476 | 970 |1120 | 32k| 2 |2530 |1653 | 1.642791e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 744s| 21300 | 6321 | 6855k| 305.8 | 291M | 128 | 476 | 970 |1118 | 32k| 3 |2542 |1655 | 1.642803e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 749s| 21400 | 6359 | 6891k| 306.1 | 292M | 128 | 476 | 970 |1117 | 32k| 1 |2559 |1657 | 1.642827e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 749s| 21500 | 6361 | 6907k| 305.4 | 292M | 128 | 476 | 970 |1117 | 32k| 1 |2584 |1657 | 1.642827e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 750s| 21600 | 6365 | 6923k| 304.8 | 292M | 128 | 476 | 970 |1117 | 32k| 1 |2596 |1657 | 1.642827e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 754s| 21700 | 6397 | 6960k| 305.0 | 292M | 128 | 476 | 970 |1119 | 32k| 2 |2609 |1657 | 1.642844e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 757s| 21800 | 6429 | 6999k| 305.4 | 292M | 128 | 476 | 970 | 948 | 33k| 1 |2621 |1658 | 1.642885e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 759s| 21900 | 6455 | 7035k| 305.7 | 292M | 128 | 476 | 970 |1110 | 33k| 1 |2638 |1658 | 1.642890e+02 | 1.930000e+02 | 17.48%| unknown
786.37/788.49 c 761s| 22000 | 6471 | 7060k| 305.4 | 292M | 128 | 476 | 970 |1120 | 33k| 2 |2656 |1658 | 1.642911e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
786.37/788.49 c 763s| 22100 | 6483 | 7083k| 305.1 | 292M | 128 | 476 | 970 |1118 | 33k| 2 |2677 |1658 | 1.642914e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 766s| 22200 | 6509 | 7112k| 305.0 | 292M | 128 | 476 | 970 |1117 | 33k| 1 |2692 |1662 | 1.642952e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 768s| 22300 | 6535 | 7138k| 304.8 | 292M | 128 | 476 | 970 | 963 | 33k| 1 |2702 |1666 | 1.642971e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 772s| 22400 | 6569 | 7195k| 306.0 | 292M | 128 | 476 | 970 |1115 | 33k| 1 |2715 |1671 | 1.642988e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 774s| 22500 | 6583 | 7220k| 305.7 | 292M | 128 | 476 | 970 |1118 | 33k| 1 |2740 |1672 | 1.642989e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 776s| 22600 | 6597 | 7243k| 305.4 | 292M | 128 | 476 | 970 |1114 | 33k| 1 |2767 |1672 | 1.642997e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 779s| 22700 | 6615 | 7269k| 305.2 | 292M | 128 | 476 | 970 | 987 | 33k| 3 |2781 |1673 | 1.642999e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 783s| 22800 | 6643 | 7326k| 306.3 | 292M | 128 | 476 | 970 |1113 | 33k| 2 |2797 |1676 | 1.643026e+02 | 1.930000e+02 | 17.47%| unknown
786.37/788.49 c 786s| 22900 | 6675 | 7357k| 306.3 | 292M | 128 | 476 | 970 | 953 | 34k| 1 |2808 |1677 | 1.643042e+02 | 1.930000e+02 | 17.47%| unknown
914.21/916.63 c 788s| 23000 | 6691 | 7388k| 306.3 | 292M | 128 | 476 | 970 |1117 | 34k| 1 |2824 |1679 | 1.643048e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 791s| 23100 | 6713 | 7419k| 306.4 | 292M | 128 | 476 | 970 |1114 | 34k| 1 |2843 |1680 | 1.643060e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 792s| 23200 | 6707 | 7436k| 305.8 | 292M | 128 | 476 | 970 |1114 | 34k| 2 |2869 |1680 | 1.643060e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 794s| 23300 | 6727 | 7458k| 305.5 | 292M | 128 | 476 | 970 |1115 | 34k| 1 |2891 |1682 | 1.643064e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 799s| 23400 | 6781 | 7511k| 306.4 | 292M | 128 | 476 | 970 |1111 | 34k| 1 |2902 |1689 | 1.643092e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 802s| 23500 | 6811 | 7543k| 306.4 | 292M | 128 | 476 | 970 |1114 | 34k| 1 |2919 |1693 | 1.643113e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
914.21/916.63 c 805s| 23600 | 6857 | 7581k| 306.7 | 292M | 128 | 476 | 970 |1117 | 34k| 1 |2939 |1694 | 1.643131e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 807s| 23700 | 6893 | 7613k| 306.8 | 292M | 128 | 476 | 970 |1117 | 34k| 2 |2954 |1694 | 1.643140e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 809s| 23800 | 6899 | 7633k| 306.3 | 292M | 128 | 476 | 970 |1119 | 34k| 0 |2961 |1696 | 1.643149e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 812s| 23900 | 6921 | 7660k| 306.2 | 292M | 128 | 476 | 970 |1120 | 34k| 2 |2975 |1699 | 1.643151e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 814s| 24000 | 6943 | 7689k| 306.1 | 293M | 128 | 476 | 970 |1119 | 34k| 1 |2987 |1699 | 1.643166e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 815s| 24100 | 6951 | 7705k| 305.5 | 293M | 128 | 476 | 970 |1115 | 34k| 1 |3010 |1699 | 1.643166e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 816s| 24200 | 6975 | 7729k| 305.3 | 293M | 128 | 476 | 970 | 970 | 34k| 3 |3025 |1699 | 1.643182e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 818s| 24300 | 6977 | 7748k| 304.9 | 293M | 128 | 476 | 970 |1116 | 34k| 1 |3043 |1700 | 1.643182e+02 | 1.930000e+02 | 17.46%| unknown
914.21/916.63 c 820s| 24400 | 6985 | 7768k| 304.4 | 293M | 128 | 476 | 970 | 948 | 35k| 1 |3062 |1703 | 1.643200e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 822s| 24500 | 7001 | 7796k| 304.3 | 293M | 128 | 476 | 970 | 947 | 35k| 1 |3084 |1708 | 1.643202e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 826s| 24600 | 7039 | 7836k| 304.7 | 293M | 128 | 476 | 970 |1116 | 35k| 1 |3102 |1713 | 1.643218e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 828s| 24700 | 7059 | 7861k| 304.5 | 293M | 128 | 476 | 970 |1119 | 35k| 1 |3127 |1716 | 1.643221e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 830s| 24800 | 7087 | 7890k| 304.4 | 293M | 128 | 476 | 970 |1118 | 35k| 1 |3138 |1722 | 1.643233e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 833s| 24900 | 7117 | 7922k| 304.5 | 293M | 128 | 476 | 970 |1118 | 35k| 0 |3149 |1723 | 1.643288e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 835s| 25000 | 7125 | 7948k| 304.3 | 293M | 128 | 476 | 970 |1116 | 35k| 2 |3169 |1723 | 1.643302e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
914.21/916.63 c 837s| 25100 | 7151 | 7981k| 304.4 | 293M | 128 | 476 | 970 |1116 | 35k| 1 |3191 |1724 | 1.643312e+02 | 1.930000e+02 | 17.45%| unknown
914.21/916.63 c 839s| 25200 | 7177 | 8006k| 304.2 | 293M | 128 | 476 | 970 |1119 | 35k| 1 |3210 |1725 | 1.643328e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 842s| 25300 | 7199 | 8038k| 304.3 | 293M | 128 | 476 | 970 |1119 | 35k| 2 |3226 |1728 | 1.643343e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 843s| 25400 | 7199 | 8058k| 303.9 | 293M | 128 | 476 | 970 |1116 | 35k| 1 |3247 |1729 | 1.643343e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 846s| 25500 | 7213 | 8089k| 303.9 | 293M | 128 | 476 | 970 |1114 | 35k| 2 |3266 |1729 | 1.643360e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 848s| 25600 | 7249 | 8121k| 304.0 | 293M | 128 | 476 | 970 | 965 | 35k| 3 |3278 |1731 | 1.643405e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 851s| 25700 | 7269 | 8161k| 304.3 | 293M | 128 | 476 | 970 |1113 | 35k| 1 |3286 |1731 | 1.643414e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 852s| 25800 | 7281 | 8176k| 303.8 | 293M | 128 | 476 | 970 |1121 | 35k| 2 |3300 |1732 | 1.643414e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 854s| 25900 | 7311 | 8201k| 303.5 | 293M | 128 | 476 | 970 | 937 | 35k| 1 |3312 |1732 | 1.643430e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 856s| 26000 | 7333 | 8226k| 303.4 | 293M | 128 | 476 | 970 | 969 | 35k| 1 |3320 |1732 | 1.643442e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 859s| 26100 | 7357 | 8263k| 303.6 | 293M | 128 | 476 | 970 |1115 | 36k| 0 |3339 |1736 | 1.643454e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 863s| 26200 | 7387 | 8310k| 304.2 | 293M | 128 | 476 | 970 |1120 | 36k| 5 |3349 |1738 | 1.643459e+02 | 1.930000e+02 | 17.44%| unknown
914.21/916.63 c 867s| 26300 | 7429 | 8349k| 304.5 | 293M | 128 | 476 | 970 | 984 | 36k| 1 |3362 |1738 | 1.643481e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 869s| 26400 | 7445 | 8380k| 304.6 | 293M | 128 | 476 | 970 |1116 | 36k| 1 |3373 |1739 | 1.643482e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 871s| 26500 | 7465 | 8405k| 304.3 | 293M | 128 | 476 | 970 |1117 | 36k| 1 |3386 |1742 | 1.643489e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
914.21/916.63 c 874s| 26600 | 7493 | 8431k| 304.2 | 293M | 128 | 476 | 970 |1117 | 36k| 1 |3404 |1747 | 1.643495e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 877s| 26700 | 7529 | 8466k| 304.3 | 293M | 128 | 476 | 970 |1116 | 36k| 1 |3410 |1750 | 1.643507e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 879s| 26800 | 7555 | 8487k| 304.0 | 293M | 128 | 476 | 970 |1119 | 36k| 2 |3421 |1754 | 1.643526e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 882s| 26900 | 7559 | 8524k| 304.3 | 293M | 128 | 476 | 970 |1119 | 36k| 1 |3434 |1757 | 1.643532e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 883s| 27000 | 7573 | 8539k| 303.7 | 293M | 128 | 476 | 970 | 939 | 36k| 1 |3438 |1760 | 1.643543e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 885s| 27100 | 7589 | 8565k| 303.6 | 294M | 128 | 476 | 970 |1116 | 36k| 0 |3448 |1762 | 1.643551e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 891s| 27200 | 7661 | 8620k| 304.4 | 294M | 128 | 476 | 970 |1105 | 36k| 2 |3451 |1765 | 1.643584e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 894s| 27300 | 7701 | 8652k| 304.5 | 294M | 128 | 476 | 970 |1108 | 37k| 2 |3461 |1767 | 1.643601e+02 | 1.930000e+02 | 17.43%| unknown
914.21/916.63 c 896s| 27400 | 7717 | 8677k| 304.3 | 294M | 128 | 476 | 970 | 977 | 37k| 1 |3470 |1771 | 1.643628e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c 898s| 27500 | 7731 | 8697k| 303.9 | 294M | 128 | 476 | 970 | 980 | 37k| 1 |3479 |1777 | 1.643643e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c 902s| 27600 | 7785 | 8746k| 304.6 | 294M | 128 | 476 | 970 |1106 | 37k| 1 |3485 |1778 | 1.643671e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c 906s| 27700 | 7813 | 8775k| 304.5 | 295M | 128 | 476 | 970 |1108 | 37k| 2 |3494 |1782 | 1.643685e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c 908s| 27800 | 7841 | 8803k| 304.4 | 295M | 128 | 476 | 970 |1107 | 37k| 1 |3506 |1782 | 1.643700e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c 910s| 27900 | 7869 | 8834k| 304.4 | 295M | 128 | 476 | 970 | 986 | 37k| 3 |3515 |1783 | 1.643716e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c 913s| 28000 | 7897 | 8866k| 304.5 | 295M | 128 | 476 | 970 |1109 | 37k| 2 |3527 |1784 | 1.643733e+02 | 1.930000e+02 | 17.42%| unknown
914.21/916.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
914.21/916.63 c 915s| 28100 | 7923 | 8894k| 304.4 | 295M | 128 | 476 | 970 |1111 | 37k| 1 |3538 |1784 | 1.643739e+02 | 1.930000e+02 | 17.42%| unknown
997.48/1000.16 c 916s| 28200 | 7931 | 8913k| 304.0 | 295M | 128 | 476 | 970 |1115 | 37k| 0 |3551 |1784 | 1.643739e+02 | 1.930000e+02 | 17.42%| unknown
997.48/1000.16 c 919s| 28300 | 7963 | 8943k| 304.0 | 295M | 128 | 476 | 970 |1109 | 37k| 2 |3559 |1784 | 1.643749e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 922s| 28400 | 8001 | 8978k| 304.2 | 295M | 128 | 476 | 970 |1116 | 38k| 1 |3577 |1784 | 1.643758e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 927s| 28500 | 8053 | 9020k| 304.5 | 295M | 128 | 476 | 970 | 941 | 38k| 1 |3584 |1784 | 1.643788e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 929s| 28600 | 8071 | 9045k| 304.4 | 295M | 128 | 476 | 970 |1116 | 38k| 3 |3597 |1784 | 1.643790e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 931s| 28700 | 8083 | 9065k| 304.0 | 295M | 128 | 476 | 970 |1116 | 38k| 0 |3612 |1784 | 1.643794e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 932s| 28800 | 8115 | 9086k| 303.7 | 295M | 128 | 476 | 970 |1110 | 38k| 0 |3622 |1788 | 1.643796e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 934s| 28900 | 8157 | 9112k| 303.5 | 295M | 128 | 476 | 970 |1117 | 38k| 1 |3629 |1791 | 1.643814e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 939s| 29000 | 8209 | 9154k| 303.9 | 295M | 128 | 476 | 970 |1117 | 38k| 1 |3639 |1795 | 1.643852e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 942s| 29100 | 8229 | 9183k| 303.9 | 295M | 128 | 476 | 970 |1101 | 38k| 1 |3650 |1798 | 1.643868e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 942s| 29200 | 8247 | 9196k| 303.3 | 295M | 128 | 476 | 970 |1108 | 38k| 1 |3665 |1798 | 1.643868e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 946s| 29300 | 8269 | 9225k| 303.3 | 296M | 128 | 476 | 970 |1108 | 38k| 1 |3676 |1800 | 1.643882e+02 | 1.930000e+02 | 17.41%| unknown
997.48/1000.16 c 949s| 29400 | 8305 | 9258k| 303.4 | 296M | 128 | 476 | 970 | 963 | 38k| 1 |3682 |1800 | 1.643899e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 951s| 29500 | 8325 | 9283k| 303.2 | 296M | 128 | 476 | 970 |1107 | 39k| 1 |3689 |1802 | 1.643903e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.48/1000.16 c 954s| 29600 | 8351 | 9329k| 303.7 | 296M | 128 | 476 | 970 |1110 | 39k| 1 |3703 |1804 | 1.643907e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 957s| 29700 | 8381 | 9361k| 303.8 | 296M | 128 | 476 | 970 |1103 | 39k| 1 |3716 |1806 | 1.643913e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 959s| 29800 | 8443 | 9386k| 303.6 | 296M | 128 | 476 | 970 |1108 | 39k| 2 |3723 |1817 | 1.643917e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 961s| 29900 | 8481 | 9414k| 303.5 | 296M | 128 | 476 | 970 |1110 | 39k| 2 |3727 |1818 | 1.643928e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 962s| 30000 | 8509 | 9431k| 303.1 | 296M | 128 | 476 | 970 |1110 | 39k| 1 |3735 |1820 | 1.643932e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 965s| 30100 | 8563 | 9463k| 303.1 | 296M | 128 | 476 | 970 |1109 | 39k| 1 |3744 |1823 | 1.643944e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 968s| 30200 | 8595 | 9490k| 303.0 | 296M | 128 | 476 | 970 |1109 | 39k| 0 |3755 |1826 | 1.643960e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 968s| 30300 | 8603 | 9499k| 302.4 | 296M | 128 | 476 | 970 |1109 | 39k| 1 |3765 |1828 | 1.643960e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 971s| 30400 | 8625 | 9526k| 302.2 | 296M | 128 | 476 | 970 |1109 | 39k| 1 |3772 |1828 | 1.643975e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 972s| 30500 | 8645 | 9550k| 302.1 | 296M | 128 | 476 | 970 |1108 | 39k| 2 |3783 |1829 | 1.643987e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 975s| 30600 | 8659 | 9577k| 302.0 | 297M | 128 | 476 | 970 |1108 | 39k| 2 |3792 |1830 | 1.643990e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 978s| 30700 | 8689 | 9605k| 301.9 | 297M | 128 | 476 | 970 |1109 | 39k| 1 |3806 |1831 | 1.644007e+02 | 1.930000e+02 | 17.40%| unknown
997.48/1000.16 c 983s| 30800 | 8739 | 9645k| 302.2 | 297M | 128 | 476 | 970 | 958 | 39k| 1 |3809 |1835 | 1.644026e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c 986s| 30900 | 8781 | 9681k| 302.4 | 297M | 128 | 476 | 970 |1109 | 39k| 1 |3823 |1836 | 1.644035e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c 989s| 31000 | 8811 | 9710k| 302.3 | 298M | 128 | 476 | 970 |1109 | 40k| 1 |3835 |1837 | 1.644040e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.48/1000.16 c 991s| 31100 | 8843 | 9738k| 302.3 | 298M | 128 | 476 | 970 |1109 | 40k| 5 |3842 |1837 | 1.644056e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c 992s| 31200 | 8851 | 9751k| 301.7 | 298M | 128 | 476 | 970 |1111 | 40k| 1 |3856 |1839 | 1.644056e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c 994s| 31300 | 8867 | 9771k| 301.4 | 298M | 128 | 476 | 970 |1112 | 40k| 1 |3867 |1842 | 1.644058e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c 996s| 31400 | 8891 | 9796k| 301.3 | 298M | 128 | 476 | 970 |1112 | 40k| 1 |3874 |1842 | 1.644062e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c 999s| 31500 | 8925 | 9830k| 301.4 | 298M | 128 | 476 | 970 | 982 | 40k| 1 |3886 |1842 | 1.644068e+02 | 1.930000e+02 | 17.39%| unknown
997.48/1000.16 c
997.48/1000.16 c SCIP Status : solving was interrupted [time limit reached]
997.48/1000.16 c Solving Time (sec) : 1000.00
997.48/1000.16 c Solving Nodes : 31533 (total of 32582 nodes in 2 runs)
997.48/1000.16 c Primal Bound : +1.93000000000000e+02 (1180 solutions)
997.48/1000.16 c Dual Bound : +1.64406992261917e+02
997.48/1000.16 c Gap : 17.39 %
997.48/1000.16 c All original constraints are satisfied.
997.48/1000.16 c SCIP's best solution is verified feasible for the original problem.
997.48/1000.16 c ----------------------------------------------------------------------
997.48/1000.16 c dual bound: 164.40699226191666 -> 165
997.48/1000.16 c primal bound: 193.0 -> 193
997.48/1000.16 c scip-goal-lb: 165
997.48/1000.16 c scip-goal-ub: 193
997.48/1000.16 c writing output to: HOME/tmpvx03f6fo.opb
997.48/1000.16 c appending fixed variable constraints
997.48/1000.16 c scip-fixed vars: 0.00% (0/476)
997.48/1000.16 c ----------------------------------------------------------------------
997.48/1000.16 c executing external solver: HOME/naps-1.03a6
997.48/1000.16 c ----------------------------------------------------------------------
997.48/1000.16 c command: HOME/naps-1.03a6 -goal-lb=165 -goal-ub=192 HOME/tmpvx03f6fo.opb
997.48/1000.16 c NaPS 1.03a6.
997.48/1000.16 c Input file name: HOME/tmpvx03f6fo.opb
997.55/1000.28 c single stage optimization mode
3600.00/3609.80 c
3600.00/3609.80 c *** TERMINATED *** by signal 15
3600.00/3609.80 c s UNKNOWN
3600.00/3609.80 c _____________________________________________________________________________
3600.00/3609.80 c std/band forms : 475,0
3600.00/3609.80 c 2cl/3cl ITE-codings : 12256,0
3600.00/3609.80 c BDD/srt/adr Max costs : 253,24188,0
3600.00/3609.80 c BDDraw/bin/mul/srt/adr: 353,0,120,2,0
3600.00/3609.80 c BDD nodes : 21014
3600.00/3609.80 c Es1/CC detections : 0,0
3600.00/3609.80 c CC sort : 1
3600.00/3609.80 c SAT/UNSAT calls : 0,0
3600.00/3609.80 c regenrated variables : 0
3600.00/3609.80 c eliminated fixed lits : 0
3600.00/3609.80 c goal lit flips : 0
3600.00/3609.80 c goal stages : 1
3600.00/3609.80 c goal shrink : 0
3600.00/3609.80 c goal coeff separations: 0
3600.00/3609.80 c restarts : 0
3600.00/3609.80 c conflicts : 0 (0 /sec)
3600.00/3609.80 c decisions : 0 (0 /sec)
3600.00/3609.80 c propagations : 0 (0 /sec)
3600.00/3609.80 c inspects : 0 (0 /sec)
3600.00/3609.80 c CPU time (solving tm) : 2602 s (2602 s, SAT 0 s, UNSAT 0 s)
3600.00/3609.80 c Time for Opt-base : 0.01489 s
3600.00/3609.80 c Steps for Opt-base : 40809
3600.00/3609.80 c Time for BDD coding : 0.06742 s
3600.00/3609.80 c Time for srt coding : 0.002707 s
3600.00/3609.80 c _____________________________________________________________________________
3600.00/3609.80 v x1 x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 x11 x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 x41 x42 x43 -x44 -x45 x46 x47 x48 x49 -x50 -x51 x52 -x53 -x54 -x55 x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 x75 x76 x77 -x78 -x79 x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 x92 -x93 -x94 x95 x96 -x97 x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 x136 -x137 -x138 x139 -x140 x141 x142 -x143 -x144 -x145 x146 x147 x148 -x149 -x150 -x151 -x152 x153 x154 x155 x156 -x157 x158 -x159 x160 x161 -x162 -x163 -x164 x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 x185 -x186 x187 -x188 -x189 x190 x191 -x192 x193 x194 x195 x196 x197 x198 -x199 x200 -x201 -x202 x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 x221 x222 x223 -x224 -x225 x226 -x227 x228 -x229 -x230 x231 -x232 -x233 x234 x235 -x236 -x237 -x238 -x239 x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 x257 -x258 -x259 x260 -x261 x262 -x263 x264 x265 x266 -x267 -x268 x269 -x270 -x271 x272 x273 x274 x275 x276 -x277 x278 x279 x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 x307 x308 -x309 x310 x311 -x312 x313 -x314 -x315 -x316 -x317 x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 x327 x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 x341 -x342 -x343 -x344 -x345 x346 -x347 x348 x349 x350 x351 -x352 x353 x354 -x355 -x356 -x357 x358 x359 x360 x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 x370 -x371 x372 x373 -x374 x375 x376 -x377
3600.00/3609.80 v x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 x387 x388 x389 -x390 x391 -x392 -x393 -x394 x395 -x396 x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 x441 -x442 x443 x444 x445 x446 x447 x448 -x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 x468 x469 x470 x471 x472 x473 x474 -x475 x476
3600.00/3609.80 o 193
3600.00/3609.80 s SATISFIABLE
3600.00/3609.85 c received SIGTERM, forwarding to pbsolver...
3600.00/3609.85 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61300 MiB free)
memory of node 1: 64465 MiB (56229 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530133-1752252889/watcher-4530133-1752252889 -o /tmp/evaluation-result-4530133-1752252889/solver-4530133-1752252889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1752252618-120884 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530133-1752252889.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=122195, runsolver pid=122192
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.02 3.33 3.14 5/273 122200
/proc/meminfo: memFree=120344520/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1186972 memory=31780 CPUtime=0.06 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 3726 0 0 0 5 1 0 0 20 0 1 0 140966459 1215459328 7945 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 296743 7945 4880 1 0 268765 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34724 KiB
[startup+0.205837 s]*
/proc/loadavg: 4.02 3.33 3.14 5/273 122200
/proc/meminfo: memFree=120325876/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1206124 memory=58660 CPUtime=0.17 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 7495 0 0 0 15 2 0 0 20 0 1 0 140966459 1235070976 14665 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 301531 14665 8112 1 0 272889 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1210316 KiB
Current children cumulated memory: 61604 KiB
[startup+0.305827 s]*
/proc/loadavg: 4.02 3.33 3.14 5/273 122200
/proc/meminfo: memFree=120325652/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1206124 memory=58788 CPUtime=0.27 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 7497 0 0 0 25 2 0 0 20 0 1 0 140966459 1235070976 14697 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 301531 14697 8112 1 0 272889 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1210316 KiB
Current children cumulated memory: 61732 KiB
[startup+0.70015 s]
/proc/loadavg: 4.02 3.33 3.14 5/273 122200
/proc/meminfo: memFree=120333716/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1206628 memory=59044 CPUtime=0.65 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 7585 0 0 0 63 2 0 0 20 0 1 0 140966459 1235587072 14761 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 301657 14761 8112 1 0 273015 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1210820 KiB
Current children cumulated memory: 61988 KiB
[startup+1.50017 s]
/proc/loadavg: 4.02 3.33 3.14 5/273 122200
/proc/meminfo: memFree=120301332/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1284836 memory=136484 CPUtime=1.45 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 26946 0 0 0 140 5 0 0 20 0 1 0 140966459 1315672064 34121 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 321209 34121 8112 1 0 292567 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1289028 KiB
Current children cumulated memory: 139428 KiB
[startup+3.10571 s]
/proc/loadavg: 4.01 3.34 3.15 5/273 122200
/proc/meminfo: memFree=120195304/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1339884 memory=188580 CPUtime=3.05 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 39961 0 0 0 298 7 0 0 20 0 1 0 140966459 1372041216 47145 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 334971 47145 8112 1 0 306329 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1344076 KiB
Current children cumulated memory: 191524 KiB
[startup+6.30013 s]
/proc/loadavg: 4.01 3.34 3.15 5/273 122200
/proc/meminfo: memFree=119726144/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1339884 memory=189476 CPUtime=6.24 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 40172 0 0 0 617 7 0 0 20 0 1 0 140966459 1372041216 47369 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 334971 47369 8112 1 0 306329 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1344076 KiB
Current children cumulated memory: 192420 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 3.37 3.16 5/273 122200
/proc/meminfo: memFree=120183764/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1339884 memory=189476 CPUtime=12.62 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 40172 0 0 0 1255 7 0 0 20 0 1 0 140966459 1372041216 47369 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 334971 47369 8112 1 0 306329 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1344076 KiB
Current children cumulated memory: 192420 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 3.40 3.17 5/273 122200
/proc/meminfo: memFree=120084508/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1441516 memory=288420 CPUtime=25.39 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 64937 0 0 0 2528 11 0 0 20 0 1 0 140966459 1476112384 72105 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 360379 72105 8112 1 0 331737 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1445708 KiB
Current children cumulated memory: 291364 KiB
[startup+51.1057 s]
/proc/loadavg: 4.05 3.45 3.20 5/273 122202
/proc/meminfo: memFree=119965612/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1452764 memory=299812 CPUtime=50.92 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 67759 0 0 0 5081 11 0 0 20 0 1 0 140966459 1487630336 74953 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 363191 74953 8112 1 0 334549 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1456956 KiB
Current children cumulated memory: 302756 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 3.56 3.25 5/272 122205
/proc/meminfo: memFree=121767104/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1467056 memory=315812 CPUtime=101.98 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 71775 0 0 0 10186 12 0 0 20 0 1 0 140966459 1502265344 78953 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 366764 78953 8112 1 0 338122 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1471248 KiB
Current children cumulated memory: 318756 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 3.69 3.32 5/270 122206
/proc/meminfo: memFree=121634892/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1493020 memory=343972 CPUtime=161.83 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 78813 0 0 0 16170 13 0 0 20 0 1 0 140966459 1528852480 85993 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 373255 85993 8112 1 0 344613 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1497212 KiB
Current children cumulated memory: 346916 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.75 3.36 5/269 122257
/proc/meminfo: memFree=124310152/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1493020 memory=343972 CPUtime=221.69 cores=4,6
/proc/122200/stat : 122200 (python3) R 122195 122195 119619 0 -1 4194304 78814 0 0 0 22154 15 0 0 20 0 1 0 140966459 1528852480 85993 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 373255 85993 8112 1 0 344613 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1497212 KiB
################
# More data... #
################
[pid=122314] ppid=122200 vsize=142648 memory=141116 CPUtime=2156.13 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 54382 0 0 0 215576 37 0 0 20 0 1 0 141066474 146071552 35279 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 35662 35279 640 696 0 34823 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 1647392 KiB
Current children cumulated memory: 498912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.19 4.09 5/272 122714
/proc/meminfo: memFree=125637016/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=142648 memory=141116 CPUtime=2215.98 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 54382 0 0 0 221561 37 0 0 20 0 1 0 141066474 146071552 35279 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 35662 35279 640 696 0 34823 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 1647392 KiB
Current children cumulated memory: 498912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/272 122716
/proc/meminfo: memFree=125615076/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=142648 memory=141116 CPUtime=2275.82 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 54391 0 0 0 227545 37 0 0 20 0 1 0 141066474 146071552 35279 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 35662 35279 640 696 0 34823 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 1647392 KiB
Current children cumulated memory: 498912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 122719
/proc/meminfo: memFree=125580756/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=194656 memory=193176 CPUtime=2335.67 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 56224 0 0 0 233526 41 0 0 20 0 1 0 141066474 199327744 48294 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 48664 48294 640 696 0 47825 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 1699400 KiB
Current children cumulated memory: 550972 KiB
[startup+3402.3 s]
/proc/loadavg: 3.43 3.98 4.04 3/255 122783
/proc/meminfo: memFree=126835172/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=194036 memory=192556 CPUtime=2395.5 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 58407 0 0 0 239501 49 0 0 20 0 1 0 141066474 198692864 48139 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 48509 48139 640 696 0 47670 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 1698780 KiB
Current children cumulated memory: 550352 KiB
[startup+3462.3 s]
/proc/loadavg: 2.60 3.64 3.91 3/256 122792
/proc/meminfo: memFree=126866012/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=193140 memory=191660 CPUtime=2455.35 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 60457 0 0 0 245483 52 0 0 20 0 1 0 141066474 197775360 47915 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 48285 47915 640 696 0 47446 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 1697884 KiB
Current children cumulated memory: 549456 KiB
[startup+3522.3 s]
/proc/loadavg: 2.27 3.36 3.80 3/256 122794
/proc/meminfo: memFree=126866336/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=194812 memory=193336 CPUtime=2515.18 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 63194 0 0 0 251462 56 0 0 20 0 1 0 141066474 199487488 48334 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 48703 48334 640 696 0 47864 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 1699556 KiB
Current children cumulated memory: 551132 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 3.12 3.69 3/256 122796
/proc/meminfo: memFree=126852808/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=203688 memory=202212 CPUtime=2575.02 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 65759 0 0 0 257439 63 0 0 20 0 1 0 141066474 208576512 50553 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 50922 50553 640 696 0 50083 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 1708432 KiB
Current children cumulated memory: 560008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 2.14 3.03 3.64 3/257 122798
/proc/meminfo: memFree=126862236/131250000 swapFree=33008100/33010684
[pid=122195] ppid=122192 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/122195/stat : 122195 (scip-naps-1.00a) S 122192 122195 119619 0 -1 4194304 260 328 0 0 0 0 0 0 20 0 1 0 140966457 4292608 736 18446744073709551615 94682840662016 94682841556549 140721510836528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94682841795600 94682841843344 94682860032000 140721510844827 140721510844926 140721510844926 140721510850530 0
/proc/122195/statm: 1048 736 672 219 0 110 0
[pid=122200] ppid=122195 vsize=1500552 memory=354852 CPUtime=997.55 cores=4,6
/proc/122200/stat : 122200 (python3) S 122195 122195 119619 0 -1 4194304 81331 0 0 0 99737 18 0 0 20 0 1 0 140966459 1536565248 88713 18446744073709551615 94417386844160 94417386844537 140733785663920 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94417386855832 94417386856452 94417396080640 140733785667934 140733785668128 140733785668128 140733785673703 0
/proc/122200/statm: 375138 88713 8176 1 0 346496 0
[pid=122314] ppid=122200 vsize=215404 memory=213928 CPUtime=2602.45 cores=4,6
/proc/122314/stat : 122314 (naps-1.03a6) R 122200 122314 122314 0 -1 4194304 66679 0 0 0 260179 66 0 0 20 0 1 0 141066474 220573696 53482 18446744073709551615 4198400 7047149 140723250991216 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35741696 140723250993525 140723250993649 140723250993649 140723250999241 0
/proc/122314/statm: 53851 53482 640 696 0 53012 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1720148 KiB
Current children cumulated memory: 571724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.82 s]
# the end of solver process 122195 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002757 s, system=0.002604 s
[startup+3609.87 s]
# the end of solver process 122200 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.23 s, system=0.854109 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
Child status: 0
Real time (s): 3609.87
CPU time (s): 3600.09
CPU user time (s): 3599.23
CPU system time (s): 0.854109
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 1789544
Max. memory (cumulated for all children) (KiB): 641076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.23
system time used= 0.854109
maximum resident set size= 354852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 1621
# summary of solver processes directly reported to runsolver:
# pid: 122195,122200
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.23
# total CPU system time (s): 0.854109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.88968 second user time and 16.3052 second system time
The end