| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.76 | 3597.74 |
| Name | PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-5.opb |
| MD5SUM | 6d4f15a21d60c3eef1e05aacf06821b4 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 23.9209 |
| 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 | 79642 |
| Total number of constraints | 116082 |
| Number of constraints which are clauses | 25816 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 90168 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 2712 |
| 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 | 128 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 2977 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.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-4545203-1753234827.opb>
0.29/0.33 c original problem has 79642 variables (79642 bin, 0 int, 0 impl, 0 cont) and 116082 constraints
0.29/0.33 c problem read in 0.32
0.29/0.33 c No objective function, only one solution is needed.
0.59/0.65 c presolving:
0.78/0.87 c (round 1, fast) 4453 del vars, 4916 del conss, 16 add conss, 4320 chg bounds, 22358 chg sides, 72822 chg coeffs, 0 upgd conss, 0 impls, 28028 clqs
0.88/0.90 c (round 2, fast) 7787 del vars, 8333 del conss, 16 add conss, 7520 chg bounds, 22358 chg sides, 73414 chg coeffs, 0 upgd conss, 0 impls, 24859 clqs
0.88/0.93 c (round 3, fast) 7855 del vars, 11668 del conss, 16 add conss, 7520 chg bounds, 22358 chg sides, 73414 chg coeffs, 0 upgd conss, 0 impls, 27924 clqs
1.08/1.14 c (1.1s) running MILP presolver
12.54/12.65 c (12.6s) MILP presolver (10 rounds): 5862 aggregations, 4161 fixings, 0 bound changes
12.54/12.68 c (round 4, medium) 17880 del vars, 11668 del conss, 16 add conss, 7520 chg bounds, 22358 chg sides, 73414 chg coeffs, 0 upgd conss, 0 impls, 15879 clqs
12.75/12.83 c (round 5, fast) 17880 del vars, 27637 del conss, 32 add conss, 7520 chg bounds, 22371 chg sides, 73467 chg coeffs, 0 upgd conss, 0 impls, 19940 clqs
12.85/12.90 c (round 6, exhaustive) 17882 del vars, 27705 del conss, 32 add conss, 7520 chg bounds, 22391 chg sides, 74007 chg coeffs, 0 upgd conss, 0 impls, 19936 clqs
13.14/13.23 c (round 7, exhaustive) 17882 del vars, 27705 del conss, 32 add conss, 7520 chg bounds, 22391 chg sides, 74007 chg coeffs, 88361 upgd conss, 0 impls, 19936 clqs
13.24/13.31 c (round 8, fast) 17882 del vars, 27705 del conss, 32 add conss, 7520 chg bounds, 25652 chg sides, 98718 chg coeffs, 88361 upgd conss, 0 impls, 19936 clqs
14.14/14.23 c (round 9, medium) 17885 del vars, 80644 del conss, 123226 add conss, 7520 chg bounds, 49179 chg sides, 147889 chg coeffs, 88361 upgd conss, 0 impls, 133201 clqs
14.24/14.32 c (round 10, fast) 17885 del vars, 84596 del conss, 127171 add conss, 7520 chg bounds, 57289 chg sides, 188919 chg coeffs, 88361 upgd conss, 0 impls, 133201 clqs
14.64/14.78 c (round 11, exhaustive) 17885 del vars, 120977 del conss, 138042 add conss, 7520 chg bounds, 57291 chg sides, 188923 chg coeffs, 88361 upgd conss, 0 impls, 133202 clqs
15.53/15.60 c (round 12, exhaustive) 18808 del vars, 121903 del conss, 138044 add conss, 7520 chg bounds, 57291 chg sides, 208550 chg coeffs, 88361 upgd conss, 0 impls, 131351 clqs
16.53/16.67 c (round 13, exhaustive) 18808 del vars, 122015 del conss, 138057 add conss, 7520 chg bounds, 57304 chg sides, 216221 chg coeffs, 88378 upgd conss, 0 impls, 131353 clqs
19.93/20.00 c (round 14, exhaustive) 18890 del vars, 122043 del conss, 138057 add conss, 7520 chg bounds, 57308 chg sides, 216236 chg coeffs, 88378 upgd conss, 0 impls, 251111 clqs
19.93/20.09 c (round 15, fast) 18890 del vars, 122178 del conss, 138073 add conss, 7520 chg bounds, 57316 chg sides, 216331 chg coeffs, 88388 upgd conss, 0 impls, 251111 clqs
24.21/24.32 c (round 16, exhaustive) 18959 del vars, 122200 del conss, 138077 add conss, 7520 chg bounds, 57331 chg sides, 235177 chg coeffs, 88403 upgd conss, 0 impls, 442204 clqs
24.30/24.45 c (round 17, fast) 18959 del vars, 122337 del conss, 138092 add conss, 7520 chg bounds, 57331 chg sides, 235245 chg coeffs, 88403 upgd conss, 0 impls, 442204 clqs
33.58/33.74 c (round 18, exhaustive) 19024 del vars, 122362 del conss, 138092 add conss, 7520 chg bounds, 57346 chg sides, 262544 chg coeffs, 88417 upgd conss, 0 impls, 529754 clqs
33.78/33.95 c (round 19, fast) 19024 del vars, 122491 del conss, 138107 add conss, 7520 chg bounds, 57347 chg sides, 262608 chg coeffs, 88417 upgd conss, 0 impls, 529754 clqs
47.34/47.58 c (round 20, exhaustive) 19091 del vars, 122506 del conss, 138107 add conss, 7520 chg bounds, 57347 chg sides, 272590 chg coeffs, 88432 upgd conss, 0 impls, 529543 clqs
47.64/47.83 c (round 21, fast) 19091 del vars, 122639 del conss, 138122 add conss, 7520 chg bounds, 57347 chg sides, 272656 chg coeffs, 88432 upgd conss, 0 impls, 529543 clqs
99.97/100.32 c (round 22, exhaustive) 19149 del vars, 122654 del conss, 138122 add conss, 7520 chg bounds, 57347 chg sides, 275240 chg coeffs, 88447 upgd conss, 0 impls, 529817 clqs
100.17/100.57 c (round 23, fast) 19149 del vars, 122769 del conss, 138138 add conss, 7520 chg bounds, 57347 chg sides, 275298 chg coeffs, 88447 upgd conss, 0 impls, 529817 clqs
127.29/127.75 c (127.7s) probing: 1000/60900 (1.6%) - 337 fixings, 2 aggregations, 3819934 implications, 0 bound changes
158.49/159.02 c (round 24, exhaustive) 19410 del vars, 122784 del conss, 138138 add conss, 7520 chg bounds, 57360 chg sides, 276899 chg coeffs, 88462 upgd conss, 0 impls, 528465 clqs
158.68/159.28 c (round 25, fast) 19412 del vars, 123303 del conss, 138154 add conss, 7520 chg bounds, 57361 chg sides, 277156 chg coeffs, 88466 upgd conss, 0 impls, 528460 clqs
169.65/170.28 c (round 26, exhaustive) 19468 del vars, 123320 del conss, 138154 add conss, 7520 chg bounds, 57370 chg sides, 277757 chg coeffs, 88481 upgd conss, 0 impls, 529891 clqs
169.75/170.36 c (round 27, fast) 19468 del vars, 123432 del conss, 138159 add conss, 7520 chg bounds, 57370 chg sides, 277812 chg coeffs, 88481 upgd conss, 0 impls, 529891 clqs
171.75/172.34 c (round 28, exhaustive) 19528 del vars, 123437 del conss, 138159 add conss, 7520 chg bounds, 57379 chg sides, 278107 chg coeffs, 88485 upgd conss, 0 impls, 529798 clqs
171.85/172.42 c (round 29, fast) 19528 del vars, 123556 del conss, 138163 add conss, 7520 chg bounds, 57379 chg sides, 278166 chg coeffs, 88485 upgd conss, 0 impls, 529798 clqs
201.36/202.02 c (202.0s) probing: 2000/60900 (3.3%) - 714 fixings, 2 aggregations, 6041170 implications, 0 bound changes
209.03/209.77 c (round 30, exhaustive) 19583 del vars, 123560 del conss, 138163 add conss, 7520 chg bounds, 57388 chg sides, 278322 chg coeffs, 88488 upgd conss, 0 impls, 529897 clqs
209.34/210.01 c (round 31, fast) 19585 del vars, 123666 del conss, 138179 add conss, 7520 chg bounds, 57388 chg sides, 278372 chg coeffs, 88492 upgd conss, 0 impls, 529887 clqs
226.88/227.69 c (round 32, exhaustive) 19634 del vars, 123682 del conss, 138179 add conss, 7520 chg bounds, 57397 chg sides, 278901 chg coeffs, 88507 upgd conss, 0 impls, 529936 clqs
226.98/227.78 c (round 33, fast) 19634 del vars, 123780 del conss, 138187 add conss, 7520 chg bounds, 57397 chg sides, 278949 chg coeffs, 88507 upgd conss, 0 impls, 529936 clqs
229.17/229.95 c (round 34, exhaustive) 19734 del vars, 123788 del conss, 138187 add conss, 7520 chg bounds, 57406 chg sides, 279182 chg coeffs, 88514 upgd conss, 0 impls, 529704 clqs
229.27/230.03 c (round 35, fast) 19734 del vars, 123988 del conss, 138193 add conss, 7520 chg bounds, 57406 chg sides, 279281 chg coeffs, 88514 upgd conss, 0 impls, 529704 clqs
230.66/231.44 c (round 36, exhaustive) 19836 del vars, 123993 del conss, 138193 add conss, 7520 chg bounds, 57442 chg sides, 279467 chg coeffs, 88519 upgd conss, 0 impls, 529565 clqs
230.76/231.52 c (round 37, fast) 19836 del vars, 124197 del conss, 138200 add conss, 7520 chg bounds, 57443 chg sides, 279568 chg coeffs, 88519 upgd conss, 0 impls, 529565 clqs
232.47/233.28 c (round 38, exhaustive) 19888 del vars, 124205 del conss, 138200 add conss, 7520 chg bounds, 57479 chg sides, 279768 chg coeffs, 88525 upgd conss, 0 impls, 529921 clqs
232.57/233.35 c (round 39, fast) 19888 del vars, 124309 del conss, 138206 add conss, 7520 chg bounds, 57479 chg sides, 279819 chg coeffs, 88525 upgd conss, 0 impls, 529921 clqs
233.86/234.60 c (round 40, exhaustive) 19992 del vars, 124315 del conss, 138206 add conss, 7520 chg bounds, 57515 chg sides, 279976 chg coeffs, 88530 upgd conss, 0 impls, 529545 clqs
233.86/234.68 c (round 41, fast) 19992 del vars, 124523 del conss, 138212 add conss, 7520 chg bounds, 57516 chg sides, 280079 chg coeffs, 88530 upgd conss, 0 impls, 529545 clqs
235.55/236.30 c (round 42, exhaustive) 20045 del vars, 124530 del conss, 138212 add conss, 7520 chg bounds, 57516 chg sides, 280264 chg coeffs, 88536 upgd conss, 0 impls, 529903 clqs
235.55/236.39 c (round 43, fast) 20045 del vars, 124636 del conss, 138218 add conss, 7520 chg bounds, 57516 chg sides, 280316 chg coeffs, 88536 upgd conss, 0 impls, 529903 clqs
237.35/238.11 c (round 44, exhaustive) 20157 del vars, 124642 del conss, 138218 add conss, 7520 chg bounds, 57516 chg sides, 280507 chg coeffs, 88542 upgd conss, 0 impls, 529494 clqs
237.35/238.19 c (round 45, fast) 20157 del vars, 124866 del conss, 138223 add conss, 7520 chg bounds, 57516 chg sides, 280619 chg coeffs, 88542 upgd conss, 0 impls, 529494 clqs
238.95/239.74 c (round 46, exhaustive) 20213 del vars, 124871 del conss, 138223 add conss, 7520 chg bounds, 57516 chg sides, 280765 chg coeffs, 88547 upgd conss, 0 impls, 529885 clqs
239.05/239.82 c (round 47, fast) 20213 del vars, 124982 del conss, 138227 add conss, 7520 chg bounds, 57516 chg sides, 280820 chg coeffs, 88547 upgd conss, 0 impls, 529885 clqs
240.54/241.37 c (round 48, exhaustive) 20275 del vars, 124986 del conss, 138227 add conss, 7520 chg bounds, 57516 chg sides, 280939 chg coeffs, 88551 upgd conss, 0 impls, 529854 clqs
240.64/241.46 c (round 49, fast) 20275 del vars, 125110 del conss, 138233 add conss, 7520 chg bounds, 57516 chg sides, 281000 chg coeffs, 88551 upgd conss, 0 impls, 529854 clqs
252.80/253.67 c (round 50, exhaustive) 20348 del vars, 125116 del conss, 138233 add conss, 7520 chg bounds, 57516 chg sides, 281218 chg coeffs, 88557 upgd conss, 0 impls, 529632 clqs
253.10/253.90 c (round 51, fast) 20348 del vars, 125262 del conss, 138248 add conss, 7520 chg bounds, 57516 chg sides, 281290 chg coeffs, 88557 upgd conss, 0 impls, 529632 clqs
294.67/295.63 c (295.6s) probing: 3000/60900 (4.9%) - 1535 fixings, 15 aggregations, 8751540 implications, 0 bound changes
305.24/306.22 c (306.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
305.74/306.76 c (306.7s) symmetry computation finished: 61 generators found (max: 1078, log10 of symmetry group size: 20.0) (symcode time: 0.17)
305.83/306.86 c dynamic symmetry handling statistics:
305.83/306.86 c orbitopal reduction: 1 components: 2x3
305.83/306.86 c orbital reduction: 5 components of sizes 3, 1, 1, 1, 1
305.83/306.86 c lexicographic reduction: 55 permutations with support sizes 4, 4, 4, 4, 4, 4, 4, 4, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 10, 4, 4, 4, 4, 4, 4, 2, 2, 2, 4, 4, 4, 4, 4, 4, 4, 4
305.83/306.86 c handled 52 out of 52 symmetry components
305.93/306.97 c presolving (52 rounds: 52 fast, 27 medium, 25 exhaustive):
305.93/306.97 c 20373 deleted vars, 125277 deleted constraints, 138252 added constraints, 7520 tightened bounds, 0 added holes, 57516 changed sides, 281812 changed coefficients
305.93/306.97 c 0 implications, 530140 cliques
305.93/306.97 c presolved problem has 59337 variables (59337 bin, 0 int, 0 impl, 0 cont) and 129051 constraints
305.93/306.97 c 22346 constraints of type <knapsack>
305.93/306.97 c 92363 constraints of type <setppc>
305.93/306.97 c 9544 constraints of type <and>
305.93/306.97 c 36 constraints of type <linear>
305.93/306.97 c 4762 constraints of type <logicor>
305.93/306.97 c transformed objective value is always integral (scale: 1)
305.93/306.97 c Presolving Time: 306.35
305.93/306.97 c - non default parameters ----------------------------------------------------------------------
305.93/306.97 c # SCIP version 10.0.0
305.93/306.97 c
305.93/306.97 c # maximal time in seconds to run
305.93/306.97 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
305.93/306.97 c limits/time = 3596.997036
305.93/306.97 c
305.93/306.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
305.93/306.97 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
305.93/306.97 c limits/memory = 27900
305.93/306.97 c
305.93/306.97 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
305.93/306.97 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
305.93/306.97 c limits/solutions = 1
305.93/306.97 c
305.93/306.97 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
305.93/306.97 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
305.93/306.97 c misc/usesymmetry = 3
305.93/306.97 c
305.93/306.97 c # belongs reading time to solving time?
305.93/306.97 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
305.93/306.97 c timing/reading = TRUE
305.93/306.97 c
305.93/306.97 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
305.93/306.97 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
305.93/306.97 c propagating/symmetry/detectdoublelex = FALSE
305.93/306.97 c
305.93/306.97 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
305.93/306.97 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
305.93/306.97 c propagating/symmetry/detectsubgroups = FALSE
305.93/306.97 c
305.93/306.97 c # Type of symmetries that shall be computed?
305.93/306.97 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
305.93/306.97 c propagating/symmetry/symtype = 1
305.93/306.97 c
305.93/306.97 c # Should components consisting of a single full reflection be handled?
305.93/306.97 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
305.93/306.97 c propagating/symmetry/usesimplesgncomp = FALSE
305.93/306.97 c
305.93/306.97 c -----------------------------------------------------------------------------------------------
305.93/306.97 c start solving
305.93/306.99 c
365.77/366.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
365.77/366.90 c 367s| 1 | 0 | 38816 | - | 1012M | 0 | 59k| 129k| 138k| 0 | 0 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown
832.60/835.11 c 835s| 1 | 0 |164227 | - | 1039M | 0 | 59k| 129k| 140k|2000 | 1 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown
959.21/962.13 c 962s| 1 | 0 |181273 | - | 1052M | 0 | 59k| 129k| 142k|4000 | 2 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
1146.03/1149.58 c 1150s| 1 | 0 |203007 | - | 1054M | 0 | 59k| 129k| 144k|6000 | 3 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
1329.29/1333.38 c 1333s| 1 | 0 |218650 | - | 1088M | 0 | 59k| 129k| 146k|7876 | 4 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown
1474.84/1479.34 c 1479s| 1 | 0 |233893 | - | 1092M | 0 | 59k| 129k| 147k|9125 | 5 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
1682.63/1687.71 c 1688s| 1 | 0 |248192 | - | 1108M | 0 | 59k| 128k| 148k| 10k| 6 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
1870.85/1876.53 c 1877s| 1 | 0 |262118 | - | 1160M | 0 | 59k| 128k| 149k| 10k| 7 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
2057.59/2063.84 c 2064s| 1 | 0 |275741 | - | 1203M | 0 | 59k| 128k| 149k| 11k| 8 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
2218.40/2225.13 c 2225s| 1 | 0 |286423 | - | 1224M | 0 | 59k| 128k| 150k| 12k| 9 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
2443.65/2451.07 c 2451s| 1 | 0 |298522 | - | 1240M | 0 | 59k| 128k| 150k| 12k| 10 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
2640.44/2648.44 c 2648s| 1 | 0 |313796 | - | 1272M | 0 | 59k| 128k| 151k| 12k| 11 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
2641.33/2649.39 c 2649s| 1 | 0 |313796 | - | 1272M | 0 | 59k| 128k| 151k| 12k| 11 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
2806.94/2815.49 c 2815s| 1 | 0 |324189 | - | 1287M | 0 | 59k| 128k| 151k| 13k| 12 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
3040.79/3050.02 c 3050s| 1 | 0 |339664 | - | 1301M | 0 | 59k| 128k| 151k| 13k| 13 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
3258.58/3268.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3258.58/3268.53 c 3269s| 1 | 0 |354828 | - | 1320M | 0 | 59k| 128k| 152k| 13k| 14 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
3434.51/3445.05 c 3445s| 1 | 0 |369315 | - | 1334M | 0 | 59k| 128k| 152k| 14k| 15 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
3586.01/3597.02 c 3597s| 1 | 0 |384083 | - | 1357M | 0 | 59k| 128k| 152k| 14k| 16 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
3586.01/3597.02 c (node 1) LP solver hit time limit in LP 30 -- using pseudo solution instead
3586.01/3597.02 c
3586.01/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.01/3597.02 c Solving Time (sec) : 3597.01
3586.01/3597.02 c Solving Nodes : 1
3586.01/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.01/3597.02 c Dual Bound : +0.00000000000000e+00
3586.01/3597.02 c Gap : infinite
3586.01/3597.02 s UNKNOWN
3586.01/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.01/3597.02 c Total Time : 3597.01
3586.01/3597.02 c solving : 3597.01
3586.01/3597.02 c presolving : 306.35 (included in solving)
3586.01/3597.02 c reading : 0.32 (included in solving)
3586.01/3597.02 c copying : 0.00 (0 times copied the problem)
3586.01/3597.02 c Original Problem :
3586.01/3597.02 c Problem name : HOME/instance-4545203-1753234827.opb
3586.01/3597.02 c Variables : 79642 (79642 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.01/3597.02 c Constraints : 116082 initial, 116082 maximal
3586.01/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.01/3597.02 c Presolved Problem :
3586.01/3597.02 c Problem name : t_HOME/instance-4545203-1753234827.opb
3586.01/3597.02 c Variables : 59337 (59337 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.01/3597.02 c Constraints : 129051 initial, 129114 maximal
3586.01/3597.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.01/3597.02 c Nonzeros : 506732 constraint, 1066485 clique table
3586.01/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.01/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c domcol : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c gateextraction : 2.08 0.00 23 0 0 0 0 0 36378 10869 0 0
3586.01/3597.02 c implics : 0.03 0.00 27 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c milp : 11.72 0.00 1 4161 5862 0 0 0 0 0 0 0
3586.01/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c trivial : 0.11 0.00 52 68 0 0 0 0 0 0 0 0
3586.01/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c dualfix : 0.11 0.00 52 1 0 0 0 0 0 0 0 0
3586.01/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c probing : 194.59 0.00 20 1535 24 0 0 0 0 0 0 0
3586.01/3597.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c symmetry : 0.64 0.00 1 0 0 0 0 0 0 4 0 0
3586.01/3597.02 c vbounds : 0.38 0.00 6 0 5 0 0 0 0 0 0 0
3586.01/3597.02 c knapsack : 87.30 0.01 91 1 0 0 0 0 52468 127158 34925 200141
3586.01/3597.02 c setppc : 4.16 0.01 91 0 8 0 0 0 7484 2 0 0
3586.01/3597.02 c and : 0.85 0.00 63 0 922 0 0 0 922 0 0 14
3586.01/3597.02 c linear : 0.71 0.06 75 7520 198 0 7520 0 27717 219 22591 80158
3586.01/3597.02 c logicor : 3.34 0.01 90 0 0 0 0 0 308 0 0 1499
3586.01/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c components : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c root node : - - - 76 - - 76 - - - - -
3586.01/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.01/3597.02 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3586.01/3597.02 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3586.01/3597.02 c knapsack : 22346 22346 12 29500 0 0 0 3 207 26 0 2406 22 0 0
3586.01/3597.02 c setppc : 92363+ 92386 12 29474 0 0 0 0 6114 27 1 18 11 0 0
3586.01/3597.02 c and : 9544 9544 16 29447 0 0 0 0 188 14 8 32116 6774 0 0
3586.01/3597.02 c linear : 36 36 12 29433 0 0 0 3 603 9 0 0 0 0 0
3586.01/3597.02 c logicor : 4762+ 4808 12 7092 0 0 0 0 43 23 0 6 3 0 0
3586.01/3597.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.01/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c knapsack : 52.30 0.01 0.08 52.21 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c setppc : 26.40 0.01 0.10 26.30 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c and : 6.13 0.00 0.10 6.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c linear : 0.81 0.06 0.00 0.74 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c logicor : 0.78 0.01 0.02 0.75 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.01/3597.02 c dualfix : 5 0 0 0
3586.01/3597.02 c genvbounds : 0 0 0 0
3586.01/3597.02 c nlobbt : 0 0 0 0
3586.01/3597.02 c obbt : 0 0 0 0
3586.01/3597.02 c probing : 0 0 0 0
3586.01/3597.02 c pseudoobj : 0 0 0 0
3586.01/3597.02 c redcost : 0 0 0 0
3586.01/3597.02 c rootredcost : 0 0 0 0
3586.01/3597.02 c symmetry : 0 0 0 0
3586.01/3597.02 c vbounds : 1113 0 0 0
3586.01/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.01/3597.02 c dualfix : 0.12 0.00 0.11 0.01 0.00 0.00
3586.01/3597.02 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.01/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c probing : 194.59 0.00 194.59 0.00 0.00 0.00
3586.01/3597.02 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.01/3597.02 c symmetry : 0.64 0.00 0.64 0.00 0.00 0.00
3586.01/3597.02 c vbounds : 0.41 0.00 0.38 0.03 0.00 0.00
3586.01/3597.02 c Symmetry :
3586.01/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.01/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.01/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.01/3597.02 c shadow tree time : 0.00 s
3586.01/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.01/3597.02 c propagation : 0.00 82 51 - 108 49.2 6 4.0 - - -
3586.01/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.01/3597.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.01/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.01/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.01/3597.02 c applied globally : 0.01 - - 0 85 3.4 - - 0 - -
3586.01/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.01/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.01/3597.02 c cut pool : 0.07 - 24 24 - - 13239 28810 - - - - - (maximal pool size: 13239)
3586.01/3597.02 c aggregation : 0.44 0.00 12 12 0 0 5 5 0 0 0 0 0
3586.01/3597.02 c > cmir : - - - - - - - 5 0 0 0 0 -
3586.01/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.01/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.01/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c clique : 451.30 0.00 12 12 0 0 68 147 0 44 44 0 0
3586.01/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c gomory : 183.05 0.00 10 10 0 0 2007 7808 0 74 74 0 0
3586.01/3597.02 c > gomorymi : - - - - - - - 4090 0 41 41 0 -
3586.01/3597.02 c > strongcg : - - - - - - - 3718 0 33 33 0 -
3586.01/3597.02 c impliedbounds : 0.68 0.00 12 12 0 18 10047 19406 0 6798 6798 0 0
3586.01/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c mcf : 0.29 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c multilinear : 0.00 0.00 16 16 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.01/3597.02 c rlt : 86.81 0.00 10 10 0 0 997 1227 0 607 607 0 0
3586.01/3597.02 c zerohalf : 24.29 0.00 12 12 0 0 115 217 0 77 77 0 0
3586.01/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.01/3597.02 c hybrid : 1.24 0.00 16 16 14418 0 48938 14418 0 48938
3586.01/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.01/3597.02 c problem variables: 0.00 - 0 0
3586.01/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.01/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.01/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.01/3597.02 c LP solutions : 0.00 - - 0 0
3586.01/3597.02 c relax solutions : 0.00 - - 0 0
3586.01/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.01/3597.02 c strong branching : 0.00 - - 0 0
3586.01/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c adaptivediving : 0.00 0.00 0 0 0
3586.01/3597.02 c alns : 0.00 0.00 0 0 0
3586.01/3597.02 c bound : 0.00 0.00 0 0 0
3586.01/3597.02 c clique : 1.32 0.00 1 0 0
3586.01/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c completesol : 0.00 0.00 0 0 0
3586.01/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c crossover : 0.00 0.00 0 0 0
3586.01/3597.02 c dins : 0.00 0.00 0 0 0
3586.01/3597.02 c distributiondivin: 0.00 0.00 0 0 0
3586.01/3597.02 c dps : 0.00 0.00 0 0 0
3586.01/3597.02 c dualval : 0.00 0.00 0 0 0
3586.01/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c feasjump : 0.16 0.00 1 0 0
3586.01/3597.02 c feaspump : 374.93 0.00 1 0 0
3586.01/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.01/3597.02 c fracdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c gins : 0.00 0.00 0 0 0
3586.01/3597.02 c guideddiving : 0.00 0.00 0 0 0
3586.01/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c indicator : 0.00 0.00 0 0 0
3586.01/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.01/3597.02 c indoneopt : 0.00 0.00 0 0 0
3586.01/3597.02 c indrounding : 0.00 0.00 0 0 0
3586.01/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3586.01/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.01/3597.02 c linesearchdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.01/3597.02 c locks : 0.19 0.00 1 0 0
3586.01/3597.02 c lpface : 0.00 0.00 0 0 0
3586.01/3597.02 c mpec : 0.00 0.00 0 0 0
3586.01/3597.02 c multistart : 0.00 0.00 0 0 0
3586.01/3597.02 c mutation : 0.00 0.00 0 0 0
3586.01/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c objpscostdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c octane : 0.00 0.00 0 0 0
3586.01/3597.02 c ofins : 0.00 0.00 0 0 0
3586.01/3597.02 c oneopt : 0.00 0.00 0 0 0
3586.01/3597.02 c padm : 0.00 0.00 0 0 0
3586.01/3597.02 c proximity : 0.00 0.00 0 0 0
3586.01/3597.02 c pscostdiving : 0.00 0.00 0 0 0
3586.01/3597.02 c randrounding : 0.88 0.00 16 0 0
3586.01/3597.02 c rens : 0.00 0.00 0 0 0
3586.01/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.01/3597.02 c repair : 0.00 0.00 0 0 0
3586.01/3597.02 c rins : 0.00 0.00 0 0 0
3586.01/3597.02 c rootsoldiving : 0.00 0.00 0 0 0
3586.01/3597.02 c rounding : 0.16 0.00 16 0 0
3586.01/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.01/3597.02 c shiftandpropagate: 0.21 0.00 1 0 0
3586.01/3597.02 c shifting : 11.74 0.00 16 0 0
3586.01/3597.02 c simplerounding : 0.00 0.00 0 0 0
3586.01/3597.02 c smallcard : 0.00 0.00 0 0 0
3586.01/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.01/3597.02 c trivial : 0.04 0.00 2 0 0
3586.01/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.01/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.01/3597.02 c trysol : 0.00 0.00 0 0 0
3586.01/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.01/3597.02 c undercover : 0.00 0.00 1 0 0
3586.01/3597.02 c vbounds : 1.33 0.00 1 0 0
3586.01/3597.02 c veclendiving : 0.00 0.00 0 0 0
3586.01/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.01/3597.02 c zirounding : 0.00 0.00 0 0 0
3586.01/3597.02 c other solutions : - - - 0 -
3586.01/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.01/3597.02 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.01/3597.02 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.01/3597.02 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.01/3597.02 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.01/3597.02 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.01/3597.02 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.01/3597.02 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.01/3597.02 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.01/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.01/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.01/3597.02 c primal LP : 36.82 1 0 0.00 0.00 36.82 1
3586.01/3597.02 c dual LP : 2113.31 20 268275 14904.17 126.95 0.14 2
3586.01/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.01/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.01/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.01/3597.02 c diving/probing LP: 375.19 12 115808 9650.67 308.66
3586.01/3597.02 c strong branching : 0.00 0 0 0.00 - - - 0
3586.01/3597.02 c (at root node) : - 0 0 0.00 -
3586.01/3597.02 c conflict analysis: 0.00 0 0 0.00 -
3586.01/3597.02 c B&B Tree :
3586.01/3597.02 c number of runs : 1
3586.01/3597.02 c nodes : 1 (0 internal, 1 leaves)
3586.01/3597.02 c feasible leaves : 0
3586.01/3597.02 c infeas. leaves : 0
3586.01/3597.02 c objective leaves : 0
3586.01/3597.02 c nodes (total) : 1 (0 internal, 1 leaves)
3586.01/3597.02 c nodes left : 1
3586.01/3597.02 c max depth : 0
3586.01/3597.02 c max depth (total): 0
3586.01/3597.02 c backtracks : 0 (0.0%)
3586.01/3597.02 c early backtracks : 0 (0.0%)
3586.01/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.01/3597.02 c delayed cutoffs : 0
3586.01/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.01/3597.02 c avg switch length: 1.00
3586.01/3597.02 c switching time : 0.00
3586.01/3597.02 c Root Node :
3586.01/3597.02 c First LP value : +0.00000000000000e+00
3586.01/3597.02 c First LP Iters : 33726 (595.47 Iter/sec)
3586.01/3597.02 c First LP Time : 56.64
3586.01/3597.02 c Final Dual Bound : +0.00000000000000e+00
3586.01/3597.02 c Final Root Iters : 378993
3586.01/3597.02 c Root LP Estimate : -
3586.01/3597.02 c Solution :
3586.01/3597.02 c Solutions found : 0 (0 improvements)
3586.01/3597.02 c Primal Bound : -
3586.01/3597.02 c Dual Bound : +0.00000000000000e+00
3586.01/3597.02 c Gap : infinite
3586.01/3597.02 c Integrals : Total Avg%
3586.01/3597.02 c primal-dual : 359701.00 100.00
3586.01/3597.02 c primal-ref : - - (not evaluated)
3586.01/3597.02 c dual-ref : - - (not evaluated)
3586.71/3597.73 c Time complete: 3586.75.
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: 63708 MiB (62427 MiB free)
memory of node 1: 64465 MiB (63659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545203-1753234827/watcher-4545203-1753234827 -o /tmp/evaluation-result-4545203-1753234827/solver-4545203-1753234827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753234827-173194 --watchdog 3760 pbscip -f HOME/instance-4545203-1753234827.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
solver pid=173247, runsolver pid=173239
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 1.16 1.12 1.27 5/265 173257
/proc/meminfo: memFree=129010240/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=95620 memory=67328 CPUtime=0.09 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 13980 0 0 0 7 2 0 0 20 0 1 0 239159297 97914880 16832 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 23905 16832 3200 3530 0 15356 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95620 KiB
Current children cumulated memory: 67328 KiB
[startup+0.205492 s]*
/proc/loadavg: 1.16 1.12 1.27 4/265 173264
/proc/meminfo: memFree=128908748/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=135432 memory=107648 CPUtime=0.19 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 24054 0 0 0 15 4 0 0 20 0 1 0 239159297 138682368 26912 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 33858 26912 3200 3530 0 25309 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 135432 KiB
Current children cumulated memory: 107648 KiB
[startup+0.305413 s]*
/proc/loadavg: 1.16 1.12 1.27 4/265 173264
/proc/meminfo: memFree=128824012/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=171492 memory=143872 CPUtime=0.29 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 33102 0 0 0 24 5 0 0 20 0 1 0 239159297 175607808 35968 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 42873 35968 3200 3530 0 34324 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 171492 KiB
Current children cumulated memory: 143872 KiB
[startup+0.700177 s]
/proc/loadavg: 1.38 1.17 1.28 4/265 173264
/proc/meminfo: memFree=128622916/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=427808 memory=389156 CPUtime=0.68 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 94552 0 0 0 54 14 0 0 20 0 1 0 239159297 438075392 97289 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 106952 97289 3552 3530 0 98403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 427808 KiB
Current children cumulated memory: 389156 KiB
[startup+1.50019 s]
/proc/loadavg: 1.38 1.17 1.28 4/265 173264
/proc/meminfo: memFree=128313636/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=535472 memory=494780 CPUtime=1.48 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 112865 0 0 0 129 19 0 0 20 0 1 0 239159297 548323328 123695 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 133868 123695 3680 3530 0 125319 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 535472 KiB
Current children cumulated memory: 494780 KiB
[startup+3.10545 s]
/proc/loadavg: 1.38 1.17 1.28 5/269 173301
/proc/meminfo: memFree=127522580/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=535472 memory=494780 CPUtime=3.07 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 112897 0 0 0 288 19 0 0 20 0 1 0 239159297 548323328 123695 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 133868 123695 3680 3530 0 125319 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 535472 KiB
Current children cumulated memory: 494780 KiB
[startup+6.30017 s]
/proc/loadavg: 1.59 1.21 1.30 5/269 173301
/proc/meminfo: memFree=127071264/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=535472 memory=494780 CPUtime=6.26 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 112913 0 0 0 607 19 0 0 20 0 1 0 239159297 548323328 123695 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 133868 123695 3680 3530 0 125319 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 535472 KiB
Current children cumulated memory: 494780 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.26 1.31 5/269 173301
/proc/meminfo: memFree=126186496/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=503576 memory=463008 CPUtime=12.65 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 113153 0 0 0 1245 20 0 0 20 0 1 0 239159297 515661824 115752 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 125894 115752 3680 3530 0 117345 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 503576 KiB
Current children cumulated memory: 463008 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.35 1.34 5/268 173301
/proc/meminfo: memFree=124714984/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=689876 memory=646452 CPUtime=25.41 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 159814 0 0 0 2513 28 0 0 20 0 1 0 239159297 706433024 161613 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 172469 161613 3744 3530 0 163920 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 689876 KiB
Current children cumulated memory: 646452 KiB
[startup+51.1055 s]
/proc/loadavg: 2.99 1.64 1.44 5/268 173303
/proc/meminfo: memFree=124305112/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=722184 memory=678660 CPUtime=50.93 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 165393 0 0 0 5065 28 0 0 20 0 1 0 239159297 739516416 169665 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 180546 169665 3744 3530 0 171997 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 722184 KiB
Current children cumulated memory: 678660 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.02 1.58 5/268 173304
/proc/meminfo: memFree=124076636/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=727024 memory=683524 CPUtime=101.96 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 166622 0 0 0 10167 29 0 0 20 0 1 0 239159297 744472576 170881 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 181756 170881 3744 3530 0 173207 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 727024 KiB
Current children cumulated memory: 683524 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.40 1.74 5/268 173306
/proc/meminfo: memFree=124016672/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=733332 memory=689668 CPUtime=161.77 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 168193 0 0 0 16148 29 0 0 20 0 1 0 239159297 750931968 172417 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 183333 172417 3744 3530 0 174784 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 733332 KiB
Current children cumulated memory: 689668 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.72 1.89 5/268 173308
/proc/meminfo: memFree=123948852/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=746072 memory=702468 CPUtime=221.59 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 171383 0 0 0 22129 30 0 0 20 0 1 0 239159297 763977728 175617 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 186518 175617 3744 3530 0 177969 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 746072 KiB
Current children cumulated memory: 702468 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.97 2.03 5/267 173310
/proc/meminfo: memFree=123766140/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=784112 memory=740484 CPUtime=281.41 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 180888 0 0 0 28109 32 0 0 20 0 1 0 239159297 802930688 185121 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 196028 185121 3744 3530 0 187479 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 784112 KiB
Current children cumulated memory: 740484 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.18 2.16 5/264 173317
/proc/meminfo: memFree=123218112/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1202864 memory=1078816 CPUtime=341.23 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 250547 0 0 0 34077 46 0 0 20 0 1 0 239159297 1231732736 269704 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 300716 269704 3936 3530 0 292167 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 1202864 KiB
Current children cumulated memory: 1078816 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.34 2.29 5/264 173320
/proc/meminfo: memFree=122677208/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1202864 memory=1078944 CPUtime=401.08 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 250586 0 0 0 40062 46 0 0 20 0 1 0 239159297 1231732736 269736 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 300716 269736 3936 3530 0 292167 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1202864 KiB
Current children cumulated memory: 1078944 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.48 2.40 5/264 173322
/proc/meminfo: memFree=122681788/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1202864 memory=1079200 CPUtime=460.88 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 250631 0 0 0 46042 46 0 0 20 0 1 0 239159297 1231732736 269800 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 300716 269800 3936 3530 0 292167 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
/proc/loadavg: 4.16 4.12 4.03 5/264 173462
/proc/meminfo: memFree=120981116/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1593584 memory=1427364 CPUtime=3212.51 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 291611 0 0 0 321191 60 0 0 20 0 1 0 239159297 1631830016 356841 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 398396 356841 3936 3530 0 389847 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 1593584 KiB
Current children cumulated memory: 1427364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/263 173464
/proc/meminfo: memFree=120975492/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1593584 memory=1427364 CPUtime=3272.33 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 291993 0 0 0 327172 61 0 0 20 0 1 0 239159297 1631830016 356841 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 398396 356841 3936 3530 0 389847 0
Current children cumulated CPU time: 3272.33 s
Current children cumulated vsize: 1593584 KiB
Current children cumulated memory: 1427364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/263 173471
/proc/meminfo: memFree=120946756/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1598352 memory=1432236 CPUtime=3332.12 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 292722 0 0 0 333151 61 0 0 20 0 1 0 239159297 1636712448 358059 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 399588 358059 3936 3530 0 391039 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 1598352 KiB
Current children cumulated memory: 1432236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.19 4.06 5/264 173474
/proc/meminfo: memFree=120934508/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1598352 memory=1432236 CPUtime=3391.92 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 292722 0 0 0 339131 61 0 0 20 0 1 0 239159297 1636712448 358059 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 399588 358059 3936 3530 0 391039 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 1598352 KiB
Current children cumulated memory: 1432236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.26 4.09 5/264 173476
/proc/meminfo: memFree=120934624/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1598352 memory=1432236 CPUtime=3451.75 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 292724 0 0 0 345114 61 0 0 20 0 1 0 239159297 1636712448 358059 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 399588 358059 3936 3530 0 391039 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 1598352 KiB
Current children cumulated memory: 1432236 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.23 4.09 5/264 173478
/proc/meminfo: memFree=120883516/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3511.56 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 351094 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.21 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3571.36 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 357074 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3597.74 s]
# the end of solver process 173247 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.11 s, system=0.645889 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.21 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3573.05 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 357243 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.21 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3579.43 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 357881 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3579.43 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870396/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3582.62 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 358200 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3582.62 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3584.21 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 358359 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3585.81 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293601 0 0 0 358519 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1610576 memory=1444796 CPUtime=3586.21 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293755 0 0 0 358559 62 0 0 20 0 1 0 239159297 1649229824 361199 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 402644 361199 3936 3530 0 394095 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 1610576 KiB
Current children cumulated memory: 1444796 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1564800 memory=1399268 CPUtime=3586.6 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293778 0 0 0 358598 62 0 0 20 0 1 0 239159297 1602355200 349817 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 391200 349817 3936 3530 0 382651 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 1564800 KiB
Current children cumulated memory: 1399268 KiB
[startup+3597.7 s]
/proc/loadavg: 4.13 4.20 4.09 5/264 173480
/proc/meminfo: memFree=120870404/131250000 swapFree=33008356/33010684
[pid=173247] ppid=173239 vsize=1452232 memory=1286812 CPUtime=3586.71 cores=4,6
/proc/173247/stat : 173247 (pbscip) R 173239 173247 173183 0 -1 4194304 293794 0 0 0 358608 63 0 0 20 0 1 0 239159297 1487085568 321703 18446744073709551615 4235264 18693293 140722097178720 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49549312 140722097187207 140722097187306 140722097187306 140722097192910 0
/proc/173247/statm: 363058 321703 3936 3530 0 354509 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 1452232 KiB
Current children cumulated memory: 1286812 KiB
Child status: 0
Real time (s): 3597.74
CPU time (s): 3586.76
CPU user time (s): 3586.11
CPU system time (s): 0.645889
CPU usage (%): 99.6947
Max. virtual memory (cumulated for all children) (KiB): 1610576
Max. memory (cumulated for all children) (KiB): 1444796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.11
system time used= 0.645889
maximum resident set size= 1444796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293846
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= 91
involuntary context switches= 3066
# summary of solver processes directly reported to runsolver:
# pid: 173247
# total CPU time (s): 3586.76
# total CPU user time (s): 3586.11
# total CPU system time (s): 0.645889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7571 second user time and 16.4471 second system time
The end
Begin job on nodeC014 at 2025-07-23 03:40:27 IDJOB=4545203 IDBENCH=180758 IDSOLVER=3365 FILE ID=nodeC014/4545203-1753234827 RUNJOBID= nodeC014-1753234827-173194 SLURM_JOB_ID= 9687863 Free space on /tmp= 432792 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-dec2-3-3-5.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545203-1753234827/watcher-4545203-1753234827 -o /tmp/evaluation-result-4545203-1753234827/solver-4545203-1753234827 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753234827-173194 --watchdog 3760 pbscip -f HOME/instance-4545203-1753234827.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6d4f15a21d60c3eef1e05aacf06821b4 RANDOM SEED=175662092 nodeC014 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 : 3600.412 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 : 7000.23 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 : 3271.959 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 : 7000.23 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 : 3600.121 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 : 7000.23 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 : 2633.100 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 : 7000.23 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 : 3600.443 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 : 7000.23 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 : 3600.557 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 : 7000.23 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 : 3600.313 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 : 7000.23 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 : 3423.190 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 : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129137772 kB MemAvailable: 129678956 kB Buffers: 696 kB Cached: 1286164 kB SwapCached: 1624 kB Active: 898616 kB Inactive: 466160 kB Active(anon): 76844 kB Inactive(anon): 25696 kB Active(file): 821772 kB Inactive(file): 440464 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008356 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 90884 kB Writeback: 8 kB AnonPages: 79404 kB Mapped: 108424 kB Shmem: 24612 kB KReclaimable: 236372 kB Slab: 332604 kB SReclaimable: 236372 kB SUnreclaim: 96232 kB KernelStack: 4128 kB PageTables: 2928 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 361460 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432752 MiB End job on nodeC014 at 2025-07-23 04:40:25