0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459808-1721939463.opb>
0.00/0.02 c original problem has 8377 variables (500 bin, 0 int, 7877 impl, 0 cont) and 8877 constraints
0.00/0.02 c problem read in 0.02
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.08 c (round 1, fast) 7877 del vars, 500 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.09 c (round 2, fast) 7877 del vars, 500 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3, medium) 7877 del vars, 1000 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 0 impls, 7876 clqs
0.09/0.13 c (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.14 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.09/0.14 c 7877 deleted vars, 1000 deleted constraints, 0 added constraints, 7877 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 0 implications, 7876 cliques
0.09/0.14 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7877 constraints
0.09/0.14 c 7877 constraints of type <setppc>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 10.0.0
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14 c limits/time = 3596.998023
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14 c limits/memory = 27900
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c transformed 1/1 original solutions to the transformed problem space
0.09/0.14 c
0.09/0.16 o -49
0.09/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | clique| 0 | 500 |7877 |7877 | 0 | 0 | 0 | 0 |-5.000000e+02 |-4.900000e+01 | 920.41%| unknown
0.09/0.16 o -65
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 500 |7877 |7877 | 0 | 0 | 0 | 0 |-5.000000e+02 |-6.500000e+01 | 669.23%| unknown
0.09/0.18 o -70
0.09/0.18 c i 0.2s| 1 | 0 | 67 | - | oneopt| 0 | 500 |7877 |7877 | 0 | 0 | 0 | 0 |-5.000000e+02 |-7.000000e+01 | 614.29%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 611 | - | 50M | 0 | 500 |7877 |7877 | 0 | 0 | 0 | 0 |-2.500000e+02 |-7.000000e+01 | 257.14%| unknown
0.19/0.29 c 0.3s| 1 | 0 | 1032 | - | 52M | 0 | 500 |7877 |7909 | 32 | 1 | 0 | 0 |-2.335000e+02 |-7.000000e+01 | 233.57%| unknown
0.39/0.41 c 0.4s| 1 | 0 | 1429 | - | 53M | 0 | 500 |7877 |7945 | 68 | 2 | 0 | 0 |-2.250000e+02 |-7.000000e+01 | 221.43%| unknown
0.59/0.68 c 0.7s| 1 | 0 | 1827 | - | 55M | 0 | 500 |7877 |7976 | 99 | 3 | 0 | 0 |-2.185000e+02 |-7.000000e+01 | 212.14%| unknown
0.78/0.89 c 0.9s| 1 | 0 | 2446 | - | 58M | 0 | 500 |7877 |8005 | 128 | 4 | 0 | 0 |-2.130000e+02 |-7.000000e+01 | 204.29%| unknown
1.09/1.18 c 1.2s| 1 | 0 | 3186 | - | 62M | 0 | 500 |7877 |8037 | 160 | 5 | 0 | 0 |-2.070000e+02 |-7.000000e+01 | 195.71%| unknown
1.49/1.50 c 1.5s| 1 | 0 | 3896 | - | 65M | 0 | 500 |7877 |8064 | 187 | 6 | 0 | 0 |-2.030000e+02 |-7.000000e+01 | 190.00%| unknown
1.59/1.69 c 1.7s| 1 | 0 | 4847 | - | 69M | 0 | 500 |7877 |8096 | 219 | 7 | 0 | 0 |-1.990000e+02 |-7.000000e+01 | 184.29%| unknown
2.48/2.53 c 2.5s| 1 | 0 | 6081 | - | 73M | 0 | 500 |7877 |8127 | 250 | 8 | 0 | 0 |-1.950000e+02 |-7.000000e+01 | 178.57%| unknown
2.88/2.92 c 2.9s| 1 | 0 | 7656 | - | 76M | 0 | 500 |7877 |8160 | 283 | 9 | 0 | 0 |-1.900000e+02 |-7.000000e+01 | 171.43%| unknown
3.08/3.12 c 3.1s| 1 | 0 | 8693 | - | 82M | 0 | 500 |7877 |8186 | 309 | 10 | 0 | 0 |-1.876250e+02 |-7.000000e+01 | 168.04%| unknown
3.28/3.35 c 3.3s| 1 | 0 | 10550 | - | 83M | 0 | 500 |7877 |8213 | 336 | 11 | 0 | 0 |-1.848438e+02 |-7.000000e+01 | 164.06%| unknown
3.48/3.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.48/3.57 c 3.6s| 1 | 0 | 11835 | - | 84M | 0 | 500 |7877 |8238 | 361 | 12 | 0 | 0 |-1.813254e+02 |-7.000000e+01 | 159.04%| unknown
3.77/3.82 c 3.8s| 1 | 0 | 13312 | - | 85M | 0 | 500 |7877 |8263 | 386 | 13 | 0 | 0 |-1.775000e+02 |-7.000000e+01 | 153.57%| unknown
4.08/4.12 c 4.1s| 1 | 0 | 14975 | - | 86M | 0 | 500 |7877 |8288 | 411 | 14 | 0 | 0 |-1.763101e+02 |-7.000000e+01 | 151.87%| unknown
4.27/4.32 c 4.3s| 1 | 0 | 16066 | - | 87M | 0 | 500 |7877 |8311 | 434 | 15 | 0 | 0 |-1.746371e+02 |-7.000000e+01 | 149.48%| unknown
4.47/4.58 c 4.6s| 1 | 0 | 17782 | - | 88M | 0 | 500 |7877 |8329 | 459 | 16 | 0 | 0 |-1.716089e+02 |-7.000000e+01 | 145.16%| unknown
4.67/4.76 c 4.8s| 1 | 0 | 18879 | - | 88M | 0 | 500 |7877 |8344 | 474 | 17 | 0 | 0 |-1.704170e+02 |-7.000000e+01 | 143.45%| unknown
4.87/4.97 c 5.0s| 1 | 0 | 20104 | - | 89M | 0 | 500 |7877 |8366 | 496 | 18 | 0 | 0 |-1.683567e+02 |-7.000000e+01 | 140.51%| unknown
5.08/5.15 c 5.2s| 1 | 0 | 21116 | - | 90M | 0 | 500 |7877 |8383 | 513 | 19 | 0 | 0 |-1.667860e+02 |-7.000000e+01 | 138.27%| unknown
5.27/5.36 c 5.4s| 1 | 0 | 22407 | - | 91M | 0 | 500 |7877 |8400 | 530 | 20 | 0 | 0 |-1.655191e+02 |-7.000000e+01 | 136.46%| unknown
5.37/5.49 c 5.5s| 1 | 0 | 23326 | - | 91M | 0 | 500 |7877 |8412 | 542 | 21 | 0 | 0 |-1.647455e+02 |-7.000000e+01 | 135.35%| unknown
5.57/5.63 c 5.6s| 1 | 0 | 24321 | - | 91M | 0 | 500 |7877 |8398 | 553 | 22 | 0 | 0 |-1.639313e+02 |-7.000000e+01 | 134.19%| unknown
5.67/5.72 c 5.7s| 1 | 0 | 24966 | - | 91M | 0 | 500 |7877 |8406 | 561 | 23 | 0 | 0 |-1.636129e+02 |-7.000000e+01 | 133.73%| unknown
5.77/5.88 c 5.9s| 1 | 0 | 26053 | - | 91M | 0 | 500 |7877 |8414 | 569 | 24 | 0 | 0 |-1.628947e+02 |-7.000000e+01 | 132.71%| unknown
5.87/5.99 c 6.0s| 1 | 0 | 26876 | - | 91M | 0 | 500 |7877 |8427 | 582 | 25 | 0 | 0 |-1.622656e+02 |-7.000000e+01 | 131.81%| unknown
6.07/6.11 c 6.1s| 1 | 0 | 27663 | - | 91M | 0 | 500 |7877 |8439 | 594 | 26 | 0 | 0 |-1.618990e+02 |-7.000000e+01 | 131.28%| unknown
6.17/6.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.17/6.24 c 6.2s| 1 | 0 | 28565 | - | 91M | 0 | 500 |7877 |8447 | 602 | 27 | 0 | 0 |-1.611370e+02 |-7.000000e+01 | 130.20%| unknown
6.27/6.32 c 6.3s| 1 | 0 | 29042 | - | 92M | 0 | 500 |7877 |8407 | 612 | 28 | 0 | 0 |-1.608889e+02 |-7.000000e+01 | 129.84%| unknown
6.37/6.45 c 6.4s| 1 | 0 | 29828 | - | 92M | 0 | 500 |7877 |8420 | 625 | 29 | 0 | 0 |-1.601742e+02 |-7.000000e+01 | 128.82%| unknown
6.47/6.55 c 6.5s| 1 | 0 | 30423 | - | 92M | 0 | 500 |7877 |8435 | 640 | 30 | 0 | 0 |-1.597046e+02 |-7.000000e+01 | 128.15%| unknown
6.57/6.63 c 6.6s| 1 | 0 | 30926 | - | 92M | 0 | 500 |7877 |8446 | 651 | 31 | 0 | 0 |-1.593020e+02 |-7.000000e+01 | 127.57%| unknown
6.67/6.71 c 6.7s| 1 | 0 | 31407 | - | 92M | 0 | 500 |7877 |8460 | 665 | 32 | 0 | 0 |-1.589588e+02 |-7.000000e+01 | 127.08%| unknown
6.77/6.81 c 6.8s| 1 | 0 | 31938 | - | 92M | 0 | 500 |7877 |8472 | 677 | 33 | 0 | 0 |-1.586657e+02 |-7.000000e+01 | 126.67%| unknown
6.87/6.90 c 6.9s| 1 | 0 | 32468 | - | 92M | 0 | 500 |7877 |8442 | 690 | 34 | 0 | 0 |-1.582405e+02 |-7.000000e+01 | 126.06%| unknown
6.97/7.01 c 7.0s| 1 | 0 | 33054 | - | 92M | 0 | 500 |7877 |8452 | 700 | 35 | 0 | 0 |-1.576697e+02 |-7.000000e+01 | 125.24%| unknown
7.07/7.12 c 7.1s| 1 | 0 | 33664 | - | 92M | 0 | 500 |7877 |8468 | 716 | 36 | 0 | 0 |-1.570861e+02 |-7.000000e+01 | 124.41%| unknown
7.16/7.23 c 7.2s| 1 | 0 | 34257 | - | 92M | 0 | 500 |7877 |8477 | 725 | 37 | 0 | 0 |-1.565952e+02 |-7.000000e+01 | 123.71%| unknown
7.26/7.32 c 7.3s| 1 | 0 | 34768 | - | 92M | 0 | 500 |7877 |8490 | 738 | 38 | 0 | 0 |-1.560564e+02 |-7.000000e+01 | 122.94%| unknown
7.36/7.42 c 7.4s| 1 | 0 | 35325 | - | 92M | 0 | 500 |7877 |8497 | 745 | 39 | 0 | 0 |-1.556213e+02 |-7.000000e+01 | 122.32%| unknown
7.46/7.50 c 7.5s| 1 | 0 | 35750 | - | 92M | 0 | 500 |7877 |8468 | 756 | 40 | 0 | 0 |-1.552428e+02 |-7.000000e+01 | 121.78%| unknown
7.46/7.58 c 7.6s| 1 | 0 | 36202 | - | 92M | 0 | 500 |7877 |8481 | 769 | 41 | 0 | 0 |-1.550022e+02 |-7.000000e+01 | 121.43%| unknown
7.56/7.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.56/7.67 c 7.7s| 1 | 0 | 36707 | - | 92M | 0 | 500 |7877 |8493 | 781 | 42 | 0 | 0 |-1.546878e+02 |-7.000000e+01 | 120.98%| unknown
7.66/7.74 c 7.7s| 1 | 0 | 37034 | - | 92M | 0 | 500 |7877 |8504 | 792 | 43 | 0 | 0 |-1.543997e+02 |-7.000000e+01 | 120.57%| unknown
7.76/7.84 c 7.8s| 1 | 0 | 37563 | - | 92M | 0 | 500 |7877 |8514 | 802 | 44 | 0 | 0 |-1.539178e+02 |-7.000000e+01 | 119.88%| unknown
7.86/7.92 c 7.9s| 1 | 0 | 37978 | - | 93M | 0 | 500 |7877 |8529 | 817 | 45 | 0 | 0 |-1.535184e+02 |-7.000000e+01 | 119.31%| unknown
7.86/7.99 c 8.0s| 1 | 0 | 38348 | - | 93M | 0 | 500 |7877 |8498 | 833 | 46 | 0 | 0 |-1.532645e+02 |-7.000000e+01 | 118.95%| unknown
7.97/8.05 c 8.1s| 1 | 0 | 38608 | - | 93M | 0 | 500 |7877 |8513 | 848 | 47 | 0 | 0 |-1.531192e+02 |-7.000000e+01 | 118.74%| unknown
8.07/8.11 c 8.1s| 1 | 0 | 38840 | - | 93M | 0 | 500 |7877 |8521 | 856 | 48 | 0 | 0 |-1.529430e+02 |-7.000000e+01 | 118.49%| unknown
8.16/8.20 c 8.2s| 1 | 0 | 39298 | - | 93M | 0 | 500 |7877 |8531 | 866 | 49 | 0 | 0 |-1.526272e+02 |-7.000000e+01 | 118.04%| unknown
8.16/8.26 c 8.3s| 1 | 0 | 39556 | - | 93M | 0 | 500 |7877 |8543 | 878 | 50 | 0 | 0 |-1.525354e+02 |-7.000000e+01 | 117.91%| unknown
8.26/8.31 c 8.3s| 1 | 0 | 39806 | - | 93M | 0 | 500 |7877 |8556 | 891 | 51 | 0 | 0 |-1.524202e+02 |-7.000000e+01 | 117.74%| unknown
8.26/8.37 c 8.4s| 1 | 0 | 40075 | - | 93M | 0 | 500 |7877 |8526 | 907 | 52 | 0 | 0 |-1.523189e+02 |-7.000000e+01 | 117.60%| unknown
8.37/8.43 c 8.4s| 1 | 0 | 40340 | - | 93M | 0 | 500 |7877 |8540 | 921 | 53 | 0 | 0 |-1.521866e+02 |-7.000000e+01 | 117.41%| unknown
8.37/8.48 c 8.5s| 1 | 0 | 40522 | - | 93M | 0 | 500 |7877 |8558 | 939 | 54 | 0 | 0 |-1.520932e+02 |-7.000000e+01 | 117.28%| unknown
8.47/8.53 c 8.5s| 1 | 0 | 40728 | - | 93M | 0 | 500 |7877 |8569 | 950 | 55 | 0 | 0 |-1.519377e+02 |-7.000000e+01 | 117.05%| unknown
8.47/8.59 c 8.6s| 1 | 0 | 40965 | - | 93M | 0 | 500 |7877 |8581 | 962 | 56 | 0 | 0 |-1.517673e+02 |-7.000000e+01 | 116.81%| unknown
8.57/8.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.57/8.67 c 8.7s| 1 | 0 | 41377 | - | 93M | 0 | 500 |7877 |8596 | 977 | 57 | 0 | 0 |-1.515250e+02 |-7.000000e+01 | 116.46%| unknown
8.67/8.74 c 8.7s| 1 | 0 | 41733 | - | 93M | 0 | 500 |7877 |8573 | 991 | 58 | 0 | 0 |-1.512013e+02 |-7.000000e+01 | 116.00%| unknown
8.67/8.78 c 8.8s| 1 | 0 | 41880 | - | 94M | 0 | 500 |7877 |8585 |1003 | 59 | 0 | 0 |-1.510982e+02 |-7.000000e+01 | 115.85%| unknown
8.77/8.84 c 8.8s| 1 | 0 | 42126 | - | 94M | 0 | 500 |7877 |8601 |1019 | 60 | 0 | 0 |-1.509497e+02 |-7.000000e+01 | 115.64%| unknown
8.87/8.90 c 8.9s| 1 | 0 | 42362 | - | 94M | 0 | 500 |7877 |8612 |1030 | 61 | 0 | 0 |-1.508214e+02 |-7.000000e+01 | 115.46%| unknown
8.87/8.96 c 9.0s| 1 | 0 | 42612 | - | 94M | 0 | 500 |7877 |8627 |1045 | 62 | 0 | 0 |-1.506358e+02 |-7.000000e+01 | 115.19%| unknown
8.97/9.02 c 9.0s| 1 | 0 | 42853 | - | 94M | 0 | 500 |7877 |8640 |1058 | 63 | 0 | 0 |-1.504956e+02 |-7.000000e+01 | 114.99%| unknown
8.97/9.09 c 9.1s| 1 | 0 | 43169 | - | 94M | 0 | 500 |7877 |8619 |1068 | 64 | 0 | 0 |-1.503340e+02 |-7.000000e+01 | 114.76%| unknown
9.07/9.15 c 9.1s| 1 | 0 | 43426 | - | 94M | 0 | 500 |7877 |8633 |1082 | 65 | 0 | 0 |-1.501953e+02 |-7.000000e+01 | 114.56%| unknown
9.17/9.20 c 9.2s| 1 | 0 | 43673 | - | 94M | 0 | 500 |7877 |8647 |1096 | 66 | 0 | 0 |-1.500500e+02 |-7.000000e+01 | 114.36%| unknown
9.17/9.26 c 9.3s| 1 | 0 | 44002 | - | 94M | 0 | 500 |7877 |8660 |1109 | 67 | 0 | 0 |-1.498970e+02 |-7.000000e+01 | 114.14%| unknown
9.27/9.31 c 9.3s| 1 | 0 | 44193 | - | 94M | 0 | 500 |7877 |8672 |1121 | 68 | 0 | 0 |-1.498503e+02 |-7.000000e+01 | 114.07%| unknown
9.27/9.38 c 9.4s| 1 | 0 | 44512 | - | 94M | 0 | 500 |7877 |8682 |1131 | 69 | 0 | 0 |-1.496118e+02 |-7.000000e+01 | 113.73%| unknown
9.37/9.45 c 9.4s| 1 | 0 | 44777 | - | 94M | 0 | 500 |7877 |8662 |1149 | 70 | 0 | 0 |-1.494443e+02 |-7.000000e+01 | 113.49%| unknown
9.46/9.51 c 9.5s| 1 | 0 | 45106 | - | 94M | 0 | 500 |7877 |8675 |1162 | 71 | 0 | 0 |-1.492858e+02 |-7.000000e+01 | 113.27%| unknown
9.46/9.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.46/9.56 c 9.6s| 1 | 0 | 45296 | - | 94M | 0 | 500 |7877 |8683 |1170 | 72 | 0 | 0 |-1.492048e+02 |-7.000000e+01 | 113.15%| unknown
9.56/9.63 c 9.6s| 1 | 0 | 45634 | - | 95M | 0 | 500 |7877 |8699 |1186 | 73 | 0 | 0 |-1.490508e+02 |-7.000000e+01 | 112.93%| unknown
9.56/9.68 c 9.7s| 1 | 0 | 45811 | - | 95M | 0 | 500 |7877 |8710 |1197 | 74 | 0 | 0 |-1.489778e+02 |-7.000000e+01 | 112.83%| unknown
9.66/9.74 c 9.7s| 1 | 0 | 46084 | - | 95M | 0 | 500 |7877 |8724 |1211 | 75 | 0 | 0 |-1.488611e+02 |-7.000000e+01 | 112.66%| unknown
9.76/9.80 c 9.8s| 1 | 0 | 46330 | - | 95M | 0 | 500 |7877 |8674 |1222 | 76 | 0 | 0 |-1.487837e+02 |-7.000000e+01 | 112.55%| unknown
9.76/9.84 c 9.8s| 1 | 0 | 46515 | - | 95M | 0 | 500 |7877 |8685 |1233 | 77 | 0 | 0 |-1.487038e+02 |-7.000000e+01 | 112.43%| unknown
9.76/9.89 c 9.9s| 1 | 0 | 46686 | - | 95M | 0 | 500 |7877 |8699 |1247 | 78 | 0 | 0 |-1.486309e+02 |-7.000000e+01 | 112.33%| unknown
9.86/9.95 c 9.9s| 1 | 0 | 46943 | - | 95M | 0 | 500 |7877 |8714 |1262 | 79 | 0 | 0 |-1.485484e+02 |-7.000000e+01 | 112.21%| unknown
9.86/10.00 c 10.0s| 1 | 0 | 47184 | - | 95M | 0 | 500 |7877 |8727 |1275 | 80 | 0 | 0 |-1.484904e+02 |-7.000000e+01 | 112.13%| unknown
9.97/10.06 c 10.1s| 1 | 0 | 47408 | - | 95M | 0 | 500 |7877 |8735 |1283 | 81 | 0 | 0 |-1.484382e+02 |-7.000000e+01 | 112.05%| unknown
10.07/10.10 c 10.1s| 1 | 0 | 47588 | - | 95M | 0 | 500 |7877 |8687 |1295 | 82 | 0 | 0 |-1.484119e+02 |-7.000000e+01 | 112.02%| unknown
10.07/10.15 c 10.2s| 1 | 0 | 47795 | - | 95M | 0 | 500 |7877 |8695 |1303 | 83 | 0 | 0 |-1.483861e+02 |-7.000000e+01 | 111.98%| unknown
10.16/10.20 c 10.2s| 1 | 0 | 48011 | - | 95M | 0 | 500 |7877 |8706 |1314 | 84 | 0 | 0 |-1.483614e+02 |-7.000000e+01 | 111.94%| unknown
10.16/10.23 c 10.2s| 1 | 0 | 48117 | - | 95M | 0 | 500 |7877 |8720 |1328 | 85 | 0 | 0 |-1.483499e+02 |-7.000000e+01 | 111.93%| unknown
10.16/10.27 c 10.3s| 1 | 0 | 48226 | - | 95M | 0 | 500 |7877 |8731 |1339 | 86 | 0 | 0 |-1.483333e+02 |-7.000000e+01 | 111.90%| unknown
10.16/10.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.16/10.29 c 10.3s| 1 | 0 | 48230 | - | 95M | 0 | 500 |7877 |8736 |1344 | 87 | 0 | 0 |-1.483333e+02 |-7.000000e+01 | 111.90%| unknown
10.26/10.32 c 10.3s| 1 | 0 | 48231 | - | 95M | 0 | 500 |7877 |8683 |1346 | 88 | 0 | 0 |-1.483333e+02 |-7.000000e+01 | 111.90%| unknown
13.25/13.38 c 13.4s| 1 | 2 | 48242 | - | 95M | 0 | 500 |7877 |8683 |1346 | 89 | 0 | 24 |-1.480000e+02 |-7.000000e+01 | 111.43%| unknown
62.23/62.48 c 62.5s| 100 | 101 |208237 |1616.9 | 216M | 17 | 500 |7877 |8512 |4040 | 1 | 0 | 273 |-1.464320e+02 |-7.000000e+01 | 109.19%| unknown
98.55/98.85 c 98.9s| 200 | 201 |407018 |1803.3 | 276M | 19 | 500 |7877 |8484 |6871 | 1 | 0 | 346 |-1.452144e+02 |-7.000000e+01 | 107.45%| unknown
141.05/141.45 c 141s| 300 | 301 |615370 |1897.0 | 314M | 19 | 500 |7877 |8594 |9756 | 1 | 0 | 436 |-1.441228e+02 |-7.000000e+01 | 105.89%| unknown
176.07/176.51 c 177s| 400 | 401 |782717 |1841.0 | 331M | 32 | 500 |7877 |8739 | 11k| 1 | 0 | 514 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
207.69/208.25 c 208s| 500 | 501 |930620 |1768.4 | 345M | 43 | 500 |7877 |8665 | 12k| 1 | 0 | 587 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
232.12/232.78 c 233s| 600 | 601 | 1049k|1671.3 | 346M | 43 | 500 |7877 |8574 | 13k| 1 | 0 | 657 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
255.26/255.90 c 256s| 700 | 701 | 1181k|1621.7 | 363M | 44 | 500 |7877 |8675 | 14k| 8 | 0 | 672 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
273.21/273.98 c 274s| 800 | 801 | 1304k|1572.4 | 372M | 45 | 500 |7877 |8645 | 15k| 1 | 0 | 673 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
292.16/292.97 c 293s| 900 | 901 | 1428k|1535.5 | 377M | 45 | 500 |7877 |8656 | 16k| 1 | 0 | 690 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
315.01/315.83 c 316s| 1000 | 1001 | 1547k|1500.7 | 394M | 45 | 500 |7877 |8400 | 18k| 1 | 0 | 756 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
325.78/326.69 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
325.88/326.78 c (run 1, node 1049) performing user restart
325.88/326.78 c
325.88/326.79 c (restart) converted 575 cuts from the global cut pool into linear constraints
325.88/326.79 c
326.08/326.92 c presolving:
326.08/326.93 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 575 upgd conss, 0 impls, 8450 clqs
326.08/326.94 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
326.08/326.94 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
326.08/326.94 c 0 implications, 8451 cliques
326.08/326.94 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 8452 constraints
326.08/326.94 c 1 constraints of type <knapsack>
326.08/326.94 c 8451 constraints of type <setppc>
326.08/326.94 c transformed objective value is always integral (scale: 1)
326.08/326.94 c Presolving Time: 0.19
326.18/327.02 c transformed 93/100 original solutions to the transformed problem space
326.18/327.02 c
326.67/327.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
326.67/327.56 c 328s| 1 | 0 | 1610k| - | 407M | 0 | 500 |8452 |8452 | 0 | 0 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.77/327.64 c 328s| 1 | 0 | 1610k| - | 410M | 0 | 500 |8452 |8458 | 6 | 1 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.87/327.72 c 328s| 1 | 0 | 1610k| - | 403M | 0 | 500 |8452 |8466 | 14 | 2 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.97/327.81 c 328s| 1 | 0 | 1610k| - | 410M | 0 | 500 |8452 |8472 | 20 | 3 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
326.97/327.89 c 328s| 1 | 0 | 1611k| - | 413M | 0 | 500 |8452 |8479 | 27 | 4 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.07/327.98 c 328s| 1 | 0 | 1611k| - | 416M | 0 | 500 |8452 |8486 | 34 | 5 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.18/328.09 c 328s| 1 | 0 | 1611k| - | 425M | 0 | 500 |8452 |8496 | 44 | 6 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.37/328.20 c 328s| 1 | 0 | 1611k| - | 432M | 0 | 500 |8452 |8502 | 50 | 7 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.47/328.31 c 328s| 1 | 0 | 1611k| - | 438M | 0 | 500 |8452 |8512 | 60 | 8 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.58/328.43 c 328s| 1 | 0 | 1611k| - | 445M | 0 | 500 |8452 |8520 | 68 | 9 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.68/328.56 c 329s| 1 | 0 | 1611k| - | 453M | 0 | 500 |8452 |8528 | 76 | 10 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.78/328.63 c 329s| 1 | 0 | 1612k| - | 453M | 0 | 500 |8452 |8537 | 85 | 11 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.87/328.71 c 329s| 1 | 0 | 1612k| - | 454M | 0 | 500 |8452 |8545 | 93 | 12 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.97/328.80 c 329s| 1 | 0 | 1612k| - | 454M | 0 | 500 |8452 |8503 | 103 | 13 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
327.97/328.87 c 329s| 1 | 0 | 1612k| - | 454M | 0 | 500 |8452 |8515 | 115 | 14 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.07/328.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
328.07/328.96 c 329s| 1 | 0 | 1612k| - | 454M | 0 | 500 |8452 |8531 | 131 | 15 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.18/329.05 c 329s| 1 | 0 | 1612k| - | 454M | 0 | 500 |8452 |8542 | 142 | 16 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.28/329.13 c 329s| 1 | 0 | 1612k| - | 454M | 0 | 500 |8452 |8557 | 157 | 17 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.37/329.22 c 329s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8565 | 165 | 18 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.47/329.31 c 329s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8532 | 174 | 19 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.47/329.39 c 329s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8545 | 187 | 20 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.57/329.47 c 329s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8556 | 198 | 21 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.67/329.56 c 330s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8568 | 210 | 22 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.77/329.67 c 330s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8581 | 223 | 23 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.87/329.76 c 330s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8593 | 235 | 24 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
328.97/329.85 c 330s| 1 | 0 | 1613k| - | 454M | 0 | 500 |8452 |8531 | 243 | 25 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.07/329.93 c 330s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8543 | 255 | 26 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.18/330.03 c 330s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8561 | 273 | 27 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.28/330.12 c 330s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8574 | 286 | 28 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.37/330.22 c 330s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8586 | 298 | 29 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.47/330.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
329.47/330.31 c 330s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8600 | 312 | 30 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.57/330.42 c 330s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8569 | 323 | 31 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.67/330.51 c 331s| 1 | 0 | 1614k| - | 454M | 0 | 500 |8452 |8576 | 330 | 32 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
329.77/330.60 c 331s| 1 | 0 | 1615k| - | 455M | 0 | 500 |8452 |8590 | 344 | 33 | 0 | 775 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
334.46/335.34 c 335s| 1 | 2 | 1615k| - | 455M | 0 | 500 |8452 |8590 | 344 | 33 | 0 | 806 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
371.57/372.58 c 373s| 100 | 101 | 1715k|1444.3 | 459M | 38 | 500 |8452 |8440 | 526 | 1 | 0 |1086 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
391.62/392.68 c 393s| 200 | 201 | 1838k|1427.3 | 460M | 38 | 500 |8452 |8474 | 697 | 1 | 0 |1146 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
408.58/409.67 c 410s| 300 | 301 | 1933k|1391.3 | 460M | 41 | 500 |8452 |8470 | 876 | 1 | 0 |1216 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
423.24/424.35 c 424s| 400 | 401 | 2020k|1355.8 | 465M | 41 | 500 |8452 |8465 |1201 | 1 | 0 |1269 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
441.29/442.46 c 442s| 500 | 501 | 2126k|1336.3 | 469M | 41 | 500 |8452 |8469 |2037 | 1 | 0 |1313 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
459.95/461.10 c 461s| 600 | 601 | 2234k|1321.0 | 475M | 44 | 500 |8452 |8521 |2838 | 1 | 0 |1350 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
476.91/478.12 c 478s| 700 | 701 | 2337k|1304.4 | 484M | 44 | 500 |8452 |8497 |3907 | 1 | 0 |1374 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
491.66/492.91 c 493s| 800 | 801 | 2445k|1292.5 | 487M | 44 | 500 |8452 |8460 |5102 | 1 | 0 |1388 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
508.12/509.48 c 509s| 900 | 901 | 2565k|1287.5 | 490M | 45 | 500 |8452 |8533 |6968 | 1 | 0 |1388 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
523.58/524.91 c 525s| 1000 | 1001 | 2679k|1280.3 | 492M | 45 | 500 |8452 |8524 |8534 | 1 | 0 |1389 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
539.33/540.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
539.33/540.79 c 541s| 1100 | 1101 | 2782k|1268.7 | 495M | 45 | 500 |8452 |8478 | 10k| 1 | 0 |1389 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
555.39/556.84 c 557s| 1200 | 1201 | 2887k|1258.7 | 502M | 45 | 500 |8452 |8710 | 11k| 7 | 0 |1448 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
572.55/574.03 c 574s| 1300 | 1301 | 2992k|1249.8 | 504M | 45 | 500 |8452 |8549 | 13k| 1 | 0 |1469 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
587.51/589.07 c 589s| 1400 | 1401 | 3099k|1242.7 | 506M | 45 | 500 |8452 |8478 | 14k| 1 | 0 |1469 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
604.46/606.02 c 606s| 1500 | 1501 | 3199k|1233.0 | 517M | 46 | 500 |8452 |8461 | 16k| 1 | 0 |1496 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
621.61/623.28 c 623s| 1600 | 1601 | 3315k|1230.5 | 519M | 46 | 500 |8452 |8486 | 18k| 1 | 0 |1515 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
638.56/640.23 c 640s| 1700 | 1701 | 3429k|1227.1 | 522M | 46 | 500 |8452 |8678 | 20k| 7 | 0 |1515 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
649.92/651.60 c 652s| 1800 | 1801 | 3525k|1217.6 | 522M | 46 | 500 |8452 |8687 | 22k| 7 | 0 |1518 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
665.29/667.04 c 667s| 1900 | 1901 | 3624k|1210.1 | 523M | 46 | 500 |8452 |8470 | 24k| 1 | 0 |1556 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
683.63/685.47 c 685s| 2000 | 2001 | 3730k|1204.9 | 534M | 46 | 500 |8452 |8484 | 26k| 1 | 0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
697.49/699.33 c 699s| 2100 | 2101 | 3827k|1197.5 | 535M | 46 | 500 |8452 |8519 | 28k| 1 | 0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
709.06/710.91 c 711s| 2200 | 2201 | 3917k|1188.4 | 536M | 46 | 500 |8452 |8380 | 29k| 1 | 0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
725.61/727.58 c 728s| 2300 | 2301 | 4028k|1186.1 | 541M | 46 | 500 |8452 |8681 | 31k| 7 | 0 |1628 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
742.67/744.67 c 745s| 2400 | 2401 | 4129k|1181.1 | 545M | 47 | 500 |8452 |8659 | 34k| 1 | 0 |1633 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
759.82/761.84 c 762s| 2500 | 2501 | 4240k|1179.1 | 551M | 47 | 500 |8452 |8622 | 36k| 1 | 0 |1633 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
773.88/775.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
773.88/775.91 c 776s| 2600 | 2601 | 4330k|1171.3 | 557M | 47 | 500 |8452 |8455 | 38k| 1 | 0 |1647 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
790.74/792.87 c 793s| 2700 | 2701 | 4432k|1167.3 | 562M | 47 | 500 |8452 |8660 | 40k| 1 | 0 |1655 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
807.59/809.75 c 810s| 2800 | 2801 | 4534k|1163.5 | 564M | 47 | 500 |8452 |8483 | 42k| 1 | 0 |1686 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
822.35/824.56 c 825s| 2900 | 2901 | 4633k|1159.1 | 567M | 47 | 500 |8452 |8518 | 44k| 1 | 0 |1687 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
835.42/837.68 c 838s| 3000 | 3001 | 4723k|1152.7 | 574M | 47 | 500 |8452 |8513 | 46k| 1 | 0 |1688 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
851.07/853.37 c 853s| 3100 | 3101 | 4814k|1146.9 | 575M | 47 | 500 |8452 |8492 | 48k| 1 | 0 |1693 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
864.34/866.61 c 867s| 3200 | 3201 | 4901k|1140.2 | 579M | 47 | 500 |8452 |8584 | 50k| 1 | 0 |1705 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
880.29/882.65 c 883s| 3300 | 3301 | 4998k|1136.5 | 580M | 47 | 500 |8452 |8481 | 52k| 1 | 0 |1706 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
896.45/898.83 c 899s| 3400 | 3401 | 5097k|1133.0 | 592M | 48 | 500 |8452 |8508 | 54k| 1 | 0 |1710 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
909.91/912.36 c 912s| 3500 | 3501 | 5181k|1126.6 | 594M | 48 | 500 |8452 |8443 | 56k| 1 | 0 |1710 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
924.28/926.77 c 927s| 3600 | 3601 | 5273k|1122.2 | 596M | 48 | 500 |8452 |8492 | 57k| 1 | 0 |1712 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
940.73/943.23 c 943s| 3700 | 3701 | 5372k|1119.4 | 596M | 48 | 500 |8452 |8702 | 59k| 7 | 0 |1728 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
953.09/955.65 c 956s| 3800 | 3801 | 5459k|1114.4 | 598M | 48 | 500 |8452 |8465 | 61k| 1 | 0 |1731 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
971.04/973.64 c 974s| 3900 | 3901 | 5561k|1112.3 | 613M | 48 | 500 |8452 |8482 | 63k| 1 | 0 |1735 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
987.10/989.70 c 990s| 4000 | 4001 | 5662k|1110.3 | 614M | 48 | 500 |8452 |8499 | 66k| 1 | 0 |1756 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1006.94/1009.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1006.94/1009.62 c 1010s| 4100 | 4101 | 5779k|1111.5 | 616M | 49 | 500 |8452 |8515 | 68k| 1 | 0 |1783 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1019.80/1022.54 c 1023s| 4200 | 4201 | 5869k|1107.4 | 618M | 49 | 500 |8452 |8491 | 70k| 1 | 0 |1796 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1039.45/1042.29 c 1042s| 4300 | 4301 | 5964k|1104.5 | 620M | 49 | 500 |8452 |8471 | 72k| 1 | 0 |1855 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1055.21/1058.05 c 1058s| 4400 | 4401 | 6059k|1101.8 | 621M | 49 | 500 |8452 |8467 | 74k| 1 | 0 |1855 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1070.56/1073.41 c 1073s| 4500 | 4501 | 6150k|1098.3 | 626M | 49 | 500 |8452 |8554 | 77k| 1 | 0 |1856 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1088.51/1091.47 c 1091s| 4600 | 4601 | 6253k|1097.0 | 637M | 49 | 500 |8452 |8637 | 79k| 8 | 0 |1858 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1107.95/1110.94 c 1111s| 4700 | 4701 | 6355k|1095.8 | 638M | 49 | 500 |8452 |8530 | 82k| 1 | 0 |1899 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1121.03/1124.03 c 1124s| 4800 | 4801 | 6442k|1091.8 | 639M | 49 | 500 |8452 |8591 | 83k| 1 | 0 |1903 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1134.29/1137.30 c 1137s| 4900 | 4901 | 6517k|1086.2 | 640M | 49 | 500 |8452 |8503 | 85k| 1 | 0 |1931 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1148.85/1151.96 c 1152s| 5000 | 5001 | 6609k|1083.3 | 642M | 49 | 500 |8452 |8527 | 87k| 1 | 0 |1935 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1165.70/1168.85 c 1169s| 5100 | 5101 | 6691k|1079.0 | 643M | 49 | 500 |8452 |8591 | 88k| 1 | 0 |1988 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1180.05/1183.28 c 1183s| 5200 | 5201 | 6776k|1075.4 | 649M | 49 | 500 |8452 |8610 | 90k| 1 | 0 |1991 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1195.81/1199.09 c 1199s| 5300 | 5301 | 6872k|1073.5 | 660M | 49 | 500 |8452 |8528 | 93k| 1 | 0 |2010 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1207.88/1211.14 c 1211s| 5400 | 5401 | 6945k|1068.2 | 660M | 49 | 500 |8452 |8518 | 94k| 1 | 0 |2013 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1218.44/1221.76 c 1222s| 5500 | 5501 | 7017k|1062.9 | 660M | 49 | 500 |8452 |8398 | 95k| 1 | 0 |2024 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1230.91/1234.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1230.91/1234.21 c 1234s| 5600 | 5601 | 7099k|1059.3 | 662M | 49 | 500 |8452 |8478 | 97k| 1 | 0 |2025 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1243.68/1247.10 c 1247s| 5700 | 5701 | 7184k|1056.2 | 662M | 49 | 500 |8452 |8518 | 98k| 1 | 0 |2026 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1254.95/1258.37 c 1258s| 5800 | 5801 | 7268k|1053.0 | 662M | 49 | 500 |8452 |8502 | 100k| 1 | 0 |2026 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1268.91/1272.34 c 1272s| 5900 | 5901 | 7358k|1050.8 | 664M | 49 | 500 |8452 |8524 | 101k| 1 | 0 |2061 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1283.36/1286.87 c 1287s| 6000 | 6001 | 7448k|1048.7 | 665M | 49 | 500 |8452 |8598 | 103k| 1 | 0 |2076 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1303.11/1306.69 c 1307s| 6100 | 6101 | 7545k|1047.6 | 666M | 49 | 500 |8452 |8633 | 106k| 1 | 0 |2100 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1318.47/1322.03 c 1322s| 6200 | 6201 | 7628k|1044.6 | 673M | 49 | 500 |8452 |8589 | 107k| 1 | 0 |2106 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1328.84/1332.40 c 1332s| 6300 | 6301 | 7700k|1040.1 | 673M | 49 | 500 |8452 |8464 | 109k| 1 | 0 |2110 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1341.31/1344.96 c 1345s| 6400 | 6401 | 7780k|1036.9 | 674M | 49 | 500 |8452 |8506 | 110k| 1 | 0 |2111 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1355.48/1359.12 c 1359s| 6500 | 6501 | 7849k|1032.3 | 689M | 49 | 500 |8452 |8582 | 111k| 1 | 0 |2112 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1366.46/1370.18 c 1370s| 6600 | 6601 | 7922k|1028.3 | 690M | 49 | 500 |8452 |8476 | 113k| 1 | 0 |2114 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1379.42/1383.12 c 1383s| 6700 | 6701 | 7993k|1024.3 | 692M | 51 | 500 |8452 |8613 | 114k| 1 | 0 |2115 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1394.48/1398.24 c 1398s| 6800 | 6801 | 8061k|1019.9 | 695M | 51 | 500 |8452 |8502 | 116k| 1 | 0 |2125 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1406.35/1410.16 c 1410s| 6900 | 6901 | 8137k|1016.6 | 695M | 51 | 500 |8452 |8488 | 117k| 1 | 0 |2127 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1421.01/1424.84 c 1425s| 7000 | 7001 | 8200k|1011.8 | 703M | 51 | 500 |8452 |8552 | 119k| 1 | 0 |2156 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1432.78/1436.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1432.78/1436.66 c 1437s| 7100 | 7101 | 8261k|1006.9 | 705M | 51 | 500 |8452 |8600 | 120k| 6 | 0 |2186 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1444.46/1448.35 c 1448s| 7200 | 7201 | 8317k|1001.5 | 720M | 51 | 500 |8452 |8490 | 121k| 1 | 0 |2218 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1454.73/1458.64 c 1459s| 7300 | 7301 | 8371k| 995.9 | 720M | 51 | 500 |8452 |8589 | 122k| 7 | 0 |2220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1465.79/1469.79 c 1470s| 7400 | 7401 | 8437k| 992.0 | 721M | 51 | 500 |8452 |8489 | 123k| 1 | 0 |2222 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1481.85/1485.83 c 1486s| 7500 | 7501 | 8504k| 988.1 | 721M | 51 | 500 |8452 |8652 | 124k| 1 | 0 |2243 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1492.93/1496.96 c 1497s| 7600 | 7601 | 8573k| 984.8 | 722M | 51 | 500 |8452 |8568 | 125k| 1 | 0 |2245 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1505.80/1509.81 c 1510s| 7700 | 7701 | 8640k| 981.1 | 722M | 51 | 500 |8452 |8477 | 127k| 1 | 0 |2262 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1515.88/1519.97 c 1520s| 7800 | 7801 | 8705k| 977.4 | 722M | 51 | 500 |8452 |8652 | 128k| 7 | 0 |2267 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1528.64/1532.71 c 1533s| 7900 | 7901 | 8770k| 973.7 | 731M | 51 | 500 |8452 |8619 | 129k| 1 | 0 |2267 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1542.71/1546.86 c 1547s| 8000 | 8001 | 8852k| 972.0 | 733M | 51 | 500 |8452 |8488 | 131k| 1 | 0 |2267 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1557.97/1562.15 c 1562s| 8100 | 8101 | 8913k| 968.1 | 734M | 51 | 500 |8452 |8683 | 132k| 1 | 0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1568.84/1573.00 c 1573s| 8200 | 8201 | 8983k| 965.2 | 754M | 51 | 500 |8452 |8602 | 133k| 1 | 0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1580.41/1584.68 c 1585s| 8300 | 8301 | 9047k| 961.7 | 754M | 51 | 500 |8452 |8476 | 134k| 1 | 0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1594.97/1599.24 c 1599s| 8400 | 8401 | 9117k| 959.0 | 754M | 51 | 500 |8452 |8677 | 136k| 9 | 0 |2272 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1608.54/1612.87 c 1613s| 8500 | 8501 | 9188k| 956.4 | 754M | 51 | 500 |8452 |8598 | 138k| 1 | 0 |2290 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1616.52/1620.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1616.52/1620.89 c 1621s| 8600 | 8601 | 9251k| 953.0 | 754M | 51 | 500 |8452 |8649 | 139k| 1 | 0 |2292 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1627.59/1631.96 c 1632s| 8700 | 8701 | 9317k| 950.0 | 757M | 51 | 500 |8452 |8524 | 140k| 1 | 0 |2328 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1635.97/1640.32 c 1640s| 8800 | 8801 | 9376k| 946.3 | 759M | 51 | 500 |8452 |8515 | 141k| 1 | 0 |2359 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1651.63/1656.01 c 1656s| 8900 | 8901 | 9447k| 943.9 | 760M | 51 | 500 |8452 |8492 | 142k| 1 | 0 |2380 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1663.80/1668.24 c 1668s| 9000 | 9001 | 9506k| 940.4 | 760M | 51 | 500 |8452 |8539 | 143k| 1 | 0 |2392 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1676.77/1681.24 c 1681s| 9100 | 9101 | 9568k| 937.2 | 773M | 51 | 500 |8452 |8488 | 144k| 1 | 0 |2401 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1686.35/1690.80 c 1691s| 9200 | 9201 | 9625k| 933.7 | 775M | 52 | 500 |8452 |8527 | 145k| 1 | 0 |2417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1699.31/1703.83 c 1704s| 9300 | 9301 | 9683k| 930.2 | 800M | 52 | 500 |8452 |8505 | 146k| 1 | 0 |2417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1711.68/1716.26 c 1716s| 9400 | 9401 | 9752k| 928.0 | 800M | 52 | 500 |8452 |8586 | 148k| 1 | 0 |2417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1723.74/1728.37 c 1728s| 9500 | 9501 | 9816k| 925.2 | 801M | 52 | 500 |8452 |8474 | 149k| 1 | 0 |2418 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1734.71/1739.31 c 1739s| 9600 | 9601 | 9884k| 922.9 | 802M | 52 | 500 |8452 |8571 | 150k| 1 | 0 |2438 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1744.38/1749.10 c 1749s| 9700 | 9701 | 9943k| 919.8 | 803M | 52 | 500 |8452 |8632 | 151k| 1 | 0 |2441 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1753.65/1758.35 c 1758s| 9800 | 9801 | 10003k| 916.8 | 803M | 52 | 500 |8452 |8374 | 152k| 1 | 0 |2441 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1766.01/1770.70 c 1771s| 9900 | 9901 | 10065k| 914.1 | 805M | 52 | 500 |8452 |8515 | 153k| 1 | 0 |2451 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1779.77/1784.58 c 1785s| 10000 | 10001 | 10126k| 911.4 | 805M | 52 | 500 |8452 |8575 | 154k| 1 | 0 |2466 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1792.54/1797.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1792.54/1797.35 c 1797s| 10100 | 10101 | 10183k| 908.4 | 807M | 52 | 500 |8452 |8647 | 155k| 1 | 0 |2500 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1806.51/1811.30 c 1811s| 10200 | 10201 | 10243k| 905.6 | 807M | 52 | 500 |8452 |8553 | 156k| 1 | 0 |2527 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1816.18/1821.06 c 1821s| 10300 | 10301 | 10302k| 902.8 | 819M | 52 | 500 |8452 |8582 | 158k| 1 | 0 |2533 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1827.95/1832.89 c 1833s| 10400 | 10401 | 10361k| 900.0 | 819M | 52 | 500 |8452 |8515 | 159k| 1 | 0 |2537 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1842.70/1847.63 c 1848s| 10500 | 10501 | 10427k| 898.0 | 846M | 52 | 500 |8452 |8496 | 160k| 1 | 0 |2554 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1859.65/1864.69 c 1865s| 10600 | 10601 | 10489k| 895.6 | 848M | 52 | 500 |8452 |8614 | 162k| 1 | 0 |2569 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1869.32/1874.33 c 1874s| 10700 | 10701 | 10550k| 893.2 | 848M | 52 | 500 |8452 |8547 | 163k| 1 | 0 |2571 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1884.19/1889.29 c 1889s| 10800 | 10801 | 10610k| 890.7 | 848M | 52 | 500 |8452 |8624 | 164k| 1 | 0 |2587 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1897.65/1902.74 c 1903s| 10900 | 10899 | 10678k| 888.9 | 850M | 52 | 500 |8452 |8570 | 166k| 1 | 0 |2587 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1909.51/1914.63 c 1915s| 11000 | 10999 | 10743k| 887.0 | 852M | 52 | 500 |8452 |8495 | 167k| 1 | 0 |2592 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1923.57/1928.70 c 1929s| 11100 | 11099 | 10813k| 885.4 | 853M | 52 | 500 |8452 |8680 | 168k| 1 | 0 |2594 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1935.14/1940.34 c 1940s| 11200 | 11199 | 10876k| 883.3 | 853M | 52 | 500 |8452 |8567 | 169k| 1 | 0 |2595 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1948.70/1953.98 c 1954s| 11300 | 11299 | 10952k| 882.4 | 853M | 52 | 500 |8452 |8553 | 171k| 1 | 0 |2595 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1962.96/1968.22 c 1968s| 11400 | 11399 | 11014k| 880.3 | 856M | 52 | 500 |8452 |8648 | 172k| 1 | 0 |2600 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1979.01/1984.36 c 1984s| 11500 | 11499 | 11081k| 878.5 | 856M | 52 | 500 |8452 |8570 | 174k| 1 | 0 |2611 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
1994.46/1999.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1994.46/1999.88 c 2000s| 11600 | 11599 | 11150k| 877.1 | 871M | 52 | 500 |8452 |8657 | 175k| 1 | 0 |2634 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2006.14/2011.51 c 2012s| 11700 | 11699 | 11210k| 874.9 | 872M | 52 | 500 |8452 |8495 | 176k| 1 | 0 |2635 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2016.41/2021.86 c 2022s| 11800 | 11799 | 11273k| 873.0 | 873M | 52 | 500 |8452 |8576 | 177k| 1 | 0 |2674 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2026.68/2032.16 c 2032s| 11900 | 11899 | 11331k| 870.7 | 873M | 52 | 500 |8452 |8611 | 178k| 1 | 0 |2685 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2040.24/2045.72 c 2046s| 12000 | 11999 | 11389k| 868.5 | 905M | 52 | 500 |8452 |8679 | 180k| 1 | 0 |2710 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2051.51/2057.04 c 2057s| 12100 | 12099 | 11457k| 867.1 | 905M | 52 | 500 |8452 |8474 | 181k| 1 | 0 |2735 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2064.67/2070.29 c 2070s| 12200 | 12199 | 11526k| 865.7 | 908M | 52 | 500 |8452 |8552 | 182k| 1 | 0 |2743 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2075.64/2081.25 c 2081s| 12300 | 12299 | 11596k| 864.5 | 908M | 52 | 500 |8452 |8585 | 184k| 1 | 0 |2754 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2085.91/2091.54 c 2092s| 12400 | 12399 | 11663k| 863.0 | 908M | 52 | 500 |8452 |8552 | 185k| 1 | 0 |2754 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2097.17/2102.86 c 2103s| 12500 | 12499 | 11718k| 860.7 | 909M | 52 | 500 |8452 |8551 | 186k| 1 | 0 |2758 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2112.73/2118.42 c 2118s| 12600 | 12599 | 11774k| 858.5 | 910M | 52 | 500 |8452 |8630 | 187k| 1 | 0 |2762 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2123.60/2129.30 c 2129s| 12700 | 12699 | 11833k| 856.5 | 910M | 52 | 500 |8452 |8580 | 188k| 6 | 0 |2795 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2135.16/2140.92 c 2141s| 12800 | 12799 | 11901k| 855.3 | 910M | 52 | 500 |8452 |8654 | 189k| 1 | 0 |2800 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2147.93/2153.79 c 2154s| 12900 | 12899 | 11961k| 853.5 | 912M | 52 | 500 |8452 |8534 | 191k| 1 | 0 |2830 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2160.69/2166.56 c 2167s| 13000 | 12999 | 12023k| 851.8 | 912M | 52 | 500 |8452 |8647 | 192k| 1 | 0 |2834 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2171.06/2176.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2171.06/2176.92 c 2177s| 13100 | 13099 | 12083k| 850.0 | 913M | 52 | 500 |8452 |8604 | 193k| 1 | 0 |2859 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2183.23/2189.11 c 2189s| 13200 | 13197 | 12140k| 848.0 | 915M | 52 | 500 |8452 |8508 | 194k| 1 | 0 |2860 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2196.28/2202.21 c 2202s| 13300 | 13297 | 12200k| 846.3 | 916M | 52 | 500 |8452 |8579 | 195k| 1 | 0 |2861 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2205.56/2211.51 c 2212s| 13400 | 13397 | 12256k| 844.3 | 917M | 52 | 500 |8452 |8579 | 196k| 1 | 0 |2864 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2215.53/2221.54 c 2222s| 13500 | 13497 | 12313k| 842.5 | 935M | 52 | 500 |8452 |8671 | 197k| 1 | 0 |2864 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2229.59/2235.61 c 2236s| 13600 | 13597 | 12374k| 840.8 | 935M | 52 | 500 |8452 |8573 | 198k| 1 | 0 |2897 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2242.56/2248.64 c 2249s| 13700 | 13697 | 12439k| 839.5 | 935M | 52 | 500 |8452 |8542 | 200k| 1 | 0 |2897 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2255.12/2261.24 c 2261s| 13800 | 13797 | 12505k| 838.4 | 937M | 52 | 500 |8452 |8504 | 201k| 1 | 0 |2918 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2268.38/2274.51 c 2275s| 13900 | 13897 | 12564k| 836.7 | 975M | 52 | 500 |8452 |8613 | 202k| 1 | 0 |2927 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2281.34/2287.50 c 2287s| 14000 | 13997 | 12632k| 835.7 | 979M | 52 | 500 |8452 |8551 | 203k| 1 | 0 |2930 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2293.20/2299.40 c 2299s| 14100 | 14097 | 12690k| 834.0 | 980M | 52 | 500 |8452 |8510 | 204k| 1 | 0 |2931 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2306.66/2312.96 c 2313s| 14200 | 14197 | 12747k| 832.2 | 981M | 52 | 500 |8452 |8583 | 206k| 1 | 0 |2935 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2321.02/2327.36 c 2327s| 14300 | 14297 | 12805k| 830.6 | 983M | 52 | 500 |8452 |8596 | 207k| 1 | 0 |2961 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2336.87/2343.22 c 2343s| 14400 | 14397 | 12866k| 829.1 | 984M | 52 | 500 |8452 |8608 | 208k| 1 | 0 |2974 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2345.15/2351.59 c 2352s| 14500 | 14497 | 12921k| 827.3 | 985M | 52 | 500 |8452 |8607 | 209k| 1 | 0 |2989 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2356.43/2362.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2356.43/2362.80 c 2363s| 14600 | 14597 | 12972k| 825.4 | 986M | 52 | 500 |8452 |8678 | 210k| 5 | 0 |2990 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2364.71/2371.12 c 2371s| 14700 | 14697 | 13017k| 822.9 | 986M | 53 | 500 |8452 |8648 | 211k| 1 | 0 |3005 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2374.88/2381.30 c 2381s| 14800 | 14797 | 13064k| 820.7 | 988M | 53 | 500 |8452 |8519 | 211k| 1 | 0 |3005 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2386.05/2392.58 c 2393s| 14900 | 14897 | 13114k| 818.7 | 988M | 53 | 500 |8452 |8599 | 212k| 1 | 0 |3006 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2395.92/2402.43 c 2402s| 15000 | 14997 | 13166k| 816.9 | 990M | 53 | 500 |8452 |8629 | 213k| 1 | 0 |3018 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2407.50/2414.09 c 2414s| 15100 | 15097 | 13228k| 815.7 | 990M | 53 | 500 |8452 |8530 | 214k| 1 | 0 |3029 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2417.57/2424.19 c 2424s| 15200 | 15197 | 13287k| 814.3 | 992M | 53 | 500 |8452 |8616 | 215k| 1 | 0 |3030 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2431.03/2437.60 c 2438s| 15300 | 15297 | 13351k| 813.2 | 992M | 53 | 500 |8452 |8615 | 216k| 1 | 0 |3031 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2439.71/2446.33 c 2446s| 15400 | 15397 | 13406k| 811.6 | 994M | 53 | 500 |8452 |8489 | 217k| 1 | 0 |3032 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2451.49/2458.18 c 2458s| 15500 | 15497 | 13462k| 810.1 | 1017M | 53 | 500 |8452 |8597 | 218k| 1 | 0 |3077 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2462.85/2469.58 c 2470s| 15600 | 15597 | 13521k| 808.7 | 1017M | 53 | 500 |8452 |8616 | 220k| 1 | 0 |3098 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2472.03/2478.75 c 2479s| 15700 | 15697 | 13577k| 807.3 | 1017M | 53 | 500 |8452 |8603 | 221k| 7 | 0 |3121 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2483.20/2489.91 c 2490s| 15800 | 15797 | 13635k| 805.9 | 1017M | 53 | 500 |8452 |8591 | 221k| 6 | 0 |3122 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2496.97/2503.77 c 2504s| 15900 | 15895 | 13690k| 804.4 | 1019M | 53 | 500 |8452 |8666 | 222k| 1 | 0 |3139 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2505.44/2512.26 c 2512s| 16000 | 15995 | 13740k| 802.6 | 1020M | 53 | 500 |8452 |8551 | 223k| 1 | 0 |3143 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2518.71/2525.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2518.71/2525.52 c 2526s| 16100 | 16095 | 13807k| 801.8 | 1067M | 53 | 500 |8452 |8463 | 224k| 1 | 0 |3156 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2533.18/2540.03 c 2540s| 16200 | 16193 | 13865k| 800.6 | 1068M | 53 | 500 |8452 |8665 | 226k| 1 | 0 |3157 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2541.05/2547.96 c 2548s| 16300 | 16293 | 13914k| 798.8 | 1069M | 53 | 500 |8452 |8522 | 226k| 1 | 0 |3160 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2551.43/2558.38 c 2558s| 16400 | 16393 | 13968k| 797.3 | 1069M | 53 | 500 |8452 |8624 | 227k| 1 | 0 |3162 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2563.49/2570.44 c 2570s| 16500 | 16493 | 14012k| 795.3 | 1071M | 53 | 500 |8452 |8631 | 228k| 1 | 0 |3177 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2575.96/2582.99 c 2583s| 16600 | 16593 | 14070k| 794.0 | 1071M | 53 | 500 |8452 |8628 | 229k| 1 | 0 |3192 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2586.83/2593.80 c 2594s| 16700 | 16693 | 14130k| 792.9 | 1072M | 53 | 500 |8452 |8498 | 230k| 1 | 0 |3192 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2599.40/2606.47 c 2606s| 16800 | 16793 | 14194k| 792.1 | 1072M | 53 | 500 |8452 |8529 | 231k| 1 | 0 |3210 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2609.57/2616.66 c 2617s| 16900 | 16893 | 14241k| 790.3 | 1075M | 53 | 500 |8452 |8488 | 232k| 1 | 0 |3220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2618.85/2625.91 c 2626s| 17000 | 16993 | 14299k| 789.1 | 1076M | 53 | 500 |8452 |8481 | 233k| 1 | 0 |3220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2636.20/2643.35 c 2643s| 17100 | 17093 | 14373k| 788.9 | 1076M | 53 | 500 |8452 |8598 | 235k| 1 | 0 |3220 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2647.87/2655.07 c 2655s| 17200 | 17193 | 14426k| 787.4 | 1077M | 53 | 500 |8452 |8605 | 236k| 7 | 0 |3221 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2662.54/2669.74 c 2670s| 17300 | 17293 | 14484k| 786.3 | 1078M | 53 | 500 |8452 |8534 | 237k| 1 | 0 |3221 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2671.12/2678.37 c 2678s| 17400 | 17391 | 14530k| 784.5 | 1080M | 53 | 500 |8452 |8633 | 238k| 1 | 0 |3237 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2686.68/2693.90 c 2694s| 17500 | 17491 | 14584k| 783.2 | 1080M | 53 | 500 |8452 |8630 | 239k| 1 | 0 |3279 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2698.85/2706.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2698.85/2706.18 c 2706s| 17600 | 17589 | 14629k| 781.4 | 1081M | 53 | 500 |8452 |8491 | 240k| 1 | 0 |3280 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2712.61/2719.91 c 2720s| 17700 | 17689 | 14689k| 780.5 | 1108M | 53 | 500 |8452 |8519 | 242k| 1 | 0 |3282 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2723.48/2730.87 c 2731s| 17800 | 17789 | 14742k| 779.1 | 1108M | 53 | 500 |8452 |8581 | 243k| 1 | 0 |3309 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2734.45/2741.85 c 2742s| 17900 | 17889 | 14794k| 777.7 | 1108M | 53 | 500 |8452 |8573 | 244k| 1 | 0 |3337 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2743.34/2750.79 c 2751s| 18000 | 17989 | 14837k| 775.9 | 1110M | 53 | 500 |8452 |8502 | 244k| 1 | 0 |3379 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2756.71/2764.14 c 2764s| 18100 | 18089 | 14895k| 774.9 | 1110M | 53 | 500 |8452 |8596 | 245k| 1 | 0 |3381 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2763.59/2771.02 c 2771s| 18200 | 18189 | 14934k| 772.9 | 1165M | 53 | 500 |8452 |8496 | 245k| 1 | 0 |3392 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2774.05/2781.55 c 2782s| 18300 | 18289 | 14993k| 772.0 | 1167M | 53 | 500 |8452 |8491 | 246k| 1 | 0 |3403 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2785.22/2792.71 c 2793s| 18400 | 18389 | 15042k| 770.5 | 1167M | 53 | 500 |8452 |8551 | 247k| 5 | 0 |3415 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2795.00/2802.52 c 2803s| 18500 | 18489 | 15099k| 769.5 | 1167M | 53 | 500 |8452 |8592 | 248k| 1 | 0 |3415 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2800.59/2808.16 c 2808s| 18600 | 18589 | 15143k| 767.8 | 1167M | 53 | 500 |8452 |8617 | 249k| 1 | 0 |3416 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2809.66/2817.29 c 2817s| 18700 | 18689 | 15198k| 766.7 | 1167M | 53 | 500 |8452 |8625 | 250k| 1 | 0 |3416 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2822.54/2830.16 c 2830s| 18800 | 18789 | 15253k| 765.6 | 1167M | 53 | 500 |8452 |8555 | 251k| 7 | 0 |3416 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2832.70/2840.32 c 2840s| 18900 | 18889 | 15307k| 764.5 | 1167M | 53 | 500 |8452 |8596 | 252k| 1 | 0 |3417 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2846.37/2854.10 c 2854s| 19000 | 18989 | 15365k| 763.6 | 1168M | 53 | 500 |8452 |8617 | 253k| 1 | 0 |3418 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2857.74/2865.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2857.74/2865.42 c 2865s| 19100 | 19089 | 15423k| 762.6 | 1169M | 53 | 500 |8452 |8575 | 254k| 1 | 0 |3418 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2868.91/2876.69 c 2877s| 19200 | 19187 | 15478k| 761.6 | 1169M | 53 | 500 |8452 |8601 | 255k| 1 | 0 |3419 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2880.48/2888.22 c 2888s| 19300 | 19285 | 15531k| 760.5 | 1170M | 53 | 500 |8452 |8617 | 256k| 1 | 0 |3419 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2894.15/2901.91 c 2902s| 19400 | 19385 | 15584k| 759.3 | 1172M | 53 | 500 |8452 |8634 | 257k| 1 | 0 |3420 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2900.34/2908.13 c 2908s| 19500 | 19485 | 15625k| 757.7 | 1172M | 53 | 500 |8452 |8564 | 258k| 1 | 0 |3421 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2909.31/2917.17 c 2917s| 19600 | 19585 | 15669k| 756.1 | 1172M | 53 | 500 |8452 |8556 | 258k| 1 | 0 |3421 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2922.18/2930.06 c 2930s| 19700 | 19685 | 15726k| 755.2 | 1173M | 53 | 500 |8452 |8612 | 259k| 1 | 0 |3422 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2932.15/2940.07 c 2940s| 19800 | 19785 | 15781k| 754.2 | 1173M | 53 | 500 |8452 |8520 | 260k| 1 | 0 |3437 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2943.61/2951.54 c 2952s| 19900 | 19885 | 15840k| 753.4 | 1175M | 53 | 500 |8452 |8625 | 261k| 1 | 0 |3470 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2955.08/2963.06 c 2963s| 20000 | 19985 | 15895k| 752.5 | 1177M | 53 | 500 |8452 |8506 | 262k| 1 | 0 |3497 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2973.03/2981.08 c 2981s| 20100 | 20083 | 15946k| 751.3 | 1178M | 53 | 500 |8452 |8589 | 263k| 1 | 0 |3499 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2986.38/2994.43 c 2994s| 20200 | 20183 | 15988k| 749.8 | 1179M | 53 | 500 |8452 |8569 | 264k| 1 | 0 |3513 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
2997.45/3005.50 c 3006s| 20300 | 20283 | 16040k| 748.7 | 1180M | 53 | 500 |8452 |8628 | 265k| 1 | 0 |3515 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3011.71/3019.87 c 3020s| 20400 | 20383 | 16095k| 747.8 | 1212M | 53 | 500 |8452 |8712 | 266k| 8 | 0 |3526 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3023.08/3031.21 c 3031s| 20500 | 20483 | 16152k| 746.9 | 1212M | 53 | 500 |8452 |8629 | 267k| 1 | 0 |3526 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3034.05/3042.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3034.05/3042.23 c 3042s| 20600 | 20583 | 16206k| 746.0 | 1214M | 53 | 500 |8452 |8616 | 268k| 7 | 0 |3534 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3044.62/3052.81 c 3053s| 20700 | 20681 | 16251k| 744.6 | 1217M | 53 | 500 |8452 |8589 | 269k| 1 | 0 |3537 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3055.89/3064.11 c 3064s| 20800 | 20781 | 16306k| 743.7 | 1217M | 53 | 500 |8452 |8555 | 270k| 1 | 0 |3542 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3065.26/3073.58 c 3074s| 20900 | 20879 | 16356k| 742.6 | 1217M | 53 | 500 |8452 |8537 | 271k| 1 | 0 |3542 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3076.32/3084.60 c 3085s| 21000 | 20979 | 16411k| 741.8 | 1218M | 53 | 500 |8452 |8541 | 272k| 1 | 0 |3542 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3089.39/3097.80 c 3098s| 21100 | 21077 | 16461k| 740.7 | 1285M | 53 | 500 |8452 |8560 | 273k| 1 | 0 |3548 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3101.35/3109.72 c 3110s| 21200 | 21177 | 16509k| 739.5 | 1288M | 53 | 500 |8452 |8579 | 274k| 7 | 0 |3549 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3111.32/3119.73 c 3120s| 21300 | 21277 | 16561k| 738.5 | 1288M | 53 | 500 |8452 |8632 | 275k| 1 | 0 |3549 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3123.59/3132.08 c 3132s| 21400 | 21377 | 16614k| 737.6 | 1291M | 53 | 500 |8452 |8638 | 276k| 1 | 0 |3553 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3136.76/3145.22 c 3145s| 21500 | 21477 | 16670k| 736.8 | 1292M | 53 | 500 |8452 |8576 | 277k| 1 | 0 |3553 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3151.31/3159.85 c 3160s| 21600 | 21573 | 16717k| 735.6 | 1292M | 53 | 500 |8452 |8573 | 278k| 1 | 0 |3554 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3159.98/3168.55 c 3169s| 21700 | 21673 | 16757k| 734.1 | 1294M | 53 | 500 |8452 |8548 | 279k| 1 | 0 |3555 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3171.74/3180.38 c 3180s| 21800 | 21765 | 16817k| 733.5 | 1296M | 53 | 500 |8452 |8602 | 280k| 1 | 0 |3557 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3186.10/3194.70 c 3195s| 21900 | 21865 | 16889k| 733.5 | 1299M | 53 | 500 |8452 |8666 | 281k| 2 | 0 |3563 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3201.96/3210.61 c 3211s| 22000 | 21961 | 16955k| 733.2 | 1299M | 53 | 500 |8452 |8591 | 282k| 1 | 0 |3591 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3217.62/3226.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3217.62/3226.39 c 3226s| 22100 | 22061 | 17027k| 733.1 | 1299M | 53 | 500 |8452 |8522 | 283k| 1 | 0 |3620 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3232.08/3240.82 c 3241s| 22200 | 22161 | 17103k| 733.2 | 1299M | 53 | 500 |8452 |8581 | 284k| 1 | 0 |3621 |-1.441120e+02 |-7.000000e+01 | 105.87%| unknown
3247.83/3256.60 c 3257s| 22300 | 22261 | 17172k| 733.1 | 1300M | 54 | 500 |8452 |8581 | 285k| 7 | 0 |3637 |-1.439364e+02 |-7.000000e+01 | 105.62%| unknown
3261.59/3270.41 c 3270s| 22400 | 22361 | 17235k| 732.6 | 1303M | 54 | 500 |8452 |8515 | 287k| 1 | 0 |3649 |-1.436477e+02 |-7.000000e+01 | 105.21%| unknown
3273.65/3282.58 c 3283s| 22500 | 22461 | 17300k| 732.3 | 1304M | 54 | 500 |8452 |8615 | 287k| 1 | 0 |3652 |-1.435858e+02 |-7.000000e+01 | 105.12%| unknown
3292.11/3301.09 c 3301s| 22600 | 22557 | 17371k| 732.2 | 1307M | 54 | 500 |8452 |8639 | 289k| 1 | 0 |3658 |-1.434932e+02 |-7.000000e+01 | 104.99%| unknown
3309.06/3318.09 c 3318s| 22700 | 22655 | 17435k| 731.8 | 1308M | 54 | 500 |8452 |8619 | 290k| 8 | 0 |3676 |-1.433977e+02 |-7.000000e+01 | 104.85%| unknown
3325.51/3334.51 c 3335s| 22800 | 22755 | 17515k| 732.1 | 1310M | 54 | 500 |8452 |8649 | 292k| 1 | 0 |3676 |-1.431412e+02 |-7.000000e+01 | 104.49%| unknown
3338.27/3347.33 c 3347s| 22900 | 22855 | 17587k| 732.0 | 1313M | 54 | 500 |8452 |8500 | 293k| 1 | 0 |3678 |-1.431035e+02 |-7.000000e+01 | 104.43%| unknown
3351.53/3360.60 c 3361s| 23000 | 22955 | 17663k| 732.1 | 1313M | 54 | 500 |8452 |8484 | 294k| 1 | 0 |3689 |-1.429827e+02 |-7.000000e+01 | 104.26%| unknown
3366.79/3375.93 c 3376s| 23100 | 23055 | 17729k| 731.8 | 1315M | 54 | 500 |8452 |8636 | 295k| 1 | 0 |3698 |-1.427285e+02 |-7.000000e+01 | 103.90%| unknown
3381.35/3390.52 c 3391s| 23200 | 23155 | 17810k| 732.1 | 1316M | 54 | 500 |8452 |8621 | 297k| 1 | 0 |3701 |-1.425843e+02 |-7.000000e+01 | 103.69%| unknown
3394.91/3404.17 c 3404s| 23300 | 23255 | 17882k| 732.1 | 1318M | 54 | 500 |8452 |8542 | 298k| 1 | 0 |3705 |-1.423904e+02 |-7.000000e+01 | 103.41%| unknown
3408.57/3417.89 c 3418s| 23400 | 23355 | 17944k| 731.6 | 1319M | 54 | 500 |8452 |8670 | 299k| 7 | 0 |3725 |-1.420535e+02 |-7.000000e+01 | 102.93%| unknown
3424.02/3433.35 c 3433s| 23500 | 23455 | 18023k| 731.9 | 1363M | 54 | 500 |8452 |8517 | 301k| 1 | 0 |3725 |-1.418216e+02 |-7.000000e+01 | 102.60%| unknown
3438.97/3448.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3438.97/3448.34 c 3448s| 23600 | 23555 | 18095k| 731.8 | 1363M | 54 | 500 |8452 |8611 | 302k| 1 | 0 |3727 |-1.417598e+02 |-7.000000e+01 | 102.51%| unknown
3453.23/3462.64 c 3463s| 23700 | 23655 | 18167k| 731.8 | 1367M | 54 | 500 |8452 |8658 | 303k| 8 | 0 |3727 |-1.416627e+02 |-7.000000e+01 | 102.38%| unknown
3469.99/3479.47 c 3479s| 23800 | 23753 | 18244k| 731.9 | 1374M | 54 | 500 |8452 |8637 | 304k| 1 | 0 |3735 |-1.413435e+02 |-7.000000e+01 | 101.92%| unknown
3482.35/3491.88 c 3492s| 23900 | 23853 | 18305k| 731.5 | 1380M | 54 | 500 |8452 |8495 | 305k| 1 | 0 |3745 |-1.411954e+02 |-7.000000e+01 | 101.71%| unknown
3495.71/3505.24 c 3505s| 24000 | 23953 | 18363k| 730.8 | 1389M | 54 | 500 |8452 |8650 | 306k| 3 | 0 |3749 |-1.410249e+02 |-7.000000e+01 | 101.46%| unknown
3506.28/3515.80 c 3516s| 24100 | 24053 | 18434k| 730.7 | 1389M | 54 | 500 |8452 |8566 | 307k| 1 | 0 |3750 |-1.409212e+02 |-7.000000e+01 | 101.32%| unknown
3519.94/3529.51 c 3530s| 24200 | 24153 | 18503k| 730.6 | 1469M | 54 | 500 |8452 |8502 | 308k| 1 | 0 |3752 |-1.406543e+02 |-7.000000e+01 | 100.93%| unknown
3535.51/3545.19 c 3545s| 24300 | 24253 | 18570k| 730.4 | 1470M | 54 | 500 |8452 |8601 | 309k| 1 | 0 |3756 |-1.405513e+02 |-7.000000e+01 | 100.79%| unknown
3551.96/3561.61 c 3562s| 24400 | 24353 | 18656k| 730.9 | 1470M | 54 | 500 |8452 |8602 | 311k| 1 | 0 |3770 |-1.404856e+02 |-7.000000e+01 | 100.69%| unknown
3563.33/3573.07 c 3573s| 24500 | 24451 | 18711k| 730.2 | 1472M | 54 | 500 |8452 |8658 | 312k| 8 | 0 |3781 |-1.403856e+02 |-7.000000e+01 | 100.55%| unknown
3574.79/3584.56 c 3585s| 24600 | 24551 | 18770k| 729.6 | 1472M | 54 | 500 |8452 |8573 | 312k| 1 | 0 |3782 |-1.403094e+02 |-7.000000e+01 | 100.44%| unknown
3587.15/3597.00 c
3587.15/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.15/3597.00 c Solving Time (sec) : 3597.00
3587.15/3597.00 c Solving Nodes : 24690 (total of 25739 nodes in 2 runs)
3587.15/3597.00 c Primal Bound : -7.00000000000000e+01 (480 solutions)
3587.15/3597.00 c Dual Bound : -1.40255601740471e+02
3587.15/3597.00 c Gap : 100.37 %
3587.26/3597.00 s SATISFIABLE
3587.26/3597.01 v x500 x499 x498 -x497 x496 x495 -x494 -x493 -x492 x491 -x490 -x489 x488 -x487 x486 -x485 -x484 x483 -x482 -x481 -x480 x479 -x478
3587.26/3597.01 v -x477 x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 x464 x463 -x462 -x461 x460 x459 x458 x457 -x456
3587.26/3597.01 v -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 x436 -x435 -x434
3587.26/3597.01 v -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
3587.26/3597.01 v -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 x400 x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
3587.26/3597.01 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
3587.26/3597.01 v -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 -x348
3587.26/3597.01 v x347 -x346 x345 -x344 -x343 x342 -x341 -x340 x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
3587.26/3597.01 v -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 x307 x306 -x305
3587.26/3597.01 v -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
3587.26/3597.01 v -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 x271 -x270 x269 -x268 -x267 x266 -x265 -x264 -x263 -x262
3587.26/3597.01 v -x261 -x260 x259 x258 x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241
3587.26/3597.01 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
3587.26/3597.01 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199
3587.26/3597.01 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 x181 -x180 -x179 -x178
3587.26/3597.01 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
3587.26/3597.01 v -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
3587.26/3597.01 v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
3587.26/3597.01 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
3587.26/3597.01 v -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
3587.26/3597.01 v -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42
3587.26/3597.01 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
3587.26/3597.01 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3587.26/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.26/3597.01 c Total Time : 3597.00
3587.26/3597.01 c solving : 3597.00
3587.26/3597.01 c presolving : 0.19 (included in solving)
3587.26/3597.01 c reading : 0.02 (included in solving)
3587.26/3597.01 c copying : 0.21 (21 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.26/3597.01 c Original Problem :
3587.26/3597.01 c Problem name : HOME/instance-4459808-1721939463.opb
3587.26/3597.01 c Variables : 8377 (500 binary, 0 integer, 7877 implicit integer, 0 continuous)
3587.26/3597.01 c Constraints : 8877 initial, 8877 maximal
3587.26/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.26/3597.01 c Presolved Problem :
3587.26/3597.01 c Problem name : t_HOME/instance-4459808-1721939463.opb
3587.26/3597.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.26/3597.01 c Constraints : 8452 initial, 8452 maximal
3587.26/3597.01 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.26/3597.01 c Nonzeros : 17598 constraint, 17591 clique table
3587.26/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.26/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c setppc : 0.02 0.00 11 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c and : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c linear : 0.02 0.00 3 7877 0 0 7877 0 500 0 0 0
3587.26/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 500 0 0 0
3587.26/3597.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.26/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.26/3597.01 c benderslp : 0 0 0 0 25718 0 0 14765 0 0 0 0 0 0 0
3587.26/3597.01 c integral : 0 0 0 0 25718 0 0 14765 0 0 5 0 0 0 51426
3587.26/3597.01 c knapsack : 1 1 33 88561 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c setppc : 8451 8451 122 266797 0 0 0 14758 0 0 479396 55 37 0 0
3587.26/3597.01 c benders : 0 0 0 0 0 0 0 742 0 0 0 0 0 0 0
3587.26/3597.01 c fixedvar : 0 0 0 0 0 0 0 742 0 0 0 0 0 0 0
3587.26/3597.01 c countsols : 0 0 0 0 0 0 0 742 0 0 0 0 0 0 0
3587.26/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.26/3597.01 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c integral : 208.48 0.00 0.00 0.00 208.47 0.00 0.00 0.01 0.00 0.00
3587.26/3597.01 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c setppc : 4.53 0.00 0.03 3.51 0.00 0.00 0.00 0.68 0.00 0.31
3587.26/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c fixedvar : 0.28 0.00 0.00 0.00 0.00 0.00 0.00 0.28 0.00 0.00
3587.26/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.26/3597.01 c dualfix : 3 0 0 0
3587.26/3597.01 c genvbounds : 0 0 0 0
3587.26/3597.01 c nlobbt : 0 0 0 0
3587.26/3597.01 c obbt : 0 0 0 0
3587.26/3597.01 c probing : 0 0 0 0
3587.26/3597.01 c pseudoobj : 72944 0 0 0
3587.26/3597.01 c redcost : 516 0 0 18
3587.26/3597.01 c rootredcost : 2 0 0 0
3587.26/3597.01 c symmetry : 0 0 0 0
3587.26/3597.01 c vbounds : 77281 0 0 0
3587.26/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.26/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.00
3587.26/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.26/3597.01 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3587.26/3597.01 c pseudoobj : 0.17 0.00 0.00 0.17 0.00 0.00
3587.26/3597.01 c redcost : 0.09 0.00 0.00 0.09 0.00 0.00
3587.26/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.26/3597.01 c symmetry : 0.06 0.00 0.00 0.05 0.00 0.00
3587.26/3597.01 c vbounds : 0.07 0.00 0.00 0.07 0.00 0.01
3587.26/3597.01 c Symmetry :
3587.26/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.26/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.26/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.26/3597.01 c shadow tree time : 0.00 s
3587.26/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3587.26/3597.01 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.26/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.26/3597.01 c bound exceed. LP : 4.54 12278 0 - 0 0.0 0 0.0 0 0.0 27475
3587.26/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.26/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.26/3597.01 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3587.26/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.26/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.26/3597.01 c cut pool : 28.44 - 27382 241 - - 387259 1159944 - - - - - (maximal pool size: 4270)
3587.26/3597.01 c aggregation : 185.07 0.00 11678 122 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.26/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.26/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.26/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c clique : 0.42 0.00 122 122 0 0 1103 27235 0 12570 12570 0 0
3587.26/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c gomory : 885.22 0.00 7366 20 0 0 349974 442897 200 28206 28204 2 0
3587.26/3597.01 c > gomorymi : - - - - - - - 166058 110 1204 1203 1 -
3587.26/3597.01 c > strongcg : - - - - - - - 276839 90 27002 27001 1 -
3587.26/3597.01 c impliedbounds : 1.80 0.00 11679 122 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c minor : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c multilinear : 0.00 0.00 257 122 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c rapidlearning : 0.22 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c rlt : 0.01 0.00 1493 20 0 0 0 0 0 0 0 0 0
3587.26/3597.01 c zerohalf : 26.03 0.00 7385 40 0 0 36389 689812 7 292150 292146 4 0
3587.26/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.26/3597.01 c hybrid : 1.69 0.00 19665 121 332963 0 827243 1690 0 9552
3587.26/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.26/3597.01 c problem variables: 0.00 - 0 0
3587.26/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.26/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c relpscost : 208.45 0.00 25718 0 0 0 5 0 0 51426
3587.26/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.26/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.26/3597.01 c LP solutions : 0.00 - - 0 0
3587.26/3597.01 c relax solutions : 0.00 - - 0 0
3587.26/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.26/3597.01 c strong branching : 0.22 - - 2 0
3587.26/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c adaptivediving : 5.60 0.00 65 1 0
3587.26/3597.01 c alns : 0.12 0.00 5 0 0
3587.26/3597.01 c bound : 0.00 0.00 0 0 0
3587.26/3597.01 c clique : 0.02 0.00 1 1 1
3587.26/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c completesol : 0.00 0.00 0 0 0
3587.26/3597.01 c conflictdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c crossover : 0.25 0.00 6 1 0
3587.26/3597.01 c dins : 0.00 0.00 0 0 0
3587.26/3597.01 c distributiondivin: 113.89 0.00 614 0 0
3587.26/3597.01 c dps : 0.00 0.00 0 0 0
3587.26/3597.01 c dualval : 0.00 0.00 0 0 0
3587.26/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.26/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.26/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.26/3597.01 c fracdiving : 33.42 0.00 614 0 0
3587.26/3597.01 c gins : 0.02 0.00 0 0 0
3587.26/3597.01 c guideddiving : 30.42 0.00 614 3 0
3587.26/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c indicator : 0.02 0.00 0 0 0
3587.26/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.26/3597.01 c indoneopt : 0.01 0.00 0 0 0
3587.26/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.26/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.26/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.26/3597.01 c linesearchdiving : 31.40 0.00 614 0 0
3587.26/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.26/3597.01 c locks : 0.00 0.00 1 1 1
3587.26/3597.01 c lpface : 0.01 0.00 0 0 0
3587.26/3597.01 c mpec : 0.00 0.00 0 0 0
3587.26/3597.01 c multistart : 0.00 0.00 0 0 0
3587.26/3597.01 c mutation : 0.00 0.00 0 0 0
3587.26/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.26/3597.01 c objpscostdiving : 71.07 0.00 308 250 0
3587.26/3597.01 c octane : 0.00 0.00 0 0 0
3587.26/3597.01 c ofins : 0.01 0.00 0 0 0
3587.26/3597.01 c oneopt : 0.03 0.00 1 1 1
3587.26/3597.01 c padm : 0.00 0.00 0 0 0
3587.26/3597.01 c proximity : 0.00 0.00 0 0 0
3587.26/3597.01 c pscostdiving : 32.65 0.00 614 1 0
3587.26/3597.01 c randrounding : 1.56 0.00 14143 92 0
3587.26/3597.01 c rens : 0.00 0.00 0 0 0
3587.26/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.26/3597.01 c repair : 0.00 0.00 0 0 0
3587.26/3597.01 c rins : 5.35 0.00 10 5 0
3587.26/3597.01 c rootsoldiving : 22.62 0.00 308 88 0
3587.26/3597.01 c rounding : 3.54 0.00 2902 0 0
3587.26/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.26/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.26/3597.01 c shifting : 2.83 0.00 2012 0 0
3587.26/3597.01 c simplerounding : 0.85 0.00 45383 4 0
3587.26/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.26/3597.01 c subnlp : 0.03 0.00 0 0 0
3587.26/3597.01 c trivial : 0.00 0.00 4 1 1
3587.26/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.26/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.26/3597.01 c trysol : 0.01 0.00 0 0 0
3587.26/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.26/3597.01 c undercover : 0.00 0.00 0 0 0
3587.26/3597.01 c vbounds : 0.02 0.00 2 0 0
3587.26/3597.01 c veclendiving : 22.74 0.00 614 0 0
3587.26/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.26/3597.01 c zirounding : 0.73 0.00 1451 29 0
3587.26/3597.01 c other solutions : - - - 0 -
3587.26/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.26/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.26/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.26/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.26/3597.01 c primal LP : 5.45 6724 0 0.00 0.00 5.45 6724
3587.26/3597.01 c dual LP : 1834.06 45418 16001533 352.41 8724.65 0.01 12
3587.26/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.26/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.26/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.26/3597.01 c diving/probing LP: 268.09 32136 2831037 88.10 10559.93
3587.26/3597.01 c strong branching : 196.76 3788 1599865 422.35 8130.97 - - 1471
3587.26/3597.01 c (at root node) : - 55 49068 892.15 -
3587.26/3597.01 c conflict analysis: 2.49 2779 27475 9.89 11017.55
3587.26/3597.01 c B&B Tree :
3587.26/3597.01 c number of runs : 2
3587.26/3597.01 c nodes : 24690 (24664 internal, 26 leaves)
3587.26/3597.01 c feasible leaves : 0
3587.26/3597.01 c infeas. leaves : 0
3587.26/3597.01 c objective leaves : 25
3587.26/3597.01 c nodes (total) : 25739 (25713 internal, 26 leaves)
3587.26/3597.01 c nodes left : 24640
3587.26/3597.01 c max depth : 54
3587.26/3597.01 c max depth (total): 54
3587.26/3597.01 c backtracks : 4343 (17.6%)
3587.26/3597.01 c early backtracks : 0 (0.0%)
3587.26/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.26/3597.01 c delayed cutoffs : 0
3587.26/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.26/3597.01 c avg switch length: 7.11
3587.26/3597.01 c switching time : 11.76
3587.26/3597.01 c Root Node :
3587.26/3597.01 c First LP value : -2.50000000000000e+02
3587.26/3597.01 c First LP Iters : 544 (41007.09 Iter/sec)
3587.26/3597.01 c First LP Time : 0.01
3587.26/3597.01 c Final Dual Bound : -1.44111975219797e+02
3587.26/3597.01 c Final Root Iters : 57483
3587.26/3597.01 c Root LP Estimate : -3.04109505291970e+01
3587.26/3597.01 c Solution :
3587.26/3597.01 c Solutions found : 480 (4 improvements)
3587.26/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
3587.26/3597.01 c Gap First Sol. : infinite
3587.26/3597.01 c Gap Last Sol. : 614.29 %
3587.26/3597.01 c Primal Bound : -7.00000000000000e+01 (in run 1, after 1 nodes, 0.18 seconds, depth 0, found by <oneopt>)
3587.26/3597.01 c Dual Bound : -1.40255601740471e+02
3587.26/3597.01 c Gap : 100.37 %
3587.26/3597.01 c Integrals : Total Avg%
3587.26/3597.01 c primal-dual : 184899.30 51.40
3587.26/3597.01 c primal-ref : - - (not evaluated)
3587.26/3597.01 c dual-ref : - - (not evaluated)
3587.45/3597.21 c Time complete: 3587.48.
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: 63931 MiB (60493 MiB free)
memory of node 1: 64510 MiB (62299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459808-1721939463/watcher-4459808-1721939463 -o /tmp/evaluation-result-4459808-1721939463/solver-4459808-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721939462-253731 --watchdog 3760 pbscip -f HOME/instance-4459808-1721939463.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=253767, runsolver pid=253764
[startup+0.100184 s]*
/proc/loadavg: 0.11 0.11 0.20 5/256 253783
/proc/meminfo: memFree=125653908/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=98020 memory=57672 CPUtime=0.09 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 11175 0 0 0 8 1 0 0 20 0 1 0 30475524 100372480 14418 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 24505 14418 3654 3540 0 12762 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98020 KiB
Current children cumulated memory: 57672 KiB
[startup+0.205816 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125591712/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=108716 memory=67984 CPUtime=0.19 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 14133 0 0 0 18 1 0 0 20 0 1 0 30475524 111325184 16996 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 27179 16996 3894 3540 0 15436 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 108716 KiB
Current children cumulated memory: 67984 KiB
[startup+0.30605 s]*
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125539628/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=112228 memory=70600 CPUtime=0.29 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 14896 0 0 0 28 1 0 0 20 0 1 0 30475524 114921472 17650 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 28057 17650 3910 3540 0 16314 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112228 KiB
Current children cumulated memory: 70600 KiB
[startup+0.70017 s]
/proc/loadavg: 0.11 0.11 0.20 5/262 253793
/proc/meminfo: memFree=125515980/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=115896 memory=72712 CPUtime=0.68 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 15432 0 0 0 67 1 0 0 20 0 1 0 30475524 118677504 18178 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 28974 18178 3910 3540 0 17231 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115896 KiB
Current children cumulated memory: 72712 KiB
[startup+1.50019 s]
/proc/loadavg: 0.42 0.18 0.22 5/262 253793
/proc/meminfo: memFree=125493944/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=125092 memory=79576 CPUtime=1.49 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 17181 0 0 0 147 2 0 0 20 0 1 0 30475524 128094208 19894 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 31273 19894 3910 3540 0 19530 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 125092 KiB
Current children cumulated memory: 79576 KiB
[startup+3.10561 s]
/proc/loadavg: 0.42 0.18 0.22 5/256 253875
/proc/meminfo: memFree=125468716/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=141896 memory=92776 CPUtime=3.08 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 20442 0 0 0 306 2 0 0 20 0 1 0 30475524 145301504 23194 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 35474 23194 3910 3540 0 23731 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 141896 KiB
Current children cumulated memory: 92776 KiB
[startup+6.30017 s]
/proc/loadavg: 0.63 0.22 0.24 4/255 253918
/proc/meminfo: memFree=125479532/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=151508 memory=95152 CPUtime=6.27 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 21053 0 0 0 625 2 0 0 20 0 1 0 30475524 155144192 23788 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 37877 23788 3910 3540 0 26134 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 151508 KiB
Current children cumulated memory: 95152 KiB
[startup+12.7002 s]
/proc/loadavg: 0.90 0.29 0.26 4/255 253919
/proc/meminfo: memFree=125424348/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=162212 memory=106152 CPUtime=12.65 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 24689 0 0 0 1262 3 0 0 20 0 1 0 30475524 166105088 26538 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 40553 26538 3926 3540 0 28810 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 162212 KiB
Current children cumulated memory: 106152 KiB
[startup+25.5002 s]
/proc/loadavg: 1.14 0.36 0.29 3/248 253953
/proc/meminfo: memFree=125418892/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=162212 memory=106152 CPUtime=25.42 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 24689 0 0 0 2539 3 0 0 20 0 1 0 30475524 166105088 26538 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 40553 26538 3926 3540 0 28810 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 162212 KiB
Current children cumulated memory: 106152 KiB
[startup+51.1055 s]
/proc/loadavg: 1.48 0.52 0.34 3/248 253956
/proc/meminfo: memFree=125320880/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=204748 memory=124288 CPUtime=50.97 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 29318 0 0 0 5093 4 0 0 20 0 1 0 30475524 209661952 31072 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 51187 31072 3926 3540 0 39444 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 204748 KiB
Current children cumulated memory: 124288 KiB
[startup+102.3 s]
/proc/loadavg: 1.89 0.78 0.44 3/248 253965
/proc/meminfo: memFree=125207508/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=344752 memory=198768 CPUtime=102.04 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 47967 0 0 0 10192 12 0 0 20 0 1 0 30475524 353026048 49692 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 86188 49692 3941 3540 0 74445 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 344752 KiB
Current children cumulated memory: 198768 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 1.02 0.55 3/246 253977
/proc/meminfo: memFree=125181916/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=391024 memory=220708 CPUtime=161.9 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 54308 0 0 0 16174 16 0 0 20 0 1 0 30475524 400408576 55177 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 97756 55177 4005 3540 0 86013 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 391024 KiB
Current children cumulated memory: 220708 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 1.22 0.64 3/246 253987
/proc/meminfo: memFree=125152192/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=422116 memory=247000 CPUtime=221.75 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 60719 0 0 0 22155 20 0 0 20 0 1 0 30475524 432246784 61750 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 105529 61750 4021 3540 0 93786 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 422116 KiB
Current children cumulated memory: 247000 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 1.38 0.74 3/242 253997
/proc/meminfo: memFree=125090668/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=449756 memory=307604 CPUtime=281.59 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 67315 0 0 0 28138 21 0 0 20 0 1 0 30475524 460550144 76901 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 112439 76901 4021 3540 0 100696 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 449756 KiB
Current children cumulated memory: 307604 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 1.51 0.82 3/241 254007
/proc/meminfo: memFree=124987632/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=523788 memory=409504 CPUtime=341.44 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 83001 0 0 0 34120 24 0 0 20 0 1 0 30475524 536358912 102376 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 130947 102376 4021 3540 0 119204 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 523788 KiB
Current children cumulated memory: 409504 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.62 0.91 3/241 254019
/proc/meminfo: memFree=124933836/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=528528 memory=462812 CPUtime=401.3 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 83399 0 0 0 40106 24 0 0 20 0 1 0 30475524 541212672 115703 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 132132 115703 4021 3540 0 120389 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 528528 KiB
Current children cumulated memory: 462812 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 1.70 0.98 3/241 254029
/proc/meminfo: memFree=124910912/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=541920 memory=484728 CPUtime=461.14 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 84381 0 0 0 46090 24 0 0 20 0 1 0 30475524 554926080 121182 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 135480 121182 4021 3540 0 123737 0
################
# More data... #
################
/proc/loadavg: 2.15 2.13 2.07 3/243 255109
/proc/meminfo: memFree=123906068/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1343768 memory=1236156 CPUtime=3153.8 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 183310 0 0 0 315330 50 0 0 20 0 1 0 30475524 1376018432 309039 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 335942 309039 4021 3540 0 324199 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1343768 KiB
Current children cumulated memory: 1236156 KiB
[startup+3222.3 s]
/proc/loadavg: 2.11 2.12 2.07 3/243 255119
/proc/meminfo: memFree=123889964/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1343768 memory=1251624 CPUtime=3213.63 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 183987 0 0 0 321312 51 0 0 20 0 1 0 30475524 1376018432 312906 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 335942 312906 4021 3540 0 324199 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 1343768 KiB
Current children cumulated memory: 1251624 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.11 2.07 3/243 255516
/proc/meminfo: memFree=123974580/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1343768 memory=1266020 CPUtime=3273.45 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 184395 0 0 0 327294 51 0 0 20 0 1 0 30475524 1376018432 316505 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 335942 316505 4021 3540 0 324199 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1343768 KiB
Current children cumulated memory: 1266020 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/243 255526
/proc/meminfo: memFree=123955380/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1348952 memory=1284416 CPUtime=3333.28 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 185800 0 0 0 333276 52 0 0 20 0 1 0 30475524 1381326848 321104 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 337238 321104 4021 3540 0 325495 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 1348952 KiB
Current children cumulated memory: 1284416 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/243 255538
/proc/meminfo: memFree=123942024/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1353828 memory=1297060 CPUtime=3393.11 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 187849 0 0 0 339258 53 0 0 20 0 1 0 30475524 1386319872 324265 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 338457 324265 4021 3540 0 326714 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1353828 KiB
Current children cumulated memory: 1297060 KiB
[startup+3462.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/246 255719
/proc/meminfo: memFree=123925620/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1402332 memory=1312608 CPUtime=3452.93 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 190075 0 0 0 345240 53 0 0 20 0 1 0 30475524 1435987968 328152 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 350583 328152 4021 3540 0 338840 0
Current children cumulated CPU time: 3452.93 s
Current children cumulated vsize: 1402332 KiB
Current children cumulated memory: 1312608 KiB
[startup+3522.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/246 255730
/proc/meminfo: memFree=123912028/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1423808 memory=1333448 CPUtime=3512.76 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 193609 0 0 0 351222 54 0 0 20 0 1 0 30475524 1457979392 333362 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 355952 333362 4021 3540 0 344209 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 1423808 KiB
Current children cumulated memory: 1333448 KiB
[startup+3582.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123886304/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350212 CPUtime=3572.6 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195239 0 0 0 357205 55 0 0 20 0 1 0 30475524 1540435968 337553 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337553 4021 3540 0 364340 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350212 KiB
[startup+3597.23 s]
# the end of solver process 253767 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.92 s, system=0.570127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.06 2.08 2.07 3/248 255802
/proc/meminfo: memFree=123876324/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350212 CPUtime=3574.29 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195245 0 0 0 357374 55 0 0 20 0 1 0 30475524 1540435968 337553 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337553 4021 3540 0 364340 0
Current children cumulated CPU time: 3574.29 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350212 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.10 2.07 3/248 255803
/proc/meminfo: memFree=123894352/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350212 CPUtime=3580.67 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195258 0 0 0 358012 55 0 0 20 0 1 0 30475524 1540435968 337553 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337553 4021 3540 0 364340 0
Current children cumulated CPU time: 3580.67 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350212 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255803
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350260 CPUtime=3583.86 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195328 0 0 0 358331 55 0 0 20 0 1 0 30475524 1540435968 337565 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337565 4021 3540 0 364340 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350260 KiB
[startup+3595.2 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894324/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350260 CPUtime=3585.46 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195328 0 0 0 358491 55 0 0 20 0 1 0 30475524 1540435968 337565 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337565 4021 3540 0 364340 0
Current children cumulated CPU time: 3585.46 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350260 KiB
[startup+3596 s]*
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350260 CPUtime=3586.26 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195328 0 0 0 358571 55 0 0 20 0 1 0 30475524 1540435968 337565 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337565 4021 3540 0 364340 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350260 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894240/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1504332 memory=1350264 CPUtime=3587.05 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195330 0 0 0 358650 55 0 0 20 0 1 0 30475524 1540435968 337566 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 376083 337566 4021 3540 0 364340 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1350264 KiB
[startup+3597.2 s]
/proc/loadavg: 2.11 2.09 2.07 3/248 255805
/proc/meminfo: memFree=123894268/131524600 swapFree=131053920/131071996
[pid=253767] ppid=253764 vsize=1498948 memory=1344968 CPUtime=3587.45 cores=1,3
/proc/253767/stat : 253767 (pbscip) R 253764 253767 253719 0 -1 4194304 195360 0 0 0 358690 55 0 0 20 0 1 0 30475524 1534922752 336242 134679101440 4194304 18693293 140728833944720 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 27287552 140728833946627 140728833946726 140728833946726 140728833953742 0
/proc/253767/statm: 374737 336242 4021 3540 0 362994 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 1498948 KiB
Current children cumulated memory: 1344968 KiB
Child status: 0
Real time (s): 3597.23
CPU time (s): 3587.49
CPU user time (s): 3586.92
CPU system time (s): 0.570127
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 1504332
Max. memory (cumulated for all children) (KiB): 1350264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 0.570127
maximum resident set size= 1350264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 3510
# summary of solver processes directly reported to runsolver:
# pid: 253767
# total CPU time (s): 3587.49
# total CPU user time (s): 3586.92
# total CPU system time (s): 0.570127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19636 second user time and 15.6217 second system time
The end