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 | -137 | 3587.85 | 3597.32 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | 6e1b2ff6c1557355456038edfbaaf1c1 |
| 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 | -156 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| 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 | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
0.00/0.11 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.11 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.11 c
0.00/0.11 c user parameter file <scip.set> not found - using default parameters
0.00/0.11 c reading problem <HOME/instance-4498178-1751268244.opb>
0.12/0.26 c original problem has 16796 variables (1000 bin, 0 int, 15796 impl, 0 cont) and 17796 constraints
0.12/0.26 c problem read in 0.15
0.22/0.42 o 0
0.22/0.42 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.22/0.42 c presolving:
0.41/0.55 c (round 1, fast) 15796 del vars, 1000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.41/0.59 c (round 2, fast) 15796 del vars, 1000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 15796 upgd conss, 0 impls, 0 clqs
0.50/0.66 c (round 3, medium) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 15796 upgd conss, 0 impls, 15795 clqs
0.68/0.82 c (0.7s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/0.82 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.68/0.83 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.84 c (0.7s) no symmetry present (symcode time: 0.00)
0.68/0.85 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.68/0.85 c 15796 deleted vars, 2000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.68/0.85 c 0 implications, 15795 cliques
0.68/0.85 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.68/0.85 c 15796 constraints of type <setppc>
0.68/0.85 c transformed objective value is always integral (scale: 1)
0.68/0.85 c Presolving Time: 0.45
0.68/0.85 c - non default parameters ----------------------------------------------------------------------
0.68/0.85 c # SCIP version 10.0.0
0.68/0.85 c
0.68/0.85 c # maximal time in seconds to run
0.68/0.85 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.68/0.85 c limits/time = 3596.992288
0.68/0.85 c
0.68/0.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.85 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.68/0.85 c limits/memory = 27900
0.68/0.85 c
0.68/0.85 c # belongs reading time to solving time?
0.68/0.85 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.68/0.85 c timing/reading = TRUE
0.68/0.85 c
0.68/0.85 c -----------------------------------------------------------------------------------------------
0.68/0.85 c start solving
0.68/0.85 c transformed 1/1 original solutions to the transformed problem space
0.68/0.85 c
0.78/0.93 o -98
0.78/0.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.78/0.93 c p 0.8s| 1 | 0 | 0 | - | clique| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-9.800000e+01 | 920.41%| unknown
0.78/0.94 o -124
0.78/0.94 c p 0.8s| 1 | 0 | 0 | - | locks| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-1.240000e+02 | 706.45%| unknown
0.78/1.01 o -129
0.78/1.01 c i 0.9s| 1 | 0 | 162 | - | oneopt| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-1.290000e+02 | 675.19%| unknown
0.89/1.11 c 1.0s| 1 | 0 | 1290 | - | 96M | 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-5.000000e+02 |-1.290000e+02 | 287.60%| unknown
1.47/1.68 c 1.6s| 1 | 0 | 2327 | - | 101M | 0 |1000 | 15k| 15k| 53 | 1 | 0 | 0 |-4.730000e+02 |-1.290000e+02 | 266.67%| unknown
1.77/2.01 c 1.9s| 1 | 0 | 3058 | - | 105M | 0 |1000 | 15k| 15k| 109 | 2 | 0 | 0 |-4.575000e+02 |-1.290000e+02 | 254.65%| unknown
2.28/2.47 c 2.4s| 1 | 0 | 4468 | - | 108M | 0 |1000 | 15k| 15k| 157 | 3 | 0 | 0 |-4.447500e+02 |-1.290000e+02 | 244.77%| unknown
3.27/3.47 c 3.4s| 1 | 0 | 6282 | - | 112M | 0 |1000 | 15k| 16k| 214 | 4 | 0 | 0 |-4.312500e+02 |-1.290000e+02 | 234.30%| unknown
4.26/4.47 c 4.4s| 1 | 0 | 7553 | - | 115M | 0 |1000 | 15k| 16k| 262 | 5 | 0 | 0 |-4.242500e+02 |-1.290000e+02 | 228.88%| unknown
5.26/5.41 c 5.3s| 1 | 0 | 10618 | - | 122M | 0 |1000 | 15k| 16k| 314 | 6 | 0 | 0 |-4.152500e+02 |-1.290000e+02 | 221.90%| unknown
6.05/6.20 c 6.1s| 1 | 0 | 13077 | - | 127M | 0 |1000 | 15k| 16k| 366 | 7 | 0 | 0 |-4.090000e+02 |-1.290000e+02 | 217.05%| unknown
7.25/7.43 c 7.3s| 1 | 0 | 17226 | - | 138M | 0 |1000 | 15k| 16k| 415 | 8 | 0 | 0 |-4.020000e+02 |-1.290000e+02 | 211.63%| unknown
8.74/8.92 c 8.8s| 1 | 0 | 21887 | - | 145M | 0 |1000 | 15k| 16k| 462 | 9 | 0 | 0 |-3.970000e+02 |-1.290000e+02 | 207.75%| unknown
10.13/10.40 c 10.3s| 1 | 0 | 27445 | - | 153M | 0 |1000 | 15k| 16k| 516 | 10 | 0 | 0 |-3.912692e+02 |-1.290000e+02 | 203.31%| unknown
11.23/11.47 c 11.4s| 1 | 0 | 32108 | - | 155M | 0 |1000 | 15k| 16k| 560 | 11 | 0 | 0 |-3.854250e+02 |-1.290000e+02 | 198.78%| unknown
12.73/12.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.73/12.98 c 12.9s| 1 | 0 | 38882 | - | 156M | 0 |1000 | 15k| 16k| 602 | 12 | 0 | 0 |-3.795068e+02 |-1.290000e+02 | 194.19%| unknown
13.62/13.88 c 13.8s| 1 | 0 | 42221 | - | 160M | 0 |1000 | 15k| 16k| 639 | 13 | 0 | 0 |-3.757039e+02 |-1.290000e+02 | 191.24%| unknown
14.72/14.94 c 14.8s| 1 | 0 | 45756 | - | 162M | 0 |1000 | 15k| 16k| 675 | 14 | 0 | 0 |-3.721922e+02 |-1.290000e+02 | 188.52%| unknown
15.72/16.00 c 15.9s| 1 | 0 | 49017 | - | 163M | 0 |1000 | 15k| 16k| 712 | 15 | 0 | 0 |-3.682653e+02 |-1.290000e+02 | 185.48%| unknown
16.92/17.19 c 17.1s| 1 | 0 | 52821 | - | 165M | 0 |1000 | 15k| 16k| 748 | 16 | 0 | 0 |-3.652588e+02 |-1.290000e+02 | 183.15%| unknown
18.21/18.40 c 18.3s| 1 | 0 | 56318 | - | 167M | 0 |1000 | 15k| 16k| 777 | 17 | 0 | 0 |-3.622808e+02 |-1.290000e+02 | 180.84%| unknown
18.92/19.18 c 19.1s| 1 | 0 | 58457 | - | 170M | 0 |1000 | 15k| 16k| 806 | 18 | 0 | 0 |-3.604571e+02 |-1.290000e+02 | 179.42%| unknown
19.91/20.15 c 20.0s| 1 | 0 | 61195 | - | 172M | 0 |1000 | 15k| 16k| 831 | 19 | 0 | 0 |-3.583293e+02 |-1.290000e+02 | 177.77%| unknown
20.81/21.09 c 21.0s| 1 | 0 | 63922 | - | 173M | 0 |1000 | 15k| 16k| 852 | 20 | 0 | 0 |-3.565528e+02 |-1.290000e+02 | 176.40%| unknown
21.20/21.48 c 21.4s| 1 | 0 | 65136 | - | 174M | 0 |1000 | 15k| 16k| 862 | 21 | 0 | 0 |-3.562709e+02 |-1.290000e+02 | 176.18%| unknown
21.70/21.95 c 21.8s| 1 | 0 | 66554 | - | 174M | 0 |1000 | 15k| 16k| 872 | 22 | 0 | 0 |-3.556859e+02 |-1.290000e+02 | 175.73%| unknown
22.10/22.38 c 22.3s| 1 | 0 | 67948 | - | 174M | 0 |1000 | 15k| 16k| 882 | 23 | 0 | 0 |-3.552790e+02 |-1.290000e+02 | 175.41%| unknown
22.59/22.80 c 22.7s| 1 | 0 | 69154 | - | 174M | 0 |1000 | 15k| 16k| 890 | 24 | 0 | 0 |-3.549283e+02 |-1.290000e+02 | 175.14%| unknown
22.99/23.27 c 23.2s| 1 | 0 | 70586 | - | 174M | 0 |1000 | 15k| 16k| 898 | 25 | 0 | 0 |-3.544501e+02 |-1.290000e+02 | 174.77%| unknown
23.49/23.71 c 23.6s| 1 | 0 | 71938 | - | 174M | 0 |1000 | 15k| 16k| 905 | 26 | 0 | 0 |-3.540703e+02 |-1.290000e+02 | 174.47%| unknown
23.90/24.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.90/24.17 c 24.1s| 1 | 0 | 73314 | - | 174M | 0 |1000 | 15k| 16k| 917 | 27 | 0 | 0 |-3.535594e+02 |-1.290000e+02 | 174.08%| unknown
24.29/24.51 c 24.4s| 1 | 0 | 74291 | - | 174M | 0 |1000 | 15k| 16k| 923 | 28 | 0 | 0 |-3.532187e+02 |-1.290000e+02 | 173.81%| unknown
24.59/24.88 c 24.8s| 1 | 0 | 75315 | - | 174M | 0 |1000 | 15k| 16k| 931 | 29 | 0 | 0 |-3.528877e+02 |-1.290000e+02 | 173.56%| unknown
24.99/25.22 c 25.1s| 1 | 0 | 76252 | - | 174M | 0 |1000 | 15k| 16k| 941 | 30 | 0 | 0 |-3.525561e+02 |-1.290000e+02 | 173.30%| unknown
25.38/25.61 c 25.5s| 1 | 0 | 77342 | - | 174M | 0 |1000 | 15k| 16k| 951 | 31 | 0 | 0 |-3.522644e+02 |-1.290000e+02 | 173.07%| unknown
25.68/25.95 c 25.8s| 1 | 0 | 78311 | - | 175M | 0 |1000 | 15k| 16k| 957 | 32 | 0 | 0 |-3.520279e+02 |-1.290000e+02 | 172.89%| unknown
25.89/26.11 c 26.0s| 1 | 0 | 78721 | - | 175M | 0 |1000 | 15k| 16k| 966 | 33 | 0 | 0 |-3.519982e+02 |-1.290000e+02 | 172.87%| unknown
26.38/26.60 c 26.5s| 1 | 0 | 80187 | - | 175M | 0 |1000 | 15k| 16k| 973 | 34 | 0 | 0 |-3.514802e+02 |-1.290000e+02 | 172.47%| unknown
26.89/27.14 c 27.0s| 1 | 0 | 81870 | - | 175M | 0 |1000 | 15k| 16k| 987 | 35 | 0 | 0 |-3.509789e+02 |-1.290000e+02 | 172.08%| unknown
27.18/27.45 c 27.3s| 1 | 0 | 82751 | - | 175M | 0 |1000 | 15k| 16k|1000 | 36 | 0 | 0 |-3.507552e+02 |-1.290000e+02 | 171.90%| unknown
27.79/28.01 c 27.9s| 1 | 0 | 84491 | - | 176M | 0 |1000 | 15k| 16k|1013 | 37 | 0 | 0 |-3.500964e+02 |-1.290000e+02 | 171.39%| unknown
28.27/28.52 c 28.4s| 1 | 0 | 85960 | - | 176M | 0 |1000 | 15k| 16k|1025 | 38 | 0 | 0 |-3.495020e+02 |-1.290000e+02 | 170.93%| unknown
28.88/29.17 c 29.1s| 1 | 0 | 87805 | - | 176M | 0 |1000 | 15k| 16k|1040 | 39 | 0 | 0 |-3.485749e+02 |-1.290000e+02 | 170.21%| unknown
29.37/29.66 c 29.5s| 1 | 0 | 89372 | - | 176M | 0 |1000 | 15k| 16k|1059 | 40 | 0 | 0 |-3.481586e+02 |-1.290000e+02 | 169.89%| unknown
29.78/30.08 c 30.0s| 1 | 0 | 90579 | - | 176M | 0 |1000 | 15k| 16k|1072 | 41 | 0 | 0 |-3.476391e+02 |-1.290000e+02 | 169.49%| unknown
30.17/30.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
30.17/30.41 c 30.3s| 1 | 0 | 91474 | - | 176M | 0 |1000 | 15k| 16k|1081 | 42 | 0 | 0 |-3.473513e+02 |-1.290000e+02 | 169.26%| unknown
30.47/30.79 c 30.7s| 1 | 0 | 92547 | - | 176M | 0 |1000 | 15k| 16k|1094 | 43 | 0 | 0 |-3.469490e+02 |-1.290000e+02 | 168.95%| unknown
30.88/31.17 c 31.1s| 1 | 0 | 93558 | - | 176M | 0 |1000 | 15k| 16k|1104 | 44 | 0 | 0 |-3.464798e+02 |-1.290000e+02 | 168.59%| unknown
31.16/31.48 c 31.4s| 1 | 0 | 94445 | - | 177M | 0 |1000 | 15k| 16k|1111 | 45 | 0 | 0 |-3.460508e+02 |-1.290000e+02 | 168.26%| unknown
31.56/31.87 c 31.8s| 1 | 0 | 95640 | - | 177M | 0 |1000 | 15k| 16k|1123 | 46 | 0 | 0 |-3.458347e+02 |-1.290000e+02 | 168.09%| unknown
32.06/32.37 c 32.3s| 1 | 0 | 97099 | - | 177M | 0 |1000 | 15k| 16k|1133 | 47 | 0 | 0 |-3.453595e+02 |-1.290000e+02 | 167.72%| unknown
32.56/32.84 c 32.7s| 1 | 0 | 98517 | - | 177M | 0 |1000 | 15k| 16k|1144 | 48 | 0 | 0 |-3.448999e+02 |-1.290000e+02 | 167.36%| unknown
32.96/33.20 c 33.1s| 1 | 0 | 99620 | - | 177M | 0 |1000 | 15k| 16k|1157 | 49 | 0 | 0 |-3.445152e+02 |-1.290000e+02 | 167.07%| unknown
33.36/33.60 c 33.5s| 1 | 0 |100868 | - | 177M | 0 |1000 | 15k| 16k|1171 | 50 | 0 | 0 |-3.441643e+02 |-1.290000e+02 | 166.79%| unknown
33.77/34.07 c 34.0s| 1 | 0 |102292 | - | 177M | 0 |1000 | 15k| 16k|1180 | 51 | 0 | 0 |-3.436811e+02 |-1.290000e+02 | 166.42%| unknown
34.26/34.54 c 34.4s| 1 | 0 |103692 | - | 177M | 0 |1000 | 15k| 16k|1192 | 52 | 0 | 0 |-3.431979e+02 |-1.290000e+02 | 166.04%| unknown
34.55/34.87 c 34.8s| 1 | 0 |104605 | - | 177M | 0 |1000 | 15k| 16k|1205 | 53 | 0 | 0 |-3.429275e+02 |-1.290000e+02 | 165.84%| unknown
34.95/35.20 c 35.1s| 1 | 0 |105552 | - | 178M | 0 |1000 | 15k| 16k|1221 | 54 | 0 | 0 |-3.426202e+02 |-1.290000e+02 | 165.60%| unknown
35.25/35.57 c 35.5s| 1 | 0 |106661 | - | 178M | 0 |1000 | 15k| 16k|1236 | 55 | 0 | 0 |-3.423121e+02 |-1.290000e+02 | 165.36%| unknown
35.65/36.01 c 35.9s| 1 | 0 |107903 | - | 178M | 0 |1000 | 15k| 16k|1249 | 56 | 0 | 0 |-3.419274e+02 |-1.290000e+02 | 165.06%| unknown
36.15/36.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.15/36.40 c 36.3s| 1 | 0 |109132 | - | 178M | 0 |1000 | 15k| 16k|1265 | 57 | 0 | 0 |-3.415754e+02 |-1.290000e+02 | 164.79%| unknown
36.55/36.82 c 36.7s| 1 | 0 |110398 | - | 178M | 0 |1000 | 15k| 16k|1278 | 58 | 0 | 0 |-3.411121e+02 |-1.290000e+02 | 164.43%| unknown
36.85/37.19 c 37.1s| 1 | 0 |111447 | - | 178M | 0 |1000 | 15k| 16k|1292 | 59 | 0 | 0 |-3.407240e+02 |-1.290000e+02 | 164.13%| unknown
37.24/37.59 c 37.5s| 1 | 0 |112690 | - | 178M | 0 |1000 | 15k| 16k|1304 | 60 | 0 | 0 |-3.403612e+02 |-1.290000e+02 | 163.85%| unknown
37.86/38.15 c 38.0s| 1 | 0 |114346 | - | 178M | 0 |1000 | 15k| 16k|1324 | 61 | 0 | 0 |-3.396893e+02 |-1.290000e+02 | 163.33%| unknown
38.25/38.57 c 38.5s| 1 | 0 |115557 | - | 178M | 0 |1000 | 15k| 16k|1333 | 62 | 0 | 0 |-3.392364e+02 |-1.290000e+02 | 162.97%| unknown
38.64/38.98 c 38.9s| 1 | 0 |116788 | - | 179M | 0 |1000 | 15k| 16k|1344 | 63 | 0 | 0 |-3.386566e+02 |-1.290000e+02 | 162.52%| unknown
39.04/39.36 c 39.3s| 1 | 0 |117964 | - | 179M | 0 |1000 | 15k| 16k|1359 | 64 | 0 | 0 |-3.382387e+02 |-1.290000e+02 | 162.20%| unknown
39.44/39.71 c 39.6s| 1 | 0 |119020 | - | 179M | 0 |1000 | 15k| 16k|1372 | 65 | 0 | 0 |-3.379355e+02 |-1.290000e+02 | 161.97%| unknown
39.85/40.17 c 40.1s| 1 | 0 |120516 | - | 179M | 0 |1000 | 15k| 16k|1389 | 66 | 0 | 0 |-3.375273e+02 |-1.290000e+02 | 161.65%| unknown
40.24/40.53 c 40.4s| 1 | 0 |121667 | - | 179M | 0 |1000 | 15k| 16k|1402 | 67 | 0 | 0 |-3.370912e+02 |-1.290000e+02 | 161.31%| unknown
40.64/40.95 c 40.8s| 1 | 0 |122915 | - | 180M | 0 |1000 | 15k| 16k|1420 | 68 | 0 | 0 |-3.365168e+02 |-1.290000e+02 | 160.87%| unknown
40.94/41.30 c 41.2s| 1 | 0 |123920 | - | 180M | 0 |1000 | 15k| 16k|1435 | 69 | 0 | 0 |-3.362100e+02 |-1.290000e+02 | 160.63%| unknown
41.44/41.72 c 41.6s| 1 | 0 |125236 | - | 181M | 0 |1000 | 15k| 16k|1449 | 70 | 0 | 0 |-3.358658e+02 |-1.290000e+02 | 160.36%| unknown
41.75/42.09 c 42.0s| 1 | 0 |126364 | - | 181M | 0 |1000 | 15k| 16k|1464 | 71 | 0 | 0 |-3.355148e+02 |-1.290000e+02 | 160.09%| unknown
42.04/42.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.04/42.38 c 42.3s| 1 | 0 |127215 | - | 181M | 0 |1000 | 15k| 16k|1484 | 72 | 0 | 0 |-3.352501e+02 |-1.290000e+02 | 159.88%| unknown
42.43/42.73 c 42.6s| 1 | 0 |128264 | - | 181M | 0 |1000 | 15k| 16k|1499 | 73 | 0 | 0 |-3.347990e+02 |-1.290000e+02 | 159.53%| unknown
42.84/43.15 c 43.0s| 1 | 0 |129507 | - | 181M | 0 |1000 | 15k| 16k|1515 | 74 | 0 | 0 |-3.344026e+02 |-1.290000e+02 | 159.23%| unknown
43.23/43.53 c 43.4s| 1 | 0 |130598 | - | 181M | 0 |1000 | 15k| 16k|1529 | 75 | 0 | 0 |-3.339844e+02 |-1.290000e+02 | 158.90%| unknown
43.63/43.95 c 43.8s| 1 | 0 |131768 | - | 181M | 0 |1000 | 15k| 16k|1542 | 76 | 0 | 0 |-3.335438e+02 |-1.290000e+02 | 158.56%| unknown
43.84/44.17 c 44.1s| 1 | 0 |132361 | - | 181M | 0 |1000 | 15k| 16k|1558 | 77 | 0 | 0 |-3.333940e+02 |-1.290000e+02 | 158.44%| unknown
44.23/44.57 c 44.5s| 1 | 0 |133469 | - | 181M | 0 |1000 | 15k| 16k|1568 | 78 | 0 | 0 |-3.329892e+02 |-1.290000e+02 | 158.13%| unknown
44.53/44.86 c 44.7s| 1 | 0 |134250 | - | 182M | 0 |1000 | 15k| 16k|1579 | 79 | 0 | 0 |-3.327119e+02 |-1.290000e+02 | 157.92%| unknown
45.03/45.30 c 45.2s| 1 | 0 |135570 | - | 182M | 0 |1000 | 15k| 16k|1592 | 80 | 0 | 0 |-3.322057e+02 |-1.290000e+02 | 157.52%| unknown
45.23/45.53 c 45.4s| 1 | 0 |136172 | - | 182M | 0 |1000 | 15k| 17k|1608 | 81 | 0 | 0 |-3.320667e+02 |-1.290000e+02 | 157.42%| unknown
45.53/45.88 c 45.8s| 1 | 0 |137126 | - | 182M | 0 |1000 | 15k| 16k|1620 | 82 | 0 | 0 |-3.317288e+02 |-1.290000e+02 | 157.15%| unknown
45.92/46.27 c 46.2s| 1 | 0 |138158 | - | 182M | 0 |1000 | 15k| 16k|1627 | 83 | 0 | 0 |-3.313083e+02 |-1.290000e+02 | 156.83%| unknown
46.22/46.59 c 46.5s| 1 | 0 |138925 | - | 182M | 0 |1000 | 15k| 16k|1642 | 84 | 0 | 0 |-3.310162e+02 |-1.290000e+02 | 156.60%| unknown
46.62/46.95 c 46.8s| 1 | 0 |139843 | - | 182M | 0 |1000 | 15k| 17k|1657 | 85 | 0 | 0 |-3.306754e+02 |-1.290000e+02 | 156.34%| unknown
47.02/47.36 c 47.2s| 1 | 0 |140873 | - | 182M | 0 |1000 | 15k| 17k|1675 | 86 | 0 | 0 |-3.303351e+02 |-1.290000e+02 | 156.07%| unknown
47.42/47.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.42/47.77 c 47.7s| 1 | 0 |141952 | - | 182M | 0 |1000 | 15k| 17k|1691 | 87 | 0 | 0 |-3.299727e+02 |-1.290000e+02 | 155.79%| unknown
47.83/48.14 c 48.0s| 1 | 0 |142863 | - | 183M | 0 |1000 | 15k| 17k|1709 | 88 | 0 | 0 |-3.295942e+02 |-1.290000e+02 | 155.50%| unknown
48.21/48.55 c 48.4s| 1 | 0 |143975 | - | 183M | 0 |1000 | 15k| 17k|1722 | 89 | 0 | 0 |-3.292524e+02 |-1.290000e+02 | 155.23%| unknown
48.51/48.89 c 48.8s| 1 | 0 |144814 | - | 183M | 0 |1000 | 15k| 17k|1739 | 90 | 0 | 0 |-3.289051e+02 |-1.290000e+02 | 154.97%| unknown
48.91/49.24 c 49.1s| 1 | 0 |145746 | - | 183M | 0 |1000 | 15k| 17k|1755 | 91 | 0 | 0 |-3.285877e+02 |-1.290000e+02 | 154.72%| unknown
49.21/49.55 c 49.4s| 1 | 0 |146546 | - | 183M | 0 |1000 | 15k| 17k|1770 | 92 | 0 | 0 |-3.283162e+02 |-1.290000e+02 | 154.51%| unknown
49.51/49.81 c 49.7s| 1 | 0 |147185 | - | 183M | 0 |1000 | 15k| 17k|1778 | 93 | 0 | 0 |-3.281293e+02 |-1.290000e+02 | 154.36%| unknown
49.82/50.12 c 50.0s| 1 | 0 |147988 | - | 183M | 0 |1000 | 15k| 17k|1793 | 94 | 0 | 0 |-3.278731e+02 |-1.290000e+02 | 154.17%| unknown
50.11/50.41 c 50.3s| 1 | 0 |148761 | - | 183M | 0 |1000 | 15k| 17k|1813 | 95 | 0 | 0 |-3.275871e+02 |-1.290000e+02 | 153.94%| unknown
50.41/50.70 c 50.6s| 1 | 0 |149498 | - | 183M | 0 |1000 | 15k| 17k|1832 | 96 | 0 | 0 |-3.273659e+02 |-1.290000e+02 | 153.77%| unknown
50.61/50.97 c 50.9s| 1 | 0 |150149 | - | 183M | 0 |1000 | 15k| 17k|1847 | 97 | 0 | 0 |-3.271691e+02 |-1.290000e+02 | 153.62%| unknown
50.91/51.24 c 51.1s| 1 | 0 |150817 | - | 184M | 0 |1000 | 15k| 17k|1863 | 98 | 0 | 0 |-3.269558e+02 |-1.290000e+02 | 153.45%| unknown
51.20/51.53 c 51.4s| 1 | 0 |151524 | - | 184M | 0 |1000 | 15k| 17k|1880 | 99 | 0 | 0 |-3.267110e+02 |-1.290000e+02 | 153.26%| unknown
51.40/51.76 c 51.6s| 1 | 0 |152023 | - | 184M | 0 |1000 | 15k| 17k|1900 |100 | 0 | 0 |-3.264966e+02 |-1.290000e+02 | 153.10%| unknown
51.60/51.93 c 51.8s| 1 | 0 |152480 | - | 184M | 0 |1000 | 15k| 17k|1909 |101 | 0 | 0 |-3.263280e+02 |-1.290000e+02 | 152.97%| unknown
51.81/52.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.81/52.14 c 52.0s| 1 | 0 |153073 | - | 184M | 0 |1000 | 15k| 17k|1922 |102 | 0 | 0 |-3.261017e+02 |-1.290000e+02 | 152.79%| unknown
52.00/52.33 c 52.2s| 1 | 0 |153565 | - | 184M | 0 |1000 | 15k| 17k|1935 |103 | 0 | 0 |-3.259660e+02 |-1.290000e+02 | 152.69%| unknown
52.20/52.54 c 52.4s| 1 | 0 |154167 | - | 184M | 0 |1000 | 15k| 17k|1954 |104 | 0 | 0 |-3.257224e+02 |-1.290000e+02 | 152.50%| unknown
52.30/52.67 c 52.6s| 1 | 0 |154500 | - | 184M | 0 |1000 | 15k| 17k|1966 |105 | 0 | 0 |-3.256235e+02 |-1.290000e+02 | 152.42%| unknown
52.50/52.85 c 52.7s| 1 | 0 |154949 | - | 185M | 0 |1000 | 15k| 17k|1979 |106 | 0 | 0 |-3.254245e+02 |-1.290000e+02 | 152.27%| unknown
52.71/53.05 c 52.9s| 1 | 0 |155517 | - | 185M | 0 |1000 | 15k| 17k|1993 |107 | 0 | 0 |-3.252687e+02 |-1.290000e+02 | 152.15%| unknown
52.90/53.22 c 53.1s| 1 | 0 |155941 | - | 185M | 0 |1000 | 15k| 17k|2004 |108 | 0 | 0 |-3.251470e+02 |-1.290000e+02 | 152.05%| unknown
53.10/53.40 c 53.3s| 1 | 0 |156450 | - | 185M | 0 |1000 | 15k| 17k|2016 |109 | 0 | 0 |-3.249601e+02 |-1.290000e+02 | 151.91%| unknown
53.20/53.55 c 53.4s| 1 | 0 |156838 | - | 185M | 0 |1000 | 15k| 17k|2031 |110 | 0 | 0 |-3.248617e+02 |-1.290000e+02 | 151.83%| unknown
53.40/53.73 c 53.6s| 1 | 0 |157314 | - | 185M | 0 |1000 | 15k| 17k|2046 |111 | 0 | 0 |-3.247121e+02 |-1.290000e+02 | 151.71%| unknown
53.60/53.90 c 53.8s| 1 | 0 |157781 | - | 185M | 0 |1000 | 15k| 17k|2056 |112 | 0 | 0 |-3.245796e+02 |-1.290000e+02 | 151.61%| unknown
53.71/54.09 c 54.0s| 1 | 0 |158269 | - | 185M | 0 |1000 | 15k| 17k|2070 |113 | 0 | 0 |-3.244255e+02 |-1.290000e+02 | 151.49%| unknown
53.90/54.29 c 54.2s| 1 | 0 |158828 | - | 185M | 0 |1000 | 15k| 17k|2093 |114 | 0 | 0 |-3.242113e+02 |-1.290000e+02 | 151.33%| unknown
54.10/54.49 c 54.4s| 1 | 0 |159396 | - | 186M | 0 |1000 | 15k| 17k|2104 |115 | 0 | 0 |-3.240681e+02 |-1.290000e+02 | 151.22%| unknown
54.30/54.67 c 54.6s| 1 | 0 |159910 | - | 186M | 0 |1000 | 15k| 17k|2120 |116 | 0 | 0 |-3.239743e+02 |-1.290000e+02 | 151.14%| unknown
54.49/54.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
54.49/54.85 c 54.7s| 1 | 0 |160384 | - | 186M | 0 |1000 | 15k| 17k|2131 |117 | 0 | 0 |-3.238308e+02 |-1.290000e+02 | 151.03%| unknown
54.59/54.95 c 54.8s| 1 | 0 |160628 | - | 186M | 0 |1000 | 15k| 17k|2140 |118 | 0 | 0 |-3.237873e+02 |-1.290000e+02 | 151.00%| unknown
54.81/55.13 c 55.0s| 1 | 0 |161151 | - | 186M | 0 |1000 | 15k| 17k|2154 |119 | 0 | 0 |-3.236366e+02 |-1.290000e+02 | 150.88%| unknown
54.89/55.28 c 55.2s| 1 | 0 |161539 | - | 186M | 0 |1000 | 15k| 17k|2176 |120 | 0 | 0 |-3.235092e+02 |-1.290000e+02 | 150.78%| unknown
55.09/55.43 c 55.3s| 1 | 0 |161936 | - | 186M | 0 |1000 | 15k| 17k|2191 |121 | 0 | 0 |-3.234058e+02 |-1.290000e+02 | 150.70%| unknown
55.19/55.58 c 55.5s| 1 | 0 |162364 | - | 187M | 0 |1000 | 15k| 17k|2205 |122 | 0 | 0 |-3.232834e+02 |-1.290000e+02 | 150.61%| unknown
55.39/55.79 c 55.7s| 1 | 0 |163000 | - | 187M | 0 |1000 | 15k| 17k|2221 |123 | 0 | 0 |-3.231535e+02 |-1.290000e+02 | 150.51%| unknown
55.59/55.91 c 55.8s| 1 | 0 |163370 | - | 187M | 0 |1000 | 15k| 17k|2236 |124 | 0 | 0 |-3.231048e+02 |-1.290000e+02 | 150.47%| unknown
55.70/56.04 c 55.9s| 1 | 0 |163783 | - | 187M | 0 |1000 | 15k| 17k|2249 |125 | 0 | 0 |-3.230591e+02 |-1.290000e+02 | 150.43%| unknown
55.89/56.22 c 56.1s| 1 | 0 |164372 | - | 187M | 0 |1000 | 15k| 17k|2265 |126 | 0 | 0 |-3.229667e+02 |-1.290000e+02 | 150.36%| unknown
55.99/56.34 c 56.2s| 1 | 0 |164735 | - | 187M | 0 |1000 | 15k| 17k|2283 |127 | 0 | 0 |-3.229257e+02 |-1.290000e+02 | 150.33%| unknown
56.19/56.55 c 56.4s| 1 | 0 |165468 | - | 187M | 0 |1000 | 15k| 17k|2301 |128 | 0 | 0 |-3.227803e+02 |-1.290000e+02 | 150.22%| unknown
56.29/56.64 c 56.5s| 1 | 0 |165757 | - | 187M | 0 |1000 | 15k| 17k|2313 |129 | 0 | 0 |-3.227689e+02 |-1.290000e+02 | 150.21%| unknown
56.49/56.81 c 56.7s| 1 | 0 |166394 | - | 188M | 0 |1000 | 15k| 17k|2328 |130 | 0 | 0 |-3.227267e+02 |-1.290000e+02 | 150.18%| unknown
56.59/56.95 c 56.8s| 1 | 0 |166863 | - | 188M | 0 |1000 | 15k| 17k|2345 |131 | 0 | 0 |-3.226992e+02 |-1.290000e+02 | 150.15%| unknown
56.70/57.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.70/57.04 c 56.9s| 1 | 0 |167097 | - | 188M | 0 |1000 | 15k| 17k|2360 |132 | 0 | 0 |-3.226667e+02 |-1.290000e+02 | 150.13%| unknown
56.70/57.06 c 57.0s| 1 | 0 |167100 | - | 188M | 0 |1000 | 15k| 17k|2365 |133 | 0 | 0 |-3.226667e+02 |-1.290000e+02 | 150.13%| unknown
56.70/57.09 c 57.0s| 1 | 0 |167101 | - | 188M | 0 |1000 | 15k| 17k|2368 |134 | 0 | 0 |-3.226667e+02 |-1.290000e+02 | 150.13%| unknown
65.67/66.07 c 66.0s| 1 | 2 |167118 | - | 188M | 0 |1000 | 15k| 17k|2368 |135 | 0 | 28 |-3.223333e+02 |-1.290000e+02 | 149.87%| unknown
191.02/191.70 o -133
191.02/191.70 c d 192s| 31 | 32 |369897 |6765.3 |guideddi| 13 |1000 | 15k| 17k| 0 | 1 | 0 | 288 |-3.213208e+02 |-1.330000e+02 | 141.59%| unknown
301.24/302.25 o -137
301.24/302.25 c d 302s| 83 | 84 |702160 |6527.1 |guideddi| 14 |1000 | 15k| 16k| 0 | 1 | 0 | 388 |-3.213208e+02 |-1.370000e+02 | 134.54%| unknown
338.74/339.85 c 340s| 100 | 101 |813850 |6534.5 | 360M | 14 |1000 | 15k| 16k|4470 | 1 | 0 | 416 |-3.213208e+02 |-1.370000e+02 | 134.54%| unknown
569.24/570.95 c 571s| 200 | 201 | 1422k|6309.7 | 581M | 15 |1000 | 15k| 16k|7636 | 1 | 0 | 628 |-3.213208e+02 |-1.370000e+02 | 134.54%| unknown
818.18/820.53 c 820s| 300 | 301 | 2022k|6204.6 | 708M | 17 |1000 | 15k| 17k| 12k| 1 | 0 | 860 |-3.213208e+02 |-1.370000e+02 | 134.54%| unknown
1058.35/1061.35 c 1061s| 400 | 401 | 2628k|6168.5 | 797M | 18 |1000 | 15k| 17k| 17k| 1 | 0 |1075 |-3.213208e+02 |-1.370000e+02 | 134.54%| unknown
1247.95/1251.44 c 1251s| 500 | 501 | 3245k|6169.9 | 857M | 18 |1000 | 15k| 17k| 20k| 1 | 0 |1139 |-3.213208e+02 |-1.370000e+02 | 134.54%| unknown
1419.61/1423.57 c 1423s| 600 | 601 | 3835k|6124.0 | 885M | 21 |1000 | 15k| 17k| 23k| 8 | 0 |1167 |-3.207408e+02 |-1.370000e+02 | 134.12%| unknown
1587.17/1591.55 c 1591s| 700 | 701 | 4420k|6085.0 | 909M | 21 |1000 | 15k| 17k| 26k| 1 | 0 |1188 |-3.172915e+02 |-1.370000e+02 | 131.60%| unknown
1741.18/1745.96 c 1746s| 800 | 801 | 4990k|6036.8 | 918M | 21 |1000 | 15k| 17k| 28k| 1 | 0 |1192 |-3.168715e+02 |-1.370000e+02 | 131.29%| unknown
1906.74/1911.99 c 1912s| 900 | 901 | 5594k|6037.3 | 924M | 26 |1000 | 15k| 17k| 29k| 1 | 0 |1212 |-3.155204e+02 |-1.370000e+02 | 130.31%| unknown
2058.06/2063.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2058.06/2063.66 c 2064s| 1000 | 1001 | 6089k|5928.1 | 945M | 32 |1000 | 15k| 17k| 31k| 1 | 0 |1245 |-3.144939e+02 |-1.370000e+02 | 129.56%| unknown
2133.56/2139.37 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2133.56/2139.37 c (run 1, node 1049) performing user restart
2133.56/2139.37 c
2133.56/2139.37 c (restart) converted 1259 cuts from the global cut pool into linear constraints
2133.56/2139.37 c
2133.96/2139.73 c presolving:
2133.96/2139.75 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1257 upgd conss, 0 impls, 16998 clqs
2133.96/2139.76 c (round 2, medium) 0 del vars, 4 del conss, 5 add conss, 0 chg bounds, 5 chg sides, 15 chg coeffs, 1257 upgd conss, 0 impls, 17001 clqs
2133.96/2139.77 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
2133.96/2139.77 c 0 deleted vars, 4 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 16 changed coefficients
2133.96/2139.77 c 0 implications, 17001 cliques
2133.96/2139.77 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 17056 constraints
2133.96/2139.77 c 52 constraints of type <knapsack>
2133.96/2139.77 c 17002 constraints of type <setppc>
2133.96/2139.77 c 2 constraints of type <linear>
2133.96/2139.77 c transformed objective value is always integral (scale: 1)
2133.96/2139.77 c Presolving Time: 0.65
2134.16/2140.00 c transformed 100/100 original solutions to the transformed problem space
2134.16/2140.00 c
2142.14/2147.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2142.14/2147.91 c 2148s| 1 | 0 | 6356k| - | 923M | 0 |1000 | 17k| 17k| 0 | 0 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2142.44/2148.20 c 2148s| 1 | 0 | 6356k| - | 932M | 0 |1000 | 17k| 17k| 8 | 1 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2142.64/2148.47 c 2148s| 1 | 0 | 6357k| - | 933M | 0 |1000 | 17k| 17k| 14 | 2 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2142.93/2148.79 c 2149s| 1 | 0 | 6357k| - | 933M | 0 |1000 | 17k| 17k| 23 | 3 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2143.34/2149.11 c 2149s| 1 | 0 | 6358k| - | 915M | 0 |1000 | 17k| 17k| 33 | 4 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2143.63/2149.41 c 2149s| 1 | 0 | 6358k| - | 924M | 0 |1000 | 17k| 17k| 40 | 5 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2143.83/2149.68 c 2150s| 1 | 0 | 6358k| - | 932M | 0 |1000 | 17k| 17k| 49 | 6 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2144.13/2150.00 c 2150s| 1 | 0 | 6359k| - | 932M | 0 |1000 | 17k| 17k| 59 | 7 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2144.53/2150.31 c 2150s| 1 | 0 | 6359k| - | 935M | 0 |1000 | 17k| 17k| 66 | 8 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2144.83/2150.64 c 2151s| 1 | 0 | 6360k| - | 932M | 0 |1000 | 17k| 17k| 77 | 9 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2145.13/2150.93 c 2151s| 1 | 0 | 6360k| - | 928M | 0 |1000 | 17k| 16k| 82 | 10 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2145.34/2151.12 c 2151s| 1 | 0 | 6360k| - | 929M | 0 |1000 | 17k| 16k| 90 | 11 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2145.53/2151.32 c 2151s| 1 | 0 | 6360k| - | 930M | 0 |1000 | 17k| 17k| 120 | 12 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2145.73/2151.55 c 2151s| 1 | 0 | 6361k| - | 930M | 0 |1000 | 17k| 17k| 138 | 13 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2145.93/2151.77 c 2152s| 1 | 0 | 6361k| - | 930M | 0 |1000 | 17k| 17k| 150 | 14 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2146.12/2151.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2146.12/2151.99 c 2152s| 1 | 0 | 6362k| - | 931M | 0 |1000 | 17k| 17k| 164 | 15 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2146.42/2152.25 c 2152s| 1 | 0 | 6362k| - | 931M | 0 |1000 | 17k| 17k| 180 | 16 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2146.62/2152.47 c 2152s| 1 | 0 | 6362k| - | 931M | 0 |1000 | 17k| 17k| 189 | 17 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2146.92/2152.73 c 2153s| 1 | 0 | 6362k| - | 931M | 0 |1000 | 17k| 17k| 206 | 18 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2147.12/2153.00 c 2153s| 1 | 0 | 6363k| - | 931M | 0 |1000 | 17k| 17k| 222 | 19 | 0 |1260 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2155.31/2161.14 c 2161s| 1 | 2 | 6363k| - | 931M | 0 |1000 | 17k| 17k| 222 | 19 | 0 |1286 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2430.19/2436.73 c 2437s| 100 | 101 | 6658k|5632.9 | 943M | 36 |1000 | 17k| 16k| 324 | 1 | 0 |2349 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2579.80/2586.79 c 2587s| 200 | 201 | 7095k|5532.0 | 1009M | 44 |1000 | 17k| 16k|2092 | 1 | 0 |2529 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2677.85/2685.02 c 2685s| 300 | 301 | 7496k|5418.8 | 1020M | 45 |1000 | 17k| 17k|4064 | 1 | 0 |2548 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2798.43/2805.93 c 2806s| 400 | 401 | 7946k|5355.7 | 1045M | 45 |1000 | 17k| 16k|6643 | 1 | 0 |2563 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
2912.14/2919.91 c 2920s| 500 | 501 | 8388k|5294.8 | 1062M | 45 |1000 | 17k| 16k|8834 | 1 | 0 |2587 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
3064.15/3072.34 c 3072s| 600 | 601 | 8809k|5229.2 | 1076M | 45 |1000 | 17k| 17k|9789 | 1 | 0 |2719 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
3188.65/3197.17 c 3197s| 700 | 701 | 9228k|5169.6 | 1074M | 45 |1000 | 17k| 17k| 10k| 1 | 0 |2780 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
3327.78/3336.68 c 3337s| 800 | 801 | 9601k|5091.8 | 1080M | 45 |1000 | 17k| 17k| 10k| 1 | 0 |2893 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
3484.38/3493.70 c 3494s| 900 | 901 | 10032k|5051.8 | 1098M | 54 |1000 | 17k| 17k| 12k| 1 | 0 |3000 |-3.133489e+02 |-1.370000e+02 | 128.72%| unknown
3587.53/3597.11 c
3587.53/3597.11 c SCIP Status : solving was interrupted [time limit reached]
3587.53/3597.11 c Solving Time (sec) : 3596.99
3587.53/3597.11 c Solving Nodes : 971 (total of 2020 nodes in 2 runs)
3587.53/3597.11 c Primal Bound : -1.37000000000000e+02 (261 solutions)
3587.53/3597.11 c Dual Bound : -3.13348851662463e+02
3587.53/3597.11 c Gap : 128.72 %
3587.63/3597.12 s SATISFIABLE
3587.63/3597.12 v -x1000 -x999 -x998 x997 -x996 x995 -x994 x993 -x992 x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 x979 -x978
3587.63/3597.12 v -x977 x976 x975 -x974 -x973 -x972 x971 x970 -x969 x968 x967 -x966 -x965 x964 x963 -x962 -x961 -x960 -x959 -x958 x957 -x956
3587.63/3597.12 v -x955 -x954 x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 x939 x938 -x937 -x936 x935 -x934
3587.63/3597.12 v -x933 x932 -x931 -x930 -x929 x928 x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913
3587.63/3597.12 v x912 -x911 -x910 -x909 x908 x907 -x906 -x905 x904 -x903 -x902 -x901 -x900 x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
3587.63/3597.12 v -x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869
3587.63/3597.12 v -x868 -x867 -x866 -x865 -x864 -x863 x862 -x861 -x860 x859 -x858 -x857 x856 x855 x854 -x853 -x852 -x851 -x850 -x849 -x848
3587.63/3597.12 v -x847 x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827
3587.63/3597.12 v -x826 -x825 -x824 x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 x809 x808 -x807 -x806 -x805
3587.63/3597.12 v -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 x796 -x795 -x794 -x793 x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783
3587.63/3597.12 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 x766 -x765 -x764 -x763 -x762
3587.63/3597.12 v -x761 -x760 x759 -x758 -x757 x756 -x755 x754 -x753 -x752 -x751 -x750 x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
3587.63/3597.12 v x739 x738 -x737 x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
3587.63/3597.12 v -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 x701 -x700 -x699 x698 -x697
3587.63/3597.12 v -x696 x695 -x694 -x693 -x692 x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676
3587.63/3597.12 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 x654
3587.63/3597.12 v x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633
3587.63/3597.12 v -x632 -x631 -x630 -x629 -x628 x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612
3587.63/3597.12 v -x611 -x610 x609 -x608 -x607 x606 x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 x591 -x590
3587.63/3597.12 v -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569
3587.63/3597.12 v -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 x548 x547
3587.63/3597.12 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526
3587.63/3597.12 v -x525 -x524 x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504
3587.63/3597.12 v -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
3587.63/3597.12 v -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462
3587.63/3597.12 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 x442 -x441 -x440
3587.63/3597.12 v -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419
3587.63/3597.12 v x418 -x417 -x416 -x415 x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398
3587.63/3597.12 v -x397 -x396 x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 x377
3587.63/3597.12 v -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355
3587.63/3597.12 v x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
3587.63/3597.12 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
3587.63/3597.12 v -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 x297 -x296 x295 -x294 -x293 -x292
3587.63/3597.12 v -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
3587.63/3597.12 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
3587.63/3597.12 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
3587.63/3597.12 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 x209 -x208
3587.63/3597.12 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
3587.63/3597.12 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
3587.63/3597.12 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
3587.63/3597.12 v x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
3587.63/3597.12 v -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
3587.63/3597.12 v -x102 -x101 -x100 x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78
3587.63/3597.12 v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53
3587.63/3597.12 v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28
3587.63/3597.12 v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
3587.63/3597.12 v -x1
3587.63/3597.12 c SCIP Status : solving was interrupted [time limit reached]
3587.63/3597.12 c Total Time : 3596.99
3587.63/3597.12 c solving : 3596.99
3587.63/3597.12 c presolving : 0.65 (included in solving)
3587.63/3597.12 c reading : 0.15 (included in solving)
3587.63/3597.12 c copying : 0.16 (9 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3587.63/3597.12 c Original Problem :
3587.63/3597.12 c Problem name : HOME/instance-4498178-1751268244.opb
3587.63/3597.12 c Variables : 16796 (1000 binary, 0 integer, 15796 implicit integer, 0 continuous)
3587.63/3597.12 c Constraints : 17796 initial, 17796 maximal
3587.63/3597.12 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3587.63/3597.12 c Presolved Problem :
3587.63/3597.12 c Problem name : t_HOME/instance-4498178-1751268244.opb
3587.63/3597.12 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.63/3597.12 c Constraints : 17056 initial, 17056 maximal
3587.63/3597.12 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3587.63/3597.12 c Nonzeros : 37086 constraint, 35249 clique table
3587.63/3597.12 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.63/3597.12 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c probing : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c knapsack : 0.00 0.00 5 0 0 0 0 0 2 5 5 16
3587.63/3597.12 c setppc : 0.08 0.00 13 0 0 0 0 0 2 0 0 0
3587.63/3597.12 c and : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c linear : 0.07 0.01 6 15796 0 0 15796 0 1000 0 0 0
3587.63/3597.12 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c pseudoboolean : 0.04 0.01 1 0 0 0 0 0 1000 0 0 0
3587.63/3597.12 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c root node : - - - 0 - - 0 - - - - -
3587.63/3597.12 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.63/3597.12 c benderslp : 0 0 0 0 2019 0 0 778 0 0 0 0 0 0 0
3587.63/3597.12 c integral : 0 0 0 0 2019 0 0 778 0 0 0 0 0 0 4038
3587.63/3597.12 c knapsack : 52 52 19 29004 0 0 0 0 0 0 2 8 5 0 0
3587.63/3597.12 c setppc : 17002 17002 154 130123 0 0 0 771 0 0 51021 54 49 0 0
3587.63/3597.12 c linear : 2 2 19 21597 0 0 0 3 0 0 0 0 0 0 0
3587.63/3597.12 c benders : 0 0 0 0 0 0 0 364 0 0 0 0 0 0 0
3587.63/3597.12 c fixedvar : 0 0 0 0 0 0 0 364 0 0 0 0 0 0 0
3587.63/3597.12 c countsols : 0 0 0 0 0 0 0 364 0 0 0 0 0 0 0
3587.63/3597.12 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.63/3597.12 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c integral : 777.76 0.00 0.00 0.00 777.76 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c knapsack : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
3587.63/3597.12 c setppc : 1.98 0.00 0.07 1.27 0.00 0.00 0.00 0.22 0.00 0.41
3587.63/3597.12 c linear : 0.03 0.01 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
3587.63/3597.12 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c fixedvar : 0.32 0.00 0.00 0.00 0.00 0.00 0.00 0.32 0.00 0.00
3587.63/3597.12 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.63/3597.12 c dualfix : 3 0 0 0
3587.63/3597.12 c genvbounds : 0 0 0 0
3587.63/3597.12 c nlobbt : 0 0 0 0
3587.63/3597.12 c obbt : 0 0 0 0
3587.63/3597.12 c probing : 0 0 0 0
3587.63/3597.12 c pseudoobj : 5653 0 0 0
3587.63/3597.12 c redcost : 157 0 0 0
3587.63/3597.12 c rootredcost : 4 0 0 0
3587.63/3597.12 c symmetry : 0 0 0 0
3587.63/3597.12 c vbounds : 32111 0 0 0
3587.63/3597.12 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.63/3597.12 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.63/3597.12 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.63/3597.12 c probing : 0.09 0.00 0.09 0.00 0.00 0.00
3587.63/3597.12 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.63/3597.12 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.63/3597.12 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.63/3597.12 c symmetry : 0.04 0.00 0.01 0.02 0.00 0.01
3587.63/3597.12 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3587.63/3597.12 c Symmetry :
3587.63/3597.12 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.63/3597.12 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.63/3597.12 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.63/3597.12 c shadow tree time : 0.00 s
3587.63/3597.12 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3587.63/3597.12 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.63/3597.12 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.63/3597.12 c bound exceed. LP : 0.58 1111 0 - 0 0.0 0 0.0 0 0.0 1200
3587.63/3597.12 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.63/3597.12 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.63/3597.12 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3587.63/3597.12 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.63/3597.12 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.63/3597.12 c cut pool : 9.25 - 2325 305 - - 44626 138908 - - - - - (maximal pool size: 5247)
3587.63/3597.12 c aggregation : 21.26 0.00 1060 154 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.63/3597.12 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.63/3597.12 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.63/3597.12 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c clique : 1.60 0.00 154 154 0 0 1346 27557 0 14246 14246 0 0
3587.63/3597.12 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c gomory : 56.17 0.00 737 20 0 0 40006 50292 0 3005 3005 0 0
3587.63/3597.12 c > gomorymi : - - - - - - - 22144 0 164 164 0 -
3587.63/3597.12 c > strongcg : - - - - - - - 28148 0 2841 2841 0 -
3587.63/3597.12 c impliedbounds : 0.45 0.00 1060 154 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c multilinear : 0.00 0.00 277 154 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c rapidlearning : 0.07 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c rlt : 0.00 0.00 164 20 0 0 0 0 0 0 0 0 0
3587.63/3597.12 c zerohalf : 12.87 0.00 756 39 0 0 3274 61059 0 28491 28491 0 0
3587.63/3597.12 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.63/3597.12 c hybrid : 0.84 0.00 1449 153 45796 0 93174 2590 0 7805
3587.63/3597.12 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c Pricers : ExecTime SetupTime Calls Vars
3587.63/3597.12 c problem variables: 0.00 - 0 0
3587.63/3597.12 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.63/3597.12 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c relpscost : 777.76 0.00 2019 0 0 0 0 0 0 4038
3587.63/3597.12 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.63/3597.12 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.63/3597.12 c LP solutions : 0.00 - - 0 0
3587.63/3597.12 c relax solutions : 0.00 - - 0 0
3587.63/3597.12 c pseudo solutions : 0.00 - - 0 0
3587.63/3597.12 c strong branching : 0.13 - - 0 0
3587.63/3597.12 c actconsdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c adaptivediving : 15.58 0.00 11 0 0
3587.63/3597.12 c alns : 0.22 0.00 5 0 0
3587.63/3597.12 c bound : 0.00 0.00 0 0 0
3587.63/3597.12 c clique : 0.07 0.00 1 1 1
3587.63/3597.12 c coefdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c completesol : 0.00 0.00 0 0 0
3587.63/3597.12 c conflictdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c crossover : 0.37 0.00 2 2 0
3587.63/3597.12 c dins : 0.00 0.00 0 0 0
3587.63/3597.12 c distributiondivin: 119.48 0.00 55 0 0
3587.63/3597.12 c dps : 0.00 0.00 0 0 0
3587.63/3597.12 c dualval : 0.00 0.00 0 0 0
3587.63/3597.12 c farkasdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c feasjump : 0.00 0.00 0 0 0
3587.63/3597.12 c feaspump : 0.00 0.00 0 0 0
3587.63/3597.12 c fixandinfer : 0.00 0.00 0 0 0
3587.63/3597.12 c fracdiving : 74.62 0.00 61 0 0
3587.63/3597.12 c gins : 0.01 0.00 0 0 0
3587.63/3597.12 c guideddiving : 84.42 0.00 61 4 2
3587.63/3597.12 c indcoefdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c indicator : 0.00 0.00 0 0 0
3587.63/3597.12 c indicatordiving : 0.00 0.00 0 0 0
3587.63/3597.12 c indoneopt : 0.00 0.00 0 0 0
3587.63/3597.12 c indrounding : 0.00 0.00 0 0 0
3587.63/3597.12 c indtwoopt : 0.00 0.00 0 0 0
3587.63/3597.12 c intdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c intshifting : 0.00 0.00 0 0 0
3587.63/3597.12 c linesearchdiving : 68.18 0.00 60 0 0
3587.63/3597.12 c localbranching : 0.00 0.00 0 0 0
3587.63/3597.12 c locks : 0.01 0.00 1 1 1
3587.63/3597.12 c lpface : 0.00 0.00 0 0 0
3587.63/3597.12 c mpec : 0.00 0.00 0 0 0
3587.63/3597.12 c multistart : 0.00 0.00 0 0 0
3587.63/3597.12 c mutation : 0.00 0.00 0 0 0
3587.63/3597.12 c nlpdiving : 0.00 0.00 0 0 0
3587.63/3597.12 c objpscostdiving : 168.36 0.00 16 78 0
3587.63/3597.12 c octane : 0.00 0.00 0 0 0
3587.63/3597.12 c ofins : 0.00 0.00 0 0 0
3587.63/3597.12 c oneopt : 0.01 0.00 3 1 1
3587.63/3597.12 c padm : 0.00 0.00 0 0 0
3587.63/3597.12 c proximity : 0.00 0.00 0 0 0
3587.63/3597.12 c pscostdiving : 79.11 0.00 61 0 0
3587.63/3597.12 c randrounding : 1.45 0.00 562 121 0
3587.63/3597.12 c rens : 0.00 0.00 0 0 0
3587.63/3597.12 c reoptsols : 0.00 0.00 0 0 0
3587.63/3597.12 c repair : 0.00 0.00 0 0 0
3587.63/3597.12 c rins : 9.72 0.00 2 2 0
3587.63/3597.12 c rootsoldiving : 42.02 0.00 30 50 0
3587.63/3597.12 c rounding : 8.78 0.00 755 0 0
3587.63/3597.12 c scheduler : 0.00 0.00 0 0 0
3587.63/3597.12 c shiftandpropagate: 0.00 0.00 0 0 0
3587.63/3597.12 c shifting : 5.91 0.00 459 0 0
3587.63/3597.12 c simplerounding : 0.17 0.00 3468 0 0
3587.63/3597.12 c smallcard : 0.00 0.00 0 0 0
3587.63/3597.12 c subnlp : 0.00 0.00 0 0 0
3587.63/3597.12 c trivial : 0.02 0.00 4 1 1
3587.63/3597.12 c trivialnegation : 0.00 0.00 0 0 0
3587.63/3597.12 c trustregion : 0.00 0.00 0 0 0
3587.63/3597.12 c trysol : 0.00 0.00 0 0 0
3587.63/3597.12 c twoopt : 0.00 0.00 0 0 0
3587.63/3597.12 c undercover : 0.00 0.00 0 0 0
3587.63/3597.12 c vbounds : 0.06 0.00 2 0 0
3587.63/3597.12 c veclendiving : 49.65 0.00 60 0 0
3587.63/3597.12 c zeroobj : 0.00 0.00 0 0 0
3587.63/3597.12 c zirounding : 1.17 0.00 1000 0 0
3587.63/3597.12 c other solutions : - - - 0 -
3587.63/3597.12 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 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.63/3597.12 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.63/3597.12 c primal LP : 1.46 717 0 0.00 0.00 1.46 717
3587.63/3597.12 c dual LP : 1977.20 3469 7176760 2068.83 3629.75 0.00 0
3587.63/3597.12 c lex dual LP : 0.00 0 0 0.00 -
3587.63/3597.12 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.63/3597.12 c resolve instable : 0.00 0 0 0.00 -
3587.63/3597.12 c diving/probing LP: 662.42 5444 3154166 579.38 4761.59
3587.63/3597.12 c strong branching : 767.82 3067 2775523 904.96 3614.81 - - 4878
3587.63/3597.12 c (at root node) : - 54 49961 925.20 -
3587.63/3597.12 c conflict analysis: 0.14 120 1200 10.00 8536.49
3587.63/3597.12 c B&B Tree :
3587.63/3597.12 c number of runs : 2
3587.63/3597.12 c nodes : 971 (970 internal, 1 leaves)
3587.63/3597.12 c feasible leaves : 0
3587.63/3597.12 c infeas. leaves : 0
3587.63/3597.12 c objective leaves : 0
3587.63/3597.12 c nodes (total) : 2020 (2019 internal, 1 leaves)
3587.63/3597.12 c nodes left : 971
3587.63/3597.12 c max depth : 55
3587.63/3597.12 c max depth (total): 55
3587.63/3597.12 c backtracks : 194 (20.0%)
3587.63/3597.12 c early backtracks : 0 (0.0%)
3587.63/3597.12 c nodes exc. ref. : 0 (0.0%)
3587.63/3597.12 c delayed cutoffs : 0
3587.63/3597.12 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.63/3597.12 c avg switch length: 3.30
3587.63/3597.12 c switching time : 2.37
3587.63/3597.12 c Root Node :
3587.63/3597.12 c First LP value : -5.00000000000000e+02
3587.63/3597.12 c First LP Iters : 1128 (11701.97 Iter/sec)
3587.63/3597.12 c First LP Time : 0.10
3587.63/3597.12 c Final Dual Bound : -3.13348851662463e+02
3587.63/3597.12 c Final Root Iters : 191815
3587.63/3597.12 c Root LP Estimate : -8.58310714434884e+01
3587.63/3597.12 c Solution :
3587.63/3597.12 c Solutions found : 261 (6 improvements)
3587.63/3597.12 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.29 seconds, depth 0, found by <trivial>)
3587.63/3597.12 c Gap First Sol. : infinite
3587.63/3597.12 c Gap Last Sol. : 134.54 %
3587.63/3597.12 c Primal Bound : -1.37000000000000e+02 (in run 1, after 83 nodes, 302.14 seconds, depth 80, found by <guideddiving>)
3587.63/3597.12 c Dual Bound : -3.13348851662463e+02
3587.63/3597.12 c Gap : 128.72 %
3587.63/3597.12 c Integrals : Total Avg%
3587.63/3597.12 c primal-dual : 205149.69 57.03
3587.63/3597.12 c primal-ref : - - (not evaluated)
3587.63/3597.12 c dual-ref : - - (not evaluated)
3587.81/3597.32 c Time complete: 3587.84.
OK -137
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: 63837 MiB (63011 MiB free)
memory of node 1: 64465 MiB (63763 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498178-1751268244/watcher-4498178-1751268244 -o /tmp/evaluation-result-4498178-1751268244/solver-4498178-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44414 --watchdog 3760 pbscip -f HOME/instance-4498178-1751268244.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44606, runsolver pid=44601
[startup+0.100071 s]*
/proc/loadavg: 1.08 0.31 0.16 1/239 44607
/proc/meminfo: memFree=129819340/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=40976 memory=11776 CPUtime=0 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 630 0 0 0 0 0 0 0 20 0 1 0 42503688 41959424 2912 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 10244 2944 2592 3530 0 1695 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 40976 KiB
Current children cumulated memory: 11776 KiB
[startup+0.212759 s]*
/proc/loadavg: 1.08 0.31 0.16 4/247 44615
/proc/meminfo: memFree=129791560/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=65888 memory=37888 CPUtime=0.12 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 6525 0 0 0 9 3 0 0 20 0 1 0 42503688 67469312 9472 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 16472 9472 3264 3530 0 7923 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 65888 KiB
Current children cumulated memory: 37888 KiB
[startup+0.31387 s]*
/proc/loadavg: 1.08 0.31 0.16 4/247 44615
/proc/meminfo: memFree=129719716/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=90224 memory=64132 CPUtime=0.22 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 12952 0 0 0 16 6 0 0 20 0 1 0 42503688 92389376 16033 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 22556 16033 3584 3530 0 14007 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 90224 KiB
Current children cumulated memory: 64132 KiB
[startup+0.700307 s]
/proc/loadavg: 1.08 0.31 0.16 4/247 44615
/proc/meminfo: memFree=129676624/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=126400 memory=96132 CPUtime=0.58 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 20997 0 0 0 49 9 0 0 20 0 1 0 42503688 129433600 24033 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 31600 24033 3584 3530 0 23051 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 126400 KiB
Current children cumulated memory: 96132 KiB
[startup+1.50029 s]
/proc/loadavg: 1.08 0.31 0.16 4/247 44615
/proc/meminfo: memFree=129644060/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=153920 memory=120476 CPUtime=1.37 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 28230 0 0 0 126 11 0 0 20 0 1 0 42503688 157614080 30119 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 38480 30119 3840 3530 0 29931 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 153920 KiB
Current children cumulated memory: 120476 KiB
[startup+3.11278 s]
/proc/loadavg: 1.08 0.31 0.16 5/247 44615
/proc/meminfo: memFree=129598092/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=163828 memory=125852 CPUtime=2.98 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 29591 0 0 0 286 12 0 0 20 0 1 0 42503688 167759872 31463 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 40957 31463 3840 3530 0 32408 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 163828 KiB
Current children cumulated memory: 125852 KiB
[startup+6.30021 s]
/proc/loadavg: 1.31 0.37 0.18 5/247 44660
/proc/meminfo: memFree=129591692/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=185164 memory=142620 CPUtime=6.15 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 33774 0 0 0 601 14 0 0 20 0 1 0 42503688 189607936 35655 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 46291 35655 3840 3530 0 37742 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 185164 KiB
Current children cumulated memory: 142620 KiB
[startup+12.7002 s]
/proc/loadavg: 1.53 0.43 0.20 5/251 44697
/proc/meminfo: memFree=129529496/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=208656 memory=157596 CPUtime=12.53 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 37508 0 0 0 1238 15 0 0 20 0 1 0 42503688 213663744 39399 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 52164 39399 3840 3530 0 43615 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 208656 KiB
Current children cumulated memory: 157596 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 0.63 0.27 4/247 44705
/proc/meminfo: memFree=129538816/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=226924 memory=163996 CPUtime=25.28 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 39130 0 0 0 2513 15 0 0 20 0 1 0 42503688 232370176 40999 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 56731 40999 3840 3530 0 48182 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 226924 KiB
Current children cumulated memory: 163996 KiB
[startup+51.1127 s]
/proc/loadavg: 2.85 0.91 0.38 5/251 44743
/proc/meminfo: memFree=129298400/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=236964 memory=177308 CPUtime=50.82 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 41594 0 0 0 5066 16 0 0 20 0 1 0 42503688 242651136 44327 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 59241 44327 3840 3530 0 50692 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 236964 KiB
Current children cumulated memory: 177308 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.41 0.57 5/251 44745
/proc/meminfo: memFree=129151728/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=261316 memory=232348 CPUtime=101.85 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 47463 0 0 0 10169 16 0 0 20 0 1 0 42503688 267587584 58087 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 65329 58087 3936 3530 0 56780 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 261316 KiB
Current children cumulated memory: 232348 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 1.91 0.80 5/251 44747
/proc/meminfo: memFree=129050028/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=292228 memory=256412 CPUtime=161.69 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 52283 0 0 0 16152 17 0 0 20 0 1 0 42503688 299241472 64103 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 73057 64103 3936 3530 0 64508 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 292228 KiB
Current children cumulated memory: 256412 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.31 1.01 5/251 44749
/proc/meminfo: memFree=128985336/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=319312 memory=275100 CPUtime=221.54 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 56926 0 0 0 22136 18 0 0 20 0 1 0 42503688 326975488 68775 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 79828 68775 3968 3530 0 71279 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 319312 KiB
Current children cumulated memory: 275100 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.64 1.20 5/251 44751
/proc/meminfo: memFree=128896148/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=356248 memory=303004 CPUtime=281.39 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 63914 0 0 0 28119 20 0 0 20 0 1 0 42503688 364797952 75751 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 89062 75751 3968 3530 0 80513 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 356248 KiB
Current children cumulated memory: 303004 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 2.92 1.39 5/249 44753
/proc/meminfo: memFree=128775512/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=411240 memory=345244 CPUtime=341.23 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 74517 0 0 0 34101 22 0 0 20 0 1 0 42503688 421109760 86311 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 102810 86311 3968 3530 0 94261 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 411240 KiB
Current children cumulated memory: 345244 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.13 1.56 5/250 44756
/proc/meminfo: memFree=128601960/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=461732 memory=380444 CPUtime=401.07 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 83329 0 0 0 40084 23 0 0 20 0 1 0 42503688 472813568 95111 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 115433 95111 3968 3530 0 106884 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 461732 KiB
Current children cumulated memory: 380444 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.34 1.73 5/252 44761
/proc/meminfo: memFree=128479760/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=543520 memory=437788 CPUtime=460.92 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 97729 0 0 0 46066 26 0 0 20 0 1 0 42503688 556564480 109447 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 135880 109447 3968 3530 0 127331 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
/proc/loadavg: 4.12 4.12 4.01 5/250 44991
/proc/meminfo: memFree=126930400/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1137640 memory=1001960 CPUtime=3213.77 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 165605 0 0 0 321332 45 0 0 20 0 1 0 42503688 1164943360 250490 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 284410 250490 3968 3530 0 275861 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 1137640 KiB
Current children cumulated memory: 1001960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/250 44993
/proc/meminfo: memFree=126922232/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1137640 memory=1001960 CPUtime=3273.62 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 165605 0 0 0 327317 45 0 0 20 0 1 0 42503688 1164943360 250490 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 284410 250490 3968 3530 0 275861 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 1137640 KiB
Current children cumulated memory: 1001960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/250 44995
/proc/meminfo: memFree=126870556/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1144084 memory=1011432 CPUtime=3333.47 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 165900 0 0 0 333302 45 0 0 20 0 1 0 42503688 1171542016 252858 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 286021 252858 3968 3530 0 277472 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 1144084 KiB
Current children cumulated memory: 1011432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/250 44997
/proc/meminfo: memFree=126769100/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1144084 memory=1088360 CPUtime=3393.32 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 166000 0 0 0 339287 45 0 0 20 0 1 0 42503688 1171542016 272090 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 286021 272090 3968 3530 0 277472 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 1144084 KiB
Current children cumulated memory: 1088360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/249 44999
/proc/meminfo: memFree=126716420/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1155044 memory=1127400 CPUtime=3453.16 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 167932 0 0 0 345271 45 0 0 20 0 1 0 42503688 1182765056 281850 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 288761 281850 3968 3530 0 280212 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 1155044 KiB
Current children cumulated memory: 1127400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/250 45002
/proc/meminfo: memFree=126694500/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1168624 memory=1134696 CPUtime=3513 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 169770 0 0 0 351255 45 0 0 20 0 1 0 42503688 1196670976 283674 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 292156 283674 3968 3530 0 283607 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 1168624 KiB
Current children cumulated memory: 1134696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/250 45004
/proc/meminfo: memFree=126682276/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1168624 memory=1134696 CPUtime=3572.85 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 169787 0 0 0 357240 45 0 0 20 0 1 0 42503688 1196670976 283674 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 292156 283674 3968 3530 0 283607 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 1168624 KiB
Current children cumulated memory: 1134696 KiB
[startup+3597.32 s]
# the end of solver process 44606 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.38 s, system=0.46496 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.03 5/250 45004
/proc/meminfo: memFree=126682780/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1168624 memory=1134696 CPUtime=3574.56 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 169788 0 0 0 357411 45 0 0 20 0 1 0 42503688 1196670976 283674 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 292156 283674 3968 3530 0 283607 0
Current children cumulated CPU time: 3574.56 s
Current children cumulated vsize: 1168624 KiB
Current children cumulated memory: 1134696 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.03 5/250 45004
/proc/meminfo: memFree=126682528/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1172292 memory=1136872 CPUtime=3580.93 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170333 0 0 0 358048 45 0 0 20 0 1 0 42503688 1200427008 284218 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 293073 284218 3968 3530 0 284524 0
Current children cumulated CPU time: 3580.93 s
Current children cumulated vsize: 1172292 KiB
Current children cumulated memory: 1136872 KiB
[startup+3593.6 s]
/proc/loadavg: 4.16 4.12 4.03 5/250 45004
/proc/meminfo: memFree=126682780/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1172292 memory=1136872 CPUtime=3584.12 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170333 0 0 0 358367 45 0 0 20 0 1 0 42503688 1200427008 284218 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 293073 284218 3968 3530 0 284524 0
Current children cumulated CPU time: 3584.12 s
Current children cumulated vsize: 1172292 KiB
Current children cumulated memory: 1136872 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.03 5/250 45005
/proc/meminfo: memFree=126683032/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1172292 memory=1136872 CPUtime=3585.72 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170333 0 0 0 358527 45 0 0 20 0 1 0 42503688 1200427008 284218 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 293073 284218 3968 3530 0 284524 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 1172292 KiB
Current children cumulated memory: 1136872 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.12 4.03 5/250 45005
/proc/meminfo: memFree=126683284/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1172292 memory=1136872 CPUtime=3586.53 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170333 0 0 0 358608 45 0 0 20 0 1 0 42503688 1200427008 284218 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 293073 284218 3968 3530 0 284524 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 1172292 KiB
Current children cumulated memory: 1136872 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.03 5/250 45005
/proc/meminfo: memFree=126683284/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1172292 memory=1136872 CPUtime=3587.32 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170333 0 0 0 358687 45 0 0 20 0 1 0 42503688 1200427008 284218 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 293073 284218 3968 3530 0 284524 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 1172292 KiB
Current children cumulated memory: 1136872 KiB
[startup+3597.2 s]
/proc/loadavg: 4.15 4.12 4.03 5/250 45005
/proc/meminfo: memFree=126683284/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1172292 memory=1136872 CPUtime=3587.71 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170333 0 0 0 358726 45 0 0 20 0 1 0 42503688 1200427008 284218 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 293073 284218 3968 3530 0 284524 0
Current children cumulated CPU time: 3587.71 s
Current children cumulated vsize: 1172292 KiB
Current children cumulated memory: 1136872 KiB
[startup+3597.3 s]
/proc/loadavg: 4.15 4.12 4.03 5/250 45005
/proc/meminfo: memFree=126683284/131382112 swapFree=33010684/33010684
[pid=44606] ppid=44601 vsize=1156836 memory=1121456 CPUtime=3587.81 cores=1,3
/proc/44606/stat : 44606 (pbscip) R 44601 44606 44395 0 -1 4194304 170342 0 0 0 358736 45 0 0 20 0 1 0 42503688 1184600064 280364 18446744073709551615 4235264 18693293 140729391924640 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 34758656 140729391929737 140729391929836 140729391929836 140729391935438 0
/proc/44606/statm: 289209 280364 3968 3530 0 280660 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 1156836 KiB
Current children cumulated memory: 1121456 KiB
Child status: 0
Real time (s): 3597.32
CPU time (s): 3587.85
CPU user time (s): 3587.38
CPU system time (s): 0.46496
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 1172292
Max. memory (cumulated for all children) (KiB): 1136872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.38
system time used= 0.46496
maximum resident set size= 1136872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170479
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= 129
involuntary context switches= 2438
# summary of solver processes directly reported to runsolver:
# pid: 44606
# total CPU time (s): 3587.85
# total CPU user time (s): 3587.38
# total CPU system time (s): 0.46496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5981 second user time and 32.1885 second system time
The end
Begin job on nodeC007 at 2025-06-30 09:24:05 IDJOB=4498178 IDBENCH=148543 IDSOLVER=3365 FILE ID=nodeC007/4498178-1751268244 RUNJOBID= nodeC007-1751268232-44414 SLURM_JOB_ID= 9594174 Free space on /tmp= 432996 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498178-1751268244/watcher-4498178-1751268244 -o /tmp/evaluation-result-4498178-1751268244/solver-4498178-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44414 --watchdog 3760 pbscip -f HOME/instance-4498178-1751268244.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6e1b2ff6c1557355456038edfbaaf1c1 RANDOM SEED=1449179163 nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 3491.951 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 1197.202 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 1197.355 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 1197.178 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 1197.016 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 1197.205 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 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 : 0xb00001f cpu MHz : 1197.205 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129819560 kB MemAvailable: 129932484 kB Buffers: 3280 kB Cached: 921192 kB SwapCached: 0 kB Active: 316324 kB Inactive: 674812 kB Active(anon): 84624 kB Inactive(anon): 0 kB Active(file): 231700 kB Inactive(file): 674812 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 75228 kB Writeback: 8 kB AnonPages: 69764 kB Mapped: 102816 kB Shmem: 17960 kB KReclaimable: 92076 kB Slab: 175384 kB SReclaimable: 92076 kB SUnreclaim: 83308 kB KernelStack: 3888 kB PageTables: 2916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 332988 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 432944 MiB End job on nodeC007 at 2025-06-30 10:24:03