| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586 | 3597.4 |
| Name | PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb |
| MD5SUM | c8aab35d42bad0d90391f6d533654bf0 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.29058 |
| 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 | 40605 |
| Total number of constraints | 118930 |
| Number of constraints which are clauses | 117190 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1740 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| 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 | 65 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 254 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4491726-1751144686.opb>
0.17/0.27 c original problem has 40605 variables (40605 bin, 0 int, 0 impl, 0 cont) and 118930 constraints
0.17/0.27 c problem read in 0.25
0.17/0.27 c No objective function, only one solution is needed.
0.37/0.50 c presolving:
0.56/0.68 c (round 1, fast) 16 del vars, 7 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 0 upgd conss, 0 impls, 78836 clqs
0.76/0.83 c (0.8s) running MILP presolver
50.60/50.81 c (50.8s) MILP presolver (19 rounds): 2835 aggregations, 3889 fixings, 0 bound changes
50.60/50.85 c (round 2, medium) 6751 del vars, 35 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 0 upgd conss, 0 impls, 65603 clqs
50.70/50.93 c (round 3, fast) 6751 del vars, 18079 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 0 upgd conss, 0 impls, 66439 clqs
51.00/51.20 c (round 4, exhaustive) 6751 del vars, 18157 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 100722 upgd conss, 0 impls, 66439 clqs
51.10/51.30 c (round 5, fast) 6802 del vars, 18208 del conss, 0 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 100722 upgd conss, 0 impls, 66337 clqs
51.49/51.71 c (round 6, exhaustive) 6802 del vars, 116124 del conss, 32625 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 100722 upgd conss, 0 impls, 66337 clqs
51.59/51.83 c (round 7, exhaustive) 6851 del vars, 116128 del conss, 32629 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 100722 upgd conss, 0 impls, 66279 clqs
51.59/51.89 c (round 8, exhaustive) 6885 del vars, 116211 del conss, 32678 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 100722 upgd conss, 0 impls, 66215 clqs
51.69/51.91 c (round 9, fast) 6885 del vars, 116258 del conss, 32678 add conss, 1 chg bounds, 870 chg sides, 1740 chg coeffs, 100722 upgd conss, 0 impls, 66216 clqs
51.80/52.03 c (round 10, exhaustive) 6931 del vars, 116262 del conss, 32679 add conss, 1 chg bounds, 870 chg sides, 1741 chg coeffs, 100722 upgd conss, 0 impls, 75622 clqs
51.80/52.04 c (round 11, fast) 6957 del vars, 116302 del conss, 32679 add conss, 1 chg bounds, 870 chg sides, 1767 chg coeffs, 100742 upgd conss, 0 impls, 75571 clqs
51.99/52.27 c (round 12, exhaustive) 6987 del vars, 116305 del conss, 32680 add conss, 1 chg bounds, 870 chg sides, 1767 chg coeffs, 100742 upgd conss, 0 impls, 95221 clqs
51.99/52.29 c (round 13, fast) 7002 del vars, 116333 del conss, 32680 add conss, 1 chg bounds, 870 chg sides, 1782 chg coeffs, 100756 upgd conss, 0 impls, 95172 clqs
52.20/52.49 c (round 14, exhaustive) 7094 del vars, 116335 del conss, 32682 add conss, 1 chg bounds, 870 chg sides, 1783 chg coeffs, 100756 upgd conss, 0 impls, 102946 clqs
52.30/52.51 c (round 15, fast) 7172 del vars, 116478 del conss, 32682 add conss, 1 chg bounds, 870 chg sides, 1861 chg coeffs, 100766 upgd conss, 0 impls, 102823 clqs
53.29/53.50 c (round 16, exhaustive) 7236 del vars, 116481 del conss, 32683 add conss, 1 chg bounds, 870 chg sides, 1861 chg coeffs, 100766 upgd conss, 0 impls, 262063 clqs
53.29/53.52 c (round 17, fast) 7248 del vars, 116542 del conss, 32683 add conss, 1 chg bounds, 870 chg sides, 1873 chg coeffs, 100772 upgd conss, 0 impls, 261918 clqs
53.39/53.67 c (round 18, exhaustive) 7264 del vars, 116566 del conss, 32707 add conss, 1 chg bounds, 870 chg sides, 1873 chg coeffs, 100772 upgd conss, 0 impls, 261804 clqs
53.49/53.75 c (round 19, exhaustive) 7264 del vars, 116582 del conss, 32723 add conss, 1 chg bounds, 870 chg sides, 1873 chg coeffs, 100772 upgd conss, 0 impls, 261825 clqs
56.79/57.07 c (round 20, exhaustive) 7294 del vars, 116583 del conss, 32723 add conss, 1 chg bounds, 870 chg sides, 1873 chg coeffs, 100772 upgd conss, 0 impls, 293629 clqs
56.79/57.08 c (round 21, fast) 7309 del vars, 116600 del conss, 32723 add conss, 1 chg bounds, 870 chg sides, 1888 chg coeffs, 100787 upgd conss, 0 impls, 293563 clqs
57.28/57.58 c (round 22, exhaustive) 7337 del vars, 116612 del conss, 32735 add conss, 1 chg bounds, 870 chg sides, 1888 chg coeffs, 100787 upgd conss, 0 impls, 293435 clqs
57.28/57.59 c (round 23, fast) 7364 del vars, 116640 del conss, 32735 add conss, 1 chg bounds, 870 chg sides, 1915 chg coeffs, 100799 upgd conss, 0 impls, 293407 clqs
60.67/61.00 c (round 24, exhaustive) 7405 del vars, 116640 del conss, 32735 add conss, 1 chg bounds, 870 chg sides, 1915 chg coeffs, 100799 upgd conss, 0 impls, 293510 clqs
60.78/61.02 c (round 25, fast) 7432 del vars, 116688 del conss, 32735 add conss, 1 chg bounds, 870 chg sides, 1942 chg coeffs, 100812 upgd conss, 0 impls, 293413 clqs
60.88/61.10 c (round 26, exhaustive) 7432 del vars, 116702 del conss, 32749 add conss, 1 chg bounds, 870 chg sides, 1942 chg coeffs, 100812 upgd conss, 0 impls, 293426 clqs
73.63/73.91 c (73.9s) probing: 1000/33731 (3.0%) - 299 fixings, 52 aggregations, 2487349 implications, 0 bound changes
74.53/74.88 c (74.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
74.73/75.05 c (75.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
74.73/75.05 c dynamic symmetry handling statistics:
74.73/75.05 c orbitopal reduction: no components
74.73/75.05 c orbital reduction: no components
74.73/75.05 c lexicographic reduction: 1 permutations with support sizes 754
74.73/75.05 c handled 1 out of 1 symmetry components
75.03/75.36 c presolving (27 rounds: 27 fast, 16 medium, 15 exhaustive):
75.03/75.36 c 7457 deleted vars, 116704 deleted constraints, 32749 added constraints, 1 tightened bounds, 0 added holes, 870 changed sides, 1942 changed coefficients
75.03/75.36 c 0 implications, 293631 cliques
75.03/75.36 c presolved problem has 33159 variables (33159 bin, 0 int, 0 impl, 0 cont) and 34766 constraints
75.03/75.36 c 1740 constraints of type <knapsack>
75.03/75.36 c 1078 constraints of type <setppc>
75.03/75.36 c 31931 constraints of type <and>
75.03/75.36 c 17 constraints of type <logicor>
75.03/75.36 c transformed objective value is always integral (scale: 1)
75.03/75.36 c Presolving Time: 74.87
75.03/75.36 c - non default parameters ----------------------------------------------------------------------
75.03/75.36 c # SCIP version 10.0.0
75.03/75.36 c
75.03/75.36 c # maximal time in seconds to run
75.03/75.36 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
75.03/75.36 c limits/time = 3596.998121
75.03/75.36 c
75.03/75.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
75.03/75.36 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
75.03/75.36 c limits/memory = 27900
75.03/75.36 c
75.03/75.36 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
75.03/75.36 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
75.03/75.36 c limits/solutions = 1
75.03/75.36 c
75.03/75.36 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.
75.03/75.36 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
75.03/75.36 c misc/usesymmetry = 3
75.03/75.36 c
75.03/75.36 c # belongs reading time to solving time?
75.03/75.36 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
75.03/75.36 c timing/reading = TRUE
75.03/75.36 c
75.03/75.36 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
75.03/75.36 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
75.03/75.36 c propagating/symmetry/detectdoublelex = FALSE
75.03/75.36 c
75.03/75.36 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
75.03/75.36 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
75.03/75.36 c propagating/symmetry/detectsubgroups = FALSE
75.03/75.36 c
75.03/75.36 c # Type of symmetries that shall be computed?
75.03/75.36 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
75.03/75.36 c propagating/symmetry/symtype = 1
75.03/75.36 c
75.03/75.36 c # Should components consisting of a single full reflection be handled?
75.03/75.36 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
75.03/75.36 c propagating/symmetry/usesimplesgncomp = FALSE
75.03/75.36 c
75.03/75.36 c -----------------------------------------------------------------------------------------------
75.03/75.36 c start solving
75.03/75.36 c
78.01/78.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
78.01/78.39 c 78.4s| 1 | 0 | 8037 | - | 510M | 0 | 33k| 34k| 66k| 0 | 0 | 65 | 0 | 0.000000e+00 | -- | Inf | unknown
103.65/104.02 c 104s| 1 | 0 | 31294 | - | 543M | 0 | 33k| 34k| 68k|1716 | 1 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
126.49/127.00 c 127s| 1 | 0 | 42678 | - | 584M | 0 | 33k| 34k| 70k|3635 | 2 | 67 | 0 | 0.000000e+00 | -- | Inf | unknown
155.31/155.89 c 156s| 1 | 0 | 55412 | - | 593M | 0 | 33k| 34k| 72k|5385 | 3 | 69 | 0 | 0.000000e+00 | -- | Inf | unknown
201.08/201.77 c 202s| 1 | 0 | 71277 | - | 601M | 0 | 33k| 34k| 73k|7118 | 4 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
249.74/250.57 c 251s| 1 | 0 | 86293 | - | 609M | 0 | 33k| 34k| 75k|8680 | 5 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
305.39/306.32 c 306s| 1 | 0 |103715 | - | 611M | 0 | 33k| 34k| 76k| 10k| 6 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
367.22/368.30 c 368s| 1 | 0 |121529 | - | 615M | 0 | 33k| 34k| 78k| 11k| 7 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
466.23/467.66 c 468s| 1 | 0 |142099 | - | 651M | 0 | 33k| 34k| 79k| 12k| 8 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
552.78/554.41 c 554s| 1 | 0 |162733 | - | 658M | 0 | 33k| 34k| 80k| 14k| 9 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
637.05/638.97 c 639s| 1 | 0 |182405 | - | 660M | 0 | 33k| 34k| 81k| 15k| 10 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
714.62/716.72 c 717s| 1 | 0 |201947 | - | 660M | 0 | 33k| 34k| 82k| 16k| 11 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
758.80/761.05 c 761s| 1 | 0 |212626 | - | 660M | 0 | 33k| 34k| 81k| 16k| 12 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
946.76/949.51 c 949s| 1 | 2 |249138 | - | 663M | 0 | 33k| 34k| 81k| 16k| 12 | 119 | 19 | 0.000000e+00 | -- | Inf | unknown
1652.42/1657.41 c 1657s| 100 | 50 |693579 |4858.1 | 1013M | 29 | 33k| 35k| 85k| 27k| 0 | 406 | 19 | 0.000000e+00 | -- | Inf | unknown
2143.65/2150.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2143.65/2150.24 c 2150s| 200 | 60 | 1018k|4048.3 | 1025M | 29 | 33k| 35k| 84k| 42k| 2 | 631 | 19 | 0.000000e+00 | -- | Inf | 0.79%
2228.96/2235.82 c 2236s| 300 | 34 | 1196k|3290.6 | 1035M | 29 | 33k| 35k| 83k| 56k| 2 | 898 | 19 | 0.000000e+00 | -- | Inf | 1.06%
2406.56/2414.09 c 2414s| 400 | 57 | 1487k|3194.2 | 1042M | 29 | 33k| 35k| 0 | 71k| 0 |1155 | 19 | 0.000000e+00 | -- | Inf | 1.23%
2524.85/2532.75 c 2533s| 500 | 54 | 1713k|3008.6 | 1047M | 29 | 33k| 36k| 82k| 83k| 2 |1374 | 19 | 0.000000e+00 | -- | Inf | 1.49%
2679.73/2688.18 c 2688s| 600 | 62 | 1976k|2944.4 | 1073M | 29 | 33k| 36k| 0 | 97k| 0 |1615 | 19 | 0.000000e+00 | -- | Inf | 1.66%
2829.72/2838.65 c 2839s| 700 | 54 | 2256k|2924.4 | 1082M | 29 | 33k| 36k| 83k| 111k| 2 |1827 | 19 | 0.000000e+00 | -- | Inf | 2.36%
3128.35/3138.22 c 3138s| 800 | 37 | 2594k|2981.4 | 1135M | 29 | 33k| 36k| 0 | 124k| 0 |2098 | 19 | 0.000000e+00 | -- | Inf | 4.14%
3322.50/3333.07 c 3333s| 900 | 38 | 2851k|2935.8 | 1146M | 29 | 33k| 36k| 0 | 136k| 0 |2328 | 19 | 0.000000e+00 | -- | Inf | 5.21%
3420.86/3431.73 c 3432s| 1000 | 36 | 3038k|2828.6 | 1157M | 29 | 33k| 36k| 0 | 146k| 0 |2426 | 19 | 0.000000e+00 | -- | Inf | 6.82%
3585.59/3597.03 c
3585.59/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3585.59/3597.03 c Solving Time (sec) : 3597.00
3585.59/3597.03 c Solving Nodes : 1070
3585.59/3597.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.59/3597.03 c Dual Bound : +0.00000000000000e+00
3585.59/3597.03 c Gap : infinite
3585.59/3597.03 s UNKNOWN
3585.59/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3585.59/3597.03 c Total Time : 3597.00
3585.59/3597.03 c solving : 3597.00
3585.59/3597.03 c presolving : 74.87 (included in solving)
3585.59/3597.03 c reading : 0.25 (included in solving)
3585.59/3597.03 c copying : 0.45 (5 #copies) (minimal 0.08, maximal 0.09, average 0.09)
3585.59/3597.03 c Original Problem :
3585.59/3597.03 c Problem name : HOME/instance-4491726-1751144686.opb
3585.59/3597.03 c Variables : 40605 (40605 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.59/3597.03 c Constraints : 118930 initial, 118930 maximal
3585.59/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.59/3597.03 c Presolved Problem :
3585.59/3597.03 c Problem name : t_HOME/instance-4491726-1751144686.opb
3585.59/3597.03 c Variables : 33159 (33159 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.59/3597.03 c Constraints : 34766 initial, 36674 maximal
3585.59/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.59/3597.03 c Nonzeros : 119360 constraint, 587328 clique table
3585.59/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.59/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c domcol : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c gateextraction : 0.33 0.00 14 0 0 0 0 0 97923 32628 0 0
3585.59/3597.03 c implics : 0.01 0.00 16 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c milp : 50.12 0.00 1 3889 2835 0 0 0 0 0 0 0
3585.59/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c trivial : 0.03 0.00 27 11 0 0 0 0 0 0 0 0
3585.59/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c dualfix : 0.03 0.00 27 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c probing : 21.76 0.00 8 299 54 0 0 0 0 0 0 0
3585.59/3597.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c symmetry : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c vbounds : 0.31 0.00 5 0 1 0 0 0 0 0 0 0
3585.59/3597.03 c knapsack : 0.05 0.00 50 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c setppc : 0.20 0.00 50 0 1 0 0 0 218 0 0 0
3585.59/3597.03 c and : 0.92 0.00 34 0 300 0 0 0 355 121 0 200
3585.59/3597.03 c linear : 0.45 0.04 6 1 55 0 1 0 18208 0 870 1740
3585.59/3597.03 c logicor : 0.08 0.00 45 0 0 0 0 0 0 0 0 2
3585.59/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c root node : - - - 0 - - 0 - - - - -
3585.59/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.59/3597.03 c benderslp : 0 0 0 0 722 0 0 57 0 0 0 0 0 0 0
3585.59/3597.03 c integral : 0 0 0 0 722 0 0 57 0 0 0 0 0 0 1444
3585.59/3597.03 c knapsack : 1740+ 1744 3 68892 0 0 0 53 527 37 311 603 45 0 0
3585.59/3597.03 c setppc : 1078+ 1139 3 68775 0 0 0 0 11152 30 1907 0 0 0 0
3585.59/3597.03 c and : 31931 31931 1403 68828 0 0 0 0 319303 354 514158 2029399 145458 0 0
3585.59/3597.03 c linear : 0+ 9 0 31318 0 0 0 3 11 2 16 0 0 0 0
3585.59/3597.03 c logicor : 17+ 1856 2 10425 0 0 0 0 5775 176 2575 10 3 0 0
3585.59/3597.03 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.59/3597.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c integral : 77.83 0.00 0.00 0.00 77.83 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c knapsack : 0.68 0.00 0.01 0.67 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c setppc : 0.38 0.00 0.00 0.37 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c and : 26.08 0.00 5.58 20.07 0.00 0.00 0.00 0.00 0.16 0.27
3585.59/3597.03 c linear : 0.04 0.04 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c logicor : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.01 0.00
3585.59/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.59/3597.03 c dualfix : 1 0 0 0
3585.59/3597.03 c genvbounds : 0 0 0 0
3585.59/3597.03 c nlobbt : 0 0 0 0
3585.59/3597.03 c obbt : 0 0 0 0
3585.59/3597.03 c probing : 0 0 0 0
3585.59/3597.03 c pseudoobj : 0 0 0 0
3585.59/3597.03 c redcost : 0 0 0 0
3585.59/3597.03 c rootredcost : 0 0 0 0
3585.59/3597.03 c symmetry : 27711 0 90 2
3585.59/3597.03 c vbounds : 45693 0 0 0
3585.59/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.59/3597.03 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3585.59/3597.03 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3585.59/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c probing : 21.76 0.00 21.76 0.00 0.00 0.00
3585.59/3597.03 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3585.59/3597.03 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.59/3597.03 c symmetry : 0.34 0.00 0.17 0.18 0.00 0.00
3585.59/3597.03 c vbounds : 9.83 0.00 0.31 9.51 0.00 0.00
3585.59/3597.03 c Symmetry :
3585.59/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.59/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.59/3597.03 c lexicographic red: 2 reductions applied, 90 cutoffs
3585.59/3597.03 c shadow tree time : 0.01 s
3585.59/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.59/3597.03 c propagation : 0.26 593 535 - 4561 61.8 68 38.6 - - -
3585.59/3597.03 c infeasible LP : 0.40 62 62 - 349 43.6 8 21.2 62 3.0 0
3585.59/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.59/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.59/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.59/3597.03 c applied globally : 0.56 - - 0 2527 40.4 - - 62 - -
3585.59/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.59/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.59/3597.03 c cut pool : 0.20 - 140 13 - - 12467 48409 - - - - - (maximal pool size: 12467)
3585.59/3597.03 c aggregation : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.59/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.59/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.59/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c clique : 22.00 0.00 2 2 0 0 14 18 0 3 3 0 0
3585.59/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c gomory : 1.61 0.00 2 2 0 0 400 738 0 135 135 0 0
3585.59/3597.03 c > gomorymi : - - - - - - - 229 0 16 16 0 -
3585.59/3597.03 c > strongcg : - - - - - - - 509 0 119 119 0 -
3585.59/3597.03 c impliedbounds : 0.07 0.00 2 2 0 0 10756 45308 0 6233 6233 0 0
3585.59/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c mcf : 0.05 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c multilinear : 0.01 0.00 124 11 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.59/3597.03 c rlt : 144.65 0.00 56 10 0 0 4641 1165 3508 3254 654 2600 0
3585.59/3597.03 c zerohalf : 0.57 0.00 2 2 0 0 164 1180 0 83 83 0 0
3585.59/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.59/3597.03 c hybrid : 6.25 0.00 1421 12 155214 0 1926715 16410 0 47327
3585.59/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3585.59/3597.03 c problem variables: 0.00 - 0 0
3585.59/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.59/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c relpscost : 77.83 0.00 722 0 0 0 0 0 0 1444
3585.59/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.59/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.59/3597.03 c LP solutions : 0.00 - - 0 0
3585.59/3597.03 c relax solutions : 0.00 - - 0 0
3585.59/3597.03 c pseudo solutions : 0.00 - - 0 0
3585.59/3597.03 c strong branching : 0.00 - - 0 0
3585.59/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3585.59/3597.03 c adaptivediving : 119.35 0.00 6 0 0
3585.59/3597.03 c alns : 1.51 0.00 4 0 0
3585.59/3597.03 c bound : 0.00 0.00 0 0 0
3585.59/3597.03 c clique : 0.44 0.00 1 0 0
3585.59/3597.03 c coefdiving : 0.00 0.00 0 0 0
3585.59/3597.03 c completesol : 0.00 0.00 0 0 0
3585.59/3597.03 c conflictdiving : 246.78 0.00 15 0 0
3585.59/3597.03 c crossover : 0.00 0.00 0 0 0
3585.59/3597.03 c dins : 0.00 0.00 0 0 0
3585.59/3597.03 c distributiondivin: 159.10 0.00 14 0 0
3585.59/3597.03 c dps : 0.00 0.00 0 0 0
3585.59/3597.03 c dualval : 0.00 0.00 0 0 0
3585.59/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3585.59/3597.03 c feasjump : 0.08 0.00 1 0 0
3585.59/3597.03 c feaspump : 44.76 0.00 6 0 0
3585.59/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3585.59/3597.03 c fracdiving : 191.83 0.00 15 0 0
3585.59/3597.03 c gins : 0.00 0.00 0 0 0
3585.59/3597.03 c guideddiving : 0.00 0.00 0 0 0
3585.59/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3585.59/3597.03 c indicator : 0.00 0.00 0 0 0
3585.59/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3585.59/3597.03 c indoneopt : 0.00 0.00 0 0 0
3585.59/3597.03 c indrounding : 0.00 0.00 0 0 0
3585.59/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3585.59/3597.03 c intdiving : 0.00 0.00 0 0 0
3585.59/3597.03 c intshifting : 0.00 0.00 0 0 0
3585.59/3597.03 c linesearchdiving : 89.34 0.00 15 0 0
3585.59/3597.03 c localbranching : 0.00 0.00 0 0 0
3585.59/3597.03 c locks : 0.07 0.00 1 0 0
3585.59/3597.03 c lpface : 0.15 0.00 0 0 0
3585.59/3597.03 c mpec : 0.00 0.00 0 0 0
3585.59/3597.03 c multistart : 0.00 0.00 0 0 0
3585.59/3597.03 c mutation : 0.00 0.00 0 0 0
3585.59/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3585.59/3597.03 c objpscostdiving : 206.49 0.00 3 0 0
3585.59/3597.03 c octane : 0.00 0.00 0 0 0
3585.59/3597.03 c ofins : 0.00 0.00 0 0 0
3585.59/3597.03 c oneopt : 0.00 0.00 0 0 0
3585.59/3597.03 c padm : 0.00 0.00 0 0 0
3585.59/3597.03 c proximity : 0.00 0.00 0 0 0
3585.59/3597.03 c pscostdiving : 122.65 0.00 16 0 0
3585.59/3597.03 c randrounding : 0.61 0.00 63 0 0
3585.59/3597.03 c rens : 0.41 0.00 1 0 0
3585.59/3597.03 c reoptsols : 0.00 0.00 0 0 0
3585.59/3597.03 c repair : 0.00 0.00 0 0 0
3585.59/3597.03 c rins : 0.00 0.00 0 0 0
3585.59/3597.03 c rootsoldiving : 95.22 0.00 4 0 0
3585.59/3597.03 c rounding : 2.27 0.00 592 0 0
3585.59/3597.03 c scheduler : 0.00 0.00 0 0 0
3585.59/3597.03 c shiftandpropagate: 0.24 0.00 1 0 0
3585.59/3597.03 c shifting : 13.35 0.00 144 0 0
3585.59/3597.03 c simplerounding : 0.00 0.00 0 0 0
3585.59/3597.03 c smallcard : 0.00 0.00 0 0 0
3585.59/3597.03 c subnlp : 0.00 0.00 0 0 0
3585.59/3597.03 c trivial : 0.02 0.00 2 0 0
3585.59/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3585.59/3597.03 c trustregion : 0.00 0.00 0 0 0
3585.59/3597.03 c trysol : 0.00 0.00 0 0 0
3585.59/3597.03 c twoopt : 0.00 0.00 0 0 0
3585.59/3597.03 c undercover : 0.58 0.00 1 0 0
3585.59/3597.03 c vbounds : 0.68 0.00 1 0 0
3585.59/3597.03 c veclendiving : 40.32 0.00 15 0 0
3585.59/3597.03 c zeroobj : 0.00 0.00 0 0 0
3585.59/3597.03 c zirounding : 1.61 0.00 722 0 0
3585.59/3597.03 c other solutions : - - - 0 -
3585.59/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 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
3585.59/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.59/3597.03 c primal LP : 8.69 59 0 0.00 0.00 8.69 59
3585.59/3597.03 c dual LP : 1864.54 2172 2572765 1184.51 1379.84 0.00 0
3585.59/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3585.59/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.59/3597.03 c resolve instable : 0.00 0 0 0.00 -
3585.59/3597.03 c diving/probing LP: 1317.98 493 639791 1297.75 485.43
3585.59/3597.03 c strong branching : 50.53 19 19000 1000.00 376.04 - - 38
3585.59/3597.03 c (at root node) : - 19 19000 1000.00 -
3585.59/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3585.59/3597.03 c B&B Tree :
3585.59/3597.03 c number of runs : 1
3585.59/3597.03 c nodes : 1070 (722 internal, 348 leaves)
3585.59/3597.03 c feasible leaves : 0
3585.59/3597.03 c infeas. leaves : 347
3585.59/3597.03 c objective leaves : 0
3585.59/3597.03 c nodes (total) : 1070 (722 internal, 348 leaves)
3585.59/3597.03 c nodes left : 42
3585.59/3597.03 c max depth : 29
3585.59/3597.03 c max depth (total): 29
3585.59/3597.03 c backtracks : 372 (34.8%)
3585.59/3597.03 c early backtracks : 0 (0.0%)
3585.59/3597.03 c nodes exc. ref. : 0 (0.0%)
3585.59/3597.03 c delayed cutoffs : 334
3585.59/3597.03 c repropagations : 753 (89409 domain reductions, 162 cutoffs)
3585.59/3597.03 c avg switch length: 3.98
3585.59/3597.03 c switching time : 4.07
3585.59/3597.03 c Root Node :
3585.59/3597.03 c First LP value : +0.00000000000000e+00
3585.59/3597.03 c First LP Iters : 8037 (5390.46 Iter/sec)
3585.59/3597.03 c First LP Time : 1.49
3585.59/3597.03 c Final Dual Bound : +0.00000000000000e+00
3585.59/3597.03 c Final Root Iters : 212626
3585.59/3597.03 c Root LP Estimate : +7.34081310486269e-03
3585.59/3597.03 c Solution :
3585.59/3597.03 c Solutions found : 0 (0 improvements)
3585.59/3597.03 c Primal Bound : -
3585.59/3597.03 c Dual Bound : +0.00000000000000e+00
3585.59/3597.03 c Gap : infinite
3585.59/3597.03 c Integrals : Total Avg%
3585.59/3597.03 c primal-dual : 359700.01 100.00
3585.59/3597.03 c primal-ref : - - (not evaluated)
3585.59/3597.03 c dual-ref : - - (not evaluated)
3585.89/3597.39 c Time complete: 3585.99.
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 (63179 MiB free)
memory of node 1: 64507 MiB (63929 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491726-1751144686/watcher-4491726-1751144686 -o /tmp/evaluation-result-4491726-1751144686/solver-4491726-1751144686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14925 --watchdog 3760 pbscip -f HOME/instance-4491726-1751144686.opb -t 3600 -j 2 -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
Current StackSize limit: 8192 KiB
solver pid=14980, runsolver pid=14969
[startup+0.100064 s]*
/proc/loadavg: 1.41 3.04 3.69 3/263 14986
/proc/meminfo: memFree=130048420/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=77944 memory=49920 CPUtime=0.07 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 9571 0 10 0 6 1 0 0 20 0 1 0 30146538 79814656 12480 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 19486 12480 3232 3530 0 10937 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77944 KiB
Current children cumulated memory: 49920 KiB
[startup+0.205485 s]*
/proc/loadavg: 1.41 3.04 3.69 3/259 15002
/proc/meminfo: memFree=129935536/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=118340 memory=89856 CPUtime=0.17 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 19550 0 10 0 14 3 0 0 20 0 1 0 30146538 121180160 22464 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 29585 22464 3232 3530 0 21036 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 118340 KiB
Current children cumulated memory: 89856 KiB
[startup+0.305517 s]*
/proc/loadavg: 1.41 3.04 3.69 4/259 15002
/proc/meminfo: memFree=129840448/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=172524 memory=146108 CPUtime=0.27 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 33956 0 10 0 22 5 0 0 20 0 1 0 30146538 176664576 36527 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 43131 36527 3488 3530 0 34582 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 172524 KiB
Current children cumulated memory: 146108 KiB
[startup+0.700181 s]
/proc/loadavg: 1.41 3.04 3.69 3/259 15002
/proc/meminfo: memFree=129690260/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=295420 memory=263996 CPUtime=0.66 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 63364 0 10 0 55 11 0 0 20 0 1 0 30146538 302510080 65999 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 73855 65999 3552 3530 0 65306 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 295420 KiB
Current children cumulated memory: 263996 KiB
[startup+1.50019 s]
/proc/loadavg: 1.41 3.04 3.69 3/263 15010
/proc/meminfo: memFree=129590556/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=370544 memory=338992 CPUtime=1.45 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 77852 0 10 0 130 15 0 0 20 0 1 0 30146538 379437056 84748 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 92636 84748 3712 3530 0 84087 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 370544 KiB
Current children cumulated memory: 338992 KiB
[startup+3.10543 s]
/proc/loadavg: 1.41 3.04 3.69 5/268 15077
/proc/meminfo: memFree=129368744/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=370544 memory=338992 CPUtime=3.05 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 77878 0 10 0 290 15 0 0 20 0 1 0 30146538 379437056 84748 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 92636 84748 3712 3530 0 84087 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 370544 KiB
Current children cumulated memory: 338992 KiB
[startup+6.30017 s]
/proc/loadavg: 1.69 3.07 3.70 5/267 15078
/proc/meminfo: memFree=129361368/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=370544 memory=338992 CPUtime=6.23 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 77891 0 10 0 608 15 0 0 20 0 1 0 30146538 379437056 84748 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 92636 84748 3712 3530 0 84087 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 370544 KiB
Current children cumulated memory: 338992 KiB
[startup+12.7002 s]
/proc/loadavg: 1.96 3.10 3.70 5/267 15078
/proc/meminfo: memFree=129361148/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=370544 memory=338992 CPUtime=12.61 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 77891 0 10 0 1246 15 0 0 20 0 1 0 30146538 379437056 84748 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 92636 84748 3712 3530 0 84087 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 370544 KiB
Current children cumulated memory: 338992 KiB
[startup+25.5002 s]
/proc/loadavg: 2.41 3.14 3.71 5/267 15078
/proc/meminfo: memFree=129353696/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=370544 memory=338992 CPUtime=25.37 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 77891 0 10 0 2522 15 0 0 20 0 1 0 30146538 379437056 84748 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 92636 84748 3712 3530 0 84087 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 370544 KiB
Current children cumulated memory: 338992 KiB
[startup+51.1055 s]
/proc/loadavg: 2.95 3.22 3.72 5/268 15080
/proc/meminfo: memFree=129347560/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=357432 memory=326036 CPUtime=50.9 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 84916 0 10 0 5074 16 0 0 20 0 1 0 30146538 366010368 81509 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 89358 81509 3712 3530 0 80809 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 357432 KiB
Current children cumulated memory: 326036 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.40 3.76 5/268 15081
/proc/meminfo: memFree=128900788/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721112 CPUtime=101.95 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183334 0 10 0 10165 30 0 0 20 0 1 0 30146538 816472064 180278 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180278 3968 3530 0 190785 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 797336 KiB
Current children cumulated memory: 721112 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.56 3.79 5/268 15083
/proc/meminfo: memFree=128633596/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721752 CPUtime=161.8 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183514 0 10 0 16150 30 0 0 20 0 1 0 30146538 816472064 180438 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180438 3968 3530 0 190785 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 797336 KiB
Current children cumulated memory: 721752 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 3.74 3.84 5/268 15085
/proc/meminfo: memFree=128438500/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721880 CPUtime=221.62 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183525 0 10 0 22132 30 0 0 20 0 1 0 30146538 816472064 180470 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180470 3968 3530 0 190785 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 797336 KiB
Current children cumulated memory: 721880 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 3.82 3.86 5/267 15087
/proc/meminfo: memFree=128412324/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721880 CPUtime=281.46 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183544 0 10 0 28116 30 0 0 20 0 1 0 30146538 816472064 180470 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180470 3968 3530 0 190785 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 797336 KiB
Current children cumulated memory: 721880 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.87 3.88 5/265 15090
/proc/meminfo: memFree=128304572/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721880 CPUtime=341.29 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183551 0 10 0 34099 30 0 0 20 0 1 0 30146538 816472064 180470 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180470 3968 3530 0 190785 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 797336 KiB
Current children cumulated memory: 721880 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.91 3.90 5/265 15092
/proc/meminfo: memFree=128210700/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721880 CPUtime=401.13 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183570 0 10 0 40083 30 0 0 20 0 1 0 30146538 816472064 180470 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180470 3968 3530 0 190785 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 797336 KiB
Current children cumulated memory: 721880 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.95 3.91 5/266 15100
/proc/meminfo: memFree=128135172/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=797336 memory=721880 CPUtime=460.95 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 183573 0 10 0 46065 30 0 0 20 0 1 0 30146538 816472064 180470 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 199334 180470 3968 3530 0 190785 0
################
# More data... #
################
/proc/loadavg: 4.38 4.17 4.09 5/264 15247
/proc/meminfo: memFree=126537540/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3212.16 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 260798 0 10 0 321168 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3212.16 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.52 4.27 4.13 5/263 15249
/proc/meminfo: memFree=126537232/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3271.97 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 260886 0 10 0 327149 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3271.97 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.23 4.12 5/267 15278
/proc/meminfo: memFree=126535316/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3331.77 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 260888 0 10 0 333129 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.20 4.11 5/267 15295
/proc/meminfo: memFree=126531680/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3391.56 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 260890 0 10 0 339108 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.11 5/268 15302
/proc/meminfo: memFree=126530544/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3451.35 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261116 0 10 0 345087 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3451.35 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.10 5/268 15304
/proc/meminfo: memFree=126522596/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3511.14 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261208 0 10 0 351066 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3511.14 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/268 15308
/proc/meminfo: memFree=126475048/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3570.94 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261233 0 10 0 357046 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3570.94 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3597.4 s]
# the end of solver process 14980 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.5 s, system=0.493988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.14 4.10 5/268 15308
/proc/meminfo: memFree=126475324/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3572.64 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261233 0 10 0 357216 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.16 4.10 5/268 15308
/proc/meminfo: memFree=126475576/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3579.01 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261234 0 10 0 357853 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3579.01 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.15 4.10 5/268 15308
/proc/meminfo: memFree=126475592/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3582.2 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261234 0 10 0 358172 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3582.2 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.10 5/268 15308
/proc/meminfo: memFree=126475844/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3583.79 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261234 0 10 0 358331 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.15 4.10 5/268 15308
/proc/meminfo: memFree=126475844/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3584.6 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261235 0 10 0 358412 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.10 5/268 15308
/proc/meminfo: memFree=126475844/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3585.39 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261235 0 10 0 358491 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.15 4.10 5/268 15308
/proc/meminfo: memFree=126475884/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1434832 memory=1356308 CPUtime=3585.79 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261238 0 10 0 358531 48 0 0 20 0 1 0 30146538 1469267968 339077 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358708 339077 3968 3530 0 350159 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 1434832 KiB
Current children cumulated memory: 1356308 KiB
[startup+3597.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/268 15308
/proc/meminfo: memFree=126475884/131249996 swapFree=33010684/33010684
[pid=14980] ppid=14969 vsize=1433776 memory=1355288 CPUtime=3585.89 cores=0,2
/proc/14980/stat : 14980 (pbscip) R 14969 14980 14915 0 -1 4194304 261240 0 10 0 358541 48 0 0 20 0 1 0 30146538 1468186624 338822 18446744073709551615 4235264 18693293 140722804097392 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 39948288 140722804103561 140722804103660 140722804103660 140722804109262 0
/proc/14980/statm: 358444 338822 3968 3530 0 349895 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 1433776 KiB
Current children cumulated memory: 1355288 KiB
Child status: 0
Real time (s): 3597.4
CPU time (s): 3586
CPU user time (s): 3585.5
CPU system time (s): 0.493988
CPU usage (%): 99.683
Max. virtual memory (cumulated for all children) (KiB): 1434832
Max. memory (cumulated for all children) (KiB): 1356308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.5
system time used= 0.493988
maximum resident set size= 1356308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261263
page faults= 10
swaps= 0
block input operations= 840
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 8080
# summary of solver processes directly reported to runsolver:
# pid: 14980
# total CPU time (s): 3586
# total CPU user time (s): 3585.5
# total CPU system time (s): 0.493988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7866 second user time and 15.8308 second system time
The end
Begin job on nodeC024 at 2025-06-28 23:04:46 IDJOB=4491726 IDBENCH=147734 IDSOLVER=3365 FILE ID=nodeC024/4491726-1751144686 RUNJOBID= nodeC024-1751144686-14925 SLURM_JOB_ID= 9587443 Free space on /tmp= 433052 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491726-1751144686/watcher-4491726-1751144686 -o /tmp/evaluation-result-4491726-1751144686/solver-4491726-1751144686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14925 --watchdog 3760 pbscip -f HOME/instance-4491726-1751144686.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c8aab35d42bad0d90391f6d533654bf0 RANDOM SEED=2043555698 nodeC024 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.707 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.36 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 : 2143.619 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.752 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.36 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 : 1191.606 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.36 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.794 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.36 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 : 1841.567 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.36 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 : 3599.876 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.36 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 : 2144.022 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 130160028 kB MemAvailable: 129791124 kB Buffers: 3280 kB Cached: 427660 kB SwapCached: 0 kB Active: 272676 kB Inactive: 221148 kB Active(anon): 80948 kB Inactive(anon): 0 kB Active(file): 191728 kB Inactive(file): 221148 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 79704 kB Writeback: 0 kB AnonPages: 65904 kB Mapped: 102508 kB Shmem: 18064 kB KReclaimable: 84268 kB Slab: 166236 kB SReclaimable: 84268 kB SUnreclaim: 81968 kB KernelStack: 4124 kB PageTables: 2348 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330188 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432980 MiB End job on nodeC024 at 2025-06-29 00:04:44