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-3488540-1307780812.opb>
0.00/0.01 c original problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2888 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.05/0.06 c (round 1) 0 del vars, 2888 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 71340 impls, 0 clqs
0.05/0.07 c (round 2) 2488 del vars, 2888 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71340 impls, 0 clqs
0.05/0.07 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.07 c presolving (3 rounds):
0.05/0.07 c 2488 deleted vars, 2888 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.07 c 71340 implications, 0 cliques
0.05/0.07 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.05/0.07 c 200 constraints of type <logicor>
0.05/0.07 c transformed objective value is always integral (scale: 1)
0.05/0.07 c Presolving Time: 0.06
0.05/0.07 c - non default parameters ----------------------------------------------------------------------
0.05/0.07 c # SCIP version 2.0.1.5
0.05/0.07 c
0.05/0.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c conflict/interconss = 0
0.05/0.07 c
0.05/0.07 c # should binary conflicts be preferred?
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c conflict/preferbinary = TRUE
0.05/0.07 c
0.05/0.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07 c constraints/agelimit = 1
0.05/0.07 c
0.05/0.07 c # should enforcement of pseudo solution be disabled?
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/disableenfops = TRUE
0.05/0.07 c
0.05/0.07 c # frequency for displaying node information lines
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.07 c display/freq = 10000
0.05/0.07 c
0.05/0.07 c # maximal time in seconds to run
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/time = 1797
0.05/0.07 c
0.05/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/memory = 13950
0.05/0.07 c
0.05/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.05/0.07 c # [type: int, range: [1,2], default: 1]
0.05/0.07 c timing/clocktype = 2
0.05/0.07 c
0.05/0.07 c # belongs reading time to solving time?
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c timing/reading = TRUE
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify inequalities
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/linear/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/indicator/addCouplingCons = TRUE
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify knapsacks
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c -----------------------------------------------------------------------------------------------
0.05/0.07 c start solving
0.05/0.07 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.2s| 1 | 0 | 2125 | - |6385k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454588e+01 | 2.000000e+02 |1274.96%
0.19/0.20 o 128
0.19/0.20 c r 0.2s| 1 | 0 | 2125 | - |6390k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454588e+01 | 1.280000e+02 | 779.97%
0.19/0.20 o 127
0.19/0.20 c R 0.2s| 1 | 0 | 2125 | - |6396k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454588e+01 | 1.270000e+02 | 773.10%
0.19/0.20 o 126
0.19/0.20 c s 0.2s| 1 | 0 | 2125 | - |6401k| 0 | 128 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.454588e+01 | 1.260000e+02 | 766.22%
0.19/0.23 c 0.2s| 1 | 0 | 2212 | - |7176k| 0 | 123 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.458657e+01 | 1.260000e+02 | 763.81%
0.19/0.23 o 33
0.19/0.23 c b 0.2s| 1 | 0 | 2212 | - |7181k| 0 | 123 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.458657e+01 | 3.300000e+01 | 126.24%
0.19/0.27 c 0.3s| 1 | 0 | 2305 | - |7783k| 0 | 119 | 200 | 200 | 200 | 202 | 2 | 0 | 0 | 1.461539e+01 | 3.300000e+01 | 125.79%
0.29/0.30 c 0.3s| 1 | 0 | 2381 | - |7992k| 0 | 120 | 200 | 200 | 200 | 203 | 3 | 0 | 0 | 1.462808e+01 | 3.300000e+01 | 125.59%
0.29/0.33 c 0.3s| 1 | 0 | 2450 | - |8057k| 0 | 119 | 200 | 200 | 200 | 204 | 4 | 0 | 0 | 1.463480e+01 | 3.300000e+01 | 125.49%
0.29/0.37 c 0.4s| 1 | 0 | 2532 | - |8073k| 0 | 116 | 200 | 200 | 200 | 205 | 5 | 0 | 0 | 1.463951e+01 | 3.300000e+01 | 125.42%
1.29/1.30 c 1.3s| 1 | 2 | 2532 | - |8082k| 0 | 116 | 200 | 200 | 200 | 205 | 5 | 0 | 17 | 1.463951e+01 | 3.300000e+01 | 125.42%
3.68/3.76 o 30
3.68/3.76 c z 3.8s| 13 | 14 | 4329 | 149.8 |8160k| 12 | 42 | 200 | 200 | 200 | 205 | 5 | 0 | 207 | 1.480191e+01 | 3.000000e+01 | 102.68%
3.68/3.76 o 26
3.68/3.76 c b 3.8s| 14 | 13 | 4329 | 138.2 |8165k| 13 | - | 200 | 200 | 200 | 205 | 5 | 0 | 207 | 1.480191e+01 | 2.600000e+01 | 75.65%
3.79/3.88 o 22
3.79/3.88 c c 3.9s| 15 | 14 | 4702 | 155.0 |8256k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 242 | 1.480191e+01 | 2.200000e+01 | 48.63%
6.29/6.38 o 21
6.29/6.38 c p 6.4s| 29 | 21 | 6765 | 151.2 |8369k| 15 | - | 200 | 200 | 200 | 205 | 5 | 0 | 425 | 1.480191e+01 | 2.100000e+01 | 41.87%
142.59/142.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.59/142.69 c 143s| 10000 | 9838 | 2086k| 208.4 | 12M| 34 | 106 | 200 | 200 | 200 | 205 | 5 | 0 |1865 | 1.714684e+01 | 2.100000e+01 | 22.47%
246.99/247.05 c 247s| 20000 | 19826 | 3790k| 189.4 | 17M| 39 | 101 | 200 | 200 | 200 | 205 | 5 | 0 |2710 | 1.740604e+01 | 2.100000e+01 | 20.65%
340.69/340.77 c 341s| 30000 | 29024 | 5444k| 181.4 | 24M| 43 | 81 | 200 | 200 | 200 | 205 | 5 | 0 |3328 | 1.751638e+01 | 2.100000e+01 | 19.89%
423.70/423.74 c 424s| 40000 | 37780 | 6899k| 172.4 | 32M| 43 | - | 200 | 200 | 200 | 205 | 5 | 0 |3814 | 1.759074e+01 | 2.100000e+01 | 19.38%
504.50/504.59 c 505s| 50000 | 46416 | 8323k| 166.4 | 40M| 43 | 75 | 200 | 200 | 200 | 205 | 5 | 0 |4231 | 1.765636e+01 | 2.100000e+01 | 18.94%
584.40/584.48 c 584s| 60000 | 54804 | 9749k| 162.5 | 48M| 43 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |4656 | 1.769710e+01 | 2.100000e+01 | 18.66%
660.90/660.93 c 661s| 70000 | 63024 | 11117k| 158.8 | 56M| 43 | - | 200 | 200 | 200 | 205 | 5 | 0 |4992 | 1.773997e+01 | 2.100000e+01 | 18.38%
735.91/735.91 c 736s| 80000 | 71096 | 12467k| 155.8 | 64M| 48 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |5295 | 1.778196e+01 | 2.100000e+01 | 18.10%
808.71/808.76 c 809s| 90000 | 79066 | 13776k| 153.0 | 72M| 48 | 95 | 200 | 200 | 200 | 205 | 5 | 0 |5622 | 1.781383e+01 | 2.100000e+01 | 17.89%
881.31/881.39 c 881s|100000 | 86756 | 15109k| 151.1 | 80M| 48 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |5856 | 1.784542e+01 | 2.100000e+01 | 17.68%
949.71/949.78 c 950s|110000 | 94334 | 16349k| 148.6 | 88M| 48 | 95 | 200 | 200 | 200 | 205 | 5 | 0 |6153 | 1.786690e+01 | 2.100000e+01 | 17.54%
1019.41/1019.41 c 1019s|120000 |101928 | 17621k| 146.8 | 96M| 48 | - | 200 | 200 | 200 | 205 | 5 | 0 |6435 | 1.789396e+01 | 2.100000e+01 | 17.36%
1087.11/1087.14 c 1087s|130000 |109318 | 18850k| 145.0 | 104M| 49 | 97 | 200 | 200 | 200 | 205 | 5 | 0 |6698 | 1.791959e+01 | 2.100000e+01 | 17.19%
1151.22/1151.23 c 1151s|140000 |116512 | 20009k| 142.9 | 112M| 51 | 89 | 200 | 200 | 200 | 205 | 5 | 0 |6935 | 1.794686e+01 | 2.100000e+01 | 17.01%
1203.73/1203.70 c 1204s|150000 |122328 | 20974k| 139.8 | 119M| 51 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |7128 | 1.796242e+01 | 2.100000e+01 | 16.91%
1256.32/1256.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.32/1256.35 c 1256s|160000 |128134 | 21926k| 137.0 | 125M| 51 | - | 200 | 200 | 200 | 205 | 5 | 0 |7375 | 1.798041e+01 | 2.100000e+01 | 16.79%
1308.23/1308.21 c 1308s|170000 |133880 | 22886k| 134.6 | 132M| 51 | 91 | 200 | 200 | 200 | 205 | 5 | 0 |7611 | 1.799729e+01 | 2.100000e+01 | 16.68%
1358.63/1358.67 c 1359s|180000 |139534 | 23811k| 132.3 | 139M| 51 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |7789 | 1.801482e+01 | 2.100000e+01 | 16.57%
1408.43/1408.49 c 1408s|190000 |145024 | 24721k| 130.1 | 146M| 51 | 89 | 200 | 200 | 200 | 205 | 5 | 0 |8035 | 1.802856e+01 | 2.100000e+01 | 16.48%
1456.73/1456.76 c 1457s|200000 |150470 | 25615k| 128.1 | 152M| 51 | 66 | 200 | 200 | 200 | 205 | 5 | 0 |8242 | 1.804310e+01 | 2.100000e+01 | 16.39%
1505.43/1505.47 c 1505s|210000 |155802 | 26532k| 126.3 | 159M| 51 | - | 200 | 200 | 200 | 205 | 5 | 0 |8387 | 1.805721e+01 | 2.100000e+01 | 16.30%
1553.33/1553.32 c 1553s|220000 |161140 | 27418k| 124.6 | 166M| 51 | - | 200 | 200 | 200 | 205 | 5 | 0 |8587 | 1.807496e+01 | 2.100000e+01 | 16.18%
1600.94/1600.95 c 1601s|230000 |166484 | 28302k| 123.0 | 173M| 51 | - | 200 | 200 | 200 | 205 | 5 | 0 |8789 | 1.809092e+01 | 2.100000e+01 | 16.08%
1648.73/1648.80 c 1649s|240000 |171588 | 29193k| 121.6 | 179M| 51 | 98 | 200 | 200 | 200 | 205 | 5 | 0 |8983 | 1.810729e+01 | 2.100000e+01 | 15.98%
1695.54/1695.56 c 1696s|250000 |176652 | 30064k| 120.2 | 186M| 51 | 80 | 200 | 200 | 200 | 205 | 5 | 0 |9175 | 1.811942e+01 | 2.100000e+01 | 15.90%
1742.35/1742.34 c 1742s|260000 |181804 | 30932k| 119.0 | 192M| 51 | 80 | 200 | 200 | 200 | 205 | 5 | 0 |9349 | 1.813590e+01 | 2.100000e+01 | 15.79%
1787.94/1787.95 c 1788s|270000 |186628 | 31781k| 117.7 | 199M| 51 | 71 | 200 | 200 | 200 | 205 | 5 | 0 |9518 | 1.814663e+01 | 2.100000e+01 | 15.72%
1797.04/1797.01 c
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Solving Time (sec) : 1797.00
1797.04/1797.01 c Solving Nodes : 272089
1797.04/1797.01 c Primal Bound : +2.10000000000000e+01 (661 solutions)
1797.04/1797.01 c Dual Bound : +1.81491922703123e+01
1797.04/1797.01 c Gap : 15.71 %
1797.04/1797.01 s SATISFIABLE
1797.04/1797.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1797.04/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158
1797.04/1797.01 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137
1797.04/1797.01 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1797.04/1797.01 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95
1797.04/1797.01 v -x94 x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 x75 x74 -x73 -x72 -x71 -x70 -x69 -x68
1797.04/1797.01 v -x67 x66 x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
1797.04/1797.01 v -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17
1797.04/1797.01 v x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.01 c Total Time : 1797.00
1797.04/1797.01 c solving : 1797.00
1797.04/1797.01 c presolving : 0.06 (included in solving)
1797.04/1797.01 c reading : 0.01 (included in solving)
1797.04/1797.01 c Original Problem :
1797.04/1797.01 c Problem name : HOME/instance-3488540-1307780812.opb
1797.04/1797.01 c Variables : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 2888 initial, 2888 maximal
1797.04/1797.01 c Presolved Problem :
1797.04/1797.01 c Problem name : t_HOME/instance-3488540-1307780812.opb
1797.04/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.01 c Constraints : 200 initial, 200 maximal
1797.04/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c dualfix : 0.01 2488 0 0 0 0 0 0 0 0
1797.04/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 2888 200 0 0
1797.04/1797.01 c root node : - 0 - - 0 - - - - -
1797.04/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c integral : 0 0 0 230281 0 666 0 59 1045 0 0 459736
1797.04/1797.01 c logicor : 200 6 327811 0 0 661 0 0 16 0 0 0
1797.04/1797.01 c countsols : 0 0 0 0 0 664 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 : 69.83 0.00 0.00 69.82 0.00 0.00 0.00
1797.04/1797.01 c logicor : 1.98 0.00 1.97 0.00 0.00 0.00 0.00
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 : 3 0 0 0
1797.04/1797.01 c pseudoobj : 785387 0 0 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.16 0.16 0.00
1797.04/1797.01 c rootredcost : 0.15 0.15 0.00
1797.04/1797.01 c pseudoobj : 3.33 3.33 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 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 : - - - 0 0.0 - - -
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 5 - - 0 - (maximal pool size: 302)
1797.04/1797.01 c redcost : 3.71 346404 0 2577098 0 0
1797.04/1797.01 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 0.06 6 0 0 0 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.06 6 0 0 302 0
1797.04/1797.01 c cmir : 0.01 6 0 0 0 0
1797.04/1797.01 c flowcover : 0.02 6 0 0 0 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.00 0 0 0 0 0
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 : 69.70 230281 59 1045 0 0 459736
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 intshifting : 0.00 0 0
1797.04/1797.01 c feaspump : 0.01 0 0
1797.04/1797.01 c oneopt : 0.06 6 2
1797.04/1797.01 c crossover : 0.20 8 1
1797.04/1797.01 c veclendiving : 32.24 3163 0
1797.04/1797.01 c coefdiving : 56.55 3164 25
1797.04/1797.01 c pscostdiving : 65.51 3164 3
1797.04/1797.01 c linesearchdiving : 57.20 3164 0
1797.04/1797.01 c guideddiving : 42.79 3164 0
1797.04/1797.01 c trivial : 0.00 2 2
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 1.95 230286 58
1797.04/1797.01 c zirounding : 1.65 15251 305
1797.04/1797.01 c rounding : 1.74 22919 1
1797.04/1797.01 c shifting : 0.64 7066 2
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 clique : 0.00 0 0
1797.04/1797.01 c fracdiving : 42.27 3164 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 : 54.38 260 262
1797.04/1797.01 c rootsoldiving : 9.16 255 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.04 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 : 1327.95 272448 25124882 92.22 18920.08
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: 333.67 411198 6828860 16.61 20465.94
1797.04/1797.01 c strong branching : 64.95 9518 1146463 120.45 17652.59
1797.04/1797.01 c (at root node) : - 17 12098 711.65 -
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 : 272089
1797.04/1797.01 c nodes (total) : 272089
1797.04/1797.01 c nodes left : 187641
1797.04/1797.01 c max depth : 51
1797.04/1797.01 c max depth (total): 51
1797.04/1797.01 c backtracks : 46162 (17.0%)
1797.04/1797.01 c delayed cutoffs : 0
1797.04/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 5.49
1797.04/1797.01 c switching time : 4.46
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 661 (9 improvements)
1797.04/1797.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : +2.10000000000000e+01 (in run 1, after 29 nodes, 6.38 seconds, depth 17, found by <pscostdiving>)
1797.04/1797.01 c Dual Bound : +1.81491922703123e+01
1797.04/1797.01 c Gap : 15.71 %
1797.04/1797.01 c Root Dual Bound : +1.46395051326296e+01
1797.04/1797.01 c Root Iterations : 2532
1797.24/1797.26 c Time complete: 1797.3.
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-3488540-1307780812/watcher-3488540-1307780812 -o /tmp/evaluation-result-3488540-1307780812/solver-3488540-1307780812 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488540-1307780812.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: 2.00 2.00 1.98 3/177 12851
/proc/meminfo: memFree=31511868/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=10944 CPUtime=0 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 1731 0 0 0 0 0 0 0 24 0 1 0 968311924 11206656 1686 33554432000 4194304 9016284 140733408531072 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12851/statm: 2736 1698 340 1178 0 1554 0
[startup+0.058959 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12851
/proc/meminfo: memFree=31511868/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=28328 CPUtime=0.05 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 6079 0 0 0 5 0 0 0 24 0 1 0 968311924 29007872 5776 33554432000 4194304 9016284 140733408531072 18446744073709551615 18446744073699065897 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 7082 5776 477 1178 0 5900 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28328
[startup+0.100952 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12851
/proc/meminfo: memFree=31511868/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=30492 CPUtime=0.09 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 6718 0 0 0 9 0 0 0 24 0 1 0 968311924 31223808 6415 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 7623 6415 619 1178 0 6441 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30492
[startup+0.300909 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12851
/proc/meminfo: memFree=31511868/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=33952 CPUtime=0.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 7644 0 0 0 28 1 0 0 25 0 1 0 968311924 34766848 7341 33554432000 4194304 9016284 140733408531072 18446744073709551615 7219261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8488 7341 659 1178 0 7306 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33952
[startup+0.700831 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12851
/proc/meminfo: memFree=31511868/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=34928 CPUtime=0.69 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 9455 0 0 0 66 3 0 0 25 0 1 0 968311924 35766272 7688 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8732 7688 673 1178 0 7550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34928
[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12852
/proc/meminfo: memFree=31482736/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=34928 CPUtime=1.49 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 9460 0 0 0 144 5 0 0 25 0 1 0 968311924 35766272 7693 33554432000 4194304 9016284 140733408531072 18446744073709551615 7219706 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8732 7693 678 1178 0 7550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34928
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12852
/proc/meminfo: memFree=31482144/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=34928 CPUtime=3.08 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 9460 0 0 0 297 11 0 0 25 0 1 0 968311924 35766272 7693 33554432000 4194304 9016284 140733408531072 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8732 7693 678 1178 0 7550 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34928
[startup+6.3008 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12852
/proc/meminfo: memFree=31482344/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=34928 CPUtime=6.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 9460 0 0 0 602 27 0 0 25 0 1 0 968311924 35766272 7693 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8732 7693 678 1178 0 7550 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34928
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12852
/proc/meminfo: memFree=31482728/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=35140 CPUtime=12.69 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 12057 0 0 0 1216 53 0 0 25 0 1 0 968311924 35983360 7757 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8785 7757 692 1178 0 7603 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35140
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12852
/proc/meminfo: memFree=31482328/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=35616 CPUtime=25.49 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 14718 0 0 0 2435 114 0 0 25 0 1 0 968311924 36470784 7859 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8904 7859 693 1178 0 7722 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35616
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12853
/proc/meminfo: memFree=31481976/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=35780 CPUtime=51.09 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 14767 0 0 0 4873 236 0 0 25 0 1 0 968311924 36638720 7908 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 8945 7908 693 1178 0 7763 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35780
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 12854
/proc/meminfo: memFree=31480400/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=37792 CPUtime=102.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 19395 0 0 0 9756 473 0 0 25 0 1 0 968311924 38699008 8409 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12851/statm: 9448 8409 693 1178 0 8266 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 37792
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 12856
/proc/meminfo: memFree=31477748/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=40112 CPUtime=162.28 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 21556 0 0 0 15472 756 0 0 25 0 1 0 968311924 41074688 9033 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 10028 9033 693 1178 0 8846 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 40112
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 12858
/proc/meminfo: memFree=31475492/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=42684 CPUtime=222.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 24778 0 0 0 21178 1051 0 0 25 0 1 0 968311924 43708416 9707 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 10671 9707 693 1178 0 9489 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 42684
[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 12859
/proc/meminfo: memFree=31470128/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=48052 CPUtime=282.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 31357 0 0 0 26863 1366 0 0 25 0 1 0 968311924 49205248 11037 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 12013 11037 693 1178 0 10831 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 48052
[startup+342.301 s]
/proc/loadavg: 2.04 2.02 1.99 3/178 12861
/proc/meminfo: memFree=31464892/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=53684 CPUtime=342.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 32820 0 0 0 32561 1668 0 0 25 0 1 0 968311924 54972416 12500 33554432000 4194304 9016284 140733408531072 18446744073709551615 7814676 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 13421 12501 693 1178 0 12239 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 53684
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.99 3/178 12862
/proc/meminfo: memFree=31457788/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=60368 CPUtime=402.29 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 34500 0 0 0 38245 1984 0 0 25 0 1 0 968311924 61816832 14180 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 15092 14180 693 1178 0 13910 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 60368
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12864
/proc/meminfo: memFree=31451048/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=67084 CPUtime=462.3 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 36199 0 0 0 43933 2297 0 0 25 0 1 0 968311924 68694016 15879 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 16771 15879 693 1178 0 15589 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 67084
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12866
/proc/meminfo: memFree=31443200/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=75128 CPUtime=522.3 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 38218 0 0 0 49627 2603 0 0 25 0 1 0 968311924 76931072 17898 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 18782 17898 693 1178 0 17600 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 75128
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 12867
/proc/meminfo: memFree=31436840/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=81880 CPUtime=582.3 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 39923 0 0 0 55322 2908 0 0 25 0 1 0 968311924 83845120 19603 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 20470 19603 693 1178 0 19288 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 81880
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31353836/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=162408 CPUtime=1122.32 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 62253 0 0 0 106482 5750 0 0 25 0 1 0 968311924 166305792 39400 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 40602 39400 693 1178 0 39420 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 162408
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12886
/proc/meminfo: memFree=31342884/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=173320 CPUtime=1182.32 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 65004 0 0 0 112162 6070 0 0 25 0 1 0 968311924 177479680 42151 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 43330 42151 693 1178 0 42148 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 173320
[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 12888
/proc/meminfo: memFree=31336272/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=179856 CPUtime=1242.32 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 66663 0 0 0 117857 6375 0 0 25 0 1 0 968311924 184172544 43810 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 44964 43810 693 1178 0 43782 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 179856
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12889
/proc/meminfo: memFree=31328296/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=186628 CPUtime=1302.33 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 68386 0 0 0 123547 6686 0 0 25 0 1 0 968311924 191107072 45533 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 46657 45533 693 1178 0 45475 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 186628
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12891
/proc/meminfo: memFree=31320300/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=193752 CPUtime=1362.33 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 72597 0 0 0 129218 7015 0 0 25 0 1 0 968311924 198402048 47365 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 48438 47365 693 1178 0 47256 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 193752
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 12893
/proc/meminfo: memFree=31310092/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=203884 CPUtime=1422.33 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 75126 0 0 0 134891 7342 0 0 25 0 1 0 968311924 208777216 49894 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 50971 49894 693 1178 0 49789 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 203884
[startup+1482.3 s]
/proc/loadavg: 1.52 1.88 1.96 2/172 12918
/proc/meminfo: memFree=31369124/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=215580 CPUtime=1482.33 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 78073 0 0 0 140317 7916 0 0 25 0 1 0 968311924 220753920 52841 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 53895 52841 693 1178 0 52713 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 215580
[startup+1542.3 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 12920
/proc/meminfo: memFree=31356056/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=227448 CPUtime=1542.33 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 81137 0 0 0 145620 8613 0 0 25 0 1 0 968311924 232906752 55905 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 56862 55905 693 1178 0 55680 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 227448
[startup+1602.3 s]
/proc/loadavg: 1.07 1.58 1.84 3/172 12921
/proc/meminfo: memFree=31344112/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=240484 CPUtime=1602.34 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 84356 0 0 0 150921 9313 0 0 25 0 1 0 968311924 246255616 59124 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 60121 59124 693 1178 0 58939 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 240484
[startup+1662.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/172 12923
/proc/meminfo: memFree=31331176/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=252800 CPUtime=1662.34 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 87426 0 0 0 156223 10011 0 0 25 0 1 0 968311924 258867200 62194 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 63200 62194 693 1178 0 62018 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 252800
[startup+1722.3 s]
/proc/loadavg: 1.01 1.39 1.73 2/172 12925
/proc/meminfo: memFree=31324440/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=258952 CPUtime=1722.34 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 89077 0 0 0 161547 10687 0 0 25 0 1 0 968311924 265166848 63845 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 64738 63845 693 1178 0 63556 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 258952
[startup+1782.3 s]
/proc/loadavg: 1.00 1.31 1.68 2/172 12926
/proc/meminfo: memFree=31315596/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=267896 CPUtime=1782.34 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91284 0 0 0 166872 11362 0 0 25 0 1 0 968311924 274325504 66052 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 66974 66052 693 1178 0 65792 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 267896
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.31 1.68 2/172 12926
/proc/meminfo: memFree=31315472/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=267896 CPUtime=1785.54 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91287 0 0 0 167154 11400 0 0 25 0 1 0 968311924 274325504 66055 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 66974 66055 693 1178 0 65792 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 267896
[startup+1791.91 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 12927
/proc/meminfo: memFree=31315336/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=268088 CPUtime=1791.95 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91337 0 0 0 167723 11472 0 0 25 0 1 0 968311924 274522112 66105 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 67022 66105 693 1178 0 65840 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 268088
[startup+1795.1 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 12927
/proc/meminfo: memFree=31314220/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=269112 CPUtime=1795.15 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91595 0 0 0 168006 11509 0 0 25 0 1 0 968311924 275570688 66363 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 67278 66363 693 1178 0 66096 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 269112
[startup+1795.9 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 12927
/proc/meminfo: memFree=31314220/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=269268 CPUtime=1795.95 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91630 0 0 0 168077 11518 0 0 25 0 1 0 968311924 275730432 66398 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 67317 66398 693 1178 0 66135 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 269268
[startup+1796.7 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 12927
/proc/meminfo: memFree=31314216/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=269268 CPUtime=1796.74 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91630 0 0 0 168145 11529 0 0 25 0 1 0 968311924 275730432 66398 33554432000 4194304 9016284 140733408531072 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12851/statm: 67317 66398 693 1178 0 66135 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 269268
[startup+1797.1 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 12927
/proc/meminfo: memFree=31314216/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=269268 CPUtime=1797.14 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91632 0 0 0 168181 11533 0 0 25 0 1 0 968311924 275730432 66400 33554432000 4194304 9016284 140733408531072 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12851/statm: 67317 66400 695 1178 0 66135 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 269268
[startup+1797.2 s]
/proc/loadavg: 1.00 1.30 1.67 2/172 12927
/proc/meminfo: memFree=31314216/32950928 swapFree=67051096/67111528
[pid=12851] ppid=12849 vsize=269268 CPUtime=1797.24 cores=1,3,5,7
/proc/12851/stat : 12851 (scip-2.0.1.4b_2) R 12849 12851 6496 0 -1 4202496 91632 0 0 0 168191 11533 0 0 25 0 1 0 968311924 275730432 66400 33554432000 4194304 9016284 140733408531072 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12851/statm: 67317 66400 695 1178 0 66135 0
Current children cumulated CPU time (s) 1797.24
Current children cumulated vsize (KiB) 269268
Child status: 0
Real time (s): 1797.26
CPU time (s): 1797.31
CPU user time (s): 1681.96
CPU system time (s): 115.347
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 269268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1681.96
system time used= 115.347
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91637
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= 2332
runsolver used 2.43763 second user time and 5.74213 second system time
The end