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-4432612-1721069742.opb>
0.10/0.11 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
0.10/0.11 c problem read in 0.11
0.10/0.19 c presolving:
0.30/0.35 c (0.4s) running MILP presolver
0.40/0.43 c (0.4s) MILP presolver found nothing
0.50/0.56 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
0.59/0.69 c (round 2, medium) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 43200 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
0.79/0.87 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.39/1.45 c (1.4s) probing: 51/2700 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.45 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.69/1.77 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.88/1.90 c (1.9s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.06)
1.88/1.90 c dynamic symmetry handling statistics:
1.88/1.90 c orbitopal reduction: no components
1.88/1.90 c orbital reduction: 1 components of sizes 2
1.88/1.90 c lexicographic reduction: 2 permutations with support sizes 2624, 2700
1.88/1.90 c handled 1 out of 1 symmetry components
1.88/1.94 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
1.88/1.94 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
1.88/1.94 c 0 implications, 3960 cliques
1.88/1.94 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
1.88/1.94 c 21770 constraints of type <knapsack>
1.88/1.94 c 3960 constraints of type <setppc>
1.88/1.94 c 16890 constraints of type <logicor>
1.88/1.94 c transformed objective value is always integral (scale: 1)
1.88/1.94 c Presolving Time: 1.75
1.88/1.94 c - non default parameters ----------------------------------------------------------------------
1.88/1.94 c # SCIP version 10.0.0
1.88/1.94 c
1.88/1.94 c # maximal time in seconds to run
1.88/1.94 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.88/1.94 c limits/time = 3596.997013
1.88/1.94 c
1.88/1.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.88/1.94 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.88/1.94 c limits/memory = 27900
1.88/1.94 c
1.88/1.94 c # belongs reading time to solving time?
1.88/1.94 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.88/1.94 c timing/reading = TRUE
1.88/1.94 c
1.88/1.94 c -----------------------------------------------------------------------------------------------
1.88/1.94 c start solving
1.88/1.94 c
8.67/8.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.67/8.74 c 8.7s| 1 | 0 | 8135 | - | 412M | 0 |2700 | 42k| 42k| 0 | 0 | 102 | 0 | 1.400000e+02 | -- | Inf | unknown
44.28/44.42 c 44.4s| 1 | 0 | 49451 | - | 418M | 0 |2700 | 42k| 42k| 12 | 1 | 107 | 0 | 1.400000e+02 | -- | Inf | unknown
54.56/54.70 c 54.7s| 1 | 0 | 54221 | - | 423M | 0 |2700 | 42k| 42k| 22 | 2 | 109 | 0 | 1.400000e+02 | -- | Inf | unknown
64.53/64.77 c 64.8s| 1 | 0 | 58836 | - | 427M | 0 |2700 | 42k| 42k| 34 | 3 | 113 | 0 | 1.400000e+02 | -- | Inf | unknown
76.70/76.96 c 77.0s| 1 | 0 | 65366 | - | 431M | 0 |2700 | 42k| 42k| 46 | 4 | 115 | 0 | 1.400000e+02 | -- | Inf | unknown
88.78/89.00 c 89.0s| 1 | 0 | 71340 | - | 435M | 0 |2700 | 42k| 42k| 56 | 5 | 118 | 0 | 1.400000e+02 | -- | Inf | unknown
100.44/100.70 c 101s| 1 | 0 | 77348 | - | 439M | 0 |2700 | 42k| 42k| 70 | 6 | 119 | 0 | 1.400000e+02 | -- | Inf | unknown
112.61/112.97 c 113s| 1 | 0 | 83524 | - | 443M | 0 |2700 | 42k| 42k| 84 | 7 | 129 | 0 | 1.400000e+02 | -- | Inf | unknown
125.79/126.14 c 126s| 1 | 0 | 90455 | - | 448M | 0 |2700 | 42k| 42k| 96 | 8 | 137 | 0 | 1.400000e+02 | -- | Inf | unknown
136.95/137.31 c 137s| 1 | 0 | 97639 | - | 453M | 0 |2700 | 42k| 42k| 106 | 9 | 141 | 0 | 1.400000e+02 | -- | Inf | unknown
150.63/151.10 c 151s| 1 | 0 |105047 | - | 457M | 0 |2700 | 42k| 42k| 117 | 10 | 143 | 0 | 1.400000e+02 | -- | Inf | unknown
158.71/159.17 c 159s| 1 | 0 |112222 | - | 461M | 0 |2700 | 42k| 42k| 128 | 11 | 145 | 0 | 1.400000e+02 | -- | Inf | unknown
287.90/288.62 c 289s| 1 | 2 |200022 | - | 463M | 0 |2700 | 42k| 42k| 128 | 11 | 208 | 20 | 1.400000e+02 | -- | Inf | unknown
873.30/875.47 c 875s| 100 | 99 |540415 |4325.2 | 472M | 37 |2700 | 42k| 42k| 179 | 1 | 277 | 347 | 1.400000e+02 | -- | Inf | 50.00%
1197.95/1200.86 c 1201s| 200 | 199 |850087 |3707.9 | 551M | 49 |2700 | 42k| 42k| 398 | 1 | 443 | 500 | 1.400000e+02 | -- | Inf | 50.00%
1480.61/1484.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1480.61/1484.13 c 1484s| 300 | 299 | 1119k|3370.4 | 629M | 55 |2700 | 43k| 42k| 683 | 1 | 573 | 648 | 1.400000e+02 | -- | Inf | 50.00%
1750.77/1754.99 c 1755s| 400 | 393 | 1394k|3213.0 | 685M | 60 |2700 | 43k| 42k| 990 | 1 | 663 | 799 | 1.400000e+02 | -- | Inf | 50.00%
1995.42/2000.12 c 2000s| 500 | 487 | 1639k|3060.1 | 740M | 67 |2700 | 43k| 42k|1246 | 1 | 722 | 932 | 1.400000e+02 | -- | Inf | 50.00%
2284.53/2289.97 c 2290s| 600 | 587 | 1915k|3010.5 | 777M | 71 |2700 | 43k| 42k|1506 | 1 | 760 |1094 | 1.400000e+02 | -- | Inf | 50.00%
2532.84/2538.88 c 2539s| 700 | 687 | 2181k|2960.0 | 795M | 73 |2700 | 43k| 42k|1754 | 2 | 834 |1219 | 1.400000e+02 | -- | Inf | 50.00%
2799.34/2805.98 c 2806s| 800 | 783 | 2432k|2903.6 | 807M | 73 |2700 | 43k| 42k|2027 | 1 | 972 |1367 | 1.400000e+02 | -- | Inf | 50.00%
2989.23/2996.22 c 2996s| 900 | 875 | 2633k|2805.1 | 824M | 76 |2700 | 43k| 42k|2250 | 2 |1039 |1483 | 1.400000e+02 | -- | Inf | 50.00%
3334.76/3342.51 c 3343s| 1000 | 975 | 2932k|2823.5 | 856M | 76 |2700 | 43k| 42k|2641 | 1 |1126 |1667 | 1.400000e+02 | -- | Inf | 50.00%
3588.47/3597.00 c
3588.47/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.47/3597.00 c Solving Time (sec) : 3597.00
3588.47/3597.00 c Solving Nodes : 1086
3588.47/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.47/3597.00 c Dual Bound : +1.40000000000000e+02
3588.47/3597.00 c Gap : infinite
3588.47/3597.00 s UNKNOWN
3588.47/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.47/3597.00 c Total Time : 3597.00
3588.47/3597.00 c solving : 3597.00
3588.47/3597.00 c presolving : 1.75 (included in solving)
3588.47/3597.00 c reading : 0.11 (included in solving)
3588.47/3597.00 c copying : 0.28 (5 #copies) (minimal 0.06, maximal 0.06, average 0.06)
3588.47/3597.00 c Original Problem :
3588.47/3597.00 c Problem name : HOME/instance-4432612-1721069742.opb
3588.47/3597.00 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.47/3597.00 c Constraints : 42620 initial, 42620 maximal
3588.47/3597.00 c Objective : minimize, 900 non-zeros (abs.min = 1, abs.max = 5)
3588.47/3597.00 c Presolved Problem :
3588.47/3597.00 c Problem name : t_HOME/instance-4432612-1721069742.opb
3588.47/3597.00 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.47/3597.00 c Constraints : 42620 initial, 43360 maximal
3588.47/3597.00 c Objective : minimize, 900 non-zeros (abs.min = 1, abs.max = 5)
3588.47/3597.00 c Nonzeros : 328920 constraint, 13220 clique table
3588.47/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.47/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c domcol : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c dualsparsify : 0.32 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c milp : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c sparsify : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c probing : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c symmetry : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c knapsack : 0.47 0.00 8 0 0 0 0 0 0 0 43200 64800
3588.47/3597.00 c setppc : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c linear : 0.17 0.03 2 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c logicor : 0.03 0.00 7 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c root node : - - - 10 - - 10 - - - - -
3588.47/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.47/3597.00 c benderslp : 0 0 0 0 1093 0 0 264 0 0 0 0 0 0 0
3588.47/3597.00 c integral : 0 0 0 0 1093 0 0 264 0 0 69 0 0 82 2144
3588.47/3597.00 c knapsack : 21770+ 21775 11 19825 0 0 0 260 2834 25 3640 0 0 0 0
3588.47/3597.00 c setppc : 3960 3960 11 19800 0 0 0 1 13180 108 25692 0 0 0 0
3588.47/3597.00 c linear : 0+ 4 0 7440 0 0 0 3 0 3 19 0 0 0 0
3588.47/3597.00 c logicor : 16890+ 17661 11 10380 0 0 0 0 1821 17 2012 2 1 0 0
3588.47/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.47/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c integral : 1187.66 0.00 0.00 0.00 1187.66 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c knapsack : 2.20 0.00 0.51 0.88 0.00 0.00 0.00 0.00 0.00 0.79
3588.47/3597.00 c setppc : 1.28 0.00 0.00 0.62 0.00 0.00 0.00 0.00 0.00 0.65
3588.47/3597.00 c linear : 0.03 0.03 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c logicor : 0.38 0.00 0.04 0.15 0.00 0.00 0.00 0.00 0.00 0.19
3588.47/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.47/3597.00 c dualfix : 1 0 0 0
3588.47/3597.00 c genvbounds : 0 0 0 0
3588.47/3597.00 c nlobbt : 0 0 0 0
3588.47/3597.00 c obbt : 0 0 0 0
3588.47/3597.00 c probing : 0 0 0 0
3588.47/3597.00 c pseudoobj : 4307 0 0 0
3588.47/3597.00 c redcost : 13 0 0 0
3588.47/3597.00 c rootredcost : 1 0 0 0
3588.47/3597.00 c symmetry : 14743 0 0 93
3588.47/3597.00 c vbounds : 10465 0 0 0
3588.47/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.47/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c probing : 0.19 0.00 0.19 0.00 0.00 0.00
3588.47/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3588.47/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3588.47/3597.00 c symmetry : 0.54 0.00 0.13 0.26 0.00 0.15
3588.47/3597.00 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3588.47/3597.00 c Symmetry :
3588.47/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.47/3597.00 c orbital reduction: 90 reductions applied, 0 cutoffs
3588.47/3597.00 c lexicographic red: 18 reductions applied, 0 cutoffs
3588.47/3597.00 c shadow tree time : 0.00 s
3588.47/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.47/3597.00 c propagation : 0.01 147 144 - 1682 52.2 86 12.5 - - -
3588.47/3597.00 c infeasible LP : 0.04 28 28 - 677 182.0 20 11.7 22 146.2 0
3588.47/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.47/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.47/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.47/3597.00 c applied globally : 0.01 - - 0 1149 37.7 - - 22 - -
3588.47/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.47/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.47/3597.00 c cut pool : 0.34 - 476 21 - - 6205 15246 - - - - - (maximal pool size: 2191)
3588.47/3597.00 c aggregation : 0.81 0.00 169 11 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.47/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.47/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.47/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c clique : 0.08 0.00 11 11 0 0 65 132 0 124 124 0 0
3588.47/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c gomory : 237.24 0.00 135 10 0 0 5480 11505 0 533 533 0 0
3588.47/3597.00 c > gomorymi : - - - - - - - 4376 0 162 162 0 -
3588.47/3597.00 c > strongcg : - - - - - - - 7129 0 371 371 0 -
3588.47/3597.00 c impliedbounds : 0.02 0.00 169 11 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c multilinear : 0.00 0.00 38 11 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c rlt : 0.00 0.00 43 10 0 0 0 0 0 0 0 0 0
3588.47/3597.00 c zerohalf : 2.00 0.00 136 11 0 0 660 3609 0 2326 2326 0 0
3588.47/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.47/3597.00 c hybrid : 0.03 0.00 315 11 2984 0 12264 128 0 515
3588.47/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.47/3597.00 c problem variables: 0.00 - 0 0
3588.47/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.47/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c relpscost : 1187.66 0.00 1093 0 0 0 69 0 103 2144
3588.47/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.47/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.47/3597.00 c LP solutions : 0.00 - - 0 0
3588.47/3597.00 c relax solutions : 0.00 - - 0 0
3588.47/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.47/3597.00 c strong branching : 0.00 - - 0 0
3588.47/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.47/3597.00 c adaptivediving : 11.72 0.00 8 0 0
3588.47/3597.00 c alns : 0.98 0.00 4 0 0
3588.47/3597.00 c bound : 0.00 0.00 0 0 0
3588.47/3597.00 c clique : 0.14 0.00 1 0 0
3588.47/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.47/3597.00 c completesol : 0.00 0.00 0 0 0
3588.47/3597.00 c conflictdiving : 23.79 0.00 5 0 0
3588.47/3597.00 c crossover : 0.00 0.00 0 0 0
3588.47/3597.00 c dins : 0.00 0.00 0 0 0
3588.47/3597.00 c distributiondivin: 5.76 0.00 4 0 0
3588.47/3597.00 c dps : 0.00 0.00 0 0 0
3588.57/3597.00 c dualval : 0.00 0.00 0 0 0
3588.57/3597.00 c farkasdiving : 91.98 0.00 1 0 0
3588.57/3597.00 c feasjump : 0.08 0.00 1 0 0
3588.57/3597.00 c feaspump : 42.46 0.00 2 0 0
3588.57/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.57/3597.00 c fracdiving : 2.02 0.00 4 0 0
3588.57/3597.00 c gins : 0.00 0.00 0 0 0
3588.57/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.57/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.57/3597.00 c indicator : 0.00 0.00 0 0 0
3588.57/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.57/3597.00 c indoneopt : 0.00 0.00 0 0 0
3588.57/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.57/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.57/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.57/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.57/3597.00 c linesearchdiving : 1.31 0.00 4 0 0
3588.57/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.57/3597.00 c locks : 0.04 0.00 1 0 0
3588.57/3597.00 c lpface : 1.26 0.00 1 0 0
3588.57/3597.00 c mpec : 0.00 0.00 0 0 0
3588.57/3597.00 c multistart : 0.00 0.00 0 0 0
3588.57/3597.00 c mutation : 0.00 0.00 0 0 0
3588.57/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.57/3597.00 c objpscostdiving : 11.04 0.00 3 0 0
3588.57/3597.00 c octane : 0.00 0.00 0 0 0
3588.57/3597.00 c ofins : 0.00 0.00 0 0 0
3588.57/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.57/3597.00 c padm : 0.00 0.00 0 0 0
3588.57/3597.00 c proximity : 0.00 0.00 0 0 0
3588.57/3597.00 c pscostdiving : 7.44 0.00 4 0 0
3588.57/3597.00 c randrounding : 0.49 0.00 269 0 0
3588.57/3597.00 c rens : 0.24 0.00 1 0 0
3588.57/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.57/3597.00 c repair : 0.00 0.00 0 0 0
3588.57/3597.00 c rins : 0.00 0.00 0 0 0
3588.57/3597.00 c rootsoldiving : 24.34 0.00 3 0 0
3588.57/3597.00 c rounding : 0.66 0.00 483 0 0
3588.57/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.57/3597.00 c shiftandpropagate: 0.05 0.00 1 0 0
3588.57/3597.00 c shifting : 0.81 0.00 227 0 0
3588.57/3597.00 c simplerounding : 0.00 0.00 0 0 0
3588.57/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.57/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.57/3597.00 c trivial : 0.00 0.00 2 0 0
3588.57/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.57/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.57/3597.00 c trysol : 0.00 0.00 0 0 0
3588.57/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.57/3597.00 c undercover : 0.00 0.00 0 0 0
3588.57/3597.00 c vbounds : 0.12 0.00 1 0 0
3588.57/3597.00 c veclendiving : 3.11 0.00 4 0 0
3588.57/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.57/3597.00 c zirounding : 1.00 0.00 1000 0 0
3588.57/3597.00 c other solutions : - - - 0 -
3588.57/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.57/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3588.57/3597.00 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
3588.57/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.57/3597.00 c primal LP : 0.67 112 0 0.00 0.00 0.67 112
3588.57/3597.00 c dual LP : 1928.33 1411 2874992 2040.45 1490.92 0.02 2
3588.57/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.57/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.57/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.57/3597.00 c diving/probing LP: 278.06 448 322694 720.30 1160.50
3588.57/3597.00 c strong branching : 1124.91 1791 1575295 879.56 1400.37 - - 2905
3588.57/3597.00 c (at root node) : - 20 20000 1000.00 -
3588.57/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.57/3597.00 c B&B Tree :
3588.57/3597.00 c number of runs : 1
3588.57/3597.00 c nodes : 1086 (1072 internal, 14 leaves)
3588.57/3597.00 c feasible leaves : 0
3588.57/3597.00 c infeas. leaves : 13
3588.57/3597.00 c objective leaves : 0
3588.57/3597.00 c nodes (total) : 1086 (1072 internal, 14 leaves)
3588.57/3597.00 c nodes left : 1060
3588.57/3597.00 c max depth : 76
3588.57/3597.00 c max depth (total): 76
3588.57/3597.00 c backtracks : 36 (3.3%)
3588.57/3597.00 c early backtracks : 0 (0.0%)
3588.57/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.57/3597.00 c delayed cutoffs : 0
3588.57/3597.00 c repropagations : 105 (368 domain reductions, 0 cutoffs)
3588.57/3597.00 c avg switch length: 2.22
3588.57/3597.00 c switching time : 1.21
3588.57/3597.00 c Root Node :
3588.57/3597.00 c First LP value : +1.40000000000000e+02
3588.57/3597.00 c First LP Iters : 8135 (1280.85 Iter/sec)
3588.57/3597.00 c First LP Time : 6.35
3588.57/3597.00 c Final Dual Bound : +1.40000000000000e+02
3588.57/3597.00 c Final Root Iters : 112222
3588.57/3597.00 c Root LP Estimate : +1.70590821256503e+02
3588.57/3597.00 c Solution :
3588.57/3597.00 c Solutions found : 0 (0 improvements)
3588.57/3597.00 c Primal Bound : -
3588.57/3597.00 c Dual Bound : +1.40000000000000e+02
3588.57/3597.00 c Gap : infinite
3588.57/3597.00 c Integrals : Total Avg%
3588.57/3597.00 c primal-dual : 359699.82 100.00
3588.57/3597.00 c primal-ref : - - (not evaluated)
3588.57/3597.00 c dual-ref : - - (not evaluated)
3588.67/3597.13 c Time complete: 3588.71.
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 (62602 MiB free)
memory of node 1: 64473 MiB (61971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432612-1721069742/watcher-4432612-1721069742 -o /tmp/evaluation-result-4432612-1721069742/solver-4432612-1721069742 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721061647-814086 --watchdog 3760 pbscip -f HOME/instance-4432612-1721069742.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=819410, runsolver pid=819407
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 5.26 5.18 5.04 5/255 819411
/proc/meminfo: memFree=127534692/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=83972 memory=43064 CPUtime=0.1 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 7807 0 0 0 9 1 0 0 20 0 1 0 159140439 85987328 10766 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 20993 10766 3263 3540 0 9250 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 83972 KiB
Current children cumulated memory: 43064 KiB
[startup+0.205735 s]*
/proc/loadavg: 5.26 5.18 5.04 5/255 819411
/proc/meminfo: memFree=127473876/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=144776 memory=104020 CPUtime=0.2 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 22901 0 0 0 17 3 0 0 20 0 1 0 159140439 148250624 26005 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 36194 26005 3615 3540 0 24451 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144776 KiB
Current children cumulated memory: 104020 KiB
[startup+0.305729 s]*
/proc/loadavg: 5.26 5.18 5.04 5/255 819411
/proc/meminfo: memFree=127455344/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=167672 memory=124008 CPUtime=0.3 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 25360 0 0 0 26 4 0 0 20 0 1 0 159140439 171696128 31002 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 41918 31002 3631 3540 0 30175 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 167672 KiB
Current children cumulated memory: 124008 KiB
[startup+0.700226 s]
/proc/loadavg: 5.26 5.18 5.04 5/255 819411
/proc/meminfo: memFree=127430596/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=198020 memory=157296 CPUtime=0.69 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 45299 0 0 0 63 6 0 0 20 0 1 0 159140439 202772480 39324 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 49505 39324 3758 3540 0 37762 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 198020 KiB
Current children cumulated memory: 157296 KiB
[startup+1.50024 s]
/proc/loadavg: 5.26 5.18 5.04 5/255 819411
/proc/meminfo: memFree=127415084/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=213504 memory=171148 CPUtime=1.48 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 48715 0 0 0 142 6 0 0 20 0 1 0 159140439 218628096 42787 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 53376 42787 3806 3540 0 41633 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 213504 KiB
Current children cumulated memory: 171148 KiB
[startup+3.10559 s]
/proc/loadavg: 5.26 5.18 5.04 5/255 819412
/proc/meminfo: memFree=127163384/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=498836 memory=413808 CPUtime=3.08 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 81483 0 0 0 295 13 0 0 20 0 1 0 159140439 510808064 103452 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 124709 103452 3886 3540 0 112966 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 498836 KiB
Current children cumulated memory: 413808 KiB
[startup+6.30019 s]
/proc/loadavg: 5.16 5.16 5.04 5/255 819412
/proc/meminfo: memFree=127162992/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=498836 memory=413808 CPUtime=6.28 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 81496 0 0 0 614 14 0 0 20 0 1 0 159140439 510808064 103452 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 124709 103452 3886 3540 0 112966 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 498836 KiB
Current children cumulated memory: 413808 KiB
[startup+12.7002 s]
/proc/loadavg: 5.06 5.14 5.03 5/255 819414
/proc/meminfo: memFree=127162924/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=498836 memory=413808 CPUtime=12.66 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 81510 0 0 0 1252 14 0 0 20 0 1 0 159140439 510808064 103452 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 124709 103452 3886 3540 0 112966 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 498836 KiB
Current children cumulated memory: 413808 KiB
[startup+25.5002 s]
/proc/loadavg: 4.83 5.09 5.02 5/255 819415
/proc/meminfo: memFree=127161736/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=498836 memory=414324 CPUtime=25.42 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 81525 0 0 0 2528 14 0 0 20 0 1 0 159140439 510808064 103581 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 124709 103581 3982 3540 0 112966 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 498836 KiB
Current children cumulated memory: 414324 KiB
[startup+51.1057 s]
/proc/loadavg: 4.62 5.01 4.99 5/255 819418
/proc/meminfo: memFree=127121136/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=520088 memory=428720 CPUtime=50.97 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 84669 0 0 0 5082 15 0 0 20 0 1 0 159140439 532570112 107180 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 130022 107180 3998 3540 0 118279 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 520088 KiB
Current children cumulated memory: 428720 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.87 4.95 5/255 819429
/proc/meminfo: memFree=127087620/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=544328 memory=445272 CPUtime=102.04 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 86757 0 0 0 10189 15 0 0 20 0 1 0 159140439 557391872 111318 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 136082 111318 3998 3540 0 124339 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 544328 KiB
Current children cumulated memory: 445272 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.71 4.88 5/257 819609
/proc/meminfo: memFree=127072352/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=575240 memory=453400 CPUtime=161.89 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 88795 0 0 0 16174 15 0 0 20 0 1 0 159140439 589045760 113350 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 143810 113350 3998 3540 0 132067 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 575240 KiB
Current children cumulated memory: 453400 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.61 4.84 5/258 819620
/proc/meminfo: memFree=127042456/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=575240 memory=454968 CPUtime=221.74 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 88807 0 0 0 22159 15 0 0 20 0 1 0 159140439 589045760 113742 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 143810 113742 3998 3540 0 132067 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 575240 KiB
Current children cumulated memory: 454968 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.51 4.79 5/257 819632
/proc/meminfo: memFree=126973908/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=636044 memory=518004 CPUtime=281.61 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 103657 0 0 0 28143 18 0 0 20 0 1 0 159140439 651309056 129501 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 159011 129501 4014 3540 0 147268 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 636044 KiB
Current children cumulated memory: 518004 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.43 4.74 5/257 819654
/proc/meminfo: memFree=126963816/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=636044 memory=521388 CPUtime=341.46 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 103728 0 0 0 34128 18 0 0 20 0 1 0 159140439 651309056 130347 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 159011 130347 4014 3540 0 147268 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 636044 KiB
Current children cumulated memory: 521388 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.37 4.70 5/257 819665
/proc/meminfo: memFree=126933748/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=636044 memory=543084 CPUtime=401.32 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 103836 0 0 0 40114 18 0 0 20 0 1 0 159140439 651309056 135771 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 159011 135771 4014 3540 0 147268 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 636044 KiB
Current children cumulated memory: 543084 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.31 4.66 5/255 819676
/proc/meminfo: memFree=126865856/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=700528 memory=609936 CPUtime=461.17 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 114636 0 0 0 46097 20 0 0 20 0 1 0 159140439 717340672 152484 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 175132 152484 4014 3540 0 163389 0
################
# More data... #
################
/proc/loadavg: 3.12 3.37 3.77 4/248 820875
/proc/meminfo: memFree=127213432/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=942220 memory=753300 CPUtime=3214.86 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 127884 0 0 0 321462 24 0 0 20 0 1 0 159140439 964833280 188325 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 235555 188325 4029 3540 0 223812 0
Current children cumulated CPU time: 3214.86 s
Current children cumulated vsize: 942220 KiB
Current children cumulated memory: 753300 KiB
[startup+3282.3 s]
/proc/loadavg: 2.70 3.22 3.69 3/244 820920
/proc/meminfo: memFree=127707432/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=942220 memory=753300 CPUtime=3274.71 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 128071 0 0 0 327447 24 0 0 20 0 1 0 159140439 964833280 188325 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 235555 188325 4029 3540 0 223812 0
Current children cumulated CPU time: 3274.71 s
Current children cumulated vsize: 942220 KiB
Current children cumulated memory: 753300 KiB
[startup+3342.3 s]
/proc/loadavg: 2.31 3.01 3.58 3/244 820932
/proc/meminfo: memFree=127687036/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=955536 memory=755860 CPUtime=3334.56 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 128854 0 0 0 333431 25 0 0 20 0 1 0 159140439 978468864 188965 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 238884 188965 4029 3540 0 227141 0
Current children cumulated CPU time: 3334.56 s
Current children cumulated vsize: 955536 KiB
Current children cumulated memory: 755860 KiB
[startup+3402.3 s]
/proc/loadavg: 2.23 2.86 3.49 3/245 820945
/proc/meminfo: memFree=127670456/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=955536 memory=755860 CPUtime=3394.4 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 129016 0 0 0 339415 25 0 0 20 0 1 0 159140439 978468864 188965 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 238884 188965 4029 3540 0 227141 0
Current children cumulated CPU time: 3394.4 s
Current children cumulated vsize: 955536 KiB
Current children cumulated memory: 755860 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.71 3.40 3/244 820956
/proc/meminfo: memFree=127577144/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841568 CPUtime=3454.23 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150110 0 0 0 345396 27 0 0 20 0 1 0 159140439 1067044864 210392 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210392 4029 3540 0 248766 0
Current children cumulated CPU time: 3454.23 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841568 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.60 3.32 3/244 820967
/proc/meminfo: memFree=127556532/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841576 CPUtime=3514.07 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150189 0 0 0 351380 27 0 0 20 0 1 0 159140439 1067044864 210394 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210394 4029 3540 0 248766 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841576 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.52 3.24 3/246 821365
/proc/meminfo: memFree=127648592/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841612 CPUtime=3573.9 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150379 0 0 0 357363 27 0 0 20 0 1 0 159140439 1067044864 210403 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210403 4029 3540 0 248766 0
Current children cumulated CPU time: 3573.9 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841612 KiB
[startup+3597.14 s]
# the end of solver process 819410 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.44 s, system=0.286035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.14 2.52 3.24 3/244 821365
/proc/meminfo: memFree=127648620/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841612 CPUtime=3575.61 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150380 0 0 0 357534 27 0 0 20 0 1 0 159140439 1067044864 210403 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210403 4029 3540 0 248766 0
Current children cumulated CPU time: 3575.61 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841612 KiB
[startup+3590.4 s]
/proc/loadavg: 2.12 2.50 3.23 3/244 821365
/proc/meminfo: memFree=127648564/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841612 CPUtime=3581.98 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150381 0 0 0 358171 27 0 0 20 0 1 0 159140439 1067044864 210403 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210403 4029 3540 0 248766 0
Current children cumulated CPU time: 3581.98 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841612 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.50 3.23 3/244 821366
/proc/meminfo: memFree=127648564/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841612 CPUtime=3585.17 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150381 0 0 0 358490 27 0 0 20 0 1 0 159140439 1067044864 210403 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210403 4029 3540 0 248766 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841612 KiB
[startup+3595.2 s]
/proc/loadavg: 2.11 2.49 3.22 3/244 821366
/proc/meminfo: memFree=127647500/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841688 CPUtime=3586.77 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150471 0 0 0 358650 27 0 0 20 0 1 0 159140439 1067044864 210422 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210422 4029 3540 0 248766 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841688 KiB
[startup+3596 s]*
/proc/loadavg: 2.11 2.49 3.22 3/244 821366
/proc/meminfo: memFree=127647500/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841688 CPUtime=3587.57 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150472 0 0 0 358730 27 0 0 20 0 1 0 159140439 1067044864 210422 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210422 4029 3540 0 248766 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841688 KiB
[startup+3596.8 s]
/proc/loadavg: 2.11 2.49 3.22 3/244 821366
/proc/meminfo: memFree=127647500/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841688 CPUtime=3588.37 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150472 0 0 0 358810 27 0 0 20 0 1 0 159140439 1067044864 210422 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210422 4029 3540 0 248766 0
Current children cumulated CPU time: 3588.37 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841688 KiB
[startup+3597 s]*
/proc/loadavg: 2.11 2.49 3.22 3/244 821366
/proc/meminfo: memFree=127647360/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1042036 memory=841688 CPUtime=3588.57 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150472 0 0 0 358830 27 0 0 20 0 1 0 159140439 1067044864 210422 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 260509 210422 4029 3540 0 248766 0
Current children cumulated CPU time: 3588.57 s
Current children cumulated vsize: 1042036 KiB
Current children cumulated memory: 841688 KiB
[startup+3597.1 s]
/proc/loadavg: 2.11 2.49 3.22 3/244 821366
/proc/meminfo: memFree=127647360/131524600 swapFree=131071996/131071996
[pid=819410] ppid=819407 vsize=1037536 memory=837188 CPUtime=3588.67 cores=4,6
/proc/819410/stat : 819410 (pbscip) R 819407 819410 814075 0 -1 4194304 150485 0 0 0 358840 27 0 0 20 0 1 0 159140439 1062436864 209297 134679101440 4194304 18693293 140727540565648 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 58748928 140727540569092 140727540569191 140727540569191 140727540576206 0
/proc/819410/statm: 259384 209297 4029 3540 0 247641 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 1037536 KiB
Current children cumulated memory: 837188 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3588.72
CPU user time (s): 3588.44
CPU system time (s): 0.286035
CPU usage (%): 99.7659
Max. virtual memory (cumulated for all children) (KiB): 1042036
Max. memory (cumulated for all children) (KiB): 841688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.44
system time used= 0.286035
maximum resident set size= 841688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150571
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= 32
involuntary context switches= 1278
# summary of solver processes directly reported to runsolver:
# pid: 819410
# total CPU time (s): 3588.72
# total CPU user time (s): 3588.44
# total CPU system time (s): 0.286035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91551 second user time and 16.4616 second system time
The end