0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3452719-1307092487.opb>
0.00/0.05 c original problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 2430 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.07 c presolving:
0.00/0.10 c (round 1) 0 del vars, 1210 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 0 impls, 0 clqs
0.19/0.23 c (0.2s) probing: 112/1287 (8.7%) - 0 fixings, 0 aggregations, 489 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (2 rounds):
0.19/0.23 c 0 deleted vars, 1210 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 2530 implications, 0 cliques
0.19/0.23 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1220 constraints
0.19/0.23 c 10 constraints of type <knapsack>
0.19/0.23 c 1210 constraints of type <linear>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.17
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 2.0.1.4
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1800
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 13950
0.19/0.23 c
0.19/0.23 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.23 c # [type: int, range: [1,2], default: 1]
0.19/0.23 c timing/clocktype = 2
0.19/0.23 c
0.19/0.23 c # belongs reading time to solving time?
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c timing/reading = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/indicator/addCouplingCons = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c 0.3s| 1 | 0 | 1424 | - |9845k| 0 | 768 |1287 |1237 |1287 |1220 | 0 | 17 | 0 | 1.000000e+01 | -- | Inf
1.39/1.46 c 1.5s| 1 | 0 | 6881 | - | 11M| 0 | 779 |1287 |1651 |1287 |1334 | 114 | 17 | 0 | 1.000000e+01 | -- | Inf
1.49/1.58 c 1.6s| 1 | 0 | 6966 | - | 11M| 0 | 783 |1287 |1651 |1287 |1447 | 227 | 17 | 0 | 1.000000e+01 | -- | Inf
1.69/1.73 c 1.7s| 1 | 0 | 7115 | - | 12M| 0 | 774 |1287 |1651 |1287 |1565 | 345 | 17 | 0 | 1.000000e+01 | -- | Inf
1.89/1.90 c 1.9s| 1 | 0 | 7483 | - | 13M| 0 | 780 |1287 |1651 |1287 |1677 | 457 | 17 | 0 | 1.000000e+01 | -- | Inf
1.99/2.08 c 2.1s| 1 | 0 | 7781 | - | 13M| 0 | 795 |1287 |1651 |1287 |1797 | 577 | 17 | 0 | 1.000509e+01 | -- | Inf
2.19/2.27 c 2.3s| 1 | 0 | 8150 | - | 14M| 0 | 794 |1287 |1651 |1287 |1923 | 703 | 17 | 0 | 1.025000e+01 | -- | Inf
2.49/2.59 c 2.6s| 1 | 0 | 8591 | - | 14M| 0 | 793 |1287 |1651 |1287 |2031 | 811 | 17 | 0 | 1.025000e+01 | -- | Inf
2.89/2.95 c 3.0s| 1 | 0 | 10184 | - | 15M| 0 | 797 |1287 |1651 |1287 |2151 | 931 | 17 | 0 | 1.025000e+01 | -- | Inf
3.20/3.25 c 3.3s| 1 | 0 | 10783 | - | 15M| 0 | 797 |1287 |1651 |1287 |2276 |1056 | 17 | 0 | 1.033333e+01 | -- | Inf
3.60/3.65 c 3.7s| 1 | 0 | 11243 | - | 16M| 0 | 795 |1287 |1651 |1287 |2397 |1177 | 17 | 0 | 1.033333e+01 | -- | Inf
3.79/3.84 c 3.8s| 1 | 0 | 11966 | - | 16M| 0 | 782 |1287 |1651 |1287 |2453 |1233 | 17 | 0 | 1.033333e+01 | -- | Inf
3.99/4.01 c 4.0s| 1 | 0 | 12491 | - | 16M| 0 | 779 |1287 |1651 |1287 |2501 |1281 | 17 | 0 | 1.033333e+01 | -- | Inf
4.09/4.18 c 4.2s| 1 | 0 | 13089 | - | 17M| 0 | 783 |1287 |1651 |1287 |2535 |1315 | 17 | 0 | 1.033333e+01 | -- | Inf
4.39/4.43 c 4.4s| 1 | 0 | 14365 | - | 17M| 0 | 778 |1287 |1651 |1287 |2576 |1356 | 17 | 0 | 1.033333e+01 | -- | Inf
10.69/10.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.69/10.73 c 10.7s| 1 | 2 | 14365 | - | 17M| 0 | 778 |1287 |1651 |1287 |2576 |1356 | 17 | 55 | 1.033333e+01 | -- | Inf
243.00/243.04 c 243s| 10000 | 5687 | 1619k| 160.5 | 29M| 72 | 368 |1287 |3328 |1287 |1523 |1356 |8844 |6771 | 1.500000e+01 | -- | Inf
363.90/363.95 c 364s| 20000 | 8163 | 2626k| 130.6 | 37M| 72 | 292 |1287 |3923 |1287 |1523 |1356 | 21k|9867 | 1.600000e+01 | -- | Inf
457.40/457.45 c 457s| 30000 | 9719 | 3426k| 113.8 | 44M| 72 | - |1287 |4975 |1287 |1523 |1356 | 35k| 12k| 1.600000e+01 | -- | Inf
556.50/556.59 c 557s| 40000 | 10961 | 4169k| 103.9 | 49M| 72 | 398 |1287 |4986 |1287 |1523 |1356 | 51k| 15k| 1.700000e+01 | -- | Inf
633.40/633.41 c 633s| 50000 | 12019 | 4870k| 97.1 | 53M| 79 | 526 |1287 |5514 |1287 |1523 |1356 | 66k| 16k| 1.700000e+01 | -- | Inf
723.31/723.35 c 723s| 60000 | 13078 | 5576k| 92.7 | 59M| 79 | 623 |1287 |6810 |1287 |1523 |1356 | 83k| 18k| 1.700000e+01 | -- | Inf
801.21/801.25 c 801s| 70000 | 14208 | 6270k| 89.4 | 63M| 82 | 427 |1287 |6642 |1287 |1523 |1356 | 98k| 20k| 1.702216e+01 | -- | Inf
876.21/876.25 c 876s| 80000 | 15023 | 6874k| 85.7 | 67M| 106 | - |1287 |6469 |1287 |1523 |1356 | 114k| 21k| 1.800000e+01 | -- | Inf
939.81/939.84 c 940s| 90000 | 15685 | 7423k| 82.3 | 71M| 110 | 238 |1287 |7172 |1287 |1523 |1356 | 130k| 23k| 1.800000e+01 | -- | Inf
1007.91/1007.94 c 1008s|100000 | 16865 | 8071k| 80.6 | 77M| 110 | - |1287 |6652 |1287 |1523 |1356 | 145k| 24k| 1.800000e+01 | -- | Inf
1079.91/1079.95 c 1080s|110000 | 17610 | 8598k| 78.0 | 81M| 110 | - |1287 |7587 |1287 |1523 |1356 | 161k| 27k| 1.800000e+01 | -- | Inf
1138.41/1138.40 c 1138s|120000 | 18382 | 9160k| 76.2 | 86M| 110 | 433 |1287 |9777 |1287 |1523 |1356 | 176k| 27k| 1.800000e+01 | -- | Inf
1191.51/1191.59 c 1192s|130000 | 19065 | 9675k| 74.3 | 89M| 110 | - |1287 |9044 |1287 |1523 |1356 | 192k| 27k| 1.800551e+01 | -- | Inf
1256.92/1256.99 c 1257s|140000 | 19629 | 10171k| 72.6 | 93M| 110 | 319 |1287 |9418 |1287 |1523 |1356 | 210k| 29k| 1.877778e+01 | -- | Inf
1324.12/1324.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.12/1324.19 c 1324s|150000 | 20145 | 10653k| 70.9 | 96M| 110 | - |1287 |9854 |1287 |1523 |1356 | 228k| 31k| 1.900000e+01 | -- | Inf
1381.33/1381.32 c 1381s|160000 | 20784 | 11157k| 69.6 | 99M| 110 | - |1287 |8997 |1287 |1523 |1356 | 245k| 32k| 1.900000e+01 | -- | Inf
1429.62/1429.68 c 1430s|170000 | 21263 | 11585k| 68.1 | 104M| 122 | 299 |1287 | 11k|1287 |1523 |1356 | 263k| 32k| 1.900000e+01 | -- | Inf
1489.23/1489.25 c 1489s|180000 | 21717 | 12019k| 66.7 | 107M| 122 | 484 |1287 | 12k|1287 |1523 |1356 | 281k| 35k| 1.900000e+01 | -- | Inf
1553.34/1553.33 c 1553s|190000 | 22259 | 12495k| 65.7 | 110M| 136 | 191 |1287 | 10k|1287 |1523 |1356 | 301k| 37k| 1.900000e+01 | -- | Inf
1611.93/1611.94 c 1612s|200000 | 22718 | 12954k| 64.7 | 113M| 136 | - |1287 |9166 | 0 | 0 |1356 | 319k| 39k| 1.900000e+01 | -- | Inf
1664.34/1664.32 c 1664s|210000 | 23394 | 13474k| 64.1 | 117M| 136 | 398 |1287 |8114 |1287 |1523 |1356 | 336k| 39k| 1.900000e+01 | -- | Inf
1718.43/1718.48 c 1718s|220000 | 23915 | 13941k| 63.3 | 121M| 136 | 412 |1287 |9497 |1287 |1523 |1356 | 352k| 40k| 1.900000e+01 | -- | Inf
1784.03/1784.09 c 1784s|230000 | 24857 | 14480k| 62.9 | 126M| 136 | 413 |1287 |7411 |1287 |1523 |1356 | 369k| 42k| 1.900551e+01 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 232668
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +1.90055401662050e+01
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.17 (included in solving)
1800.03/1800.00 c reading : 0.05 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452719-1307092487.opb
1800.03/1800.00 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 2430 initial, 2430 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452719-1307092487.opb
1800.03/1800.00 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 1220 initial, 12996 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.13 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.03 0 0 0 0 0 1210 0 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 147439 0 4 0 238 32111 0 0 280720
1800.03/1800.00 c knapsack : 10 14 1398873 0 2 3 995744 3171 128999 175 0 0
1800.03/1800.00 c linear : 1210+ 15 1395751 0 0 0 1080239 37703 11309289 2 0 0
1800.03/1800.00 c logicor : 0+ 14 793735 0 0 0 1888137 3751 1658916 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 335.75 0.00 0.00 335.75 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 7.71 0.00 7.30 0.00 0.00 0.00 0.41
1800.03/1800.00 c linear : 138.02 0.00 136.90 0.00 0.00 0.00 1.12
1800.03/1800.00 c logicor : 29.79 0.00 28.51 0.00 0.00 0.00 1.29
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 1398746 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.21 0.21 0.00
1800.03/1800.00 c rootredcost : 0.22 0.22 0.00
1800.03/1800.00 c pseudoobj : 0.57 0.57 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 4.20 44625 44582 570795 39.7 2449 22.1 -
1800.03/1800.00 c infeasible LP : 10.43 83711 83711 389837 25.3 8504 16.1 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 375064 24.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.01 13 - - 11110 - (maximal pool size: 7010)
1800.03/1800.00 c redcost : 2.78 147612 0 329 0 0
1800.03/1800.00 c impliedbounds : 0.00 14 0 0 29 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.37 14 0 0 1683 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.35 14 0 0 1593 0
1800.03/1800.00 c cmir : 0.83 10 0 0 5000 0
1800.03/1800.00 c flowcover : 0.51 10 0 0 2000 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.73 1 0 0 0 414
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 335.62 147439 238 32111 0 0 280720
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.08 0 0
1800.03/1800.00 c crossover : 0.05 0 0
1800.03/1800.00 c guideddiving : 0.01 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c coefdiving : 73.45 233 0
1800.03/1800.00 c objpscostdiving : 17.38 119 0
1800.03/1800.00 c fracdiving : 51.89 242 0
1800.03/1800.00 c rootsoldiving : 7.40 133 0
1800.03/1800.00 c pscostdiving : 29.41 334 0
1800.03/1800.00 c veclendiving : 21.44 334 0
1800.03/1800.00 c linesearchdiving : 24.08 359 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c shiftandpropagate: 0.03 1 0
1800.03/1800.00 c simplerounding : 0.04 0 0
1800.03/1800.00 c zirounding : 0.25 1000 0
1800.03/1800.00 c rounding : 1.47 5338 0
1800.03/1800.00 c shifting : 10.17 1667 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 17.45 119 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.04 0 0
1800.03/1800.00 c trysol : 0.05 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 891.99 209483 12291319 58.67 13779.65
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 209.87 67172 2308418 34.37 10999.16
1800.03/1800.00 c strong branching : 321.96 43584 2689957 61.72 8354.98
1800.03/1800.00 c (at root node) : - 55 41354 751.89 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 232668
1800.03/1800.00 c nodes (total) : 232668
1800.03/1800.00 c nodes left : 25029
1800.03/1800.00 c max depth : 136
1800.03/1800.00 c max depth (total): 136
1800.03/1800.00 c backtracks : 36889 (15.9%)
1800.03/1800.00 c delayed cutoffs : 23028
1800.03/1800.00 c repropagations : 454319 (4452617 domain reductions, 12349 cutoffs)
1800.03/1800.00 c avg switch length: 7.27
1800.03/1800.00 c switching time : 86.72
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +1.90055401662050e+01
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +1.03333333333333e+01
1800.03/1800.00 c Root Iterations : 14365
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452719-1307092487/watcher-3452719-1307092487 -o /tmp/evaluation-result-3452719-1307092487/solver-3452719-1307092487 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452719-1307092487.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.88 2.32 2.79 4/513 4659
/proc/meminfo: memFree=19256648/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=10128 CPUtime=0 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 1526 0 0 0 0 0 0 0 19 0 1 0 899479489 10371072 1480 33554432000 4194304 9128323 140735804457056 18446744073709551615 4337651 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4659/statm: 2532 1480 400 1205 0 1323 0
[startup+0.102176 s]
/proc/loadavg: 1.88 2.32 2.79 4/513 4659
/proc/meminfo: memFree=19256648/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=37600 CPUtime=0.09 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 8322 0 0 0 9 0 0 0 19 0 1 0 899479489 38502400 8018 33554432000 4194304 9128323 140735804457056 18446744073709551615 5234510 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 9400 8018 526 1205 0 8191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37600
[startup+0.201166 s]
/proc/loadavg: 1.88 2.32 2.79 4/513 4659
/proc/meminfo: memFree=19256648/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=37600 CPUtime=0.19 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 8353 0 0 0 19 0 0 0 20 0 1 0 899479489 38502400 8049 33554432000 4194304 9128323 140735804457056 18446744073709551615 5234510 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 9400 8049 542 1205 0 8191 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37600
[startup+0.301141 s]
/proc/loadavg: 1.88 2.32 2.79 4/513 4659
/proc/meminfo: memFree=19256648/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=46584 CPUtime=0.29 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 10983 0 0 0 28 1 0 0 20 0 1 0 899479489 47702016 10363 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 11646 10363 667 1205 0 10437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46584
[startup+0.701074 s]
/proc/loadavg: 1.88 2.32 2.79 4/513 4659
/proc/meminfo: memFree=19256648/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=46584 CPUtime=0.69 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 11126 0 0 0 68 1 0 0 21 0 1 0 899479489 47702016 10456 33554432000 4194304 9128323 140735804457056 18446744073709551615 4312063 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 11646 10456 688 1205 0 10437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46584
[startup+1.50093 s]
/proc/loadavg: 1.88 2.32 2.79 4/515 4661
/proc/meminfo: memFree=19165616/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=67268 CPUtime=1.49 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 16522 0 0 0 147 2 0 0 23 0 1 0 899479489 68882432 15488 33554432000 4194304 9128323 140735804457056 18446744073709551615 8008930 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 16817 15488 734 1205 0 15608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67268
[startup+3.10054 s]
/proc/loadavg: 1.88 2.32 2.79 4/515 4661
/proc/meminfo: memFree=19162640/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=67268 CPUtime=3.1 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 16886 0 0 0 306 4 0 0 25 0 1 0 899479489 68882432 15838 33554432000 4194304 9128323 140735804457056 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 16817 15838 720 1205 0 15608 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 67268
[startup+6.3011 s]
/proc/loadavg: 1.89 2.32 2.78 4/515 4661
/proc/meminfo: memFree=19157396/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=72680 CPUtime=6.29 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 18213 0 0 0 624 5 0 0 25 0 1 0 899479489 74424320 17165 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 18170 17165 726 1205 0 16961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72680
[startup+12.701 s]
/proc/loadavg: 1.90 2.31 2.78 4/515 4662
/proc/meminfo: memFree=19154796/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=72680 CPUtime=12.69 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 18213 0 0 0 1258 11 0 0 25 0 1 0 899479489 74424320 17165 33554432000 4194304 9128323 140735804457056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 18170 17165 726 1205 0 16961 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72680
[startup+25.5007 s]
/proc/loadavg: 1.92 2.30 2.77 4/515 4662
/proc/meminfo: memFree=19152008/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=72680 CPUtime=25.5 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 18214 0 0 0 2524 26 0 0 25 0 1 0 899479489 74424320 17166 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 18170 17166 726 1205 0 16961 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 72680
[startup+51.1013 s]
/proc/loadavg: 1.95 2.27 2.74 4/515 4663
/proc/meminfo: memFree=19142404/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=72680 CPUtime=51.09 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 18218 0 0 0 5054 55 0 0 25 0 1 0 899479489 74424320 17170 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 18170 17170 728 1205 0 16961 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72680
[startup+102.301 s]
/proc/loadavg: 1.98 2.23 2.70 4/515 4664
/proc/meminfo: memFree=19118684/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=72680 CPUtime=102.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 18226 0 0 0 10113 117 0 0 25 0 1 0 899479489 74424320 17178 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 18170 17178 728 1205 0 16961 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72680
[startup+162.301 s]
/proc/loadavg: 1.99 2.18 2.66 4/515 4666
/proc/meminfo: memFree=19093372/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=74408 CPUtime=162.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 18614 0 0 0 16057 173 0 0 25 0 1 0 899479489 76193792 17566 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 18602 17566 728 1205 0 17393 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 74408
[startup+222.32 s]
/proc/loadavg: 1.99 2.15 2.61 4/515 4667
/proc/meminfo: memFree=19069540/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=78144 CPUtime=222.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 27468 0 0 0 21989 243 0 0 25 0 1 0 899479489 80019456 18485 33554432000 4194304 9128323 140735804457056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 19536 18485 728 1205 0 18327 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 78144
[startup+282.301 s]
/proc/loadavg: 1.99 2.12 2.57 4/515 4669
/proc/meminfo: memFree=19047804/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=83148 CPUtime=282.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 49268 0 0 0 27907 323 0 0 25 0 1 0 899479489 85143552 19773 33554432000 4194304 9128323 140735804457056 18446744073709551615 4705896 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 20787 19773 728 1205 0 19578 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 83148
[startup+342.301 s]
/proc/loadavg: 1.99 2.09 2.53 4/515 4670
/proc/meminfo: memFree=19017396/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=92828 CPUtime=342.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 71411 0 0 0 33835 395 0 0 25 0 1 0 899479489 95055872 22148 33554432000 4194304 9128323 140735804457056 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 23207 22148 728 1205 0 21998 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 92828
[startup+402.301 s]
/proc/loadavg: 1.99 2.07 2.50 4/515 4672
/proc/meminfo: memFree=18990072/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=102444 CPUtime=402.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 105333 0 0 0 39758 472 0 0 25 0 1 0 899479489 104902656 24574 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 25611 24574 728 1205 0 24402 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 102444
[startup+462.3 s]
/proc/loadavg: 1.99 2.06 2.46 4/515 4674
/proc/meminfo: memFree=18977536/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=109776 CPUtime=462.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 123963 0 0 0 45687 543 0 0 25 0 1 0 899479489 112410624 26448 33554432000 4194304 9128323 140735804457056 18446744073709551615 5318940 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 27444 26448 728 1205 0 26235 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 109776
[startup+522.301 s]
/proc/loadavg: 2.11 2.09 2.44 4/515 4675
/proc/meminfo: memFree=18966856/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=116760 CPUtime=522.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 140083 0 0 0 51617 613 0 0 25 0 1 0 899479489 119562240 28190 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 29190 28190 728 1205 0 27981 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 116760
[startup+582.3 s]
/proc/loadavg: 2.11 2.10 2.43 4/515 4677
/proc/meminfo: memFree=18963868/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=119696 CPUtime=582.3 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 153555 0 0 0 57545 685 0 0 25 0 1 0 899479489 122568704 28889 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 29924 28889 728 1205 0 28715 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 119696
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.00 2.03 2.30 4/515 4685
/proc/meminfo: memFree=18933728/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=143832 CPUtime=882.33 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 236796 0 0 0 87185 1048 0 0 25 0 1 0 899479489 147283968 34973 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 35958 34973 728 1205 0 34749 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 143832
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.27 4/515 4686
/proc/meminfo: memFree=18929860/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=148800 CPUtime=942.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 245790 0 0 0 93113 1119 0 0 25 0 1 0 899479489 152371200 36181 33554432000 4194304 9128323 140735804457056 18446744073709551615 7346454 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 37200 36181 728 1205 0 35991 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 148800
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.25 4/515 4688
/proc/meminfo: memFree=18925244/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=153096 CPUtime=1002.31 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 269088 0 0 0 99037 1194 0 0 25 0 1 0 899479489 156770304 37220 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 38274 37220 728 1205 0 37065 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 153096
[startup+1062.3 s]
/proc/loadavg: 2.10 2.04 2.25 4/515 4690
/proc/meminfo: memFree=18915044/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=161816 CPUtime=1062.31 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 278790 0 0 0 104968 1263 0 0 25 0 1 0 899479489 165699584 39438 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 40454 39438 728 1205 0 39245 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 161816
[startup+1122.3 s]
/proc/loadavg: 2.13 2.06 2.24 4/515 4691
/proc/meminfo: memFree=18912048/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=164820 CPUtime=1122.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 293239 0 0 0 110896 1336 0 0 25 0 1 0 899479489 168775680 40206 33554432000 4194304 9128323 140735804457056 18446744073709551615 7343070 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 41205 40206 728 1205 0 39996 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 164820
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.22 3/515 4720
/proc/meminfo: memFree=19074504/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=172480 CPUtime=1182.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 302230 0 0 0 116826 1406 0 0 25 0 1 0 899479489 176619520 42054 33554432000 4194304 9128323 140735804457056 18446744073709551615 5234321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 43120 42054 728 1205 0 41911 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 172480
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.21 3/515 4721
/proc/meminfo: memFree=19068808/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=176636 CPUtime=1242.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 312619 0 0 0 122760 1472 0 0 25 0 1 0 899479489 180875264 43199 33554432000 4194304 9128323 140735804457056 18446744073709551615 4786892 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 44159 43199 728 1205 0 42950 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 176636
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.19 3/515 4723
/proc/meminfo: memFree=19065692/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=178064 CPUtime=1302.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 323385 0 0 0 128693 1539 0 0 25 0 1 0 899479489 182337536 43565 33554432000 4194304 9128323 140735804457056 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 44516 43565 728 1205 0 43307 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 178064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/515 4725
/proc/meminfo: memFree=19061944/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=184152 CPUtime=1362.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 329225 0 0 0 134635 1597 0 0 25 0 1 0 899479489 188571648 44987 33554432000 4194304 9128323 140735804457056 18446744073709551615 4793973 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 46038 44987 727 1205 0 44829 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 184152
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/515 4726
/proc/meminfo: memFree=19054720/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=191208 CPUtime=1422.33 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 331714 0 0 0 140567 1666 0 0 25 0 1 0 899479489 195796992 46838 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 47802 46838 727 1205 0 46593 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 191208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.15 3/515 4731
/proc/meminfo: memFree=19050712/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=195064 CPUtime=1482.32 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 333359 0 0 0 146504 1728 0 0 25 0 1 0 899479489 199745536 47765 33554432000 4194304 9128323 140735804457056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 48766 47765 727 1205 0 47557 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 195064
[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 2.14 3/515 4732
/proc/meminfo: memFree=19048700/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=197316 CPUtime=1542.35 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 338082 0 0 0 152437 1798 0 0 25 0 1 0 899479489 202051584 48383 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 49329 48383 727 1205 0 48120 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 197316
[startup+1602.3 s]
/proc/loadavg: 2.15 2.03 2.14 3/515 4734
/proc/meminfo: memFree=19045568/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=200416 CPUtime=1602.33 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 345102 0 0 0 158364 1869 0 0 25 0 1 0 899479489 205225984 49090 33554432000 4194304 9128323 140735804457056 18446744073709551615 5205809 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 50104 49090 727 1205 0 48895 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 200416
[startup+1662.3 s]
/proc/loadavg: 2.20 2.06 2.14 3/515 4736
/proc/meminfo: memFree=19038588/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=206888 CPUtime=1662.33 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 350199 0 0 0 164291 1942 0 0 25 0 1 0 899479489 211853312 50774 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 51722 50774 727 1205 0 50513 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 206888
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.13 3/515 4737
/proc/meminfo: memFree=19032968/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=212892 CPUtime=1722.33 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 353071 0 0 0 170220 2013 0 0 25 0 1 0 899479489 218001408 52278 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 53223 52278 727 1205 0 52014 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 212892
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.11 3/515 4739
/proc/meminfo: memFree=19023780/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=220156 CPUtime=1782.33 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 363458 0 0 0 176145 2088 0 0 25 0 1 0 899479489 225439744 54038 33554432000 4194304 9128323 140735804457056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/4659/statm: 55039 54038 727 1205 0 53830 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 220156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.11 3/515 4739
/proc/meminfo: memFree=19023644/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=220724 CPUtime=1800.03 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 364336 0 0 0 177896 2107 0 0 25 0 1 0 899479489 226021376 54251 33554432000 4194304 9128323 140735804457056 18446744073709551615 4240086 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4659/statm: 55181 54251 729 1205 0 53972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 220724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.02 2.03 2.11 3/515 4739
/proc/meminfo: memFree=19023644/32950940 swapFree=67111364/67111528
[pid=4659] ppid=4655 vsize=220724 CPUtime=1800.03 cores=0,2,4,6
/proc/4659/stat : 4659 (scip-2.0.1.4.li) R 4655 4659 4622 0 -1 4202496 364336 0 0 0 177896 2107 0 0 25 0 1 0 899479489 226021376 54251 33554432000 4194304 9128323 140735804457056 18446744073709551615 4240086 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4659/statm: 55181 54251 729 1205 0 53972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 220724
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1778.98
CPU system time (s): 21.0898
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 220768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.98
system time used= 21.0898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364337
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= 5
involuntary context switches= 1843
runsolver used 9.36758 second user time and 21.4347 second system time
The end