| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.97 | 3597.35 |
| Name | PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb |
| MD5SUM | f7b2b496c30aa17fcbe59599d08153aa |
| 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 | 49368 |
| Total number of constraints | 158090 |
| Number of constraints which are clauses | 157278 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 812 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 93 |
| 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 | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 546 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4502164-1751168389.opb>
0.29/0.36 c original problem has 49368 variables (49368 bin, 0 int, 0 impl, 0 cont) and 158090 constraints
0.29/0.36 c problem read in 0.36
0.29/0.37 c No objective function, only one solution is needed.
0.59/0.68 c presolving:
1.08/1.13 c (round 1, fast) 16710 del vars, 14375 del conss, 0 add conss, 3307 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 90456 clqs
1.18/1.27 c (round 2, fast) 29667 del vars, 62455 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90259 clqs
1.28/1.30 c (round 3, fast) 29667 del vars, 63601 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 91106 clqs
1.37/1.44 c (1.4s) running MILP presolver
2.86/2.98 c (3.0s) MILP presolver (2 rounds): 0 aggregations, 5 fixings, 0 bound changes
2.96/3.03 c (round 4, medium) 29705 del vars, 63601 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90593 clqs
2.96/3.05 c (round 5, fast) 29759 del vars, 64141 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 0 upgd conss, 0 impls, 90567 clqs
3.25/3.34 c (round 6, exhaustive) 29759 del vars, 64174 del conss, 0 add conss, 3307 chg bounds, 66 chg sides, 68 chg coeffs, 93912 upgd conss, 0 impls, 90586 clqs
3.65/3.74 c (round 7, exhaustive) 29763 del vars, 112213 del conss, 15390 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90586 clqs
3.65/3.79 c (round 8, fast) 29765 del vars, 112304 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 92348 clqs
3.75/3.82 c (round 9, fast) 29768 del vars, 112415 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 92223 clqs
3.75/3.85 c (round 10, fast) 29770 del vars, 112542 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 92100 clqs
3.75/3.88 c (round 11, fast) 29772 del vars, 112654 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91976 clqs
3.85/3.91 c (round 12, fast) 29774 del vars, 112781 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91852 clqs
3.85/3.94 c (round 13, fast) 29776 del vars, 112884 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91728 clqs
3.85/3.97 c (round 14, fast) 29778 del vars, 113004 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91604 clqs
3.95/4.01 c (round 15, fast) 29780 del vars, 113114 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91480 clqs
3.95/4.04 c (round 16, fast) 29782 del vars, 113228 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91356 clqs
3.95/4.07 c (round 17, fast) 29784 del vars, 113339 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91232 clqs
3.95/4.10 c (round 18, fast) 29785 del vars, 113432 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91231 clqs
4.05/4.12 c (round 19, fast) 29786 del vars, 113548 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 91108 clqs
4.05/4.15 c (round 20, fast) 29788 del vars, 113670 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90984 clqs
4.05/4.18 c (round 21, fast) 29790 del vars, 113792 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90860 clqs
4.15/4.21 c (round 22, fast) 29792 del vars, 113911 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90736 clqs
4.15/4.24 c (round 23, fast) 29794 del vars, 114034 del conss, 15393 add conss, 3307 chg bounds, 74 chg sides, 117 chg coeffs, 93912 upgd conss, 0 impls, 90612 clqs
4.25/4.31 c (round 24, medium) 29886 del vars, 114156 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 90220 clqs
4.25/4.34 c (round 25, fast) 29887 del vars, 114277 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 90099 clqs
4.25/4.37 c (round 26, fast) 29892 del vars, 114852 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 89495 clqs
4.25/4.39 c (round 27, fast) 29902 del vars, 115767 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 88300 clqs
4.35/4.42 c (round 28, fast) 29907 del vars, 116559 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 87713 clqs
4.35/4.45 c (round 29, fast) 29909 del vars, 116838 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 87481 clqs
4.35/4.48 c (round 30, fast) 29912 del vars, 117167 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 87137 clqs
4.45/4.50 c (round 31, fast) 29914 del vars, 117402 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86910 clqs
4.45/4.53 c (round 32, fast) 29916 del vars, 117584 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86687 clqs
4.45/4.56 c (round 33, fast) 29918 del vars, 117817 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86468 clqs
4.45/4.58 c (round 34, fast) 29922 del vars, 118179 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 86037 clqs
4.55/4.61 c (round 35, fast) 29924 del vars, 118475 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 85826 clqs
4.55/4.64 c (round 36, fast) 29935 del vars, 119218 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 84736 clqs
4.55/4.66 c (round 37, fast) 29939 del vars, 119795 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 84387 clqs
4.55/4.69 c (round 38, fast) 29942 del vars, 120128 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 84154 clqs
4.64/4.71 c (round 39, fast) 29954 del vars, 120374 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83508 clqs
4.64/4.74 c (round 40, fast) 29959 del vars, 120907 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83352 clqs
4.64/4.76 c (round 41, fast) 29961 del vars, 121038 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83308 clqs
4.64/4.78 c (round 42, fast) 29962 del vars, 121088 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83288 clqs
4.74/4.84 c (round 43, medium) 29975 del vars, 121158 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83204 clqs
4.74/4.86 c (round 44, fast) 29977 del vars, 121219 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 206 chg coeffs, 93912 upgd conss, 0 impls, 83141 clqs
29.27/29.42 c (29.4s) probing: 1000/31222 (3.2%) - 23 fixings, 1 aggregations, 1653802 implications, 0 bound changes
34.26/34.48 c (round 45, exhaustive) 30007 del vars, 121225 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 216 chg coeffs, 93912 upgd conss, 0 impls, 360055 clqs
34.36/34.51 c (round 46, fast) 30025 del vars, 121327 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 230 chg coeffs, 93912 upgd conss, 0 impls, 358748 clqs
49.82/50.10 c (round 47, exhaustive) 30066 del vars, 121358 del conss, 15393 add conss, 3307 chg bounds, 163 chg sides, 236 chg coeffs, 93912 upgd conss, 0 impls, 361797 clqs
49.92/50.13 c (round 48, fast) 30080 del vars, 121444 del conss, 15393 add conss, 3307 chg bounds, 164 chg sides, 249 chg coeffs, 93912 upgd conss, 0 impls, 361048 clqs
55.90/56.19 c (56.2s) probing: 2000/31222 (6.4%) - 50 fixings, 1 aggregations, 3698532 implications, 0 bound changes
72.25/72.53 c (round 49, exhaustive) 30120 del vars, 121454 del conss, 15404 add conss, 3307 chg bounds, 169 chg sides, 261 chg coeffs, 93912 upgd conss, 0 impls, 360046 clqs
72.25/72.57 c (round 50, fast) 30156 del vars, 121605 del conss, 15404 add conss, 3307 chg bounds, 171 chg sides, 302 chg coeffs, 93912 upgd conss, 0 impls, 357680 clqs
79.93/80.26 c (80.3s) probing: 3000/31222 (9.6%) - 85 fixings, 1 aggregations, 5612074 implications, 0 bound changes
100.87/101.25 c (101.2s) probing: 4000/31222 (12.8%) - 99 fixings, 2 aggregations, 6865772 implications, 0 bound changes
120.81/121.22 c (121.2s) probing: 5000/31222 (16.0%) - 100 fixings, 2 aggregations, 8135102 implications, 0 bound changes
139.66/140.17 c (round 51, exhaustive) 30188 del vars, 121611 del conss, 15411 add conss, 3307 chg bounds, 174 chg sides, 312 chg coeffs, 93912 upgd conss, 0 impls, 362411 clqs
139.76/140.20 c (round 52, fast) 30202 del vars, 121704 del conss, 15411 add conss, 3307 chg bounds, 176 chg sides, 331 chg coeffs, 93912 upgd conss, 0 impls, 362196 clqs
141.85/142.35 c (142.3s) probing: 6000/31222 (19.2%) - 114 fixings, 3 aggregations, 9463994 implications, 0 bound changes
162.79/163.38 c (163.4s) probing: 6937/31222 (22.2%) - 114 fixings, 3 aggregations, 10683088 implications, 0 bound changes
162.79/163.38 c (163.4s) probing aborted: 1000/1000 successive useless probings
162.79/163.38 c (163.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
162.99/163.58 c (163.6s) no symmetry present (symcode time: 0.07)
163.09/163.63 c presolving (53 rounds: 53 fast, 10 medium, 7 exhaustive):
163.09/163.63 c 30207 deleted vars, 121715 deleted constraints, 15421 added constraints, 3307 tightened bounds, 0 added holes, 176 changed sides, 332 changed coefficients
163.09/163.63 c 0 implications, 363538 cliques
163.09/163.63 c presolved problem has 30996 variables (30996 bin, 0 int, 0 impl, 0 cont) and 51768 constraints
163.09/163.63 c 757 constraints of type <knapsack>
163.09/163.63 c 37612 constraints of type <setppc>
163.09/163.63 c 13385 constraints of type <and>
163.09/163.63 c 14 constraints of type <logicor>
163.09/163.63 c transformed objective value is always integral (scale: 1)
163.09/163.63 c Presolving Time: 162.97
163.09/163.63 c - non default parameters ----------------------------------------------------------------------
163.09/163.63 c # SCIP version 10.0.0
163.09/163.63 c
163.09/163.63 c # maximal time in seconds to run
163.09/163.63 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
163.09/163.63 c limits/time = 3596.996987
163.09/163.63 c
163.09/163.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
163.09/163.63 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
163.09/163.63 c limits/memory = 27900
163.09/163.63 c
163.09/163.63 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
163.09/163.63 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
163.09/163.63 c limits/solutions = 1
163.09/163.63 c
163.09/163.63 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.
163.09/163.63 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
163.09/163.63 c misc/usesymmetry = 3
163.09/163.63 c
163.09/163.63 c # belongs reading time to solving time?
163.09/163.63 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
163.09/163.63 c timing/reading = TRUE
163.09/163.63 c
163.09/163.63 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
163.09/163.63 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
163.09/163.63 c propagating/symmetry/detectdoublelex = FALSE
163.09/163.63 c
163.09/163.63 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
163.09/163.63 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
163.09/163.63 c propagating/symmetry/detectsubgroups = FALSE
163.09/163.63 c
163.09/163.63 c # Type of symmetries that shall be computed?
163.09/163.63 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
163.09/163.63 c propagating/symmetry/symtype = 1
163.09/163.63 c
163.09/163.63 c # Should components consisting of a single full reflection be handled?
163.09/163.63 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
163.09/163.63 c propagating/symmetry/usesimplesgncomp = FALSE
163.09/163.63 c
163.09/163.63 c -----------------------------------------------------------------------------------------------
163.09/163.63 c start solving
163.09/163.64 c
1190.11/1193.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1190.11/1193.65 c 1194s| 1 | 0 |112316 | - | 539M | 0 | 30k| 51k| 65k| 0 | 0 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
2800.28/2807.72 c 2808s| 1 | 0 |436170 | - | 579M | 0 | 30k| 51k| 65k| 108 | 1 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
3587.62/3597.01 c 3597s| 1 | 0 |497375 | - | 598M | 0 | 30k| 51k| 65k| 216 | 2 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
3587.62/3597.01 c (node 1) LP solver hit time limit in LP 11 -- using pseudo solution instead
3587.62/3597.01 c
3587.62/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.62/3597.01 c Solving Time (sec) : 3597.00
3587.62/3597.01 c Solving Nodes : 1
3587.62/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.62/3597.01 c Dual Bound : +0.00000000000000e+00
3587.62/3597.01 c Gap : infinite
3587.62/3597.01 s UNKNOWN
3587.62/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.62/3597.01 c Total Time : 3597.00
3587.62/3597.01 c solving : 3597.00
3587.62/3597.01 c presolving : 162.97 (included in solving)
3587.62/3597.01 c reading : 0.36 (included in solving)
3587.62/3597.01 c copying : 0.00 (0 times copied the problem)
3587.62/3597.01 c Original Problem :
3587.62/3597.01 c Problem name : HOME/instance-4502164-1751168389.opb
3587.62/3597.01 c Variables : 49368 (49368 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.62/3597.01 c Constraints : 158090 initial, 158090 maximal
3587.62/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.62/3597.01 c Presolved Problem :
3587.62/3597.01 c Problem name : t_HOME/instance-4502164-1751168389.opb
3587.62/3597.01 c Variables : 30996 (30996 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.62/3597.01 c Constraints : 51768 initial, 51834 maximal
3587.62/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.62/3597.01 c Nonzeros : 166655 constraint, 821356 clique table
3587.62/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.62/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c domcol : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c gateextraction : 0.38 0.00 6 0 0 0 0 0 48035 15382 0 0
3587.62/3597.01 c implics : 0.01 0.00 10 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c milp : 1.67 0.00 1 5 0 0 0 0 0 0 0 0
3587.62/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c trivial : 0.07 0.00 53 11835 0 0 0 0 0 0 0 0
3587.62/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c dualfix : 0.05 0.00 53 10 0 0 0 0 0 0 0 0
3587.62/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c probing : 157.02 0.00 5 114 3 0 0 0 0 0 0 0
3587.62/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c symmetry : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c vbounds : 0.15 0.00 2 15 0 0 0 0 0 0 0 0
3587.62/3597.01 c knapsack : 0.72 0.00 60 0 0 0 0 0 14 19 21 95
3587.62/3597.01 c setppc : 1.33 0.01 60 102 129 0 0 0 9383 0 89 89
3587.62/3597.01 c and : 0.35 0.00 51 0 80 0 0 0 100 20 0 80
3587.62/3597.01 c linear : 0.70 0.06 8 3307 2772 0 3307 0 64178 0 66 68
3587.62/3597.01 c logicor : 0.02 0.00 60 0 0 0 0 0 5 0 0 0
3587.62/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c components : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.62/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.62/3597.01 c benderslp : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.62/3597.01 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3587.62/3597.01 c knapsack : 757 757 2 560179 0 0 0 3 187 8 0 136 38 0 0
3587.62/3597.01 c setppc : 37612+ 37629 2 560171 0 0 0 1 621 30 0 0 0 0 0
3587.62/3597.01 c and : 13385 13385 2 560141 0 0 0 0 497 6 0 171 0 0 0
3587.62/3597.01 c logicor : 14+ 63 2 470 0 0 0 0 4 0 0 0 0 0 0
3587.62/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.62/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c knapsack : 3.28 0.00 0.03 3.25 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c setppc : 26.72 0.01 0.03 26.69 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c and : 52.84 0.00 0.05 52.79 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.62/3597.01 c dualfix : 1 0 0 0
3587.62/3597.01 c genvbounds : 0 0 0 0
3587.62/3597.01 c nlobbt : 0 0 0 0
3587.62/3597.01 c obbt : 0 0 0 0
3587.62/3597.01 c probing : 0 0 0 0
3587.62/3597.01 c pseudoobj : 0 0 0 0
3587.62/3597.01 c redcost : 0 0 0 0
3587.62/3597.01 c rootredcost : 0 0 0 0
3587.62/3597.01 c symmetry : 0 0 0 0
3587.62/3597.01 c vbounds : 9708 0 0 0
3587.62/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.62/3597.01 c dualfix : 0.05 0.00 0.05 0.00 0.00 0.00
3587.62/3597.01 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3587.62/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.62/3597.01 c probing : 157.02 0.00 157.02 0.00 0.00 0.00
3587.62/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.62/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.62/3597.01 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.62/3597.01 c symmetry : 0.23 0.00 0.20 0.03 0.00 0.00
3587.62/3597.01 c vbounds : 0.21 0.00 0.15 0.06 0.00 0.00
3587.62/3597.01 c Symmetry :
3587.62/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.62/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.62/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.62/3597.01 c shadow tree time : 0.00 s
3587.62/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.62/3597.01 c propagation : 0.00 37 36 - 83 13.3 3 4.0 - - -
3587.62/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.62/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.62/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.62/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.62/3597.01 c applied globally : 0.00 - - 0 73 9.2 - - 0 - -
3587.62/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.62/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.62/3597.01 c cut pool : 0.00 - 3 3 - - 455 463 - - - - - (maximal pool size: 455)
3587.62/3597.01 c aggregation : 0.03 0.00 2 2 0 0 14 14 0 5 5 0 0
3587.62/3597.01 c > cmir : - - - - - - - 9 0 3 3 0 -
3587.62/3597.01 c > flowcover : - - - - - - - 2 0 0 0 0 -
3587.62/3597.01 c > knapsackcover : - - - - - - - 3 0 2 2 0 -
3587.62/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c clique : 49.71 0.00 2 2 0 0 18 18 0 7 7 0 0
3587.62/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c gomory : 85.54 0.00 2 2 0 0 52 58 0 24 24 0 0
3587.62/3597.01 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3587.62/3597.01 c > strongcg : - - - - - - - 58 0 24 24 0 -
3587.62/3597.01 c impliedbounds : 0.04 0.00 2 2 0 0 307 309 0 89 89 0 0
3587.62/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c mcf : 0.92 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c multilinear : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.62/3597.01 c rlt : 3.93 0.00 2 2 0 0 29 29 0 25 25 0 0
3587.62/3597.01 c zerohalf : 5.30 0.00 2 2 0 0 35 35 0 28 28 0 0
3587.62/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.62/3597.01 c hybrid : 0.00 0.00 2 2 216 0 554 216 0 554
3587.62/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.62/3597.01 c problem variables: 0.00 - 0 0
3587.62/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.62/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.62/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.62/3597.01 c LP solutions : 0.00 - - 0 0
3587.62/3597.01 c relax solutions : 0.00 - - 0 0
3587.62/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.62/3597.01 c strong branching : 0.00 - - 0 0
3587.62/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c adaptivediving : 0.00 0.00 0 0 0
3587.62/3597.01 c alns : 0.00 0.00 0 0 0
3587.62/3597.01 c bound : 0.00 0.00 0 0 0
3587.62/3597.01 c clique : 0.18 0.00 1 0 0
3587.62/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c completesol : 0.00 0.00 0 0 0
3587.62/3597.01 c conflictdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c crossover : 0.00 0.00 0 0 0
3587.62/3597.01 c dins : 0.00 0.00 0 0 0
3587.62/3597.01 c distributiondivin: 0.00 0.00 0 0 0
3587.62/3597.01 c dps : 0.00 0.00 0 0 0
3587.62/3597.01 c dualval : 0.00 0.00 0 0 0
3587.62/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c feasjump : 0.07 0.00 1 0 0
3587.62/3597.01 c feaspump : 443.68 0.00 1 0 0
3587.62/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.62/3597.01 c fracdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c gins : 0.00 0.00 0 0 0
3587.62/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.62/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c indicator : 0.00 0.00 0 0 0
3587.62/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.62/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.62/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.62/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.62/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.62/3597.01 c linesearchdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.62/3597.01 c locks : 0.06 0.00 1 0 0
3587.62/3597.01 c lpface : 0.00 0.00 0 0 0
3587.62/3597.01 c mpec : 0.00 0.00 0 0 0
3587.62/3597.01 c multistart : 0.00 0.00 0 0 0
3587.62/3597.01 c mutation : 0.00 0.00 0 0 0
3587.62/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c objpscostdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c octane : 0.00 0.00 0 0 0
3587.62/3597.01 c ofins : 0.00 0.00 0 0 0
3587.62/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.62/3597.01 c padm : 0.00 0.00 0 0 0
3587.62/3597.01 c proximity : 0.00 0.00 0 0 0
3587.62/3597.01 c pscostdiving : 0.00 0.00 0 0 0
3587.62/3597.01 c randrounding : 0.03 0.00 2 0 0
3587.62/3597.01 c rens : 0.00 0.00 0 0 0
3587.62/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.62/3597.01 c repair : 0.00 0.00 0 0 0
3587.62/3597.01 c rins : 0.00 0.00 0 0 0
3587.62/3597.01 c rootsoldiving : 0.00 0.00 0 0 0
3587.62/3597.01 c rounding : 0.02 0.00 2 0 0
3587.62/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.62/3597.01 c shiftandpropagate: 0.28 0.00 1 0 0
3587.62/3597.01 c shifting : 0.20 0.00 2 0 0
3587.62/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.62/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.62/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.62/3597.01 c trivial : 0.03 0.00 2 0 0
3587.62/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.62/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.62/3597.01 c trysol : 0.00 0.00 0 0 0
3587.62/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.62/3597.01 c undercover : 91.29 0.00 1 0 0
3587.62/3597.01 c vbounds : 0.69 0.00 1 0 0
3587.62/3597.01 c veclendiving : 0.00 0.00 0 0 0
3587.62/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.62/3597.01 c zirounding : 0.00 0.00 0 0 0
3587.62/3597.01 c other solutions : - - - 0 -
3587.62/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 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
3587.62/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.62/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.62/3597.01 c primal LP : 0.00 0 0 0.00 - 0.00 0
3587.62/3597.01 c dual LP : 2751.31 3 261989 87329.67 95.22 0.00 0
3587.62/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.62/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.62/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.62/3597.01 c diving/probing LP: 530.97 8 235386 29423.25 443.32
3587.62/3597.01 c strong branching : 0.00 0 0 0.00 - - - 0
3587.62/3597.01 c (at root node) : - 0 0 0.00 -
3587.62/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.62/3597.01 c B&B Tree :
3587.62/3597.01 c number of runs : 1
3587.62/3597.01 c nodes : 1 (0 internal, 1 leaves)
3587.62/3597.01 c feasible leaves : 0
3587.62/3597.01 c infeas. leaves : 0
3587.62/3597.01 c objective leaves : 0
3587.62/3597.01 c nodes (total) : 1 (0 internal, 1 leaves)
3587.62/3597.01 c nodes left : 1
3587.62/3597.01 c max depth : 0
3587.62/3597.01 c max depth (total): 0
3587.62/3597.01 c backtracks : 0 (0.0%)
3587.62/3597.01 c early backtracks : 0 (0.0%)
3587.62/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.62/3597.01 c delayed cutoffs : 0
3587.62/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.62/3597.01 c avg switch length: 1.00
3587.62/3597.01 c switching time : 0.00
3587.62/3597.01 c Root Node :
3587.62/3597.01 c First LP value : +0.00000000000000e+00
3587.62/3597.01 c First LP Iters : 112316 (109.18 Iter/sec)
3587.62/3597.01 c First LP Time : 1028.70
3587.62/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.62/3597.01 c Final Root Iters : 497375
3587.62/3597.01 c Root LP Estimate : -
3587.62/3597.01 c Solution :
3587.62/3597.01 c Solutions found : 0 (0 improvements)
3587.62/3597.01 c Primal Bound : -
3587.62/3597.01 c Dual Bound : +0.00000000000000e+00
3587.62/3597.01 c Gap : infinite
3587.62/3597.01 c Integrals : Total Avg%
3587.62/3597.01 c primal-dual : 359700.20 100.00
3587.62/3597.01 c primal-ref : - - (not evaluated)
3587.62/3597.01 c dual-ref : - - (not evaluated)
3587.91/3597.34 c Time complete: 3587.96.
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 (62762 MiB free)
memory of node 1: 64507 MiB (63791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502164-1751168389/watcher-4502164-1751168389 -o /tmp/evaluation-result-4502164-1751168389/solver-4502164-1751168389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23685 --watchdog 3760 pbscip -f HOME/instance-4502164-1751168389.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23832, runsolver pid=23829
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 1.58 2.08 2.81 5/264 23833
/proc/meminfo: memFree=129543404/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=88192 memory=60672 CPUtime=0.08 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 12256 0 0 0 6 2 0 0 20 0 1 0 32516738 90308608 15168 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 22048 15168 3232 3530 0 13499 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88192 KiB
Current children cumulated memory: 60672 KiB
[startup+0.205605 s]*
/proc/loadavg: 1.58 2.08 2.81 5/264 23833
/proc/meminfo: memFree=129511148/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=118400 memory=90240 CPUtime=0.19 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 19655 0 0 0 16 3 0 0 20 0 1 0 32516738 121241600 22560 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 29600 22560 3232 3530 0 21051 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118400 KiB
Current children cumulated memory: 90240 KiB
[startup+0.305649 s]*
/proc/loadavg: 1.58 2.08 2.81 5/264 23833
/proc/meminfo: memFree=129511148/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=156648 memory=128384 CPUtime=0.29 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 29207 0 0 0 25 4 0 0 20 0 1 0 32516738 160407552 32096 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 39162 32096 3232 3530 0 30613 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 156648 KiB
Current children cumulated memory: 128384 KiB
[startup+0.70017 s]
/proc/loadavg: 1.58 2.08 2.81 5/264 23833
/proc/meminfo: memFree=129455060/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=347656 memory=317280 CPUtime=0.68 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 76719 0 0 0 57 11 0 0 20 0 1 0 32516738 355999744 79320 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 86914 79320 3552 3530 0 78365 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 347656 KiB
Current children cumulated memory: 317280 KiB
[startup+1.50017 s]
/proc/loadavg: 1.58 2.08 2.81 5/264 23833
/proc/meminfo: memFree=129350228/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=431176 memory=400448 CPUtime=1.47 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 95652 0 0 0 133 14 0 0 20 0 1 0 32516738 441524224 100112 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 107794 100112 3712 3530 0 99245 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 431176 KiB
Current children cumulated memory: 400448 KiB
[startup+3.10544 s]
/proc/loadavg: 1.78 2.12 2.82 5/264 23833
/proc/meminfo: memFree=129242784/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=399600 memory=369216 CPUtime=3.06 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 95897 0 0 0 292 14 0 0 20 0 1 0 32516738 409190400 92304 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 99900 92304 3744 3530 0 91351 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 399600 KiB
Current children cumulated memory: 369216 KiB
[startup+6.30016 s]
/proc/loadavg: 1.78 2.12 2.82 5/264 23833
/proc/meminfo: memFree=129154980/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=434944 memory=404288 CPUtime=6.23 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 104684 0 0 0 607 16 0 0 20 0 1 0 32516738 445382656 101072 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 108736 101072 3776 3530 0 100187 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 434944 KiB
Current children cumulated memory: 404288 KiB
[startup+12.7002 s]
/proc/loadavg: 1.95 2.15 2.82 5/264 23833
/proc/meminfo: memFree=129122756/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=452988 memory=422032 CPUtime=12.62 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 108605 0 0 0 1245 17 0 0 20 0 1 0 32516738 463859712 105508 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 113247 105508 3776 3530 0 104698 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 452988 KiB
Current children cumulated memory: 422032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 2.26 2.85 5/264 23833
/proc/meminfo: memFree=129050564/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=455756 memory=424848 CPUtime=25.38 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 109308 0 0 0 2521 17 0 0 20 0 1 0 32516738 466694144 106212 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 113939 106212 3776 3530 0 105390 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 455756 KiB
Current children cumulated memory: 424848 KiB
[startup+51.1055 s]
/proc/loadavg: 3.00 2.40 2.88 5/264 23834
/proc/meminfo: memFree=129043692/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=461420 memory=430608 CPUtime=50.92 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 110762 0 0 0 5075 17 0 0 20 0 1 0 32516738 472494080 107652 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 115355 107652 3776 3530 0 106806 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 461420 KiB
Current children cumulated memory: 430608 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.66 2.95 5/264 23835
/proc/meminfo: memFree=129028772/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=465668 memory=434960 CPUtime=101.96 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 112101 0 0 0 10179 17 0 0 20 0 1 0 32516738 476844032 108740 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 116417 108740 3776 3530 0 107868 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 465668 KiB
Current children cumulated memory: 434960 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.93 3.02 5/266 23839
/proc/meminfo: memFree=128856384/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=467868 memory=437136 CPUtime=161.79 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 112660 0 0 0 16162 17 0 0 20 0 1 0 32516738 479096832 109284 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 116967 109284 3776 3530 0 108418 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 467868 KiB
Current children cumulated memory: 437136 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.14 3.09 5/266 23841
/proc/meminfo: memFree=128648588/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=657140 memory=587656 CPUtime=221.63 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 152002 0 0 0 22138 25 0 0 20 0 1 0 32516738 672911360 146914 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 164285 146914 3968 3530 0 155736 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 657140 KiB
Current children cumulated memory: 587656 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.31 3.16 5/266 24024
/proc/meminfo: memFree=128665708/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=658912 memory=589448 CPUtime=281.47 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 152454 0 0 0 28122 25 0 0 20 0 1 0 32516738 674725888 147362 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 164728 147362 3968 3530 0 156179 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 658912 KiB
Current children cumulated memory: 589448 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 3.54 3.25 5/266 24033
/proc/meminfo: memFree=128634676/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=665032 memory=594048 CPUtime=341.29 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 152568 0 0 0 34104 25 0 0 20 0 1 0 32516738 680992768 148512 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 166258 148512 3968 3530 0 157709 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 665032 KiB
Current children cumulated memory: 594048 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.64 3.30 5/266 24035
/proc/meminfo: memFree=128608916/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=665032 memory=594048 CPUtime=401.07 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 152568 0 0 0 40082 25 0 0 20 0 1 0 32516738 680992768 148512 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 166258 148512 3968 3530 0 157709 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 665032 KiB
Current children cumulated memory: 594048 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.74 3.36 5/265 24038
/proc/meminfo: memFree=128581636/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=665032 memory=594048 CPUtime=460.86 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 152574 0 0 0 46061 25 0 0 20 0 1 0 32516738 680992768 148512 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 166258 148512 3968 3530 0 157709 0
################
# More data... #
################
/proc/loadavg: 4.09 4.08 4.04 5/264 24182
/proc/meminfo: memFree=128126552/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3213.86 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183027 0 0 0 321355 31 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/263 24184
/proc/meminfo: memFree=128124764/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3273.71 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 327340 31 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/264 24193
/proc/meminfo: memFree=128124948/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3333.56 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 333325 31 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/264 24195
/proc/meminfo: memFree=128121612/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3393.41 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 339310 31 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.09 4.04 5/264 24197
/proc/meminfo: memFree=128111516/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3453.26 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 345295 31 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 24200
/proc/meminfo: memFree=128106816/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3513.11 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 351280 31 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.04 5/264 24202
/proc/meminfo: memFree=128107060/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3572.97 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 357265 32 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3597.35 s]
# the end of solver process 23832 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.62 s, system=0.348444 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.09 4.04 5/264 24202
/proc/meminfo: memFree=128107060/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3574.67 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 357435 32 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3574.67 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3581.05 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 358073 32 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.09 4.04 5/264 24202
/proc/meminfo: memFree=128107084/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3584.24 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 358392 32 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.08 4.04 3/256 24218
/proc/meminfo: memFree=128949544/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3585.83 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 358551 32 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.08 4.04 5/256 24267
/proc/meminfo: memFree=128985220/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3586.63 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 358630 33 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.08 4.04 5/256 24267
/proc/meminfo: memFree=128985220/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=785448 memory=724992 CPUtime=3587.42 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183030 0 0 0 358709 33 0 0 20 0 1 0 32516738 804298752 181248 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196362 181248 4000 3530 0 187813 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 724992 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128692456/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=784180 memory=723772 CPUtime=3587.81 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183226 0 0 0 358748 33 0 0 20 0 1 0 32516738 803000320 180943 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 196045 180943 4000 3530 0 187496 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 784180 KiB
Current children cumulated memory: 723772 KiB
[startup+3597.3 s]
/proc/loadavg: 4.10 4.08 4.04 5/264 24292
/proc/meminfo: memFree=128692456/131250000 swapFree=33010684/33010684
[pid=23832] ppid=23829 vsize=754556 memory=694460 CPUtime=3587.91 cores=4,6
/proc/23832/stat : 23832 (pbscip) R 23829 23832 23674 0 -1 4194304 183236 0 0 0 358758 33 0 0 20 0 1 0 32516738 772665344 173615 18446744073709551615 4235264 18693293 140732083843824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 31576064 140732083845513 140732083845612 140732083845612 140732083851214 0
/proc/23832/statm: 188639 173615 4000 3530 0 180090 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 754556 KiB
Current children cumulated memory: 694460 KiB
Child status: 0
Real time (s): 3597.35
CPU time (s): 3587.97
CPU user time (s): 3587.62
CPU system time (s): 0.348444
CPU usage (%): 99.7394
Max. virtual memory (cumulated for all children) (KiB): 785448
Max. memory (cumulated for all children) (KiB): 724992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.62
system time used= 0.348444
maximum resident set size= 724992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183256
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= 1768
# summary of solver processes directly reported to runsolver:
# pid: 23832
# total CPU time (s): 3587.97
# total CPU user time (s): 3587.62
# total CPU system time (s): 0.348444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33518 second user time and 14.9057 second system time
The end
Begin job on nodeC018 at 2025-06-29 05:39:49 IDJOB=4502164 IDBENCH=154773 IDSOLVER=3365 FILE ID=nodeC018/4502164-1751168389 RUNJOBID= nodeC018-1751168386-23685 SLURM_JOB_ID= 9587511 Free space on /tmp= 432996 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502164-1751168389/watcher-4502164-1751168389 -o /tmp/evaluation-result-4502164-1751168389/solver-4502164-1751168389 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23685 --watchdog 3760 pbscip -f HOME/instance-4502164-1751168389.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa RANDOM SEED=645580872 nodeC018 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 : 3599.798 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.66 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.833 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.66 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.008 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.66 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.036 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.66 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.968 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.66 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.780 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.66 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 : 3556.807 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.66 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 : 3579.054 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129591536 kB MemAvailable: 129301592 kB Buffers: 3280 kB Cached: 520552 kB SwapCached: 0 kB Active: 714512 kB Inactive: 263372 kB Active(anon): 472140 kB Inactive(anon): 0 kB Active(file): 242372 kB Inactive(file): 263372 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 85076 kB Writeback: 0 kB AnonPages: 457240 kB Mapped: 134768 kB Shmem: 18076 kB KReclaimable: 86704 kB Slab: 170008 kB SReclaimable: 86704 kB SUnreclaim: 83304 kB KernelStack: 4272 kB PageTables: 4020 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 812704 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432964 MiB End job on nodeC018 at 2025-06-29 06:39:46