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 | OPT | 5875 | 1123.99 | 1127.43 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-176.opb |
| MD5SUM | d2179c39982001565062a192c7c3e045 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5875 |
| Best CPU time to get the best result obtained on this benchmark | 632.793 |
| 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 | 183 |
| Total number of constraints | 1457 |
| Number of constraints which are clauses | 1456 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 2674 |
| Biggest coefficient in the objective function | 6872 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 13678 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 6872 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 13678 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 2501 |
| Sum of products size (including duplicates) | 5002 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4512282-1751272006.opb>
0.00/0.03 c original problem has 2684 variables (183 bin, 0 int, 2501 impl, 0 cont) and 3958 constraints
0.00/0.03 c problem read in 0.02
0.00/0.05 o 6872
0.00/0.05 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 6.872000e+03
0.00/0.05 c presolving:
0.00/0.08 c (round 1, exhaustive) 1 del vars, 729 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5002 clqs
0.09/0.13 c (0.1s) probing: 51/2683 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.15 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.09/0.15 c 1 deleted vars, 729 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 0 implications, 5002 cliques
0.09/0.15 c presolved problem has 2683 variables (182 bin, 0 int, 2501 impl, 0 cont) and 3229 constraints
0.09/0.15 c 2501 constraints of type <and>
0.09/0.15 c 728 constraints of type <linear>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 10.0.0
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.15 c limits/time = 3596.994052
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.15 c limits/memory = 27900
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c transformed 1/1 original solutions to the transformed problem space
0.09/0.15 c
0.19/0.26 o 6185
0.19/0.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.19/0.26 c p 0.3s| 1 | 0 | 0 | - | vbounds| 0 |2683 |3230 |5730 | 0 | 0 | 0 | 0 | 3.469000e+03 | 6.185000e+03 | 78.29%| unknown
1.31/1.40 c 1.4s| 1 | 0 | 4184 | - | 31M | 0 |2683 |3230 |5730 | 0 | 0 | 0 | 0 | 5.420000e+03 | 6.185000e+03 | 14.11%| unknown
1.61/1.79 c 1.8s| 1 | 0 | 4399 | - | 35M | 0 |2683 |3230 |5758 | 28 | 1 | 0 | 0 | 5.433000e+03 | 6.185000e+03 | 13.84%| unknown
2.70/2.89 c 2.9s| 1 | 0 | 4614 | - | 53M | 0 |2683 |3230 |5842 | 112 | 2 | 0 | 0 | 5.441000e+03 | 6.185000e+03 | 13.67%| unknown
3.80/3.96 c 3.9s| 1 | 0 | 4790 | - | 63M | 0 |2683 |3230 |5914 | 184 | 3 | 0 | 0 | 5.450000e+03 | 6.185000e+03 | 13.49%| unknown
4.79/4.94 c 4.9s| 1 | 0 | 5036 | - | 63M | 0 |2683 |3231 |5943 | 213 | 4 | 1 | 0 | 5.461000e+03 | 6.185000e+03 | 13.26%| unknown
5.78/5.93 c 5.9s| 1 | 0 | 5368 | - | 65M | 0 |2683 |3231 |5976 | 246 | 5 | 1 | 0 | 5.472000e+03 | 6.185000e+03 | 13.03%| unknown
6.77/6.90 c 6.9s| 1 | 0 | 5483 | - | 67M | 0 |2683 |3231 |6011 | 281 | 6 | 1 | 0 | 5.476500e+03 | 6.185000e+03 | 12.94%| unknown
7.76/7.91 c 7.9s| 1 | 0 | 5748 | - | 68M | 0 |2683 |3231 |6045 | 315 | 7 | 1 | 0 | 5.483500e+03 | 6.185000e+03 | 12.79%| unknown
8.75/8.96 c 8.9s| 1 | 0 | 6159 | - | 70M | 0 |2683 |3231 |6076 | 346 | 8 | 1 | 0 | 5.489750e+03 | 6.185000e+03 | 12.66%| unknown
9.84/10.01 c 10.0s| 1 | 0 | 6440 | - | 73M | 0 |2683 |3231 |6107 | 377 | 9 | 1 | 0 | 5.497500e+03 | 6.185000e+03 | 12.51%| unknown
11.23/11.41 c 11.4s| 1 | 0 | 7096 | - | 78M | 0 |2683 |3231 |6141 | 411 | 10 | 1 | 0 | 5.507500e+03 | 6.185000e+03 | 12.30%| unknown
11.42/11.67 c 11.7s| 1 | 0 | 7543 | - | 79M | 0 |2683 |3231 |6175 | 460 | 11 | 1 | 0 | 5.507500e+03 | 6.185000e+03 | 12.30%| unknown
11.42/11.67 c 11.7s| 1 | 0 | 7543 | - | 79M | 0 |2683 |3231 |6175 | 460 | 11 | 1 | 0 | 5.511250e+03 | 6.185000e+03 | 12.22%| unknown
11.72/11.92 c 11.9s| 1 | 0 | 7930 | - | 79M | 0 |2683 |3231 |6195 | 480 | 12 | 1 | 0 | 5.511250e+03 | 6.185000e+03 | 12.22%| unknown
11.72/11.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.72/11.93 c 11.9s| 1 | 0 | 7945 | - | 79M | 0 |2683 |3231 |6195 | 480 | 12 | 1 | 0 | 5.513500e+03 | 6.185000e+03 | 12.18%| unknown
11.83/12.06 c 12.1s| 1 | 0 | 8295 | - | 80M | 0 |2683 |3231 |6211 | 496 | 13 | 1 | 0 | 5.513500e+03 | 6.185000e+03 | 12.18%| unknown
11.83/12.09 c 12.1s| 1 | 0 | 8331 | - | 80M | 0 |2683 |3231 |6075 | 496 | 13 | 1 | 0 | 5.515938e+03 | 6.185000e+03 | 12.13%| unknown
12.02/12.25 c 12.2s| 1 | 0 | 8666 | - | 80M | 0 |2683 |3231 |6095 | 516 | 14 | 1 | 0 | 5.515938e+03 | 6.185000e+03 | 12.13%| unknown
12.02/12.25 c 12.2s| 1 | 0 | 8666 | - | 80M | 0 |2683 |3231 |6095 | 516 | 14 | 1 | 0 | 5.518625e+03 | 6.185000e+03 | 12.08%| unknown
12.22/12.42 c 12.4s| 1 | 0 | 9245 | - | 81M | 0 |2683 |3231 |6120 | 541 | 15 | 1 | 0 | 5.518625e+03 | 6.185000e+03 | 12.08%| unknown
12.22/12.45 c 12.4s| 1 | 0 | 9308 | - | 81M | 0 |2683 |3231 |6065 | 541 | 15 | 1 | 0 | 5.519701e+03 | 6.185000e+03 | 12.05%| unknown
12.32/12.55 c 12.5s| 1 | 0 | 9565 | - | 82M | 0 |2683 |3231 |6089 | 565 | 16 | 1 | 0 | 5.519701e+03 | 6.185000e+03 | 12.05%| unknown
12.32/12.55 c 12.5s| 1 | 0 | 9566 | - | 82M | 0 |2683 |3231 |6089 | 565 | 16 | 1 | 0 | 5.522833e+03 | 6.185000e+03 | 11.99%| unknown
12.52/12.74 c 12.7s| 1 | 0 | 10178 | - | 82M | 0 |2683 |3231 |6108 | 584 | 17 | 1 | 0 | 5.522833e+03 | 6.185000e+03 | 11.99%| unknown
12.52/12.76 c 12.7s| 1 | 0 | 10232 | - | 82M | 0 |2683 |3231 |6083 | 584 | 17 | 1 | 0 | 5.526667e+03 | 6.185000e+03 | 11.91%| unknown
12.62/12.90 c 12.9s| 1 | 0 | 10622 | - | 83M | 0 |2683 |3231 |6101 | 602 | 18 | 1 | 0 | 5.526667e+03 | 6.185000e+03 | 11.91%| unknown
12.72/12.90 c 12.9s| 1 | 0 | 10638 | - | 83M | 0 |2683 |3231 |6101 | 602 | 18 | 1 | 0 | 5.531000e+03 | 6.185000e+03 | 11.82%| unknown
12.72/12.98 c 13.0s| 1 | 0 | 10929 | - | 83M | 0 |2683 |3231 |6123 | 624 | 19 | 1 | 0 | 5.531000e+03 | 6.185000e+03 | 11.82%| unknown
12.72/12.99 c 13.0s| 1 | 0 | 10961 | - | 83M | 0 |2683 |3231 |6093 | 624 | 19 | 1 | 0 | 5.534000e+03 | 6.185000e+03 | 11.76%| unknown
12.83/13.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.83/13.10 c 13.1s| 1 | 0 | 11362 | - | 84M | 0 |2683 |3232 |6117 | 648 | 20 | 2 | 0 | 5.534000e+03 | 6.185000e+03 | 11.76%| unknown
12.93/13.12 c 13.1s| 1 | 0 | 11411 | - | 84M | 0 |2683 |3232 |6117 | 648 | 20 | 2 | 0 | 5.535542e+03 | 6.185000e+03 | 11.73%| unknown
12.93/13.16 c 13.1s| 1 | 0 | 11464 | - | 84M | 0 |2683 |3232 |6132 | 663 | 21 | 2 | 0 | 5.535542e+03 | 6.185000e+03 | 11.73%| unknown
13.02/13.21 c 13.2s| 1 | 0 | 11659 | - | 84M | 0 |2683 |3232 |6120 | 675 | 22 | 2 | 0 | 5.535542e+03 | 6.185000e+03 | 11.73%| unknown
13.02/13.22 c 13.2s| 1 | 0 | 11663 | - | 84M | 0 |2683 |3232 |6120 | 675 | 22 | 2 | 0 | 5.535722e+03 | 6.185000e+03 | 11.73%| unknown
13.02/13.26 c 13.2s| 1 | 0 | 11795 | - | 84M | 0 |2683 |3232 |6128 | 683 | 23 | 2 | 0 | 5.535722e+03 | 6.185000e+03 | 11.73%| unknown
13.02/13.27 c 13.3s| 1 | 0 | 11805 | - | 84M | 0 |2683 |3232 |6128 | 683 | 23 | 2 | 0 | 5.536019e+03 | 6.185000e+03 | 11.72%| unknown
13.12/13.31 c 13.3s| 1 | 0 | 11917 | - | 84M | 0 |2683 |3232 |6110 | 690 | 24 | 2 | 0 | 5.536019e+03 | 6.185000e+03 | 11.72%| unknown
13.12/13.32 c 13.3s| 1 | 0 | 11929 | - | 84M | 0 |2683 |3232 |6110 | 690 | 24 | 2 | 0 | 5.536083e+03 | 6.185000e+03 | 11.72%| unknown
13.12/13.34 c 13.3s| 1 | 0 | 11948 | - | 84M | 0 |2683 |3232 |6114 | 694 | 25 | 2 | 0 | 5.536083e+03 | 6.185000e+03 | 11.72%| unknown
13.12/13.37 c 13.4s| 1 | 0 | 11953 | - | 84M | 0 |2683 |3233 |6117 | 697 | 26 | 3 | 0 | 5.536083e+03 | 6.185000e+03 | 11.72%| unknown
20.30/20.56 c 20.6s| 1 | 2 | 31325 | - | 85M | 0 |2683 |3233 |6117 | 697 | 27 | 3 | 27 | 5.536083e+03 | 6.185000e+03 | 11.72%| unknown
56.82/57.19 o 6161
56.82/57.19 c r57.2s| 48 | 41 |109901 |2084.0 |simplero| 27 |2683 |3233 |7113 |2354 | 0 | 3 | 201 | 5.555944e+03 | 6.161000e+03 | 10.89%| unknown
57.31/57.67 o 6155
57.31/57.67 c r57.7s| 58 | 41 |113064 |1773.9 |simplero| 27 |2683 |3233 |7126 |2418 | 0 | 3 | 201 | 5.555944e+03 | 6.155000e+03 | 10.78%| unknown
57.31/57.69 o 6151
57.31/57.69 c r57.7s| 60 | 38 |113096 |1714.3 |simplero| 27 |2683 |3233 |7128 |2422 | 2 | 3 | 201 | 5.555944e+03 | 6.151000e+03 | 10.71%| unknown
63.49/63.89 o 6094
63.49/63.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
63.49/63.89 c r63.9s| 73 | 47 |142164 |1808.5 |simplero| 27 |2683 |3233 |7193 |2648 | 3 | 3 | 212 | 5.558444e+03 | 6.094000e+03 | 9.63%| unknown
70.37/70.79 o 6083
70.37/70.79 c r70.8s| 89 | 49 |167071 |1762.7 |simplero| 27 |2683 |3233 |7121 |2976 | 1 | 3 | 230 | 5.572333e+03 | 6.083000e+03 | 9.16%| unknown
77.05/77.44 c 77.4s| 100 | 54 |205386 |1953.9 | 271M | 27 |2683 |3233 |7117 |3082 | 3 | 3 | 241 | 5.577667e+03 | 6.083000e+03 | 9.06%| unknown
84.34/84.74 o 6071
84.34/84.74 c L84.7s| 116 | 54 |238329 |1968.5 | alns| 27 |2683 |3233 |7098 |3336 | 2 | 3 | 253 | 5.578667e+03 | 6.071000e+03 | 8.83%| unknown
84.34/84.74 o 6066
84.34/84.74 c L84.7s| 116 | 52 |238329 |1968.5 | alns| 27 |2683 |3233 |7098 |3336 | 2 | 3 | 253 | 5.578667e+03 | 6.066000e+03 | 8.74%| unknown
84.34/84.74 o 6063
84.34/84.74 c L84.7s| 116 | 52 |238329 |1968.5 | alns| 27 |2683 |3233 |7098 |3336 | 2 | 3 | 253 | 5.578667e+03 | 6.063000e+03 | 8.68%| unknown
94.72/95.17 o 6050
94.72/95.17 c r95.2s| 144 | 67 |284300 |1904.5 |simplero| 27 |2683 |3233 |7230 |3951 | 0 | 3 | 282 | 5.578667e+03 | 6.050000e+03 | 8.45%| unknown
113.37/113.86 c 114s| 200 | 71 |359402 |1746.0 | 275M | 27 |2683 |3233 |6934 |4617 | 2 | 3 | 342 | 5.578667e+03 | 6.050000e+03 | 8.45%| unknown
151.07/151.63 c 152s| 300 | 95 |550097 |1799.8 | 325M | 27 |2683 |3233 |6668 |6711 | 2 | 3 | 393 | 5.602000e+03 | 6.050000e+03 | 8.00%| unknown
183.50/184.15 o 5997
183.50/184.15 c r 184s| 319 | 96 |688145 |2126.4 |simplero| 27 |2683 |3233 |7329 |9069 | 6 | 3 | 417 | 5.607167e+03 | 5.997000e+03 | 6.95%| unknown
226.18/226.93 o 5970
226.18/226.93 c r 227s| 368 | 116 |871209 |2341.3 |simplero| 27 |2683 |3233 |7457 | 11k| 6 | 3 | 477 | 5.608000e+03 | 5.970000e+03 | 6.46%| 10.33%
250.33/251.19 c 251s| 400 | 124 |998108 |2471.6 | 468M | 27 |2683 |3233 |7102 | 12k| 1 | 3 | 477 | 5.609833e+03 | 5.970000e+03 | 6.42%| 13.73%
343.19/344.29 c 344s| 500 | 150 | 1406k|2794.6 | 485M | 27 |2683 |3235 |8120 | 18k| 2 | 5 | 584 | 5.617000e+03 | 5.970000e+03 | 6.28%| 19.35%
383.06/384.21 o 5922
383.06/384.21 c r 384s| 544 | 145 | 1592k|2909.9 |simplero| 27 |2683 |3235 |7501 | 20k| 4 | 5 | 669 | 5.628000e+03 | 5.922000e+03 | 5.22%| 22.12%
416.87/418.13 c 418s| 600 | 159 | 1787k|2964.2 | 595M | 27 |2683 |3235 |7261 | 21k| 2 | 5 | 677 | 5.635500e+03 | 5.922000e+03 | 5.08%| 26.22%
485.03/486.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
485.03/486.58 c 487s| 700 | 187 | 2135k|3038.1 | 596M | 27 |2683 |3236 |7145 | 23k| 1 | 6 | 738 | 5.661500e+03 | 5.922000e+03 | 4.60%| 33.03%
513.34/515.01 o 5879
513.34/515.01 c L 515s| 744 | 163 | 2289k|3065.9 |crossove| 27 |2683 |3236 |7133 | 25k| 0 | 6 | 759 | 5.664500e+03 | 5.879000e+03 | 3.79%| 37.50%
546.04/547.75 c 548s| 800 | 153 | 2474k|3081.8 | 602M | 27 |2683 |3236 |7224 | 26k| 0 | 6 | 759 | 5.671000e+03 | 5.879000e+03 | 3.67%| 42.56%
594.68/596.55 c 597s| 900 | 181 | 2755k|3052.0 | 604M | 27 |2683 |3238 |7176 | 28k| 0 | 8 | 771 | 5.682000e+03 | 5.879000e+03 | 3.47%| 48.17%
653.00/655.07 o 5875
653.00/655.07 c r 655s| 988 | 187 | 3038k|3066.2 |simplero| 27 |2683 |3237 |7678 | 31k| 5 | 8 | 817 | 5.714000e+03 | 5.875000e+03 | 2.82%| 54.01%
658.98/661.07 c 661s| 1000 | 183 | 3071k|3062.2 | 616M | 27 |2683 |3237 |7371 | 31k| 0 | 8 | 820 | 5.714000e+03 | 5.875000e+03 | 2.82%| 54.75%
711.99/714.26 c 714s| 1100 | 185 | 3368k|3054.5 | 622M | 27 |2683 |3237 |7269 | 34k| 2 | 8 | 833 | 5.726500e+03 | 5.875000e+03 | 2.59%| 60.59%
770.71/773.17 c 773s| 1200 | 183 | 3676k|3056.3 | 625M | 27 |2683 |3237 |7070 | 37k| 2 | 8 | 864 | 5.732000e+03 | 5.875000e+03 | 2.49%| 67.48%
828.70/831.33 c 831s| 1300 | 169 | 3995k|3066.6 | 628M | 27 |2683 |3237 |7226 | 40k| 0 | 8 | 878 | 5.746500e+03 | 5.875000e+03 | 2.24%| 73.81%
887.41/890.21 c 890s| 1400 | 133 | 4313k|3074.9 | 632M | 27 |2683 |3237 |7405 | 43k| 2 | 8 | 887 | 5.759833e+03 | 5.875000e+03 | 2.00%| 79.96%
941.84/944.89 c 945s| 1500 | 101 | 4617k|3072.2 | 633M | 27 |2683 |3237 |7047 | 46k| 0 | 8 | 902 | 5.765000e+03 | 5.875000e+03 | 1.91%| 85.56%
1008.75/1012.01 c 1012s| 1600 | 71 | 4981k|3108.2 | 932M | 27 |2683 |3237 |7447 | 50k| 2 | 8 | 917 | 5.775500e+03 | 5.875000e+03 | 1.72%| 90.82%
1082.85/1086.28 c 1086s| 1700 | 25 | 5301k|3113.3 | 934M | 27 |2683 |3238 |7765 | 52k| 0 | 9 |1032 | 5.801250e+03 | 5.875000e+03 | 1.27%| 96.52%
1123.84/1127.38 c
1123.84/1127.38 c SCIP Status : problem is solved [optimal solution found]
1123.84/1127.38 c Solving Time (sec) : 1127.37
1123.84/1127.38 c Solving Nodes : 1755
1123.84/1127.38 c Primal Bound : +5.87500000000000e+03 (17 solutions)
1123.84/1127.38 c Dual Bound : +5.87500000000000e+03
1123.84/1127.38 c Gap : 0.00 %
1123.84/1127.38 s OPTIMUM FOUND
1123.84/1127.38 v -x169 x129 x85 x81 -x77 x70 -x66 -x65 -x61 x183 -x91 -x90 x89 x88 x87 x86 x84 x83 -x82 x80 x79 -x78 -x76 x75 x74 -x73 -x72 -x71
1123.84/1127.38 v x69 x68 -x67 x64 -x63 x62 -x60 -x59 -x58 -x57 -x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 -x37
1123.84/1127.38 v x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 -x25 x24 -x23 -x160 -x138 x128 x22 -x21 x20 -x19 -x148 -x140 -x131 x18 -x17 x16
1123.84/1127.38 v -x15 x14 -x13 x163 x150 -x142 x133 x12 -x11 x10 -x9 -x109 -x105 x8 -x7 -x182 -x161 x108 x104 x100 x98 x96 -x6 -x5 -x127 x126
1123.84/1127.38 v x120 -x4 x3 x173 -x168 x164 x162 x151 x149 x143 x141 x134 x132 x110 -x107 x106 -x103 -x99 -x97 -x95 -x94 -x2 -x181 -x180 -x179
1123.84/1127.38 v -x178 -x177 -x176 -x175 -x174 -x172 -x171 -x170 -x167 -x166 -x165 -x159 x158 x157 x156 -x155 -x154 -x153 -x152 -x147 -x146
1123.84/1127.38 v -x145 -x144 -x139 -x137 -x136 -x135 -x130 x125 x124 x123 x122 x121 x119 x118 x117 -x116 -x115 -x114 -x113 x112 -x111 x102
1123.84/1127.38 v -x101 -x93 -x92 -x1
1123.84/1127.38 c SCIP Status : problem is solved [optimal solution found]
1123.84/1127.38 c Total Time : 1127.37
1123.84/1127.38 c solving : 1127.37
1123.84/1127.38 c presolving : 0.10 (included in solving)
1123.84/1127.38 c reading : 0.02 (included in solving)
1123.84/1127.38 c copying : 0.04 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1123.84/1127.38 c Original Problem :
1123.84/1127.38 c Problem name : HOME/instance-4512282-1751272006.opb
1123.84/1127.38 c Variables : 2684 (183 binary, 0 integer, 2501 implicit integer, 0 continuous)
1123.84/1127.38 c Constraints : 3958 initial, 3958 maximal
1123.84/1127.38 c Objective : minimize, 2674 non-zeros (abs.min = 1, abs.max = 6872)
1123.84/1127.38 c Presolved Problem :
1123.84/1127.38 c Problem name : t_HOME/instance-4512282-1751272006.opb
1123.84/1127.38 c Variables : 2683 (182 binary, 0 integer, 2501 implicit integer, 0 continuous)
1123.84/1127.38 c Constraints : 3229 initial, 3238 maximal
1123.84/1127.38 c Objective : minimize, 2673 non-zeros (abs.min = 1, abs.max = 26)
1123.84/1127.38 c Nonzeros : 9687 constraint, 8806 clique table
1123.84/1127.38 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1123.84/1127.38 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c and : 0.03 0.00 4 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c linear : 0.03 0.00 4 1 0 0 1 0 729 0 0 0
1123.84/1127.38 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c root node : - - - 248 - - 248 - - - - -
1123.84/1127.38 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1123.84/1127.38 c benderslp : 0 0 0 0 914 0 0 213 0 0 0 0 0 0 0
1123.84/1127.38 c integral : 0 0 0 0 914 0 0 213 0 0 0 0 0 0 1828
1123.84/1127.38 c and : 2501 2501 2064 18213 0 0 0 210 14 2 97198 35686 15133 0 0
1123.84/1127.38 c linear : 728 728 27 18175 0 0 0 19 13 7 3097 0 0 0 0
1123.84/1127.38 c logicor : 0+ 9 27 1314 0 0 0 0 0 0 2 0 0 0 0
1123.84/1127.38 c benders : 0 0 0 0 0 0 0 20 0 0 0 0 0 0 0
1123.84/1127.38 c fixedvar : 0 0 0 0 0 0 0 20 0 0 0 0 0 0 0
1123.84/1127.38 c countsols : 0 0 0 0 0 0 0 20 0 0 0 0 0 0 0
1123.84/1127.38 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1123.84/1127.38 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c integral : 137.37 0.00 0.00 0.00 137.37 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c and : 2.15 0.00 1.22 0.70 0.00 0.00 0.00 0.00 0.00 0.23
1123.84/1127.38 c linear : 0.11 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.02
1123.84/1127.38 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c Propagators : #Propagate #ResProp Cutoffs DomReds
1123.84/1127.38 c dualfix : 2 0 0 0
1123.84/1127.38 c genvbounds : 0 0 0 0
1123.84/1127.38 c nlobbt : 0 0 0 0
1123.84/1127.38 c obbt : 0 0 0 0
1123.84/1127.38 c probing : 0 0 0 0
1123.84/1127.38 c pseudoobj : 5715 0 0 0
1123.84/1127.38 c redcost : 3571 0 0 20257
1123.84/1127.38 c rootredcost : 13 0 0 0
1123.84/1127.38 c symmetry : 0 0 0 0
1123.84/1127.38 c vbounds : 11307 0 0 0
1123.84/1127.38 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1123.84/1127.38 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
1123.84/1127.38 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
1123.84/1127.38 c redcost : 0.14 0.00 0.00 0.14 0.00 0.00
1123.84/1127.38 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1123.84/1127.38 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
1123.84/1127.38 c vbounds : 0.02 0.00 0.00 0.01 0.00 0.00
1123.84/1127.38 c Symmetry :
1123.84/1127.38 c orbitopal red. : 0 reductions applied, 0 cutoffs
1123.84/1127.38 c orbital reduction: 0 reductions applied, 0 cutoffs
1123.84/1127.38 c lexicographic red: 0 reductions applied, 0 cutoffs
1123.84/1127.38 c shadow tree time : 0.00 s
1123.84/1127.38 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1123.84/1127.38 c propagation : 0.00 9 9 - 9 4.4 0 0.0 - - -
1123.84/1127.38 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1123.84/1127.38 c bound exceed. LP : 0.03 5 0 - 0 0.0 0 0.0 0 0.0 50
1123.84/1127.38 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1123.84/1127.38 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1123.84/1127.38 c applied globally : 0.00 - - 0 9 4.4 - - 0 - -
1123.84/1127.38 c applied locally : - - - 0 0 0.0 - - 0 - -
1123.84/1127.38 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1123.84/1127.38 c cut pool : 1.19 - 932 46 - - 16674 157208 - - - - - (maximal pool size: 5384)
1123.84/1127.38 c aggregation : 3.38 0.00 260 27 0 0 1 8 0 2 2 0 0
1123.84/1127.38 c > cmir : - - - - - - - 8 0 2 2 0 -
1123.84/1127.38 c > flowcover : - - - - - - - 0 0 0 0 0 -
1123.84/1127.38 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1123.84/1127.38 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c clique : 0.01 0.00 27 27 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c gomory : 2.43 0.00 160 10 0 0 9568 41556 152 2838 2836 2 0
1123.84/1127.38 c > gomorymi : - - - - - - - 8679 77 259 259 0 -
1123.84/1127.38 c > strongcg : - - - - - - - 32877 75 2579 2577 2 -
1123.84/1127.38 c impliedbounds : 0.05 0.00 261 27 0 0 3287 18258 0 5064 5064 0 0
1123.84/1127.38 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c mixing : 0.00 0.00 265 27 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c multilinear : 0.00 0.00 86 27 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.38 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
1123.84/1127.39 c rlt : 56.69 0.00 78 10 0 0 2300 41845 23 16144 16128 16 0
1123.84/1127.39 c zerohalf : 1.71 0.00 169 20 0 0 1695 55541 2 15440 15438 2 0
1123.84/1127.39 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1123.84/1127.39 c hybrid : 0.35 0.00 1625 26 54621 0 138450 697 0 8958
1123.84/1127.39 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c Pricers : ExecTime SetupTime Calls Vars
1123.84/1127.39 c problem variables: 0.27 - 7086 20410
1123.84/1127.39 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1123.84/1127.39 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c relpscost : 137.37 0.00 914 0 0 0 0 0 0 1828
1123.84/1127.39 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1123.84/1127.39 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1123.84/1127.39 c LP solutions : 0.00 - - 0 0
1123.84/1127.39 c relax solutions : 0.00 - - 0 0
1123.84/1127.39 c pseudo solutions : 0.00 - - 0 0
1123.84/1127.39 c strong branching : 0.00 - - 0 0
1123.84/1127.39 c actconsdiving : 0.00 0.00 0 0 0
1123.84/1127.39 c adaptivediving : 6.89 0.00 9 0 0
1123.84/1127.39 c alns : 0.09 0.00 5 3 3
1123.84/1127.39 c bound : 0.00 0.00 0 0 0
1123.84/1127.39 c clique : 0.07 0.00 1 0 0
1123.84/1127.39 c coefdiving : 0.00 0.00 0 0 0
1123.84/1127.39 c completesol : 0.00 0.00 0 0 0
1123.84/1127.39 c conflictdiving : 25.59 0.00 29 0 0
1123.84/1127.39 c crossover : 0.03 0.00 1 1 1
1123.84/1127.39 c dins : 0.00 0.00 0 0 0
1123.84/1127.39 c distributiondivin: 6.17 0.00 5 0 0
1123.84/1127.39 c dps : 0.00 0.00 0 0 0
1123.84/1127.39 c dualval : 0.00 0.00 0 0 0
1123.84/1127.39 c farkasdiving : 0.86 0.00 1 0 0
1123.84/1127.39 c feasjump : 0.00 0.00 0 0 0
1123.84/1127.39 c feaspump : 1.28 0.00 1 0 0
1123.84/1127.39 c fixandinfer : 0.00 0.00 0 0 0
1123.84/1127.39 c fracdiving : 3.09 0.00 5 0 0
1123.84/1127.39 c gins : 0.00 0.00 0 0 0
1123.84/1127.39 c guideddiving : 23.07 0.00 29 0 0
1123.84/1127.39 c indcoefdiving : 0.00 0.00 0 0 0
1123.84/1127.39 c indicator : 0.00 0.00 0 0 0
1123.84/1127.39 c indicatordiving : 0.00 0.00 0 0 0
1123.84/1127.39 c indoneopt : 0.00 0.00 0 0 0
1123.84/1127.39 c indrounding : 0.00 0.00 0 0 0
1123.84/1127.39 c indtwoopt : 0.00 0.00 0 0 0
1123.84/1127.39 c intdiving : 0.00 0.00 0 0 0
1123.84/1127.39 c intshifting : 0.00 0.00 0 0 0
1123.84/1127.39 c linesearchdiving : 9.24 0.00 24 0 0
1123.84/1127.39 c localbranching : 0.00 0.00 0 0 0
1123.84/1127.39 c locks : 0.02 0.00 1 0 0
1123.84/1127.39 c lpface : 0.00 0.00 0 0 0
1123.84/1127.39 c mpec : 0.00 0.00 0 0 0
1123.84/1127.39 c multistart : 0.00 0.00 0 0 0
1123.84/1127.39 c mutation : 0.00 0.00 0 0 0
1123.84/1127.39 c nlpdiving : 0.00 0.00 0 0 0
1123.84/1127.39 c objpscostdiving : 8.66 0.00 3 0 0
1123.84/1127.39 c octane : 0.00 0.00 0 0 0
1123.84/1127.39 c ofins : 0.00 0.00 0 0 0
1123.84/1127.39 c oneopt : 0.01 0.00 13 0 0
1123.84/1127.39 c padm : 0.00 0.00 0 0 0
1123.84/1127.39 c proximity : 0.00 0.00 0 0 0
1123.84/1127.39 c pscostdiving : 5.66 0.00 6 0 0
1123.84/1127.39 c randrounding : 0.14 0.00 76 0 0
1123.84/1127.39 c rens : 0.00 0.00 0 0 0
1123.84/1127.39 c reoptsols : 0.00 0.00 0 0 0
1123.84/1127.39 c repair : 0.00 0.00 0 0 0
1123.84/1127.39 c rins : 0.00 0.00 0 0 0
1123.84/1127.39 c rootsoldiving : 7.02 0.00 6 0 0
1123.84/1127.39 c rounding : 0.08 0.00 653 0 0
1123.84/1127.39 c scheduler : 0.00 0.00 0 0 0
1123.84/1127.39 c shiftandpropagate: 0.00 0.00 0 0 0
1123.84/1127.39 c shifting : 0.41 0.00 321 0 0
1123.84/1127.39 c simplerounding : 0.30 0.00 5066 10 10
1123.84/1127.39 c smallcard : 0.00 0.00 0 0 0
1123.84/1127.39 c subnlp : 0.00 0.00 0 0 0
1123.84/1127.39 c trivial : 0.00 0.00 2 2 1
1123.84/1127.39 c trivialnegation : 0.00 0.00 0 0 0
1123.84/1127.39 c trustregion : 0.00 0.00 0 0 0
1123.84/1127.39 c trysol : 0.00 0.00 0 0 0
1123.84/1127.39 c twoopt : 0.00 0.00 0 0 0
1123.84/1127.39 c undercover : 0.07 0.00 1 0 0
1123.84/1127.39 c vbounds : 0.12 0.00 1 1 1
1123.84/1127.39 c veclendiving : 3.66 0.00 5 0 0
1123.84/1127.39 c zeroobj : 0.00 0.00 0 0 0
1123.84/1127.39 c zirounding : 0.57 0.00 914 0 0
1123.84/1127.39 c other solutions : - - - 0 -
1123.84/1127.39 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 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
1123.84/1127.39 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1123.84/1127.39 c primal LP : 190.49 4022 998318 326.14 5240.75 1.53 961
1123.84/1127.39 c dual LP : 619.99 3532 3829325 1133.94 6176.42 0.26 155
1123.84/1127.39 c lex dual LP : 0.00 0 0 0.00 -
1123.84/1127.39 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1123.84/1127.39 c resolve instable : 0.00 0 0 0.00 -
1123.84/1127.39 c diving/probing LP: 101.42 740 684546 925.06 6749.44
1123.84/1127.39 c strong branching : 133.76 1044 820137 785.57 6131.21 - - 1162
1123.84/1127.39 c (at root node) : - 27 26476 980.59 -
1123.84/1127.39 c conflict analysis: 0.01 5 50 10.00 -
1123.84/1127.39 c B&B Tree :
1123.84/1127.39 c number of runs : 1
1123.84/1127.39 c nodes : 1755 (914 internal, 841 leaves)
1123.84/1127.39 c feasible leaves : 0
1123.84/1127.39 c infeas. leaves : 841
1123.84/1127.39 c objective leaves : 0
1123.84/1127.39 c nodes (total) : 1755 (914 internal, 841 leaves)
1123.84/1127.39 c nodes left : 0
1123.84/1127.39 c max depth : 27
1123.84/1127.39 c max depth (total): 27
1123.84/1127.39 c backtracks : 715 (40.7%)
1123.84/1127.39 c early backtracks : 0 (0.0%)
1123.84/1127.39 c nodes exc. ref. : 0 (0.0%)
1123.84/1127.39 c delayed cutoffs : 0
1123.84/1127.39 c repropagations : 3 (860 domain reductions, 0 cutoffs)
1123.84/1127.39 c avg switch length: 6.93
1123.84/1127.39 c switching time : 1.08
1123.84/1127.39 c Root Node :
1123.84/1127.39 c First LP value : +5.42000000000000e+03
1123.84/1127.39 c First LP Iters : 4184 (4061.51 Iter/sec)
1123.84/1127.39 c First LP Time : 1.03
1123.84/1127.39 c Final Dual Bound : +5.53608333333333e+03
1123.84/1127.39 c Final Root Iters : 11953
1123.84/1127.39 c Root LP Estimate : +7.83357216514833e+03
1123.84/1127.39 c Solution :
1123.84/1127.39 c Solutions found : 17 (16 improvements)
1123.84/1127.39 c First Solution : +6.87200000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1123.84/1127.39 c Gap First Sol. : infinite
1123.84/1127.39 c Gap Last Sol. : 2.82 %
1123.84/1127.39 c Primal Bound : +5.87500000000000e+03 (in run 1, after 988 nodes, 655.05 seconds, depth 10, found by <simplerounding>)
1123.84/1127.39 c Dual Bound : +5.87500000000000e+03
1123.84/1127.39 c Gap : 0.00 %
1123.84/1127.39 c Integrals : Total Avg%
1123.84/1127.39 c primal-dual : 4879.69 4.33
1123.84/1127.39 c primal-ref : - - (not evaluated)
1123.84/1127.39 c dual-ref : - - (not evaluated)
1123.94/1127.42 c Time complete: 1123.98.
OK 5875
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 (62555 MiB free)
memory of node 1: 64465 MiB (63058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512282-1751272006/watcher-4512282-1751272006 -o /tmp/evaluation-result-4512282-1751272006/solver-4512282-1751272006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44413 --watchdog 3760 pbscip -f HOME/instance-4512282-1751272006.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45287, runsolver pid=45284
[startup+0.100068 s]*
/proc/loadavg: 4.10 4.13 4.05 6/253 45288
/proc/meminfo: memFree=128628084/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=56336 memory=29824 CPUtime=0.09 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 4165 0 0 0 7 2 0 0 20 0 1 0 42879777 57688064 7456 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 14084 7456 3616 3530 0 5535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56336 KiB
Current children cumulated memory: 29824 KiB
[startup+0.215507 s]*
/proc/loadavg: 4.10 4.13 4.05 5/253 45288
/proc/meminfo: memFree=128619768/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=74816 memory=44408 CPUtime=0.19 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 8135 0 0 0 16 3 0 0 20 0 1 0 42879777 76611584 11102 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 18704 11102 3776 3530 0 10155 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74816 KiB
Current children cumulated memory: 44408 KiB
[startup+0.313288 s]*
/proc/loadavg: 4.10 4.13 4.05 5/253 45288
/proc/meminfo: memFree=128616744/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=76816 memory=46328 CPUtime=0.27 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 8601 0 0 0 24 3 0 0 20 0 1 0 42879777 78659584 11582 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 19204 11582 3808 3530 0 10655 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76816 KiB
Current children cumulated memory: 46328 KiB
[startup+0.700139 s]
/proc/loadavg: 4.10 4.13 4.05 5/253 45288
/proc/meminfo: memFree=128616744/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=77868 memory=47224 CPUtime=0.62 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 8820 0 0 0 59 3 0 0 20 0 1 0 42879777 79736832 11806 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 19467 11806 3808 3530 0 10918 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 77868 KiB
Current children cumulated memory: 47224 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.13 4.05 5/253 45288
/proc/meminfo: memFree=128612712/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=101724 memory=69696 CPUtime=1.41 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 15687 0 0 0 137 4 0 0 20 0 1 0 42879777 104165376 17424 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 25431 17424 3904 3530 0 16882 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 101724 KiB
Current children cumulated memory: 69696 KiB
[startup+3.10522 s]
/proc/loadavg: 4.10 4.13 4.05 5/253 45288
/proc/meminfo: memFree=128581136/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=110060 memory=79936 CPUtime=3 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 18296 0 0 0 296 4 0 0 20 0 1 0 42879777 112701440 19984 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 27515 19984 3904 3530 0 18966 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 79936 KiB
[startup+6.30014 s]
/proc/loadavg: 4.09 4.13 4.05 5/253 45288
/proc/meminfo: memFree=128581500/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=114084 memory=83264 CPUtime=6.17 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 19134 0 0 0 612 5 0 0 20 0 1 0 42879777 116822016 20816 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 28521 20816 3904 3530 0 19972 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 114084 KiB
Current children cumulated memory: 83264 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.06 5/253 45288
/proc/meminfo: memFree=128572940/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=131072 memory=93760 CPUtime=12.52 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 21773 0 0 0 1247 5 0 0 20 0 1 0 42879777 134217728 23440 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 32768 23440 3904 3530 0 24219 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 131072 KiB
Current children cumulated memory: 93760 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.06 5/253 45289
/proc/meminfo: memFree=128550764/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=142584 memory=103740 CPUtime=25.29 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 24763 0 0 0 2523 6 0 0 20 0 1 0 42879777 146006016 25935 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 35646 25935 3904 3530 0 27097 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 142584 KiB
Current children cumulated memory: 103740 KiB
[startup+51.1129 s]
/proc/loadavg: 4.22 4.16 4.06 5/252 45289
/proc/meminfo: memFree=128520036/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=150376 memory=107196 CPUtime=50.84 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 25634 0 0 0 5078 6 0 0 20 0 1 0 42879777 153985024 26799 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 37594 26799 3904 3530 0 29045 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 150376 KiB
Current children cumulated memory: 107196 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.07 5/252 45291
/proc/meminfo: memFree=128345136/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=328708 memory=267196 CPUtime=101.89 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 37011 0 0 0 10179 10 0 0 20 0 1 0 42879777 336596992 66799 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 82177 66799 3904 3530 0 73628 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 328708 KiB
Current children cumulated memory: 267196 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/252 45293
/proc/meminfo: memFree=128273724/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=379608 memory=314232 CPUtime=161.75 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 42162 0 0 0 16163 12 0 0 20 0 1 0 42879777 388718592 78558 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 94902 78558 3904 3530 0 86353 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 379608 KiB
Current children cumulated memory: 314232 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/251 45295
/proc/meminfo: memFree=128231564/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=396172 memory=321400 CPUtime=221.59 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 43928 0 0 0 22147 12 0 0 20 0 1 0 42879777 405680128 80350 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 99043 80350 3904 3530 0 90494 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 396172 KiB
Current children cumulated memory: 321400 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.07 5/249 45298
/proc/meminfo: memFree=128116152/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=513212 memory=415788 CPUtime=281.44 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 47634 0 0 0 28130 14 0 0 20 0 1 0 42879777 525529088 103947 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 128303 103947 3904 3530 0 119754 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 513212 KiB
Current children cumulated memory: 415788 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/249 45300
/proc/meminfo: memFree=127836844/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=526192 memory=420396 CPUtime=341.29 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 48778 0 0 0 34114 15 0 0 20 0 1 0 42879777 538820608 105099 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 131548 105099 3904 3530 0 122999 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 526192 KiB
Current children cumulated memory: 420396 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.13 4.08 5/249 45302
/proc/meminfo: memFree=127711976/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=632492 memory=500420 CPUtime=401.11 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 69854 0 0 0 40093 18 0 0 20 0 1 0 42879777 647671808 125105 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 158123 125105 3904 3530 0 149574 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 632492 KiB
Current children cumulated memory: 500420 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/249 45304
/proc/meminfo: memFree=127701972/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=633624 memory=501572 CPUtime=460.91 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 70126 0 0 0 46073 18 0 0 20 0 1 0 42879777 648830976 125393 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 158406 125393 3904 3530 0 149857 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.08 4/246 45319
/proc/meminfo: memFree=128062008/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=647264 memory=514244 CPUtime=580.53 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 73320 0 0 0 58034 19 0 0 20 0 1 0 42879777 662798336 128561 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 161816 128561 3904 3530 0 153267 0
Current children cumulated CPU time: 580.53 s
Current children cumulated vsize: 647264 KiB
Current children cumulated memory: 514244 KiB
[startup+642.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/251 45358
/proc/meminfo: memFree=127922248/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=648588 memory=514500 CPUtime=640.33 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 73385 0 0 0 64014 19 0 0 20 0 1 0 42879777 664154112 128625 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 162147 128625 3904 3530 0 153598 0
Current children cumulated CPU time: 640.33 s
Current children cumulated vsize: 648588 KiB
Current children cumulated memory: 514500 KiB
[startup+702.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/252 45365
/proc/meminfo: memFree=127870292/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=656780 memory=518084 CPUtime=700.13 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 74256 0 0 0 69994 19 0 0 20 0 1 0 42879777 672542720 129521 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 164195 129521 3904 3530 0 155646 0
Current children cumulated CPU time: 700.13 s
Current children cumulated vsize: 656780 KiB
Current children cumulated memory: 518084 KiB
[startup+762.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/252 45367
/proc/meminfo: memFree=127863972/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=662228 memory=520388 CPUtime=759.93 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 74835 0 0 0 75974 19 0 0 20 0 1 0 42879777 678121472 130097 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 165557 130097 3904 3530 0 157008 0
Current children cumulated CPU time: 759.93 s
Current children cumulated vsize: 662228 KiB
Current children cumulated memory: 520388 KiB
[startup+822.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/252 45369
/proc/meminfo: memFree=127796728/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=664960 memory=521668 CPUtime=819.73 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 75173 0 0 0 81954 19 0 0 20 0 1 0 42879777 680919040 130417 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 166240 130417 3904 3530 0 157691 0
Current children cumulated CPU time: 819.73 s
Current children cumulated vsize: 664960 KiB
Current children cumulated memory: 521668 KiB
[startup+882.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/252 45371
/proc/meminfo: memFree=127736504/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=668936 memory=523332 CPUtime=879.54 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 75586 0 0 0 87934 20 0 0 20 0 1 0 42879777 684990464 130833 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 167234 130833 3904 3530 0 158685 0
Current children cumulated CPU time: 879.54 s
Current children cumulated vsize: 668936 KiB
Current children cumulated memory: 523332 KiB
[startup+942.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/251 45373
/proc/meminfo: memFree=127708524/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=670724 memory=525124 CPUtime=939.34 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 75786 0 0 0 93914 20 0 0 20 0 1 0 42879777 686821376 131281 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 167681 131281 3904 3530 0 159132 0
Current children cumulated CPU time: 939.34 s
Current children cumulated vsize: 670724 KiB
Current children cumulated memory: 525124 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 45375
/proc/meminfo: memFree=127373764/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=962340 memory=862412 CPUtime=999.17 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 77870 0 0 0 99891 26 0 0 20 0 1 0 42879777 985436160 215603 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 240585 215603 3904 3530 0 232036 0
Current children cumulated CPU time: 999.17 s
Current children cumulated vsize: 962340 KiB
Current children cumulated memory: 862412 KiB
[startup+1062.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/249 45376
/proc/meminfo: memFree=127288644/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=964212 memory=907980 CPUtime=1059.01 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 78128 0 0 0 105875 26 0 0 20 0 1 0 42879777 987353088 226995 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 241053 226995 3904 3530 0 232504 0
Current children cumulated CPU time: 1059.01 s
Current children cumulated vsize: 964212 KiB
Current children cumulated memory: 907980 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 45378
/proc/meminfo: memFree=127235176/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=968280 memory=910412 CPUtime=1118.86 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 78795 0 0 0 111860 26 0 0 20 0 1 0 42879777 991518720 227603 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 242070 227603 3936 3530 0 233521 0
Current children cumulated CPU time: 1118.86 s
Current children cumulated vsize: 968280 KiB
Current children cumulated memory: 910412 KiB
[startup+1127.43 s]
# the end of solver process 45287 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1123.71 s, system=0.278963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1123.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 45378
/proc/meminfo: memFree=127235176/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=968280 memory=910412 CPUtime=1119.76 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 78803 0 0 0 111950 26 0 0 20 0 1 0 42879777 991518720 227603 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 242070 227603 3936 3530 0 233521 0
Current children cumulated CPU time: 1119.76 s
Current children cumulated vsize: 968280 KiB
Current children cumulated memory: 910412 KiB
[startup+1124.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 45380
/proc/meminfo: memFree=127235176/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=968280 memory=910540 CPUtime=1121.35 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 78813 0 0 0 112109 26 0 0 20 0 1 0 42879777 991518720 227635 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 242070 227635 3936 3530 0 233521 0
Current children cumulated CPU time: 1121.35 s
Current children cumulated vsize: 968280 KiB
Current children cumulated memory: 910540 KiB
[startup+1126.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 45380
/proc/meminfo: memFree=127243548/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=971512 memory=911308 CPUtime=1122.95 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 79001 0 0 0 112269 26 0 0 20 0 1 0 42879777 994828288 227827 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 242878 227827 3936 3530 0 234329 0
Current children cumulated CPU time: 1122.95 s
Current children cumulated vsize: 971512 KiB
Current children cumulated memory: 911308 KiB
[startup+1127.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 45380
/proc/meminfo: memFree=127251324/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=971512 memory=911308 CPUtime=1123.75 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 79001 0 0 0 112349 26 0 0 20 0 1 0 42879777 994828288 227827 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 242878 227827 3936 3530 0 234329 0
Current children cumulated CPU time: 1123.75 s
Current children cumulated vsize: 971512 KiB
Current children cumulated memory: 911308 KiB
[startup+1127.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 45380
/proc/meminfo: memFree=127251324/131382112 swapFree=33010684/33010684
[pid=45287] ppid=45284 vsize=971512 memory=911308 CPUtime=1123.94 cores=4,6
/proc/45287/stat : 45287 (pbscip) R 45284 45287 44395 0 -1 4194304 79001 0 0 0 112368 26 0 0 20 0 1 0 42879777 994828288 227827 18446744073709551615 4235264 18693293 140722959931504 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46174208 140722959935881 140722959935980 140722959935980 140722959941582 0
/proc/45287/statm: 242878 227827 3936 3530 0 234329 0
Current children cumulated CPU time: 1123.94 s
Current children cumulated vsize: 971512 KiB
Current children cumulated memory: 911308 KiB
Child status: 0
Real time (s): 1127.43
CPU time (s): 1123.99
CPU user time (s): 1123.71
CPU system time (s): 0.278963
CPU usage (%): 99.6948
Max. virtual memory (cumulated for all children) (KiB): 971512
Max. memory (cumulated for all children) (KiB): 911308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1123.71
system time used= 0.278963
maximum resident set size= 911308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79017
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= 104
involuntary context switches= 1403
# summary of solver processes directly reported to runsolver:
# pid: 45287
# total CPU time (s): 1123.99
# total CPU user time (s): 1123.71
# total CPU system time (s): 0.278963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.51046 second user time and 10.3319 second system time
The end
Begin job on nodeC007 at 2025-06-30 10:26:46 IDJOB=4512282 IDBENCH=160589 IDSOLVER=3365 FILE ID=nodeC007/4512282-1751272006 RUNJOBID= nodeC007-1751268232-44413 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-edgecross14-176.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512282-1751272006/watcher-4512282-1751272006 -o /tmp/evaluation-result-4512282-1751272006/solver-4512282-1751272006 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751268232-44413 --watchdog 3760 pbscip -f HOME/instance-4512282-1751272006.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d2179c39982001565062a192c7c3e045 RANDOM SEED=694883639 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.736 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 : 3691.397 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.796 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 : 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 : 3691.449 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.214 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 : 1196.928 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: 128628260 kB MemAvailable: 128743508 kB Buffers: 3280 kB Cached: 923136 kB SwapCached: 0 kB Active: 1497500 kB Inactive: 676752 kB Active(anon): 1265800 kB Inactive(anon): 0 kB Active(file): 231700 kB Inactive(file): 676752 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18776 kB Writeback: 0 kB AnonPages: 1250948 kB Mapped: 137424 kB Shmem: 17960 kB KReclaimable: 92848 kB Slab: 176076 kB SReclaimable: 92848 kB SUnreclaim: 83228 kB KernelStack: 4080 kB PageTables: 5696 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1689436 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 460800 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:45:34