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-3452665-1307075181.opb>
0.00/0.01 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 168 del conss, 0 add conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 168 del conss, 3 add conss, 0 chg bounds, 84 chg sides, 88 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.03/0.04 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.04 c presolving (4 rounds):
0.03/0.04 c 0 deleted vars, 168 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 84 changed sides, 88 changed coefficients
0.03/0.04 c 342 implications, 0 cliques
0.03/0.04 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.03/0.04 c 673 constraints of type <knapsack>
0.03/0.04 c 171 constraints of type <setppc>
0.03/0.04 c 10 constraints of type <linear>
0.03/0.04 c 40 constraints of type <logicor>
0.03/0.04 c transformed objective value is always integral (scale: 1)
0.03/0.04 c Presolving Time: 0.03
0.03/0.04 c - non default parameters ----------------------------------------------------------------------
0.03/0.04 c # SCIP version 2.0.1.4
0.03/0.04 c
0.03/0.04 c # frequency for displaying node information lines
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.04 c display/freq = 10000
0.03/0.04 c
0.03/0.04 c # maximal time in seconds to run
0.03/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.04 c limits/time = 1800
0.03/0.04 c
0.03/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.04 c limits/memory = 13950
0.03/0.04 c
0.03/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.04 c # [type: int, range: [1,2], default: 1]
0.03/0.04 c timing/clocktype = 2
0.03/0.04 c
0.03/0.04 c # belongs reading time to solving time?
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c timing/reading = TRUE
0.03/0.04 c
0.03/0.04 c # should presolving try to simplify inequalities
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/linear/simplifyinequalities = TRUE
0.03/0.04 c
0.03/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/indicator/addCouplingCons = TRUE
0.03/0.04 c
0.03/0.04 c # should presolving try to simplify knapsacks
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.04 c
0.03/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.04 c separating/rapidlearning/freq = 0
0.03/0.04 c
0.03/0.04 c -----------------------------------------------------------------------------------------------
0.03/0.04 c start solving
0.03/0.04 c
0.03/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.05 c 0.1s| 1 | 0 | 384 | - |3243k| 0 | 194 | 464 | 911 | 464 | 894 | 0 | 17 | 0 | 9.700000e+01 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 5779 | - |4865k| 0 | 235 | 464 |1829 | 464 |1141 | 247 | 17 | 0 | 9.800000e+01 | -- | Inf
0.59/0.66 c 0.7s| 1 | 0 | 6380 | - |6009k| 0 | 266 | 464 |1829 | 464 |1320 | 426 | 17 | 0 | 9.850000e+01 | -- | Inf
0.79/0.81 c 0.8s| 1 | 0 | 6900 | - |6644k| 0 | 269 | 464 |1829 | 464 |1483 | 589 | 17 | 0 | 9.850000e+01 | -- | Inf
0.89/0.96 c 1.0s| 1 | 0 | 7419 | - |7571k| 0 | 263 | 464 |1829 | 464 |1618 | 724 | 17 | 0 | 9.850000e+01 | -- | Inf
1.10/1.18 c 1.2s| 1 | 0 | 8008 | - |7858k| 0 | 266 | 464 |1829 | 464 |1718 | 824 | 17 | 0 | 9.900000e+01 | -- | Inf
1.39/1.41 c 1.4s| 1 | 0 | 8472 | - |8068k| 0 | 256 | 464 |1829 | 464 |1807 | 913 | 17 | 0 | 9.900000e+01 | -- | Inf
1.59/1.64 c 1.6s| 1 | 0 | 8912 | - |8307k| 0 | 254 | 464 |1829 | 464 |1862 | 968 | 17 | 0 | 9.900000e+01 | -- | Inf
1.79/1.87 c 1.9s| 1 | 0 | 9265 | - |8460k| 0 | 250 | 464 |1829 | 464 |1942 |1048 | 17 | 0 | 9.900000e+01 | -- | Inf
1.99/2.06 c 2.1s| 1 | 0 | 9542 | - |8598k| 0 | 258 | 464 |1829 | 464 |1989 |1095 | 17 | 0 | 9.900000e+01 | -- | Inf
2.21/2.29 c 2.3s| 1 | 0 | 9866 | - |8807k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 0 | 9.900000e+01 | -- | Inf
2.89/2.91 c 2.9s| 1 | 2 | 9866 | - |8809k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 10 | 9.900000e+01 | -- | Inf
103.98/104.08 c 104s| 10000 | 8758 | 1005k| 99.6 | 19M| 39 | 203 | 464 |1861 | 464 |1244 |1143 |3737 |2830 | 9.914167e+01 | -- | Inf
199.10/199.18 c 199s| 20000 | 17211 | 2130k| 106.1 | 28M| 39 | 213 | 464 |1704 | 464 |1244 |1143 |8318 |3947 | 9.919771e+01 | -- | Inf
299.28/299.37 c 299s| 30000 | 25481 | 3326k| 110.6 | 37M| 41 | - | 464 |1964 | 0 | 0 |1143 | 13k|5069 | 9.923242e+01 | -- | Inf
389.08/389.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.08/389.15 c 389s| 40000 | 33594 | 4411k| 110.0 | 47M| 41 | 217 | 464 |2032 | 464 |1244 |1143 | 20k|6016 | 9.927448e+01 | -- | Inf
474.99/475.06 c 475s| 50000 | 41297 | 5473k| 109.3 | 57M| 41 | 148 | 464 |2102 | 464 |1244 |1143 | 27k|6791 | 9.931211e+01 | -- | Inf
559.70/559.70 c 560s| 60000 | 49015 | 6525k| 108.6 | 67M| 43 | 213 | 464 |2227 | 464 |1244 |1143 | 34k|7400 | 9.934283e+01 | -- | Inf
639.79/639.83 c 640s| 70000 | 56472 | 7521k| 107.3 | 76M| 49 | 201 | 464 |2103 | 464 |1244 |1143 | 42k|7916 | 9.938235e+01 | -- | Inf
719.00/719.08 c 719s| 80000 | 63856 | 8506k| 106.2 | 86M| 49 | 224 | 464 |2304 | 464 |1244 |1143 | 49k|8528 | 9.941575e+01 | -- | Inf
798.41/798.40 c 798s| 90000 | 71122 | 9501k| 105.5 | 95M| 49 | 146 | 464 |2321 | 464 |1244 |1143 | 57k|9008 | 9.944444e+01 | -- | Inf
875.41/875.47 c 875s|100000 | 78202 | 10473k| 104.6 | 104M| 49 | 184 | 464 |2366 | 464 |1244 |1143 | 65k|9417 | 9.946739e+01 | -- | Inf
946.51/946.56 c 947s|110000 | 85264 | 11370k| 103.3 | 114M| 52 | 150 | 464 |2491 | 464 |1244 |1143 | 73k|9848 | 9.950000e+01 | -- | Inf
1015.81/1015.81 c 1016s|120000 | 92050 | 12246k| 102.0 | 123M| 52 | - | 464 |2428 | 0 | 0 |1143 | 82k| 10k| 9.953333e+01 | -- | Inf
1086.02/1086.03 c 1086s|130000 | 98822 | 13139k| 101.0 | 133M| 52 | 150 | 464 |2541 | 464 |1244 |1143 | 91k| 10k| 9.955512e+01 | -- | Inf
1152.02/1152.04 c 1152s|140000 |105219 | 13979k| 99.8 | 142M| 52 | 226 | 464 |2591 | 464 |1244 |1143 | 101k| 10k| 9.957924e+01 | -- | Inf
1215.32/1215.38 c 1215s|150000 |111363 | 14791k| 98.5 | 151M| 59 | 188 | 464 |2778 | 464 |1244 |1143 | 111k| 11k| 9.961538e+01 | -- | Inf
1279.62/1279.66 c 1280s|160000 |117735 | 15606k| 97.5 | 160M| 59 | 128 | 464 |2630 | 464 |1244 |1143 | 121k| 11k| 9.964976e+01 | -- | Inf
1341.03/1341.04 c 1341s|170000 |123562 | 16391k| 96.4 | 168M| 59 | 166 | 464 |2724 | 464 |1244 |1143 | 131k| 11k| 9.967284e+01 | -- | Inf
1401.53/1401.54 c 1402s|180000 |129255 | 17161k| 95.3 | 177M| 62 | 127 | 464 |2849 | 464 |1244 |1143 | 142k| 12k| 9.970000e+01 | -- | Inf
1458.54/1458.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.54/1458.54 c 1459s|190000 |134945 | 17893k| 94.1 | 185M| 62 | 139 | 464 |2921 | 464 |1244 |1143 | 153k| 12k| 9.972727e+01 | -- | Inf
1518.34/1518.38 c 1518s|200000 |140828 | 18658k| 93.2 | 194M| 62 | 142 | 464 |2794 | 464 |1244 |1143 | 164k| 12k| 9.974537e+01 | -- | Inf
1583.95/1583.95 c 1584s|210000 |146391 | 19504k| 92.8 | 203M| 62 | 101 | 464 |2906 | 464 |1244 |1143 | 176k| 12k| 9.976562e+01 | -- | Inf
1655.74/1655.78 c 1656s|220000 |152460 | 20419k| 92.8 | 212M| 62 | 219 | 464 |2947 | 464 |1244 |1143 | 187k| 13k| 9.979167e+01 | -- | Inf
1745.44/1745.46 c 1745s|230000 |159089 | 21564k| 93.7 | 221M| 62 | 223 | 464 |2942 | 464 |1244 |1143 | 198k| 13k| 9.981905e+01 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 237115
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +9.98361801242236e+01
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.03 (included in solving)
1800.04/1800.00 c reading : 0.01 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3452665-1307075181.opb
1800.04/1800.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1059 initial, 1059 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3452665-1307075181.opb
1800.04/1800.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 894 initial, 3680 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 3 3 7
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 0 0 168 0 81 81
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 205638 0 4 0 31 1268 0 0 409982
1800.04/1800.00 c knapsack : 673 10 1346489 0 2 3 528250 19689 1101867 1318 0 0
1800.04/1800.00 c setppc : 171 10 1326800 0 2 0 301139 9036 406948 0 0 0
1800.04/1800.00 c linear : 10+ 11 1317765 0 2 0 37315 2920 66557 21 0 0
1800.04/1800.00 c logicor : 40+ 10 846037 0 2 0 408450 6958 750617 3 0 0
1800.04/1800.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 83.80 0.00 0.00 83.80 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 20.85 0.02 20.54 0.00 0.00 0.00 0.29
1800.04/1800.00 c setppc : 3.88 0.00 3.80 0.00 0.00 0.00 0.08
1800.04/1800.00 c linear : 2.00 0.01 1.94 0.00 0.00 0.00 0.06
1800.04/1800.00 c logicor : 13.97 0.00 13.76 0.00 0.00 0.00 0.21
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 1347595 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.23 0.23 0.00
1800.04/1800.00 c rootredcost : 0.22 0.22 0.00
1800.04/1800.00 c pseudoobj : 0.63 0.63 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.70 38603 38434 130142 12.6 8385 7.5 -
1800.04/1800.00 c infeasible LP : 2.33 35954 35954 144399 16.8 6702 6.5 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 206745 13.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 9 - - 969 - (maximal pool size: 4714)
1800.04/1800.00 c redcost : 1.59 205660 0 15 0 0
1800.04/1800.00 c impliedbounds : 0.00 10 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.51 10 0 0 2817 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.42 10 0 0 3010 0
1800.04/1800.00 c cmir : 0.16 10 0 0 1120 0
1800.04/1800.00 c flowcover : 0.23 10 0 0 1640 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.18 1 0 0 0 918
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 83.68 205638 31 1268 0 0 409982
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.09 0 0
1800.04/1800.00 c crossover : 0.04 0 0
1800.04/1800.00 c guideddiving : 0.01 0 0
1800.04/1800.00 c objpscostdiving : 13.09 125 0
1800.04/1800.00 c rootsoldiving : 11.88 160 0
1800.04/1800.00 c veclendiving : 61.54 2239 0
1800.04/1800.00 c linesearchdiving : 78.57 2480 0
1800.04/1800.00 c pscostdiving : 86.75 2533 0
1800.04/1800.00 c coefdiving : 79.85 2631 0
1800.04/1800.00 c fracdiving : 85.47 2980 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c shiftandpropagate: 0.01 1 0
1800.04/1800.00 c simplerounding : 0.04 0 0
1800.04/1800.00 c zirounding : 12.92 0 0
1800.04/1800.00 c rounding : 0.52 6372 0
1800.04/1800.00 c shifting : 2.41 1975 0
1800.04/1800.00 c intshifting : 0.01 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 13.53 162 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.04 0 0
1800.04/1800.00 c trysol : 0.05 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 1172.31 222732 17297719 77.66 14755.24
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 369.75 279302 4958929 17.75 13411.61
1800.04/1800.00 c strong branching : 74.83 13662 961261 70.36 12846.10
1800.04/1800.00 c (at root node) : - 10 5758 575.80 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 237115
1800.04/1800.00 c nodes (total) : 237115
1800.04/1800.00 c nodes left : 162977
1800.04/1800.00 c max depth : 62
1800.04/1800.00 c max depth (total): 62
1800.04/1800.00 c backtracks : 47001 (19.8%)
1800.04/1800.00 c delayed cutoffs : 9895
1800.04/1800.00 c repropagations : 92375 (386939 domain reductions, 3165 cutoffs)
1800.04/1800.00 c avg switch length: 9.49
1800.04/1800.00 c switching time : 25.49
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +9.98361801242236e+01
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +9.90000000000000e+01
1800.04/1800.00 c Root Iterations : 9866
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-3452665-1307075181/watcher-3452665-1307075181 -o /tmp/evaluation-result-3452665-1307075181/solver-3452665-1307075181 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452665-1307075181.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.92 2.00 1.99 2/481 5751
/proc/meminfo: memFree=27272156/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=10624 CPUtime=0 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 1649 0 0 0 0 0 0 0 23 0 1 0 819117795 10878976 1602 33554432000 4194304 9128323 140734199007296 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5751/statm: 2656 1602 400 1205 0 1447 0
[startup+0.036436 s]
/proc/loadavg: 1.92 2.00 1.99 2/481 5751
/proc/meminfo: memFree=27272156/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=20308 CPUtime=0.03 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 4144 0 0 0 3 0 0 0 23 0 1 0 819117795 20795392 3839 33554432000 4194304 9128323 140734199007296 18446744073709551615 5976478 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 5077 3839 550 1205 0 3868 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20308
[startup+0.100488 s]
/proc/loadavg: 1.92 2.00 1.99 2/481 5751
/proc/meminfo: memFree=27272156/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=22604 CPUtime=0.09 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 4953 0 0 0 9 0 0 0 23 0 1 0 819117795 23146496 4598 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 5651 4598 675 1205 0 4442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22604
[startup+0.300446 s]
/proc/loadavg: 1.92 2.00 1.99 2/481 5751
/proc/meminfo: memFree=27272156/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=23080 CPUtime=0.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 5136 0 0 0 27 2 0 0 25 0 1 0 819117795 23633920 4781 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 5770 4781 686 1205 0 4561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23080
[startup+0.700372 s]
/proc/loadavg: 1.92 2.00 1.99 2/481 5751
/proc/meminfo: memFree=27272156/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=38512 CPUtime=0.69 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 9084 0 0 0 66 3 0 0 25 0 1 0 819117795 39436288 8365 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 9628 8365 728 1205 0 8419 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38512
[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 1.99 3/482 5752
/proc/meminfo: memFree=27240100/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=39152 CPUtime=1.49 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 9560 0 0 0 143 6 0 0 25 0 1 0 819117795 40091648 8839 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 9788 8839 726 1205 0 8579 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39152
[startup+3.1009 s]
/proc/loadavg: 1.92 2.00 1.99 3/482 5752
/proc/meminfo: memFree=27231668/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=45420 CPUtime=3.09 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 10917 0 0 0 300 9 0 0 25 0 1 0 819117795 46510080 10196 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 11355 10196 731 1205 0 10146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45420
[startup+6.30024 s]
/proc/loadavg: 1.93 2.00 1.99 3/482 5752
/proc/meminfo: memFree=27231900/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=45420 CPUtime=6.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 10917 0 0 0 609 20 0 0 25 0 1 0 819117795 46510080 10196 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 11355 10196 731 1205 0 10146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45420
[startup+12.7011 s]
/proc/loadavg: 1.93 2.00 1.99 3/482 5752
/proc/meminfo: memFree=27231552/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=45420 CPUtime=12.69 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 10918 0 0 0 1226 43 0 0 25 0 1 0 819117795 46510080 10197 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 11355 10197 732 1205 0 10146 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45420
[startup+25.5006 s]
/proc/loadavg: 1.95 2.00 1.99 3/482 5753
/proc/meminfo: memFree=27231696/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=45420 CPUtime=25.49 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 10925 0 0 0 2459 90 0 0 25 0 1 0 819117795 46510080 10204 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/5751/statm: 11355 10204 733 1205 0 10146 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45420
[startup+51.1008 s]
/proc/loadavg: 2.11 2.03 2.00 3/482 5754
/proc/meminfo: memFree=27231576/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=45420 CPUtime=51.08 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 10934 0 0 0 4918 190 0 0 25 0 1 0 819117795 46510080 10213 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 11355 10213 733 1205 0 10146 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45420
[startup+102.318 s]
/proc/loadavg: 2.13 2.04 2.01 3/482 5755
/proc/meminfo: memFree=27224500/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=52712 CPUtime=102.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 12736 0 0 0 9847 382 0 0 25 0 1 0 819117795 53977088 12015 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 13178 12015 733 1205 0 11969 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 52712
[startup+162.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 5756
/proc/meminfo: memFree=27217388/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=58444 CPUtime=162.28 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 14225 0 0 0 15603 625 0 0 25 0 1 0 819117795 59846656 13473 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 14611 13473 733 1205 0 13402 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 58444
[startup+222.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 5758
/proc/meminfo: memFree=27210024/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=62748 CPUtime=222.28 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 15359 0 0 0 21357 871 0 0 25 0 1 0 819117795 64253952 14607 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 15687 14607 733 1205 0 14478 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 62748
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 5760
/proc/meminfo: memFree=27198948/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=69440 CPUtime=282.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 17035 0 0 0 27112 1117 0 0 25 0 1 0 819117795 71106560 16283 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 17360 16283 733 1205 0 16151 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 69440
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5761
/proc/meminfo: memFree=27188004/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=78604 CPUtime=342.28 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 19356 0 0 0 32880 1348 0 0 25 0 1 0 819117795 80490496 18596 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 19651 18596 733 1205 0 18442 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 78604
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5763
/proc/meminfo: memFree=27179532/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=85540 CPUtime=402.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 21114 0 0 0 38635 1594 0 0 25 0 1 0 819117795 87592960 20352 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 21385 20352 733 1205 0 20176 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 85540
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5764
/proc/meminfo: memFree=27165608/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=95104 CPUtime=462.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 23574 0 0 0 44393 1836 0 0 25 0 1 0 819117795 97386496 22793 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 23776 22793 733 1205 0 22567 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 95104
[startup+522.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 5766
/proc/meminfo: memFree=27157004/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=102972 CPUtime=522.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 25511 0 0 0 50152 2077 0 0 25 0 1 0 819117795 105443328 24722 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 25743 24722 733 1205 0 24534 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 102972
[startup+582.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/482 5768
/proc/meminfo: memFree=27148524/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=110812 CPUtime=582.29 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 27527 0 0 0 55909 2320 0 0 25 0 1 0 819117795 113471488 26735 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 27703 26735 733 1205 0 26494 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 110812
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/482 5774
/proc/meminfo: memFree=27103688/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=143760 CPUtime=822.31 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 35395 0 0 0 78917 3314 0 0 25 0 1 0 819117795 147210240 34547 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 35940 34547 733 1205 0 34731 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 143760
[startup+882.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/482 5776
/proc/meminfo: memFree=27090992/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=153124 CPUtime=882.31 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 37726 0 0 0 84665 3566 0 0 25 0 1 0 819117795 156798976 36878 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 38281 36878 733 1205 0 37072 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 153124
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 5777
/proc/meminfo: memFree=27080276/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=161884 CPUtime=942.31 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 40015 0 0 0 90411 3820 0 0 25 0 1 0 819117795 165769216 39147 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 40471 39147 733 1205 0 39262 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 161884
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 5779
/proc/meminfo: memFree=27069820/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=169596 CPUtime=1002.31 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 41990 0 0 0 96163 4068 0 0 25 0 1 0 819117795 173666304 41081 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 42399 41081 733 1205 0 41190 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 169596
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5780
/proc/meminfo: memFree=27057752/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=178476 CPUtime=1062.31 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 44238 0 0 0 101919 4312 0 0 25 0 1 0 819117795 182759424 43314 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 44619 43314 733 1205 0 43410 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 178476
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/482 5782
/proc/meminfo: memFree=27047896/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=188228 CPUtime=1122.32 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 46698 0 0 0 107672 4560 0 0 25 0 1 0 819117795 192745472 45771 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 47057 45771 733 1205 0 45848 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 188228
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 5784
/proc/meminfo: memFree=27039548/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=200644 CPUtime=1182.32 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 49831 0 0 0 113421 4811 0 0 25 0 1 0 819117795 205459456 48904 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 50161 48904 733 1205 0 48952 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 200644
[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 5785
/proc/meminfo: memFree=27030084/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=209420 CPUtime=1242.32 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 52058 0 0 0 119174 5058 0 0 25 0 1 0 819117795 214446080 51097 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 52355 51097 733 1205 0 51146 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 209420
[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 5787
/proc/meminfo: memFree=27023940/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=216132 CPUtime=1302.33 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 53782 0 0 0 124920 5313 0 0 25 0 1 0 819117795 221319168 52820 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 54033 52820 733 1205 0 52824 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 216132
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 5788
/proc/meminfo: memFree=27012744/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=228544 CPUtime=1362.33 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 56882 0 0 0 130660 5573 0 0 25 0 1 0 819117795 234029056 55920 33554432000 4194304 9128323 140734199007296 18446744073709551615 6856736 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 57136 55920 733 1205 0 55927 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 228544
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5790
/proc/meminfo: memFree=27003276/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=235936 CPUtime=1422.34 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 58785 0 0 0 136400 5834 0 0 25 0 1 0 819117795 241598464 57799 33554432000 4194304 9128323 140734199007296 18446744073709551615 6712632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 58984 57799 733 1205 0 57775 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 235936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5792
/proc/meminfo: memFree=26992704/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=245916 CPUtime=1482.33 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 61334 0 0 0 142143 6090 0 0 25 0 1 0 819117795 251817984 60335 33554432000 4194304 9128323 140734199007296 18446744073709551615 7192355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 61479 60335 733 1205 0 60270 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 245916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5793
/proc/meminfo: memFree=26984992/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=254104 CPUtime=1542.33 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 63406 0 0 0 147892 6341 0 0 25 0 1 0 819117795 260202496 62407 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 63526 62407 733 1205 0 62317 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 254104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5795
/proc/meminfo: memFree=26974520/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=264048 CPUtime=1602.34 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 65940 0 0 0 153648 6586 0 0 25 0 1 0 819117795 270385152 64908 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 66012 64908 733 1205 0 64803 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 264048
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 5796
/proc/meminfo: memFree=26966540/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=270632 CPUtime=1662.33 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 67613 0 0 0 159396 6837 0 0 25 0 1 0 819117795 277127168 66573 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 67658 66573 733 1205 0 66449 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 270632
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/482 5825
/proc/meminfo: memFree=27158008/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=277380 CPUtime=1722.34 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 69324 0 0 0 165164 7070 0 0 25 0 1 0 819117795 284037120 68278 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 69345 68278 733 1205 0 68136 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 277380
[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 5827
/proc/meminfo: memFree=27145960/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=287160 CPUtime=1782.34 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 71796 0 0 0 170925 7309 0 0 25 0 1 0 819117795 294051840 70738 33554432000 4194304 9128323 140734199007296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5751/statm: 71790 70738 733 1205 0 70581 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 287160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.04 2.00 3/482 5827
/proc/meminfo: memFree=27143196/32950928 swapFree=39617324/67111528
[pid=5751] ppid=5749 vsize=289980 CPUtime=1800.05 cores=1,3,5,7
/proc/5751/stat : 5751 (scip-2.0.1.4.li) R 5749 5751 4028 0 -1 4202496 72513 0 0 0 172628 7377 0 0 25 0 1 0 819117795 296939520 71453 33554432000 4194304 9128323 140734199007296 18446744073709551615 4745624 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5751/statm: 72495 71453 736 1205 0 71286 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 289980
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.03
CPU time (s): 1800.08
CPU user time (s): 1726.29
CPU system time (s): 73.7918
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 289980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.29
system time used= 73.7918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72513
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= 4835
runsolver used 8.29374 second user time and 19.717 second system time
The end