Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -70 | 3587.49 | 3597.23 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb |
| MD5SUM | 5f642955075bb0dd80aabe9a80ec63b9 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -78 |
| Best CPU time to get the best result obtained on this benchmark | 71244.4 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 49 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 15754 |
| Sum of products size (including duplicates) | 31508 |
| Number of different products | 7877 |
| Sum of products size | 15754 |
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.
OK -70
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
Begin job on nodeC023 at 2024-07-25 22:31:03 IDJOB=4459808 IDBENCH=148578 IDSOLVER=3059 FILE ID=nodeC023/4459808-1721939463 RUNJOBID= nodeC023-1721939462-253731 SLURM_JOB_ID= 8247244 Free space on /tmp= 890064 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER 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 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5f642955075bb0dd80aabe9a80ec63b9 RANDOM SEED=1503976896 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.518 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.851 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3659.397 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3615.698 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.776 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3629.712 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3635.689 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3692.344 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125759672 kB MemAvailable: 129684020 kB Buffers: 330016 kB Cached: 4387048 kB SwapCached: 208 kB Active: 1644992 kB Inactive: 3446708 kB Active(anon): 2316 kB Inactive(anon): 424476 kB Active(file): 1642676 kB Inactive(file): 3022232 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 37676 kB Writeback: 0 kB AnonPages: 374344 kB Mapped: 105604 kB Shmem: 52148 kB KReclaimable: 198172 kB Slab: 315648 kB SReclaimable: 198172 kB SUnreclaim: 117476 kB KernelStack: 3984 kB PageTables: 9964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 745132 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 410324 kB DirectMap2M: 61229056 kB DirectMap1G: 74448896 kB Free space on /tmp at the end= 890044 MiB End job on nodeC023 at 2024-07-25 23:31:00