67.96/68.49 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4489335-1751334234.opb
67.96/68.49 c Solving mode: optimization
67.96/68.49 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
67.96/68.49 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
67.96/68.49 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
67.96/68.49 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 4.760000e+02
67.96/68.49 c presolving:
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 c (0.0s) probing: 51/476 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
67.96/68.49 c (0.0s) probing aborted: 50/50 successive totally useless probings
67.96/68.49 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
67.96/68.49 c (0.0s) no symmetry present (symcode time: 0.00)
67.96/68.49 c presolving (8 rounds: 8 fast, 4 medium, 3 exhaustive):
67.96/68.49 c 0 deleted vars, 150 deleted constraints, 229 added constraints, 0 tightened bounds, 0 added holes, 392 changed sides, 1117 changed coefficients
67.96/68.49 c 0 implications, 108 cliques
67.96/68.49 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 555 constraints
67.96/68.49 c 430 constraints of type <knapsack>
67.96/68.49 c 108 constraints of type <setppc>
67.96/68.49 c 17 constraints of type <logicor>
67.96/68.49 c transformed objective value is always integral (scale: 1)
67.96/68.49 c Presolving Time: 0.02
67.96/68.49 c transformed 1/1 original solutions to the transformed problem space
67.96/68.49 c
67.96/68.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.96/68.49 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 476 | 555 | 555 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.170000e+02 | Inf | unknown
67.96/68.49 c i 0.0s| 1 | 0 | 0 | - | oneopt| 0 | 476 | 555 | 555 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.060000e+02 | Inf | unknown
67.96/68.49 c 0.6s| 1 | 0 | 10463 | - | 7425k | 0 | 476 | 555 | 555 | 0 | 0 | 0 | 0 | 1.503015e+02 | 2.060000e+02 | 37.06%| unknown
67.96/68.49 c 0.8s| 1 | 0 | 11103 | - | 23M | 0 | 476 | 555 | 616 | 61 | 1 | 0 | 0 | 1.538642e+02 | 2.060000e+02 | 33.88%| unknown
67.96/68.49 c 0.9s| 1 | 0 | 11807 | - | 37M | 0 | 476 | 555 | 679 | 124 | 2 | 0 | 0 | 1.564144e+02 | 2.060000e+02 | 31.70%| unknown
67.96/68.49 c 1.0s| 1 | 0 | 12409 | - | 50M | 0 | 476 | 555 | 737 | 182 | 3 | 0 | 0 | 1.578620e+02 | 2.060000e+02 | 30.49%| unknown
67.96/68.49 c 1.2s| 1 | 0 | 12924 | - | 61M | 0 | 476 | 555 | 798 | 243 | 4 | 0 | 0 | 1.590831e+02 | 2.060000e+02 | 29.49%| unknown
67.96/68.49 c 1.3s| 1 | 0 | 13396 | - | 73M | 0 | 476 | 555 | 852 | 297 | 5 | 0 | 0 | 1.600432e+02 | 2.060000e+02 | 28.72%| unknown
67.96/68.49 c 1.4s| 1 | 0 | 13719 | - | 86M | 0 | 476 | 555 | 890 | 335 | 6 | 0 | 0 | 1.605374e+02 | 2.060000e+02 | 28.32%| unknown
67.96/68.49 c 1.5s| 1 | 0 | 13958 | - | 100M | 0 | 476 | 555 | 923 | 368 | 7 | 0 | 0 | 1.608071e+02 | 2.060000e+02 | 28.10%| unknown
67.96/68.49 c 1.6s| 1 | 0 | 14248 | - | 103M | 0 | 476 | 555 | 958 | 403 | 8 | 0 | 0 | 1.610717e+02 | 2.060000e+02 | 27.89%| unknown
67.96/68.49 c 1.8s| 1 | 0 | 14584 | - | 121M | 0 | 476 | 555 | 985 | 430 | 9 | 0 | 0 | 1.612720e+02 | 2.060000e+02 | 27.73%| unknown
67.96/68.49 c 1.9s| 1 | 0 | 14825 | - | 138M | 0 | 476 | 555 |1009 | 454 | 10 | 0 | 0 | 1.614048e+02 | 2.060000e+02 | 27.63%| unknown
67.96/68.49 c 2.0s| 1 | 0 | 15042 | - | 138M | 0 | 476 | 555 |1034 | 482 | 11 | 0 | 0 | 1.615113e+02 | 2.060000e+02 | 27.55%| unknown
67.96/68.49 c 2.0s| 1 | 0 | 15294 | - | 138M | 0 | 476 | 555 |1063 | 511 | 12 | 0 | 0 | 1.616384e+02 | 2.060000e+02 | 27.44%| unknown
67.96/68.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.96/68.49 c 2.1s| 1 | 0 | 15577 | - | 138M | 0 | 476 | 555 |1094 | 542 | 13 | 0 | 0 | 1.617517e+02 | 2.060000e+02 | 27.36%| unknown
67.96/68.49 c 2.2s| 1 | 0 | 15727 | - | 138M | 0 | 476 | 555 |1112 | 560 | 14 | 0 | 0 | 1.617889e+02 | 2.060000e+02 | 27.33%| unknown
67.96/68.49 c 2.2s| 1 | 0 | 15849 | - | 138M | 0 | 476 | 555 |1129 | 577 | 15 | 0 | 0 | 1.618116e+02 | 2.060000e+02 | 27.31%| unknown
67.96/68.49 c 2.3s| 1 | 0 | 15953 | - | 138M | 0 | 476 | 555 |1143 | 591 | 16 | 0 | 0 | 1.618257e+02 | 2.060000e+02 | 27.30%| unknown
67.96/68.49 c 2.4s| 1 | 0 | 15972 | - | 138M | 0 | 476 | 555 |1072 | 594 | 17 | 0 | 0 | 1.618281e+02 | 2.060000e+02 | 27.30%| unknown
67.96/68.49 c 2.4s| 1 | 0 | 15985 | - | 138M | 0 | 476 | 555 |1073 | 595 | 18 | 0 | 0 | 1.618282e+02 | 2.060000e+02 | 27.30%| unknown
67.96/68.49 c 2.4s| 1 | 0 | 15987 | - | 139M | 0 | 476 | 555 |1074 | 596 | 19 | 0 | 0 | 1.618283e+02 | 2.060000e+02 | 27.30%| unknown
67.96/68.49 c 5.1s| 1 | 2 | 15987 | - | 140M | 0 | 476 | 555 |1074 | 596 | 20 | 0 | 42 | 1.622003e+02 | 2.060000e+02 | 27.00%| unknown
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 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
67.96/68.49 c d39.4s| 367 | 368 |195943 | 491.7 |pscostdi| 55 | 476 | 555 |1019 | 0 | 1 | 7 | 496 | 1.626357e+02 | 1.990000e+02 | 22.36%| unknown
67.96/68.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.96/68.49 c 41.6s| 400 | 401 |212499 | 492.5 | 247M | 55 | 476 | 555 |1192 |3995 | 1 | 10 | 506 | 1.626357e+02 | 1.990000e+02 | 22.36%| unknown
67.96/68.49 c 47.8s| 500 | 501 |261731 | 492.5 | 254M | 55 | 476 | 555 |1194 |4497 | 1 | 13 | 559 | 1.626357e+02 | 1.990000e+02 | 22.36%| unknown
67.96/68.49 c L53.3s| 567 | 568 |295572 | 494.0 | rins| 55 | 476 | 555 |1186 |4993 | 1 | 17 | 602 | 1.626357e+02 | 1.980000e+02 | 21.74%| unknown
67.96/68.49 c 56.0s| 600 | 601 |313767 | 497.1 | 257M | 55 | 476 | 555 |1048 |5462 | 6 | 18 | 624 | 1.626357e+02 | 1.980000e+02 | 21.74%| unknown
67.96/68.49 c 62.5s| 700 | 701 |370008 | 506.5 | 259M | 55 | 476 | 555 |1172 |6225 | 1 | 26 | 642 | 1.626357e+02 | 1.980000e+02 | 21.74%| unknown
67.96/68.49 c L68.1s| 767 | 768 |404809 | 507.6 | rins| 55 | 476 | 555 |1206 |6634 | 1 | 35 | 672 | 1.626357e+02 | 1.970000e+02 | 21.13%| unknown
171.36/172.14 c i68.1s| 768 | 769 |404846 | 507.0 | oneopt| 55 | 476 | 555 |1206 |6634 | 1 | 35 | 672 | 1.626357e+02 | 1.960000e+02 | 20.51%| unknown
171.36/172.14 c 72.0s| 800 | 801 |447407 | 539.9 | 260M | 55 | 476 | 555 |1036 |7004 | 1 | 36 | 672 | 1.626357e+02 | 1.960000e+02 | 20.51%| unknown
171.36/172.14 c 80.6s| 900 | 901 |514054 | 554.0 | 262M | 55 | 476 | 555 |1044 |8284 | 6 | 37 | 676 | 1.626357e+02 | 1.960000e+02 | 20.51%| unknown
171.36/172.14 c 88.6s| 1000 | 1001 |576597 | 561.2 | 263M | 55 | 476 | 555 |1163 |9359 | 1 | 40 | 677 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
171.36/172.14 c (run 1, node 1049) performing user restart
171.36/172.14 c
171.36/172.14 c (restart) converted 417 cuts from the global cut pool into linear constraints
171.36/172.14 c
171.36/172.14 c presolving:
171.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
171.36/172.14 c 0 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 35 changed coefficients
171.36/172.14 c 0 implications, 108 cliques
171.36/172.14 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 970 constraints
171.36/172.14 c 723 constraints of type <knapsack>
171.36/172.14 c 108 constraints of type <setppc>
171.36/172.14 c 139 constraints of type <logicor>
171.36/172.14 c transformed objective value is always integral (scale: 1)
171.36/172.14 c Presolving Time: 0.03
171.36/172.14 c transformed 81/100 original solutions to the transformed problem space
171.36/172.14 c
171.36/172.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.36/172.14 c 93.6s| 1 | 0 |608309 | - | 237M | 0 | 476 | 970 | 970 | 0 | 0 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 93.7s| 1 | 0 |608771 | - | 238M | 0 | 476 | 970 |1008 | 38 | 1 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 93.8s| 1 | 0 |609120 | - | 240M | 0 | 476 | 970 |1033 | 63 | 2 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 93.9s| 1 | 0 |609362 | - | 229M | 0 | 476 | 970 |1056 | 86 | 3 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.0s| 1 | 0 |609478 | - | 235M | 0 | 476 | 970 |1068 | 98 | 4 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.2s| 1 | 0 |609618 | - | 239M | 0 | 476 | 970 |1075 | 105 | 5 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.3s| 1 | 0 |609796 | - | 236M | 0 | 476 | 970 |1085 | 115 | 6 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.4s| 1 | 0 |609956 | - | 235M | 0 | 476 | 970 |1094 | 124 | 7 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.6s| 1 | 0 |610075 | - | 236M | 0 | 476 | 970 |1100 | 130 | 8 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.7s| 1 | 0 |610182 | - | 237M | 0 | 476 | 970 |1102 | 132 | 9 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.9s| 1 | 0 |610311 | - | 240M | 0 | 476 | 970 |1109 | 139 | 10 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 94.9s| 1 | 0 |610387 | - | 240M | 0 | 476 | 970 |1011 | 142 | 11 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 95.0s| 1 | 0 |610450 | - | 240M | 0 | 476 | 970 |1015 | 146 | 12 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 95.1s| 1 | 0 |610570 | - | 240M | 0 | 476 | 970 |1019 | 150 | 13 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 95.2s| 1 | 0 |610601 | - | 240M | 0 | 476 | 970 |1024 | 155 | 14 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.36/172.14 c 95.3s| 1 | 0 |610647 | - | 240M | 0 | 476 | 970 |1028 | 159 | 15 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 95.4s| 1 | 0 |610731 | - | 240M | 0 | 476 | 970 |1033 | 164 | 16 | 43 | 709 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 96.0s| 1 | 2 |613731 | - | 240M | 0 | 476 | 970 |1033 | 164 | 16 | 43 | 714 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 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.36/172.14 c 118s| 200 | 201 |721650 | 561.2 | 264M | 42 | 476 | 970 | 994 | 870 | 1 | 52 | 977 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 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.36/172.14 c 131s| 400 | 401 |804592 | 540.9 | 275M | 52 | 476 | 970 |1066 |1736 | 1 | 62 |1058 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 c 132s| 500 | 487 |814377 | 512.3 | 275M | 124 | 476 | 970 |1094 |1786 | 1 | 64 |1080 | 1.626523e+02 | 1.960000e+02 | 20.50%| unknown
171.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 c 146s| 1000 | 668 |904919 | 431.4 | 277M | 128 | 476 | 970 | 944 |2468 | 1 | 76 |1168 | 1.629054e+02 | 1.950000e+02 | 19.70%| unknown
171.36/172.14 c 148s| 1100 | 684 |916795 | 416.9 | 277M | 128 | 476 | 970 |1097 |2549 | 2 | 79 |1172 | 1.629321e+02 | 1.950000e+02 | 19.68%| unknown
171.36/172.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
171.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 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.36/172.14 c 160s| 1700 | 846 | 1001k| 356.6 | 278M | 128 | 476 | 970 |1100 |3316 | 1 | 104 |1183 | 1.630914e+02 | 1.950000e+02 | 19.56%| unknown
171.36/172.14 c 163s| 1800 | 894 | 1020k| 350.8 | 278M | 128 | 476 | 970 |1098 |3552 | 1 | 112 |1188 | 1.631570e+02 | 1.950000e+02 | 19.52%| unknown
171.36/172.14 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.36/172.14 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
342.77/344.01 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
342.77/344.01 c 185s| 2800 | 1186 | 1170k| 298.7 | 280M | 128 | 476 | 970 |1102 |5663 | 0 | 187 |1195 | 1.632996e+02 | 1.950000e+02 | 19.41%| unknown
342.77/344.01 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
342.77/344.01 c 190s| 3000 | 1238 | 1217k| 295.5 | 280M | 128 | 476 | 970 |1104 |5967 | 1 | 207 |1196 | 1.633108e+02 | 1.950000e+02 | 19.40%| unknown
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 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
342.77/344.01 c 206s| 3500 | 1299 | 1337k| 289.4 | 281M | 128 | 476 | 970 | 954 |7134 | 1 | 249 |1234 | 1.633651e+02 | 1.930000e+02 | 18.14%| unknown
342.77/344.01 c 213s| 3600 | 1357 | 1391k| 294.9 | 281M | 128 | 476 | 970 |1103 |7550 | 2 | 256 |1236 | 1.633776e+02 | 1.930000e+02 | 18.13%| unknown
342.77/344.01 c 215s| 3700 | 1377 | 1414k| 293.4 | 281M | 128 | 476 | 970 |1102 |7665 | 1 | 260 |1239 | 1.633798e+02 | 1.930000e+02 | 18.13%| unknown
342.77/344.01 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
342.77/344.01 c 225s| 3900 | 1455 | 1499k| 298.8 | 281M | 128 | 476 | 970 |1110 |8199 | 4 | 280 |1239 | 1.634298e+02 | 1.930000e+02 | 18.09%| unknown
342.77/344.01 c 231s| 4000 | 1493 | 1560k| 304.8 | 281M | 128 | 476 | 970 |1100 |8507 | 1 | 287 |1239 | 1.634351e+02 | 1.930000e+02 | 18.09%| unknown
342.77/344.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
342.77/344.01 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
342.77/344.01 c 239s| 4200 | 1547 | 1624k| 305.6 | 282M | 128 | 476 | 970 |1096 |8960 | 1 | 307 |1261 | 1.634669e+02 | 1.930000e+02 | 18.07%| unknown
342.77/344.01 c 243s| 4300 | 1593 | 1656k| 305.7 | 282M | 128 | 476 | 970 |1102 |9199 | 2 | 316 |1265 | 1.635032e+02 | 1.930000e+02 | 18.04%| unknown
342.77/344.01 c 245s| 4400 | 1603 | 1678k| 304.2 | 282M | 128 | 476 | 970 |1102 |9348 | 1 | 328 |1268 | 1.635154e+02 | 1.930000e+02 | 18.03%| unknown
342.77/344.01 c 249s| 4500 | 1639 | 1711k| 304.6 | 282M | 128 | 476 | 970 |1104 |9600 | 0 | 337 |1270 | 1.635290e+02 | 1.930000e+02 | 18.02%| unknown
342.77/344.01 c 250s| 4600 | 1637 | 1725k| 301.7 | 282M | 128 | 476 | 970 |1105 |9642 | 1 | 346 |1270 | 1.635290e+02 | 1.930000e+02 | 18.02%| unknown
342.77/344.01 c 253s| 4700 | 1671 | 1760k| 302.6 | 282M | 128 | 476 | 970 |1102 |9846 | 1 | 354 |1271 | 1.635364e+02 | 1.930000e+02 | 18.02%| unknown
342.77/344.01 c 256s| 4800 | 1681 | 1783k| 301.4 | 282M | 128 | 476 | 970 |1102 |9957 | 1 | 365 |1274 | 1.635405e+02 | 1.930000e+02 | 18.01%| unknown
342.77/344.01 c 260s| 4900 | 1717 | 1819k| 302.2 | 282M | 128 | 476 | 970 |1104 | 10k| 1 | 372 |1276 | 1.635428e+02 | 1.930000e+02 | 18.01%| unknown
342.77/344.01 c 263s| 5000 | 1751 | 1849k| 302.3 | 282M | 128 | 476 | 970 |1103 | 10k| 2 | 383 |1278 | 1.635571e+02 | 1.930000e+02 | 18.00%| unknown
342.77/344.01 c 267s| 5100 | 1779 | 1885k| 303.3 | 282M | 128 | 476 | 970 |1104 | 10k| 1 | 398 |1279 | 1.635700e+02 | 1.930000e+02 | 17.99%| unknown
342.77/344.01 c 272s| 5200 | 1819 | 1929k| 305.3 | 282M | 128 | 476 | 970 |1103 | 10k| 1 | 405 |1279 | 1.635754e+02 | 1.930000e+02 | 17.99%| unknown
342.77/344.01 c 274s| 5300 | 1837 | 1951k| 304.1 | 282M | 128 | 476 | 970 |1107 | 11k| 1 | 412 |1279 | 1.635761e+02 | 1.930000e+02 | 17.99%| unknown
342.77/344.01 c 277s| 5400 | 1839 | 1975k| 303.1 | 282M | 128 | 476 | 970 |1106 | 11k| 1 | 423 |1291 | 1.635762e+02 | 1.930000e+02 | 17.99%| unknown
342.77/344.01 c 281s| 5500 | 1855 | 2012k| 304.1 | 282M | 128 | 476 | 970 |1109 | 11k| 1 | 433 |1304 | 1.635894e+02 | 1.930000e+02 | 17.98%| unknown
342.77/344.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
342.77/344.01 c 285s| 5600 | 1893 | 2047k| 304.8 | 282M | 128 | 476 | 970 | 959 | 11k| 1 | 437 |1311 | 1.636055e+02 | 1.930000e+02 | 17.97%| unknown
342.77/344.01 c 289s| 5700 | 1937 | 2084k| 305.7 | 282M | 128 | 476 | 970 |1102 | 11k| 1 | 442 |1316 | 1.636106e+02 | 1.930000e+02 | 17.96%| unknown
342.77/344.01 c 293s| 5800 | 1979 | 2123k| 306.9 | 282M | 128 | 476 | 970 |1106 | 12k| 1 | 457 |1322 | 1.636142e+02 | 1.930000e+02 | 17.96%| unknown
342.77/344.01 c 296s| 5900 | 2023 | 2150k| 306.4 | 283M | 128 | 476 | 970 | 958 | 12k| 1 | 464 |1331 | 1.636223e+02 | 1.930000e+02 | 17.95%| unknown
342.77/344.01 c 299s| 6000 | 2051 | 2178k| 306.1 | 283M | 128 | 476 | 970 |1100 | 12k| 2 | 467 |1333 | 1.636247e+02 | 1.930000e+02 | 17.95%| unknown
342.77/344.01 c 301s| 6100 | 2075 | 2196k| 304.3 | 283M | 128 | 476 | 970 | 953 | 12k| 1 | 475 |1336 | 1.636316e+02 | 1.930000e+02 | 17.95%| unknown
342.77/344.01 c 305s| 6200 | 2123 | 2237k| 305.8 | 283M | 128 | 476 | 970 |1103 | 12k| 1 | 481 |1336 | 1.636420e+02 | 1.930000e+02 | 17.94%| unknown
342.77/344.01 c 308s| 6300 | 2139 | 2266k| 305.6 | 283M | 128 | 476 | 970 |1111 | 12k| 2 | 487 |1336 | 1.636446e+02 | 1.930000e+02 | 17.94%| unknown
342.77/344.01 c 313s| 6400 | 2189 | 2310k| 307.3 | 283M | 128 | 476 | 970 |1105 | 13k| 1 | 498 |1337 | 1.636635e+02 | 1.930000e+02 | 17.92%| unknown
342.77/344.01 c 317s| 6500 | 2227 | 2343k| 307.6 | 283M | 128 | 476 | 970 |1107 | 13k| 2 | 511 |1337 | 1.636638e+02 | 1.930000e+02 | 17.92%| unknown
342.77/344.01 c 319s| 6600 | 2243 | 2370k| 307.2 | 283M | 128 | 476 | 970 |1107 | 13k| 1 | 532 |1337 | 1.636656e+02 | 1.930000e+02 | 17.92%| unknown
342.77/344.01 c 326s| 6700 | 2279 | 2434k| 311.5 | 283M | 128 | 476 | 970 |1109 | 13k| 2 | 541 |1340 | 1.636788e+02 | 1.930000e+02 | 17.91%| unknown
342.77/344.01 c 329s| 6800 | 2309 | 2467k| 311.7 | 283M | 128 | 476 | 970 |1110 | 14k| 1 | 547 |1341 | 1.636857e+02 | 1.930000e+02 | 17.91%| unknown
342.77/344.01 c 333s| 6900 | 2339 | 2498k| 311.6 | 284M | 128 | 476 | 970 |1109 | 14k| 1 | 555 |1341 | 1.636904e+02 | 1.930000e+02 | 17.91%| unknown
342.77/344.01 c 337s| 7000 | 2373 | 2533k| 312.2 | 284M | 128 | 476 | 970 | 952 | 14k| 1 | 568 |1342 | 1.636921e+02 | 1.930000e+02 | 17.90%| unknown
342.77/344.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
342.77/344.01 c 338s| 7100 | 2377 | 2551k| 310.6 | 284M | 128 | 476 | 970 |1109 | 14k| 0 | 584 |1342 | 1.636921e+02 | 1.930000e+02 | 17.90%| unknown
496.44/498.17 c 344s| 7200 | 2431 | 2597k| 312.4 | 284M | 128 | 476 | 970 |1109 | 15k| 2 | 592 |1343 | 1.637103e+02 | 1.930000e+02 | 17.89%| unknown
496.44/498.17 c 345s| 7300 | 2453 | 2617k| 311.0 | 284M | 128 | 476 | 970 |1108 | 15k| 1 | 605 |1343 | 1.637130e+02 | 1.930000e+02 | 17.89%| unknown
496.44/498.17 c 348s| 7400 | 2469 | 2640k| 310.0 | 284M | 128 | 476 | 970 | 954 | 15k| 1 | 625 |1344 | 1.637287e+02 | 1.930000e+02 | 17.88%| unknown
496.44/498.17 c 351s| 7500 | 2491 | 2675k| 310.5 | 284M | 128 | 476 | 970 |1107 | 15k| 1 | 642 |1344 | 1.637374e+02 | 1.930000e+02 | 17.87%| unknown
496.44/498.17 c 353s| 7600 | 2517 | 2700k| 309.8 | 284M | 128 | 476 | 970 |1104 | 15k| 1 | 655 |1344 | 1.637435e+02 | 1.930000e+02 | 17.87%| unknown
496.44/498.17 c 358s| 7700 | 2549 | 2743k| 311.2 | 284M | 128 | 476 | 970 |1110 | 16k| 2 | 664 |1344 | 1.637539e+02 | 1.930000e+02 | 17.86%| unknown
496.44/498.17 c 361s| 7800 | 2573 | 2772k| 311.0 | 284M | 128 | 476 | 970 |1107 | 16k| 0 | 672 |1345 | 1.637573e+02 | 1.930000e+02 | 17.86%| unknown
496.44/498.17 c 366s| 7900 | 2613 | 2808k| 311.5 | 284M | 128 | 476 | 970 | 948 | 16k| 1 | 681 |1355 | 1.637746e+02 | 1.930000e+02 | 17.84%| unknown
496.44/498.17 c 371s| 8000 | 2667 | 2853k| 313.0 | 284M | 128 | 476 | 970 |1106 | 16k| 1 | 691 |1358 | 1.637817e+02 | 1.930000e+02 | 17.84%| unknown
496.44/498.17 c 374s| 8100 | 2691 | 2881k| 312.6 | 284M | 128 | 476 | 970 |1109 | 16k| 1 | 704 |1360 | 1.637817e+02 | 1.930000e+02 | 17.84%| unknown
496.44/498.17 c 376s| 8200 | 2715 | 2905k| 311.8 | 284M | 128 | 476 | 970 |1107 | 16k| 1 | 716 |1361 | 1.637846e+02 | 1.930000e+02 | 17.84%| unknown
496.44/498.17 c 381s| 8300 | 2769 | 2948k| 313.2 | 284M | 128 | 476 | 970 |1108 | 17k| 3 | 727 |1362 | 1.638104e+02 | 1.930000e+02 | 17.82%| unknown
496.44/498.17 c 383s| 8400 | 2793 | 2973k| 312.5 | 284M | 128 | 476 | 970 |1109 | 17k| 1 | 744 |1362 | 1.638120e+02 | 1.930000e+02 | 17.82%| unknown
496.44/498.17 c 385s| 8500 | 2831 | 2999k| 311.9 | 284M | 128 | 476 | 970 |1103 | 17k| 1 | 753 |1364 | 1.638153e+02 | 1.930000e+02 | 17.82%| unknown
496.44/498.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
496.44/498.17 c 389s| 8600 | 2881 | 3031k| 312.0 | 284M | 128 | 476 | 970 |1118 | 17k| 2 | 761 |1368 | 1.638205e+02 | 1.930000e+02 | 17.81%| unknown
496.44/498.17 c 391s| 8700 | 2907 | 3056k| 311.4 | 284M | 128 | 476 | 970 |1115 | 17k| 1 | 774 |1371 | 1.638224e+02 | 1.930000e+02 | 17.81%| unknown
496.44/498.17 c 394s| 8800 | 2957 | 3092k| 311.9 | 284M | 128 | 476 | 970 |1119 | 18k| 0 | 781 |1372 | 1.638357e+02 | 1.930000e+02 | 17.80%| unknown
496.44/498.17 c 399s| 8900 | 3003 | 3135k| 313.0 | 284M | 128 | 476 | 970 |1117 | 18k| 3 | 795 |1375 | 1.638564e+02 | 1.930000e+02 | 17.79%| unknown
496.44/498.17 c 402s| 9000 | 3029 | 3173k| 313.7 | 284M | 128 | 476 | 970 |1117 | 18k| 2 | 807 |1377 | 1.638591e+02 | 1.930000e+02 | 17.78%| unknown
496.44/498.17 c 403s| 9100 | 3047 | 3188k| 312.1 | 284M | 128 | 476 | 970 |1112 | 18k| 1 | 820 |1377 | 1.638591e+02 | 1.930000e+02 | 17.78%| unknown
496.44/498.17 c 405s| 9200 | 3065 | 3212k| 311.4 | 284M | 128 | 476 | 970 |1107 | 18k| 1 | 836 |1383 | 1.638641e+02 | 1.930000e+02 | 17.78%| unknown
496.44/498.17 c 407s| 9300 | 3079 | 3234k| 310.5 | 284M | 128 | 476 | 970 |1112 | 18k| 1 | 850 |1384 | 1.638657e+02 | 1.930000e+02 | 17.78%| unknown
496.44/498.17 c 408s| 9400 | 3089 | 3248k| 308.9 | 284M | 128 | 476 | 970 |1112 | 18k| 2 | 862 |1386 | 1.638657e+02 | 1.930000e+02 | 17.78%| unknown
496.44/498.17 c 411s| 9500 | 3139 | 3285k| 309.5 | 284M | 128 | 476 | 970 |1114 | 18k| 3 | 867 |1391 | 1.638722e+02 | 1.930000e+02 | 17.77%| unknown
496.44/498.17 c 414s| 9600 | 3161 | 3315k| 309.4 | 284M | 128 | 476 | 970 |1112 | 18k| 1 | 881 |1393 | 1.638762e+02 | 1.930000e+02 | 17.77%| unknown
496.44/498.17 c 420s| 9700 | 3209 | 3376k| 312.2 | 285M | 128 | 476 | 970 |1109 | 19k| 1 | 890 |1396 | 1.638948e+02 | 1.930000e+02 | 17.76%| unknown
496.44/498.17 c 424s| 9800 | 3255 | 3414k| 312.8 | 285M | 128 | 476 | 970 |1117 | 19k| 0 | 901 |1398 | 1.639123e+02 | 1.930000e+02 | 17.75%| unknown
496.44/498.17 c 427s| 9900 | 3291 | 3447k| 312.9 | 285M | 128 | 476 | 970 | 973 | 19k| 1 | 910 |1401 | 1.639214e+02 | 1.930000e+02 | 17.74%| unknown
496.44/498.17 c 430s| 10000 | 3301 | 3476k| 312.8 | 285M | 128 | 476 | 970 |1113 | 19k| 2 | 927 |1403 | 1.639220e+02 | 1.930000e+02 | 17.74%| unknown
496.44/498.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
496.44/498.17 c 433s| 10100 | 3339 | 3509k| 312.9 | 285M | 128 | 476 | 970 | 987 | 19k| 1 | 941 |1404 | 1.639323e+02 | 1.930000e+02 | 17.73%| unknown
496.44/498.17 c 434s| 10200 | 3377 | 3531k| 312.0 | 285M | 128 | 476 | 970 |1116 | 19k| 1 | 956 |1404 | 1.639323e+02 | 1.930000e+02 | 17.73%| unknown
496.44/498.17 c 438s| 10300 | 3409 | 3565k| 312.3 | 285M | 128 | 476 | 970 |1111 | 19k| 1 | 971 |1406 | 1.639368e+02 | 1.930000e+02 | 17.73%| unknown
496.44/498.17 c 441s| 10400 | 3441 | 3591k| 311.9 | 285M | 128 | 476 | 970 |1117 | 20k| 2 | 979 |1407 | 1.639416e+02 | 1.930000e+02 | 17.72%| unknown
496.44/498.17 c 444s| 10500 | 3467 | 3621k| 311.7 | 285M | 128 | 476 | 970 |1106 | 20k| 1 | 986 |1414 | 1.639460e+02 | 1.930000e+02 | 17.72%| unknown
496.44/498.17 c 447s| 10600 | 3487 | 3652k| 311.7 | 285M | 128 | 476 | 970 |1117 | 20k| 1 | 997 |1421 | 1.639464e+02 | 1.930000e+02 | 17.72%| unknown
496.44/498.17 c 450s| 10700 | 3525 | 3683k| 311.7 | 285M | 128 | 476 | 970 |1121 | 20k| 2 |1007 |1424 | 1.639540e+02 | 1.930000e+02 | 17.72%| unknown
496.44/498.17 c 455s| 10800 | 3559 | 3718k| 312.0 | 285M | 128 | 476 | 970 | 966 | 20k| 1 |1019 |1430 | 1.639626e+02 | 1.930000e+02 | 17.71%| unknown
496.44/498.17 c 457s| 10900 | 3599 | 3746k| 311.8 | 285M | 128 | 476 | 970 |1113 | 20k| 1 |1029 |1436 | 1.639628e+02 | 1.930000e+02 | 17.71%| unknown
496.44/498.17 c 459s| 11000 | 3611 | 3772k| 311.4 | 285M | 128 | 476 | 970 |1114 | 20k| 2 |1045 |1439 | 1.639676e+02 | 1.930000e+02 | 17.71%| unknown
496.44/498.17 c 460s| 11100 | 3625 | 3790k| 310.3 | 285M | 128 | 476 | 970 |1112 | 20k| 1 |1060 |1441 | 1.639676e+02 | 1.930000e+02 | 17.71%| unknown
496.44/498.17 c 462s| 11200 | 3641 | 3814k| 309.7 | 285M | 128 | 476 | 970 | 949 | 21k| 1 |1070 |1441 | 1.639708e+02 | 1.930000e+02 | 17.70%| unknown
496.44/498.17 c 463s| 11300 | 3639 | 3834k| 308.8 | 285M | 128 | 476 | 970 |1114 | 21k| 2 |1087 |1441 | 1.639708e+02 | 1.930000e+02 | 17.70%| unknown
496.44/498.17 c 466s| 11400 | 3683 | 3867k| 309.0 | 286M | 128 | 476 | 970 |1112 | 21k| 0 |1097 |1442 | 1.639737e+02 | 1.930000e+02 | 17.70%| unknown
496.44/498.17 c 470s| 11500 | 3713 | 3899k| 309.1 | 286M | 128 | 476 | 970 |1116 | 21k| 0 |1107 |1444 | 1.639939e+02 | 1.930000e+02 | 17.69%| unknown
496.44/498.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
496.44/498.17 c 472s| 11600 | 3745 | 3927k| 308.9 | 286M | 128 | 476 | 970 |1116 | 21k| 1 |1121 |1444 | 1.639965e+02 | 1.930000e+02 | 17.69%| unknown
496.44/498.17 c 475s| 11700 | 3749 | 3952k| 308.4 | 286M | 128 | 476 | 970 |1110 | 21k| 1 |1140 |1444 | 1.640022e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 478s| 11800 | 3803 | 3986k| 308.6 | 286M | 128 | 476 | 970 |1114 | 21k| 2 |1149 |1444 | 1.640024e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 482s| 11900 | 3845 | 4025k| 309.2 | 286M | 128 | 476 | 970 |1112 | 22k| 1 |1155 |1446 | 1.640071e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 483s| 12000 | 3891 | 4045k| 308.4 | 286M | 128 | 476 | 970 |1108 | 22k| 1 |1165 |1449 | 1.640071e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 485s| 12100 | 3909 | 4068k| 307.8 | 286M | 128 | 476 | 970 |1112 | 22k| 2 |1177 |1452 | 1.640086e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 488s| 12200 | 3945 | 4102k| 308.0 | 286M | 128 | 476 | 970 |1110 | 22k| 1 |1191 |1462 | 1.640106e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 490s| 12300 | 3959 | 4121k| 307.2 | 286M | 128 | 476 | 970 |1110 | 22k| 2 |1211 |1464 | 1.640106e+02 | 1.930000e+02 | 17.68%| unknown
496.44/498.17 c 493s| 12400 | 4001 | 4160k| 307.8 | 286M | 128 | 476 | 970 |1112 | 22k| 2 |1224 |1465 | 1.640120e+02 | 1.930000e+02 | 17.67%| unknown
639.93/642.01 c 498s| 12500 | 4059 | 4204k| 308.8 | 286M | 128 | 476 | 970 |1112 | 22k| 1 |1235 |1469 | 1.640190e+02 | 1.930000e+02 | 17.67%| unknown
639.93/642.01 c 499s| 12600 | 4067 | 4225k| 308.1 | 286M | 128 | 476 | 970 |1114 | 22k| 2 |1253 |1470 | 1.640190e+02 | 1.930000e+02 | 17.67%| unknown
639.93/642.01 c 502s| 12700 | 4097 | 4255k| 308.0 | 286M | 128 | 476 | 970 |1113 | 22k| 1 |1272 |1470 | 1.640243e+02 | 1.930000e+02 | 17.67%| unknown
639.93/642.01 c 504s| 12800 | 4127 | 4282k| 307.7 | 286M | 128 | 476 | 970 | 971 | 22k| 1 |1294 |1475 | 1.640342e+02 | 1.930000e+02 | 17.66%| unknown
639.93/642.01 c 508s| 12900 | 4151 | 4319k| 308.1 | 287M | 128 | 476 | 970 |1113 | 23k| 1 |1312 |1476 | 1.640374e+02 | 1.930000e+02 | 17.66%| unknown
639.93/642.01 c 509s| 13000 | 4163 | 4336k| 307.2 | 287M | 128 | 476 | 970 | 972 | 23k| 1 |1331 |1476 | 1.640374e+02 | 1.930000e+02 | 17.66%| unknown
639.93/642.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.93/642.01 c 513s| 13100 | 4189 | 4393k| 309.1 | 287M | 128 | 476 | 970 |1113 | 23k| 2 |1352 |1478 | 1.640410e+02 | 1.930000e+02 | 17.65%| unknown
639.93/642.01 c 517s| 13200 | 4209 | 4429k| 309.4 | 287M | 128 | 476 | 970 |1115 | 23k| 2 |1375 |1483 | 1.640437e+02 | 1.930000e+02 | 17.65%| unknown
639.93/642.01 c 521s| 13300 | 4257 | 4467k| 309.9 | 287M | 128 | 476 | 970 |1113 | 23k| 1 |1384 |1485 | 1.640474e+02 | 1.930000e+02 | 17.65%| unknown
639.93/642.01 c 523s| 13400 | 4271 | 4489k| 309.3 | 287M | 128 | 476 | 970 |1116 | 23k| 1 |1398 |1485 | 1.640477e+02 | 1.930000e+02 | 17.65%| unknown
639.93/642.01 c 527s| 13500 | 4305 | 4523k| 309.4 | 287M | 128 | 476 | 970 | 949 | 23k| 1 |1404 |1491 | 1.640569e+02 | 1.930000e+02 | 17.64%| unknown
639.93/642.01 c 529s| 13600 | 4323 | 4548k| 309.1 | 287M | 128 | 476 | 970 |1116 | 23k| 0 |1415 |1497 | 1.640578e+02 | 1.930000e+02 | 17.64%| unknown
639.93/642.01 c 531s| 13700 | 4331 | 4570k| 308.5 | 287M | 128 | 476 | 970 |1116 | 24k| 1 |1430 |1498 | 1.640659e+02 | 1.930000e+02 | 17.64%| unknown
639.93/642.01 c 534s| 13800 | 4375 | 4609k| 309.0 | 287M | 128 | 476 | 970 |1117 | 24k| 1 |1443 |1501 | 1.640686e+02 | 1.930000e+02 | 17.63%| unknown
639.93/642.01 c 539s| 13900 | 4419 | 4654k| 309.9 | 288M | 128 | 476 | 970 |1114 | 24k| 2 |1447 |1504 | 1.640726e+02 | 1.930000e+02 | 17.63%| unknown
639.93/642.01 c 543s| 14000 | 4455 | 4692k| 310.4 | 288M | 128 | 476 | 970 |1115 | 24k| 1 |1467 |1511 | 1.640772e+02 | 1.930000e+02 | 17.63%| unknown
639.93/642.01 c 546s| 14100 | 4477 | 4720k| 310.2 | 288M | 128 | 476 | 970 |1115 | 24k| 2 |1486 |1514 | 1.640837e+02 | 1.930000e+02 | 17.62%| unknown
639.93/642.01 c 548s| 14200 | 4519 | 4749k| 310.1 | 288M | 128 | 476 | 970 |1116 | 24k| 1 |1499 |1515 | 1.640854e+02 | 1.930000e+02 | 17.62%| unknown
639.93/642.01 c 552s| 14300 | 4555 | 4783k| 310.3 | 288M | 128 | 476 | 970 | 955 | 24k| 1 |1510 |1517 | 1.640899e+02 | 1.930000e+02 | 17.62%| unknown
639.93/642.01 c 554s| 14400 | 4573 | 4810k| 310.0 | 288M | 128 | 476 | 970 |1118 | 25k| 3 |1525 |1518 | 1.640949e+02 | 1.930000e+02 | 17.61%| unknown
639.93/642.01 c 555s| 14500 | 4569 | 4828k| 309.2 | 288M | 128 | 476 | 970 |1117 | 25k| 1 |1542 |1519 | 1.640949e+02 | 1.930000e+02 | 17.61%| unknown
639.93/642.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.93/642.01 c 560s| 14600 | 4615 | 4878k| 310.4 | 288M | 128 | 476 | 970 |1110 | 25k| 1 |1561 |1521 | 1.641031e+02 | 1.930000e+02 | 17.61%| unknown
639.93/642.01 c 562s| 14700 | 4643 | 4902k| 310.0 | 288M | 128 | 476 | 970 |1119 | 25k| 2 |1575 |1521 | 1.641047e+02 | 1.930000e+02 | 17.61%| unknown
639.93/642.01 c 566s| 14800 | 4679 | 4939k| 310.4 | 288M | 128 | 476 | 970 |1120 | 25k| 2 |1583 |1521 | 1.641127e+02 | 1.930000e+02 | 17.60%| unknown
639.93/642.01 c 568s| 14900 | 4697 | 4968k| 310.2 | 288M | 128 | 476 | 970 | 952 | 25k| 1 |1595 |1522 | 1.641144e+02 | 1.930000e+02 | 17.60%| unknown
639.93/642.01 c 573s| 15000 | 4737 | 5013k| 311.0 | 289M | 128 | 476 | 970 |1110 | 25k| 1 |1605 |1529 | 1.641206e+02 | 1.930000e+02 | 17.60%| unknown
639.93/642.01 c 575s| 15100 | 4759 | 5036k| 310.6 | 289M | 128 | 476 | 970 |1118 | 26k| 1 |1618 |1533 | 1.641250e+02 | 1.930000e+02 | 17.59%| unknown
639.93/642.01 c 577s| 15200 | 4773 | 5062k| 310.3 | 289M | 128 | 476 | 970 |1114 | 26k| 3 |1636 |1536 | 1.641253e+02 | 1.930000e+02 | 17.59%| unknown
639.93/642.01 c 579s| 15300 | 4801 | 5089k| 310.0 | 289M | 128 | 476 | 970 |1117 | 26k| 0 |1644 |1537 | 1.641267e+02 | 1.930000e+02 | 17.59%| unknown
639.93/642.01 c 582s| 15400 | 4841 | 5117k| 309.8 | 289M | 128 | 476 | 970 |1114 | 26k| 2 |1654 |1540 | 1.641276e+02 | 1.930000e+02 | 17.59%| unknown
639.93/642.01 c 586s| 15500 | 4875 | 5160k| 310.6 | 289M | 128 | 476 | 970 |1114 | 26k| 1 |1667 |1545 | 1.641302e+02 | 1.930000e+02 | 17.59%| unknown
639.93/642.01 c 587s| 15600 | 4887 | 5179k| 309.8 | 289M | 128 | 476 | 970 |1115 | 26k| 2 |1679 |1547 | 1.641305e+02 | 1.930000e+02 | 17.59%| unknown
639.93/642.01 c 591s| 15700 | 4929 | 5216k| 310.2 | 289M | 128 | 476 | 970 |1114 | 26k| 1 |1691 |1551 | 1.641384e+02 | 1.930000e+02 | 17.58%| unknown
639.93/642.01 c 593s| 15800 | 4945 | 5241k| 309.8 | 289M | 128 | 476 | 970 |1113 | 26k| 1 |1705 |1552 | 1.641415e+02 | 1.930000e+02 | 17.58%| unknown
639.93/642.01 c 596s| 15900 | 4971 | 5267k| 309.6 | 289M | 128 | 476 | 970 | 982 | 26k| 1 |1718 |1553 | 1.641429e+02 | 1.930000e+02 | 17.58%| unknown
639.93/642.01 c 602s| 16000 | 5017 | 5332k| 311.5 | 289M | 128 | 476 | 970 |1114 | 27k| 0 |1729 |1554 | 1.641450e+02 | 1.930000e+02 | 17.58%| unknown
639.93/642.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.93/642.01 c 604s| 16100 | 5049 | 5358k| 311.3 | 289M | 128 | 476 | 970 |1117 | 27k| 1 |1739 |1556 | 1.641502e+02 | 1.930000e+02 | 17.58%| unknown
639.93/642.01 c 607s| 16200 | 5079 | 5396k| 311.6 | 289M | 128 | 476 | 970 | 988 | 27k| 3 |1757 |1556 | 1.641542e+02 | 1.930000e+02 | 17.57%| unknown
639.93/642.01 c 610s| 16300 | 5101 | 5432k| 311.9 | 289M | 128 | 476 | 970 |1113 | 27k| 1 |1768 |1556 | 1.641616e+02 | 1.930000e+02 | 17.57%| unknown
639.93/642.01 c 611s| 16400 | 5117 | 5451k| 311.2 | 289M | 128 | 476 | 970 |1113 | 27k| 1 |1782 |1559 | 1.641618e+02 | 1.930000e+02 | 17.57%| unknown
639.93/642.01 c 613s| 16500 | 5139 | 5477k| 310.9 | 289M | 128 | 476 | 970 |1114 | 27k| 1 |1795 |1562 | 1.641636e+02 | 1.930000e+02 | 17.57%| unknown
639.93/642.01 c 614s| 16600 | 5135 | 5490k| 309.9 | 289M | 128 | 476 | 970 |1115 | 27k| 0 |1815 |1562 | 1.641636e+02 | 1.930000e+02 | 17.57%| unknown
639.93/642.01 c 618s| 16700 | 5195 | 5527k| 310.3 | 289M | 128 | 476 | 970 |1112 | 27k| 1 |1823 |1563 | 1.641648e+02 | 1.930000e+02 | 17.56%| unknown
639.93/642.01 c 620s| 16800 | 5221 | 5550k| 309.8 | 289M | 128 | 476 | 970 |1112 | 27k| 1 |1841 |1567 | 1.641679e+02 | 1.930000e+02 | 17.56%| unknown
639.93/642.01 c 621s| 16900 | 5237 | 5566k| 309.0 | 289M | 128 | 476 | 970 |1113 | 27k| 1 |1856 |1568 | 1.641679e+02 | 1.930000e+02 | 17.56%| unknown
639.93/642.01 c 622s| 17000 | 5241 | 5584k| 308.3 | 289M | 128 | 476 | 970 | 986 | 27k| 3 |1879 |1572 | 1.641685e+02 | 1.930000e+02 | 17.56%| unknown
639.93/642.01 c 626s| 17100 | 5281 | 5624k| 308.8 | 290M | 128 | 476 | 970 | 951 | 27k| 1 |1894 |1577 | 1.641756e+02 | 1.930000e+02 | 17.56%| unknown
639.93/642.01 c 631s| 17200 | 5333 | 5662k| 309.2 | 290M | 128 | 476 | 970 | 953 | 28k| 1 |1902 |1580 | 1.641783e+02 | 1.930000e+02 | 17.56%| unknown
639.93/642.01 c 633s| 17300 | 5359 | 5691k| 309.0 | 290M | 128 | 476 | 970 |1113 | 28k| 1 |1915 |1582 | 1.641790e+02 | 1.930000e+02 | 17.55%| unknown
639.93/642.01 c 635s| 17400 | 5375 | 5715k| 308.6 | 290M | 128 | 476 | 970 |1113 | 28k| 1 |1934 |1582 | 1.641816e+02 | 1.930000e+02 | 17.55%| unknown
639.93/642.01 c 637s| 17500 | 5395 | 5736k| 308.1 | 290M | 128 | 476 | 970 |1115 | 28k| 2 |1946 |1582 | 1.641842e+02 | 1.930000e+02 | 17.55%| unknown
639.93/642.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
639.93/642.01 c 640s| 17600 | 5417 | 5765k| 308.0 | 290M | 128 | 476 | 970 |1113 | 28k| 1 |1962 |1586 | 1.641853e+02 | 1.930000e+02 | 17.55%| unknown
778.14/780.62 c 642s| 17700 | 5431 | 5787k| 307.6 | 290M | 128 | 476 | 970 |1114 | 28k| 0 |1977 |1587 | 1.641860e+02 | 1.930000e+02 | 17.55%| unknown
778.14/780.62 c 645s| 17800 | 5469 | 5818k| 307.6 | 290M | 128 | 476 | 970 | 977 | 28k| 1 |1989 |1588 | 1.641949e+02 | 1.930000e+02 | 17.54%| unknown
778.14/780.62 c 647s| 17900 | 5491 | 5845k| 307.4 | 290M | 128 | 476 | 970 | 954 | 28k| 1 |2001 |1588 | 1.641955e+02 | 1.930000e+02 | 17.54%| unknown
778.14/780.62 c 651s| 18000 | 5527 | 5887k| 308.0 | 290M | 128 | 476 | 970 |1115 | 29k| 0 |2016 |1588 | 1.641989e+02 | 1.930000e+02 | 17.54%| unknown
778.14/780.62 c 655s| 18100 | 5561 | 5927k| 308.5 | 290M | 128 | 476 | 970 |1115 | 29k| 1 |2028 |1589 | 1.642061e+02 | 1.930000e+02 | 17.54%| unknown
778.14/780.62 c 657s| 18200 | 5577 | 5952k| 308.1 | 290M | 128 | 476 | 970 | 975 | 29k| 1 |2039 |1590 | 1.642122e+02 | 1.930000e+02 | 17.53%| unknown
778.14/780.62 c 659s| 18300 | 5595 | 5977k| 307.9 | 290M | 128 | 476 | 970 |1113 | 29k| 1 |2058 |1590 | 1.642134e+02 | 1.930000e+02 | 17.53%| unknown
778.14/780.62 c 662s| 18400 | 5609 | 6009k| 307.9 | 290M | 128 | 476 | 970 |1114 | 29k| 1 |2073 |1591 | 1.642176e+02 | 1.930000e+02 | 17.53%| unknown
778.14/780.62 c 667s| 18500 | 5649 | 6049k| 308.4 | 290M | 128 | 476 | 970 |1115 | 29k| 3 |2083 |1596 | 1.642265e+02 | 1.930000e+02 | 17.52%| unknown
778.14/780.62 c 669s| 18600 | 5665 | 6077k| 308.3 | 290M | 128 | 476 | 970 |1114 | 29k| 2 |2099 |1601 | 1.642275e+02 | 1.930000e+02 | 17.52%| unknown
778.14/780.62 c 672s| 18700 | 5671 | 6101k| 307.9 | 290M | 128 | 476 | 970 |1116 | 29k| 1 |2119 |1606 | 1.642280e+02 | 1.930000e+02 | 17.52%| unknown
778.14/780.62 c 676s| 18800 | 5711 | 6139k| 308.2 | 290M | 128 | 476 | 970 |1118 | 30k| 1 |2130 |1613 | 1.642315e+02 | 1.930000e+02 | 17.52%| unknown
778.14/780.62 c 681s| 18900 | 5757 | 6202k| 309.9 | 290M | 128 | 476 | 970 |1117 | 30k| 4 |2143 |1614 | 1.642351e+02 | 1.930000e+02 | 17.51%| unknown
778.14/780.62 c 683s| 19000 | 5777 | 6225k| 309.5 | 290M | 128 | 476 | 970 |1119 | 30k| 2 |2163 |1614 | 1.642413e+02 | 1.930000e+02 | 17.51%| unknown
778.14/780.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
778.14/780.62 c 684s| 19100 | 5793 | 6250k| 309.2 | 290M | 128 | 476 | 970 |1117 | 30k| 2 |2182 |1615 | 1.642422e+02 | 1.930000e+02 | 17.51%| unknown
778.14/780.62 c 686s| 19200 | 5811 | 6273k| 308.8 | 290M | 128 | 476 | 970 |1113 | 30k| 1 |2197 |1615 | 1.642435e+02 | 1.930000e+02 | 17.51%| unknown
778.14/780.62 c 688s| 19300 | 5835 | 6298k| 308.5 | 290M | 128 | 476 | 970 | 983 | 30k| 1 |2213 |1616 | 1.642476e+02 | 1.930000e+02 | 17.51%| unknown
778.14/780.62 c 690s| 19400 | 5853 | 6319k| 308.0 | 290M | 128 | 476 | 970 |1114 | 30k| 1 |2224 |1618 | 1.642487e+02 | 1.930000e+02 | 17.50%| unknown
778.14/780.62 c 692s| 19500 | 5861 | 6343k| 307.7 | 290M | 128 | 476 | 970 |1117 | 30k| 2 |2246 |1618 | 1.642487e+02 | 1.930000e+02 | 17.50%| unknown
778.14/780.62 c 694s| 19600 | 5891 | 6371k| 307.6 | 290M | 128 | 476 | 970 |1117 | 30k| 3 |2261 |1619 | 1.642522e+02 | 1.930000e+02 | 17.50%| unknown
778.14/780.62 c 698s| 19700 | 5923 | 6411k| 308.0 | 290M | 128 | 476 | 970 |1114 | 31k| 1 |2276 |1622 | 1.642567e+02 | 1.930000e+02 | 17.50%| unknown
778.14/780.62 c 700s| 19800 | 5937 | 6435k| 307.7 | 290M | 128 | 476 | 970 |1120 | 31k| 8 |2288 |1623 | 1.642568e+02 | 1.930000e+02 | 17.50%| unknown
778.14/780.62 c 703s| 19900 | 5973 | 6473k| 308.0 | 290M | 128 | 476 | 970 |1120 | 31k| 3 |2301 |1623 | 1.642603e+02 | 1.930000e+02 | 17.50%| unknown
778.14/780.62 c 706s| 20000 | 5997 | 6507k| 308.2 | 290M | 128 | 476 | 970 |1116 | 31k| 2 |2320 |1625 | 1.642626e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 708s| 20100 | 6011 | 6530k| 307.8 | 290M | 128 | 476 | 970 |1115 | 31k| 2 |2343 |1626 | 1.642661e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 710s| 20200 | 6031 | 6553k| 307.4 | 290M | 128 | 476 | 970 |1119 | 31k| 2 |2360 |1626 | 1.642661e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 711s| 20300 | 6047 | 6570k| 306.8 | 290M | 128 | 476 | 970 | 973 | 31k| 1 |2378 |1629 | 1.642677e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 712s| 20400 | 6063 | 6596k| 306.6 | 290M | 128 | 476 | 970 |1116 | 31k| 1 |2400 |1630 | 1.642679e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 716s| 20500 | 6101 | 6630k| 306.7 | 290M | 128 | 476 | 970 |1116 | 31k| 1 |2418 |1634 | 1.642687e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
778.14/780.62 c 720s| 20600 | 6143 | 6667k| 307.0 | 290M | 128 | 476 | 970 |1118 | 31k| 1 |2433 |1638 | 1.642697e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 722s| 20700 | 6173 | 6694k| 306.8 | 291M | 128 | 476 | 970 |1119 | 32k| 2 |2446 |1641 | 1.642704e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 725s| 20800 | 6199 | 6726k| 306.9 | 291M | 128 | 476 | 970 |1116 | 32k| 1 |2462 |1644 | 1.642724e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 729s| 20900 | 6229 | 6758k| 307.0 | 291M | 128 | 476 | 970 | 965 | 32k| 1 |2483 |1649 | 1.642739e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 731s| 21000 | 6265 | 6791k| 307.1 | 291M | 128 | 476 | 970 |1117 | 32k| 2 |2497 |1650 | 1.642755e+02 | 1.930000e+02 | 17.49%| unknown
778.14/780.62 c 734s| 21100 | 6291 | 6817k| 306.9 | 291M | 128 | 476 | 970 |1120 | 32k| 1 |2513 |1653 | 1.642790e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 735s| 21200 | 6307 | 6836k| 306.3 | 291M | 128 | 476 | 970 |1120 | 32k| 2 |2530 |1653 | 1.642791e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 737s| 21300 | 6321 | 6855k| 305.8 | 291M | 128 | 476 | 970 |1118 | 32k| 3 |2542 |1655 | 1.642803e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 741s| 21400 | 6359 | 6891k| 306.1 | 292M | 128 | 476 | 970 |1117 | 32k| 1 |2559 |1657 | 1.642827e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 742s| 21500 | 6361 | 6907k| 305.4 | 292M | 128 | 476 | 970 |1117 | 32k| 1 |2584 |1657 | 1.642827e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 743s| 21600 | 6365 | 6923k| 304.8 | 292M | 128 | 476 | 970 |1117 | 32k| 1 |2596 |1657 | 1.642827e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 746s| 21700 | 6397 | 6960k| 305.0 | 292M | 128 | 476 | 970 |1119 | 32k| 2 |2609 |1657 | 1.642844e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 749s| 21800 | 6429 | 6999k| 305.4 | 292M | 128 | 476 | 970 | 948 | 33k| 1 |2621 |1658 | 1.642885e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 752s| 21900 | 6455 | 7035k| 305.7 | 292M | 128 | 476 | 970 |1110 | 33k| 1 |2638 |1658 | 1.642890e+02 | 1.930000e+02 | 17.48%| unknown
778.14/780.62 c 753s| 22000 | 6471 | 7060k| 305.4 | 292M | 128 | 476 | 970 |1120 | 33k| 2 |2656 |1658 | 1.642911e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
778.14/780.62 c 755s| 22100 | 6483 | 7083k| 305.1 | 292M | 128 | 476 | 970 |1118 | 33k| 2 |2677 |1658 | 1.642914e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 758s| 22200 | 6509 | 7112k| 305.0 | 292M | 128 | 476 | 970 |1117 | 33k| 1 |2692 |1662 | 1.642952e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 760s| 22300 | 6535 | 7138k| 304.8 | 292M | 128 | 476 | 970 | 963 | 33k| 1 |2702 |1666 | 1.642971e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 764s| 22400 | 6569 | 7195k| 306.0 | 292M | 128 | 476 | 970 |1115 | 33k| 1 |2715 |1671 | 1.642988e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 766s| 22500 | 6583 | 7220k| 305.7 | 292M | 128 | 476 | 970 |1118 | 33k| 1 |2740 |1672 | 1.642989e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 768s| 22600 | 6597 | 7243k| 305.4 | 292M | 128 | 476 | 970 |1114 | 33k| 1 |2767 |1672 | 1.642997e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 771s| 22700 | 6615 | 7269k| 305.2 | 292M | 128 | 476 | 970 | 987 | 33k| 3 |2781 |1673 | 1.642999e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 775s| 22800 | 6643 | 7326k| 306.3 | 292M | 128 | 476 | 970 |1113 | 33k| 2 |2797 |1676 | 1.643026e+02 | 1.930000e+02 | 17.47%| unknown
778.14/780.62 c 778s| 22900 | 6675 | 7357k| 306.3 | 292M | 128 | 476 | 970 | 953 | 34k| 1 |2808 |1677 | 1.643042e+02 | 1.930000e+02 | 17.47%| unknown
904.81/907.77 c 780s| 23000 | 6691 | 7388k| 306.3 | 292M | 128 | 476 | 970 |1117 | 34k| 1 |2824 |1679 | 1.643048e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 783s| 23100 | 6713 | 7419k| 306.4 | 292M | 128 | 476 | 970 |1114 | 34k| 1 |2843 |1680 | 1.643060e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 784s| 23200 | 6707 | 7436k| 305.8 | 292M | 128 | 476 | 970 |1114 | 34k| 2 |2869 |1680 | 1.643060e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 786s| 23300 | 6727 | 7458k| 305.5 | 292M | 128 | 476 | 970 |1115 | 34k| 1 |2891 |1682 | 1.643064e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 791s| 23400 | 6781 | 7511k| 306.4 | 292M | 128 | 476 | 970 |1111 | 34k| 1 |2902 |1689 | 1.643092e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 794s| 23500 | 6811 | 7543k| 306.4 | 292M | 128 | 476 | 970 |1114 | 34k| 1 |2919 |1693 | 1.643113e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
904.81/907.77 c 797s| 23600 | 6857 | 7581k| 306.7 | 292M | 128 | 476 | 970 |1117 | 34k| 1 |2939 |1694 | 1.643131e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 799s| 23700 | 6893 | 7613k| 306.8 | 292M | 128 | 476 | 970 |1117 | 34k| 2 |2954 |1694 | 1.643140e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 801s| 23800 | 6899 | 7633k| 306.3 | 292M | 128 | 476 | 970 |1119 | 34k| 0 |2961 |1696 | 1.643149e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 803s| 23900 | 6921 | 7660k| 306.2 | 292M | 128 | 476 | 970 |1120 | 34k| 2 |2975 |1699 | 1.643151e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 806s| 24000 | 6943 | 7689k| 306.1 | 292M | 128 | 476 | 970 |1119 | 34k| 1 |2987 |1699 | 1.643166e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 806s| 24100 | 6951 | 7705k| 305.5 | 292M | 128 | 476 | 970 |1115 | 34k| 1 |3010 |1699 | 1.643166e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 808s| 24200 | 6975 | 7729k| 305.3 | 292M | 128 | 476 | 970 | 970 | 34k| 3 |3025 |1699 | 1.643182e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 809s| 24300 | 6977 | 7748k| 304.9 | 292M | 128 | 476 | 970 |1116 | 34k| 1 |3043 |1700 | 1.643182e+02 | 1.930000e+02 | 17.46%| unknown
904.81/907.77 c 811s| 24400 | 6985 | 7768k| 304.4 | 292M | 128 | 476 | 970 | 948 | 35k| 1 |3062 |1703 | 1.643200e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 814s| 24500 | 7001 | 7796k| 304.3 | 292M | 128 | 476 | 970 | 947 | 35k| 1 |3084 |1708 | 1.643202e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 817s| 24600 | 7039 | 7836k| 304.7 | 292M | 128 | 476 | 970 |1116 | 35k| 1 |3102 |1713 | 1.643218e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 819s| 24700 | 7059 | 7861k| 304.5 | 292M | 128 | 476 | 970 |1119 | 35k| 1 |3127 |1716 | 1.643221e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 822s| 24800 | 7087 | 7890k| 304.4 | 292M | 128 | 476 | 970 |1118 | 35k| 1 |3138 |1722 | 1.643233e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 824s| 24900 | 7117 | 7922k| 304.5 | 292M | 128 | 476 | 970 |1118 | 35k| 0 |3149 |1723 | 1.643288e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 826s| 25000 | 7125 | 7948k| 304.3 | 292M | 128 | 476 | 970 |1116 | 35k| 2 |3169 |1723 | 1.643302e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
904.81/907.77 c 829s| 25100 | 7151 | 7981k| 304.4 | 292M | 128 | 476 | 970 |1116 | 35k| 1 |3191 |1724 | 1.643312e+02 | 1.930000e+02 | 17.45%| unknown
904.81/907.77 c 831s| 25200 | 7177 | 8006k| 304.2 | 293M | 128 | 476 | 970 |1119 | 35k| 1 |3210 |1725 | 1.643328e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 834s| 25300 | 7199 | 8038k| 304.3 | 293M | 128 | 476 | 970 |1119 | 35k| 2 |3226 |1728 | 1.643343e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 835s| 25400 | 7199 | 8058k| 303.9 | 293M | 128 | 476 | 970 |1116 | 35k| 1 |3247 |1729 | 1.643343e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 837s| 25500 | 7213 | 8089k| 303.9 | 293M | 128 | 476 | 970 |1114 | 35k| 2 |3266 |1729 | 1.643360e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 840s| 25600 | 7249 | 8121k| 304.0 | 293M | 128 | 476 | 970 | 965 | 35k| 3 |3278 |1731 | 1.643405e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 843s| 25700 | 7269 | 8161k| 304.3 | 293M | 128 | 476 | 970 |1113 | 35k| 1 |3286 |1731 | 1.643414e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 843s| 25800 | 7281 | 8176k| 303.8 | 293M | 128 | 476 | 970 |1121 | 35k| 2 |3300 |1732 | 1.643414e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 846s| 25900 | 7311 | 8201k| 303.5 | 293M | 128 | 476 | 970 | 937 | 35k| 1 |3312 |1732 | 1.643430e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 847s| 26000 | 7333 | 8226k| 303.4 | 293M | 128 | 476 | 970 | 969 | 35k| 1 |3320 |1732 | 1.643442e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 851s| 26100 | 7357 | 8263k| 303.6 | 293M | 128 | 476 | 970 |1115 | 36k| 0 |3339 |1736 | 1.643454e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 854s| 26200 | 7387 | 8310k| 304.2 | 293M | 128 | 476 | 970 |1120 | 36k| 5 |3349 |1738 | 1.643459e+02 | 1.930000e+02 | 17.44%| unknown
904.81/907.77 c 858s| 26300 | 7429 | 8349k| 304.5 | 293M | 128 | 476 | 970 | 984 | 36k| 1 |3362 |1738 | 1.643481e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 861s| 26400 | 7445 | 8380k| 304.6 | 293M | 128 | 476 | 970 |1116 | 36k| 1 |3373 |1739 | 1.643482e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 863s| 26500 | 7465 | 8405k| 304.3 | 293M | 128 | 476 | 970 |1117 | 36k| 1 |3386 |1742 | 1.643489e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
904.81/907.77 c 865s| 26600 | 7493 | 8431k| 304.2 | 293M | 128 | 476 | 970 |1117 | 36k| 1 |3404 |1747 | 1.643495e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 868s| 26700 | 7529 | 8466k| 304.3 | 293M | 128 | 476 | 970 |1116 | 36k| 1 |3410 |1750 | 1.643507e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 870s| 26800 | 7555 | 8487k| 304.0 | 293M | 128 | 476 | 970 |1119 | 36k| 2 |3421 |1754 | 1.643526e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 873s| 26900 | 7559 | 8524k| 304.3 | 293M | 128 | 476 | 970 |1119 | 36k| 1 |3434 |1757 | 1.643532e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 874s| 27000 | 7573 | 8539k| 303.7 | 293M | 128 | 476 | 970 | 939 | 36k| 1 |3438 |1760 | 1.643543e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 876s| 27100 | 7589 | 8565k| 303.6 | 294M | 128 | 476 | 970 |1116 | 36k| 0 |3448 |1762 | 1.643551e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 882s| 27200 | 7661 | 8620k| 304.4 | 294M | 128 | 476 | 970 |1105 | 36k| 2 |3451 |1765 | 1.643584e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 885s| 27300 | 7701 | 8652k| 304.5 | 294M | 128 | 476 | 970 |1108 | 37k| 2 |3461 |1767 | 1.643601e+02 | 1.930000e+02 | 17.43%| unknown
904.81/907.77 c 887s| 27400 | 7717 | 8677k| 304.3 | 294M | 128 | 476 | 970 | 977 | 37k| 1 |3470 |1771 | 1.643628e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c 889s| 27500 | 7731 | 8697k| 303.9 | 294M | 128 | 476 | 970 | 980 | 37k| 1 |3479 |1777 | 1.643643e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c 893s| 27600 | 7785 | 8746k| 304.6 | 294M | 128 | 476 | 970 |1106 | 37k| 1 |3485 |1778 | 1.643671e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c 897s| 27700 | 7813 | 8775k| 304.5 | 295M | 128 | 476 | 970 |1108 | 37k| 2 |3494 |1782 | 1.643685e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c 899s| 27800 | 7841 | 8803k| 304.4 | 295M | 128 | 476 | 970 |1107 | 37k| 1 |3506 |1782 | 1.643700e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c 901s| 27900 | 7869 | 8834k| 304.4 | 295M | 128 | 476 | 970 | 986 | 37k| 3 |3515 |1783 | 1.643716e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c 904s| 28000 | 7897 | 8866k| 304.5 | 295M | 128 | 476 | 970 |1109 | 37k| 2 |3527 |1784 | 1.643733e+02 | 1.930000e+02 | 17.42%| unknown
904.81/907.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
904.81/907.77 c 906s| 28100 | 7923 | 8894k| 304.4 | 295M | 128 | 476 | 970 |1111 | 37k| 1 |3538 |1784 | 1.643739e+02 | 1.930000e+02 | 17.42%| unknown
997.09/1000.35 c 907s| 28200 | 7931 | 8913k| 304.0 | 295M | 128 | 476 | 970 |1115 | 37k| 0 |3551 |1784 | 1.643739e+02 | 1.930000e+02 | 17.42%| unknown
997.09/1000.35 c 910s| 28300 | 7963 | 8943k| 304.0 | 295M | 128 | 476 | 970 |1109 | 37k| 2 |3559 |1784 | 1.643749e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 913s| 28400 | 8001 | 8978k| 304.2 | 295M | 128 | 476 | 970 |1116 | 38k| 1 |3577 |1784 | 1.643758e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 917s| 28500 | 8053 | 9020k| 304.5 | 295M | 128 | 476 | 970 | 941 | 38k| 1 |3584 |1784 | 1.643788e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 919s| 28600 | 8071 | 9045k| 304.4 | 295M | 128 | 476 | 970 |1116 | 38k| 3 |3597 |1784 | 1.643790e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 922s| 28700 | 8083 | 9065k| 304.0 | 295M | 128 | 476 | 970 |1116 | 38k| 0 |3612 |1784 | 1.643794e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 923s| 28800 | 8115 | 9086k| 303.7 | 295M | 128 | 476 | 970 |1110 | 38k| 0 |3622 |1788 | 1.643796e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 925s| 28900 | 8157 | 9112k| 303.5 | 295M | 128 | 476 | 970 |1117 | 38k| 1 |3629 |1791 | 1.643814e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 930s| 29000 | 8209 | 9154k| 303.9 | 295M | 128 | 476 | 970 |1117 | 38k| 1 |3639 |1795 | 1.643852e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 932s| 29100 | 8229 | 9183k| 303.9 | 295M | 128 | 476 | 970 |1101 | 38k| 1 |3650 |1798 | 1.643868e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 933s| 29200 | 8247 | 9196k| 303.3 | 295M | 128 | 476 | 970 |1108 | 38k| 1 |3665 |1798 | 1.643868e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 936s| 29300 | 8269 | 9225k| 303.3 | 296M | 128 | 476 | 970 |1108 | 38k| 1 |3676 |1800 | 1.643882e+02 | 1.930000e+02 | 17.41%| unknown
997.09/1000.35 c 940s| 29400 | 8305 | 9258k| 303.4 | 296M | 128 | 476 | 970 | 963 | 38k| 1 |3682 |1800 | 1.643899e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 942s| 29500 | 8325 | 9283k| 303.2 | 296M | 128 | 476 | 970 |1107 | 39k| 1 |3689 |1802 | 1.643903e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.09/1000.35 c 945s| 29600 | 8351 | 9329k| 303.7 | 296M | 128 | 476 | 970 |1110 | 39k| 1 |3703 |1804 | 1.643907e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 948s| 29700 | 8381 | 9361k| 303.8 | 296M | 128 | 476 | 970 |1103 | 39k| 1 |3716 |1806 | 1.643913e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 950s| 29800 | 8443 | 9386k| 303.6 | 296M | 128 | 476 | 970 |1108 | 39k| 2 |3723 |1817 | 1.643917e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 952s| 29900 | 8481 | 9414k| 303.5 | 296M | 128 | 476 | 970 |1110 | 39k| 2 |3727 |1818 | 1.643928e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 953s| 30000 | 8509 | 9431k| 303.1 | 296M | 128 | 476 | 970 |1110 | 39k| 1 |3735 |1820 | 1.643932e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 956s| 30100 | 8563 | 9463k| 303.1 | 296M | 128 | 476 | 970 |1109 | 39k| 1 |3744 |1823 | 1.643944e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 959s| 30200 | 8595 | 9490k| 303.0 | 296M | 128 | 476 | 970 |1109 | 39k| 0 |3755 |1826 | 1.643960e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 959s| 30300 | 8603 | 9499k| 302.4 | 296M | 128 | 476 | 970 |1109 | 39k| 1 |3765 |1828 | 1.643960e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 961s| 30400 | 8625 | 9526k| 302.2 | 296M | 128 | 476 | 970 |1109 | 39k| 1 |3772 |1828 | 1.643975e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 963s| 30500 | 8645 | 9550k| 302.1 | 296M | 128 | 476 | 970 |1108 | 39k| 2 |3783 |1829 | 1.643987e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 966s| 30600 | 8659 | 9577k| 302.0 | 297M | 128 | 476 | 970 |1108 | 39k| 2 |3792 |1830 | 1.643990e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 969s| 30700 | 8689 | 9605k| 301.9 | 297M | 128 | 476 | 970 |1109 | 39k| 1 |3806 |1831 | 1.644007e+02 | 1.930000e+02 | 17.40%| unknown
997.09/1000.35 c 974s| 30800 | 8739 | 9645k| 302.2 | 297M | 128 | 476 | 970 | 958 | 39k| 1 |3809 |1835 | 1.644026e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 977s| 30900 | 8781 | 9681k| 302.4 | 297M | 128 | 476 | 970 |1109 | 39k| 1 |3823 |1836 | 1.644035e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 980s| 31000 | 8811 | 9710k| 302.3 | 298M | 128 | 476 | 970 |1109 | 40k| 1 |3835 |1837 | 1.644040e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.09/1000.35 c 982s| 31100 | 8843 | 9738k| 302.3 | 298M | 128 | 476 | 970 |1109 | 40k| 5 |3842 |1837 | 1.644056e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 983s| 31200 | 8851 | 9751k| 301.7 | 298M | 128 | 476 | 970 |1111 | 40k| 1 |3856 |1839 | 1.644056e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 985s| 31300 | 8867 | 9771k| 301.4 | 298M | 128 | 476 | 970 |1112 | 40k| 1 |3867 |1842 | 1.644058e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 987s| 31400 | 8891 | 9796k| 301.3 | 298M | 128 | 476 | 970 |1112 | 40k| 1 |3874 |1842 | 1.644062e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 990s| 31500 | 8925 | 9830k| 301.4 | 298M | 128 | 476 | 970 | 982 | 40k| 1 |3886 |1842 | 1.644068e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 993s| 31600 | 8949 | 9865k| 301.5 | 298M | 128 | 476 | 970 |1110 | 40k| 1 |3902 |1844 | 1.644071e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 995s| 31700 | 8971 | 9889k| 301.3 | 299M | 128 | 476 | 970 |1110 | 40k| 2 |3913 |1848 | 1.644072e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 996s| 31800 | 8985 | 9910k| 301.1 | 299M | 128 | 476 | 970 |1110 | 40k| 2 |3924 |1849 | 1.644078e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c 999s| 31900 | 9023 | 9939k| 301.0 | 299M | 128 | 476 | 970 | 951 | 40k| 1 |3937 |1851 | 1.644084e+02 | 1.930000e+02 | 17.39%| unknown
997.09/1000.35 c
997.09/1000.35 c SCIP Status : solving was interrupted [time limit reached]
997.09/1000.35 c Solving Time (sec) : 1000.00
997.09/1000.35 c Solving Nodes : 31943 (total of 32992 nodes in 2 runs)
997.09/1000.35 c Primal Bound : +1.93000000000000e+02 (1180 solutions)
997.09/1000.35 c Dual Bound : +1.64408505552388e+02
997.09/1000.35 c Gap : 17.39 %
997.09/1000.35 c All original constraints are satisfied.
997.09/1000.35 c SCIP's best solution is verified feasible for the original problem.
997.09/1000.35 c ----------------------------------------------------------------------
997.09/1000.35 c dual bound: 164.408505552388 -> 165
997.09/1000.35 c primal bound: 193.0 -> 193
997.09/1000.35 c scip-goal-lb: 165
997.09/1000.35 c scip-goal-ub: 193
997.09/1000.35 c writing output to: HOME/tmpgonpj3r_.opb
997.09/1000.35 c appending fixed variable constraints
997.09/1000.35 c scip-fixed vars: 0.00% (0/476)
997.09/1000.35 c ----------------------------------------------------------------------
997.09/1000.35 c executing external solver: HOME/naps-1.03a6
997.09/1000.35 c ----------------------------------------------------------------------
997.09/1000.35 c command: HOME/naps-1.03a6 -goal-lb=165 -goal-ub=192 HOME/tmpgonpj3r_.opb
997.09/1000.36 c NaPS 1.03a6.
997.09/1000.36 c Input file name: HOME/tmpgonpj3r_.opb
997.16/1000.48 c single stage optimization mode
3600.08/3610.90 c
3600.08/3610.90 c *** TERMINATED *** by signal 15
3600.08/3610.90 c _____________________________________________________________________________
3600.08/3610.90 c std/band forms : 475,0
3600.08/3610.90 c 2cl/3cl ITE-codings : 12256,0
3600.08/3610.90 c BDD/srt/adr Max costs : 253,24188,0
3600.08/3610.90 c BDDraw/bin/mul/srt/adr: 353,0,120,2,0
3600.08/3610.90 c BDD nodes : 21014
3600.08/3610.90 c Es1/CC detections : 0,0
3600.08/3610.90 c CC sort : 1
3600.08/3610.90 c SAT/UNSAT calls : 0,0
3600.08/3610.90 c regenrated variables : 0
3600.08/3610.90 c eliminated fixed lits : 0
3600.08/3610.90 c goal lit flips : 0
3600.08/3610.90 c goal stages : 1
3600.08/3610.90 c goal shrink : 0
3600.08/3610.90 c goal coeff separations: 0
3600.08/3610.90 c restarts : 0
3600.08/3610.90 c conflicts : 0 (0 /sec)
3600.08/3610.90 c decisions : 0 (0 /sec)
3600.08/3610.90 c propagations : 0 (0 /sec)
3600.08/3610.90 c inspects : 0 (0 /sec)
3600.08/3610.90 c CPU time (solving tm) : 2602 s (2602 s, SAT 0 s, UNSAT 0 s)
3600.08/3610.90 c Time for Opt-base : 0.01502 s
3600.08/3610.90 c Steps for Opt-base : 40809
3600.08/3610.90 c Time for BDD coding : 0.06882 s
3600.08/3610.90 c Time for srt coding : 0.002836 s
3600.08/3610.90 c _____________________________________________________________________________
3600.08/3610.90 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.08/3610.90 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.08/3610.90 o 193
3600.08/3610.90 s SATISFIABLE
3600.08/3610.96 c received SIGTERM, forwarding to pbsolver...
3600.08/3610.96 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 (62483 MiB free)
memory of node 1: 64465 MiB (62809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489335-1751334234/watcher-4489335-1751334234 -o /tmp/evaluation-result-4489335-1751334234/solver-4489335-1751334234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751326494-44951 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4489335-1751334234.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=47435, runsolver pid=47432
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.16 4.12 4/270 47439
/proc/meminfo: memFree=128296432/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 233 203 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47439] ppid=47435 vsize=608 memory=128 CPUtime=0 cores=4,6
/proc/47439/stat : 47439 (grep) D 47435 47435 44940 0 -1 4456448 45 0 0 0 0 0 0 0 20 0 1 0 49101053 622592 32 18446744073709551615 94299529711616 94299529814865 140729537050576 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 94299529846864 94299529851120 94299544207360 140729537059287 140729537059368 140729537059368 140729537064938 0
/proc/47439/statm: 152 32 32 26 0 58 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4800 KiB
Current children cumulated memory: 3200 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.10 4.16 4.12 5/270 47440
/proc/meminfo: memFree=128296432/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=11128 memory=8064 CPUtime=0 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 1075 0 0 0 0 0 0 0 20 0 1 0 49101059 11395072 2016 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 2782 2016 1088 1 0 1038 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 15320 KiB
Current children cumulated memory: 11136 KiB
[startup+0.305769 s]*
/proc/loadavg: 4.10 4.16 4.12 5/270 47440
/proc/meminfo: memFree=128296432/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1187980 memory=32864 CPUtime=0.07 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 3964 0 0 0 6 1 0 0 20 0 1 0 49101059 1216491520 8216 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 296995 8216 4925 1 0 268986 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192172 KiB
Current children cumulated memory: 35936 KiB
[startup+0.700145 s]
/proc/loadavg: 4.10 4.16 4.12 5/270 47440
/proc/meminfo: memFree=128292404/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1206576 memory=59104 CPUtime=0.45 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 7561 0 0 0 44 1 0 0 20 0 1 0 49101059 1235533824 14776 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 301644 14776 8125 1 0 273002 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 1210768 KiB
Current children cumulated memory: 62176 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.16 4.12 5/270 47440
/proc/meminfo: memFree=128280308/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1262196 memory=114656 CPUtime=1.25 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 21468 0 0 0 122 3 0 0 20 0 1 0 49101059 1292488704 28664 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 315549 28664 8125 1 0 286907 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 1266388 KiB
Current children cumulated memory: 117728 KiB
[startup+3.10555 s]
/proc/loadavg: 4.17 4.18 4.12 5/270 47440
/proc/meminfo: memFree=128159348/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1339832 memory=188640 CPUtime=2.85 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 39969 0 0 0 278 7 0 0 20 0 1 0 49101059 1371987968 47160 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 334958 47160 8125 1 0 306316 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 1344024 KiB
Current children cumulated memory: 191712 KiB
[startup+6.30016 s]
/proc/loadavg: 4.17 4.18 4.12 5/270 47440
/proc/meminfo: memFree=128159600/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1339832 memory=189536 CPUtime=6.03 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 40181 0 0 0 596 7 0 0 20 0 1 0 49101059 1371987968 47384 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 334958 47384 8125 1 0 306316 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 1344024 KiB
Current children cumulated memory: 192608 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.17 4.12 5/270 47440
/proc/meminfo: memFree=128143252/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1339832 memory=189536 CPUtime=12.42 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 40181 0 0 0 1235 7 0 0 20 0 1 0 49101059 1371987968 47384 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 334958 47384 8125 1 0 306316 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 1344024 KiB
Current children cumulated memory: 192608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.12 5/272 47443
/proc/meminfo: memFree=128050920/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1441296 memory=288400 CPUtime=25.19 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 65243 0 0 0 2507 12 0 0 20 0 1 0 49101059 1475887104 72100 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 360324 72100 8125 1 0 331682 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 1445488 KiB
Current children cumulated memory: 291472 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.17 4.12 6/273 47445
/proc/meminfo: memFree=128018184/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1452540 memory=299664 CPUtime=50.72 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 68064 0 0 0 5060 12 0 0 20 0 1 0 49101059 1487400960 74916 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 363135 74916 8125 1 0 334493 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 1456732 KiB
Current children cumulated memory: 302736 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/271 47447
/proc/meminfo: memFree=127997288/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1466992 memory=315024 CPUtime=101.77 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 71901 0 0 0 10163 14 0 0 20 0 1 0 49101059 1502199808 78756 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 366748 78756 8125 1 0 338106 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 1471184 KiB
Current children cumulated memory: 318096 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/271 47448
/proc/meminfo: memFree=127971932/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1493996 memory=347024 CPUtime=161.59 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 79418 0 0 0 16144 15 0 0 20 0 1 0 49101059 1529851904 86756 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 373499 86756 8125 1 0 344857 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 1498188 KiB
Current children cumulated memory: 350096 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/270 47450
/proc/meminfo: memFree=127967800/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1493996 memory=348048 CPUtime=221.41 cores=4,6
/proc/47440/stat : 47440 (python3) R 47435 47435 44940 0 -1 4194304 79638 0 0 0 22126 15 0 0 20 0 1 0 49101059 1529851904 87012 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 373499 87012 8125 1 0 344857 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 1498188 KiB
################
# More data... #
################
[pid=47537] ppid=47440 vsize=142648 memory=140872 CPUtime=2215.42 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 49911 0 0 0 221500 42 0 0 20 0 1 0 49201080 146071552 35218 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 35662 35218 640 696 0 34823 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 1648040 KiB
Current children cumulated memory: 499544 KiB
[startup+3282.3 s]
/proc/loadavg: 3.20 3.69 3.94 4/265 47688
/proc/meminfo: memFree=127960624/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=142648 memory=140872 CPUtime=2275.25 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 49925 0 0 0 227483 42 0 0 20 0 1 0 49201080 146071552 35218 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 35662 35218 640 696 0 34823 0
Current children cumulated CPU time: 3272.41 s
Current children cumulated vsize: 1648040 KiB
Current children cumulated memory: 499544 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.58 3.88 4/265 47690
/proc/meminfo: memFree=127872612/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=194656 memory=192984 CPUtime=2335.08 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 51215 0 0 0 233464 44 0 0 20 0 1 0 49201080 199327744 48246 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 48664 48246 640 696 0 47825 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 1700048 KiB
Current children cumulated memory: 551656 KiB
[startup+3402.3 s]
/proc/loadavg: 2.87 3.44 3.81 3/257 47723
/proc/meminfo: memFree=128422336/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=194036 memory=192364 CPUtime=2394.92 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 53378 0 0 0 239442 50 0 0 20 0 1 0 49201080 198692864 48091 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 48509 48091 640 696 0 47670 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 1699428 KiB
Current children cumulated memory: 551036 KiB
[startup+3462.3 s]
/proc/loadavg: 2.47 3.22 3.71 3/257 47727
/proc/meminfo: memFree=128417220/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=199612 memory=197940 CPUtime=2454.75 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 55361 0 0 0 245422 53 0 0 20 0 1 0 49201080 204402688 49485 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 49903 49485 640 696 0 49064 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 1705004 KiB
Current children cumulated memory: 556612 KiB
[startup+3522.3 s]
/proc/loadavg: 2.22 3.01 3.61 3/256 47730
/proc/meminfo: memFree=128424008/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=194812 memory=193144 CPUtime=2514.57 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 57655 0 0 0 251399 58 0 0 20 0 1 0 49201080 199487488 48286 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 48703 48286 640 696 0 47864 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 1700204 KiB
Current children cumulated memory: 551816 KiB
[startup+3582.3 s]
/proc/loadavg: 2.20 2.85 3.52 3/256 47737
/proc/meminfo: memFree=128409172/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=213572 memory=211904 CPUtime=2574.4 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 60147 0 0 0 257379 61 0 0 20 0 1 0 49201080 218697728 52976 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 53393 52976 640 696 0 52554 0
Current children cumulated CPU time: 3571.56 s
Current children cumulated vsize: 1718964 KiB
Current children cumulated memory: 570576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 2.12 2.77 3.47 3/256 47738
/proc/meminfo: memFree=128406544/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=215404 memory=213820 CPUtime=2602.92 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 60629 0 0 0 260229 63 0 0 20 0 1 0 49201080 220573696 53455 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 53851 53455 640 696 0 53012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1720796 KiB
Current children cumulated memory: 572492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 47435 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002881 s, system=0.003081 s
[startup+3610.98 s]
# the end of solver process 47440 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.3 s, system=0.877824 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 2.12 2.77 3.47 3/256 47738
/proc/meminfo: memFree=128406544/131249988 swapFree=33010684/33010684
[pid=47435] ppid=47432 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47435/stat : 47435 (scip-naps-1.00.) S 47432 47435 44940 0 -1 4194304 258 323 0 0 0 0 0 0 20 0 1 0 49101044 4292608 768 18446744073709551615 93982343905280 93982344799813 140735100058272 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93982345038864 93982345086608 93982355079168 140735100066209 140735100066306 140735100066306 140735100071908 0
/proc/47435/statm: 1048 768 704 219 0 110 0
[pid=47440] ppid=47435 vsize=1501200 memory=355600 CPUtime=997.16 cores=4,6
/proc/47440/stat : 47440 (python3) S 47435 47435 44940 0 -1 4194304 83165 0 0 0 99693 23 0 0 20 0 1 0 49101059 1537228800 88900 18446744073709551615 94616964636672 94616964637049 140725526529648 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94616964648344 94616964648964 94616995565568 140725526538599 140725526538786 140725526538786 140725526544359 0
/proc/47440/statm: 375300 88900 8189 1 0 346658 0
[pid=47537] ppid=47440 vsize=215404 memory=213820 CPUtime=2602.92 cores=4,6
/proc/47537/stat : 47537 (naps-1.03a6) R 47440 47537 47537 0 -1 4194304 60629 0 0 0 260229 63 0 0 20 0 1 0 49201080 220573696 53455 18446744073709551615 4198400 7047149 140723811549936 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 32591872 140723811551607 140723811551731 140723811551731 140723811557321 0
/proc/47537/statm: 53851 53455 640 696 0 53012 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1720796 KiB
Current children cumulated memory: 572492 KiB
Child status: 0
Real time (s): 3610.98
CPU time (s): 3600.18
CPU user time (s): 3599.3
CPU system time (s): 0.877824
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 1790192
Max. memory (cumulated for all children) (KiB): 630004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.3
system time used= 0.877824
maximum resident set size= 355600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147582
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= 417
involuntary context switches= 18994
# summary of solver processes directly reported to runsolver:
# pid: 47435,47440
# total CPU time (s): 3600.18
# total CPU user time (s): 3599.3
# total CPU system time (s): 0.877824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8691 second user time and 13.3703 second system time
The end