0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4510555-1751198512.opb>
0.00/0.00 c original problem has 501 variables (501 bin, 0 int, 0 cont) and 698 constraints
0.00/0.00 c problem read in 0.002 seconds
0.00/0.00 c problem without objective
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver (2 rounds): 1 aggregations, 0 fixings, 0 bound changes
0.00/0.00 c (round 1, medium) 1 del vars, 698 del conss, 250 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.30) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: no components
0.00/0.01 c lexicographic reduction: 1 permutations with support sizes 400
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 2 medium, 1 exhaustive):
0.00/0.01 c 1 deleted vars, 698 deleted constraints, 250 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 250 constraints
0.00/0.01 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.01 c 250 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998008
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.01 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.01 c reading/opbreader/maxintsize = 47
0.00/0.01 c
0.00/0.01 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.01 c propagating/genvbounds/timingmask = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c
0.00/0.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.02 c 0.0s| 1 | 0 | 428 | - | 10M | 0 | 500 | 353 | 250 | 0 | 0 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.03 c 0.0s| 1 | 0 | 691 | - | 11M | 0 | 500 | 353 | 263 | 13 | 1 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 706 | - | 11M | 0 | 500 | 353 | 271 | 21 | 2 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 714 | - | 11M | 0 | 500 | 353 | 278 | 28 | 3 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 718 | - | 11M | 0 | 500 | 353 | 282 | 32 | 4 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.04 c 0.0s| 1 | 0 | 728 | - | 12M | 0 | 500 | 353 | 284 | 34 | 5 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.1s| 1 | 0 | 735 | - | 12M | 0 | 500 | 353 | 287 | 37 | 6 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 738 | - | 13M | 0 | 500 | 353 | 289 | 39 | 7 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 754 | - | 15M | 0 | 500 | 353 | 292 | 42 | 8 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 762 | - | 16M | 0 | 500 | 353 | 294 | 44 | 9 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 776 | - | 17M | 0 | 500 | 353 | 295 | 45 | 10 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 786 | - | 17M | 0 | 500 | 354 | 296 | 46 | 11 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 794 | - | 17M | 0 | 500 | 354 | 297 | 47 | 12 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 797 | - | 17M | 0 | 500 | 354 | 298 | 48 | 13 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 2 | 896 | - | 17M | 0 | 500 | 364 | 298 | 48 | 13 | 114 | 7 | 0.000000e+00 | -- | Inf | unknown
0.49/0.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.49/0.54 c 0.5s| 100 | 99 | 6975 | 62.4 | 19M | 12 | 500 | 574 | 259 | 239 | 1 | 324 | 7 | 0.000000e+00 | -- | Inf | 6.25%
0.99/1.05 c 1.1s| 200 | 199 | 10328 | 47.9 | 20M | 29 | 500 | 808 | 252 | 353 | 1 | 564 | 7 | 0.000000e+00 | -- | Inf | 6.25%
1.29/1.34 c 1.3s| 300 | 299 | 12331 | 38.6 | 20M | 29 | 500 |1052 | 252 | 353 | 1 | 813 | 7 | 0.000000e+00 | -- | Inf | 6.25%
1.69/1.75 c 1.8s| 400 | 399 | 14044 | 33.2 | 21M | 29 | 500 |1286 | 252 | 363 | 1 |1050 | 7 | 0.000000e+00 | -- | Inf | 6.25%
1.99/2.03 c 2.0s| 500 | 499 | 15417 | 29.3 | 21M | 38 | 500 |1464 | 253 | 383 | 1 |1235 | 7 | 0.000000e+00 | -- | Inf | 6.25%
2.09/2.19 c 2.2s| 600 | 597 | 16370 | 26.0 | 21M | 39 | 500 |1573 | 252 | 383 | 1 |1347 | 7 | 0.000000e+00 | -- | Inf | 6.25%
2.68/2.78 c 2.8s| 700 | 697 | 17692 | 24.2 | 21M | 39 | 500 |1678 | 252 | 388 | 1 |1456 | 7 | 0.000000e+00 | -- | Inf | 6.25%
2.88/2.97 c 3.0s| 800 | 795 | 18263 | 21.9 | 21M | 39 | 500 |1753 | 252 | 389 | 1 |1533 | 7 | 0.000000e+00 | -- | Inf | 6.25%
2.98/3.01 c 3.0s| 900 | 893 | 18628 | 19.8 | 21M | 39 | 500 |1779 | 252 | 389 | 1 |1560 | 7 | 0.000000e+00 | -- | Inf | 6.25%
2.98/3.08 c 3.1s| 1000 | 985 | 19449 | 18.7 | 22M | 41 | 500 |1845 | 252 | 427 | 1 |1626 | 7 | 0.000000e+00 | -- | Inf | 6.25%
3.08/3.16 c 3.2s| 1100 | 1081 | 20325 | 17.8 | 22M | 71 | 500 |1882 | 261 | 476 | 1 |1663 | 7 | 0.000000e+00 | -- | Inf | 6.25%
3.37/3.47 c 3.5s| 1200 | 1175 | 21252 | 17.1 | 22M | 84 | 500 |1962 | 261 | 509 | 1 |1745 | 7 | 0.000000e+00 | -- | Inf | 6.25%
3.67/3.79 c 3.8s| 1300 | 1234 | 21922 | 16.3 | 22M | 96 | 500 |2061 | 255 | 516 | 1 |1852 | 7 | 0.000000e+00 | -- | Inf | 6.25%
3.98/4.01 c 4.0s| 1400 | 1311 | 22510 | 15.5 | 22M | 96 | 500 |2159 | 261 | 527 | 1 |1955 | 7 | 0.000000e+00 | -- | Inf | 6.25%
4.07/4.12 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.07/4.12 c (run 1, node 1459) performing user restart
4.07/4.12 c
4.07/4.12 c presolving:
4.07/4.12 c (round 1, fast) 0 del vars, 16 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
4.07/4.14 c (round 2, exhaustive) 0 del vars, 33 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
4.07/4.16 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
4.07/4.16 c 0 deleted vars, 33 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 88 changed coefficients
4.07/4.16 c 0 implications, 0 cliques
4.07/4.16 c presolved problem has 500 variables (500 bin, 0 int, 0 cont) and 2191 constraints
4.07/4.16 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
4.07/4.16 c 90 constraints of type <knapsack>
4.07/4.16 c 260 constraints of type <linear>
4.07/4.16 c 1841 constraints of type <logicor>
4.07/4.16 c transformed objective value is always integral (scale: 1)
4.07/4.16 c Presolving Time: 0.05
4.07/4.16 c
4.07/4.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.07/4.17 c 4.2s| 1 | 0 | 23314 | - | 24M | 0 | 500 |2236 | 250 | 0 | 0 |2070 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.24 c 4.2s| 1 | 0 | 23325 | - | 24M | 0 | 500 |2402 | 266 | 16 | 1 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.25 c 4.2s| 1 | 0 | 23344 | - | 24M | 0 | 500 |2402 | 276 | 26 | 2 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.25 c 4.3s| 1 | 0 | 23348 | - | 25M | 0 | 500 |2402 | 285 | 35 | 3 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.25 c 4.3s| 1 | 0 | 23350 | - | 25M | 0 | 500 |2402 | 288 | 38 | 4 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.25 c 4.3s| 1 | 0 | 23357 | - | 25M | 0 | 500 |2402 | 291 | 41 | 5 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.26 c 4.3s| 1 | 0 | 23365 | - | 25M | 0 | 500 |2402 | 293 | 43 | 6 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.27 c 4.3s| 1 | 0 | 23367 | - | 25M | 0 | 500 |2402 | 298 | 48 | 7 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.27 c 4.3s| 1 | 0 | 23385 | - | 25M | 0 | 500 |2402 | 300 | 50 | 8 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.18/4.29 c 4.3s| 1 | 0 | 23409 | - | 27M | 0 | 500 |2402 | 302 | 52 | 9 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.30 c 4.3s| 1 | 0 | 23412 | - | 27M | 0 | 500 |2402 | 305 | 55 | 10 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.30 c 4.3s| 1 | 0 | 23420 | - | 27M | 0 | 500 |2402 | 295 | 56 | 11 |2071 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.31 c 4.3s| 1 | 0 | 23427 | - | 27M | 0 | 500 |2407 | 298 | 59 | 12 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.31 c 4.3s| 1 | 0 | 23437 | - | 27M | 0 | 500 |2407 | 301 | 62 | 13 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.31 c 4.3s| 1 | 0 | 23441 | - | 27M | 0 | 500 |2407 | 304 | 65 | 14 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.28/4.32 c 4.3s| 1 | 0 | 23444 | - | 27M | 0 | 500 |2407 | 307 | 68 | 15 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.32 c 4.3s| 1 | 0 | 23454 | - | 27M | 0 | 500 |2406 | 309 | 70 | 16 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.33 c 4.3s| 1 | 0 | 23460 | - | 27M | 0 | 500 |2406 | 288 | 71 | 17 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.33 c 4.3s| 1 | 0 | 23462 | - | 27M | 0 | 500 |2404 | 290 | 73 | 18 |2076 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.34 c 4.3s| 1 | 0 | 23473 | - | 27M | 0 | 500 |2409 | 294 | 77 | 19 |2081 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.35 c 4.3s| 1 | 0 | 23491 | - | 27M | 0 | 500 |2408 | 295 | 78 | 20 |2081 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.35 c 4.4s| 1 | 0 | 23500 | - | 27M | 0 | 500 |2408 | 304 | 87 | 21 |2081 | 7 | 0.000000e+00 | -- | Inf | unknown
4.28/4.39 c 4.4s| 1 | 2 | 23703 | - | 27M | 0 | 500 |2414 | 304 | 87 | 22 |2087 | 18 | 0.000000e+00 | -- | Inf | unknown
5.18/5.23 c 5.2s| 100 | 101 | 25394 | 15.4 | 28M | 26 | 500 |2505 | 264 | 135 | 1 |2191 | 18 | 0.000000e+00 | -- | Inf | unknown
5.37/5.40 c 5.4s| 200 | 201 | 25861 | 14.8 | 28M | 43 | 500 |2510 | 267 | 152 | 1 |2196 | 18 | 0.000000e+00 | -- | Inf | unknown
5.47/5.55 c 5.5s| 300 | 301 | 26895 | 14.5 | 30M | 48 | 500 |2569 | 269 | 306 | 1 |2260 | 18 | 0.000000e+00 | -- | Inf | unknown
5.57/5.60 c
5.57/5.60 c SCIP Status : problem is solved [infeasible]
5.57/5.60 c Solving Time (sec) : 5.60
5.57/5.60 c Solving Nodes : 362 (total of 1821 nodes in 2 runs)
5.57/5.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
5.57/5.60 c Dual Bound : +1.00000000000000e+20
5.57/5.60 c Gap : 0.00 %
5.57/5.60 s UNSATISFIABLE
5.57/5.60 c SCIP Status : problem is solved [infeasible]
5.57/5.60 c Total Time : 5.60
5.57/5.60 c solving : 5.60
5.57/5.60 c presolving : 0.05 (included in solving)
5.57/5.60 c reading : 0.00 (included in solving)
5.57/5.60 c copying : 0.31 (79 #copies) (minimal 0.00, maximal 0.01, average 0.00)
5.57/5.60 c Original Problem :
5.57/5.60 c Problem name : HOME/instance-4510555-1751198512.opb
5.57/5.60 c Variables : 501 (501 binary, 0 integer, 0 continuous)
5.57/5.60 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
5.57/5.60 c Constraints : 698 initial, 698 maximal
5.57/5.60 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
5.57/5.60 c Presolved Problem :
5.57/5.60 c Problem name : t_HOME/instance-4510555-1751198512.opb
5.57/5.60 c Variables : 500 (500 binary, 0 integer, 0 continuous)
5.57/5.60 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
5.57/5.60 c Constraints : 2191 initial, 2603 maximal
5.57/5.60 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
5.57/5.60 c Nonzeros : 42541 constraint, 0 clique table
5.57/5.60 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
5.57/5.60 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.57/5.60 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.57/5.60 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
5.57/5.60 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c milp : 0.00 0.00 1 0 1 0 0 0 698 250 0 0
5.57/5.60 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.57/5.60 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
5.57/5.60 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
5.57/5.60 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.57/5.60 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.57/5.60 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.57/5.60 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
5.57/5.60 c knapsack : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
5.57/5.60 c linear : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
5.57/5.60 c logicor : 0.03 0.00 7 0 0 0 0 0 33 0 0 88
5.57/5.60 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
5.57/5.60 c root node : - - - 0 - - 0 - - - - -
5.57/5.60 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
5.57/5.60 c integral : 0 0 0 0 1765 0 0 221 0 0 0 0 0 0 3530
5.57/5.60 c knapsack : 90 90 0 26229 0 0 0 0 937 49 647 0 0 0 0
5.57/5.60 c linear : 260+ 440 36 27663 0 0 0 219 10979 498 2446 0 0 0 0
5.57/5.60 c logicor : 1841+ 2099 35 10748 0 0 0 0 176 12 64 0 0 0 0
5.57/5.60 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
5.57/5.60 c integral : 0.04 0.00 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c knapsack : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c linear : 0.09 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c logicor : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c Propagators : #Propagate #ResProp Cutoffs DomReds
5.57/5.60 c dualfix : 2 0 0 0
5.57/5.60 c genvbounds : 0 0 0 0
5.57/5.60 c nlobbt : 0 0 0 0
5.57/5.60 c obbt : 0 0 0 0
5.57/5.60 c probing : 0 0 0 0
5.57/5.60 c pseudoobj : 0 0 0 0
5.57/5.60 c redcost : 0 0 0 0
5.57/5.60 c rootredcost : 0 0 0 0
5.57/5.60 c symmetry : 20911 0 0 13
5.57/5.60 c vbounds : 0 0 0 0
5.57/5.60 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
5.57/5.60 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c symmetry : 0.09 0.00 0.00 0.08 0.00 0.00
5.57/5.60 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
5.57/5.60 c Symmetry :
5.57/5.60 c #affected vars : 400 (400 bin, 0 int, 0 cont)
5.57/5.60 c orbitopal red. : 0 reductions applied, 0 cutoffs
5.57/5.60 c orbital reduction: 0 reductions applied, 0 cutoffs
5.57/5.60 c lexicographic red: 54 reductions applied, 0 cutoffs
5.57/5.60 c shadow tree time : 0.00 s
5.57/5.60 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
5.57/5.60 c propagation : 0.01 312 312 - 1872 31.4 39 9.3 - - -
5.57/5.60 c infeasible LP : 0.02 177 177 - 946 34.3 17 11.4 158 30.5 0
5.57/5.60 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
5.57/5.60 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
5.57/5.60 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
5.57/5.60 c applied globally : 0.00 - - 0 2132 21.1 - - 157 - -
5.57/5.60 c applied locally : - - - 0 7 81.0 - - 0 - -
5.57/5.60 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
5.57/5.60 c cut pool : 0.06 - 516 65 - - 3906 18524 - - - - - (maximal pool size: 1590)
5.57/5.60 c aggregation : 0.04 0.00 177 35 0 0 11 18 0 0 0 0 0
5.57/5.60 c > cmir : - - - - - - - 13 0 0 0 0 -
5.57/5.60 c > flowcover : - - - - - - - 5 0 0 0 0 -
5.57/5.60 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
5.57/5.60 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
5.57/5.60 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c gomory : 0.20 0.00 162 20 0 0 3977 18288 186 722 713 9 0
5.57/5.60 c > gomorymi : - - - - - - - 3678 93 52 46 6 -
5.57/5.60 c > strongcg : - - - - - - - 14610 93 670 667 3 -
5.57/5.60 c impliedbounds : 0.00 0.00 177 35 0 0 0 0 0 0 0 0 0
5.57/5.60 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
5.57/5.60 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c multilinear : 0.00 0.00 65 35 0 0 0 0 0 0 0 0 0
5.57/5.60 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
5.57/5.60 c rapidlearning : 3.20 0.00 74 2 0 528 0 0 0 0 0 0 878
5.57/5.60 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
5.57/5.60 c zerohalf : 0.04 0.00 175 33 0 0 200 218 96 154 107 47 0
5.57/5.60 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
5.57/5.60 c hybrid : 0.01 0.00 226 34 876 0 17930 135 0 2986
5.57/5.60 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c Pricers : ExecTime SetupTime Calls Vars
5.57/5.60 c problem variables: 0.00 - 0 0
5.57/5.60 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
5.57/5.60 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c random : 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c relpscost : 0.04 0.00 1765 0 0 0 0 0 0 3530
5.57/5.60 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
5.57/5.60 c Primal Heuristics : ExecTime SetupTime Calls Found Best
5.57/5.60 c LP solutions : 0.00 - - 0 0
5.57/5.60 c relax solutions : 0.00 - - 0 0
5.57/5.60 c pseudo solutions : 0.00 - - 0 0
5.57/5.60 c strong branching : 0.00 - - 0 0
5.57/5.60 c actconsdiving : 0.00 0.00 0 0 0
5.57/5.60 c adaptivediving : 0.09 0.00 14 0 0
5.57/5.60 c alns : 0.07 0.00 3 0 0
5.57/5.60 c bound : 0.00 0.00 0 0 0
5.57/5.60 c clique : 0.00 0.00 0 0 0
5.57/5.60 c coefdiving : 0.00 0.00 0 0 0
5.57/5.60 c completesol : 0.00 0.00 0 0 0
5.57/5.60 c conflictdiving : 0.21 0.00 63 0 0
5.57/5.60 c crossover : 0.00 0.00 0 0 0
5.57/5.60 c dins : 0.00 0.00 0 0 0
5.57/5.60 c distributiondivin: 0.14 0.00 17 0 0
5.57/5.60 c dks : 0.00 0.00 0 0 0
5.57/5.60 c dps : 0.00 0.00 0 0 0
5.57/5.60 c dualval : 0.00 0.00 0 0 0
5.57/5.60 c farkasdiving : 0.00 0.00 0 0 0
5.57/5.60 c feaspump : 0.06 0.00 16 0 0
5.57/5.60 c fixandinfer : 0.00 0.00 0 0 0
5.57/5.60 c fracdiving : 0.13 0.00 41 0 0
5.57/5.60 c gins : 0.00 0.00 0 0 0
5.57/5.60 c guideddiving : 0.00 0.00 0 0 0
5.57/5.60 c indicator : 0.00 0.00 0 0 0
5.57/5.60 c indicatordiving : 0.00 0.00 0 0 0
5.57/5.60 c intdiving : 0.00 0.00 0 0 0
5.57/5.60 c intshifting : 0.00 0.00 0 0 0
5.57/5.60 c linesearchdiving : 0.10 0.00 15 0 0
5.57/5.60 c localbranching : 0.00 0.00 0 0 0
5.57/5.60 c locks : 0.00 0.00 1 0 0
5.57/5.60 c lpface : 0.00 0.00 0 0 0
5.57/5.60 c mpec : 0.00 0.00 0 0 0
5.57/5.60 c multistart : 0.00 0.00 0 0 0
5.57/5.60 c mutation : 0.00 0.00 0 0 0
5.57/5.60 c nlpdiving : 0.00 0.00 0 0 0
5.57/5.60 c objpscostdiving : 0.06 0.00 5 0 0
5.57/5.60 c octane : 0.00 0.00 0 0 0
5.57/5.60 c ofins : 0.00 0.00 0 0 0
5.57/5.60 c oneopt : 0.00 0.00 0 0 0
5.57/5.60 c padm : 0.00 0.00 0 0 0
5.57/5.60 c proximity : 0.00 0.00 0 0 0
5.57/5.60 c pscostdiving : 0.11 0.00 9 0 0
5.57/5.60 c randrounding : 0.03 0.00 221 0 0
5.57/5.60 c rens : 0.01 0.00 2 0 0
5.57/5.60 c reoptsols : 0.00 0.00 0 0 0
5.57/5.60 c repair : 0.00 0.00 0 0 0
5.57/5.60 c rins : 0.00 0.00 0 0 0
5.57/5.60 c rootsoldiving : 0.04 0.00 3 0 0
5.57/5.60 c rounding : 0.00 0.00 579 0 0
5.57/5.60 c scheduler : 0.00 0.00 0 0 0
5.57/5.60 c shiftandpropagate: 0.01 0.00 2 0 0
5.57/5.60 c shifting : 0.01 0.00 226 0 0
5.57/5.60 c simplerounding : 0.00 0.00 0 0 0
5.57/5.60 c subnlp : 0.00 0.00 0 0 0
5.57/5.60 c trivial : 0.00 0.00 4 0 0
5.57/5.60 c trivialnegation : 0.00 0.00 0 0 0
5.57/5.60 c trustregion : 0.00 0.00 0 0 0
5.57/5.60 c trysol : 0.00 0.00 0 0 0
5.57/5.60 c twoopt : 0.00 0.00 0 0 0
5.57/5.60 c undercover : 0.00 0.00 0 0 0
5.57/5.60 c vbounds : 0.00 0.00 0 0 0
5.57/5.60 c veclendiving : 0.14 0.00 47 0 0
5.57/5.60 c zeroobj : 0.00 0.00 0 0 0
5.57/5.60 c zirounding : 0.00 0.00 1000 0 0
5.57/5.60 c other solutions : - - - 0 -
5.57/5.60 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 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
5.57/5.60 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
5.57/5.60 c primal LP : 0.01 85 0 0.00 0.00 0.01 85
5.57/5.60 c dual LP : 0.44 2046 9569 4.71 21534.29 0.00 14
5.57/5.60 c lex dual LP : 0.00 0 0 0.00 -
5.57/5.60 c barrier LP : 0.00 0 0 0.00 - 0.00 0
5.57/5.60 c resolve instable : 0.00 0 0 0.00 -
5.57/5.60 c diving/probing LP: 0.57 2289 17748 7.75 31086.83
5.57/5.60 c strong branching : 0.02 18 344 19.11 19778.07 - - 0
5.57/5.60 c (at root node) : - 18 344 19.11 -
5.57/5.60 c conflict analysis: 0.00 0 0 0.00 -
5.57/5.60 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
5.57/5.60 c benders : 0.00 0 0 0 0.00 0 0 0
5.57/5.60 c B&B Tree :
5.57/5.60 c number of runs : 2
5.57/5.60 c nodes : 362 (361 internal, 1 leaves)
5.57/5.60 c feasible leaves : 0
5.57/5.60 c infeas. leaves : 1
5.57/5.60 c objective leaves : 0
5.57/5.60 c nodes (total) : 1821 (1765 internal, 56 leaves)
5.57/5.60 c nodes left : 0
5.57/5.60 c max depth : 54
5.57/5.60 c max depth (total): 96
5.57/5.60 c backtracks : 69 (19.1%)
5.57/5.60 c early backtracks : 0 (0.0%)
5.57/5.60 c nodes exc. ref. : 0 (0.0%)
5.57/5.60 c delayed cutoffs : 361
5.57/5.60 c repropagations : 0 (0 domain reductions, 0 cutoffs)
5.57/5.60 c avg switch length: 2.54
5.57/5.60 c switching time : 0.05
5.57/5.60 c Root Node :
5.57/5.60 c First LP value : +0.00000000000000e+00
5.57/5.60 c First LP Iters : 428 (184323.86 Iter/sec)
5.57/5.60 c First LP Time : 0.00
5.57/5.60 c Final Dual Bound : -
5.57/5.60 c Final Root Iters : 1400
5.57/5.60 c Root LP Estimate : +3.30965058742842e-03
5.57/5.60 c Solution :
5.57/5.60 c Solutions found : 0 (0 improvements)
5.57/5.60 c Primal Bound : infeasible
5.57/5.60 c Dual Bound : -
5.57/5.60 c Gap : 0.00 %
5.57/5.60 c Integrals : Total Avg%
5.57/5.60 c primal-dual : - - (problem infeasible)
5.57/5.60 c primal-ref : - - (problem infeasible)
5.57/5.60 c dual-ref : - - (problem infeasible)
5.57/5.61 c Time complete (sec): 5.594
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 (62639 MiB free)
memory of node 1: 64507 MiB (62230 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510555-1751198512/watcher-4510555-1751198512 -o /tmp/evaluation-result-4510555-1751198512/solver-4510555-1751198512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751191306-21828 --watchdog 3760 pbsolver -f HOME/instance-4510555-1751198512.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=22786, runsolver pid=22783
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 22787
/proc/meminfo: memFree=127846372/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=40928 memory=30352 CPUtime=0.09 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 5421 0 0 0 9 0 0 0 20 0 1 0 35531046 41910272 7588 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 10232 7588 2688 2575 0 7139 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40928 KiB
Current children cumulated memory: 30352 KiB
[startup+0.205777 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 22787
/proc/meminfo: memFree=127844608/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=42788 memory=31772 CPUtime=0.2 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 6072 0 0 0 20 0 0 0 20 0 1 0 35531046 43814912 7943 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 10697 7943 2688 2575 0 7604 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42788 KiB
Current children cumulated memory: 31772 KiB
[startup+0.305768 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 22787
/proc/meminfo: memFree=127842844/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=44156 memory=32912 CPUtime=0.3 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 6717 0 0 0 30 0 0 0 20 0 1 0 35531046 45215744 8228 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 11039 8228 2688 2575 0 7946 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44156 KiB
Current children cumulated memory: 32912 KiB
[startup+0.700159 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 22787
/proc/meminfo: memFree=127841836/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=46104 memory=35776 CPUtime=0.68 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 7742 0 0 0 68 0 0 0 20 0 1 0 35531046 47210496 8944 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 11526 8944 2688 2575 0 8433 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46104 KiB
Current children cumulated memory: 35776 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 22787
/proc/meminfo: memFree=127829236/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=49916 memory=39684 CPUtime=1.49 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 9792 0 0 0 148 1 0 0 20 0 1 0 35531046 51113984 9921 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 12479 9921 2688 2575 0 9386 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49916 KiB
Current children cumulated memory: 39684 KiB
[startup+3.10546 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 22787
/proc/meminfo: memFree=129443944/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=53208 memory=42992 CPUtime=3.08 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 11843 0 0 0 307 1 0 0 20 0 1 0 35531046 54484992 10748 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 13302 10748 2688 2575 0 10209 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53208 KiB
Current children cumulated memory: 42992 KiB
[startup+5.61738 s]
# the end of solver process 22786 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=5.57453 s, system=0.022917 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20015 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 22787
/proc/meminfo: memFree=129443944/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=53208 memory=42992 CPUtime=3.18 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 11843 0 0 0 317 1 0 0 20 0 1 0 35531046 54484992 10748 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 13302 10748 2688 2575 0 10209 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 53208 KiB
Current children cumulated memory: 42992 KiB
[startup+4.80014 s]
/proc/loadavg: 4.11 4.11 4.09 6/261 22807
/proc/meminfo: memFree=129554688/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=63016 memory=52856 CPUtime=4.78 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 14806 0 0 0 476 2 0 0 20 0 1 0 35531046 64528384 13214 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 15754 13214 2688 2575 0 12661 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 63016 KiB
Current children cumulated memory: 52856 KiB
[startup+5.20014 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 22832
/proc/meminfo: memFree=129528752/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=63148 memory=52984 CPUtime=5.18 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 14837 0 0 0 516 2 0 0 20 0 1 0 35531046 64663552 13246 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 15787 13246 2688 2575 0 12694 0
Current children cumulated CPU time: 5.18 s
Current children cumulated vsize: 63148 KiB
Current children cumulated memory: 52984 KiB
[startup+5.60015 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 22832
/proc/meminfo: memFree=129528752/131250000 swapFree=33010684/33010684
[pid=22786] ppid=22783 vsize=63148 memory=52984 CPUtime=5.57 cores=0,2
/proc/22786/stat : 22786 (pbsolver) R 22783 22786 21818 0 -1 4194304 14849 0 0 0 555 2 0 0 20 0 1 0 35531046 64663552 13246 18446744073709551615 4198400 14743177 140735351508592 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 26136576 140735351511434 140735351511530 140735351511530 140735351517132 0
/proc/22786/statm: 15787 13246 2688 2575 0 12694 0
Current children cumulated CPU time: 5.57 s
Current children cumulated vsize: 63148 KiB
Current children cumulated memory: 52984 KiB
Child status: 0
Real time (s): 5.61741
CPU time (s): 5.59745
CPU user time (s): 5.57453
CPU system time (s): 0.022917
CPU usage (%): 99.6447
Max. virtual memory (cumulated for all children) (KiB): 63148
Max. memory (cumulated for all children) (KiB): 52984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.57454
system time used= 0.022917
maximum resident set size= 53112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14857
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= 3
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 22786
# total CPU time (s): 5.59745
# total CPU user time (s): 5.57453
# total CPU system time (s): 0.022917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017218 second user time and 0.059075 second system time
The end