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 | -20792 | 3586.22 | 3597.17 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern45-23.opb |
| MD5SUM | af7e878fffd6da85a395ada1cd1e9cec |
| 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 | -21362 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 10776 |
| Biggest coefficient in the objective function | 6842 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 1529132 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 6842 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 1529132 |
| Number of bits of the biggest sum of numbers | 21 |
| Number of products (including duplicates) | 10731 |
| Sum of products size (including duplicates) | 34701 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4512217-1751271861.opb>
0.00/0.07 c original problem has 10776 variables (45 bin, 0 int, 10731 impl, 0 cont) and 10731 constraints
0.00/0.07 c problem read in 0.05
0.08/0.14 o 0
0.08/0.15 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.08/0.15 c presolving:
1.61/1.76 c (1.7s) probing: 1000/10776 (9.3%) - 0 fixings, 0 aggregations, 4871 implications, 0 bound changes
1.61/1.76 c (1.7s) probing: 1001/10776 (9.3%) - 0 fixings, 0 aggregations, 4881 implications, 0 bound changes
1.61/1.76 c (1.7s) probing aborted: 1000/1000 successive useless probings
1.61/1.76 c (1.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.71/1.80 c (1.8s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
1.71/1.82 c dynamic symmetry handling statistics:
1.71/1.82 c orbitopal reduction: no components
1.71/1.82 c orbital reduction: no components
1.71/1.82 c lexicographic reduction: 1 permutations with support sizes 10702
1.71/1.82 c handled 1 out of 1 symmetry components
1.71/1.83 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
1.71/1.83 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.71/1.83 c 0 implications, 39582 cliques
1.71/1.83 c presolved problem has 10776 variables (45 bin, 0 int, 10731 impl, 0 cont) and 10731 constraints
1.71/1.83 c 10731 constraints of type <and>
1.71/1.83 c transformed objective value is always integral (scale: 1)
1.71/1.83 c Presolving Time: 1.70
1.71/1.83 c - non default parameters ----------------------------------------------------------------------
1.71/1.83 c # SCIP version 10.0.0
1.71/1.83 c
1.71/1.83 c # maximal time in seconds to run
1.71/1.83 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.71/1.83 c limits/time = 3596.99413
1.71/1.83 c
1.71/1.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.71/1.83 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.71/1.83 c limits/memory = 27900
1.71/1.83 c
1.71/1.83 c # belongs reading time to solving time?
1.71/1.83 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.71/1.83 c timing/reading = TRUE
1.71/1.83 c
1.71/1.83 c -----------------------------------------------------------------------------------------------
1.71/1.83 c start solving
1.71/1.83 c transformed 2/2 original solutions to the transformed problem space
1.71/1.84 c
1.91/2.07 o -6842
1.91/2.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.91/2.07 c p 2.1s| 1 | 0 | 80 | - | vbounds| 0 | 10k| 10k| 21k| 0 | 0 | 0 | 0 |-7.645660e+05 |-6.842000e+03 | Large | unknown
8.95/9.14 c 9.1s| 1 | 0 | 11683 | - | 193M | 0 | 10k| 10k| 21k| 0 | 0 | 2 | 0 |-3.822830e+05 |-6.842000e+03 |5487.30%| unknown
10.83/11.06 c 11.0s| 1 | 0 | 13480 | - | 250M | 0 | 10k| 10k| 23k|2000 | 1 | 12 | 0 |-3.518150e+05 |-6.842000e+03 |5041.99%| unknown
20.14/20.47 c 20.4s| 1 | 0 | 14484 | - | 353M | 0 | 10k| 10k| 24k|2767 | 2 | 12 | 0 |-3.452590e+05 |-6.842000e+03 |4946.17%| unknown
30.59/30.95 c 30.9s| 1 | 0 | 15561 | - | 391M | 0 | 10k| 10k| 24k|3456 | 3 | 12 | 0 |-3.350470e+05 |-6.842000e+03 |4796.92%| unknown
40.56/40.96 c 40.9s| 1 | 0 | 17001 | - | 419M | 0 | 10k| 10k| 25k|4087 | 4 | 12 | 0 |-3.216115e+05 |-6.842000e+03 |4600.55%| unknown
51.44/51.85 c 51.8s| 1 | 0 | 18852 | - | 444M | 0 | 10k| 10k| 26k|4643 | 5 | 12 | 0 |-3.085463e+05 |-6.842000e+03 |4409.59%| unknown
62.91/63.30 c 63.3s| 1 | 0 | 21478 | - | 453M | 0 | 10k| 10k| 26k|5276 | 6 | 12 | 0 |-2.932492e+05 |-6.842000e+03 |4186.02%| unknown
72.38/72.83 c 72.8s| 1 | 0 | 21940 | - | 458M | 0 | 10k| 10k| 26k|5411 | 7 | 12 | 0 |-2.896385e+05 |-6.842000e+03 |4133.24%| unknown
74.78/75.30 c 75.3s| 1 | 0 | 24966 | - | 459M | 0 | 10k| 10k| 27k|6051 | 8 | 12 | 0 |-2.721248e+05 |-6.842000e+03 |3877.27%| unknown
75.48/75.90 c 75.9s| 1 | 0 | 25692 | - | 459M | 0 | 10k| 10k| 27k|6130 | 9 | 12 | 0 |-2.673146e+05 |-6.842000e+03 |3806.97%| unknown
75.88/76.32 c 76.3s| 1 | 0 | 26145 | - | 459M | 0 | 10k| 10k| 27k|6177 | 10 | 12 | 0 |-2.673146e+05 |-6.842000e+03 |3806.97%| unknown
75.88/76.32 c 76.3s| 1 | 0 | 26145 | - | 459M | 0 | 10k| 10k| 27k|6177 | 10 | 12 | 0 |-2.647159e+05 |-6.842000e+03 |3768.98%| unknown
77.68/78.13 c 78.1s| 1 | 0 | 28750 | - | 459M | 0 | 10k| 10k| 29k|7612 | 11 | 12 | 0 |-2.647159e+05 |-6.842000e+03 |3768.98%| unknown
77.87/78.39 c 78.4s| 1 | 0 | 29283 | - | 459M | 0 | 10k| 10k| 28k|7612 | 11 | 12 | 0 |-2.459973e+05 |-6.842000e+03 |3495.40%| unknown
90.24/90.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
90.24/90.79 c 90.8s| 1 | 0 | 32634 | - | 494M | 0 | 10k| 10k| 28k|8051 | 12 | 12 | 0 |-2.459973e+05 |-6.842000e+03 |3495.40%| unknown
90.65/91.16 c 91.1s| 1 | 0 | 33395 | - | 494M | 0 | 10k| 10k| 28k|8051 | 12 | 12 | 0 |-2.290752e+05 |-6.842000e+03 |3248.07%| unknown
103.62/104.12 c 104s| 1 | 0 | 37169 | - | 508M | 0 | 10k| 10k| 28k|8759 | 13 | 12 | 0 |-2.290752e+05 |-6.842000e+03 |3248.07%| unknown
103.71/104.25 c 104s| 1 | 0 | 37283 | - | 508M | 0 | 10k| 10k| 28k|8759 | 13 | 12 | 0 |-2.128418e+05 |-6.842000e+03 |3010.81%| unknown
116.38/116.90 c 117s| 1 | 0 | 41043 | - | 515M | 0 | 10k| 10k| 29k|9432 | 14 | 12 | 0 |-2.128418e+05 |-6.842000e+03 |3010.81%| unknown
116.49/117.03 c 117s| 1 | 0 | 41159 | - | 515M | 0 | 10k| 10k| 28k|9432 | 14 | 12 | 0 |-2.019379e+05 |-6.842000e+03 |2851.45%| unknown
119.48/120.06 c 120s| 1 | 0 | 45678 | - | 515M | 0 | 10k| 10k| 29k|9964 | 15 | 12 | 0 |-2.019379e+05 |-6.842000e+03 |2851.45%| unknown
119.66/120.20 c 120s| 1 | 0 | 45870 | - | 515M | 0 | 10k| 10k| 28k|9964 | 15 | 12 | 0 |-1.928548e+05 |-6.842000e+03 |2718.69%| unknown
120.66/121.24 c 121s| 1 | 0 | 47317 | - | 515M | 0 | 10k| 10k| 29k| 10k| 16 | 12 | 0 |-1.928548e+05 |-6.842000e+03 |2718.69%| unknown
120.66/121.26 c 121s| 1 | 0 | 47344 | - | 515M | 0 | 10k| 10k| 29k| 10k| 16 | 12 | 0 |-1.906037e+05 |-6.842000e+03 |2685.79%| unknown
124.95/125.58 c 126s| 1 | 0 | 52784 | - | 520M | 0 | 10k| 10k| 29k| 10k| 17 | 12 | 0 |-1.906037e+05 |-6.842000e+03 |2685.79%| unknown
125.15/125.71 c 126s| 1 | 0 | 52975 | - | 520M | 0 | 10k| 10k| 29k| 10k| 17 | 12 | 0 |-1.812502e+05 |-6.842000e+03 |2549.08%| unknown
132.73/133.39 c 133s| 1 | 0 | 63604 | - | 525M | 0 | 10k| 10k| 31k| 12k| 18 | 12 | 0 |-1.812502e+05 |-6.842000e+03 |2549.08%| unknown
133.13/133.78 c 134s| 1 | 0 | 64248 | - | 525M | 0 | 10k| 10k| 31k| 12k| 18 | 12 | 0 |-1.640629e+05 |-6.842000e+03 |2297.88%| unknown
136.72/137.33 c 137s| 1 | 0 | 68144 | - | 531M | 0 | 10k| 10k| 31k| 13k| 19 | 12 | 0 |-1.640629e+05 |-6.842000e+03 |2297.88%| unknown
136.72/137.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
136.72/137.38 c 137s| 1 | 0 | 68215 | - | 531M | 0 | 10k| 10k| 31k| 13k| 19 | 12 | 0 |-1.583580e+05 |-6.842000e+03 |2214.50%| unknown
140.91/141.57 c 142s| 1 | 0 | 73428 | - | 534M | 0 | 10k| 10k| 32k| 13k| 20 | 12 | 0 |-1.583580e+05 |-6.842000e+03 |2214.50%| unknown
141.11/141.78 c 142s| 1 | 0 | 73755 | - | 534M | 0 | 10k| 10k| 31k| 13k| 20 | 12 | 0 |-1.555100e+05 |-6.842000e+03 |2172.87%| unknown
143.59/144.23 c 144s| 1 | 0 | 76432 | - | 539M | 0 | 10k| 10k| 31k| 14k| 21 | 12 | 0 |-1.555100e+05 |-6.842000e+03 |2172.87%| unknown
143.69/144.34 c 144s| 1 | 0 | 76558 | - | 539M | 0 | 10k| 10k| 31k| 14k| 21 | 12 | 0 |-1.541345e+05 |-6.842000e+03 |2152.77%| unknown
145.50/146.17 c 146s| 1 | 0 | 78510 | - | 542M | 0 | 10k| 10k| 31k| 14k| 22 | 12 | 0 |-1.541345e+05 |-6.842000e+03 |2152.77%| unknown
145.58/146.26 c 146s| 1 | 0 | 78612 | - | 542M | 0 | 10k| 10k| 31k| 14k| 22 | 12 | 0 |-1.535180e+05 |-6.842000e+03 |2143.76%| unknown
146.98/147.64 c 148s| 1 | 0 | 79929 | - | 545M | 0 | 10k| 10k| 31k| 14k| 23 | 12 | 0 |-1.535180e+05 |-6.842000e+03 |2143.76%| unknown
146.98/147.68 c 148s| 1 | 0 | 79968 | - | 545M | 0 | 10k| 10k| 31k| 14k| 23 | 12 | 0 |-1.532622e+05 |-6.842000e+03 |2140.02%| unknown
148.49/149.16 c 149s| 1 | 0 | 81613 | - | 549M | 0 | 10k| 10k| 31k| 14k| 24 | 12 | 0 |-1.532622e+05 |-6.842000e+03 |2140.02%| unknown
148.49/149.19 c 149s| 1 | 0 | 81630 | - | 549M | 0 | 10k| 10k| 31k| 14k| 24 | 12 | 0 |-1.530395e+05 |-6.842000e+03 |2136.77%| unknown
149.57/150.24 c 150s| 1 | 0 | 82554 | - | 552M | 0 | 10k| 10k| 31k| 14k| 25 | 12 | 0 |-1.530395e+05 |-6.842000e+03 |2136.77%| unknown
149.57/150.27 c 150s| 1 | 0 | 82584 | - | 552M | 0 | 10k| 10k| 31k| 14k| 25 | 12 | 0 |-1.528958e+05 |-6.842000e+03 |2134.67%| unknown
150.27/150.95 c 151s| 1 | 0 | 82840 | - | 555M | 0 | 10k| 10k| 31k| 14k| 26 | 12 | 0 |-1.528958e+05 |-6.842000e+03 |2134.67%| unknown
150.27/150.95 c 151s| 1 | 0 | 82840 | - | 555M | 0 | 10k| 10k| 31k| 14k| 26 | 12 | 0 |-1.528528e+05 |-6.842000e+03 |2134.04%| unknown
151.27/151.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
151.27/151.95 c 152s| 1 | 0 | 83483 | - | 561M | 0 | 10k| 10k| 31k| 14k| 27 | 12 | 0 |-1.528528e+05 |-6.842000e+03 |2134.04%| unknown
151.27/151.97 c 152s| 1 | 0 | 83492 | - | 561M | 0 | 10k| 10k| 31k| 14k| 27 | 12 | 0 |-1.527691e+05 |-6.842000e+03 |2132.81%| unknown
151.86/152.58 c 153s| 1 | 0 | 83841 | - | 561M | 0 | 10k| 10k| 31k| 15k| 28 | 12 | 0 |-1.527691e+05 |-6.842000e+03 |2132.81%| unknown
151.86/152.58 c 153s| 1 | 0 | 83841 | - | 561M | 0 | 10k| 10k| 31k| 15k| 28 | 12 | 0 |-1.527145e+05 |-6.842000e+03 |2132.02%| unknown
152.66/153.33 c 153s| 1 | 0 | 84299 | - | 561M | 0 | 10k| 10k| 30k| 15k| 29 | 12 | 0 |-1.527145e+05 |-6.842000e+03 |2132.02%| unknown
152.66/153.33 c 153s| 1 | 0 | 84299 | - | 561M | 0 | 10k| 10k| 30k| 15k| 29 | 12 | 0 |-1.526629e+05 |-6.842000e+03 |2131.26%| unknown
153.56/154.24 c 154s| 1 | 0 | 85041 | - | 561M | 0 | 10k| 10k| 30k| 15k| 30 | 12 | 0 |-1.526629e+05 |-6.842000e+03 |2131.26%| unknown
153.56/154.28 c 154s| 1 | 0 | 85083 | - | 561M | 0 | 10k| 10k| 30k| 15k| 30 | 12 | 0 |-1.525585e+05 |-6.842000e+03 |2129.74%| unknown
154.26/154.97 c 155s| 1 | 0 | 85696 | - | 561M | 0 | 10k| 10k| 30k| 15k| 31 | 12 | 0 |-1.525585e+05 |-6.842000e+03 |2129.74%| unknown
154.26/154.97 c 155s| 1 | 0 | 85696 | - | 561M | 0 | 10k| 10k| 30k| 15k| 31 | 12 | 0 |-1.525190e+05 |-6.842000e+03 |2129.16%| unknown
154.96/155.68 c 156s| 1 | 0 | 86096 | - | 561M | 0 | 10k| 10k| 30k| 15k| 32 | 12 | 0 |-1.525190e+05 |-6.842000e+03 |2129.16%| unknown
154.96/155.68 c 156s| 1 | 0 | 86096 | - | 561M | 0 | 10k| 10k| 30k| 15k| 32 | 12 | 0 |-1.524749e+05 |-6.842000e+03 |2128.51%| unknown
155.65/156.34 c 156s| 1 | 0 | 86569 | - | 561M | 0 | 10k| 10k| 30k| 15k| 33 | 12 | 0 |-1.524749e+05 |-6.842000e+03 |2128.51%| unknown
155.75/156.40 c 156s| 1 | 0 | 86586 | - | 561M | 0 | 10k| 10k| 30k| 15k| 33 | 12 | 0 |-1.523879e+05 |-6.842000e+03 |2127.24%| unknown
156.36/157.03 c 157s| 1 | 0 | 86915 | - | 562M | 0 | 10k| 10k| 30k| 15k| 34 | 12 | 0 |-1.523879e+05 |-6.842000e+03 |2127.24%| unknown
156.36/157.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
156.36/157.06 c 157s| 1 | 0 | 86917 | - | 562M | 0 | 10k| 10k| 30k| 15k| 34 | 12 | 0 |-1.523487e+05 |-6.842000e+03 |2126.67%| unknown
156.95/157.67 c 158s| 1 | 0 | 87197 | - | 562M | 0 | 10k| 10k| 30k| 15k| 35 | 12 | 0 |-1.523487e+05 |-6.842000e+03 |2126.67%| unknown
156.95/157.67 c 158s| 1 | 0 | 87197 | - | 562M | 0 | 10k| 10k| 30k| 15k| 35 | 12 | 0 |-1.523224e+05 |-6.842000e+03 |2126.28%| unknown
157.46/158.17 c 158s| 1 | 0 | 87335 | - | 562M | 0 | 10k| 10k| 30k| 15k| 36 | 12 | 0 |-1.523224e+05 |-6.842000e+03 |2126.28%| unknown
157.46/158.18 c 158s| 1 | 0 | 87335 | - | 562M | 0 | 10k| 10k| 30k| 15k| 36 | 12 | 0 |-1.523032e+05 |-6.842000e+03 |2126.00%| unknown
157.95/158.67 c 159s| 1 | 0 | 87433 | - | 562M | 0 | 10k| 10k| 30k| 15k| 37 | 12 | 0 |-1.523032e+05 |-6.842000e+03 |2126.00%| unknown
157.95/158.67 c 159s| 1 | 0 | 87433 | - | 562M | 0 | 10k| 10k| 30k| 15k| 37 | 12 | 0 |-1.522938e+05 |-6.842000e+03 |2125.87%| unknown
158.46/159.16 c 159s| 1 | 0 | 87456 | - | 562M | 0 | 10k| 10k| 30k| 15k| 38 | 12 | 0 |-1.522918e+05 |-6.842000e+03 |2125.84%| unknown
165.13/165.84 o -20723
165.13/165.84 c d 166s| 1 | 0 | 98950 | - |farkasdi| 0 | 10k| 10k| 30k| 0 | 39 | 12 | 0 |-1.522918e+05 |-2.072300e+04 | 634.89%| unknown
173.21/174.00 c 174s| 1 | 0 |111594 | - | 563M | 0 | 10k| 10k| 30k| 15k| 39 | 12 | 0 |-1.522918e+05 |-2.072300e+04 | 634.89%| unknown
173.32/174.11 c 174s| 1 | 0 |111595 | - | 563M | 0 | 10k| 10k| 30k| 15k| 40 | 12 | 0 |-1.522918e+05 |-2.072300e+04 | 634.89%| unknown
190.76/191.52 c 192s| 1 | 2 |111595 | - | 565M | 0 | 10k| 10k| 30k| 15k| 41 | 12 | 23 |-1.522918e+05 |-2.072300e+04 | 634.89%| unknown
742.78/745.36 o -20773
742.78/745.36 c d 745s| 73 | 74 |730905 |8937.9 |farkasdi| 11 | 10k| 10k| 33k| 0 | 3 | 12 | 195 |-9.066500e+04 |-2.077300e+04 | 336.46%| unknown
967.38/970.52 c 970s| 100 | 101 |865250 |7857.3 | 920M | 11 | 10k| 10k| 31k| 54k| 2 | 12 | 195 |-9.066500e+04 |-2.077300e+04 | 336.46%| unknown
2118.55/2125.28 o -20792
2118.55/2125.28 c d2125s| 191 | 192 | 1530k|7594.9 |farkasdi| 11 | 10k| 10k| 32k| 0 | 2 | 12 | 205 |-9.066500e+04 |-2.079200e+04 | 336.06%| unknown
2179.76/2186.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2179.76/2186.61 c 2187s| 200 | 201 | 1562k|7413.7 | 1193M | 11 | 10k| 10k| 31k| 78k| 3 | 12 | 206 |-9.066500e+04 |-2.079200e+04 | 336.06%| unknown
3586.06/3597.01 c
3586.06/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.06/3597.01 c Solving Time (sec) : 3597.00
3586.06/3597.01 c Solving Nodes : 263
3586.06/3597.01 c Primal Bound : -2.07920000000000e+04 (6 solutions)
3586.06/3597.01 c Dual Bound : -9.06650000000000e+04
3586.06/3597.01 c Gap : 336.06 %
3586.06/3597.02 s SATISFIABLE
3586.06/3597.02 v -x45 -x44 -x43 x42 x41 -x40 -x39 x38 -x37 x36 -x35 -x34 x33 -x32 x31 x30 x29 x28 -x27 -x26 x25 x24 -x23 x22 x21 -x20 -x19 x18 x17
3586.06/3597.02 v x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 x1
3586.06/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.06/3597.02 c Total Time : 3597.00
3586.06/3597.02 c solving : 3597.00
3586.06/3597.02 c presolving : 1.70 (included in solving)
3586.06/3597.02 c reading : 0.05 (included in solving)
3586.06/3597.02 c copying : 0.04 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3586.06/3597.02 c Original Problem :
3586.06/3597.02 c Problem name : HOME/instance-4512217-1751271861.opb
3586.06/3597.02 c Variables : 10776 (45 binary, 0 integer, 10731 implicit integer, 0 continuous)
3586.06/3597.02 c Constraints : 10731 initial, 10731 maximal
3586.06/3597.02 c Objective : minimize, 10776 non-zeros (abs.min = 8, abs.max = 6842)
3586.06/3597.02 c Presolved Problem :
3586.06/3597.02 c Problem name : t_HOME/instance-4512217-1751271861.opb
3586.06/3597.02 c Variables : 10776 (45 binary, 0 integer, 10731 implicit integer, 0 continuous)
3586.06/3597.02 c Constraints : 10731 initial, 10744 maximal
3586.06/3597.02 c Objective : minimize, 10776 non-zeros (abs.min = 8, abs.max = 6842)
3586.06/3597.02 c Nonzeros : 45432 constraint, 79164 clique table
3586.06/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.06/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c implics : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c trivial : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c dualfix : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c probing : 1.55 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c and : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.06/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.06/3597.02 c benderslp : 0 0 0 0 262 0 0 671 0 0 0 0 0 0 0
3586.06/3597.02 c integral : 0 0 0 0 262 0 0 671 0 0 0 0 0 0 524
3586.06/3597.02 c and : 10731 10731 1124 30239 0 0 0 668 52 2 134135 44889 6151 0 0
3586.06/3597.02 c logicor : 0+ 13 33 469 0 0 0 0 2 1 0 0 0 0 0
3586.06/3597.02 c benders : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
3586.06/3597.02 c fixedvar : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
3586.06/3597.02 c countsols : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
3586.06/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.06/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c integral : 149.70 0.00 0.00 0.00 149.70 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c and : 7.21 0.00 3.61 3.16 0.00 0.00 0.00 0.08 0.00 0.37
3586.06/3597.02 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.06/3597.02 c dualfix : 3 0 0 0
3586.06/3597.02 c genvbounds : 0 0 0 0
3586.06/3597.02 c nlobbt : 0 0 0 0
3586.06/3597.02 c obbt : 0 0 0 0
3586.06/3597.02 c probing : 0 0 0 0
3586.06/3597.02 c pseudoobj : 837 0 0 0
3586.06/3597.02 c redcost : 2313 0 0 0
3586.06/3597.02 c rootredcost : 3 0 0 0
3586.06/3597.02 c symmetry : 17640 0 0 10
3586.06/3597.02 c vbounds : 11131 0 0 0
3586.06/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.06/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c probing : 1.55 0.00 1.55 0.00 0.00 0.00
3586.06/3597.02 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3586.06/3597.02 c redcost : 0.33 0.00 0.00 0.33 0.00 0.00
3586.06/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.06/3597.02 c symmetry : 0.11 0.00 0.06 0.05 0.00 0.00
3586.06/3597.02 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
3586.06/3597.02 c Symmetry :
3586.06/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.06/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.06/3597.02 c lexicographic red: 17 reductions applied, 0 cutoffs
3586.06/3597.02 c shadow tree time : 0.00 s
3586.06/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.06/3597.02 c propagation : 0.00 3 3 - 27 43.3 0 0.0 - - -
3586.06/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.06/3597.02 c bound exceed. LP : 0.06 3 0 - 0 0.0 0 0.0 0 0.0 30
3586.06/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.06/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.06/3597.02 c applied globally : 0.01 - - 0 12 36.1 - - 0 - -
3586.06/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.06/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.06/3597.02 c cut pool : 1.13 - 1393 72 - - 44762 387533 - - - - - (maximal pool size: 38182)
3586.06/3597.02 c aggregation : 114.25 0.00 441 33 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.06/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.06/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.06/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c clique : 0.02 0.00 33 33 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c gomory : 1623.31 0.00 197 10 0 0 2652 11041 0 294 294 0 0
3586.06/3597.02 c > gomorymi : - - - - - - - 5330 0 115 115 0 -
3586.06/3597.02 c > strongcg : - - - - - - - 5711 0 179 179 0 -
3586.06/3597.02 c impliedbounds : 0.51 0.00 441 33 0 0 11179 59003 0 11727 11727 0 0
3586.06/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c mixing : 0.00 0.00 441 33 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c multilinear : 1.79 0.00 495 34 0 0 522391 253556 493704 71338 41512 29826 0
3586.06/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c rapidlearning : 0.08 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.06/3597.02 c rlt : 273.94 0.00 49 10 0 0 777 18831 0 2767 2767 0 0
3586.06/3597.02 c zerohalf : 10.02 0.00 207 20 0 0 1467 45102 0 5961 5961 0 0
3586.06/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.06/3597.02 c hybrid : 1.69 0.00 1787 39 98238 0 827888 15576 0 86310
3586.06/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.06/3597.02 c problem variables: 1.03 - 4618 16533
3586.06/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.06/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c relpscost : 149.70 0.00 262 0 0 0 0 0 0 524
3586.06/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.06/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.06/3597.02 c LP solutions : 0.00 - - 0 0
3586.06/3597.02 c relax solutions : 0.00 - - 0 0
3586.06/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.06/3597.02 c strong branching : 0.00 - - 0 0
3586.06/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.06/3597.02 c adaptivediving : 12.99 0.00 9 0 0
3586.06/3597.02 c alns : 0.11 0.00 1 0 0
3586.06/3597.02 c bound : 0.00 0.00 0 0 0
3586.06/3597.02 c clique : 0.11 0.00 1 0 0
3586.06/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.06/3597.02 c completesol : 0.00 0.00 0 0 0
3586.06/3597.02 c conflictdiving : 2.51 0.00 22 0 0
3586.06/3597.02 c crossover : 0.00 0.00 0 0 0
3586.06/3597.02 c dins : 0.00 0.00 0 0 0
3586.06/3597.02 c distributiondivin: 6.32 0.00 2 0 0
3586.06/3597.02 c dps : 0.00 0.00 0 0 0
3586.06/3597.02 c dualval : 0.00 0.00 0 0 0
3586.06/3597.02 c farkasdiving : 81.87 0.00 22 3 3
3586.06/3597.02 c feasjump : 0.00 0.00 0 0 0
3586.06/3597.02 c feaspump : 7.82 0.00 1 0 0
3586.06/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.06/3597.02 c fracdiving : 0.70 0.00 2 0 0
3586.06/3597.02 c gins : 0.00 0.00 0 0 0
3586.06/3597.02 c guideddiving : 27.10 0.00 21 0 0
3586.06/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3586.06/3597.02 c indicator : 0.00 0.00 0 0 0
3586.06/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.06/3597.02 c indoneopt : 0.00 0.00 0 0 0
3586.06/3597.02 c indrounding : 0.00 0.00 0 0 0
3586.06/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3586.06/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.06/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.06/3597.02 c linesearchdiving : 7.11 0.00 21 0 0
3586.06/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.06/3597.02 c locks : 0.05 0.00 1 0 0
3586.06/3597.02 c lpface : 0.00 0.00 0 0 0
3586.06/3597.02 c mpec : 0.00 0.00 0 0 0
3586.06/3597.02 c multistart : 0.00 0.00 0 0 0
3586.06/3597.02 c mutation : 0.00 0.00 0 0 0
3586.06/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.06/3597.02 c objpscostdiving : 28.32 0.00 2 0 0
3586.06/3597.02 c octane : 0.00 0.00 0 0 0
3586.06/3597.02 c ofins : 0.00 0.00 0 0 0
3586.06/3597.02 c oneopt : 0.03 0.00 4 0 0
3586.06/3597.02 c padm : 0.00 0.00 0 0 0
3586.06/3597.02 c proximity : 0.00 0.00 0 0 0
3586.06/3597.02 c pscostdiving : 2.40 0.00 2 0 0
3586.06/3597.02 c randrounding : 0.82 0.00 41 0 0
3586.06/3597.02 c rens : 0.00 0.00 0 0 0
3586.06/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.06/3597.02 c repair : 0.00 0.00 0 0 0
3586.06/3597.02 c rins : 0.00 0.00 0 0 0
3586.06/3597.02 c rootsoldiving : 21.39 0.00 5 0 0
3586.06/3597.02 c rounding : 0.92 0.00 696 0 0
3586.06/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.06/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3586.06/3597.02 c shifting : 2.25 0.00 393 0 0
3586.06/3597.02 c simplerounding : 1.12 0.00 4618 0 0
3586.06/3597.02 c smallcard : 0.00 0.00 0 0 0
3586.06/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.06/3597.02 c trivial : 0.02 0.00 2 2 1
3586.06/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.06/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.06/3597.02 c trysol : 0.00 0.00 0 0 0
3586.06/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.06/3597.02 c undercover : 0.39 0.00 1 0 0
3586.06/3597.02 c vbounds : 0.42 0.00 1 1 1
3586.06/3597.02 c veclendiving : 11.51 0.00 5 0 0
3586.06/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.06/3597.02 c zirounding : 1.26 0.00 262 0 0
3586.06/3597.02 c other solutions : - - - 0 -
3586.06/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 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
3586.06/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.06/3597.02 c primal LP : 216.43 2729 384499 176.46 1776.52 4.09 550
3586.06/3597.02 c dual LP : 953.44 2446 1456971 710.72 1528.12 3.29 396
3586.06/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.06/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.06/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.06/3597.02 c diving/probing LP: 197.65 1248 393740 315.50 1992.07
3586.06/3597.02 c strong branching : 147.27 231 205109 887.92 1392.71 - - 356
3586.06/3597.02 c (at root node) : - 23 23000 1000.00 -
3586.06/3597.02 c conflict analysis: 0.01 3 30 10.00 -
3586.06/3597.02 c B&B Tree :
3586.06/3597.02 c number of runs : 1
3586.06/3597.02 c nodes : 263 (262 internal, 1 leaves)
3586.06/3597.02 c feasible leaves : 0
3586.06/3597.02 c infeas. leaves : 0
3586.06/3597.02 c objective leaves : 0
3586.06/3597.02 c nodes (total) : 263 (262 internal, 1 leaves)
3586.06/3597.02 c nodes left : 263
3586.06/3597.02 c max depth : 11
3586.06/3597.02 c max depth (total): 11
3586.06/3597.02 c backtracks : 141 (53.6%)
3586.06/3597.02 c early backtracks : 0 (0.0%)
3586.06/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.06/3597.02 c delayed cutoffs : 0
3586.06/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.06/3597.02 c avg switch length: 6.56
3586.06/3597.02 c switching time : 1.54
3586.06/3597.02 c Root Node :
3586.06/3597.02 c First LP value : -3.82283000000000e+05
3586.06/3597.02 c First LP Iters : 11603 (1734.93 Iter/sec)
3586.06/3597.02 c First LP Time : 6.69
3586.06/3597.02 c Final Dual Bound : -1.52291822222222e+05
3586.06/3597.02 c Final Root Iters : 87377
3586.06/3597.02 c Root LP Estimate : -8.77990145666202e+04
3586.06/3597.02 c Solution :
3586.06/3597.02 c Solutions found : 6 (5 improvements)
3586.06/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
3586.06/3597.02 c Gap First Sol. : infinite
3586.06/3597.02 c Gap Last Sol. : 336.06 %
3586.06/3597.02 c Primal Bound : -2.07920000000000e+04 (in run 1, after 191 nodes, 2125.26 seconds, depth 44, found by <farkasdiving>)
3586.06/3597.02 c Dual Bound : -9.06650000000000e+04
3586.06/3597.02 c Gap : 336.06 %
3586.06/3597.02 c Integrals : Total Avg%
3586.06/3597.02 c primal-dual : 283888.14 78.92
3586.06/3597.02 c primal-ref : - - (not evaluated)
3586.06/3597.02 c dual-ref : - - (not evaluated)
3586.16/3597.16 c Time complete: 3586.21.
OK -20792
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 (62468 MiB free)
memory of node 1: 64465 MiB (63612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512217-1751271861/watcher-4512217-1751271861 -o /tmp/evaluation-result-4512217-1751271861/solver-4512217-1751271861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44415 --watchdog 3760 pbscip -f HOME/instance-4512217-1751271861.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45185, runsolver pid=45182
[startup+0.100074 s]*
/proc/loadavg: 4.31 4.16 4.05 6/251 45186
/proc/meminfo: memFree=129075460/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=70452 memory=44668 CPUtime=0.08 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 8152 0 0 0 6 2 0 0 20 0 1 0 42865231 72142848 11167 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 17613 11167 3552 3530 0 9064 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70452 KiB
Current children cumulated memory: 44668 KiB
[startup+0.217259 s]*
/proc/loadavg: 4.31 4.16 4.05 5/251 45186
/proc/meminfo: memFree=129059332/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=89064 memory=61052 CPUtime=0.18 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 12210 0 0 0 15 3 0 0 20 0 1 0 42865231 91201536 15263 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 22266 15263 3616 3530 0 13717 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 89064 KiB
Current children cumulated memory: 61052 KiB
[startup+0.314033 s]*
/proc/loadavg: 4.31 4.16 4.05 5/251 45186
/proc/meminfo: memFree=129059332/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=89896 memory=61948 CPUtime=0.27 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 12437 0 0 0 23 4 0 0 20 0 1 0 42865231 92053504 15487 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 22474 15487 3616 3530 0 13925 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 89896 KiB
Current children cumulated memory: 61948 KiB
[startup+0.700181 s]
/proc/loadavg: 4.31 4.16 4.05 5/251 45186
/proc/meminfo: memFree=129059584/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=90688 memory=62460 CPUtime=0.62 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 12588 0 0 0 58 4 0 0 20 0 1 0 42865231 92864512 15615 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 22672 15615 3616 3530 0 14123 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 90688 KiB
Current children cumulated memory: 62460 KiB
[startup+1.50019 s]
/proc/loadavg: 4.31 4.16 4.05 5/251 45186
/proc/meminfo: memFree=129056560/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=91740 memory=63484 CPUtime=1.41 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 12841 0 0 0 137 4 0 0 20 0 1 0 42865231 93941760 15871 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 22935 15871 3616 3530 0 14386 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 91740 KiB
Current children cumulated memory: 63484 KiB
[startup+3.10512 s]
/proc/loadavg: 4.31 4.16 4.05 5/251 45186
/proc/meminfo: memFree=128936356/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=250512 memory=179252 CPUtime=3 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 43331 0 0 0 291 9 0 0 20 0 1 0 42865231 256524288 44813 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 62628 44813 3840 3530 0 54079 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 250512 KiB
Current children cumulated memory: 179252 KiB
[startup+6.30014 s]
/proc/loadavg: 4.29 4.16 4.05 5/251 45186
/proc/meminfo: memFree=128936840/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=252328 memory=181556 CPUtime=6.17 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 43910 0 0 0 607 10 0 0 20 0 1 0 42865231 258383872 45389 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 63082 45389 3840 3530 0 54533 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 252328 KiB
Current children cumulated memory: 181556 KiB
[startup+12.7001 s]
/proc/loadavg: 4.26 4.16 4.05 5/251 45186
/proc/meminfo: memFree=128811020/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=359380 memory=287608 CPUtime=12.51 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 69178 0 0 0 1237 14 0 0 20 0 1 0 42865231 368005120 71902 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 89845 71902 3968 3530 0 81296 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 359380 KiB
Current children cumulated memory: 287608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.16 4.05 5/251 45186
/proc/meminfo: memFree=128706692/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=453748 memory=378488 CPUtime=25.2 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 92005 0 0 0 2503 17 0 0 20 0 1 0 42865231 464637952 94622 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 113437 94622 3968 3530 0 104888 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 453748 KiB
Current children cumulated memory: 378488 KiB
[startup+51.1129 s]
/proc/loadavg: 4.18 4.15 4.05 5/251 45187
/proc/meminfo: memFree=128627884/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=520624 memory=441208 CPUtime=50.75 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 107769 0 0 0 5055 20 0 0 20 0 1 0 42865231 533118976 110302 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 130156 110302 3968 3530 0 121607 0
Current children cumulated CPU time: 50.75 s
Current children cumulated vsize: 520624 KiB
Current children cumulated memory: 441208 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/251 45189
/proc/meminfo: memFree=128521544/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=580480 memory=494712 CPUtime=101.81 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 121182 0 0 0 10159 22 0 0 20 0 1 0 42865231 594411520 123678 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 145120 123678 3968 3530 0 136571 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 580480 KiB
Current children cumulated memory: 494712 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/253 45288
/proc/meminfo: memFree=128558324/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=626640 memory=504696 CPUtime=161.64 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 123703 0 0 0 16138 26 0 0 20 0 1 0 42865231 641679360 126174 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 156660 126174 3968 3530 0 148111 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 626640 KiB
Current children cumulated memory: 504696 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.06 5/252 45290
/proc/meminfo: memFree=128348712/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=668916 memory=545528 CPUtime=221.48 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 133918 0 0 0 22119 29 0 0 20 0 1 0 42865231 684969984 136382 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 167229 136382 3968 3530 0 158680 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 668916 KiB
Current children cumulated memory: 545528 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.07 5/252 45292
/proc/meminfo: memFree=128346968/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=668916 memory=545528 CPUtime=281.28 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 133922 0 0 0 28099 29 0 0 20 0 1 0 42865231 684969984 136382 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 167229 136382 3968 3530 0 158680 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 668916 KiB
Current children cumulated memory: 545528 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/251 45294
/proc/meminfo: memFree=128256832/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=668916 memory=545656 CPUtime=341.06 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 133954 0 0 0 34077 29 0 0 20 0 1 0 42865231 684969984 136414 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 167229 136414 3968 3530 0 158680 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 668916 KiB
Current children cumulated memory: 545656 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/251 45297
/proc/meminfo: memFree=128130636/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=668916 memory=545656 CPUtime=400.85 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 133974 0 0 0 40055 30 0 0 20 0 1 0 42865231 684969984 136414 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 167229 136414 3968 3530 0 158680 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 668916 KiB
Current children cumulated memory: 545656 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/249 45299
/proc/meminfo: memFree=128113884/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=668916 memory=546808 CPUtime=460.62 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 134241 0 0 0 46032 30 0 0 20 0 1 0 42865231 684969984 136702 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 167229 136702 3968 3530 0 158680 0
################
# More data... #
################
/proc/loadavg: 3.13 3.14 3.25 4/244 45517
/proc/meminfo: memFree=126848912/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1455184 memory=1141968 CPUtime=3212.54 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 149807 0 0 0 321203 51 0 0 20 0 1 0 42865231 1490108416 285492 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 363796 285492 3968 3530 0 355247 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 1455184 KiB
Current children cumulated memory: 1141968 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.13 3.23 4/244 45519
/proc/meminfo: memFree=126822616/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1465044 memory=1142608 CPUtime=3272.36 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 149962 0 0 0 327185 51 0 0 20 0 1 0 42865231 1500205056 285652 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 366261 285652 3968 3530 0 357712 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 1465044 KiB
Current children cumulated memory: 1142608 KiB
[startup+3342.3 s]
/proc/loadavg: 3.43 3.20 3.25 4/244 45521
/proc/meminfo: memFree=126806092/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1477972 memory=1143504 CPUtime=3332.16 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 150172 0 0 0 333164 52 0 0 20 0 1 0 42865231 1513443328 285876 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 369493 285876 3968 3530 0 360944 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 1477972 KiB
Current children cumulated memory: 1143504 KiB
[startup+3402.3 s]
/proc/loadavg: 3.56 3.30 3.28 4/245 45536
/proc/meminfo: memFree=126800576/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1487644 memory=1143888 CPUtime=3391.97 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 150274 0 0 0 339144 53 0 0 20 0 1 0 42865231 1523347456 285972 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 371911 285972 3968 3530 0 363362 0
Current children cumulated CPU time: 3391.97 s
Current children cumulated vsize: 1487644 KiB
Current children cumulated memory: 1143888 KiB
[startup+3462.3 s]
/proc/loadavg: 3.33 3.27 3.27 4/245 45538
/proc/meminfo: memFree=126776004/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1500528 memory=1147344 CPUtime=3451.78 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 151369 0 0 0 345124 54 0 0 20 0 1 0 42865231 1536540672 286836 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 375132 286836 3968 3530 0 366583 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 1500528 KiB
Current children cumulated memory: 1147344 KiB
[startup+3522.3 s]
/proc/loadavg: 3.18 3.24 3.26 4/246 45541
/proc/meminfo: memFree=126761316/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1514248 memory=1149264 CPUtime=3511.58 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 151867 0 0 0 351104 54 0 0 20 0 1 0 42865231 1550589952 287316 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 378562 287316 3968 3530 0 370013 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 1514248 KiB
Current children cumulated memory: 1149264 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.21 3.25 4/245 45543
/proc/meminfo: memFree=126762428/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1528676 memory=1150416 CPUtime=3571.4 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152153 0 0 0 357085 55 0 0 20 0 1 0 42865231 1565364224 287604 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382169 287604 3968 3530 0 373620 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 1528676 KiB
Current children cumulated memory: 1150416 KiB
[startup+3597.17 s]
# the end of solver process 45185 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.66 s, system=0.565776 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.21 3.25 4/245 45543
/proc/meminfo: memFree=126758332/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1528676 memory=1150416 CPUtime=3573.1 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152157 0 0 0 357255 55 0 0 20 0 1 0 42865231 1565364224 287604 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382169 287604 3968 3530 0 373620 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 1528676 KiB
Current children cumulated memory: 1150416 KiB
[startup+3590.4 s]
/proc/loadavg: 3.10 3.20 3.25 3/241 45551
/proc/meminfo: memFree=127442460/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1529672 memory=1151056 CPUtime=3579.47 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152318 0 0 0 357892 55 0 0 20 0 1 0 42865231 1566384128 287764 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382418 287764 3968 3530 0 373869 0
Current children cumulated CPU time: 3579.47 s
Current children cumulated vsize: 1529672 KiB
Current children cumulated memory: 1151056 KiB
[startup+3593.6 s]
/proc/loadavg: 3.10 3.20 3.25 3/239 45574
/proc/meminfo: memFree=127471588/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1529672 memory=1151312 CPUtime=3582.66 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152392 0 0 0 358211 55 0 0 20 0 1 0 42865231 1566384128 287828 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382418 287828 3968 3530 0 373869 0
Current children cumulated CPU time: 3582.66 s
Current children cumulated vsize: 1529672 KiB
Current children cumulated memory: 1151312 KiB
[startup+3595.2 s]
/proc/loadavg: 3.09 3.20 3.24 3/239 45574
/proc/meminfo: memFree=127471588/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1529672 memory=1151440 CPUtime=3584.25 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152398 0 0 0 358370 55 0 0 20 0 1 0 42865231 1566384128 287860 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382418 287860 3968 3530 0 373869 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 1529672 KiB
Current children cumulated memory: 1151440 KiB
[startup+3596 s]*
/proc/loadavg: 3.09 3.20 3.24 3/239 45574
/proc/meminfo: memFree=127471588/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1529672 memory=1151440 CPUtime=3585.06 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152398 0 0 0 358451 55 0 0 20 0 1 0 42865231 1566384128 287860 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382418 287860 3968 3530 0 373869 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 1529672 KiB
Current children cumulated memory: 1151440 KiB
[startup+3596.8 s]
/proc/loadavg: 3.09 3.20 3.24 3/239 45574
/proc/meminfo: memFree=127471588/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1529672 memory=1151440 CPUtime=3585.85 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152398 0 0 0 358530 55 0 0 20 0 1 0 42865231 1566384128 287860 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382418 287860 3968 3530 0 373869 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 1529672 KiB
Current children cumulated memory: 1151440 KiB
[startup+3597 s]*
/proc/loadavg: 3.09 3.20 3.24 3/239 45574
/proc/meminfo: memFree=127471588/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1529672 memory=1151440 CPUtime=3586.06 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152398 0 0 0 358551 55 0 0 20 0 1 0 42865231 1566384128 287860 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 382418 287860 3968 3530 0 373869 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 1529672 KiB
Current children cumulated memory: 1151440 KiB
[startup+3597.11 s]
/proc/loadavg: 3.09 3.20 3.24 3/239 45574
/proc/meminfo: memFree=127471588/131382112 swapFree=33010684/33010684
[pid=45185] ppid=45182 vsize=1464336 memory=1086108 CPUtime=3586.16 cores=5,7
/proc/45185/stat : 45185 (pbscip) R 45182 45185 44395 0 -1 4194304 152433 0 0 0 358561 55 0 0 20 0 1 0 42865231 1499480064 271527 18446744073709551615 4235264 18693293 140728641179648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 58413056 140728641182089 140728641182188 140728641182188 140728641187790 0
/proc/45185/statm: 366084 271527 3968 3530 0 357535 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 1464336 KiB
Current children cumulated memory: 1086108 KiB
Child status: 0
Real time (s): 3597.17
CPU time (s): 3586.22
CPU user time (s): 3585.66
CPU system time (s): 0.565776
CPU usage (%): 99.6957
Max. virtual memory (cumulated for all children) (KiB): 1529672
Max. memory (cumulated for all children) (KiB): 1151440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.66
system time used= 0.565776
maximum resident set size= 1151440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152498
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= 141
involuntary context switches= 2928
# summary of solver processes directly reported to runsolver:
# pid: 45185
# total CPU time (s): 3586.22
# total CPU user time (s): 3585.66
# total CPU system time (s): 0.565776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0596 second user time and 33.3472 second system time
The end
Begin job on nodeC007 at 2025-06-30 10:24:21 IDJOB=4512217 IDBENCH=160517 IDSOLVER=3365 FILE ID=nodeC007/4512217-1751271861 RUNJOBID= nodeC007-1751268232-44415 SLURM_JOB_ID= 9594174 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512217-1751271861/watcher-4512217-1751271861 -o /tmp/evaluation-result-4512217-1751271861/solver-4512217-1751271861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44415 --watchdog 3760 pbscip -f HOME/instance-4512217-1751271861.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= af7e878fffd6da85a395ada1cd1e9cec RANDOM SEED=497536264 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 : 3661.393 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 : 3661.289 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.367 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 : 3700.000 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 : 3661.459 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 : 3700.000 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.275 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: 129107212 kB MemAvailable: 129222776 kB Buffers: 3280 kB Cached: 923468 kB SwapCached: 0 kB Active: 1025492 kB Inactive: 677084 kB Active(anon): 793792 kB Inactive(anon): 0 kB Active(file): 231700 kB Inactive(file): 677084 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56520 kB Writeback: 4 kB AnonPages: 778996 kB Mapped: 137044 kB Shmem: 17960 kB KReclaimable: 92816 kB Slab: 176852 kB SReclaimable: 92816 kB SUnreclaim: 84036 kB KernelStack: 4048 kB PageTables: 4664 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1143748 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 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= 432980 MiB End job on nodeC007 at 2025-06-30 11:24:18