0.00/0.00 c SCIP version 2.0.1.5 [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-3488925-1307760519.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.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.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.00/0.03 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (4 rounds):
0.00/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.00/0.03 c 342 implications, 0 cliques
0.00/0.03 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.00/0.03 c 673 constraints of type <knapsack>
0.00/0.03 c 171 constraints of type <setppc>
0.00/0.03 c 10 constraints of type <linear>
0.00/0.03 c 40 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/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.00/0.05 c 0.0s| 1 | 0 | 384 | - |3323k| 0 | 194 | 464 | 911 | 464 | 894 | 0 | 17 | 0 | 9.700000e+01 | -- | Inf
0.49/0.52 c 0.5s| 1 | 0 | 5779 | - |4945k| 0 | 235 | 464 |1829 | 464 |1141 | 247 | 17 | 0 | 9.800000e+01 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 6380 | - |6089k| 0 | 266 | 464 |1829 | 464 |1320 | 426 | 17 | 0 | 9.850000e+01 | -- | Inf
0.79/0.80 c 0.8s| 1 | 0 | 6900 | - |6723k| 0 | 269 | 464 |1829 | 464 |1483 | 589 | 17 | 0 | 9.850000e+01 | -- | Inf
0.89/0.95 c 1.0s| 1 | 0 | 7419 | - |7651k| 0 | 263 | 464 |1829 | 464 |1618 | 724 | 17 | 0 | 9.850000e+01 | -- | Inf
1.10/1.17 c 1.2s| 1 | 0 | 8008 | - |7937k| 0 | 266 | 464 |1829 | 464 |1718 | 824 | 17 | 0 | 9.900000e+01 | -- | Inf
1.29/1.39 c 1.4s| 1 | 0 | 8472 | - |8148k| 0 | 256 | 464 |1829 | 464 |1807 | 913 | 17 | 0 | 9.900000e+01 | -- | Inf
1.59/1.62 c 1.6s| 1 | 0 | 8912 | - |8387k| 0 | 254 | 464 |1829 | 464 |1862 | 968 | 17 | 0 | 9.900000e+01 | -- | Inf
1.79/1.85 c 1.9s| 1 | 0 | 9265 | - |8539k| 0 | 250 | 464 |1829 | 464 |1942 |1048 | 17 | 0 | 9.900000e+01 | -- | Inf
1.99/2.04 c 2.0s| 1 | 0 | 9542 | - |8677k| 0 | 258 | 464 |1829 | 464 |1989 |1095 | 17 | 0 | 9.900000e+01 | -- | Inf
2.20/2.27 c 2.3s| 1 | 0 | 9866 | - |8886k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 0 | 9.900000e+01 | -- | Inf
2.80/2.89 c 2.9s| 1 | 2 | 9866 | - |8888k| 0 | 261 | 464 |1829 | 464 |2037 |1143 | 17 | 10 | 9.900000e+01 | -- | Inf
115.29/115.32 c 115s| 10000 | 8753 | 1148k| 113.9 | 19M| 43 | 221 | 464 |1859 | 464 |1244 |1143 |4141 |2829 | 9.921278e+01 | -- | Inf
213.20/213.25 c 213s| 20000 | 17091 | 2305k| 114.8 | 28M| 43 | - | 464 |1966 | 0 | 0 |1143 |9241 |4068 | 9.931250e+01 | -- | Inf
299.70/299.79 c 300s| 30000 | 25103 | 3342k| 111.1 | 37M| 46 | 183 | 464 |2052 | 464 |1244 |1143 | 15k|5103 | 9.943333e+01 | -- | Inf
384.40/384.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.40/384.49 c 384s| 40000 | 32669 | 4370k| 109.0 | 46M| 49 | 136 | 464 |2175 | 464 |1244 |1143 | 21k|6054 | 9.953333e+01 | -- | Inf
462.01/462.09 c 462s| 50000 | 39649 | 5320k| 106.2 | 55M| 58 | 186 | 464 |2365 | 464 |1244 |1143 | 30k|6759 | 9.963333e+01 | -- | Inf
534.10/534.14 c 534s| 60000 | 46623 | 6203k| 103.2 | 65M| 58 | 100 | 464 |2616 | 464 |1244 |1143 | 38k|7403 | 9.977023e+01 | -- | Inf
606.12/606.14 c 606s| 70000 | 53195 | 7095k| 101.2 | 74M| 58 | 192 | 464 |2556 | 464 |1244 |1143 | 47k|7860 | 9.995385e+01 | -- | Inf
672.71/672.73 c 673s| 80000 | 59419 | 7921k| 98.9 | 83M| 58 | 213 | 464 |2511 | 464 |1244 |1143 | 57k|8345 | 1.000000e+02 | -- | Inf
741.71/741.74 c 742s| 90000 | 65699 | 8775k| 97.4 | 92M| 58 | 190 | 464 |2689 | 464 |1244 |1143 | 67k|8854 | 1.000000e+02 | -- | Inf
806.42/806.43 c 806s|100000 | 72003 | 9579k| 95.7 | 100M| 58 | 149 | 464 |2547 | 464 |1244 |1143 | 77k|9312 | 1.000000e+02 | -- | Inf
869.92/869.91 c 870s|110000 | 77905 | 10368k| 94.2 | 109M| 58 | 138 | 464 |2628 | 464 |1244 |1143 | 87k|9638 | 1.000000e+02 | -- | Inf
928.81/928.88 c 929s|120000 | 83432 | 11097k| 92.4 | 117M| 58 | 98 | 464 |2851 | 464 |1244 |1143 | 99k| 10k| 1.000000e+02 | -- | Inf
985.42/985.44 c 985s|130000 | 88535 | 11790k| 90.6 | 125M| 58 | 153 | 464 |2957 | 464 |1244 |1143 | 111k| 10k| 1.000152e+02 | -- | Inf
1037.92/1037.90 c 1038s|140000 | 93051 | 12443k| 88.8 | 132M| 58 | 69 | 464 |3152 | 464 |1244 |1143 | 124k| 10k| 1.000700e+02 | -- | Inf
1089.32/1089.30 c 1089s|150000 | 97490 | 13075k| 87.1 | 140M| 58 | 213 | 464 |2991 | 464 |1244 |1143 | 137k| 10k| 1.001000e+02 | -- | Inf
1148.63/1148.60 c 1149s|160000 |102360 | 13821k| 86.3 | 147M| 59 | 149 | 464 |3096 | 464 |1244 |1143 | 149k| 11k| 1.001333e+02 | -- | Inf
1201.33/1201.36 c 1201s|170000 |106702 | 14475k| 85.1 | 154M| 61 | 237 | 464 |3177 | 464 |1244 |1143 | 162k| 11k| 1.001488e+02 | -- | Inf
1254.04/1254.07 c 1254s|180000 |111368 | 15140k| 84.1 | 162M| 63 | 135 | 464 |3388 | 464 |1244 |1143 | 175k| 11k| 1.001679e+02 | -- | Inf
1302.93/1302.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.93/1302.90 c 1303s|190000 |115701 | 15748k| 82.8 | 169M| 63 | 190 | 464 |3290 | 464 |1244 |1143 | 189k| 11k| 1.002136e+02 | -- | Inf
1351.33/1351.37 c 1351s|200000 |119776 | 16344k| 81.7 | 176M| 63 | 148 | 464 |3571 | 464 |1244 |1143 | 202k| 12k| 1.002500e+02 | -- | Inf
1394.43/1394.40 c 1394s|210000 |123287 | 16875k| 80.3 | 183M| 63 | 217 | 464 |3539 | 464 |1244 |1143 | 217k| 12k| 1.002922e+02 | -- | Inf
1433.94/1433.98 c 1434s|220000 |126561 | 17361k| 78.9 | 189M| 63 | 104 | 464 |3825 | 464 |1244 |1143 | 232k| 12k| 1.003248e+02 | -- | Inf
1474.33/1474.31 c 1474s|230000 |129935 | 17857k| 77.6 | 195M| 63 | 121 | 464 |3566 | 464 |1244 |1143 | 246k| 12k| 1.003500e+02 | -- | Inf
1511.83/1511.82 c 1512s|240000 |132744 | 18314k| 76.3 | 201M| 63 | - | 464 |3970 | 464 |1244 |1143 | 262k| 12k| 1.003846e+02 | -- | Inf
1548.13/1548.16 c 1548s|250000 |135424 | 18760k| 75.0 | 206M| 63 | 166 | 464 |3943 | 464 |1244 |1143 | 277k| 13k| 1.004359e+02 | -- | Inf
1581.64/1581.68 c 1582s|260000 |138066 | 19170k| 73.7 | 212M| 71 | 161 | 464 |4048 | 464 |1244 |1143 | 292k| 13k| 1.004815e+02 | -- | Inf
1615.14/1615.15 c 1615s|270000 |140811 | 19582k| 72.5 | 218M| 74 | 195 | 464 |4115 | 464 |1244 |1143 | 306k| 13k| 1.005000e+02 | -- | Inf
1647.14/1647.17 c 1647s|280000 |143300 | 19976k| 71.3 | 224M| 74 | - | 464 |4060 | 0 | 0 |1143 | 321k| 13k| 1.005412e+02 | -- | Inf
1676.84/1676.84 c 1677s|290000 |145430 | 20336k| 70.1 | 230M| 74 | 43 | 464 |4268 | 464 |1244 |1143 | 336k| 13k| 1.005874e+02 | -- | Inf
1706.24/1706.28 c 1706s|300000 |147745 | 20695k| 69.0 | 235M| 74 | 102 | 464 |4999 | 464 |1244 |1143 | 351k| 13k| 1.006588e+02 | -- | Inf
1734.64/1734.68 c 1735s|310000 |149726 | 21041k| 67.8 | 240M| 74 | - | 464 |4989 | 464 |1244 |1143 | 367k| 13k| 1.006833e+02 | -- | Inf
1762.25/1762.23 c 1762s|320000 |151517 | 21380k| 66.8 | 245M| 74 | 74 | 464 |4544 | 464 |1244 |1143 | 381k| 13k| 1.007477e+02 | -- | Inf
1789.04/1789.08 c 1789s|330000 |153194 | 21707k| 65.8 | 251M| 74 | 69 | 464 |4998 | 464 |1244 |1143 | 397k| 14k| 1.008333e+02 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 332759
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +1.00863008971705e+02
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.02 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488925-1307760519.opb
1797.04/1797.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1059 initial, 1059 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488925-1307760519.opb
1797.04/1797.00 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 894 initial, 5286 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.00 0 0 0 0 0 0 3 3 7
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 168 0 81 81
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 266225 0 4 0 24 1521 0 0 530988
1797.04/1797.00 c knapsack : 673 10 1875444 0 1 3 1272415 32398 2113624 1318 0 0
1797.04/1797.01 c setppc : 171 10 1843046 0 1 0 708241 17425 622018 0 0 0
1797.04/1797.01 c linear : 10+ 11 1825622 0 1 0 130287 8439 250934 21 0 0
1797.04/1797.01 c logicor : 40+ 10 1168991 0 1 0 1324482 13229 1136157 3 0 0
1797.04/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.01 c integral : 81.40 0.00 0.00 81.40 0.00 0.00 0.00
1797.04/1797.01 c knapsack : 27.27 0.02 26.60 0.00 0.00 0.00 0.65
1797.04/1797.01 c setppc : 5.32 0.00 5.14 0.00 0.00 0.00 0.19
1797.04/1797.01 c linear : 3.75 0.01 3.54 0.00 0.00 0.00 0.20
1797.04/1797.01 c logicor : 23.61 0.00 22.86 0.00 0.00 0.00 0.75
1797.04/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.01 c vbounds : 0 0 0 0
1797.04/1797.01 c rootredcost : 0 0 0 0
1797.04/1797.01 c pseudoobj : 1876725 0 0 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.29 0.29 0.00
1797.04/1797.01 c rootredcost : 0.29 0.29 0.00
1797.04/1797.01 c pseudoobj : 0.96 0.96 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 2.46 71491 71350 385930 22.8 20058 10.6 -
1797.04/1797.01 c infeasible LP : 4.16 53979 53979 278883 21.7 11933 8.1 0
1797.04/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c applied globally : - - - 402283 16.4 - - -
1797.04/1797.01 c applied locally : - - - 0 0.0 - - -
1797.04/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.01 c cut pool : 0.00 9 - - 969 - (maximal pool size: 4714)
1797.04/1797.01 c redcost : 2.18 266241 0 11 0 0
1797.04/1797.01 c impliedbounds : 0.00 10 0 0 0 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 0.50 10 0 0 2817 0
1797.04/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.01 c strongcg : 0.42 10 0 0 3010 0
1797.04/1797.01 c cmir : 0.15 10 0 0 1120 0
1797.04/1797.01 c flowcover : 0.23 10 0 0 1640 0
1797.04/1797.01 c clique : 0.00 1 0 0 0 0
1797.04/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.01 c mcf : 0.00 1 0 0 0 0
1797.04/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.01 c rapidlearning : 0.18 1 0 0 0 918
1797.04/1797.01 c Pricers : Time Calls Vars
1797.04/1797.01 c problem variables: 0.00 0 0
1797.04/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c relpscost : 81.23 266225 24 1521 0 0 530988
1797.04/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c random : 0.00 0 0 0 0 0 0
1797.04/1797.01 c Primal Heuristics : Time Calls Found
1797.04/1797.01 c LP solutions : 0.00 - 0
1797.04/1797.01 c pseudo solutions : 0.00 - 0
1797.04/1797.01 c oneopt : 0.11 0 0
1797.04/1797.01 c crossover : 0.06 0 0
1797.04/1797.01 c trivial : 0.00 2 0
1797.04/1797.01 c shiftandpropagate: 0.01 1 0
1797.04/1797.01 c simplerounding : 0.05 0 0
1797.04/1797.01 c zirounding : 15.06 2 0
1797.04/1797.01 c rounding : 0.57 7261 0
1797.04/1797.01 c shifting : 2.70 2274 0
1797.04/1797.01 c intshifting : 0.01 0 0
1797.04/1797.01 c twoopt : 0.00 0 0
1797.04/1797.01 c fixandinfer : 0.00 0 0
1797.04/1797.01 c feaspump : 12.95 187 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c coefdiving : 76.18 2857 0
1797.04/1797.01 c pscostdiving : 86.07 2858 0
1797.04/1797.01 c fracdiving : 73.61 2858 0
1797.04/1797.01 c veclendiving : 61.33 2857 0
1797.04/1797.01 c intdiving : 0.00 0 0
1797.04/1797.01 c actconsdiving : 0.00 0 0
1797.04/1797.01 c objpscostdiving : 13.23 118 0
1797.04/1797.01 c rootsoldiving : 11.21 186 0
1797.04/1797.01 c linesearchdiving : 78.22 2763 0
1797.04/1797.01 c guideddiving : 0.01 0 0
1797.04/1797.01 c octane : 0.00 0 0
1797.04/1797.01 c rens : 0.01 0 0
1797.04/1797.01 c rins : 0.00 0 0
1797.04/1797.01 c localbranching : 0.00 0 0
1797.04/1797.01 c mutation : 0.00 0 0
1797.04/1797.01 c dins : 0.00 0 0
1797.04/1797.01 c vbounds : 0.00 0 0
1797.04/1797.01 c undercover : 0.00 0 0
1797.04/1797.01 c subnlp : 0.05 0 0
1797.04/1797.01 c trysol : 0.07 0 0
1797.04/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.01 c dual LP : 1136.21 298881 17133745 57.33 15079.73
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 349.76 276425 4669728 16.89 13351.09
1797.04/1797.01 c strong branching : 71.58 14034 909131 64.78 12701.38
1797.04/1797.01 c (at root node) : - 10 5757 575.70 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 332759
1797.04/1797.01 c nodes (total) : 332759
1797.04/1797.01 c nodes left : 153658
1797.04/1797.01 c max depth : 74
1797.04/1797.01 c max depth (total): 74
1797.04/1797.01 c backtracks : 64130 (19.3%)
1797.04/1797.01 c delayed cutoffs : 44574
1797.04/1797.01 c repropagations : 255631 (1162561 domain reductions, 15562 cutoffs)
1797.04/1797.01 c avg switch length: 8.56
1797.04/1797.01 c switching time : 40.26
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 0 (0 improvements)
1797.04/1797.01 c Primal Bound : -
1797.04/1797.01 c Dual Bound : +1.00863008971705e+02
1797.04/1797.01 c Gap : infinite
1797.04/1797.01 c Root Dual Bound : +9.90000000000000e+01
1797.04/1797.01 c Root Iterations : 9866
1797.35/1797.37 c Time complete: 1797.41.
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-3488925-1307760519/watcher-3488925-1307760519 -o /tmp/evaluation-result-3488925-1307760519/solver-3488925-1307760519 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488925-1307760519.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.37 2.44 3.07 2/178 8153
/proc/meminfo: memFree=31444112/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=12704 CPUtime=0 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 2157 0 0 0 0 0 0 0 25 0 1 0 887649845 13008896 2111 33554432000 4194304 9016284 140733493819040 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8153/statm: 3176 2111 360 1178 0 1994 0
[startup+0.077537 s]
/proc/loadavg: 1.37 2.44 3.07 2/178 8153
/proc/meminfo: memFree=31444112/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=23820 CPUtime=0.07 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 5254 0 0 0 7 0 0 0 25 0 1 0 887649845 24391680 4905 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 5955 4905 655 1178 0 4773 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23820
[startup+0.100532 s]
/proc/loadavg: 1.37 2.44 3.07 2/178 8153
/proc/meminfo: memFree=31444112/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=23820 CPUtime=0.09 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 5255 0 0 0 9 0 0 0 25 0 1 0 887649845 24391680 4905 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 5955 4905 654 1178 0 4773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23820
[startup+0.300532 s]
/proc/loadavg: 1.37 2.44 3.07 2/178 8153
/proc/meminfo: memFree=31444112/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=24496 CPUtime=0.29 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 5477 0 0 0 28 1 0 0 25 0 1 0 887649845 25083904 5127 33554432000 4194304 9016284 140733493819040 18446744073709551615 6556131 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 6124 5127 672 1178 0 4942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24496
[startup+0.700424 s]
/proc/loadavg: 1.37 2.44 3.07 2/178 8153
/proc/meminfo: memFree=31444112/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=39888 CPUtime=0.69 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 9763 0 0 0 68 1 0 0 25 0 1 0 887649845 40845312 8694 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 9972 8694 699 1178 0 8790 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39888
[startup+1.50031 s]
/proc/loadavg: 1.37 2.44 3.07 3/177 8154
/proc/meminfo: memFree=31379748/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=40528 CPUtime=1.49 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 9984 0 0 0 147 2 0 0 25 0 1 0 887649845 41500672 8915 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 10132 8915 699 1178 0 8950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40528
[startup+3.10098 s]
/proc/loadavg: 1.42 2.43 3.06 3/182 8164
/proc/meminfo: memFree=30951160/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=41592 CPUtime=3.09 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 12259 0 0 0 304 5 0 0 25 0 1 0 887649845 42590208 9467 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 10398 9467 700 1178 0 9216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41592
[startup+6.30043 s]
/proc/loadavg: 1.42 2.43 3.06 3/182 8164
/proc/meminfo: memFree=30458924/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=41592 CPUtime=6.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 12262 0 0 0 620 10 0 0 25 0 1 0 887649845 42590208 9470 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 10398 9470 702 1178 0 9216 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 41592
[startup+12.7002 s]
/proc/loadavg: 1.51 2.41 3.05 3/182 8165
/proc/meminfo: memFree=28861316/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=41592 CPUtime=12.69 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 12262 0 0 0 1252 17 0 0 25 0 1 0 887649845 42590208 9470 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 10398 9470 702 1178 0 9216 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41592
[startup+25.5009 s]
/proc/loadavg: 1.58 2.40 3.04 3/182 8165
/proc/meminfo: memFree=28012720/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=41992 CPUtime=25.49 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 12302 0 0 0 2514 35 0 0 25 0 1 0 887649845 42999808 9510 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 10498 9510 703 1178 0 9316 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41992
[startup+51.1003 s]
/proc/loadavg: 1.78 2.38 3.02 3/182 8166
/proc/meminfo: memFree=28009844/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=44788 CPUtime=51.09 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 13036 0 0 0 5041 68 0 0 25 0 1 0 887649845 45862912 10244 33554432000 4194304 9016284 140733493819040 18446744073709551615 6403972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 11197 10244 703 1178 0 10015 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44788
[startup+102.307 s]
/proc/loadavg: 1.99 2.33 2.96 3/182 8167
/proc/meminfo: memFree=28001724/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=52020 CPUtime=102.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 14869 0 0 0 10097 133 0 0 25 0 1 0 887649845 53268480 12076 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 13005 12076 703 1178 0 11823 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 52020
[startup+162.301 s]
/proc/loadavg: 1.99 2.27 2.90 3/182 8169
/proc/meminfo: memFree=27990620/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=58292 CPUtime=162.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 16446 0 0 0 16021 209 0 0 25 0 1 0 887649845 59691008 13653 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 14573 13653 703 1178 0 13391 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 58292
[startup+222.301 s]
/proc/loadavg: 1.99 2.22 2.84 3/182 8170
/proc/meminfo: memFree=27980884/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=62700 CPUtime=222.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 17579 0 0 0 21945 285 0 0 25 0 1 0 887649845 64204800 14786 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 15675 14786 703 1178 0 14493 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 62700
[startup+282.3 s]
/proc/loadavg: 1.99 2.18 2.79 3/182 8172
/proc/meminfo: memFree=27968676/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=70408 CPUtime=282.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 19544 0 0 0 27866 364 0 0 25 0 1 0 887649845 72097792 16737 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 17602 16737 703 1178 0 16420 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 70408
[startup+342.3 s]
/proc/loadavg: 2.03 2.15 2.74 3/182 8173
/proc/meminfo: memFree=27955248/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=77948 CPUtime=342.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 21431 0 0 0 33788 442 0 0 25 0 1 0 887649845 79818752 18623 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 19487 18623 703 1178 0 18305 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 77948
[startup+402.3 s]
/proc/loadavg: 2.01 2.12 2.69 3/182 8175
/proc/meminfo: memFree=27939592/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=87280 CPUtime=402.31 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 23829 0 0 0 39709 522 0 0 25 0 1 0 887649845 89374720 21018 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 21820 21018 703 1178 0 20638 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 87280
[startup+462.301 s]
/proc/loadavg: 2.00 2.10 2.64 3/182 8177
/proc/meminfo: memFree=27924292/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=96344 CPUtime=462.31 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 26067 0 0 0 45630 601 0 0 25 0 1 0 887649845 98656256 23256 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 24086 23256 703 1178 0 22904 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 96344
[startup+522.301 s]
/proc/loadavg: 2.00 2.08 2.60 3/182 8178
/proc/meminfo: memFree=26133436/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=104840 CPUtime=522.3 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 28291 0 0 0 51558 672 0 0 25 0 1 0 887649845 107356160 25430 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 26210 25430 703 1178 0 25028 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 104840
[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.56 3/182 8180
/proc/meminfo: memFree=26057624/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=113500 CPUtime=582.31 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 30459 0 0 0 57484 747 0 0 25 0 1 0 887649845 116224000 27598 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 28375 27598 703 1178 0 27193 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 113500
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25968672/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=190412 CPUtime=1062.32 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 49566 0 0 0 104863 1369 0 0 25 0 1 0 887649845 194981888 46535 33554432000 4194304 9016284 140733493819040 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 47603 46535 703 1178 0 46421 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 190412
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/182 8206
/proc/meminfo: memFree=25949160/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=198344 CPUtime=1122.32 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 51544 0 0 0 110786 1446 0 0 25 0 1 0 887649845 203104256 48509 33554432000 4194304 9016284 140733493819040 18446744073709551615 6422746 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 49586 48509 703 1178 0 48404 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 198344
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.28 3/182 8208
/proc/meminfo: memFree=25938572/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=208144 CPUtime=1182.32 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 54038 0 0 0 116709 1523 0 0 25 0 1 0 887649845 213139456 50981 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 52036 50981 703 1178 0 50854 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 208144
[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.27 3/182 8209
/proc/meminfo: memFree=25930720/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=215376 CPUtime=1242.33 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 55884 0 0 0 122630 1603 0 0 25 0 1 0 887649845 220545024 52806 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 53844 52806 703 1178 0 52662 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 215376
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.25 3/182 8211
/proc/meminfo: memFree=25917528/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=228348 CPUtime=1302.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 59161 0 0 0 128554 1680 0 0 25 0 1 0 887649845 233828352 56069 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 57087 56069 703 1178 0 55905 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 228348
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.24 3/182 8213
/proc/meminfo: memFree=25899268/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=235840 CPUtime=1362.33 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 61146 0 0 0 134475 1758 0 0 25 0 1 0 887649845 241500160 57964 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 58960 57964 703 1178 0 57778 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 235840
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.22 3/182 8214
/proc/meminfo: memFree=25885340/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=248216 CPUtime=1422.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 64393 0 0 0 140398 1836 0 0 25 0 1 0 887649845 254173184 61076 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 62054 61076 703 1178 0 60872 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 248216
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.21 3/182 8216
/proc/meminfo: memFree=25875740/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=257320 CPUtime=1482.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 66737 0 0 0 146320 1914 0 0 25 0 1 0 887649845 263495680 63361 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 64330 63361 703 1178 0 63148 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 257320
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.19 3/182 8217
/proc/meminfo: memFree=25864172/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=268324 CPUtime=1542.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 69510 0 0 0 152243 1991 0 0 25 0 1 0 887649845 274763776 66134 33554432000 4194304 9016284 140733493819040 18446744073709551615 6523836 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 67081 66134 703 1178 0 65899 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 268324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/182 8219
/proc/meminfo: memFree=25854560/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=278004 CPUtime=1602.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 71954 0 0 0 158167 2067 0 0 25 0 1 0 887649845 284676096 68578 33554432000 4194304 9016284 140733493819040 18446744073709551615 5155071 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 69501 68578 703 1178 0 68319 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 278004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/182 8221
/proc/meminfo: memFree=25839408/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=292664 CPUtime=1662.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 75683 0 0 0 164083 2151 0 0 25 0 1 0 887649845 299687936 72260 33554432000 4194304 9016284 140733493819040 18446744073709551615 5945652 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 73166 72260 703 1178 0 71984 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 292664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/182 8222
/proc/meminfo: memFree=25826608/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=305592 CPUtime=1722.35 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 78941 0 0 0 170008 2227 0 0 25 0 1 0 887649845 312926208 75489 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 76398 75489 703 1178 0 75216 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 305592
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25815648/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=315812 CPUtime=1782.34 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 81540 0 0 0 175932 2302 0 0 25 0 1 0 887649845 323391488 78059 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 78953 78059 703 1178 0 77771 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 315812
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25815400/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=316088 CPUtime=1785.54 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 81630 0 0 0 176248 2306 0 0 25 0 1 0 887649845 323674112 78149 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 79022 78149 703 1178 0 77840 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 316088
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25813660/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=317828 CPUtime=1791.95 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 82058 0 0 0 176881 2314 0 0 25 0 1 0 887649845 325455872 78577 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 79457 78577 703 1178 0 78275 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 317828
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25813164/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=318100 CPUtime=1795.15 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 82118 0 0 0 177198 2317 0 0 25 0 1 0 887649845 325734400 78637 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 79525 78637 703 1178 0 78343 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 318100
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25812792/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=318712 CPUtime=1796.75 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 82308 0 0 0 177356 2319 0 0 25 0 1 0 887649845 326361088 78826 33554432000 4194304 9016284 140733493819040 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8153/statm: 79678 78826 703 1178 0 78496 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 318712
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25812792/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=318712 CPUtime=1797.14 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 82311 0 0 0 177395 2319 0 0 25 0 1 0 887649845 326361088 78829 33554432000 4194304 9016284 140733493819040 18446744073709551615 6812640 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8153/statm: 79678 78829 706 1178 0 78496 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 318712
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 8224
/proc/meminfo: memFree=25812536/32951124 swapFree=67054536/67111528
[pid=8153] ppid=8151 vsize=318712 CPUtime=1797.35 cores=0,2,4,6
/proc/8153/stat : 8153 (scip-2.0.1.4b_2) R 8151 8153 8117 0 -1 4202496 82311 0 0 0 177416 2319 0 0 25 0 1 0 887649845 326361088 78829 33554432000 4194304 9016284 140733493819040 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8153/statm: 79678 78829 706 1178 0 78496 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 318712
Child status: 0
Real time (s): 1797.38
CPU time (s): 1797.43
CPU user time (s): 1774.22
CPU system time (s): 23.2085
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 318712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.22
system time used= 23.2085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82316
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= 1815
runsolver used 3.21951 second user time and 6.15306 second system time
The end