0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4451795-1721434845.opb>
0.00/0.01 c original problem has 600 variables (600 bin, 0 int, 0 impl, 0 cont) and 2789 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 4 del vars, 4 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1034 clqs
0.00/0.02 c (round 2, fast) 6 del vars, 205 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1122 clqs
0.00/0.02 c (round 3, fast) 7 del vars, 221 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1122 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.03 c (round 4, exhaustive) 7 del vars, 221 del conss, 0 add conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 2567 upgd conss, 0 impls, 1122 clqs
0.00/0.05 c (0.1s) probing: 77/594 (13.0%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.08 c (0.1s) symmetry computation finished: 12 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.00/0.08 c dynamic symmetry handling statistics:
0.00/0.08 c orbitopal reduction: no components
0.00/0.08 c orbital reduction: no components
0.00/0.08 c lexicographic reduction: 12 permutations with support sizes 46, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 24
0.00/0.08 c handled 12 out of 12 symmetry components
0.00/0.08 c presolving (5 rounds: 5 fast, 2 medium, 2 exhaustive):
0.00/0.08 c 7 deleted vars, 221 deleted constraints, 0 added constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 1130 cliques
0.00/0.08 c presolved problem has 594 variables (594 bin, 0 int, 0 impl, 0 cont) and 2568 constraints
0.00/0.08 c 1 constraints of type <knapsack>
0.00/0.08 c 1122 constraints of type <setppc>
0.00/0.08 c 1 constraints of type <linear>
0.00/0.08 c 1444 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.07
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.998036
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.08 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.08 c limits/solutions = 1
0.00/0.08 c
0.00/0.08 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.
0.00/0.08 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.08 c misc/usesymmetry = 3
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.08 c
0.00/0.08 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.08 c
0.00/0.08 c # Type of symmetries that shall be computed?
0.00/0.08 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.08 c propagating/symmetry/symtype = 1
0.00/0.08 c
0.00/0.08 c # Should components consisting of a single full reflection be handled?
0.00/0.08 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.09/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.16 c 0.2s| 1 | 0 | 937 | - | 22M | 0 | 594 |2641 |2568 | 0 | 0 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.38 c 1.4s| 1 | 0 | 11129 | - | 29M | 0 | 594 |2846 |2581 | 13 | 1 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.48 c 1.5s| 1 | 0 | 11749 | - | 34M | 0 | 594 |2846 |2589 | 21 | 2 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
1.48/1.56 c 1.6s| 1 | 0 | 12136 | - | 39M | 0 | 594 |2846 |2600 | 32 | 3 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
1.58/1.67 c 1.7s| 1 | 0 | 12787 | - | 45M | 0 | 594 |2849 |2611 | 43 | 4 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
1.68/1.75 c 1.8s| 1 | 0 | 13237 | - | 49M | 0 | 594 |2849 |2618 | 50 | 5 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
1.79/1.83 c 1.8s| 1 | 0 | 13684 | - | 53M | 0 | 594 |2853 |2624 | 56 | 6 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
1.89/1.92 c 1.9s| 1 | 0 | 14055 | - | 55M | 0 | 594 |2858 |2628 | 60 | 7 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
1.99/2.00 c 2.0s| 1 | 0 | 14377 | - | 61M | 0 | 594 |2858 |2632 | 64 | 8 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
1.99/2.08 c 2.1s| 1 | 0 | 14620 | - | 65M | 0 | 594 |2860 |2636 | 68 | 9 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
2.09/2.16 c 2.2s| 1 | 0 | 14915 | - | 67M | 0 | 594 |2864 |2639 | 71 | 10 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
2.18/2.22 c 2.2s| 1 | 0 | 15327 | - | 68M | 0 | 594 |2864 |2646 | 78 | 11 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
2.88/2.99 c 3.0s| 1 | 2 | 16423 | - | 68M | 0 | 594 |2874 |2646 | 78 | 11 | 105 | 11 | 0.000000e+00 | -- | Inf | unknown
9.85/9.99 c 10.0s| 100 | 61 | 70045 | 552.7 | 74M | 14 | 594 |3259 |2614 | 164 | 1 | 578 | 11 | 0.000000e+00 | -- | Inf | 2.89%
15.43/15.51 c 15.5s| 200 | 99 |111176 | 481.7 | 81M | 14 | 594 |3412 |2607 | 260 | 0 | 915 | 11 | 0.000000e+00 | -- | Inf | 8.28%
19.21/19.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.21/19.32 c 19.3s| 300 | 135 |146933 | 440.2 | 89M | 14 | 594 |3431 |2611 | 304 | 0 |1101 | 11 | 0.000000e+00 | -- | Inf | 16.43%
20.81/20.97 c 21.0s| 400 | 133 |163593 | 371.6 | 96M | 15 | 594 |3508 |2620 | 402 | 0 |1213 | 11 | 0.000000e+00 | -- | Inf | 17.77%
22.30/22.49 c 22.5s| 500 | 143 |178252 | 326.5 | 107M | 15 | 594 |3567 |2619 | 510 | 2 |1297 | 11 | 0.000000e+00 | -- | Inf | 18.63%
23.80/23.93 c 23.9s| 600 | 141 |192699 | 296.1 | 107M | 15 | 594 |3624 |2622 | 615 | 0 |1401 | 11 | 0.000000e+00 | -- | Inf | 21.04%
25.79/25.92 c 25.9s| 700 | 139 |213633 | 283.7 | 109M | 15 | 594 |3599 |2613 | 774 | 1 |1452 | 11 | 0.000000e+00 | -- | Inf | 26.34%
27.18/27.38 c 27.4s| 800 | 141 |228680 | 267.0 | 110M | 15 | 594 |3614 |2617 | 916 | 0 |1508 | 11 | 0.000000e+00 | -- | Inf | 27.66%
28.57/28.77 c 28.8s| 900 | 141 |243839 | 254.2 | 110M | 15 | 594 |3610 |2618 |1046 | 1 |1531 | 11 | 0.000000e+00 | -- | Inf | 29.05%
30.37/30.53 c 30.5s| 1000 | 145 |263056 | 248.0 | 111M | 15 | 594 |3632 |2621 |1231 | 2 |1617 | 11 | 0.000000e+00 | -- | Inf | 30.54%
32.16/32.35 c 32.3s| 1100 | 147 |282812 | 243.4 | 111M | 15 | 594 |3687 |2621 |1375 | 2 |1737 | 11 | 0.000000e+00 | -- | Inf | 32.59%
33.86/34.06 c 34.1s| 1200 | 147 |302402 | 239.4 | 112M | 15 | 594 |3697 |2607 |1554 | 1 |1779 | 11 | 0.000000e+00 | -- | Inf | 34.64%
35.74/35.93 c 35.9s| 1300 | 151 |324116 | 237.7 | 113M | 15 | 594 |3735 |2626 |1733 | 2 |1859 | 11 | 0.000000e+00 | -- | Inf | 36.67%
37.54/37.79 c 37.8s| 1400 | 145 |344149 | 235.0 | 115M | 15 | 594 |3783 |2621 |1915 | 1 |1939 | 11 | 0.000000e+00 | -- | Inf | 38.62%
39.83/40.09 c 40.1s| 1500 | 149 |366350 | 234.2 | 115M | 15 | 594 |3814 |2623 |2050 | 1 |2011 | 11 | 0.000000e+00 | -- | Inf | 39.87%
41.92/42.16 c 42.2s| 1600 | 151 |386826 | 232.3 | 116M | 15 | 594 |3851 |2626 |2259 | 0 |2070 | 11 | 0.000000e+00 | -- | Inf | 41.85%
44.01/44.24 c 44.2s| 1700 | 152 |409144 | 231.8 | 116M | 15 | 594 |3882 |2619 |2465 | 0 |2137 | 11 | 0.000000e+00 | -- | Inf | 43.58%
46.20/46.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.20/46.41 c 46.4s| 1800 | 148 |431747 | 231.5 | 118M | 15 | 594 |3881 |2631 |2725 | 0 |2178 | 11 | 0.000000e+00 | -- | Inf | 45.80%
47.89/48.12 c 48.1s| 1900 | 150 |451213 | 229.5 | 120M | 15 | 594 |3892 |2627 |2874 | 0 |2232 | 11 | 0.000000e+00 | -- | Inf | 47.27%
49.98/50.23 c 50.2s| 2000 | 146 |472215 | 228.6 | 120M | 15 | 594 |3877 |2623 |3048 | 2 |2263 | 11 | 0.000000e+00 | -- | Inf | 49.80%
51.18/51.47 c 51.5s| 2100 | 142 |487460 | 224.9 | 120M | 15 | 594 |3917 |2632 |3158 | 0 |2321 | 11 | 0.000000e+00 | -- | Inf | 51.10%
53.27/53.56 c 53.6s| 2200 | 144 |511186 | 225.5 | 121M | 15 | 594 |3942 |2608 |3345 | 1 |2372 | 11 | 0.000000e+00 | -- | Inf | 53.27%
56.26/56.51 c 56.5s| 2300 | 138 |538870 | 227.7 | 121M | 15 | 594 |3983 |2617 |3538 | 0 |2454 | 11 | 0.000000e+00 | -- | Inf | 56.49%
58.75/59.03 c 59.0s| 2400 | 128 |568204 | 230.5 | 122M | 15 | 594 |4047 |2623 |3766 | 0 |2591 | 11 | 0.000000e+00 | -- | Inf | 61.77%
60.94/61.25 c 61.3s| 2500 | 112 |595205 | 232.0 | 122M | 15 | 594 |4019 |2616 |3885 | 0 |2691 | 11 | 0.000000e+00 | -- | Inf | 67.77%
63.23/63.59 c 63.6s| 2600 | 98 |621904 | 233.4 | 122M | 15 | 594 |3990 |2607 |4068 | 1 |2763 | 11 | 0.000000e+00 | -- | Inf | 73.63%
65.32/65.65 c 65.7s| 2700 | 52 |645057 | 233.3 | 122M | 15 | 594 |3874 |2613 |4221 | 0 |2786 | 11 | 0.000000e+00 | -- | Inf | 82.62%
67.51/67.87 c 67.9s| 2800 | 15 |670978 | 234.2 | 122M | 15 | 594 |3784 |2615 |4361 | 1 |2841 | 11 | 0.000000e+00 | -- | Inf | 95.12%
68.21/68.51 c
68.21/68.51 c SCIP Status : problem is solved [infeasible]
68.21/68.51 c Solving Time (sec) : 68.51
68.21/68.51 c Solving Nodes : 2827
68.21/68.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
68.21/68.51 c Dual Bound : +1.00000000000000e+20
68.21/68.51 c Gap : 0.00 %
68.21/68.51 s UNSATISFIABLE
68.21/68.51 c SCIP Status : problem is solved [infeasible]
68.21/68.51 c Total Time : 68.51
68.21/68.51 c solving : 68.51
68.21/68.51 c presolving : 0.07 (included in solving)
68.21/68.51 c reading : 0.01 (included in solving)
68.21/68.51 c copying : 0.26 (33 #copies) (minimal 0.01, maximal 0.01, average 0.01)
68.21/68.51 c Original Problem :
68.21/68.51 c Problem name : HOME/instance-4451795-1721434845.opb
68.21/68.51 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
68.21/68.51 c Constraints : 2789 initial, 2789 maximal
68.21/68.51 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
68.21/68.51 c Presolved Problem :
68.21/68.51 c Problem name : t_HOME/instance-4451795-1721434845.opb
68.21/68.51 c Variables : 594 (594 binary, 0 integer, 0 implicit integer, 0 continuous)
68.21/68.51 c Constraints : 2568 initial, 4066 maximal
68.21/68.51 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
68.21/68.51 c Nonzeros : 13380 constraint, 2260 clique table
68.21/68.51 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
68.21/68.51 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
68.21/68.51 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c trivial : 0.00 0.00 5 1 0 0 0 0 0 0 0 0
68.21/68.51 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c dualfix : 0.00 0.00 5 1 0 0 0 0 0 0 0 0
68.21/68.51 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
68.21/68.51 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
68.21/68.51 c linear : 0.01 0.00 7 4 0 0 4 0 221 0 0 0
68.21/68.51 c logicor : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
68.21/68.51 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c root node : - - - 99 - - 99 - - - - -
68.21/68.51 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
68.21/68.51 c benderslp : 0 0 0 0 1414 0 0 7 0 0 0 0 0 0 0
68.21/68.51 c integral : 0 0 0 0 1414 0 0 7 0 0 0 0 0 0 2828
68.21/68.51 c knapsack : 1+ 49 11 11585 0 0 0 3 212 12 62 0 0 0 0
68.21/68.51 c setppc : 1122 1122 11 11583 0 0 0 2 102491 28 52481 0 0 0 0
68.21/68.51 c linear : 1+ 264 12 11544 0 0 0 4 1457 99 117 0 0 0 0
68.21/68.51 c logicor : 1444+ 2663 11 6892 0 0 0 0 1740 219 378 13 2 0 0
68.21/68.51 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
68.21/68.51 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c integral : 0.74 0.00 0.00 0.00 0.74 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c setppc : 0.45 0.00 0.00 0.42 0.00 0.00 0.00 0.00 0.02 0.00
68.21/68.51 c linear : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c logicor : 0.29 0.00 0.00 0.28 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c Propagators : #Propagate #ResProp Cutoffs DomReds
68.21/68.51 c dualfix : 1 0 0 0
68.21/68.51 c genvbounds : 0 0 0 0
68.21/68.51 c nlobbt : 0 0 0 0
68.21/68.51 c obbt : 0 0 0 0
68.21/68.51 c probing : 0 0 0 0
68.21/68.51 c pseudoobj : 0 0 0 0
68.21/68.51 c redcost : 0 0 0 0
68.21/68.51 c rootredcost : 0 0 0 0
68.21/68.51 c symmetry : 0 0 0 0
68.21/68.51 c vbounds : 5552 0 0 0
68.21/68.51 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
68.21/68.51 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
68.21/68.51 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
68.21/68.51 c symmetry : 0.03 0.00 0.01 0.02 0.00 0.00
68.21/68.51 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
68.21/68.51 c Symmetry :
68.21/68.51 c orbitopal red. : 0 reductions applied, 0 cutoffs
68.21/68.51 c orbital reduction: 0 reductions applied, 0 cutoffs
68.21/68.51 c lexicographic red: 0 reductions applied, 0 cutoffs
68.21/68.51 c shadow tree time : 0.01 s
68.21/68.51 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
68.21/68.51 c propagation : 0.01 301 270 - 1009 19.0 2 15.0 - - -
68.21/68.51 c infeasible LP : 0.29 1608 637 - 2218 63.2 5 15.0 472 66.9 0
68.21/68.51 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
68.21/68.51 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
68.21/68.51 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
68.21/68.51 c applied globally : 0.02 - - 0 2348 32.8 - - 409 - -
68.21/68.51 c applied locally : - - - 0 42 9.0 - - 63 - -
68.21/68.51 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
68.21/68.51 c cut pool : 1.47 - 1158 21 - - 24245 33969 - - - - - (maximal pool size: 4261)
68.21/68.51 c aggregation : 0.78 0.00 662 11 0 0 0 0 0 0 0 0 0
68.21/68.51 c > cmir : - - - - - - - 0 0 0 0 0 -
68.21/68.51 c > flowcover : - - - - - - - 0 0 0 0 0 -
68.21/68.51 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
68.21/68.51 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c clique : 0.01 0.00 11 11 0 0 31 1122 0 614 614 0 0
68.21/68.51 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c gomory : 8.98 0.00 661 10 0 0 34743 29967 10602 1428 1253 175 0
68.21/68.51 c > gomorymi : - - - - - - - 12345 5354 334 205 129 -
68.21/68.51 c > strongcg : - - - - - - - 17622 5248 1094 1048 46 -
68.21/68.51 c impliedbounds : 0.03 0.00 662 11 0 0 0 0 0 0 0 0 0
68.21/68.51 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
68.21/68.51 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c multilinear : 0.00 0.00 29 11 0 0 0 0 0 0 0 0 0
68.21/68.51 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
68.21/68.51 c rapidlearning : 4.80 0.00 32 1 0 522 0 0 0 0 0 0 490
68.21/68.51 c rlt : 0.00 0.00 353 10 0 0 0 0 0 0 0 0 0
68.21/68.51 c zerohalf : 1.78 0.00 662 11 0 0 1480 2880 1407 2355 1296 1059 0
68.21/68.51 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
68.21/68.51 c hybrid : 0.09 0.00 662 11 4399 2 41592 78 0 2110
68.21/68.51 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c Pricers : ExecTime SetupTime Calls Vars
68.21/68.51 c problem variables: 0.00 - 0 0
68.21/68.51 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
68.21/68.51 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c random : 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c relpscost : 0.74 0.00 1414 0 0 0 0 0 0 2828
68.21/68.51 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
68.21/68.51 c Primal Heuristics : ExecTime SetupTime Calls Found Best
68.21/68.51 c LP solutions : 0.00 - - 0 0
68.21/68.51 c relax solutions : 0.00 - - 0 0
68.21/68.51 c pseudo solutions : 0.00 - - 0 0
68.21/68.51 c strong branching : 0.00 - - 0 0
68.21/68.51 c actconsdiving : 0.00 0.00 0 0 0
68.21/68.51 c adaptivediving : 0.67 0.00 11 0 0
68.21/68.51 c alns : 0.01 0.00 1 0 0
68.21/68.51 c bound : 0.00 0.00 0 0 0
68.21/68.51 c clique : 0.01 0.00 1 0 0
68.21/68.51 c coefdiving : 0.00 0.00 0 0 0
68.21/68.51 c completesol : 0.00 0.00 0 0 0
68.21/68.51 c conflictdiving : 0.99 0.00 27 0 0
68.21/68.51 c crossover : 0.00 0.00 0 0 0
68.21/68.51 c dins : 0.00 0.00 0 0 0
68.21/68.51 c distributiondivin: 2.34 0.00 25 0 0
68.21/68.51 c dps : 0.00 0.00 0 0 0
68.21/68.51 c dualval : 0.00 0.00 0 0 0
68.21/68.51 c farkasdiving : 0.00 0.00 0 0 0
68.21/68.51 c feasjump : 0.03 0.00 1 0 0
68.21/68.51 c feaspump : 0.83 0.00 1 0 0
68.21/68.51 c fixandinfer : 0.00 0.00 0 0 0
68.21/68.51 c fracdiving : 1.19 0.00 26 0 0
68.21/68.51 c gins : 0.00 0.00 0 0 0
68.21/68.51 c guideddiving : 0.00 0.00 0 0 0
68.21/68.51 c indcoefdiving : 0.00 0.00 0 0 0
68.21/68.51 c indicator : 0.00 0.00 0 0 0
68.21/68.51 c indicatordiving : 0.00 0.00 0 0 0
68.21/68.51 c indoneopt : 0.00 0.00 0 0 0
68.21/68.51 c indrounding : 0.00 0.00 0 0 0
68.21/68.51 c indtwoopt : 0.00 0.00 0 0 0
68.21/68.51 c intdiving : 0.00 0.00 0 0 0
68.21/68.51 c intshifting : 0.00 0.00 0 0 0
68.21/68.51 c linesearchdiving : 1.60 0.00 25 0 0
68.21/68.51 c localbranching : 0.00 0.00 0 0 0
68.21/68.51 c locks : 0.00 0.00 1 0 0
68.21/68.51 c lpface : 0.00 0.00 0 0 0
68.21/68.51 c mpec : 0.00 0.00 0 0 0
68.21/68.51 c multistart : 0.00 0.00 0 0 0
68.21/68.51 c mutation : 0.00 0.00 0 0 0
68.21/68.51 c nlpdiving : 0.00 0.00 0 0 0
68.21/68.51 c objpscostdiving : 1.82 0.00 2 0 0
68.21/68.51 c octane : 0.00 0.00 0 0 0
68.21/68.51 c ofins : 0.00 0.00 0 0 0
68.21/68.51 c oneopt : 0.00 0.00 0 0 0
68.21/68.51 c padm : 0.00 0.00 0 0 0
68.21/68.51 c proximity : 0.00 0.00 0 0 0
68.21/68.51 c pscostdiving : 1.30 0.00 26 0 0
68.21/68.51 c randrounding : 0.02 0.00 12 0 0
68.21/68.51 c rens : 0.00 0.00 0 0 0
68.21/68.51 c reoptsols : 0.00 0.00 0 0 0
68.21/68.51 c repair : 0.00 0.00 0 0 0
68.21/68.51 c rins : 0.00 0.00 0 0 0
68.21/68.51 c rootsoldiving : 0.63 0.00 5 0 0
68.21/68.51 c rounding : 0.08 0.00 581 0 0
68.21/68.51 c scheduler : 0.00 0.00 0 0 0
68.21/68.51 c shiftandpropagate: 0.00 0.00 1 0 0
68.21/68.51 c shifting : 0.23 0.00 372 0 0
68.21/68.51 c simplerounding : 0.00 0.00 0 0 0
68.21/68.51 c smallcard : 0.00 0.00 0 0 0
68.21/68.51 c subnlp : 0.00 0.00 0 0 0
68.21/68.51 c trivial : 0.00 0.00 2 0 0
68.21/68.51 c trivialnegation : 0.00 0.00 0 0 0
68.21/68.51 c trustregion : 0.00 0.00 0 0 0
68.21/68.51 c trysol : 0.00 0.00 0 0 0
68.21/68.51 c twoopt : 0.00 0.00 0 0 0
68.21/68.51 c undercover : 0.00 0.00 0 0 0
68.21/68.51 c vbounds : 0.01 0.00 1 0 0
68.21/68.51 c veclendiving : 0.96 0.00 25 0 0
68.21/68.51 c zeroobj : 0.00 0.00 0 0 0
68.21/68.51 c zirounding : 0.08 0.00 1000 0 0
68.21/68.51 c other solutions : - - - 0 -
68.21/68.51 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 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
68.21/68.51 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
68.21/68.51 c primal LP : 0.15 385 0 0.00 0.00 0.15 385
68.21/68.51 c dual LP : 33.96 3469 579974 167.38 17080.62 0.00 4
68.21/68.51 c lex dual LP : 0.00 0 0 0.00 -
68.21/68.51 c barrier LP : 0.00 0 0 0.00 - 0.00 0
68.21/68.51 c resolve instable : 0.00 0 0 0.00 -
68.21/68.51 c diving/probing LP: 10.26 640 98452 153.83 9597.13
68.21/68.51 c strong branching : 0.59 11 7819 710.82 13258.14 - - 3
68.21/68.51 c (at root node) : - 11 7819 710.82 -
68.21/68.51 c conflict analysis: 0.00 0 0 0.00 -
68.21/68.51 c B&B Tree :
68.21/68.51 c number of runs : 1
68.21/68.51 c nodes : 2827 (1414 internal, 1413 leaves)
68.21/68.51 c feasible leaves : 0
68.21/68.51 c infeas. leaves : 1413
68.21/68.51 c objective leaves : 0
68.21/68.51 c nodes (total) : 2827 (1414 internal, 1413 leaves)
68.21/68.51 c nodes left : 0
68.21/68.51 c max depth : 15
68.21/68.51 c max depth (total): 15
68.21/68.51 c backtracks : 1196 (42.3%)
68.21/68.51 c early backtracks : 0 (0.0%)
68.21/68.51 c nodes exc. ref. : 0 (0.0%)
68.21/68.51 c delayed cutoffs : 2
68.21/68.51 c repropagations : 32 (628 domain reductions, 1 cutoffs)
68.21/68.51 c avg switch length: 4.94
68.21/68.51 c switching time : 1.06
68.21/68.51 c Root Node :
68.21/68.51 c First LP value : +0.00000000000000e+00
68.21/68.51 c First LP Iters : 937 (28286.79 Iter/sec)
68.21/68.51 c First LP Time : 0.03
68.21/68.51 c Final Dual Bound : -
68.21/68.51 c Final Root Iters : 15327
68.21/68.51 c Root LP Estimate : +2.13561262684991e-02
68.21/68.51 c Solution :
68.21/68.51 c Solutions found : 0 (0 improvements)
68.21/68.51 c Primal Bound : infeasible
68.21/68.51 c Dual Bound : -
68.21/68.51 c Gap : 0.00 %
68.21/68.51 c Integrals : Total Avg%
68.21/68.51 c primal-dual : - - (problem infeasible)
68.21/68.51 c primal-ref : - - (problem infeasible)
68.21/68.51 c dual-ref : - - (problem infeasible)
68.21/68.57 c Time complete: 68.2862.
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: 63968 MiB (62520 MiB free)
memory of node 1: 64473 MiB (61970 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451795-1721434845/watcher-4451795-1721434845 -o /tmp/evaluation-result-4451795-1721434845/solver-4451795-1721434845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036356 --watchdog 3760 pbscip -f HOME/instance-4451795-1721434845.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1036634, runsolver pid=1036631
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.07 1.24 2.22 4/257 1036650
/proc/meminfo: memFree=127392188/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=79296 memory=39720 CPUtime=0.09 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 6485 0 0 0 8 1 0 0 20 0 1 0 195649426 81199104 9930 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 19824 9930 3898 3540 0 8081 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79296 KiB
Current children cumulated memory: 39720 KiB
[startup+0.206007 s]*
/proc/loadavg: 1.07 1.24 2.22 5/253 1036650
/proc/meminfo: memFree=127343228/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=80060 memory=41132 CPUtime=0.2 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 6694 0 0 0 19 1 0 0 20 0 1 0 195649426 81981440 10283 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 20015 10283 3994 3540 0 8272 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80060 KiB
Current children cumulated memory: 41132 KiB
[startup+0.305702 s]*
/proc/loadavg: 1.07 1.24 2.22 4/256 1036664
/proc/meminfo: memFree=127319472/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=80060 memory=41132 CPUtime=0.3 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 6702 0 0 0 29 1 0 0 20 0 1 0 195649426 81981440 10283 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 20015 10283 3994 3540 0 8272 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80060 KiB
Current children cumulated memory: 41132 KiB
[startup+0.700221 s]
/proc/loadavg: 1.07 1.24 2.22 5/259 1036696
/proc/meminfo: memFree=127289888/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=80060 memory=41132 CPUtime=0.69 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 6736 0 0 0 68 1 0 0 20 0 1 0 195649426 81981440 10283 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 20015 10283 3994 3540 0 8272 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80060 KiB
Current children cumulated memory: 41132 KiB
[startup+1.50022 s]
/proc/loadavg: 1.07 1.24 2.22 5/259 1036696
/proc/meminfo: memFree=127231928/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=100040 memory=59880 CPUtime=1.48 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 11810 0 0 0 146 2 0 0 20 0 1 0 195649426 102440960 14970 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 25010 14970 4026 3540 0 13267 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100040 KiB
Current children cumulated memory: 59880 KiB
[startup+3.10536 s]
/proc/loadavg: 1.31 1.29 2.23 5/259 1036696
/proc/meminfo: memFree=127001176/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=132980 memory=89180 CPUtime=3.08 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 19185 0 0 0 305 3 0 0 20 0 1 0 195649426 136171520 22295 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 33245 22295 4026 3540 0 21502 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 132980 KiB
Current children cumulated memory: 89180 KiB
[startup+6.30021 s]
/proc/loadavg: 1.31 1.29 2.23 5/259 1036788
/proc/meminfo: memFree=126972584/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=141204 memory=98544 CPUtime=6.26 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 22018 0 0 0 623 3 0 0 20 0 1 0 195649426 144592896 24636 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 35301 24636 4026 3540 0 23558 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 141204 KiB
Current children cumulated memory: 98544 KiB
[startup+12.7002 s]
/proc/loadavg: 1.80 1.39 2.26 5/259 1036790
/proc/meminfo: memFree=126869460/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=153120 memory=111232 CPUtime=12.64 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 27013 0 0 0 1259 5 0 0 20 0 1 0 195649426 156794880 27808 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 38280 27808 4026 3540 0 26537 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 153120 KiB
Current children cumulated memory: 111232 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 1.48 2.28 5/259 1036837
/proc/meminfo: memFree=126786656/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=177992 memory=131860 CPUtime=25.39 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 33840 0 0 0 2533 6 0 0 20 0 1 0 195649426 182263808 32965 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 44498 32965 4026 3540 0 32755 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 177992 KiB
Current children cumulated memory: 131860 KiB
[startup+51.1054 s]
/proc/loadavg: 2.77 1.68 2.33 5/259 1036842
/proc/meminfo: memFree=126695148/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=187692 memory=142712 CPUtime=50.88 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 37080 0 0 0 5081 7 0 0 20 0 1 0 195649426 192196608 35678 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 46923 35678 4026 3540 0 35180 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 187692 KiB
Current children cumulated memory: 142712 KiB
[startup+68.5765 s]
# the end of solver process 1036634 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=68.2057 s, system=0.088608 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.77 1.68 2.33 5/259 1036842
/proc/meminfo: memFree=126695148/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=187692 memory=142712 CPUtime=50.98 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 37080 0 0 0 5091 7 0 0 20 0 1 0 195649426 192196608 35678 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 46923 35678 4026 3540 0 35180 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 187692 KiB
Current children cumulated memory: 142712 KiB
[startup+57.6002 s]
/proc/loadavg: 3.04 1.78 2.35 5/259 1036842
/proc/meminfo: memFree=126687136/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=57.36 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38806 0 0 0 5728 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 57.36 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.11 1.81 2.36 5/259 1036843
/proc/meminfo: memFree=126672068/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=63.73 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38808 0 0 0 6365 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 63.73 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
[startup+65.6002 s]
/proc/loadavg: 3.11 1.81 2.36 5/259 1036843
/proc/meminfo: memFree=126672004/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=65.32 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38808 0 0 0 6524 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 65.32 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
[startup+67.2002 s]
/proc/loadavg: 3.18 1.85 2.37 5/259 1036843
/proc/meminfo: memFree=126647568/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=66.92 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38808 0 0 0 6684 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 66.92 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
[startup+68.0002 s]*
/proc/loadavg: 3.18 1.85 2.37 5/259 1036843
/proc/meminfo: memFree=126646392/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=67.72 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38808 0 0 0 6764 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 67.72 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
[startup+68.4002 s]
/proc/loadavg: 3.18 1.85 2.37 5/259 1036843
/proc/meminfo: memFree=126646392/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=68.11 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38808 0 0 0 6803 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 68.11 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
[startup+68.5002 s]
/proc/loadavg: 3.18 1.85 2.37 5/259 1036843
/proc/meminfo: memFree=126646392/131524600 swapFree=131070704/131071996
[pid=1036634] ppid=1036631 vsize=195604 memory=149576 CPUtime=68.21 cores=0,2
/proc/1036634/stat : 1036634 (pbscip) R 1036631 1036634 1036346 0 -1 4194304 38808 0 0 0 6813 8 0 0 20 0 1 0 195649426 200298496 37394 134679101440 4194304 18693293 140732973599904 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53542912 140732973605890 140732973605989 140732973605989 140732973613006 0
/proc/1036634/statm: 48901 37394 4026 3540 0 37158 0
Current children cumulated CPU time: 68.21 s
Current children cumulated vsize: 195604 KiB
Current children cumulated memory: 149576 KiB
Child status: 0
Real time (s): 68.5766
CPU time (s): 68.2943
CPU user time (s): 68.2057
CPU system time (s): 0.088608
CPU usage (%): 99.5883
Max. virtual memory (cumulated for all children) (KiB): 195604
Max. memory (cumulated for all children) (KiB): 149576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.2057
system time used= 0.088608
maximum resident set size= 149576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38814
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= 7
involuntary context switches= 490
# summary of solver processes directly reported to runsolver:
# pid: 1036634
# total CPU time (s): 68.2943
# total CPU user time (s): 68.2057
# total CPU system time (s): 0.088608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.138672 second user time and 0.343693 second system time
The end