0.00/0.00 c SCIP version 2.0.1.5 [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-3451059-1307092553.opb>
0.00/0.06 c original problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 2430 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.07 c presolving:
0.09/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.25 c (0.3s) probing: 112/1287 (8.7%) - 0 fixings, 0 aggregations, 489 implications, 0 bound changes
0.19/0.25 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (2 rounds):
0.19/0.25 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.25 c 2530 implications, 0 cliques
0.19/0.25 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1220 constraints
0.19/0.25 c 10 constraints of type <knapsack>
0.19/0.25 c 1210 constraints of type <linear>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.18
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 2.0.1.5
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1800
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 13950
0.19/0.25 c
0.19/0.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.25 c # [type: int, range: [1,2], default: 1]
0.19/0.25 c timing/clocktype = 2
0.19/0.25 c
0.19/0.25 c # belongs reading time to solving time?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c timing/reading = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/indicator/addCouplingCons = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.26 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.3s| 1 | 0 | 1424 | - | 10M| 0 | 768 |1287 |1237 |1287 |1220 | 0 | 17 | 0 | 1.000000e+01 | -- | Inf
1.59/1.63 c 1.6s| 1 | 0 | 6881 | - | 11M| 0 | 779 |1287 |1651 |1287 |1334 | 114 | 17 | 0 | 1.000000e+01 | -- | Inf
1.69/1.77 c 1.8s| 1 | 0 | 6966 | - | 12M| 0 | 783 |1287 |1651 |1287 |1447 | 227 | 17 | 0 | 1.000000e+01 | -- | Inf
1.89/1.94 c 1.9s| 1 | 0 | 7115 | - | 12M| 0 | 774 |1287 |1651 |1287 |1565 | 345 | 17 | 0 | 1.000000e+01 | -- | Inf
2.09/2.13 c 2.1s| 1 | 0 | 7483 | - | 13M| 0 | 780 |1287 |1651 |1287 |1677 | 457 | 17 | 0 | 1.000000e+01 | -- | Inf
2.31/2.32 c 2.3s| 1 | 0 | 7781 | - | 13M| 0 | 795 |1287 |1651 |1287 |1797 | 577 | 17 | 0 | 1.000509e+01 | -- | Inf
2.49/2.54 c 2.5s| 1 | 0 | 8150 | - | 14M| 0 | 794 |1287 |1651 |1287 |1923 | 703 | 17 | 0 | 1.025000e+01 | -- | Inf
2.89/2.90 c 2.9s| 1 | 0 | 8591 | - | 14M| 0 | 793 |1287 |1651 |1287 |2031 | 811 | 17 | 0 | 1.025000e+01 | -- | Inf
3.19/3.30 c 3.3s| 1 | 0 | 10184 | - | 15M| 0 | 797 |1287 |1651 |1287 |2151 | 931 | 17 | 0 | 1.025000e+01 | -- | Inf
3.59/3.64 c 3.6s| 1 | 0 | 10783 | - | 16M| 0 | 797 |1287 |1651 |1287 |2276 |1056 | 17 | 0 | 1.033333e+01 | -- | Inf
3.99/4.08 c 4.1s| 1 | 0 | 11243 | - | 16M| 0 | 795 |1287 |1651 |1287 |2397 |1177 | 17 | 0 | 1.033333e+01 | -- | Inf
4.19/4.29 c 4.3s| 1 | 0 | 11966 | - | 16M| 0 | 782 |1287 |1651 |1287 |2453 |1233 | 17 | 0 | 1.033333e+01 | -- | Inf
4.40/4.48 c 4.5s| 1 | 0 | 12491 | - | 17M| 0 | 779 |1287 |1651 |1287 |2501 |1281 | 17 | 0 | 1.033333e+01 | -- | Inf
4.59/4.66 c 4.7s| 1 | 0 | 13089 | - | 17M| 0 | 783 |1287 |1651 |1287 |2535 |1315 | 17 | 0 | 1.033333e+01 | -- | Inf
4.89/4.94 c 4.9s| 1 | 0 | 14365 | - | 17M| 0 | 778 |1287 |1651 |1287 |2576 |1356 | 17 | 0 | 1.033333e+01 | -- | Inf
11.89/11.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.89/11.97 c 12.0s| 1 | 2 | 14365 | - | 17M| 0 | 778 |1287 |1651 |1287 |2576 |1356 | 17 | 55 | 1.033333e+01 | -- | Inf
255.41/255.51 c 256s| 10000 | 5687 | 1619k| 160.5 | 29M| 72 | 368 |1287 |3328 |1287 |1523 |1356 |8844 |6771 | 1.500000e+01 | -- | Inf
375.31/375.41 c 375s| 20000 | 8163 | 2626k| 130.6 | 38M| 72 | 292 |1287 |3923 |1287 |1523 |1356 | 21k|9867 | 1.600000e+01 | -- | Inf
467.92/468.05 c 468s| 30000 | 9719 | 3426k| 113.8 | 44M| 72 | - |1287 |4975 |1287 |1523 |1356 | 35k| 12k| 1.600000e+01 | -- | Inf
566.12/566.28 c 566s| 40000 | 10961 | 4169k| 103.9 | 49M| 72 | 398 |1287 |4986 |1287 |1523 |1356 | 51k| 15k| 1.700000e+01 | -- | Inf
642.33/642.43 c 642s| 50000 | 12019 | 4870k| 97.1 | 54M| 79 | 526 |1287 |5514 |1287 |1523 |1356 | 66k| 16k| 1.700000e+01 | -- | Inf
731.32/731.46 c 731s| 60000 | 13078 | 5576k| 92.7 | 59M| 79 | 623 |1287 |6810 |1287 |1523 |1356 | 83k| 18k| 1.700000e+01 | -- | Inf
808.43/808.57 c 809s| 70000 | 14208 | 6270k| 89.4 | 63M| 82 | 427 |1287 |6642 |1287 |1523 |1356 | 98k| 20k| 1.702216e+01 | -- | Inf
882.73/882.85 c 883s| 80000 | 15023 | 6874k| 85.7 | 67M| 106 | - |1287 |6469 |1287 |1523 |1356 | 114k| 21k| 1.800000e+01 | -- | Inf
945.73/945.82 c 946s| 90000 | 15685 | 7423k| 82.3 | 71M| 110 | 238 |1287 |7172 |1287 |1523 |1356 | 130k| 23k| 1.800000e+01 | -- | Inf
1013.15/1013.24 c 1013s|100000 | 16865 | 8071k| 80.6 | 77M| 110 | - |1287 |6652 |1287 |1523 |1356 | 145k| 24k| 1.800000e+01 | -- | Inf
1084.33/1084.49 c 1084s|110000 | 17610 | 8598k| 78.0 | 81M| 110 | - |1287 |7587 |1287 |1523 |1356 | 161k| 27k| 1.800000e+01 | -- | Inf
1142.23/1142.35 c 1142s|120000 | 18382 | 9160k| 76.2 | 86M| 110 | 433 |1287 |9777 |1287 |1523 |1356 | 176k| 27k| 1.800000e+01 | -- | Inf
1194.94/1195.04 c 1195s|130000 | 19065 | 9675k| 74.3 | 90M| 110 | - |1287 |9044 |1287 |1523 |1356 | 192k| 27k| 1.800551e+01 | -- | Inf
1259.64/1259.77 c 1260s|140000 | 19629 | 10171k| 72.6 | 93M| 110 | 319 |1287 |9418 |1287 |1523 |1356 | 210k| 29k| 1.877778e+01 | -- | Inf
1326.24/1326.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.24/1326.33 c 1326s|150000 | 20145 | 10653k| 70.9 | 96M| 110 | - |1287 |9854 |1287 |1523 |1356 | 228k| 31k| 1.900000e+01 | -- | Inf
1382.76/1382.88 c 1383s|160000 | 20784 | 11157k| 69.6 | 99M| 110 | - |1287 |8997 |1287 |1523 |1356 | 245k| 32k| 1.900000e+01 | -- | Inf
1430.64/1430.75 c 1431s|170000 | 21263 | 11585k| 68.1 | 104M| 122 | 299 |1287 | 11k|1287 |1523 |1356 | 263k| 32k| 1.900000e+01 | -- | Inf
1489.54/1489.67 c 1490s|180000 | 21717 | 12019k| 66.7 | 107M| 122 | 484 |1287 | 12k|1287 |1523 |1356 | 281k| 35k| 1.900000e+01 | -- | Inf
1552.95/1553.07 c 1553s|190000 | 22259 | 12495k| 65.7 | 110M| 136 | 191 |1287 | 10k|1287 |1523 |1356 | 301k| 37k| 1.900000e+01 | -- | Inf
1610.95/1611.07 c 1611s|200000 | 22718 | 12954k| 64.7 | 113M| 136 | - |1287 |9166 | 0 | 0 |1356 | 319k| 39k| 1.900000e+01 | -- | Inf
1662.86/1662.98 c 1663s|210000 | 23394 | 13474k| 64.1 | 117M| 136 | 398 |1287 |8114 |1287 |1523 |1356 | 336k| 39k| 1.900000e+01 | -- | Inf
1716.56/1716.61 c 1717s|220000 | 23915 | 13941k| 63.3 | 121M| 136 | 412 |1287 |9497 |1287 |1523 |1356 | 352k| 40k| 1.900000e+01 | -- | Inf
1781.46/1781.50 c 1782s|230000 | 24857 | 14480k| 62.9 | 126M| 136 | 413 |1287 |7411 |1287 |1523 |1356 | 369k| 42k| 1.900551e+01 | -- | Inf
1799.96/1800.00 c
1799.96/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.00 c Solving Time (sec) : 1800.00
1799.96/1800.00 c Solving Nodes : 233148
1799.96/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.96/1800.00 c Dual Bound : +1.90055401662050e+01
1799.96/1800.00 c Gap : infinite
1799.96/1800.00 s UNKNOWN
1799.96/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.96/1800.00 c Total Time : 1800.00
1799.96/1800.00 c solving : 1800.00
1799.96/1800.00 c presolving : 0.18 (included in solving)
1799.96/1800.00 c reading : 0.06 (included in solving)
1799.96/1800.00 c Original Problem :
1799.96/1800.00 c Problem name : HOME/instance-3451059-1307092553.opb
1799.96/1800.00 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.00 c Constraints : 2430 initial, 2430 maximal
1799.96/1800.00 c Presolved Problem :
1799.96/1800.00 c Problem name : t_HOME/instance-3451059-1307092553.opb
1799.96/1800.00 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.96/1800.00 c Constraints : 1220 initial, 12996 maximal
1799.96/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.96/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c probing : 0.14 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c linear : 0.03 0 0 0 0 0 1210 0 0 0
1799.96/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c root node : - 0 - - 0 - - - - -
1799.96/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.96/1800.00 c integral : 0 0 0 147744 0 4 0 238 32231 0 0 281282
1799.96/1800.00 c knapsack : 10 14 1401493 0 0 3 998145 3189 129287 175 0 0
1799.96/1800.00 c linear : 1210+ 15 1398353 0 0 0 1082123 37824 11330913 2 0 0
1799.96/1800.00 c logicor : 0+ 14 794861 0 0 0 1890615 3760 1660673 0 0 0
1799.96/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1799.96/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.96/1800.00 c integral : 337.95 0.00 0.00 337.95 0.00 0.00 0.00
1799.96/1800.00 c knapsack : 7.52 0.00 7.15 0.00 0.00 0.00 0.37
1799.96/1800.00 c linear : 137.77 0.01 136.59 0.00 0.00 0.00 1.17
1799.96/1800.00 c logicor : 29.56 0.00 28.27 0.00 0.00 0.00 1.29
1799.96/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.96/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.96/1800.00 c vbounds : 0 0 0 0
1799.96/1800.00 c rootredcost : 0 0 0 0
1799.96/1800.00 c pseudoobj : 1401366 0 0 0
1799.96/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.96/1800.00 c vbounds : 0.22 0.22 0.00
1799.96/1800.00 c rootredcost : 0.25 0.25 0.00
1799.96/1800.00 c pseudoobj : 0.63 0.63 0.00
1799.96/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.96/1800.00 c propagation : 4.20 44773 44730 572297 39.7 2451 22.1 -
1799.96/1800.00 c infeasible LP : 10.44 83803 83803 390043 25.3 8510 16.1 0
1799.96/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.96/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.96/1800.00 c applied globally : - - - 375758 24.1 - - -
1799.96/1800.00 c applied locally : - - - 0 0.0 - - -
1799.96/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.96/1800.00 c cut pool : 0.01 13 - - 11110 - (maximal pool size: 7010)
1799.96/1800.00 c redcost : 2.87 147917 0 329 0 0
1799.96/1800.00 c impliedbounds : 0.00 14 0 0 29 0
1799.96/1800.00 c intobj : 0.00 0 0 0 0 0
1799.96/1800.00 c gomory : 0.41 14 0 0 1683 0
1799.96/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.96/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.96/1800.00 c strongcg : 0.39 14 0 0 1593 0
1799.96/1800.00 c cmir : 0.93 10 0 0 5000 0
1799.96/1800.00 c flowcover : 0.57 10 0 0 2000 0
1799.96/1800.00 c clique : 0.00 1 0 0 0 0
1799.96/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.96/1800.00 c mcf : 0.00 1 0 0 0 0
1799.96/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.96/1800.00 c rapidlearning : 0.82 1 0 0 0 414
1799.96/1800.00 c Pricers : Time Calls Vars
1799.96/1800.00 c problem variables: 0.00 0 0
1799.96/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.96/1800.00 c relpscost : 337.83 147744 238 32231 0 0 281282
1799.96/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.96/1800.00 c inference : 0.00 0 0 0 0 0 0
1799.96/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.96/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.96/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.96/1800.01 c random : 0.00 0 0 0 0 0 0
1799.96/1800.01 c Primal Heuristics : Time Calls Found
1799.96/1800.01 c LP solutions : 0.00 - 0
1799.96/1800.01 c pseudo solutions : 0.00 - 0
1799.96/1800.01 c oneopt : 0.08 0 0
1799.96/1800.01 c crossover : 0.06 0 0
1799.96/1800.01 c guideddiving : 0.01 0 0
1799.96/1800.01 c intshifting : 0.00 0 0
1799.96/1800.01 c coefdiving : 73.65 235 0
1799.96/1800.01 c objpscostdiving : 17.86 119 0
1799.96/1800.01 c feaspump : 17.59 119 0
1799.96/1800.01 c fracdiving : 51.95 242 0
1799.96/1800.01 c rootsoldiving : 7.47 133 0
1799.96/1800.01 c pscostdiving : 29.58 334 0
1799.96/1800.01 c veclendiving : 21.49 334 0
1799.96/1800.01 c linesearchdiving : 24.27 359 0
1799.96/1800.01 c trivial : 0.00 2 0
1799.96/1800.01 c shiftandpropagate: 0.03 1 0
1799.96/1800.01 c simplerounding : 0.04 0 0
1799.96/1800.01 c zirounding : 0.28 1000 0
1799.96/1800.01 c rounding : 1.56 5346 0
1799.96/1800.01 c shifting : 10.45 1669 0
1799.96/1800.01 c twoopt : 0.00 0 0
1799.96/1800.01 c fixandinfer : 0.00 0 0
1799.96/1800.01 c clique : 0.00 0 0
1799.96/1800.01 c intdiving : 0.00 0 0
1799.96/1800.01 c actconsdiving : 0.00 0 0
1799.96/1800.01 c octane : 0.00 0 0
1799.96/1800.01 c rens : 0.02 0 0
1799.96/1800.01 c rins : 0.00 0 0
1799.96/1800.01 c localbranching : 0.00 0 0
1799.96/1800.01 c mutation : 0.00 0 0
1799.96/1800.01 c dins : 0.00 0 0
1799.96/1800.01 c vbounds : 0.00 0 0
1799.96/1800.01 c undercover : 0.00 0 0
1799.96/1800.01 c subnlp : 0.04 0 0
1799.96/1800.01 c trysol : 0.05 0 0
1799.96/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.96/1800.01 c primal LP : 0.00 0 0 0.00 -
1799.96/1800.01 c dual LP : 888.36 209867 12310957 58.66 13858.03
1799.96/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.96/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.96/1800.01 c diving/probing LP: 210.91 67193 2309956 34.38 10952.25
1799.96/1800.01 c strong branching : 324.14 43709 2694292 61.64 8312.22
1799.96/1800.01 c (at root node) : - 55 41354 751.89 -
1799.96/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.96/1800.01 c B&B Tree :
1799.96/1800.01 c number of runs : 1
1799.96/1800.01 c nodes : 233148
1799.96/1800.01 c nodes (total) : 233148
1799.96/1800.01 c nodes left : 25067
1799.96/1800.01 c max depth : 136
1799.96/1800.01 c max depth (total): 136
1799.96/1800.01 c backtracks : 36931 (15.8%)
1799.96/1800.01 c delayed cutoffs : 23068
1799.96/1800.01 c repropagations : 455556 (4460011 domain reductions, 12377 cutoffs)
1799.96/1800.01 c avg switch length: 7.27
1799.96/1800.01 c switching time : 86.10
1799.96/1800.01 c Solution :
1799.96/1800.01 c Solutions found : 0 (0 improvements)
1799.96/1800.01 c Primal Bound : -
1799.96/1800.01 c Dual Bound : +1.90055401662050e+01
1799.96/1800.01 c Gap : infinite
1799.96/1800.01 c Root Dual Bound : +1.03333333333333e+01
1799.96/1800.01 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-3451059-1307092553/watcher-3451059-1307092553 -o /tmp/evaluation-result-3451059-1307092553/solver-3451059-1307092553 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451059-1307092553.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.84 2.00 1.99 3/495 20289
/proc/meminfo: memFree=26670844/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=12972 CPUtime=0 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 2245 0 0 0 0 0 0 0 25 0 1 0 899486007 13283328 2199 33554432000 4194304 9163163 140733623334112 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20289/statm: 3243 2200 395 1214 0 2025 0
[startup+0.102399 s]
/proc/loadavg: 1.84 2.00 1.99 3/495 20289
/proc/meminfo: memFree=26670844/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=35788 CPUtime=0.09 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 7844 0 0 0 9 0 0 0 25 0 1 0 899486007 36646912 7540 33554432000 4194304 9163163 140733623334112 18446744073709551615 8013931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 8947 7540 501 1214 0 7729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35788
[startup+0.200373 s]
/proc/loadavg: 1.84 2.00 1.99 3/495 20289
/proc/meminfo: memFree=26670844/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=36852 CPUtime=0.19 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 8156 0 0 0 19 0 0 0 25 0 1 0 899486007 37736448 7851 33554432000 4194304 9163163 140733623334112 18446744073709551615 5148089 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 9213 7851 539 1214 0 7995 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36852
[startup+0.30036 s]
/proc/loadavg: 1.84 2.00 1.99 3/495 20289
/proc/meminfo: memFree=26670844/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=45832 CPUtime=0.29 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 10599 0 0 0 28 1 0 0 25 0 1 0 899486007 46931968 10107 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 11458 10107 651 1214 0 10240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45832
[startup+0.700281 s]
/proc/loadavg: 1.84 2.00 1.99 3/495 20289
/proc/meminfo: memFree=26670844/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=45880 CPUtime=0.69 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 10916 0 0 0 68 1 0 0 25 0 1 0 899486007 46981120 10248 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 11470 10248 668 1214 0 10252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45880
[startup+1.50114 s]
/proc/loadavg: 1.84 2.00 1.99 3/499 20320
/proc/meminfo: memFree=26547496/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=68804 CPUtime=1.49 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 16435 0 0 0 147 2 0 0 25 0 1 0 899486007 70455296 15766 33554432000 4194304 9163163 140733623334112 18446744073709551615 5143566 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 17201 15766 702 1214 0 15983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68804
[startup+3.10083 s]
/proc/loadavg: 1.84 2.00 1.99 3/499 20320
/proc/meminfo: memFree=26565848/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=66640 CPUtime=3.09 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 17037 0 0 0 306 3 0 0 25 0 1 0 899486007 68239360 15626 33554432000 4194304 9163163 140733623334112 18446744073709551615 6672139 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 16660 15626 718 1214 0 15442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66640
[startup+6.30025 s]
/proc/loadavg: 1.85 2.00 1.99 3/499 20347
/proc/meminfo: memFree=26545932/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=72052 CPUtime=6.29 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 19079 0 0 0 624 5 0 0 25 0 1 0 899486007 73781248 16990 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 18013 16990 718 1214 0 16795 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72052
[startup+12.7011 s]
/proc/loadavg: 1.87 2.00 1.99 3/499 20347
/proc/meminfo: memFree=26501216/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=72052 CPUtime=12.69 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 19079 0 0 0 1261 8 0 0 25 0 1 0 899486007 73781248 16990 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 18013 16990 718 1214 0 16795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72052
[startup+25.5007 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 20348
/proc/meminfo: memFree=26502236/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=72052 CPUtime=25.49 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 19081 0 0 0 2528 21 0 0 25 0 1 0 899486007 73781248 16992 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 18013 16992 719 1214 0 16795 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72052
[startup+51.1009 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 20511
/proc/meminfo: memFree=26584140/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=72052 CPUtime=51.09 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 19084 0 0 0 5067 42 0 0 25 0 1 0 899486007 73781248 16995 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 18013 16995 721 1214 0 16795 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72052
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 20539
/proc/meminfo: memFree=26477924/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=72052 CPUtime=102.29 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 19090 0 0 0 10137 92 0 0 25 0 1 0 899486007 73781248 17001 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20289/statm: 18013 17001 721 1214 0 16795 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 72052
[startup+162.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/499 20540
/proc/meminfo: memFree=26476016/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=72972 CPUtime=162.2 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 19273 0 0 0 16082 138 0 0 25 0 1 0 899486007 74723328 17184 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 18243 17184 721 1214 0 17025 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 72972
[startup+222.319 s]
/proc/loadavg: 2.11 2.06 2.01 3/499 20542
/proc/meminfo: memFree=26468988/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=74948 CPUtime=222.22 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 41939 0 0 0 22022 200 0 0 25 0 1 0 899486007 76746752 17619 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 18737 17619 729 1214 0 17519 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74948
[startup+282.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 20544
/proc/meminfo: memFree=26459024/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=81716 CPUtime=282.21 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 80063 0 0 0 27954 267 0 0 25 0 1 0 899486007 83677184 19392 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 20429 19392 720 1214 0 19211 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81716
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 20545
/proc/meminfo: memFree=26446436/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=92160 CPUtime=342.21 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 116893 0 0 0 33889 332 0 0 25 0 1 0 899486007 94371840 21952 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 23040 21952 720 1214 0 21822 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 92160
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 20547
/proc/meminfo: memFree=26433124/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=98984 CPUtime=402.21 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 154418 0 0 0 39824 397 0 0 25 0 1 0 899486007 101359616 23715 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 24746 23715 720 1214 0 23528 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 98984
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20548
/proc/meminfo: memFree=26419312/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=107452 CPUtime=462.21 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 181084 0 0 0 45766 455 0 0 25 0 1 0 899486007 110030848 25663 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 26863 25663 720 1214 0 25645 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 107452
[startup+522.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/499 20550
/proc/meminfo: memFree=26406228/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=115336 CPUtime=522.22 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 209210 0 0 0 51704 518 0 0 25 0 1 0 899486007 118104064 27687 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 28834 27687 786 1214 0 27616 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 115336
[startup+582.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 20552
/proc/meminfo: memFree=26399968/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=115520 CPUtime=582.22 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 235132 0 0 0 57647 575 0 0 25 0 1 0 899486007 118292480 27866 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379386 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 28880 27866 720 1214 0 27662 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 115520
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 20558
/proc/meminfo: memFree=26353696/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=139252 CPUtime=822.22 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 301291 0 0 0 81408 814 0 0 25 0 1 0 899486007 142594048 33640 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 34813 33640 720 1214 0 33595 0
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (KiB) 139252
[startup+882.319 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 20560
/proc/meminfo: memFree=26342848/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=143632 CPUtime=882.24 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 311608 0 0 0 87353 871 0 0 25 0 1 0 899486007 147079168 34902 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 35908 34902 720 1214 0 34690 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 143632
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 20561
/proc/meminfo: memFree=26334124/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=146716 CPUtime=942.23 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 319536 0 0 0 93294 929 0 0 25 0 1 0 899486007 150237184 35614 33554432000 4194304 9163163 140733623334112 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 36679 35614 720 1214 0 35461 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 146716
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20563
/proc/meminfo: memFree=26321032/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=153084 CPUtime=1002.23 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 333849 0 0 0 99235 988 0 0 25 0 1 0 899486007 156758016 37267 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 38271 37267 720 1214 0 37053 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 153084
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20564
/proc/meminfo: memFree=26313020/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=158492 CPUtime=1062.23 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 340037 0 0 0 105179 1044 0 0 25 0 1 0 899486007 162295808 38551 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 39623 38551 720 1214 0 38405 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 158492
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 20566
/proc/meminfo: memFree=26299940/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=164536 CPUtime=1122.24 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 352423 0 0 0 111122 1102 0 0 25 0 1 0 899486007 168484864 40101 33554432000 4194304 9163163 140733623334112 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 41134 40101 720 1214 0 39916 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 164536
[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 20568
/proc/meminfo: memFree=26287612/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=172168 CPUtime=1182.24 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 362461 0 0 0 117069 1155 0 0 25 0 1 0 899486007 176300032 42067 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 43042 42067 720 1214 0 41824 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 172168
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 20569
/proc/meminfo: memFree=26278496/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=175708 CPUtime=1242.24 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 372094 0 0 0 123009 1215 0 0 25 0 1 0 899486007 179924992 42935 33554432000 4194304 9163163 140733623334112 18446744073709551615 6480253 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 43927 42935 722 1214 0 42709 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 175708
[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 20571
/proc/meminfo: memFree=26268660/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=177868 CPUtime=1302.24 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 384302 0 0 0 128954 1270 0 0 25 0 1 0 899486007 182136832 43495 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 44467 43495 721 1214 0 43249 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 177868
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 20572
/proc/meminfo: memFree=26258588/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=183768 CPUtime=1362.24 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 392621 0 0 0 134902 1322 0 0 25 0 1 0 899486007 188178432 44902 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 45942 44902 721 1214 0 44724 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 183768
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 20577
/proc/meminfo: memFree=26243540/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=190932 CPUtime=1422.25 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 395686 0 0 0 140846 1379 0 0 25 0 1 0 899486007 195514368 46705 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 47733 46705 721 1214 0 46515 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 190932
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20579
/proc/meminfo: memFree=26231552/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=194916 CPUtime=1482.25 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 398869 0 0 0 146793 1432 0 0 25 0 1 0 899486007 199593984 47694 33554432000 4194304 9163163 140733623334112 18446744073709551615 5148134 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 48729 47694 721 1214 0 47511 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 194916
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 20580
/proc/meminfo: memFree=26227384/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=196908 CPUtime=1542.27 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 404058 0 0 0 152740 1487 0 0 25 0 1 0 899486007 201633792 48263 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 49227 48263 721 1214 0 48009 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 196908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 20582
/proc/meminfo: memFree=26219644/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=200204 CPUtime=1602.25 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 410603 0 0 0 158685 1540 0 0 25 0 1 0 899486007 205008896 49024 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 50051 49024 721 1214 0 48833 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 200204
[startup+1662.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/499 20583
/proc/meminfo: memFree=26205952/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=206544 CPUtime=1662.25 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 415665 0 0 0 164626 1599 0 0 25 0 1 0 899486007 211501056 50689 33554432000 4194304 9163163 140733623334112 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 51636 50689 721 1214 0 50418 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 206544
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 20585
/proc/meminfo: memFree=26195368/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=211760 CPUtime=1722.26 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 419470 0 0 0 170575 1651 0 0 25 0 1 0 899486007 216842240 51833 33554432000 4194304 9163163 140733623334112 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 52940 51833 720 1214 0 51722 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 211760
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/499 20587
/proc/meminfo: memFree=26185908/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=219724 CPUtime=1782.26 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 430553 0 0 0 176514 1712 0 0 25 0 1 0 899486007 224997376 53975 33554432000 4194304 9163163 140733623334112 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20289/statm: 54931 53975 720 1214 0 53713 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 219724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 20587
/proc/meminfo: memFree=26185636/32950928 swapFree=34421304/67111528
[pid=20289] ppid=20286 vsize=219908 CPUtime=1800.07 cores=0,2,4,6
/proc/20289/stat : 20289 (scip-2.0.1.4b.l) R 20286 20289 20254 0 -1 4202496 431916 0 0 0 178278 1729 0 0 25 0 1 0 899486007 225185792 53998 33554432000 4194304 9163163 140733623334112 18446744073709551615 6918320 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20289/statm: 54977 53998 723 1214 0 53759 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 219908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.09
CPU user time (s): 1782.79
CPU system time (s): 17.2994
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 220380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.79
system time used= 17.2994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431916
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= 2147
runsolver used 9.27459 second user time and 20.1559 second system time
The end