0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450717-1307109434.opb>
0.00/0.01 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1761 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1460 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 10280 impls, 199 clqs
0.00/0.05 c (round 2) 1260 del vars, 1460 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10280 impls, 0 clqs
0.04/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.04/0.06 c presolving (3 rounds):
0.04/0.06 c 1260 deleted vars, 1460 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 10280 implications, 0 cliques
0.04/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.04/0.06 c 200 constraints of type <knapsack>
0.04/0.06 c 100 constraints of type <setppc>
0.04/0.06 c 1 constraints of type <linear>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.04
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 2.0.1.5
0.04/0.06 c
0.04/0.06 c # frequency for displaying node information lines
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.06 c display/freq = 10000
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1800
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 13950
0.04/0.06 c
0.04/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.06 c # [type: int, range: [1,2], default: 1]
0.04/0.06 c timing/clocktype = 2
0.04/0.06 c
0.04/0.06 c # belongs reading time to solving time?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c timing/reading = TRUE
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify inequalities
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/linear/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/indicator/addCouplingCons = TRUE
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify knapsacks
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c t 0.1s| 1 | 0 | 1221 | - |4167k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.14 o -1
0.09/0.14 c R 0.1s| 1 | 0 | 1221 | - |4180k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.20 o -18
0.19/0.20 c y 0.2s| 1 | 0 | 1221 | - |4496k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
0.19/0.22 c 0.2s| 1 | 0 | 1253 | - |4508k| 0 | 200 | 200 | 302 | 200 | 330 | 29 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
0.19/0.27 c 0.3s| 1 | 0 | 1264 | - |4665k| 0 | 200 | 200 | 302 | 200 | 334 | 33 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
0.29/0.32 c 0.3s| 1 | 0 | 1274 | - |4723k| 0 | 200 | 200 | 302 | 200 | 341 | 40 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
0.29/0.38 c 0.4s| 1 | 0 | 1281 | - |4738k| 0 | 200 | 200 | 302 | 200 | 344 | 43 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
0.39/0.43 c 0.4s| 1 | 0 | 1285 | - |4749k| 0 | 200 | 200 | 302 | 200 | 345 | 44 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
1.19/1.25 c 1.3s| 1 | 2 | 1285 | - |4750k| 0 | 200 | 200 | 302 | 200 | 345 | 44 | 0 | 14 |-5.000000e+01 |-1.800000e+01 | 64.00%
4.19/4.28 o -25
4.19/4.28 c c 4.3s| 14 | 15 | 2217 | 71.7 |4861k| 13 | - | 200 | 302 | 200 | 331 | 44 | 0 | 248 |-4.982722e+01 |-2.500000e+01 | 49.83%
7.89/7.96 o -26
7.89/7.96 c f 8.0s| 38 | 39 | 4059 | 75.0 |4890k| 13 | - | 200 | 302 | 200 | 331 | 44 | 0 | 580 |-4.982722e+01 |-2.600000e+01 | 47.82%
18.79/18.88 o -27
18.79/18.88 c f18.9s| 580 | 561 | 49524 | 83.3 |5725k| 26 | - | 200 | 319 | 200 | 331 | 44 | 17 |1358 |-4.844921e+01 |-2.700000e+01 | 44.27%
19.49/19.55 o -28
19.49/19.55 c f19.5s| 601 | 574 | 55590 | 90.5 |5754k| 26 | - | 200 | 319 | 200 | 331 | 44 | 17 |1360 |-4.822534e+01 |-2.800000e+01 | 41.94%
92.41/92.45 c 92.5s| 10000 | 9343 |804383 | 80.3 | 12M| 62 | 150 | 200 | 509 | 200 | 331 | 44 | 233 |1382 |-4.448357e+01 |-2.800000e+01 | 37.06%
160.99/161.08 c 161s| 20000 | 19337 | 1585k| 79.2 | 20M| 62 | 104 | 200 | 548 | 200 | 331 | 44 | 413 |1547 |-4.375759e+01 |-2.800000e+01 | 36.01%
226.62/226.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.62/226.63 c 227s| 30000 | 29333 | 2344k| 78.1 | 27M| 62 | 118 | 200 | 606 | 200 | 331 | 44 | 640 |1686 |-4.337251e+01 |-2.800000e+01 | 35.44%
289.99/290.06 c 290s| 40000 | 39331 | 3094k| 77.3 | 35M| 62 | 72 | 200 | 554 | 200 | 331 | 44 | 815 |1805 |-4.311345e+01 |-2.800000e+01 | 35.06%
350.81/350.90 c 351s| 50000 | 49225 | 3828k| 76.5 | 43M| 62 | 111 | 200 | 495 | 200 | 331 | 44 | 955 |1909 |-4.291784e+01 |-2.800000e+01 | 34.76%
411.60/411.65 c 412s| 60000 | 59207 | 4560k| 76.0 | 50M| 62 | 62 | 200 | 510 | 200 | 331 | 44 |1109 |2005 |-4.276571e+01 |-2.800000e+01 | 34.53%
470.81/470.87 c 471s| 70000 | 69195 | 5263k| 75.2 | 58M| 62 | 143 | 200 | 453 | 200 | 331 | 44 |1215 |2105 |-4.260921e+01 |-2.800000e+01 | 34.29%
528.20/528.23 c 528s| 80000 | 79183 | 5950k| 74.4 | 66M| 62 | 142 | 200 | 470 | 200 | 331 | 44 |1320 |2174 |-4.247501e+01 |-2.800000e+01 | 34.08%
586.10/586.13 c 586s| 90000 | 89167 | 6646k| 73.8 | 73M| 62 | 134 | 200 | 469 | 200 | 331 | 44 |1434 |2242 |-4.235427e+01 |-2.800000e+01 | 33.89%
643.41/643.44 c 643s|100000 | 99075 | 7344k| 73.4 | 81M| 62 | 122 | 200 | 465 | 200 | 331 | 44 |1557 |2304 |-4.224426e+01 |-2.800000e+01 | 33.72%
701.60/701.68 c 702s|110000 |109009 | 8064k| 73.3 | 89M| 62 | 143 | 200 | 458 | 200 | 331 | 44 |1672 |2387 |-4.216458e+01 |-2.800000e+01 | 33.59%
757.92/757.97 c 758s|120000 |118951 | 8750k| 72.9 | 97M| 62 | - | 200 | 449 | 200 | 331 | 44 |1775 |2442 |-4.208781e+01 |-2.800000e+01 | 33.47%
813.92/813.99 c 814s|130000 |128929 | 9435k| 72.6 | 104M| 62 | 147 | 200 | 445 | 200 | 331 | 44 |1870 |2511 |-4.201628e+01 |-2.800000e+01 | 33.36%
870.81/870.85 c 871s|140000 |138889 | 10134k| 72.4 | 112M| 62 | 138 | 200 | 440 | 200 | 331 | 44 |1968 |2565 |-4.194992e+01 |-2.800000e+01 | 33.25%
926.71/926.73 c 927s|150000 |148839 | 10831k| 72.2 | 120M| 62 | 96 | 200 | 425 | 200 | 331 | 44 |2058 |2606 |-4.188341e+01 |-2.800000e+01 | 33.15%
979.51/979.56 c 980s|160000 |158525 | 11495k| 71.8 | 128M| 74 | 131 | 200 | 433 | 200 | 331 | 44 |2134 |2642 |-4.181319e+01 |-2.800000e+01 | 33.04%
1030.50/1030.61 c 1031s|170000 |167947 | 12175k| 71.6 | 135M| 75 | 79 | 200 | 434 | 200 | 331 | 44 |2225 |2704 |-4.174526e+01 |-2.800000e+01 | 32.93%
1079.50/1079.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.50/1079.56 c 1080s|180000 |177199 | 12829k| 71.3 | 143M| 79 | 132 | 200 | 438 | 200 | 331 | 44 |2311 |2765 |-4.168555e+01 |-2.800000e+01 | 32.83%
1130.83/1130.86 c 1131s|190000 |186853 | 13517k| 71.1 | 151M| 79 | 76 | 200 | 461 | 200 | 331 | 44 |2429 |2809 |-4.162162e+01 |-2.800000e+01 | 32.73%
1180.91/1180.92 c 1181s|200000 |196471 | 14191k| 71.0 | 159M| 79 | 86 | 200 | 440 | 200 | 331 | 44 |2496 |2892 |-4.157980e+01 |-2.800000e+01 | 32.66%
1230.12/1230.17 c 1230s|210000 |205919 | 14856k| 70.7 | 166M| 79 | 97 | 200 | 415 | 200 | 331 | 44 |2568 |2943 |-4.153438e+01 |-2.800000e+01 | 32.59%
1277.82/1277.84 c 1278s|220000 |215251 | 15524k| 70.6 | 174M| 79 | 136 | 200 | 501 | 200 | 331 | 44 |2721 |2980 |-4.149836e+01 |-2.800000e+01 | 32.53%
1327.51/1327.55 c 1328s|230000 |224803 | 16190k| 70.4 | 182M| 79 | 97 | 200 | 464 | 200 | 331 | 44 |2818 |3022 |-4.145392e+01 |-2.800000e+01 | 32.46%
1375.91/1376.01 c 1376s|240000 |234313 | 16854k| 70.2 | 190M| 79 | - | 200 | 446 | 200 | 331 | 44 |2901 |3064 |-4.141264e+01 |-2.800000e+01 | 32.39%
1424.21/1424.28 c 1424s|250000 |243723 | 17544k| 70.2 | 198M| 79 | 90 | 200 | 446 | 200 | 331 | 44 |2993 |3105 |-4.137107e+01 |-2.800000e+01 | 32.32%
1472.42/1472.46 c 1472s|260000 |253317 | 18208k| 70.0 | 206M| 79 | 89 | 200 | 438 | 200 | 331 | 44 |3063 |3149 |-4.133695e+01 |-2.800000e+01 | 32.26%
1521.51/1521.55 c 1522s|270000 |262913 | 18885k| 69.9 | 214M| 79 | 50 | 200 | 441 | 200 | 331 | 44 |3156 |3183 |-4.130529e+01 |-2.800000e+01 | 32.21%
1571.02/1571.03 c 1571s|280000 |272471 | 19558k| 69.8 | 221M| 79 | 117 | 200 | 472 | 200 | 331 | 44 |3272 |3231 |-4.127470e+01 |-2.800000e+01 | 32.16%
1618.91/1618.90 c 1619s|290000 |282067 | 20205k| 69.7 | 229M| 79 | 59 | 200 | 485 | 200 | 331 | 44 |3399 |3267 |-4.124647e+01 |-2.800000e+01 | 32.12%
1666.11/1666.19 c 1666s|300000 |291537 | 20856k| 69.5 | 237M| 79 | 91 | 200 | 425 | 200 | 331 | 44 |3462 |3323 |-4.122220e+01 |-2.800000e+01 | 32.08%
1713.32/1713.30 c 1713s|310000 |301029 | 21505k| 69.4 | 245M| 79 | 136 | 200 | 430 | 200 | 331 | 44 |3541 |3387 |-4.119760e+01 |-2.800000e+01 | 32.03%
1760.92/1760.92 c 1761s|320000 |310617 | 22158k| 69.2 | 253M| 79 | 70 | 200 | 441 | 200 | 331 | 44 |3626 |3412 |-4.116766e+01 |-2.800000e+01 | 31.99%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 328230
1800.03/1800.00 c Primal Bound : -2.80000000000000e+01 (386 solutions)
1800.03/1800.00 c Dual Bound : -4.11446547404955e+01
1800.03/1800.00 c Gap : 31.95 %
1800.03/1800.01 s SATISFIABLE
1800.03/1800.01 v -x179 x159 -x121 -x148 -x151 -x132 x175 -x193 -x195 -x136 -x184 -x112 x147 -x119 -x156 -x182 -x141 -x127 -x134 x186 -x171 -x135
1800.03/1800.01 v x169 -x118 -x117 -x144 -x106 -x133 -x113 x163 -x124 -x167 -x200 -x145 -x105 -x181 -x142 -x108 -x115 -x107 -x129 -x158 -x185
1800.03/1800.01 v -x172 x161 x160 -x139 -x137 -x109 x198 -x153 x183 x187 -x114 x196 -x188 -x154 -x140 -x126 x104 x197 -x111 -x192 -x116 -x170 -x173
1800.03/1800.01 v -x102 -x166 x152 -x149 -x130 x125 -x110 -x103 x131 -x168 x174 x155 -x138 x194 -x150 x180 -x143 -x101 x190 x177 -x164 x157
1800.03/1800.01 v -x123 -x122 -x128 -x146 x178 -x165 -x199 x162 -x176 -x189 x120 x191 x100 x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 x89
1800.03/1800.01 v -x88 -x87 -x86 x85 x84 -x83 x82 x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 x68 -x67 x66 x65 -x64 -x63 -x62
1800.03/1800.01 v -x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 x46 x45 x44 -x43 -x42 -x41 x40 -x39 x38 -x37 -x36
1800.03/1800.01 v x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 x21 -x20 x19 x18 x17 x16 -x15 -x14 -x13 -x12 -x11 x10 -x9
1800.03/1800.01 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Total Time : 1800.00
1800.03/1800.01 c solving : 1800.00
1800.03/1800.01 c presolving : 0.04 (included in solving)
1800.03/1800.01 c reading : 0.01 (included in solving)
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-3450717-1307109434.opb
1800.03/1800.01 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 1761 initial, 1761 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-3450717-1307109434.opb
1800.03/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.01 c Constraints : 301 initial, 620 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 1260 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 1460 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 323319 0 391 0 0 3 0 0 646632
1800.03/1800.01 c knapsack : 200 6 2017473 0 1 386 21113 86 1387522 0 0 0
1800.03/1800.01 c setppc : 100 6 1967290 0 1 385 2872 0 206532 0 0 0
1800.03/1800.01 c linear : 1+ 7 2017385 0 0 385 2 400 0 0 0 0
1800.03/1800.01 c logicor : 0+ 0 384468 0 0 0 0 0 0 0 0 0
1800.03/1800.01 c countsols : 0 0 0 0 1 389 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.01 c integral : 31.07 0.00 0.00 31.07 0.00 0.00 0.00
1800.03/1800.01 c knapsack : 9.09 0.01 9.06 0.00 0.00 0.02 0.01
1800.03/1800.01 c setppc : 1.88 0.00 1.87 0.00 0.00 0.00 0.00
1800.03/1800.01 c linear : 1.69 0.01 1.68 0.00 0.00 0.00 0.00
1800.03/1800.01 c logicor : 0.72 0.00 0.72 0.00 0.00 0.00 0.00
1800.03/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.01 c vbounds : 0 0 0 0
1800.03/1800.01 c rootredcost : 5 0 0 0
1800.03/1800.01 c pseudoobj : 2022419 196 226 0
1800.03/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.01 c vbounds : 0.37 0.37 0.00
1800.03/1800.01 c rootredcost : 0.42 0.42 0.00
1800.03/1800.01 c pseudoobj : 6.53 6.53 0.00
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.01 86 86 690 59.9 0 0.0 -
1800.03/1800.01 c infeasible LP : 0.18 4968 4893 14450 30.9 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 3631 9.7 - - -
1800.03/1800.01 c applied locally : - - - 77 53.5 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 131)
1800.03/1800.01 c redcost : 1.68 329638 0 34282 0 0
1800.03/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.10 6 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.01 c strongcg : 0.08 6 0 0 92 0
1800.03/1800.01 c cmir : 0.02 6 0 0 39 0
1800.03/1800.01 c flowcover : 0.03 6 0 0 0 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.03 1 0 0 0 1
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 30.89 323319 0 3 0 0 646632
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c intshifting : 0.01 0 0
1800.03/1800.01 c oneopt : 0.08 5 0
1800.03/1800.01 c crossover : 0.16 1 0
1800.03/1800.01 c veclendiving : 43.53 3245 0
1800.03/1800.01 c guideddiving : 69.27 5361 0
1800.03/1800.01 c pscostdiving : 96.33 5683 0
1800.03/1800.01 c fracdiving : 75.88 5683 3
1800.03/1800.01 c linesearchdiving : 73.11 5683 0
1800.03/1800.01 c coefdiving : 95.68 5684 1
1800.03/1800.01 c trivial : 0.00 2 1
1800.03/1800.01 c shiftandpropagate: 0.00 0 0
1800.03/1800.01 c simplerounding : 0.06 0 0
1800.03/1800.01 c zirounding : 11.24 0 0
1800.03/1800.01 c rounding : 12.95 27390 1
1800.03/1800.01 c shifting : 26.15 25441 182
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c clique : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c objpscostdiving : 26.41 410 110
1800.03/1800.01 c rootsoldiving : 15.59 917 87
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 0 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c vbounds : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c subnlp : 0.05 0 0
1800.03/1800.01 c trysol : 0.08 0 0
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 1178.84 330979 17007528 51.39 14427.31
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 414.30 1188946 5695803 4.79 13747.91
1800.03/1800.01 c strong branching : 22.51 3440 132351 38.47 5879.24
1800.03/1800.01 c (at root node) : - 14 4776 341.14 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 328230
1800.03/1800.01 c nodes (total) : 328230
1800.03/1800.01 c nodes left : 318385
1800.03/1800.01 c max depth : 79
1800.03/1800.01 c max depth (total): 79
1800.03/1800.01 c backtracks : 43695 (13.3%)
1800.03/1800.01 c delayed cutoffs : 0
1800.03/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 4.79
1800.03/1800.01 c switching time : 8.09
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 386 (7 improvements)
1800.03/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : -2.80000000000000e+01 (in run 1, after 601 nodes, 19.55 seconds, depth 85, found by <fracdiving>)
1800.03/1800.01 c Dual Bound : -4.11446547404955e+01
1800.03/1800.01 c Gap : 31.95 %
1800.03/1800.01 c Root Dual Bound : -5.00000000000000e+01
1800.03/1800.01 c Root Iterations : 1285
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450717-1307109434/watcher-3450717-1307109434 -o /tmp/evaluation-result-3450717-1307109434/solver-3450717-1307109434 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450717-1307109434.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.99 1.99 3/497 11696
/proc/meminfo: memFree=29093720/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=17564 CPUtime=0 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 3333 0 0 0 0 0 0 0 20 0 1 0 822543053 17985536 3286 33554432000 4194304 9163163 140733466446304 18446744073709551615 6607168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 4391 3288 443 1214 0 3173 0
[startup+0.0561801 s]
/proc/loadavg: 1.85 1.99 1.99 3/497 11696
/proc/meminfo: memFree=29093720/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=24444 CPUtime=0.04 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 5175 0 0 0 4 0 0 0 20 0 1 0 822543053 25030656 4871 33554432000 4194304 9163163 140733466446304 18446744073709551615 5076048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 6111 4871 565 1214 0 4893 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 24444
[startup+0.10116 s]
/proc/loadavg: 1.85 1.99 1.99 3/497 11696
/proc/meminfo: memFree=29093720/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=25048 CPUtime=0.09 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 5422 0 0 0 9 0 0 0 18 0 1 0 822543053 25649152 5118 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 6262 5118 659 1214 0 5044 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25048
[startup+0.301139 s]
/proc/loadavg: 1.85 1.99 1.99 3/497 11696
/proc/meminfo: memFree=29093720/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36024 CPUtime=0.29 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8673 0 0 0 28 1 0 0 18 0 1 0 822543053 36888576 7663 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9006 7663 725 1214 0 7788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36024
[startup+0.701071 s]
/proc/loadavg: 1.85 1.99 1.99 3/497 11696
/proc/meminfo: memFree=29093720/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36228 CPUtime=0.69 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8810 0 0 0 68 1 0 0 18 0 1 0 822543053 37097472 7800 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9057 7800 732 1214 0 7839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36228
[startup+1.50094 s]
/proc/loadavg: 1.85 1.99 1.99 4/499 11700
/proc/meminfo: memFree=29036744/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36228 CPUtime=1.49 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8811 0 0 0 146 3 0 0 19 0 1 0 822543053 37097472 7801 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9057 7801 733 1214 0 7839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36228
[startup+3.10066 s]
/proc/loadavg: 1.86 1.99 1.99 4/499 11700
/proc/meminfo: memFree=29033396/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36228 CPUtime=3.09 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8811 0 0 0 302 7 0 0 25 0 1 0 822543053 37097472 7801 33554432000 4194304 9163163 140733466446304 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9057 7801 733 1214 0 7839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36228
[startup+6.30013 s]
/proc/loadavg: 1.86 1.99 1.99 4/499 11700
/proc/meminfo: memFree=29032264/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36228 CPUtime=6.29 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8811 0 0 0 617 12 0 0 25 0 1 0 822543053 37097472 7801 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9057 7801 733 1214 0 7839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36228
[startup+12.701 s]
/proc/loadavg: 2.03 2.02 2.00 3/499 11700
/proc/meminfo: memFree=29031580/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36228 CPUtime=12.69 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8815 0 0 0 1246 23 0 0 25 0 1 0 822543053 37097472 7805 33554432000 4194304 9163163 140733466446304 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9057 7805 737 1214 0 7839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36228
[startup+25.5009 s]
/proc/loadavg: 2.02 2.02 2.00 4/499 11700
/proc/meminfo: memFree=29031680/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=36228 CPUtime=25.49 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 8965 0 0 0 2478 71 0 0 25 0 1 0 822543053 37097472 7955 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9057 7955 737 1214 0 7839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36228
[startup+51.1006 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 11700
/proc/meminfo: memFree=29028924/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=38456 CPUtime=51.09 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 10688 0 0 0 4917 192 0 0 25 0 1 0 822543053 39378944 8630 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9614 8630 737 1214 0 8396 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38456
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 11702
/proc/meminfo: memFree=29027412/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=39580 CPUtime=102.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 12246 0 0 0 9776 455 0 0 25 0 1 0 822543053 40529920 8945 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 9895 8945 737 1214 0 8677 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 39580
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 4/499 11704
/proc/meminfo: memFree=29015988/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=45988 CPUtime=162.29 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 15423 0 0 0 15460 769 0 0 25 0 1 0 822543053 47091712 10595 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 11497 10595 737 1214 0 10279 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45988
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/499 11704
/proc/meminfo: memFree=28993280/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=56300 CPUtime=222.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 19618 0 0 0 21148 1082 0 0 25 0 1 0 822543053 57651200 13190 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 14075 13190 737 1214 0 12857 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 56300
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 11715
/proc/meminfo: memFree=28986984/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=64012 CPUtime=282.29 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 21563 0 0 0 26827 1402 0 0 25 0 1 0 822543053 65548288 15135 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 16003 15135 737 1214 0 14785 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 64012
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 11717
/proc/meminfo: memFree=28979644/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=71324 CPUtime=342.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 23428 0 0 0 32502 1728 0 0 25 0 1 0 822543053 73035776 17000 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 17831 17000 737 1214 0 16613 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 71324
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11719
/proc/meminfo: memFree=28970196/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=77952 CPUtime=402.29 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 26634 0 0 0 38172 2057 0 0 25 0 1 0 822543053 79822848 18689 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 19488 18689 737 1214 0 18270 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 77952
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11721
/proc/meminfo: memFree=28961508/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=87924 CPUtime=462.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 28683 0 0 0 43844 2386 0 0 25 0 1 0 822543053 90034176 20738 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 21981 20738 737 1214 0 20763 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 87924
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/500 11724
/proc/meminfo: memFree=28924404/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=99056 CPUtime=522.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 31441 0 0 0 49522 2708 0 0 25 0 1 0 822543053 101433344 23496 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 24764 23496 737 1214 0 23546 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 99056
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11726
/proc/meminfo: memFree=28939592/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=107676 CPUtime=582.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 33646 0 0 0 55202 3028 0 0 25 0 1 0 822543053 110260224 25701 33554432000 4194304 9163163 140733466446304 18446744073709551615 6687797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 26919 25701 737 1214 0 25701 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 107676
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.12 2.06 2.02 3/499 11732
/proc/meminfo: memFree=28894912/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=142828 CPUtime=822.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 43444 0 0 0 77867 4363 0 0 25 0 1 0 822543053 146255872 34659 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 35707 34659 737 1214 0 34489 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 142828
[startup+882.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/499 11734
/proc/meminfo: memFree=28879760/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=153488 CPUtime=882.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 46137 0 0 0 83530 4701 0 0 25 0 1 0 822543053 157171712 37352 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 38372 37352 737 1214 0 37154 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 153488
[startup+942.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/499 11736
/proc/meminfo: memFree=28872056/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=159772 CPUtime=942.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 47786 0 0 0 89190 5040 0 0 25 0 1 0 822543053 163606528 39001 33554432000 4194304 9163163 140733466446304 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 39943 39001 737 1214 0 38725 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 159772
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11738
/proc/meminfo: memFree=28860756/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=167060 CPUtime=1002.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 49616 0 0 0 94830 5401 0 0 25 0 1 0 822543053 171069440 40831 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 41765 40831 737 1214 0 40547 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 167060
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 11740
/proc/meminfo: memFree=28850932/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=176596 CPUtime=1062.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 51992 0 0 0 100465 5766 0 0 25 0 1 0 822543053 180834304 43207 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 44149 43207 737 1214 0 42931 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 176596
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 11740
/proc/meminfo: memFree=28837912/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=187996 CPUtime=1122.3 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 54978 0 0 0 106106 6124 0 0 25 0 1 0 822543053 192507904 46193 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 46999 46193 737 1214 0 45781 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 187996
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 11742
/proc/meminfo: memFree=28827240/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=199140 CPUtime=1182.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 56770 0 0 0 111734 6497 0 0 25 0 1 0 822543053 203919360 47985 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 49785 47985 737 1214 0 48567 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 199140
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 11744
/proc/meminfo: memFree=28812836/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=210636 CPUtime=1242.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 60463 0 0 0 117374 6857 0 0 25 0 1 0 822543053 215691264 50845 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 52659 50845 737 1214 0 51441 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 210636
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11746
/proc/meminfo: memFree=28803404/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=218148 CPUtime=1302.33 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 62425 0 0 0 123014 7219 0 0 25 0 1 0 822543053 223383552 52807 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 54537 52807 737 1214 0 53319 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 218148
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 11748
/proc/meminfo: memFree=28789008/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=230816 CPUtime=1362.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 65654 0 0 0 128649 7582 0 0 25 0 1 0 822543053 236355584 56036 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 57704 56036 737 1214 0 56486 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 230816
[startup+1422.32 s]
/proc/loadavg: 2.13 2.05 2.01 4/499 11748
/proc/meminfo: memFree=28776096/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=241636 CPUtime=1422.34 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 68306 0 0 0 134279 7955 0 0 25 0 1 0 822543053 247435264 58688 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 60409 58688 737 1214 0 59191 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 241636
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.01 4/499 11750
/proc/meminfo: memFree=28760576/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=252472 CPUtime=1482.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 71067 0 0 0 139898 8333 0 0 25 0 1 0 822543053 258531328 61449 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 63118 61449 737 1214 0 61900 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 252472
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11752
/proc/meminfo: memFree=28750512/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=259388 CPUtime=1542.31 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 72913 0 0 0 145526 8705 0 0 25 0 1 0 822543053 265613312 63295 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 64847 63295 737 1214 0 63629 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 259388
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11754
/proc/meminfo: memFree=28737716/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=269376 CPUtime=1602.32 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 75452 0 0 0 151150 9082 0 0 25 0 1 0 822543053 275841024 65834 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 67344 65834 737 1214 0 66126 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 269376
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 11756
/proc/meminfo: memFree=28726792/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=277160 CPUtime=1662.32 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 77453 0 0 0 156788 9444 0 0 25 0 1 0 822543053 283811840 67835 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 69290 67835 737 1214 0 68072 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 277160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 11756
/proc/meminfo: memFree=28716484/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=286312 CPUtime=1722.32 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 79819 0 0 0 162412 9820 0 0 25 0 1 0 822543053 293183488 70201 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 71578 70201 737 1214 0 70360 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 286312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 11758
/proc/meminfo: memFree=28698000/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=299100 CPUtime=1782.32 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 83034 0 0 0 168049 10183 0 0 25 0 1 0 822543053 306278400 73416 33554432000 4194304 9163163 140733466446304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11696/statm: 74775 73416 737 1214 0 73557 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 299100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 11758
/proc/meminfo: memFree=28696872/32951132 swapFree=57925096/67111528
[pid=11696] ppid=11692 vsize=301420 CPUtime=1800.04 cores=1,3,5,7
/proc/11696/stat : 11696 (scip-2.0.1.4b.l) R 11692 11696 10513 0 -1 4202496 83639 0 0 0 169712 10292 0 0 25 0 1 0 822543053 308654080 74021 33554432000 4194304 9163163 140733466446304 18446744073709551615 4745912 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11696/statm: 75355 74021 741 1214 0 74137 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 301420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1697.13
CPU system time (s): 102.932
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 301420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.13
system time used= 102.932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83639
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= 3947
runsolver used 8.49371 second user time and 21.3967 second system time
The end