| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.86 | 3597.05 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb |
| MD5SUM | a76247625d06f26dbfcd47fe69513f4b |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5508 |
| Total number of constraints | 5672 |
| Number of constraints which are clauses | 5591 |
| Number of constraints which are cardinality constraints (but not clauses) | 81 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 81 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 82 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4507527-1751191306.opb>
0.00/0.01 c original problem has 5508 variables (5508 bin, 0 int, 0 cont) and 5672 constraints
0.00/0.01 c problem read in 0.017 seconds
0.00/0.02 c problem without objective
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1093 clqs
0.00/0.04 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1080 clqs
0.00/0.04 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1085 clqs
0.00/0.05 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1111 clqs
0.00/0.05 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1126 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.09/0.11 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 79 fixings, 0 bound changes
0.09/0.11 c (round 6, medium) 663 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1126 clqs
0.09/0.11 c (round 7, fast) 663 del vars, 386 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1130 clqs
0.09/0.11 c (round 8, exhaustive) 663 del vars, 464 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1130 clqs
0.09/0.13 c (round 9, exhaustive) 663 del vars, 464 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5208 upgd conss, 0 impls, 1130 clqs
0.09/0.16 c (round 10, exhaustive) 725 del vars, 464 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5208 upgd conss, 0 impls, 1118 clqs
0.09/0.16 c (round 11, fast) 787 del vars, 526 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5208 upgd conss, 0 impls, 1118 clqs
0.68/0.74 c (round 12, exhaustive) 813 del vars, 527 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5208 upgd conss, 0 impls, 32746 clqs
0.68/0.74 c (round 13, fast) 814 del vars, 553 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 117 chg coeffs, 5208 upgd conss, 0 impls, 32760 clqs
0.88/0.99 c (round 14, exhaustive) 843 del vars, 553 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 121 chg coeffs, 5208 upgd conss, 0 impls, 32867 clqs
0.88/0.99 c (round 15, fast) 843 del vars, 581 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 178 chg coeffs, 5208 upgd conss, 0 impls, 32876 clqs
0.98/1.03 c (round 16, exhaustive) 868 del vars, 581 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 178 chg coeffs, 5208 upgd conss, 0 impls, 32888 clqs
0.98/1.04 c (round 17, fast) 868 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 225 chg coeffs, 5208 upgd conss, 0 impls, 32893 clqs
1.28/1.31 c (round 18, exhaustive) 893 del vars, 606 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 225 chg coeffs, 5208 upgd conss, 0 impls, 32907 clqs
1.28/1.31 c (round 19, fast) 893 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 265 chg coeffs, 5208 upgd conss, 0 impls, 32907 clqs
1.28/1.35 c (round 20, exhaustive) 918 del vars, 631 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 265 chg coeffs, 5208 upgd conss, 0 impls, 32901 clqs
1.28/1.35 c (round 21, fast) 918 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 297 chg coeffs, 5208 upgd conss, 0 impls, 32902 clqs
1.68/1.72 c (1.7s) probing: 1000/5004 (20.0%) - 150 fixings, 1 aggregations, 548124 implications, 0 bound changes
1.78/1.86 c (round 22, exhaustive) 943 del vars, 656 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 297 chg coeffs, 5208 upgd conss, 0 impls, 32854 clqs
1.78/1.86 c (round 23, fast) 943 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 321 chg coeffs, 5208 upgd conss, 0 impls, 32854 clqs
2.08/2.19 c (round 24, exhaustive) 968 del vars, 681 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 321 chg coeffs, 5208 upgd conss, 0 impls, 32954 clqs
2.08/2.19 c (round 25, fast) 968 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 347 chg coeffs, 5208 upgd conss, 0 impls, 32954 clqs
2.77/2.85 c (round 26, exhaustive) 993 del vars, 706 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 347 chg coeffs, 5208 upgd conss, 0 impls, 32968 clqs
2.77/2.85 c (round 27, fast) 993 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 379 chg coeffs, 5208 upgd conss, 0 impls, 32969 clqs
2.87/2.93 c (2.9s) probing: 2000/5004 (40.0%) - 206 fixings, 1 aggregations, 1026705 implications, 0 bound changes
3.77/3.88 c (3.9s) probing: 3000/5004 (60.0%) - 219 fixings, 1 aggregations, 1430993 implications, 0 bound changes
4.77/4.83 c (4.8s) probing: 4000/5004 (79.9%) - 220 fixings, 1 aggregations, 1832065 implications, 0 bound changes
5.57/5.65 c (5.6s) probing: 5000/5004 (99.9%) - 221 fixings, 1 aggregations, 2167239 implications, 0 bound changes
5.57/5.65 c (5.6s) probing cycle finished: starting next cycle
6.76/6.84 c (6.8s) probing: 1000/4781 (20.9%) - 225 fixings, 2 aggregations, 2703962 implications, 0 bound changes
7.16/7.25 c (7.3s) probing: 1363/4781 (28.5%) - 225 fixings, 2 aggregations, 2897697 implications, 0 bound changes
7.16/7.25 c (7.3s) probing aborted: 1000/1000 successive useless probings
7.16/7.25 c (round 28, exhaustive) 1017 del vars, 731 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 379 chg coeffs, 5208 upgd conss, 0 impls, 32156 clqs
7.16/7.25 c (round 29, fast) 1017 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 423 chg coeffs, 5208 upgd conss, 0 impls, 32160 clqs
7.26/7.39 c (7.4s) probing: 1463/4781 (30.6%) - 225 fixings, 2 aggregations, 2944861 implications, 0 bound changes
7.26/7.39 c (7.4s) probing aborted: 1000/1000 successive useless probings
7.36/7.40 c (7.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.36/7.41 c (7.4s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.00)
7.36/7.42 c dynamic symmetry handling statistics:
7.36/7.42 c orbitopal reduction: no components
7.36/7.42 c orbital reduction: no components
7.36/7.42 c lexicographic reduction: 4 permutations with support sizes 150, 296, 150, 134
7.36/7.42 c handled 5 out of 5 symmetry components
7.36/7.42 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
7.36/7.42 c 1020 deleted vars, 755 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 423 changed coefficients
7.36/7.42 c 0 implications, 33011 cliques
7.36/7.42 c presolved problem has 4773 variables (4773 bin, 0 int, 0 cont) and 4920 constraints
7.36/7.42 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
7.36/7.42 c 1 constraints of type <knapsack>
7.36/7.42 c 1052 constraints of type <setppc>
7.36/7.42 c 3 constraints of type <orbitope_pp>
7.36/7.42 c 3864 constraints of type <logicor>
7.36/7.42 c transformed objective value is always integral (scale: 1)
7.36/7.42 c Presolving Time: 7.39
7.36/7.42 c
7.36/7.42 c - non default parameters ----------------------------------------------------------------------
7.36/7.42 c
7.36/7.42 c # SCIP version 10.0.0
7.36/7.42 c
7.36/7.42 c # maximal time in seconds to run
7.36/7.42 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.36/7.42 c limits/time = 3596.999005
7.36/7.42 c
7.36/7.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.36/7.42 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.36/7.42 c limits/memory = 27900
7.36/7.42 c
7.36/7.42 c # belongs reading time to solving time?
7.36/7.42 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.36/7.42 c timing/reading = TRUE
7.36/7.42 c
7.36/7.42 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
7.36/7.42 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
7.36/7.42 c reading/opbreader/maxintsize = 47
7.36/7.42 c
7.36/7.42 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
7.36/7.42 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
7.36/7.42 c propagating/genvbounds/timingmask = 0
7.36/7.42 c
7.36/7.42 c -----------------------------------------------------------------------------------------------
7.36/7.42 c
11.06/11.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.06/11.13 c 11.1s| 1 | 0 | 11872 | - | 106M | 0 |4773 |4968 |4914 | 0 | 0 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
40.57/40.71 c 40.7s| 1 | 0 | 72131 | - | 114M | 0 |4773 |5173 |4920 | 6 | 1 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
41.77/41.99 c 42.0s| 1 | 0 | 74644 | - | 116M | 0 |4773 |5183 |4926 | 12 | 2 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
43.16/43.33 c 43.3s| 1 | 0 | 77251 | - | 117M | 0 |4773 |5193 |4930 | 16 | 3 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
45.65/45.83 c 45.8s| 1 | 0 | 83047 | - | 120M | 0 |4773 |5196 |4943 | 29 | 4 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
47.65/47.85 c 47.9s| 1 | 0 | 87114 | - | 121M | 0 |4773 |5197 |4952 | 38 | 5 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
49.05/49.28 c 49.3s| 1 | 0 | 89517 | - | 122M | 0 |4773 |5198 |4957 | 43 | 6 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
50.74/50.91 c 50.9s| 1 | 0 | 92556 | - | 123M | 0 |4773 |5199 |4962 | 48 | 7 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
52.74/52.90 c 52.9s| 1 | 0 | 96527 | - | 124M | 0 |4773 |5200 |4973 | 59 | 8 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
54.23/54.41 c 54.4s| 1 | 0 | 99254 | - | 124M | 0 |4773 |5204 |4978 | 64 | 9 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
56.23/56.40 c 56.4s| 1 | 0 |103195 | - | 125M | 0 |4773 |5208 |4986 | 72 | 10 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
58.62/58.82 c 58.8s| 1 | 0 |108896 | - | 125M | 0 |4773 |5210 |4996 | 82 | 11 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
86.26/86.58 c 86.6s| 1 | 2 |160277 | - | 126M | 0 |4773 |5215 |4996 | 82 | 11 | 112 | 11 | 0.000000e+00 | -- | Inf | unknown
663.85/665.74 c 666s| 100 | 41 | 1211k|11139.4 | 150M | 20 |4773 |5292 |4968 | 142 | 0 | 413 | 11 | 0.000000e+00 | -- | Inf | 11.67%
748.58/750.73 c 751s| 200 | 47 | 1478k|6884.4 | 153M | 27 |4773 |5331 |4965 | 196 | 0 | 465 | 11 | 0.000000e+00 | -- | Inf | 11.76%
836.80/839.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
836.80/839.24 c 839s| 300 | 49 | 1725k|5405.5 | 155M | 27 |4773 |5330 |4973 | 256 | 1 | 468 | 11 | 0.000000e+00 | -- | Inf | 11.99%
908.87/911.51 c 912s| 400 | 55 | 1942k|4596.1 | 156M | 31 |4773 |5356 |4981 | 289 | 0 | 498 | 11 | 0.000000e+00 | -- | Inf | 12.01%
945.65/948.40 c 948s| 500 | 51 | 2067k|3924.9 | 160M | 38 |4773 |5369 |4973 | 300 | 0 | 525 | 11 | 0.000000e+00 | -- | Inf | 12.02%
1012.44/1015.43 c 1015s| 600 | 55 | 2267k|3604.0 | 162M | 38 |4773 |5373 |4975 | 320 | 2 | 572 | 11 | 0.000000e+00 | -- | Inf | 12.04%
1075.24/1078.44 c 1078s| 700 | 49 | 2463k|3369.0 | 163M | 40 |4773 |5392 |4967 | 333 | 1 | 614 | 11 | 0.000000e+00 | -- | Inf | 12.04%
1153.69/1157.11 c 1157s| 800 | 47 | 2700k|3243.4 | 167M | 40 |4773 |5384 |4977 | 358 | 0 | 673 | 11 | 0.000000e+00 | -- | Inf | 12.05%
1235.72/1239.43 c 1239s| 900 | 51 | 2941k|3151.3 | 170M | 40 |4773 |5389 |4977 | 375 | 0 | 722 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1283.37/1287.25 c 1287s| 1000 | 53 | 3099k|2994.0 | 170M | 40 |4773 |5382 |4977 | 391 | 1 | 722 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1332.41/1336.41 c 1336s| 1100 | 53 | 3264k|2871.0 | 171M | 40 |4773 |5386 | 0 | 423 | 0 | 732 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1397.20/1401.41 c 1401s| 1200 | 55 | 3467k|2801.1 | 173M | 40 |4773 |5404 |4979 | 476 | 0 | 761 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1457.01/1461.45 c 1461s| 1300 | 51 | 3658k|2732.6 | 173M | 40 |4773 |5424 |4981 | 515 | 0 | 789 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1507.35/1511.96 c 1512s| 1400 | 53 | 3821k|2654.0 | 175M | 40 |4773 |5439 |4982 | 549 | 0 | 820 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1564.57/1569.34 c 1569s| 1500 | 53 | 4011k|2603.5 | 176M | 40 |4773 |5441 |4985 | 570 | 1 | 832 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1617.90/1622.80 c 1623s| 1600 | 53 | 4190k|2552.4 | 177M | 40 |4773 |5430 |4979 | 598 | 1 | 841 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1679.51/1684.63 c 1685s| 1700 | 49 | 4389k|2519.7 | 178M | 41 |4773 |5438 |4980 | 656 | 0 | 866 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1739.72/1745.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1739.72/1745.10 c 1745s| 1800 | 47 | 4578k|2484.2 | 178M | 42 |4773 |5401 |4967 | 697 | 1 | 894 | 11 | 0.000000e+00 | -- | Inf | 12.07%
1816.17/1821.74 c 1822s| 1900 | 47 | 4822k|2482.2 | 179M | 42 |4773 |5403 |4978 | 756 | 0 | 928 | 11 | 0.000000e+00 | -- | Inf | 12.08%
1879.38/1885.19 c 1885s| 2000 | 49 | 5024k|2459.3 | 179M | 42 |4773 |5427 |4979 | 785 | 0 | 972 | 11 | 0.000000e+00 | -- | Inf | 12.08%
1960.25/1966.25 c 1966s| 2100 | 49 | 5286k|2466.5 | 180M | 42 |4773 |5434 |4967 | 805 | 1 |1008 | 11 | 0.000000e+00 | -- | Inf | 12.08%
1996.26/2002.38 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1996.26/2002.38 c (run 1, node 2148) performing user restart
1996.26/2002.38 c
1996.26/2002.38 c (restart) converted 46 cuts from the global cut pool into linear constraints
1996.26/2002.38 c
1996.26/2002.39 c presolving:
1996.36/2002.40 c (round 1, fast) 0 del vars, 14 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 33011 clqs
1996.36/2002.41 c (round 2, exhaustive) 0 del vars, 16 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 3 chg coeffs, 220 upgd conss, 0 impls, 33011 clqs
1996.36/2002.42 c (round 3, medium) 0 del vars, 16 del conss, 9 add conss, 0 chg bounds, 27 chg sides, 52 chg coeffs, 220 upgd conss, 0 impls, 33011 clqs
1996.46/2002.56 c (round 4, exhaustive) 0 del vars, 35 del conss, 9 add conss, 0 chg bounds, 27 chg sides, 3066 chg coeffs, 220 upgd conss, 0 impls, 33011 clqs
1996.56/2002.67 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
1996.56/2002.67 c 0 deleted vars, 35 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 27 changed sides, 3123 changed coefficients
1996.56/2002.67 c 0 implications, 33011 cliques
1996.56/2002.67 c presolved problem has 4773 variables (4773 bin, 0 int, 0 cont) and 5447 constraints
1996.56/2002.67 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1996.56/2002.67 c 22 constraints of type <knapsack>
1996.56/2002.67 c 1182 constraints of type <setppc>
1996.56/2002.67 c 3 constraints of type <orbitope_pp>
1996.56/2002.67 c 4240 constraints of type <logicor>
1996.56/2002.67 c transformed objective value is always integral (scale: 1)
1996.56/2002.67 c Presolving Time: 7.67
1996.56/2002.67 c
2000.35/2006.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2000.35/2006.48 c 2006s| 1 | 0 | 5409k| - | 184M | 0 |4773 |5462 |4969 | 0 | 0 |1041 | 11 | 0.000000e+00 | -- | Inf | unknown
2003.64/2009.76 c 2010s| 1 | 0 | 5417k| - | 184M | 0 |4773 |5451 |4985 | 16 | 1 |1045 | 11 | 0.000000e+00 | -- | Inf | unknown
2005.43/2011.59 c 2012s| 1 | 0 | 5421k| - | 184M | 0 |4773 |5447 |4997 | 28 | 2 |1049 | 11 | 0.000000e+00 | -- | Inf | unknown
2007.63/2013.74 c 2014s| 1 | 0 | 5425k| - | 184M | 0 |4773 |5447 |5012 | 43 | 3 |1053 | 11 | 0.000000e+00 | -- | Inf | unknown
2010.12/2016.22 c 2016s| 1 | 0 | 5430k| - | 185M | 0 |4773 |5446 |5021 | 52 | 4 |1054 | 11 | 0.000000e+00 | -- | Inf | unknown
2013.31/2019.42 c 2019s| 1 | 0 | 5437k| - | 185M | 0 |4773 |5450 |5034 | 65 | 5 |1063 | 11 | 0.000000e+00 | -- | Inf | unknown
2015.01/2021.12 c 2021s| 1 | 0 | 5440k| - | 186M | 0 |4773 |5425 |5042 | 73 | 6 |1065 | 11 | 0.000000e+00 | -- | Inf | unknown
2018.01/2024.17 c 2024s| 1 | 0 | 5447k| - | 186M | 0 |4773 |5407 |5057 | 88 | 7 |1066 | 11 | 0.000000e+00 | -- | Inf | unknown
2023.39/2029.58 c 2030s| 1 | 0 | 5457k| - | 187M | 0 |4773 |5410 |5072 | 103 | 8 |1075 | 11 | 0.000000e+00 | -- | Inf | unknown
2027.68/2033.85 c 2034s| 1 | 0 | 5466k| - | 188M | 0 |4773 |5409 |5090 | 121 | 9 |1076 | 11 | 0.000000e+00 | -- | Inf | unknown
2032.56/2038.70 c 2039s| 1 | 0 | 5476k| - | 188M | 0 |4773 |5415 |5102 | 133 | 10 |1086 | 11 | 0.000000e+00 | -- | Inf | unknown
2036.15/2042.33 c 2042s| 1 | 0 | 5483k| - | 189M | 0 |4773 |5417 |5073 | 147 | 11 |1089 | 11 | 0.000000e+00 | -- | Inf | unknown
2071.46/2077.79 c 2078s| 1 | 2 | 5555k| - | 189M | 0 |4773 |5392 |5073 | 147 | 11 |1104 | 30 | 0.000000e+00 | -- | Inf | unknown
2236.23/2242.92 c 2243s| 100 | 23 | 6011k|2588.7 | 192M | 28 |4773 |5421 |4998 | 191 | 0 |1175 | 30 | 0.000000e+00 | -- | Inf | unknown
2308.94/2315.86 c 2316s| 200 | 23 | 6245k|2578.1 | 193M | 28 |4773 |5401 |5018 | 273 | 0 |1192 | 30 | 0.000000e+00 | -- | Inf | 1.12%
2378.96/2386.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2378.96/2386.07 c 2386s| 300 | 21 | 6484k|2570.5 | 195M | 28 |4773 |5428 |5019 | 306 | 1 |1228 | 30 | 0.000000e+00 | -- | Inf | 1.27%
2569.66/2577.21 c 2577s| 400 | 29 | 6974k|2662.0 | 200M | 28 |4773 |5434 |5012 | 500 | 1 |1238 | 30 | 0.000000e+00 | -- | Inf | 2.87%
2645.46/2653.27 c 2653s| 500 | 27 | 7229k|2657.4 | 201M | 28 |4773 |5452 |5014 | 562 | 0 |1259 | 30 | 0.000000e+00 | -- | Inf | 2.95%
2717.47/2725.41 c 2725s| 600 | 27 | 7463k|2646.1 | 202M | 28 |4773 |5503 |5017 | 627 | 0 |1314 | 30 | 0.000000e+00 | -- | Inf | 3.11%
2839.45/2847.76 c 2848s| 700 | 31 | 7836k|2684.0 | 207M | 28 |4773 |5557 | 0 | 788 | 0 |1378 | 30 | 0.000000e+00 | -- | Inf | 3.78%
2939.09/2947.64 c 2948s| 800 | 37 | 8135k|2694.4 | 210M | 28 |4773 |5568 |5006 | 916 | 0 |1398 | 30 | 0.000000e+00 | -- | Inf | 4.14%
3002.82/3011.58 c 3012s| 900 | 39 | 8344k|2674.6 | 213M | 30 |4773 |5572 |5019 | 995 | 0 |1410 | 30 | 0.000000e+00 | -- | Inf | 4.17%
3070.74/3079.67 c 3080s| 1000 | 45 | 8569k|2661.2 | 214M | 40 |4773 |5579 |5017 |1028 | 1 |1428 | 30 | 0.000000e+00 | -- | Inf | 4.21%
3130.09/3139.18 c 3139s| 1100 | 41 | 8768k|2640.6 | 214M | 40 |4773 |5581 |5011 |1067 | 1 |1443 | 30 | 0.000000e+00 | -- | Inf | 4.25%
3195.52/3204.75 c 3205s| 1200 | 39 | 8985k|2626.6 | 214M | 40 |4773 |5582 |5013 |1093 | 1 |1457 | 30 | 0.000000e+00 | -- | Inf | 4.28%
3297.06/3306.59 c 3307s| 1300 | 41 | 9313k|2645.4 | 216M | 40 |4773 |5574 |5013 |1274 | 0 |1471 | 30 | 0.000000e+00 | -- | Inf | 5.89%
3359.50/3369.14 c 3369s| 1400 | 41 | 9512k|2627.0 | 216M | 40 |4773 |5596 |5013 |1309 | 0 |1498 | 30 | 0.000000e+00 | -- | Inf | 5.95%
3432.80/3442.64 c 3443s| 1500 | 41 | 9750k|2620.0 | 217M | 40 |4773 |5621 |5013 |1333 | 1 |1528 | 30 | 0.000000e+00 | -- | Inf | 5.99%
3498.53/3508.50 c 3509s| 1600 | 39 | 9957k|2605.4 | 217M | 40 |4773 |5623 |5013 |1361 | 1 |1545 | 30 | 0.000000e+00 | -- | Inf | 6.00%
3571.04/3581.25 c 3581s| 1700 | 37 | 10192k|2598.7 | 218M | 40 |4773 |5661 |5024 |1434 | 1 |1586 | 30 | 0.000000e+00 | -- | Inf | 6.22%
3586.70/3597.00 c
3586.70/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.70/3597.00 c Solving Time (sec) : 3597.00
3586.70/3597.00 c Solving Nodes : 1720 (total of 3868 nodes in 2 runs)
3586.70/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.70/3597.00 c Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Gap : infinite
3586.70/3597.00 s UNKNOWN
3586.70/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.70/3597.00 c Total Time : 3597.00
3586.70/3597.00 c solving : 3597.00
3586.70/3597.00 c presolving : 7.67 (included in solving)
3586.70/3597.00 c reading : 0.02 (included in solving)
3586.70/3597.00 c copying : 1.13 (105 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.70/3597.00 c Original Problem :
3586.70/3597.00 c Problem name : HOME/instance-4507527-1751191306.opb
3586.70/3597.00 c Variables : 5508 (5508 binary, 0 integer, 0 continuous)
3586.70/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.70/3597.00 c Constraints : 5672 initial, 5672 maximal
3586.70/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.70/3597.00 c Presolved Problem :
3586.70/3597.00 c Problem name : t_HOME/instance-4507527-1751191306.opb
3586.70/3597.00 c Variables : 4773 (4773 binary, 0 integer, 0 continuous)
3586.70/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.70/3597.00 c Constraints : 5447 initial, 5671 maximal
3586.70/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.70/3597.00 c Nonzeros : 60162 constraint, 70693 clique table
3586.70/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.70/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c domcol : 0.07 0.00 11 0 0 0 0 0 0 0 0 3
3586.70/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gateextraction : 0.03 0.00 14 0 0 0 0 0 1 0 0 0
3586.70/3597.00 c implics : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c milp : 0.06 0.00 1 79 1 0 0 0 0 0 0 0
3586.70/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c trivial : 0.00 0.00 35 284 0 0 0 0 0 0 0 0
3586.70/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualfix : 0.00 0.00 35 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c probing : 6.74 0.00 10 225 2 0 0 0 0 0 0 0
3586.70/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3586.70/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c knapsack : 0.01 0.00 55 0 0 0 0 0 0 9 24 79
3586.70/3597.00 c setppc : 0.04 0.00 55 0 0 0 0 0 81 0 0 0
3586.70/3597.00 c linear : 0.04 0.00 14 141 0 0 141 0 466 0 3 2
3586.70/3597.00 c orbitope_pp : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c logicor : 0.47 0.01 54 63 0 0 0 0 242 0 0 3462
3586.70/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.70/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.70/3597.00 c integral : 0 0 0 0 1975 0 0 345 0 0 0 0 0 0 3950
3586.70/3597.00 c knapsack : 22 22 22 137548 0 0 0 340 17602 2 4817 3 2 0 0
3586.70/3597.00 c setppc : 1182+ 1208 22 139192 0 0 0 255 469462 177 176770 0 0 0 0
3586.70/3597.00 c orbitope_pp : 3 3 0 44732 0 0 0 0 1345 0 1079 0 0 0 0
3586.70/3597.00 c logicor : 4240+ 4438 22 119983 0 0 0 0 817866 160 272408 97 45 0 0
3586.70/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.70/3597.00 c integral : 13.80 0.00 0.00 0.00 13.80 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c knapsack : 0.18 0.00 0.03 0.14 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c setppc : 1.33 0.00 0.00 1.21 0.00 0.00 0.00 0.00 0.11 0.01
3586.70/3597.00 c orbitope_pp : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c logicor : 3.12 0.01 0.01 2.80 0.00 0.00 0.00 0.00 0.28 0.02
3586.70/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.70/3597.00 c dualfix : 2 0 0 0
3586.70/3597.00 c genvbounds : 0 0 0 0
3586.70/3597.00 c nlobbt : 0 0 0 0
3586.70/3597.00 c obbt : 0 0 0 0
3586.70/3597.00 c probing : 0 0 0 0
3586.70/3597.00 c pseudoobj : 0 0 0 0
3586.70/3597.00 c redcost : 0 0 0 0
3586.70/3597.00 c rootredcost : 0 0 0 0
3586.70/3597.00 c symmetry : 22130 0 0 32
3586.70/3597.00 c vbounds : 26058 0 0 0
3586.70/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.70/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c probing : 6.74 0.00 6.74 0.00 0.00 0.00
3586.70/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.70/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.70/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.70/3597.00 c symmetry : 0.07 0.00 0.02 0.05 0.00 0.00
3586.70/3597.00 c vbounds : 0.20 0.00 0.01 0.19 0.00 0.00
3586.70/3597.00 c Symmetry :
3586.70/3597.00 c #affected vars : 1006 (1006 bin, 0 int, 0 cont)
3586.70/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.70/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.70/3597.00 c lexicographic red: 32 reductions applied, 0 cutoffs
3586.70/3597.00 c shadow tree time : 0.01 s
3586.70/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.70/3597.00 c propagation : 0.03 336 186 - 817 81.5 28 10.9 - - -
3586.70/3597.00 c infeasible LP : 3.51 1874 618 - 10299 853.0 23 7.9 11 86.6 0
3586.70/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.70/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.70/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.70/3597.00 c applied globally : 0.05 - - 0 1565 231.1 - - 11 - -
3586.70/3597.00 c applied locally : - - - 0 21 861.2 - - 0 - -
3586.70/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.70/3597.00 c cut pool : 0.12 - 607 42 - - 1899 17651 - - - - - (maximal pool size: 1045)
3586.70/3597.00 c aggregation : 0.13 0.00 125 22 0 0 3 6 0 1 1 0 0
3586.70/3597.00 c > cmir : - - - - - - - 3 0 0 0 0 -
3586.70/3597.00 c > flowcover : - - - - - - - 2 0 0 0 0 -
3586.70/3597.00 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
3586.70/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c clique : 0.53 0.00 22 22 0 0 175 1519 0 469 469 0 0
3586.70/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gomory : 13.77 0.00 123 20 0 0 1603 14512 158 1004 995 9 0
3586.70/3597.00 c > gomorymi : - - - - - - - 6878 79 632 625 7 -
3586.70/3597.00 c > strongcg : - - - - - - - 7634 79 372 370 2 -
3586.70/3597.00 c impliedbounds : 0.15 0.00 125 22 0 0 112 537 0 127 127 0 0
3586.70/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c multilinear : 0.00 0.00 165 22 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c rapidlearning : 46.38 0.00 100 1 0 84121 0 0 0 0 0 0 890
3586.70/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c zerohalf : 6.97 0.00 125 22 0 0 384 1077 220 608 423 185 0
3586.70/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.70/3597.00 c hybrid : 0.02 0.00 398 22 2279 0 14553 229 0 280
3586.70/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.70/3597.00 c problem variables: 0.00 - 0 0
3586.70/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.70/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c relpscost : 13.80 0.00 1975 0 0 0 0 0 0 3950
3586.70/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.70/3597.00 c LP solutions : 0.00 - - 0 0
3586.70/3597.00 c relax solutions : 0.00 - - 0 0
3586.70/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.70/3597.00 c strong branching : 0.00 - - 0 0
3586.70/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c adaptivediving : 49.64 0.00 6 0 0
3586.70/3597.00 c alns : 8.02 0.00 4 0 0
3586.70/3597.00 c bound : 0.00 0.00 0 0 0
3586.70/3597.00 c clique : 0.02 0.00 1 0 0
3586.70/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c completesol : 0.00 0.00 0 0 0
3586.70/3597.00 c conflictdiving : 59.53 0.00 4 0 0
3586.70/3597.00 c crossover : 0.00 0.00 0 0 0
3586.70/3597.00 c dins : 0.00 0.00 0 0 0
3586.70/3597.00 c distributiondivin: 64.31 0.00 4 0 0
3586.70/3597.00 c dks : 0.00 0.00 0 0 0
3586.70/3597.00 c dps : 0.00 0.00 0 0 0
3586.70/3597.00 c dualval : 0.00 0.00 0 0 0
3586.70/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c feaspump : 30.22 0.00 2 0 0
3586.70/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.70/3597.00 c fracdiving : 40.10 0.00 4 0 0
3586.70/3597.00 c gins : 0.00 0.00 0 0 0
3586.70/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.70/3597.00 c indicator : 0.00 0.00 0 0 0
3586.70/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.70/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.70/3597.00 c linesearchdiving : 51.58 0.00 3 0 0
3586.70/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.70/3597.00 c locks : 0.01 0.00 1 0 0
3586.70/3597.00 c lpface : 0.02 0.00 0 0 0
3586.70/3597.00 c mpec : 0.00 0.00 0 0 0
3586.70/3597.00 c multistart : 0.00 0.00 0 0 0
3586.70/3597.00 c mutation : 0.00 0.00 0 0 0
3586.70/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c objpscostdiving : 327.16 0.00 2 0 0
3586.70/3597.00 c octane : 0.00 0.00 0 0 0
3586.70/3597.00 c ofins : 0.00 0.00 0 0 0
3586.70/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.70/3597.00 c padm : 0.00 0.00 0 0 0
3586.70/3597.00 c proximity : 0.00 0.00 0 0 0
3586.70/3597.00 c pscostdiving : 76.94 0.00 4 0 0
3586.70/3597.00 c randrounding : 0.17 0.00 355 0 0
3586.70/3597.00 c rens : 0.17 0.00 2 0 0
3586.70/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.70/3597.00 c repair : 0.00 0.00 0 0 0
3586.70/3597.00 c rins : 0.00 0.00 0 0 0
3586.70/3597.00 c rootsoldiving : 19.77 0.00 2 0 0
3586.70/3597.00 c rounding : 0.12 0.00 626 0 0
3586.70/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.70/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0
3586.70/3597.00 c shifting : 0.40 0.00 286 0 0
3586.70/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.70/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.70/3597.00 c trivial : 0.01 0.00 4 0 0
3586.70/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.70/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.70/3597.00 c trysol : 0.00 0.00 0 0 0
3586.70/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.70/3597.00 c undercover : 0.00 0.00 0 0 0
3586.70/3597.00 c vbounds : 0.02 0.00 2 0 0
3586.70/3597.00 c veclendiving : 39.11 0.00 4 0 0
3586.70/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.70/3597.00 c zirounding : 0.07 0.00 1000 0 0
3586.70/3597.00 c other solutions : - - - 0 -
3586.70/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.70/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.70/3597.00 c zeroobjective : 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.70/3597.00 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.70/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.70/3597.00 c primal LP : 0.75 168 0 0.00 0.00 0.75 168
3586.70/3597.00 c dual LP : 2729.66 4306 8814484 2063.80 3229.15 0.03 35
3586.70/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.70/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.70/3597.00 c resolve instable : 13.37 46 29835 648.59 2232.20
3586.70/3597.00 c diving/probing LP: 757.59 2030 1428677 703.78 1885.82
3586.70/3597.00 c strong branching : 11.04 30 23633 787.77 2140.03 - - 40
3586.70/3597.00 c (at root node) : - 30 23633 787.77 -
3586.70/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.70/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.70/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.70/3597.00 c B&B Tree :
3586.70/3597.00 c number of runs : 2
3586.70/3597.00 c nodes : 1720 (877 internal, 843 leaves)
3586.70/3597.00 c feasible leaves : 0
3586.70/3597.00 c infeas. leaves : 842
3586.70/3597.00 c objective leaves : 0
3586.70/3597.00 c nodes (total) : 3868 (1975 internal, 1893 leaves)
3586.70/3597.00 c nodes left : 36
3586.70/3597.00 c max depth : 40
3586.70/3597.00 c max depth (total): 42
3586.70/3597.00 c backtracks : 242 (14.1%)
3586.70/3597.00 c early backtracks : 0 (0.0%)
3586.70/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.70/3597.00 c delayed cutoffs : 0
3586.70/3597.00 c repropagations : 601 (5463 domain reductions, 0 cutoffs)
3586.70/3597.00 c avg switch length: 3.04
3586.70/3597.00 c switching time : 1.74
3586.70/3597.00 c Root Node :
3586.70/3597.00 c First LP value : +0.00000000000000e+00
3586.70/3597.00 c First LP Iters : 11872 (3255.96 Iter/sec)
3586.70/3597.00 c First LP Time : 3.65
3586.70/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Final Root Iters : 194833
3586.70/3597.00 c Root LP Estimate : +3.86324646788947e-02
3586.70/3597.00 c Solution :
3586.70/3597.00 c Solutions found : 0 (0 improvements)
3586.70/3597.00 c Primal Bound : -
3586.70/3597.00 c Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Gap : infinite
3586.70/3597.00 c Integrals : Total Avg%
3586.70/3597.00 c primal-dual : 359699.96 100.00
3586.70/3597.00 c primal-ref : - - (not evaluated)
3586.70/3597.00 c dual-ref : - - (not evaluated)
3586.80/3597.05 c Time complete (sec): 3586.854
ERROR: no interpretation found !
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: 63665 MiB (62691 MiB free)
memory of node 1: 64507 MiB (64003 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507527-1751191306/watcher-4507527-1751191306 -o /tmp/evaluation-result-4507527-1751191306/solver-4507527-1751191306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21831 --watchdog 3760 pbsolver -f HOME/instance-4507527-1751191306.opb -t 3600 -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=21882, runsolver pid=21870
[startup+0.100061 s]*
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129584116/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=54076 memory=44552 CPUtime=0.09 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 9675 0 0 0 8 1 0 0 20 0 1 0 34810554 55373824 11138 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 13519 11138 2496 2575 0 10426 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54076 KiB
Current children cumulated memory: 44552 KiB
[startup+0.205405 s]*
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129562980/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=69372 memory=56864 CPUtime=0.2 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 13277 0 0 0 18 2 0 0 20 0 1 0 34810554 71036928 14216 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 17343 14216 2560 2575 0 14250 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 56864 KiB
[startup+0.305421 s]*
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129517624/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=77884 memory=65440 CPUtime=0.29 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 15403 0 0 0 27 2 0 0 20 0 1 0 34810554 79753216 16360 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 19471 16360 2592 2575 0 16378 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77884 KiB
Current children cumulated memory: 65440 KiB
[startup+0.700188 s]
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129492424/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=78540 memory=66080 CPUtime=0.68 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 15564 0 0 0 66 2 0 0 20 0 1 0 34810554 80424960 16520 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 19635 16520 2592 2575 0 16542 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78540 KiB
Current children cumulated memory: 66080 KiB
[startup+1.50018 s]
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129492424/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=78540 memory=66848 CPUtime=1.48 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 15754 0 0 0 146 2 0 0 20 0 1 0 34810554 80424960 16712 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 19635 16712 2592 2575 0 16542 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78540 KiB
Current children cumulated memory: 66848 KiB
[startup+3.10562 s]
/proc/loadavg: 0.72 1.34 2.40 5/264 21887
/proc/meminfo: memFree=129489240/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=79588 memory=67872 CPUtime=3.08 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 16022 0 0 0 306 2 0 0 20 0 1 0 34810554 81498112 16968 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 19897 16968 2592 2575 0 16804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79588 KiB
Current children cumulated memory: 67872 KiB
[startup+6.30018 s]
/proc/loadavg: 0.98 1.38 2.41 5/264 21887
/proc/meminfo: memFree=129449700/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=80612 memory=68896 CPUtime=6.26 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 16273 0 0 0 624 2 0 0 20 0 1 0 34810554 82546688 17224 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 20153 17224 2592 2575 0 17060 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 80612 KiB
Current children cumulated memory: 68896 KiB
[startup+12.7001 s]
/proc/loadavg: 1.22 1.43 2.42 6/264 21887
/proc/meminfo: memFree=129288728/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=136068 memory=108832 CPUtime=12.65 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 26242 0 0 0 1261 4 0 0 20 0 1 0 34810554 139333632 27208 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 34017 27208 2656 2575 0 30924 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 136068 KiB
Current children cumulated memory: 108832 KiB
[startup+25.5001 s]
/proc/loadavg: 1.92 1.57 2.45 5/264 21887
/proc/meminfo: memFree=129287512/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=137396 memory=109856 CPUtime=25.41 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 26505 0 0 0 2537 4 0 0 20 0 1 0 34810554 140693504 27464 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 34349 27464 2656 2575 0 31256 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 137396 KiB
Current children cumulated memory: 109856 KiB
[startup+51.1056 s]
/proc/loadavg: 2.63 1.77 2.49 5/264 21888
/proc/meminfo: memFree=128993384/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=178264 CPUtime=50.95 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 46276 0 0 0 5088 7 0 0 20 0 1 0 34810554 213397504 44566 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 44566 2688 2575 0 49006 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 178264 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 2.13 2.58 5/264 21890
/proc/meminfo: memFree=128949576/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208936 memory=181104 CPUtime=102.01 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 48238 0 0 0 10193 8 0 0 20 0 1 0 34810554 213950464 45276 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52234 45276 2688 2575 0 49141 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 208936 KiB
Current children cumulated memory: 181104 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.50 2.68 6/265 21894
/proc/meminfo: memFree=128925808/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=180576 CPUtime=161.86 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 50936 0 0 0 16177 9 0 0 20 0 1 0 34810554 213397504 45144 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 45144 2688 2575 0 49006 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 180576 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.79 2.77 5/265 21896
/proc/meminfo: memFree=128902092/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=180576 CPUtime=221.7 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 50936 0 0 0 22161 9 0 0 20 0 1 0 34810554 213397504 45144 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 45144 2688 2575 0 49006 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 180576 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.03 2.85 5/265 21900
/proc/meminfo: memFree=128879476/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=180576 CPUtime=281.55 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 50936 0 0 0 28146 9 0 0 20 0 1 0 34810554 213397504 45144 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 45144 2688 2575 0 49006 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 180576 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.24 2.94 5/263 21904
/proc/meminfo: memFree=128903996/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=180576 CPUtime=341.4 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 50936 0 0 0 34131 9 0 0 20 0 1 0 34810554 213397504 45144 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 45144 2688 2575 0 49006 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 180576 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.39 3.01 5/263 21906
/proc/meminfo: memFree=128852524/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=189536 CPUtime=401.25 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 50958 0 0 0 40116 9 0 0 20 0 1 0 34810554 213397504 47384 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 47384 2688 2575 0 49006 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 208396 KiB
Current children cumulated memory: 189536 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.54 3.09 5/263 21908
/proc/meminfo: memFree=128845896/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=208396 memory=195552 CPUtime=461.09 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 51049 0 0 0 46100 9 0 0 20 0 1 0 34810554 213397504 48888 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 52099 48888 2688 2575 0 49006 0
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.02 5/264 22035
/proc/meminfo: memFree=128501292/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=250292 memory=241248 CPUtime=3153.23 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 124918 0 0 0 315297 26 0 0 20 0 1 0 34810554 256299008 60312 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 62573 60312 2944 2575 0 59480 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 250292 KiB
Current children cumulated memory: 241248 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/264 22037
/proc/meminfo: memFree=128501100/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=250292 memory=241248 CPUtime=3213.07 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 124918 0 0 0 321281 26 0 0 20 0 1 0 34810554 256299008 60312 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 62573 60312 2944 2575 0 59480 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 250292 KiB
Current children cumulated memory: 241248 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 22041
/proc/meminfo: memFree=128473624/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=252820 memory=243680 CPUtime=3272.92 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125565 0 0 0 327265 27 0 0 20 0 1 0 34810554 258887680 60920 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63205 60920 2944 2575 0 60112 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 252820 KiB
Current children cumulated memory: 243680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/263 22045
/proc/meminfo: memFree=128477064/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=252820 memory=243680 CPUtime=3332.76 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125655 0 0 0 333249 27 0 0 20 0 1 0 34810554 258887680 60920 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63205 60920 2944 2575 0 60112 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 252820 KiB
Current children cumulated memory: 243680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/263 22047
/proc/meminfo: memFree=128461148/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=252820 memory=243680 CPUtime=3392.61 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125656 0 0 0 339234 27 0 0 20 0 1 0 34810554 258887680 60920 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63205 60920 2944 2575 0 60112 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 252820 KiB
Current children cumulated memory: 243680 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22049
/proc/meminfo: memFree=128463844/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=252820 memory=243680 CPUtime=3452.45 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125656 0 0 0 345218 27 0 0 20 0 1 0 34810554 258887680 60920 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63205 60920 2944 2575 0 60112 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 252820 KiB
Current children cumulated memory: 243680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/263 22051
/proc/meminfo: memFree=128424388/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=252820 memory=243680 CPUtime=3512.29 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125656 0 0 0 351202 27 0 0 20 0 1 0 34810554 258887680 60920 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63205 60920 2944 2575 0 60112 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 252820 KiB
Current children cumulated memory: 243680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/263 22064
/proc/meminfo: memFree=128419332/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=253756 memory=244704 CPUtime=3572.14 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125891 0 0 0 357187 27 0 0 20 0 1 0 34810554 259846144 61176 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63439 61176 2944 2575 0 60346 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 253756 KiB
Current children cumulated memory: 244704 KiB
[startup+3597.05 s]
# the end of solver process 21882 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.58 s, system=0.274087 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.04 5/263 22064
/proc/meminfo: memFree=128419364/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=253756 memory=244704 CPUtime=3573.84 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125892 0 0 0 357357 27 0 0 20 0 1 0 34810554 259846144 61176 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63439 61176 2944 2575 0 60346 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 253756 KiB
Current children cumulated memory: 244704 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419164/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=253756 memory=244704 CPUtime=3580.22 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125907 0 0 0 357995 27 0 0 20 0 1 0 34810554 259846144 61176 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63439 61176 2944 2575 0 60346 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 253756 KiB
Current children cumulated memory: 244704 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419204/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=254060 memory=244960 CPUtime=3583.41 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125966 0 0 0 358314 27 0 0 20 0 1 0 34810554 260157440 61240 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63515 61240 2944 2575 0 60422 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 254060 KiB
Current children cumulated memory: 244960 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419212/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=254060 memory=244960 CPUtime=3585 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125966 0 0 0 358473 27 0 0 20 0 1 0 34810554 260157440 61240 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63515 61240 2944 2575 0 60422 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 254060 KiB
Current children cumulated memory: 244960 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=254060 memory=244960 CPUtime=3585.81 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125966 0 0 0 358554 27 0 0 20 0 1 0 34810554 260157440 61240 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63515 61240 2944 2575 0 60422 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 254060 KiB
Current children cumulated memory: 244960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=254060 memory=244960 CPUtime=3586.6 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125966 0 0 0 358633 27 0 0 20 0 1 0 34810554 260157440 61240 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63515 61240 2944 2575 0 60422 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 254060 KiB
Current children cumulated memory: 244960 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.09 4.04 5/263 22064
/proc/meminfo: memFree=128419236/131250000 swapFree=33010684/33010684
[pid=21882] ppid=21870 vsize=254060 memory=244960 CPUtime=3586.8 cores=5,7
/proc/21882/stat : 21882 (pbsolver) R 21870 21882 21818 0 -1 4194304 125966 0 0 0 358653 27 0 0 20 0 1 0 34810554 260157440 61240 18446744073709551615 4198400 14743177 140729695131152 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52187136 140729695140234 140729695140330 140729695140330 140729695145932 0
/proc/21882/statm: 63515 61240 2944 2575 0 60422 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 254060 KiB
Current children cumulated memory: 244960 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3586.86
CPU user time (s): 3586.58
CPU system time (s): 0.274087
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 254060
Max. memory (cumulated for all children) (KiB): 244960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.58
system time used= 0.274087
maximum resident set size= 244960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125980
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= 30
involuntary context switches= 4178
# summary of solver processes directly reported to runsolver:
# pid: 21882
# total CPU time (s): 3586.86
# total CPU user time (s): 3586.58
# total CPU system time (s): 0.274087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21044 second user time and 14.2638 second system time
The end
Begin job on nodeC027 at 2025-06-29 12:01:47 IDJOB=4507527 IDBENCH=158357 IDSOLVER=3366 FILE ID=nodeC027/4507527-1751191306 RUNJOBID= nodeC027-1751191306-21831 SLURM_JOB_ID= 9587579 Free space on /tmp= 433064 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507527-1751191306/watcher-4507527-1751191306 -o /tmp/evaluation-result-4507527-1751191306/solver-4507527-1751191306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21831 --watchdog 3760 pbsolver -f HOME/instance-4507527-1751191306.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b RANDOM SEED=246740614 nodeC027 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 : 0xb00002a cpu MHz : 3601.765 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.592 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.648 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.169 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.679 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.669 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3595.669 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.626 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129757740 kB MemAvailable: 129812864 kB Buffers: 3280 kB Cached: 860708 kB SwapCached: 0 kB Active: 327816 kB Inactive: 606848 kB Active(anon): 88744 kB Inactive(anon): 0 kB Active(file): 239072 kB Inactive(file): 606848 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 61112 kB Writeback: 8 kB AnonPages: 74012 kB Mapped: 102764 kB Shmem: 18068 kB KReclaimable: 96488 kB Slab: 182008 kB SReclaimable: 96488 kB SUnreclaim: 85520 kB KernelStack: 4004 kB PageTables: 2412 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 336508 kB VmallocTotal: 34359738367 kB VmallocUsed: 150344 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433004 MiB End job on nodeC027 at 2025-06-29 13:01:44