0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3485483-1307755860.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.01/0.01 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.01/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.01/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.01/0.03 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (4 rounds):
0.01/0.03 c 0 deleted vars, 168 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 84 changed sides, 88 changed coefficients
0.01/0.03 c 342 implications, 0 cliques
0.01/0.03 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.01/0.03 c 673 constraints of type <knapsack>
0.01/0.03 c 171 constraints of type <setppc>
0.01/0.03 c 10 constraints of type <linear>
0.01/0.03 c 40 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.0.1.4
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/indicator/addCouplingCons = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/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.01/0.05 c 0.0s| 1 | 0 | 384 | - |3243k| 0 | 194 | 464 | 911 | 464 | 894 | 0 | 17 | 0 | 9.700000e+01 | -- | Inf
0.49/0.52 c 0.5s| 1 | 0 | 5779 | - |4865k| 0 | 235 | 464 |1829 | 464 |1141 | 247 | 17 | 0 | 9.800000e+01 | -- | Inf
0.59/0.64 c 0.6s| 1 | 0 | 6380 | - |6009k| 0 | 266 | 464 |1829 | 464 |1320 | 426 | 17 | 0 | 9.850000e+01 | -- | Inf
0.69/0.79 c 0.8s| 1 | 0 | 6900 | - |6644k| 0 | 269 | 464 |1829 | 464 |1483 | 589 | 17 | 0 | 9.850000e+01 | -- | Inf
0.89/0.95 c 0.9s| 1 | 0 | 7419 | - |7571k| 0 | 263 | 464 |1829 | 464 |1618 | 724 | 17 | 0 | 9.850000e+01 | -- | Inf
1.09/1.16 c 1.2s| 1 | 0 | 8008 | - |7858k| 0 | 266 | 464 |1829 | 464 |1718 | 824 | 17 | 0 | 9.900000e+01 | -- | Inf
1.29/1.38 c 1.4s| 1 | 0 | 8472 | - |8068k| 0 | 256 | 464 |1829 | 464 |1807 | 913 | 17 | 0 | 9.900000e+01 | -- | Inf
1.59/1.61 c 1.6s| 1 | 0 | 8912 | - |8307k| 0 | 254 | 464 |1829 | 464 |1862 | 968 | 17 | 0 | 9.900000e+01 | -- | Inf
1.79/1.84 c 1.8s| 1 | 0 | 9265 | - |8460k| 0 | 250 | 464 |1829 | 464 |1942 |1048 | 17 | 0 | 9.900000e+01 | -- | Inf
1.99/2.03 c 2.0s| 1 | 0 | 9542 | - |8598k| 0 | 258 | 464 |1829 | 464 |1989 |1095 | 17 | 0 | 9.900000e+01 | -- | Inf
2.19/2.26 c 2.3s| 1 | 0 | 9866 | - |8807k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 0 | 9.900000e+01 | -- | Inf
2.79/2.87 c 2.9s| 1 | 2 | 9866 | - |8809k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 10 | 9.900000e+01 | -- | Inf
125.49/125.51 c 126s| 10000 | 8714 | 1157k| 114.7 | 19M| 43 | 221 | 464 |1833 | 464 |1244 |1143 |4164 |2854 | 9.920000e+01 | -- | Inf
329.57/329.67 c 330s| 20000 | 16500 | 3408k| 170.0 | 27M| 45 | 162 | 464 |2462 | 464 |1244 |1143 | 12k|5080 | 9.930607e+01 | -- | Inf
458.97/459.09 c 459s| 30000 | 23035 | 4850k| 161.4 | 36M| 53 | 249 | 464 |2595 | 464 |1244 |1143 | 22k|6128 | 9.939151e+01 | -- | Inf
570.87/570.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.87/570.99 c 571s| 40000 | 28692 | 6105k| 152.4 | 44M| 61 | 176 | 464 |2827 | 464 |1244 |1143 | 33k|6986 | 9.947610e+01 | -- | Inf
672.47/672.54 c 673s| 50000 | 34885 | 7325k| 146.3 | 52M| 61 | - | 464 |2723 | 464 |1244 |1143 | 44k|7673 | 9.955556e+01 | -- | Inf
761.27/761.36 c 761s| 60000 | 40739 | 8453k| 140.7 | 60M| 61 | 204 | 464 |2761 | 464 |1244 |1143 | 55k|8329 | 9.964091e+01 | -- | Inf
845.27/845.31 c 845s| 70000 | 46572 | 9518k| 135.8 | 68M| 61 | 215 | 464 |2942 | 464 |1244 |1143 | 67k|8883 | 9.974242e+01 | -- | Inf
922.47/922.52 c 923s| 80000 | 52280 | 10497k| 131.1 | 75M| 61 | 205 | 464 |2761 | 464 |1244 |1143 | 78k|9381 | 9.987810e+01 | -- | Inf
998.98/999.07 c 999s| 90000 | 58214 | 11476k| 127.4 | 83M| 61 | 139 | 464 |2890 | 464 |1244 |1143 | 89k|9756 | 1.000000e+02 | -- | Inf
1074.48/1074.55 c 1075s|100000 | 64170 | 12439k| 124.3 | 91M| 61 | 202 | 464 |3141 | 464 |1244 |1143 | 100k| 10k| 1.000000e+02 | -- | Inf
1145.68/1145.74 c 1146s|110000 | 69751 | 13334k| 121.1 | 99M| 61 | 159 | 464 |3000 | 464 |1244 |1143 | 112k| 10k| 1.000000e+02 | -- | Inf
1218.79/1218.83 c 1219s|120000 | 75211 | 14258k| 118.7 | 107M| 61 | 73 | 464 |2989 | 464 |1244 |1143 | 124k| 10k| 1.000000e+02 | -- | Inf
1282.59/1282.67 c 1283s|130000 | 80453 | 15064k| 115.8 | 114M| 64 | - | 464 |2969 | 0 | 0 |1143 | 136k| 11k| 1.000455e+02 | -- | Inf
1345.29/1345.35 c 1345s|140000 | 85676 | 15854k| 113.2 | 122M| 64 | 103 | 464 |2933 | 464 |1244 |1143 | 148k| 11k| 1.000830e+02 | -- | Inf
1404.50/1404.54 c 1405s|150000 | 90621 | 16591k| 110.5 | 129M| 64 | 174 | 464 |3081 | 464 |1244 |1143 | 160k| 11k| 1.001279e+02 | -- | Inf
1464.10/1464.15 c 1464s|160000 | 95355 | 17343k| 108.3 | 136M| 64 | 166 | 464 |3113 | 464 |1244 |1143 | 173k| 11k| 1.001607e+02 | -- | Inf
1520.99/1521.03 c 1521s|170000 | 99905 | 18058k| 106.2 | 143M| 64 | 177 | 464 |3342 | 464 |1244 |1143 | 186k| 12k| 1.002000e+02 | -- | Inf
1577.30/1577.35 c 1577s|180000 |104647 | 18758k| 104.2 | 150M| 64 | - | 464 |3153 | 464 |1244 |1143 | 198k| 12k| 1.002457e+02 | -- | Inf
1627.10/1627.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.10/1627.11 c 1627s|190000 |108864 | 19372k| 101.9 | 156M| 64 | 174 | 464 |3379 | 464 |1244 |1143 | 211k| 12k| 1.002708e+02 | -- | Inf
1676.40/1676.49 c 1676s|200000 |112945 | 19985k| 99.9 | 162M| 64 | - | 464 |3080 | 464 |1244 |1143 | 225k| 12k| 1.003321e+02 | -- | Inf
1723.71/1723.77 c 1724s|210000 |116782 | 20563k| 97.9 | 168M| 64 | 137 | 464 |3487 | 464 |1244 |1143 | 239k| 13k| 1.003472e+02 | -- | Inf
1770.00/1770.09 c 1770s|220000 |120440 | 21131k| 96.0 | 174M| 64 | 88 | 464 |3477 | 464 |1244 |1143 | 253k| 13k| 1.003889e+02 | -- | Inf
1797.01/1797.00 c
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Solving Time (sec) : 1797.01
1797.01/1797.00 c Solving Nodes : 225900
1797.01/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.01/1797.00 c Dual Bound : +1.00414392370914e+02
1797.01/1797.00 c Gap : infinite
1797.01/1797.00 s UNKNOWN
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Total Time : 1797.01
1797.01/1797.00 c solving : 1797.01
1797.01/1797.00 c presolving : 0.02 (included in solving)
1797.01/1797.00 c reading : 0.01 (included in solving)
1797.01/1797.00 c Original Problem :
1797.01/1797.00 c Problem name : HOME/instance-3485483-1307755860.opb
1797.01/1797.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 1059 initial, 1059 maximal
1797.01/1797.00 c Presolved Problem :
1797.01/1797.00 c Problem name : t_HOME/instance-3485483-1307755860.opb
1797.01/1797.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 894 initial, 3910 maximal
1797.01/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c knapsack : 0.00 0 0 0 0 0 0 3 3 7
1797.01/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c linear : 0.01 0 0 0 0 0 168 0 81 81
1797.01/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c root node : - 0 - - 0 - - - - -
1797.01/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c integral : 0 0 0 185280 0 4 0 22 1406 0 0 369324
1797.01/1797.00 c knapsack : 673 10 1380546 0 2 3 693916 20647 1155722 1318 0 0
1797.01/1797.00 c setppc : 171 10 1359899 0 2 0 410538 9543 419811 0 0 0
1797.01/1797.00 c linear : 10+ 11 1350357 0 2 0 54876 4464 106717 21 0 0
1797.01/1797.00 c logicor : 40+ 10 861494 0 2 0 657951 7587 676145 3 0 0
1797.01/1797.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1797.01/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.00 c integral : 94.58 0.00 0.00 94.58 0.00 0.00 0.00
1797.01/1797.00 c knapsack : 21.79 0.02 21.40 0.00 0.00 0.00 0.37
1797.01/1797.00 c setppc : 4.17 0.00 4.06 0.00 0.00 0.00 0.11
1797.01/1797.00 c linear : 2.65 0.01 2.56 0.00 0.00 0.00 0.09
1797.01/1797.00 c logicor : 17.42 0.00 17.05 0.00 0.00 0.00 0.37
1797.01/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.00 c vbounds : 0 0 0 0
1797.01/1797.00 c rootredcost : 0 0 0 0
1797.01/1797.00 c pseudoobj : 1381287 0 0 0
1797.01/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.00 c vbounds : 0.21 0.21 0.00
1797.01/1797.00 c rootredcost : 0.22 0.22 0.00
1797.01/1797.00 c pseudoobj : 0.74 0.74 0.00
1797.01/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.00 c propagation : 1.10 42241 42149 182739 18.0 10661 8.9 -
1797.01/1797.00 c infeasible LP : 3.20 45746 45746 196239 18.5 8636 7.2 0
1797.01/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.00 c applied globally : - - - 261978 14.9 - - -
1797.01/1797.00 c applied locally : - - - 0 0.0 - - -
1797.01/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.00 c cut pool : 0.00 9 - - 969 - (maximal pool size: 4714)
1797.01/1797.00 c redcost : 1.48 185295 0 12 0 0
1797.01/1797.00 c impliedbounds : 0.00 10 0 0 0 0
1797.01/1797.00 c intobj : 0.00 0 0 0 0 0
1797.01/1797.00 c gomory : 0.50 10 0 0 2817 0
1797.01/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.00 c strongcg : 0.42 10 0 0 3010 0
1797.01/1797.00 c cmir : 0.14 10 0 0 1120 0
1797.01/1797.00 c flowcover : 0.24 10 0 0 1640 0
1797.01/1797.00 c clique : 0.00 1 0 0 0 0
1797.01/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.00 c mcf : 0.00 1 0 0 0 0
1797.01/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.00 c rapidlearning : 0.18 1 0 0 0 918
1797.01/1797.00 c Pricers : Time Calls Vars
1797.01/1797.00 c problem variables: 0.00 0 0
1797.01/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c relpscost : 94.46 185280 22 1406 0 0 369324
1797.01/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.01/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c random : 0.00 0 0 0 0 0 0
1797.01/1797.00 c Primal Heuristics : Time Calls Found
1797.01/1797.00 c LP solutions : 0.00 - 0
1797.01/1797.00 c pseudo solutions : 0.00 - 0
1797.01/1797.00 c oneopt : 0.09 0 0
1797.01/1797.00 c crossover : 0.04 0 0
1797.01/1797.00 c intshifting : 0.00 0 0
1797.01/1797.00 c feaspump : 13.71 160 0
1797.01/1797.00 c coefdiving : 84.93 3510 0
1797.01/1797.00 c fracdiving : 88.73 3686 0
1797.01/1797.00 c trivial : 0.00 2 0
1797.01/1797.00 c shiftandpropagate: 0.01 1 0
1797.01/1797.00 c simplerounding : 0.03 0 0
1797.01/1797.00 c zirounding : 11.36 0 0
1797.01/1797.00 c rounding : 0.50 6040 0
1797.01/1797.00 c shifting : 2.45 1938 0
1797.01/1797.00 c twoopt : 0.00 0 0
1797.01/1797.00 c fixandinfer : 0.00 0 0
1797.01/1797.00 c clique : 0.00 0 0
1797.01/1797.00 c pscostdiving : 85.84 2524 0
1797.01/1797.00 c veclendiving : 62.89 1978 0
1797.01/1797.01 c intdiving : 0.00 0 0
1797.01/1797.01 c actconsdiving : 0.00 0 0
1797.01/1797.01 c objpscostdiving : 13.30 144 0
1797.01/1797.01 c rootsoldiving : 11.39 179 0
1797.01/1797.01 c linesearchdiving : 84.83 3340 0
1797.01/1797.01 c guideddiving : 0.01 0 0
1797.01/1797.01 c octane : 0.00 0 0
1797.01/1797.01 c rens : 0.00 0 0
1797.01/1797.01 c rins : 0.00 0 0
1797.01/1797.01 c localbranching : 0.00 0 0
1797.01/1797.01 c mutation : 0.00 0 0
1797.01/1797.01 c dins : 0.00 0 0
1797.01/1797.01 c vbounds : 0.00 0 0
1797.01/1797.01 c undercover : 0.00 0 0
1797.01/1797.01 c subnlp : 0.03 0 0
1797.01/1797.01 c trysol : 0.05 0 0
1797.01/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.01/1797.01 c dual LP : 1132.21 209129 16689580 79.81 14740.71
1797.01/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.01 c diving/probing LP: 379.28 277925 4777395 17.19 12595.87
1797.01/1797.01 c strong branching : 86.97 13273 1062974 80.09 12222.92
1797.01/1797.01 c (at root node) : - 10 5757 575.70 -
1797.01/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.01 c B&B Tree :
1797.01/1797.01 c number of runs : 1
1797.01/1797.01 c nodes : 225900
1797.01/1797.01 c nodes (total) : 225900
1797.01/1797.01 c nodes left : 122600
1797.01/1797.01 c max depth : 66
1797.01/1797.01 c max depth (total): 66
1797.01/1797.01 c backtracks : 41579 (18.4%)
1797.01/1797.01 c delayed cutoffs : 20829
1797.01/1797.01 c repropagations : 147377 (608390 domain reductions, 6563 cutoffs)
1797.01/1797.01 c avg switch length: 9.56
1797.01/1797.01 c switching time : 33.91
1797.01/1797.01 c Solution :
1797.01/1797.01 c Solutions found : 0 (0 improvements)
1797.01/1797.01 c Primal Bound : -
1797.01/1797.01 c Dual Bound : +1.00414392370914e+02
1797.01/1797.01 c Gap : infinite
1797.01/1797.01 c Root Dual Bound : +9.90000000000000e+01
1797.01/1797.01 c Root Iterations : 9866
1797.21/1797.27 c Time complete: 1797.28.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485483-1307755860/watcher-3485483-1307755860 -o /tmp/evaluation-result-3485483-1307755860/solver-3485483-1307755860 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485483-1307755860.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: 2.00 2.00 1.92 2/177 1011
/proc/meminfo: memFree=31130868/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=6720 CPUtime=0 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 823 0 0 0 0 0 0 0 25 0 1 0 965816708 6881280 778 33554432000 4194304 8979876 140733684916160 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1011/statm: 1680 779 316 1169 0 507 0
[startup+0.016842 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 1011
/proc/meminfo: memFree=31130868/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=17988 CPUtime=0.01 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 3290 0 0 0 1 0 0 0 25 0 1 0 965816708 18419712 3245 33554432000 4194304 8979876 140733684916160 18446744073709551615 18446744073699066034 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 4497 3245 479 1169 0 3324 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17988
[startup+0.100806 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 1011
/proc/meminfo: memFree=31130868/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=22456 CPUtime=0.09 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 4932 0 0 0 9 0 0 0 18 0 1 0 965816708 22994944 4585 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 5614 4585 662 1169 0 4441 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22456
[startup+0.300763 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 1011
/proc/meminfo: memFree=31130868/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=23012 CPUtime=0.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 5121 0 0 0 29 0 0 0 18 0 1 0 965816708 23564288 4773 33554432000 4194304 8979876 140733684916160 18446744073709551615 6601192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 5753 4773 678 1169 0 4580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23012
[startup+0.700694 s]
/proc/loadavg: 2.00 2.00 1.92 2/177 1011
/proc/meminfo: memFree=31130868/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=38368 CPUtime=0.69 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 9061 0 0 0 68 1 0 0 18 0 1 0 965816708 39288832 8347 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 9592 8347 706 1169 0 8419 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38368
[startup+1.50054 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1012
/proc/meminfo: memFree=31099636/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=39008 CPUtime=1.49 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 9425 0 0 0 147 2 0 0 19 0 1 0 965816708 39944192 8711 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 9752 8711 706 1169 0 8579 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39008
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1013
/proc/meminfo: memFree=31091932/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=45276 CPUtime=3.09 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 10914 0 0 0 306 3 0 0 25 0 1 0 965816708 46362624 10174 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 11319 10174 793 1169 0 10146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45276
[startup+6.30064 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1013
/proc/meminfo: memFree=31091072/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=45276 CPUtime=6.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 10918 0 0 0 622 7 0 0 25 0 1 0 965816708 46362624 10178 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 11319 10178 796 1169 0 10146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45276
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1013
/proc/meminfo: memFree=31086384/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=45276 CPUtime=12.7 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 10918 0 0 0 1256 14 0 0 25 0 1 0 965816708 46362624 10178 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 11319 10178 796 1169 0 10146 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45276
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1013
/proc/meminfo: memFree=31086360/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=45276 CPUtime=25.49 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 10922 0 0 0 2516 33 0 0 25 0 1 0 965816708 46362624 10182 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 11319 10182 797 1169 0 10146 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45276
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1014
/proc/meminfo: memFree=31088720/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=45276 CPUtime=51.09 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 10930 0 0 0 5046 63 0 0 25 0 1 0 965816708 46362624 10190 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 11319 10190 797 1169 0 10146 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 45276
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1015
/proc/meminfo: memFree=31074920/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=49476 CPUtime=102.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 12095 0 0 0 10103 126 0 0 25 0 1 0 965816708 50663424 11267 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 12369 11267 714 1169 0 11196 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 49476
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1017
/proc/meminfo: memFree=31062964/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=54112 CPUtime=162.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 13254 0 0 0 16026 203 0 0 25 0 1 0 965816708 55410688 12426 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 13528 12426 714 1169 0 12355 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 54112
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1018
/proc/meminfo: memFree=31056216/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=56300 CPUtime=222.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 13803 0 0 0 21947 282 0 0 25 0 1 0 965816708 57651200 12975 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 14075 12975 714 1169 0 12902 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 56300
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 1020
/proc/meminfo: memFree=31045624/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=58740 CPUtime=282.28 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 14419 0 0 0 27868 360 0 0 25 0 1 0 965816708 60149760 13591 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 14685 13591 714 1169 0 13512 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 58740
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/178 1022
/proc/meminfo: memFree=31032804/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=61292 CPUtime=342.27 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 15065 0 0 0 33786 441 0 0 25 0 1 0 965816708 62763008 14237 33554432000 4194304 8979876 140733684916160 18446744073709551615 7164459 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 15323 14237 714 1169 0 14150 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 61292
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 1023
/proc/meminfo: memFree=31026292/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=66796 CPUtime=402.27 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 16452 0 0 0 39705 522 0 0 25 0 1 0 965816708 68399104 15624 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 16699 15624 714 1169 0 15526 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 66796
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1025
/proc/meminfo: memFree=31016564/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=70692 CPUtime=462.28 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 17424 0 0 0 45626 602 0 0 25 0 1 0 965816708 72388608 16596 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 17673 16596 714 1169 0 16500 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 70692
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1029
/proc/meminfo: memFree=31009004/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=74436 CPUtime=522.26 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 18373 0 0 0 51545 681 0 0 25 0 1 0 965816708 76222464 17534 33554432000 4194304 8979876 140733684916160 18446744073709551615 4899136 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 18609 17534 714 1169 0 17436 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 74436
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1031
/proc/meminfo: memFree=30998524/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=82220 CPUtime=582.26 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 20368 0 0 0 57468 758 0 0 25 0 1 0 965816708 84193280 19529 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1011/statm: 20555 19529 714 1169 0 19382 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 82220
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30914820/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=140972 CPUtime=1122.28 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 34785 0 0 0 110759 1469 0 0 25 0 1 0 965816708 144355328 33849 33554432000 4194304 8979876 140733684916160 18446744073709551615 4318823 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 35243 33849 714 1169 0 34070 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 140972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1047
/proc/meminfo: memFree=30900492/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=151156 CPUtime=1182.28 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 37359 0 0 0 116685 1543 0 0 25 0 1 0 965816708 154783744 36411 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 37789 36411 714 1169 0 36616 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 151156
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1049
/proc/meminfo: memFree=30886156/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=159944 CPUtime=1242.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 39591 0 0 0 122607 1622 0 0 25 0 1 0 965816708 163782656 38622 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 39986 38622 714 1169 0 38813 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 159944
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1050
/proc/meminfo: memFree=30875324/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=166612 CPUtime=1302.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 41286 0 0 0 128529 1700 0 0 25 0 1 0 965816708 170610688 40309 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 41653 40309 714 1169 0 40480 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 166612
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1052
/proc/meminfo: memFree=30874040/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=175472 CPUtime=1362.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 43538 0 0 0 134453 1776 0 0 25 0 1 0 965816708 179683328 42549 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 43868 42549 714 1169 0 42695 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 175472
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 1053
/proc/meminfo: memFree=30859476/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=181428 CPUtime=1422.3 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 45052 0 0 0 140381 1849 0 0 25 0 1 0 965816708 185782272 44050 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 45357 44050 714 1169 0 44184 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 181428
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 1055
/proc/meminfo: memFree=30846660/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=189072 CPUtime=1482.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 47021 0 0 0 146300 1929 0 0 25 0 1 0 965816708 193609728 45981 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 47268 45981 714 1169 0 46095 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 189072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1095
/proc/meminfo: memFree=31181888/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=197128 CPUtime=1542.3 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 49098 0 0 0 152226 2004 0 0 25 0 1 0 965816708 201859072 48008 33554432000 4194304 8979876 140733684916160 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 49282 48008 714 1169 0 48109 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 197128
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 1096
/proc/meminfo: memFree=31172624/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=205168 CPUtime=1602.3 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 51129 0 0 0 158145 2085 0 0 25 0 1 0 965816708 210092032 50039 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 51292 50039 714 1169 0 50119 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 205168
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 1098
/proc/meminfo: memFree=31162804/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=214844 CPUtime=1662.3 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 53578 0 0 0 164069 2161 0 0 25 0 1 0 965816708 220000256 52486 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 53711 52486 714 1169 0 52538 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 214844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1099
/proc/meminfo: memFree=31157156/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=220576 CPUtime=1722.29 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 55025 0 0 0 169988 2241 0 0 25 0 1 0 965816708 225869824 53933 33554432000 4194304 8979876 140733684916160 18446744073709551615 6546376 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 55144 53933 714 1169 0 53971 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 220576
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31143324/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=232920 CPUtime=1782.3 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 58187 0 0 0 175911 2319 0 0 25 0 1 0 965816708 238510080 57039 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 58230 57039 714 1169 0 57057 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 232920
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31142084/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=233996 CPUtime=1785.51 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 58462 0 0 0 176225 2326 0 0 25 0 1 0 965816708 239611904 57314 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 58499 57314 714 1169 0 57326 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 233996
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31139224/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=236884 CPUtime=1791.91 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 59187 0 0 0 176856 2335 0 0 25 0 1 0 965816708 242569216 58011 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 59221 58011 714 1169 0 58048 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 236884
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31138728/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=237108 CPUtime=1795.11 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 59243 0 0 0 177174 2337 0 0 25 0 1 0 965816708 242798592 58067 33554432000 4194304 8979876 140733684916160 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 59277 58067 714 1169 0 58104 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 237108
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31138728/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=237108 CPUtime=1795.9 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 59243 0 0 0 177252 2338 0 0 25 0 1 0 965816708 242798592 58067 33554432000 4194304 8979876 140733684916160 18446744073709551615 4799337 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 59277 58067 714 1169 0 58104 0
Current children cumulated CPU time (s) 1795.9
Current children cumulated vsize (KiB) 237108
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31138728/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=237108 CPUtime=1796.7 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 59246 0 0 0 177331 2339 0 0 25 0 1 0 965816708 242798592 58070 33554432000 4194304 8979876 140733684916160 18446744073709551615 6546982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1011/statm: 59277 58070 714 1169 0 58104 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 237108
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31138728/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=237108 CPUtime=1797.11 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 59253 0 0 0 177371 2340 0 0 25 0 1 0 965816708 242798592 58077 33554432000 4194304 8979876 140733684916160 18446744073709551615 4702363 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1011/statm: 59277 58077 719 1169 0 58104 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 237108
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 1101
/proc/meminfo: memFree=31138728/32950928 swapFree=67054844/67111528
[pid=1011] ppid=1009 vsize=237108 CPUtime=1797.21 cores=0,2,4,6
/proc/1011/stat : 1011 (scip-2.0.1.4_2.) R 1009 1011 32526 0 -1 4202496 59253 0 0 0 177381 2340 0 0 25 0 1 0 965816708 242798592 58077 33554432000 4194304 8979876 140733684916160 18446744073709551615 4897609 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/1011/statm: 59277 58077 719 1169 0 58104 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 237108
Child status: 0
Real time (s): 1797.28
CPU time (s): 1797.29
CPU user time (s): 1773.88
CPU system time (s): 23.4114
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 237108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.88
system time used= 23.4114
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59258
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= 2865
runsolver used 2.69459 second user time and 5.48517 second system time
The end