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-4432880-1721140053.opb>
2.28/2.36 c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
2.28/2.36 c problem read in 2.36
4.38/4.44 c presolving:
5.77/5.88 c (round 1, fast) 11275 del vars, 7354 del conss, 0 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 0 impls, 356526 clqs
7.27/7.37 c (7.4s) running MILP presolver
12.85/12.94 c (12.9s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
15.44/15.50 c (round 2, exhaustive) 11275 del vars, 8579 del conss, 0 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 0 impls, 356526 clqs
19.23/19.35 c (round 3, exhaustive) 11275 del vars, 8579 del conss, 0 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 356526 clqs
24.21/24.32 c (round 4, medium) 11275 del vars, 248679 del conss, 705600 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 1062126 clqs
28.20/28.32 c (round 5, exhaustive) 11275 del vars, 1194379 del conss, 945700 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 1062126 clqs
31.00/31.19 c (round 6, exhaustive) 70075 del vars, 1253179 del conss, 945700 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 885726 clqs
32.49/32.63 c (round 7, exhaustive) 70075 del vars, 1254404 del conss, 945700 add conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 0 impls, 885726 clqs
156.08/156.62 c (156.6s) probing: 1000/300225 (0.3%) - 0 fixings, 0 aggregations, 383616 implications, 0 bound changes
156.18/156.74 c (156.7s) probing: 1001/300225 (0.3%) - 0 fixings, 0 aggregations, 384000 implications, 0 bound changes
156.18/156.74 c (156.7s) probing aborted: 1000/1000 successive useless probings
156.18/156.74 c (156.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
157.08/157.67 c (157.7s) no symmetry present (symcode time: 0.36)
157.47/158.03 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
157.47/158.03 c 70075 deleted vars, 1254404 deleted constraints, 945700 added constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 6125 changed coefficients
157.47/158.03 c 0 implications, 1269726 cliques
157.47/158.03 c presolved problem has 300225 variables (300225 bin, 0 int, 0 impl, 0 cont) and 539254 constraints
157.47/158.03 c 1375 constraints of type <knapsack>
157.47/158.03 c 356526 constraints of type <setppc>
157.47/158.03 c 180075 constraints of type <and>
157.47/158.03 c 3 constraints of type <linear>
157.47/158.03 c 1275 constraints of type <logicor>
157.47/158.03 c transformed objective value is always integral (scale: 1)
157.47/158.03 c Presolving Time: 153.71
157.47/158.03 c - non default parameters ----------------------------------------------------------------------
157.47/158.03 c # SCIP version 10.0.0
157.47/158.03 c
157.47/158.03 c # maximal time in seconds to run
157.47/158.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
157.47/158.03 c limits/time = 3596.997059
157.47/158.03 c
157.47/158.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
157.47/158.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
157.47/158.03 c limits/memory = 27900
157.47/158.03 c
157.47/158.03 c # belongs reading time to solving time?
157.47/158.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
157.47/158.03 c timing/reading = TRUE
157.47/158.03 c
157.47/158.03 c -----------------------------------------------------------------------------------------------
157.47/158.03 c start solving
157.57/158.10 c
860.38/862.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
860.38/862.96 c 863s| 1 | 0 | 7864 | - | 4071M | 0 | 300k| 539k| 719k| 0 | 0 | 305 | 0 | 4.657579e+05 | -- | Inf | unknown
1140.64/1144.04 c 1144s| 1 | 0 | 32110 | - | 4314M | 0 | 300k| 539k| 719k| 36 | 1 | 337 | 0 | 4.988293e+05 | -- | Inf | unknown
1185.04/1188.55 c 1189s| 1 | 0 | 33388 | - | 4445M | 0 | 300k| 539k| 719k| 82 | 2 | 340 | 0 | 5.222530e+05 | -- | Inf | unknown
1236.42/1240.10 c 1240s| 1 | 0 | 34417 | - | 4562M | 0 | 300k| 539k| 719k| 120 | 3 | 342 | 0 | 5.357502e+05 | -- | Inf | unknown
1301.46/1305.20 c 1305s| 1 | 0 | 34852 | - | 4690M | 0 | 300k| 539k| 719k| 151 | 4 | 344 | 0 | 5.388949e+05 | -- | Inf | unknown
1361.60/1365.53 c 1366s| 1 | 0 | 35334 | - | 4802M | 0 | 300k| 539k| 719k| 176 | 5 | 345 | 0 | 5.404307e+05 | -- | Inf | unknown
1415.77/1419.88 c 1420s| 1 | 0 | 36168 | - | 4925M | 0 | 300k| 539k| 719k| 208 | 6 | 347 | 0 | 5.487662e+05 | -- | Inf | unknown
1466.15/1470.38 c 1470s| 1 | 0 | 36691 | - | 5053M | 0 | 300k| 539k| 719k| 236 | 7 | 351 | 0 | 5.516017e+05 | -- | Inf | unknown
1517.22/1521.52 c 1522s| 1 | 0 | 37537 | - | 5185M | 0 | 300k| 539k| 719k| 267 | 8 | 352 | 0 | 5.628573e+05 | -- | Inf | unknown
1566.90/1571.30 c 1571s| 1 | 0 | 38524 | - | 5304M | 0 | 300k| 539k| 719k| 370 | 9 | 353 | 0 | 5.749209e+05 | -- | Inf | unknown
1635.83/1640.44 c 1640s| 1 | 0 | 38931 | - | 5435M | 0 | 300k| 539k| 719k| 388 | 10 | 356 | 0 | 5.782554e+05 | -- | Inf | unknown
1645.11/1649.73 c 1650s| 1 | 0 | 39472 | - | 5527M | 0 | 300k| 539k| 719k| 405 | 11 | 356 | 0 | 5.822650e+05 | -- | Inf | unknown
1653.89/1658.55 c 1659s| 1 | 0 | 40026 | - | 5604M | 0 | 300k| 539k| 719k| 413 | 12 | 357 | 0 | 5.879949e+05 | -- | Inf | unknown
1661.76/1666.44 c 1666s| 1 | 0 | 40328 | - | 5684M | 0 | 300k| 539k| 719k| 422 | 13 | 358 | 0 | 5.897295e+05 | -- | Inf | unknown
1668.54/1673.23 c 1673s| 1 | 0 | 40423 | - | 5761M | 0 | 300k| 539k| 719k| 427 | 14 | 358 | 0 | 5.907460e+05 | -- | Inf | unknown
1675.33/1680.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1675.33/1680.03 c 1680s| 1 | 0 | 40592 | - | 5839M | 0 | 300k| 539k| 719k| 434 | 15 | 359 | 0 | 5.914457e+05 | -- | Inf | unknown
1682.61/1687.38 c 1687s| 1 | 0 | 40812 | - | 5916M | 0 | 300k| 539k| 719k| 443 | 16 | 362 | 0 | 5.933105e+05 | -- | Inf | unknown
1688.70/1693.47 c 1693s| 1 | 0 | 40879 | - | 5985M | 0 | 300k| 539k| 719k| 454 | 17 | 366 | 0 | 5.934889e+05 | -- | Inf | unknown
1695.98/1700.75 c 1701s| 1 | 0 | 41123 | - | 6062M | 0 | 300k| 539k| 719k| 462 | 18 | 366 | 0 | 5.948314e+05 | -- | Inf | unknown
1703.17/1707.90 c 1708s| 1 | 0 | 41373 | - | 6140M | 0 | 300k| 539k| 719k| 471 | 19 | 369 | 0 | 5.959320e+05 | -- | Inf | unknown
1711.85/1716.68 c 1717s| 1 | 0 | 41796 | - | 6218M | 0 | 300k| 539k| 719k| 482 | 20 | 372 | 0 | 5.976544e+05 | -- | Inf | unknown
1719.23/1724.09 c 1724s| 1 | 0 | 41927 | - | 6226M | 0 | 300k| 539k| 719k| 489 | 21 | 373 | 0 | 5.981367e+05 | -- | Inf | unknown
1725.11/1729.92 c 1730s| 1 | 0 | 41946 | - | 6235M | 0 | 300k| 539k| 719k| 497 | 22 | 376 | 0 | 5.981536e+05 | -- | Inf | unknown
1730.99/1735.85 c 1736s| 1 | 0 | 41990 | - | 6235M | 0 | 300k| 539k| 719k| 503 | 23 | 380 | 0 | 5.983392e+05 | -- | Inf | unknown
1737.98/1742.89 c 1743s| 1 | 0 | 42059 | - | 6243M | 0 | 300k| 539k| 719k| 507 | 24 | 385 | 0 | 5.985569e+05 | -- | Inf | unknown
1744.06/1748.92 c 1749s| 1 | 0 | 42104 | - | 6252M | 0 | 300k| 539k| 719k| 509 | 25 | 387 | 0 | 5.986029e+05 | -- | Inf | unknown
1750.54/1755.43 c 1755s| 1 | 0 | 42245 | - | 6260M | 0 | 300k| 539k| 719k| 510 | 26 | 390 | 0 | 5.987146e+05 | -- | Inf | unknown
1755.93/1760.86 c 1761s| 1 | 0 | 42248 | - | 6268M | 0 | 300k| 539k| 719k| 512 | 27 | 392 | 0 | 5.987146e+05 | -- | Inf | unknown
2101.72/2107.75 c 2108s| 1 | 2 | 71528 | - | 6306M | 0 | 300k| 539k| 719k| 512 | 28 | 394 | 44 | 6.174159e+05 | -- | Inf | unknown
3586.24/3597.05 c
3586.24/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.24/3597.05 c Solving Time (sec) : 3597.03
3586.24/3597.05 c Solving Nodes : 16
3586.24/3597.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.24/3597.05 c Dual Bound : +6.31728524418694e+05
3586.24/3597.05 c Gap : infinite
3586.24/3597.05 s UNKNOWN
3586.24/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.24/3597.05 c Total Time : 3597.03
3586.24/3597.05 c solving : 3597.03
3586.24/3597.05 c presolving : 153.71 (included in solving)
3586.24/3597.05 c reading : 2.36 (included in solving)
3586.24/3597.05 c copying : 2.44 (2 #copies) (minimal 1.17, maximal 1.27, average 1.22)
3586.24/3597.05 c Original Problem :
3586.24/3597.05 c Problem name : HOME/instance-4432880-1721140053.opb
3586.24/3597.05 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.24/3597.05 c Constraints : 847958 initial, 847958 maximal
3586.24/3597.06 c Objective : minimize, 132350 non-zeros (abs.min = 1, abs.max = 1.07172e+08)
3586.24/3597.06 c Presolved Problem :
3586.24/3597.06 c Problem name : t_HOME/instance-4432880-1721140053.opb
3586.24/3597.06 c Variables : 300225 (300225 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.24/3597.06 c Constraints : 539254 initial, 539442 maximal
3586.24/3597.06 c Objective : minimize, 123725 non-zeros (abs.min = 6, abs.max = 2.14344e+08)
3586.24/3597.06 c Nonzeros : 1567225 constraint, 2539592 clique table
3586.24/3597.06 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.24/3597.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c gateextraction : 4.15 0.00 4 0 0 0 0 0 945700 240100 0 0
3586.24/3597.06 c implics : 0.04 0.00 7 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c milp : 6.94 0.00 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c trivial : 0.09 0.00 8 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c dualfix : 0.09 0.00 8 7400 0 0 0 0 0 0 0 0
3586.24/3597.06 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c probing : 122.56 0.01 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c symmetry : 0.93 0.00 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c vbounds : 0.49 0.00 2 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c knapsack : 3.12 0.01 13 0 0 0 0 0 240100 705600 0 0
3586.24/3597.06 c setppc : 2.95 0.03 13 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c and : 2.91 0.00 6 0 58800 0 0 0 60025 0 0 0
3586.24/3597.06 c linear : 7.03 0.41 11 200 3675 0 200 0 8579 0 1225 6125
3586.24/3597.06 c logicor : 0.74 0.01 11 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c components : 0.27 0.00 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c root node : - - - 0 - - 0 - - - - -
3586.24/3597.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.24/3597.06 c benderslp : 0 0 0 0 16 0 0 9 0 0 0 0 0 0 0
3586.24/3597.06 c integral : 0 0 0 0 16 0 0 9 0 0 388 0 0 0 28
3586.24/3597.06 c knapsack : 1375+ 1376 28 280288 0 0 0 5 3442 5 4 195 36 0 0
3586.24/3597.06 c setppc : 356526+ 356572 28 279683 0 0 0 1 71636 87 14259 31 0 0 0
3586.24/3597.06 c and : 180075 180075 61 280196 0 0 0 0 9531 25 15070 297 117 0 0
3586.24/3597.06 c linear : 3+ 5 28 280171 0 0 0 3 6051 7 0 0 0 0 0
3586.24/3597.06 c logicor : 1275+ 1463 28 3865 0 0 0 0 27582 50 0 1 1 0 0
3586.24/3597.06 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.24/3597.06 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c integral : 1185.46 0.00 0.00 0.00 1185.46 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c knapsack : 2.48 0.01 0.24 2.19 0.00 0.00 0.00 0.02 0.00 0.02
3586.24/3597.06 c setppc : 17.58 0.03 0.44 16.77 0.00 0.00 0.00 0.00 0.02 0.32
3586.24/3597.06 c and : 680.64 0.00 5.54 670.44 0.00 0.00 0.00 0.00 0.07 4.59
3586.24/3597.06 c linear : 2.67 0.41 0.41 1.70 0.00 0.00 0.00 0.00 0.14 0.01
3586.24/3597.06 c logicor : 0.48 0.01 0.01 0.45 0.00 0.00 0.00 0.00 0.01 0.01
3586.24/3597.06 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c components : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.24/3597.06 c dualfix : 1 0 0 0
3586.24/3597.06 c genvbounds : 0 0 0 0
3586.24/3597.06 c nlobbt : 0 0 0 0
3586.24/3597.06 c obbt : 0 0 0 0
3586.24/3597.06 c probing : 0 0 0 0
3586.24/3597.06 c pseudoobj : 73 0 0 0
3586.24/3597.06 c redcost : 29 0 0 0
3586.24/3597.06 c rootredcost : 1 0 0 0
3586.24/3597.06 c symmetry : 0 0 0 0
3586.24/3597.06 c vbounds : 22083 0 0 0
3586.24/3597.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.24/3597.06 c dualfix : 0.10 0.00 0.09 0.01 0.00 0.00
3586.24/3597.06 c genvbounds : 0.05 0.00 0.00 0.05 0.00 0.00
3586.24/3597.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.24/3597.06 c probing : 122.57 0.01 122.56 0.00 0.00 0.00
3586.24/3597.06 c pseudoobj : 0.18 0.00 0.00 0.18 0.00 0.00
3586.24/3597.06 c redcost : 0.64 0.00 0.00 0.64 0.00 0.00
3586.24/3597.06 c rootredcost : 0.18 0.00 0.00 0.18 0.00 0.00
3586.24/3597.06 c symmetry : 1.02 0.00 0.93 0.09 0.00 0.00
3586.24/3597.06 c vbounds : 0.67 0.00 0.49 0.17 0.00 0.00
3586.24/3597.06 c Symmetry :
3586.24/3597.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.24/3597.06 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.24/3597.06 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.24/3597.06 c shadow tree time : 0.00 s
3586.24/3597.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.24/3597.06 c propagation : 0.48 159 159 - 3730 588.4 31 2.1 - - -
3586.24/3597.06 c infeasible LP : 0.21 4 4 - 15 202.5 0 0.0 4 1373.8 0
3586.24/3597.06 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.24/3597.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.24/3597.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.24/3597.06 c applied globally : 0.62 - - 0 391 552.7 - - 4 - -
3586.24/3597.06 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.24/3597.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.24/3597.06 c cut pool : 0.47 - 54 54 - - 2513 5518 - - - - - (maximal pool size: 2513)
3586.24/3597.06 c aggregation : 10.77 0.00 28 28 0 0 13 13 0 0 0 0 0
3586.24/3597.06 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.24/3597.06 c > flowcover : - - - - - - - 13 0 0 0 0 -
3586.24/3597.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.24/3597.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c clique : 107.31 0.00 28 28 0 0 15 15 0 14 14 0 0
3586.24/3597.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c gomory : 157.59 0.00 10 10 0 0 2003 4937 0 33 33 0 0
3586.24/3597.06 c > gomorymi : - - - - - - - 3839 0 23 23 0 -
3586.24/3597.06 c > strongcg : - - - - - - - 1098 0 10 10 0 -
3586.24/3597.06 c impliedbounds : 3.45 0.00 28 28 0 0 139 167 0 92 92 0 0
3586.24/3597.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c mcf : 0.44 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c multilinear : 0.21 0.00 38 28 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.24/3597.06 c rlt : 283.01 0.00 10 10 0 0 265 270 0 265 265 0 0
3586.24/3597.06 c zerohalf : 3.52 0.00 20 20 0 0 78 116 0 71 71 0 0
3586.24/3597.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.24/3597.06 c hybrid : 0.20 0.00 51 27 629 0 5413 512 0 5369
3586.24/3597.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c Pricers : ExecTime SetupTime Calls Vars
3586.24/3597.06 c problem variables: 0.00 - 0 0
3586.24/3597.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.24/3597.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c relpscost : 1185.46 0.00 16 0 0 0 388 0 0 28
3586.24/3597.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.24/3597.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.24/3597.06 c LP solutions : 0.00 - - 0 0
3586.24/3597.06 c relax solutions : 0.00 - - 0 0
3586.24/3597.06 c pseudo solutions : 0.00 - - 0 0
3586.24/3597.06 c strong branching : 0.00 - - 0 0
3586.24/3597.06 c actconsdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c adaptivediving : 0.00 0.00 0 0 0
3586.24/3597.06 c alns : 3.73 0.00 1 0 0
3586.24/3597.06 c bound : 0.00 0.00 0 0 0
3586.24/3597.06 c clique : 49.58 0.00 1 0 0
3586.24/3597.06 c coefdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c completesol : 0.00 0.00 0 0 0
3586.24/3597.06 c conflictdiving : 20.46 0.00 1 0 0
3586.24/3597.06 c crossover : 0.00 0.00 0 0 0
3586.24/3597.06 c dins : 0.00 0.00 0 0 0
3586.24/3597.06 c distributiondivin: 0.16 0.00 0 0 0
3586.24/3597.06 c dps : 0.00 0.00 0 0 0
3586.24/3597.06 c dualval : 0.00 0.00 0 0 0
3586.24/3597.06 c farkasdiving : 72.91 0.00 1 0 0
3586.24/3597.06 c feasjump : 0.54 0.00 1 0 0
3586.24/3597.06 c feaspump : 195.95 0.00 1 0 0
3586.24/3597.06 c fixandinfer : 0.00 0.00 0 0 0
3586.24/3597.06 c fracdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c gins : 0.00 0.00 0 0 0
3586.24/3597.06 c guideddiving : 0.00 0.00 0 0 0
3586.24/3597.06 c indcoefdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c indicator : 0.00 0.00 0 0 0
3586.24/3597.06 c indicatordiving : 0.00 0.00 0 0 0
3586.24/3597.06 c indoneopt : 0.00 0.00 0 0 0
3586.24/3597.06 c indrounding : 0.00 0.00 0 0 0
3586.24/3597.06 c indtwoopt : 0.00 0.00 0 0 0
3586.24/3597.06 c intdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c intshifting : 0.00 0.00 0 0 0
3586.24/3597.06 c linesearchdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c localbranching : 0.00 0.00 0 0 0
3586.24/3597.06 c locks : 3.23 0.00 1 0 0
3586.24/3597.06 c lpface : 0.00 0.00 0 0 0
3586.24/3597.06 c mpec : 0.00 0.00 0 0 0
3586.24/3597.06 c multistart : 0.00 0.00 0 0 0
3586.24/3597.06 c mutation : 0.00 0.00 0 0 0
3586.24/3597.06 c nlpdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c objpscostdiving : 0.00 0.00 0 0 0
3586.24/3597.06 c octane : 0.00 0.00 0 0 0
3586.24/3597.06 c ofins : 0.00 0.00 0 0 0
3586.24/3597.06 c oneopt : 0.00 0.00 0 0 0
3586.24/3597.06 c padm : 0.00 0.00 0 0 0
3586.24/3597.06 c proximity : 0.00 0.00 0 0 0
3586.24/3597.06 c pscostdiving : 89.57 0.00 1 0 0
3586.24/3597.06 c randrounding : 11.58 0.00 28 0 0
3586.24/3597.06 c rens : 4.08 0.00 1 0 0
3586.24/3597.06 c reoptsols : 0.00 0.00 0 0 0
3586.24/3597.06 c repair : 0.00 0.00 0 0 0
3586.24/3597.06 c rins : 0.00 0.00 0 0 0
3586.24/3597.06 c rootsoldiving : 0.00 0.00 0 0 0
3586.24/3597.06 c rounding : 1.72 0.00 68 0 0
3586.24/3597.06 c scheduler : 0.00 0.00 0 0 0
3586.24/3597.06 c shiftandpropagate: 7.47 0.00 1 0 0
3586.24/3597.06 c shifting : 2.27 0.00 28 0 0
3586.24/3597.06 c simplerounding : 0.01 0.00 0 0 0
3586.24/3597.06 c smallcard : 0.00 0.00 0 0 0
3586.24/3597.06 c subnlp : 0.00 0.00 0 0 0
3586.24/3597.06 c trivial : 0.19 0.00 2 0 0
3586.24/3597.06 c trivialnegation : 0.00 0.00 0 0 0
3586.24/3597.06 c trustregion : 0.00 0.00 0 0 0
3586.24/3597.06 c trysol : 0.00 0.00 0 0 0
3586.24/3597.06 c twoopt : 0.00 0.00 0 0 0
3586.24/3597.06 c undercover : 43.94 0.00 1 0 0
3586.24/3597.06 c vbounds : 620.73 0.00 1 0 0
3586.24/3597.06 c veclendiving : 0.00 0.00 0 0 0
3586.24/3597.06 c zeroobj : 0.00 0.00 0 0 0
3586.24/3597.06 c zirounding : 0.16 0.00 14 0 0
3586.24/3597.06 c other solutions : - - - 0 -
3586.24/3597.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 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
3586.24/3597.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.24/3597.06 c primal LP : 0.27 3 0 0.00 0.00 0.27 3
3586.24/3597.06 c dual LP : 534.35 69 94694 1413.34 177.21 0.26 2
3586.24/3597.06 c lex dual LP : 0.00 0 0 0.00 -
3586.24/3597.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.24/3597.06 c resolve instable : 0.00 0 0 0.00 -
3586.24/3597.06 c diving/probing LP: 373.18 72 91677 1273.29 245.66
3586.24/3597.06 c strong branching : 1141.87 274 190571 695.51 166.89 - - 294
3586.24/3597.06 c (at root node) : - 44 31966 726.50 -
3586.24/3597.06 c conflict analysis: 0.00 0 0 0.00 -
3586.24/3597.06 c B&B Tree :
3586.24/3597.06 c number of runs : 1
3586.24/3597.06 c nodes : 16 (14 internal, 2 leaves)
3586.24/3597.06 c feasible leaves : 0
3586.24/3597.06 c infeas. leaves : 1
3586.24/3597.06 c objective leaves : 0
3586.24/3597.06 c nodes (total) : 16 (14 internal, 2 leaves)
3586.24/3597.06 c nodes left : 14
3586.24/3597.06 c max depth : 5
3586.24/3597.06 c max depth (total): 5
3586.24/3597.06 c backtracks : 3 (18.8%)
3586.24/3597.06 c early backtracks : 0 (0.0%)
3586.24/3597.06 c nodes exc. ref. : 0 (0.0%)
3586.24/3597.06 c delayed cutoffs : 0
3586.24/3597.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.24/3597.06 c avg switch length: 2.00
3586.24/3597.06 c switching time : 0.26
3586.24/3597.06 c Root Node :
3586.24/3597.06 c First LP value : +4.65757931694950e+05
3586.24/3597.06 c First LP Iters : 6782 (298.51 Iter/sec)
3586.24/3597.06 c First LP Time : 22.72
3586.24/3597.06 c Final Dual Bound : +6.17415873731269e+05
3586.24/3597.06 c Final Root Iters : 41166
3586.24/3597.06 c Root LP Estimate : +1.14888961653740e+07
3586.24/3597.06 c Solution :
3586.24/3597.06 c Solutions found : 0 (0 improvements)
3586.24/3597.06 c Primal Bound : -
3586.24/3597.06 c Dual Bound : +6.31728524418694e+05
3586.24/3597.06 c Gap : infinite
3586.24/3597.06 c Integrals : Total Avg%
3586.24/3597.06 c primal-dual : 359703.48 100.00
3586.24/3597.06 c primal-ref : - - (not evaluated)
3586.24/3597.06 c dual-ref : - - (not evaluated)
3590.23/3601.05 c Time complete: 3590.28.
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: 63931 MiB (58753 MiB free)
memory of node 1: 64510 MiB (61769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432880-1721140053/watcher-4432880-1721140053 -o /tmp/evaluation-result-4432880-1721140053/solver-4432880-1721140053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721140065-857045 --watchdog 3760 pbscip -f HOME/instance-4432880-1721140053.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=857102, runsolver pid=857098
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=123149084/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=173364 memory=128800 CPUtime=0.09 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 29326 0 0 0 5 4 0 0 20 0 1 0 166165528 177524736 32200 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 43341 32200 3188 3540 0 31598 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 173364 KiB
Current children cumulated memory: 128800 KiB
[startup+0.205858 s]*
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122984192/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=218672 memory=174500 CPUtime=0.2 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 40696 0 0 0 14 6 0 0 20 0 1 0 166165528 223920128 43625 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 54668 43625 3204 3540 0 42925 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 218672 KiB
Current children cumulated memory: 174500 KiB
[startup+0.305665 s]*
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122845116/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=270992 memory=225724 CPUtime=0.3 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 53558 0 0 0 22 8 0 0 20 0 1 0 166165528 277495808 56431 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 67748 56431 3204 3540 0 56005 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 270992 KiB
Current children cumulated memory: 225724 KiB
[startup+0.700236 s]
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122588784/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=424876 memory=380216 CPUtime=0.69 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 91644 0 0 0 56 13 0 0 20 0 1 0 166165528 435073024 95054 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 106219 95054 3204 3540 0 94476 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 424876 KiB
Current children cumulated memory: 380216 KiB
[startup+1.50022 s]
/proc/loadavg: 1.26 2.62 3.49 5/257 857108
/proc/meminfo: memFree=122052872/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=593988 memory=549208 CPUtime=1.49 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 131326 0 0 0 130 19 0 0 20 0 1 0 166165528 608243712 137302 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 148497 137302 3204 3540 0 136754 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 593988 KiB
Current children cumulated memory: 549208 KiB
[startup+3.10573 s]
/proc/loadavg: 1.48 2.64 3.50 5/257 857154
/proc/meminfo: memFree=119826828/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=1346868 memory=1303768 CPUtime=3.09 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 326516 0 0 0 261 48 0 0 20 0 1 0 166165528 1379192832 325942 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 336717 325942 3508 3540 0 324974 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1346868 KiB
Current children cumulated memory: 1303768 KiB
[startup+6.30021 s]
/proc/loadavg: 1.48 2.64 3.50 5/257 857154
/proc/meminfo: memFree=117622812/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=2252344 memory=2102552 CPUtime=6.27 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 501120 0 0 0 552 75 0 0 20 0 1 0 166165528 2306400256 525638 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 563086 525638 3588 3540 0 551343 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2252344 KiB
Current children cumulated memory: 2102552 KiB
[startup+12.7002 s]
/proc/loadavg: 1.87 2.69 3.50 5/257 857156
/proc/meminfo: memFree=116072568/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=2690340 memory=2620512 CPUtime=12.65 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 532260 0 0 0 1168 97 0 0 20 0 1 0 166165528 2754908160 655128 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 672585 655128 3731 3540 0 660842 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2690340 KiB
Current children cumulated memory: 2620512 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 2.73 3.51 5/258 857326
/proc/meminfo: memFree=115360224/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=2982880 memory=2907180 CPUtime=25.41 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 679221 0 0 0 2418 123 0 0 20 0 1 0 166165528 3054469120 726795 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 745720 726795 3779 3540 0 733977 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2982880 KiB
Current children cumulated memory: 2907180 KiB
[startup+51.1063 s]
/proc/loadavg: 2.95 2.87 3.53 5/259 857332
/proc/meminfo: memFree=114965228/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=3113152 memory=3039172 CPUtime=50.93 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 685245 0 0 0 4965 128 0 0 20 0 1 0 166165528 3187867648 759793 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 778288 759793 3779 3540 0 766545 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3113152 KiB
Current children cumulated memory: 3039172 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 3.09 3.58 5/259 857341
/proc/meminfo: memFree=113836188/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=3113152 memory=3039172 CPUtime=101.95 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 685362 0 0 0 10066 129 0 0 20 0 1 0 166165528 3187867648 759793 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 778288 759793 3779 3540 0 766545 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 3113152 KiB
Current children cumulated memory: 3039172 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 3.40 3.66 5/259 857409
/proc/meminfo: memFree=111668952/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4246940 memory=4048832 CPUtime=161.76 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 874787 0 0 0 16009 167 0 0 20 0 1 0 166165528 4348866560 1012208 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1061735 1012208 3843 3540 0 1049992 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4246940 KiB
Current children cumulated memory: 4048832 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 3.54 3.69 5/259 857420
/proc/meminfo: memFree=111191880/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4459544 memory=4231948 CPUtime=221.56 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 898716 0 0 0 21984 172 0 0 20 0 1 0 166165528 4566573056 1057987 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1114886 1057987 3939 3540 0 1103143 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 4459544 KiB
Current children cumulated memory: 4231948 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.65 3.72 5/259 857430
/proc/meminfo: memFree=110552124/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4466772 memory=4239040 CPUtime=281.37 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 900577 0 0 0 27964 173 0 0 20 0 1 0 166165528 4573974528 1059760 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1116693 1059760 3939 3540 0 1104950 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 4466772 KiB
Current children cumulated memory: 4239040 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.73 3.74 5/257 857440
/proc/meminfo: memFree=110536752/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4473812 memory=4245812 CPUtime=341.19 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 902344 0 0 0 33944 175 0 0 20 0 1 0 166165528 4581183488 1061453 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1118453 1061453 3939 3540 0 1106710 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 4473812 KiB
Current children cumulated memory: 4245812 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.80 3.77 5/256 857452
/proc/meminfo: memFree=110524608/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4478804 memory=4251044 CPUtime=401.01 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 903748 0 0 0 39925 176 0 0 20 0 1 0 166165528 4586295296 1062761 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1119701 1062761 3939 3540 0 1107958 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 4478804 KiB
Current children cumulated memory: 4251044 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.85 3.79 5/255 857463
/proc/meminfo: memFree=110510716/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=4486352 memory=4258092 CPUtime=460.85 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 905597 0 0 0 45907 178 0 0 20 0 1 0 166165528 4594024448 1064523 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1121588 1064523 3939 3540 0 1109845 0
################
# More data... #
################
Current children cumulated memory: 7486016 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 858549
/proc/meminfo: memFree=102631844/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486016 CPUtime=3212.78 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1696857 0 0 0 320911 367 0 0 20 0 1 0 166165528 8714485760 1871504 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871504 4002 3540 0 2115817 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/256 858559
/proc/meminfo: memFree=102620684/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486016 CPUtime=3272.59 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1698826 0 0 0 326891 368 0 0 20 0 1 0 166165528 8714485760 1871504 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871504 4002 3540 0 2115817 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486016 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 858569
/proc/meminfo: memFree=102615172/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486016 CPUtime=3332.35 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1700302 0 0 0 332865 370 0 0 20 0 1 0 166165528 8714485760 1871504 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871504 4002 3540 0 2115817 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 858582
/proc/meminfo: memFree=102601920/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7486924 CPUtime=3392.14 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1702244 0 0 0 338843 371 0 0 20 0 1 0 166165528 8714485760 1871731 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871731 4002 3540 0 2115817 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7486924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.65 4.25 4.14 5/256 858975
/proc/meminfo: memFree=102588708/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7487396 CPUtime=3451.95 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1703892 0 0 0 344822 373 0 0 20 0 1 0 166165528 8714485760 1871849 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1871849 4002 3540 0 2115817 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7487396 KiB
[startup+3522.3 s]
/proc/loadavg: 4.67 4.33 4.17 5/256 858986
/proc/meminfo: memFree=102555508/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7488432 CPUtime=3511.76 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1705886 0 0 0 350801 375 0 0 20 0 1 0 166165528 8714485760 1872108 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1872108 4002 3540 0 2115817 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7488432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.53 4.36 4.19 5/256 858997
/proc/meminfo: memFree=102539572/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498616 CPUtime=3571.58 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1707828 0 0 0 356782 376 0 0 20 0 1 0 166165528 8714485760 1874654 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874654 4002 3540 0 2115817 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498616 KiB
[startup+3601.15 s]
# the end of solver process 857102 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.48 s, system=3.89869 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.49 4.35 4.19 5/256 858997
/proc/meminfo: memFree=102539620/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498616 CPUtime=3573.28 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1707829 0 0 0 356952 376 0 0 20 0 1 0 166165528 8714485760 1874654 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874654 4002 3540 0 2115817 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498616 KiB
[startup+3590.4 s]
/proc/loadavg: 4.45 4.35 4.19 5/256 858998
/proc/meminfo: memFree=102539220/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498988 CPUtime=3579.65 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1707852 0 0 0 357589 376 0 0 20 0 1 0 166165528 8714485760 1874747 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874747 4002 3540 0 2115817 0
Current children cumulated CPU time: 3579.65 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498988 KiB
[startup+3596.8 s]
/proc/loadavg: 4.41 4.34 4.19 5/256 858998
/proc/meminfo: memFree=102539248/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7498988 CPUtime=3586.04 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1708096 0 0 0 358227 377 0 0 20 0 1 0 166165528 8714485760 1874747 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1874747 4002 3540 0 2115817 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7498988 KiB
[startup+3598.4 s]
/proc/loadavg: 4.38 4.33 4.18 5/256 859000
/proc/meminfo: memFree=102688456/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8510240 memory=7504036 CPUtime=3587.63 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1708686 0 0 0 358386 377 0 0 20 0 1 0 166165528 8714485760 1876009 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2127560 1876009 4002 3540 0 2115817 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 8510240 KiB
Current children cumulated memory: 7504036 KiB
[startup+3600 s]*
/proc/loadavg: 4.38 4.33 4.18 5/252 859035
/proc/meminfo: memFree=105455260/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8498944 memory=7493840 CPUtime=3589.23 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1708856 0 0 0 358546 377 0 0 20 0 1 0 166165528 8702918656 1873460 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2124736 1873460 4002 3540 0 2112993 0
Current children cumulated CPU time: 3589.23 s
Current children cumulated vsize: 8498944 KiB
Current children cumulated memory: 7493840 KiB
[startup+3600.8 s]
/proc/loadavg: 4.38 4.33 4.18 5/252 859035
/proc/meminfo: memFree=105455260/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=8244208 memory=7237304 CPUtime=3590.02 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1709917 0 0 0 358624 378 0 0 20 0 1 0 166165528 8442068992 1809551 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 2060827 1809326 4002 3540 0 2049084 0
Current children cumulated CPU time: 3590.02 s
Current children cumulated vsize: 8244208 KiB
Current children cumulated memory: 7237304 KiB
[startup+3601 s]*
/proc/loadavg: 4.38 4.33 4.18 5/254 859060
/proc/meminfo: memFree=108618184/131524600 swapFree=131071996/131071996
[pid=857102] ppid=857098 vsize=7855444 memory=6851560 CPUtime=3590.23 cores=4,6
/proc/857102/stat : 857102 (pbscip) R 857098 857102 857034 0 -1 4194304 1710225 0 0 0 358644 379 0 0 20 0 1 0 166165528 8043974656 1712890 134679101440 4194304 18693293 140735559065584 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42188800 140735559070724 140735559070823 140735559070823 140735559077838 0
/proc/857102/statm: 1963861 1712890 4002 3540 0 1952118 0
Current children cumulated CPU time: 3590.23 s
Current children cumulated vsize: 7855444 KiB
Current children cumulated memory: 6851560 KiB
[startup+3601.11 s]*
/proc/loadavg: 4.38 4.33 4.18 5/254 859060
/proc/meminfo: memFree=114006528/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3601.15
CPU time (s): 3590.38
CPU user time (s): 3586.48
CPU system time (s): 3.89869
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 8574320
Max. memory (cumulated for all children) (KiB): 7534308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.48
system time used= 3.89869
maximum resident set size= 7534308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1710879
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= 45
involuntary context switches= 2134
# summary of solver processes directly reported to runsolver:
# pid: 857102
# total CPU time (s): 3590.38
# total CPU user time (s): 3586.48
# total CPU system time (s): 3.89869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01956 second user time and 17.4566 second system time
The end