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-3488637-1307785755.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.02/0.05 c (round 1) 0 del vars, 1660 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 10280 impls, 199 clqs
0.02/0.05 c (round 2) 1260 del vars, 1660 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10280 impls, 0 clqs
0.02/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 1260 deleted vars, 1660 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 10280 implications, 0 cliques
0.02/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.02/0.06 c 200 constraints of type <knapsack>
0.02/0.06 c 100 constraints of type <setppc>
0.02/0.06 c 1 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.05
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.0.1.5
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1797
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/indicator/addCouplingCons = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.09/0.15 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.15 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.15 o -1
0.09/0.15 c R 0.2s| 1 | 0 | 1221 | - |4180k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.22 o -18
0.19/0.22 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.24 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.29/0.30 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.36 c 0.4s| 1 | 0 | 1274 | - |4723k| 0 | 200 | 200 | 302 | 200 | 341 | 40 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
0.39/0.42 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.48 c 0.5s| 1 | 0 | 1285 | - |4749k| 0 | 200 | 200 | 302 | 200 | 345 | 44 | 0 | 0 |-5.000000e+01 |-1.800000e+01 | 64.00%
1.29/1.39 c 1.4s| 1 | 2 | 1285 | - |4750k| 0 | 200 | 200 | 302 | 200 | 345 | 44 | 0 | 14 |-5.000000e+01 |-1.800000e+01 | 64.00%
4.69/4.72 o -25
4.69/4.72 c c 4.7s| 14 | 15 | 2217 | 71.7 |4861k| 13 | - | 200 | 302 | 200 | 331 | 44 | 0 | 248 |-4.982722e+01 |-2.500000e+01 | 49.83%
8.39/8.48 o -26
8.39/8.48 c f 8.5s| 38 | 39 | 4059 | 75.0 |4890k| 13 | - | 200 | 302 | 200 | 331 | 44 | 0 | 580 |-4.982722e+01 |-2.600000e+01 | 47.82%
20.10/20.18 o -27
20.10/20.18 c f20.2s| 580 | 561 | 49524 | 83.3 |5725k| 26 | - | 200 | 319 | 200 | 331 | 44 | 17 |1358 |-4.844921e+01 |-2.700000e+01 | 44.27%
20.90/20.92 o -28
20.90/20.92 c f20.9s| 601 | 574 | 55590 | 90.5 |5754k| 26 | - | 200 | 319 | 200 | 331 | 44 | 17 |1360 |-4.822534e+01 |-2.800000e+01 | 41.94%
102.98/103.01 c 103s| 10000 | 9343 |804383 | 80.3 | 12M| 62 | 150 | 200 | 509 | 200 | 331 | 44 | 233 |1382 |-4.448357e+01 |-2.800000e+01 | 37.06%
180.68/180.79 c 181s| 20000 | 19337 | 1585k| 79.2 | 20M| 62 | 104 | 200 | 548 | 200 | 331 | 44 | 413 |1547 |-4.375759e+01 |-2.800000e+01 | 36.01%
255.19/255.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.19/255.22 c 255s| 30000 | 29333 | 2344k| 78.1 | 27M| 62 | 118 | 200 | 606 | 200 | 331 | 44 | 640 |1686 |-4.337251e+01 |-2.800000e+01 | 35.44%
327.28/327.33 c 327s| 40000 | 39331 | 3094k| 77.3 | 35M| 62 | 72 | 200 | 554 | 200 | 331 | 44 | 815 |1805 |-4.311345e+01 |-2.800000e+01 | 35.06%
396.49/396.54 c 397s| 50000 | 49225 | 3828k| 76.5 | 43M| 62 | 111 | 200 | 495 | 200 | 331 | 44 | 955 |1909 |-4.291784e+01 |-2.800000e+01 | 34.76%
465.39/465.47 c 465s| 60000 | 59207 | 4559k| 76.0 | 50M| 62 | 88 | 200 | 527 | 200 | 331 | 44 |1123 |2001 |-4.276571e+01 |-2.800000e+01 | 34.53%
532.90/532.96 c 533s| 70000 | 69185 | 5266k| 75.2 | 58M| 62 | 139 | 200 | 464 | 200 | 331 | 44 |1233 |2099 |-4.260903e+01 |-2.800000e+01 | 34.29%
597.40/597.43 c 597s| 80000 | 79161 | 5951k| 74.4 | 66M| 62 | 117 | 200 | 454 | 200 | 331 | 44 |1331 |2160 |-4.247501e+01 |-2.800000e+01 | 34.08%
662.60/662.62 c 663s| 90000 | 89133 | 6645k| 73.8 | 73M| 62 | 98 | 200 | 456 | 200 | 331 | 44 |1430 |2235 |-4.235427e+01 |-2.800000e+01 | 33.89%
726.70/726.79 c 727s|100000 | 99055 | 7341k| 73.4 | 81M| 62 | 114 | 200 | 457 | 200 | 331 | 44 |1530 |2291 |-4.224348e+01 |-2.800000e+01 | 33.72%
791.70/791.71 c 792s|110000 |108953 | 8059k| 73.3 | 89M| 62 | 95 | 200 | 503 | 200 | 331 | 44 |1686 |2365 |-4.216401e+01 |-2.800000e+01 | 33.59%
856.21/856.25 c 856s|120000 |118883 | 8759k| 73.0 | 97M| 62 | 136 | 200 | 501 | 200 | 331 | 44 |1807 |2425 |-4.208917e+01 |-2.800000e+01 | 33.47%
919.31/919.30 c 919s|130000 |128845 | 9436k| 72.6 | 104M| 62 | 141 | 200 | 436 | 200 | 331 | 44 |1891 |2480 |-4.201887e+01 |-2.800000e+01 | 33.36%
983.21/983.27 c 983s|140000 |138769 | 10128k| 72.3 | 112M| 62 | 106 | 200 | 432 | 200 | 331 | 44 |1977 |2540 |-4.195106e+01 |-2.800000e+01 | 33.26%
1043.31/1043.37 c 1043s|150000 |148403 | 10809k| 72.1 | 120M| 71 | 111 | 200 | 416 | 200 | 331 | 44 |2052 |2593 |-4.188537e+01 |-2.800000e+01 | 33.15%
1101.51/1101.51 c 1102s|160000 |157933 | 11485k| 71.8 | 128M| 71 | 88 | 200 | 416 | 200 | 331 | 44 |2140 |2627 |-4.181231e+01 |-2.800000e+01 | 33.03%
1158.92/1158.96 c 1159s|170000 |167333 | 12160k| 71.5 | 135M| 75 | 82 | 200 | 443 | 200 | 331 | 44 |2244 |2677 |-4.175195e+01 |-2.800000e+01 | 32.94%
1217.41/1217.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.41/1217.41 c 1217s|180000 |176883 | 12847k| 71.4 | 143M| 75 | 87 | 200 | 444 | 200 | 331 | 44 |2340 |2728 |-4.169784e+01 |-2.800000e+01 | 32.85%
1275.22/1275.21 c 1275s|190000 |186517 | 13523k| 71.2 | 151M| 75 | 59 | 200 | 437 | 200 | 331 | 44 |2427 |2782 |-4.162670e+01 |-2.800000e+01 | 32.74%
1333.02/1333.08 c 1333s|200000 |196171 | 14212k| 71.1 | 159M| 75 | 120 | 200 | 437 | 200 | 331 | 44 |2512 |2864 |-4.158355e+01 |-2.800000e+01 | 32.67%
1390.22/1390.23 c 1390s|210000 |205803 | 14886k| 70.9 | 167M| 75 | 69 | 200 | 450 | 200 | 331 | 44 |2615 |2917 |-4.153505e+01 |-2.800000e+01 | 32.59%
1443.72/1443.70 c 1444s|220000 |215083 | 15545k| 70.7 | 174M| 75 | 66 | 200 | 437 | 200 | 331 | 44 |2698 |2965 |-4.149678e+01 |-2.800000e+01 | 32.52%
1500.43/1500.40 c 1500s|230000 |224715 | 16225k| 70.5 | 182M| 75 | 133 | 200 | 432 | 200 | 331 | 44 |2783 |3017 |-4.144953e+01 |-2.800000e+01 | 32.45%
1554.62/1554.60 c 1555s|240000 |234187 | 16889k| 70.4 | 190M| 75 | 112 | 200 | 448 | 200 | 331 | 44 |2882 |3056 |-4.140838e+01 |-2.800000e+01 | 32.38%
1610.83/1610.89 c 1611s|250000 |243759 | 17585k| 70.3 | 198M| 75 | - | 200 | 508 | 200 | 331 | 44 |3024 |3091 |-4.136110e+01 |-2.800000e+01 | 32.30%
1665.74/1665.74 c 1666s|260000 |253295 | 18256k| 70.2 | 206M| 75 | 115 | 200 | 486 | 200 | 331 | 44 |3136 |3138 |-4.133097e+01 |-2.800000e+01 | 32.25%
1721.23/1721.29 c 1721s|270000 |262887 | 18929k| 70.1 | 214M| 75 | 105 | 200 | 486 | 200 | 331 | 44 |3228 |3170 |-4.129969e+01 |-2.800000e+01 | 32.20%
1776.13/1776.18 c 1776s|280000 |272417 | 19591k| 70.0 | 222M| 75 | 82 | 200 | 466 | 200 | 331 | 44 |3319 |3235 |-4.127284e+01 |-2.800000e+01 | 32.16%
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 : 283870
1797.04/1797.00 c Primal Bound : -2.80000000000000e+01 (371 solutions)
1797.04/1797.00 c Dual Bound : -4.12658798266354e+01
1797.04/1797.00 c Gap : 32.15 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x179 x159 -x121 -x148 -x151 -x132 x175 -x193 -x195 -x136 -x184 -x112 x147 -x119 -x156 -x182 -x141 -x127 -x134 x186 -x171 -x135
1797.04/1797.00 v x169 -x118 -x117 -x144 -x106 -x133 -x113 x163 -x124 -x167 -x200 -x145 -x105 -x181 -x142 -x108 -x115 -x107 -x129 -x158 -x185
1797.04/1797.00 v -x172 x161 x160 -x139 -x137 -x109 x198 -x153 x183 x187 -x114 x196 -x188 -x154 -x140 -x126 x104 x197 -x111 -x192 -x116 -x170 -x173
1797.04/1797.00 v -x102 -x166 x152 -x149 -x130 x125 -x110 -x103 x131 -x168 x174 x155 -x138 x194 -x150 x180 -x143 -x101 x190 x177 -x164 x157
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 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
1797.04/1797.00 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
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.05 (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-3488637-1307785755.opb
1797.04/1797.00 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1761 initial, 1761 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488637-1307785755.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 301 initial, 620 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 1260 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 0 0 0
1797.04/1797.00 c setppc : 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 1660 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 279986 0 376 0 0 4 0 0 559964
1797.04/1797.01 c knapsack : 200 6 1770523 0 1 371 19338 72 1192651 0 0 0
1797.04/1797.01 c setppc : 100 6 1724099 0 1 370 2500 0 178527 0 0 0
1797.04/1797.01 c linear : 1+ 7 1770449 0 0 370 2 362 0 0 0 0
1797.04/1797.01 c logicor : 0+ 0 339612 0 0 0 0 0 0 0 0 0
1797.04/1797.01 c countsols : 0 0 0 0 1 374 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 : 31.66 0.00 0.00 31.66 0.00 0.00 0.00
1797.04/1797.01 c knapsack : 8.64 0.01 8.61 0.00 0.00 0.02 0.01
1797.04/1797.01 c setppc : 1.78 0.00 1.78 0.00 0.00 0.00 0.00
1797.04/1797.01 c linear : 1.60 0.01 1.59 0.00 0.00 0.00 0.00
1797.04/1797.01 c logicor : 0.70 0.00 0.70 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 : 5 0 0 0
1797.04/1797.01 c pseudoobj : 1774787 168 176 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.37 0.37 0.00
1797.04/1797.01 c rootredcost : 0.36 0.36 0.00
1797.04/1797.01 c pseudoobj : 6.30 6.30 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.01 72 72 620 60.1 0 0.0 -
1797.04/1797.01 c infeasible LP : 0.18 4499 4441 13310 31.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 : - - - 3284 10.0 - - -
1797.04/1797.01 c applied locally : - - - 66 51.5 - - -
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: 131)
1797.04/1797.01 c redcost : 1.62 285077 0 27614 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.11 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.10 6 0 0 92 0
1797.04/1797.01 c cmir : 0.02 6 0 0 39 0
1797.04/1797.01 c flowcover : 0.04 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.04 1 0 0 0 1
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 : 31.48 279986 0 4 0 0 559964
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.07 5 0
1797.04/1797.01 c crossover : 0.16 1 0
1797.04/1797.01 c guideddiving : 69.48 4627 0
1797.04/1797.01 c fracdiving : 78.07 4947 3
1797.04/1797.01 c linesearchdiving : 74.71 4948 0
1797.04/1797.01 c pscostdiving : 98.39 4948 0
1797.04/1797.01 c trivial : 0.00 2 1
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 0.07 0 0
1797.04/1797.01 c zirounding : 10.83 0 0
1797.04/1797.01 c rounding : 13.87 25416 1
1797.04/1797.01 c shifting : 26.53 23183 182
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 : 0.01 0 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c coefdiving : 98.68 4948 1
1797.04/1797.01 c veclendiving : 43.25 2725 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 : 27.10 362 101
1797.04/1797.01 c rootsoldiving : 16.12 810 81
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.08 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 : 1165.44 285990 14801567 51.76 12700.42
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: 424.21 1052556 5043402 4.79 11888.94
1797.04/1797.01 c strong branching : 23.45 3241 126078 38.90 5376.37
1797.04/1797.01 c (at root node) : - 14 4776 341.14 -
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 : 283870
1797.04/1797.01 c nodes (total) : 283870
1797.04/1797.01 c nodes left : 276077
1797.04/1797.01 c max depth : 75
1797.04/1797.01 c max depth (total): 75
1797.04/1797.01 c backtracks : 37916 (13.4%)
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: 4.75
1797.04/1797.01 c switching time : 7.69
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 371 (7 improvements)
1797.04/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : -2.80000000000000e+01 (in run 1, after 601 nodes, 20.92 seconds, depth 85, found by <fracdiving>)
1797.04/1797.01 c Dual Bound : -4.12658798266354e+01
1797.04/1797.01 c Gap : 32.15 %
1797.04/1797.01 c Root Dual Bound : -5.00000000000000e+01
1797.04/1797.01 c Root Iterations : 1285
1797.44/1797.41 c Time complete: 1797.45.
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-3488637-1307785755/watcher-3488637-1307785755 -o /tmp/evaluation-result-3488637-1307785755/solver-3488637-1307785755 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488637-1307785755.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 1.96 2/177 9266
/proc/meminfo: memFree=30933352/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=11972 CPUtime=0 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 1896 0 0 0 0 0 0 0 25 0 1 0 968806179 12259328 1850 33554432000 4194304 9016284 140736939517184 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9266/statm: 2993 1863 340 1178 0 1811 0
[startup+0.032962 s]
/proc/loadavg: 2.08 2.02 1.96 2/177 9266
/proc/meminfo: memFree=30933352/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=22796 CPUtime=0.02 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 4715 0 0 0 2 0 0 0 25 0 1 0 968806179 23343104 4412 33554432000 4194304 9016284 140736939517184 18446744073709551615 18446744073699065878 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 5699 4412 484 1178 0 4517 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22796
[startup+0.100956 s]
/proc/loadavg: 2.08 2.02 1.96 2/177 9266
/proc/meminfo: memFree=30933352/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=24908 CPUtime=0.09 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 5398 0 0 0 9 0 0 0 18 0 1 0 968806179 25505792 5095 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 6227 5095 637 1178 0 5045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24908
[startup+0.300911 s]
/proc/loadavg: 2.08 2.02 1.96 2/177 9266
/proc/meminfo: memFree=30933352/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=35880 CPUtime=0.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8646 0 0 0 28 1 0 0 18 0 1 0 968806179 36741120 7637 33554432000 4194304 9016284 140736939517184 18446744073709551615 7219191 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 8970 7637 701 1178 0 7788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35880
[startup+0.700828 s]
/proc/loadavg: 2.08 2.02 1.96 2/177 9266
/proc/meminfo: memFree=30933352/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=36084 CPUtime=0.69 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8783 0 0 0 68 1 0 0 18 0 1 0 968806179 36950016 7774 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9021 7774 705 1178 0 7839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36084
[startup+1.50067 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 9305
/proc/meminfo: memFree=31358096/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=36084 CPUtime=1.49 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8785 0 0 0 147 2 0 0 19 0 1 0 968806179 36950016 7776 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9021 7776 707 1178 0 7839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36084
[startup+3.10037 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 9305
/proc/meminfo: memFree=31305020/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=36084 CPUtime=3.09 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8785 0 0 0 306 3 0 0 25 0 1 0 968806179 36950016 7776 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9021 7776 707 1178 0 7839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36084
[startup+6.30077 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 9305
/proc/meminfo: memFree=31293872/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=36084 CPUtime=6.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8785 0 0 0 624 5 0 0 25 0 1 0 968806179 36950016 7776 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9021 7776 707 1178 0 7839 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36084
[startup+12.7006 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 9305
/proc/meminfo: memFree=31286828/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=36084 CPUtime=12.69 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8787 0 0 0 1261 8 0 0 25 0 1 0 968806179 36950016 7778 33554432000 4194304 9016284 140736939517184 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9021 7778 709 1178 0 7839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36084
[startup+25.5011 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 9305
/proc/meminfo: memFree=31281464/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=36084 CPUtime=25.49 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 8822 0 0 0 2529 20 0 0 25 0 1 0 968806179 36950016 7813 33554432000 4194304 9016284 140736939517184 18446744073709551615 7219251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9021 7813 710 1178 0 7839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36084
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 9306
/proc/meminfo: memFree=31277260/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=38312 CPUtime=51.08 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 10697 0 0 0 5058 50 0 0 25 0 1 0 968806179 39231488 8602 33554432000 4194304 9016284 140736939517184 18446744073709551615 7219671 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9578 8602 711 1178 0 8396 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38312
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 9308
/proc/meminfo: memFree=31270716/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=38364 CPUtime=102.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 11981 0 0 0 10117 112 0 0 25 0 1 0 968806179 39284736 8643 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 9591 8643 711 1178 0 8409 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 38364
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9309
/proc/meminfo: memFree=31260864/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=45180 CPUtime=162.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 15224 0 0 0 16051 178 0 0 25 0 1 0 968806179 46264320 10356 33554432000 4194304 9016284 140736939517184 18446744073709551615 7219378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 11295 10356 711 1178 0 10113 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 45180
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9311
/proc/meminfo: memFree=31259932/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=51920 CPUtime=222.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 16941 0 0 0 21971 258 0 0 25 0 1 0 968806179 53166080 12073 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 12980 12073 711 1178 0 11798 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 51920
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9312
/proc/meminfo: memFree=31252188/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=59316 CPUtime=282.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 20402 0 0 0 27895 334 0 0 25 0 1 0 968806179 60739584 13954 33554432000 4194304 9016284 140736939517184 18446744073709551615 7199037 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 14829 13954 711 1178 0 13647 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 59316
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9314
/proc/meminfo: memFree=31245436/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=65920 CPUtime=342.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 22103 0 0 0 33822 407 0 0 25 0 1 0 968806179 67502080 15654 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 16480 15654 711 1178 0 15298 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 65920
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9315
/proc/meminfo: memFree=31239044/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=72068 CPUtime=402.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 23656 0 0 0 39744 485 0 0 25 0 1 0 968806179 73797632 17203 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 18017 17203 711 1178 0 16835 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 72068
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9317
/proc/meminfo: memFree=31232420/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=78604 CPUtime=462.29 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 26889 0 0 0 45664 565 0 0 25 0 1 0 968806179 80490496 18913 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 19651 18913 711 1178 0 18469 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 78604
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 9319
/proc/meminfo: memFree=31225284/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=87664 CPUtime=522.3 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 28655 0 0 0 51585 645 0 0 25 0 1 0 968806179 89767936 20679 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 21916 20679 711 1178 0 20734 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87664
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 9320
/proc/meminfo: memFree=31215180/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=97776 CPUtime=582.3 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 31183 0 0 0 57507 723 0 0 25 0 1 0 968806179 100122624 23207 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 24444 23207 711 1178 0 23262 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 97776
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31143996/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=165512 CPUtime=1122.31 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 49331 0 0 0 110779 1452 0 0 25 0 1 0 968806179 169484288 40523 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 41378 40523 711 1178 0 40196 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 165512
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 9345
/proc/meminfo: memFree=31134284/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=175228 CPUtime=1182.32 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 51769 0 0 0 116694 1538 0 0 25 0 1 0 968806179 179433472 42961 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 43807 42961 711 1178 0 42625 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 175228
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9347
/proc/meminfo: memFree=31127040/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=185580 CPUtime=1242.32 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 54407 0 0 0 122609 1623 0 0 25 0 1 0 968806179 190033920 45599 33554432000 4194304 9016284 140736939517184 18446744073709551615 7214194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 46395 45599 711 1178 0 45213 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 185580
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9349
/proc/meminfo: memFree=31116696/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=192640 CPUtime=1302.32 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 56168 0 0 0 128519 1713 0 0 25 0 1 0 968806179 197263360 47360 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 48160 47360 711 1178 0 46978 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 192640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9350
/proc/meminfo: memFree=31110208/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=202076 CPUtime=1362.32 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 57555 0 0 0 134437 1795 0 0 25 0 1 0 968806179 206925824 48747 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 50519 48747 711 1178 0 49337 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 202076
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9352
/proc/meminfo: memFree=31097848/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=213936 CPUtime=1422.33 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 61395 0 0 0 140349 1884 0 0 25 0 1 0 968806179 219070464 51754 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 53484 51754 711 1178 0 52302 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 213936
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 9353
/proc/meminfo: memFree=31091200/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=221844 CPUtime=1482.33 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 63393 0 0 0 146262 1971 0 0 25 0 1 0 968806179 227168256 53752 33554432000 4194304 9016284 140736939517184 18446744073709551615 7214511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 55461 53752 711 1178 0 54279 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 221844
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 9355
/proc/meminfo: memFree=31081464/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=231400 CPUtime=1542.33 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 65817 0 0 0 152171 2062 0 0 25 0 1 0 968806179 236953600 56175 33554432000 4194304 9016284 140736939517184 18446744073709551615 5945593 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 57850 56175 711 1178 0 56668 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 231400
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9356
/proc/meminfo: memFree=31071004/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=241252 CPUtime=1602.33 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 68334 0 0 0 158080 2153 0 0 25 0 1 0 968806179 247042048 58692 33554432000 4194304 9016284 140736939517184 18446744073709551615 7219061 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 60313 58692 711 1178 0 59131 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 241252
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9358
/proc/meminfo: memFree=31065272/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=248488 CPUtime=1662.34 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 70224 0 0 0 163988 2246 0 0 25 0 1 0 968806179 254451712 60582 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 62122 60582 711 1178 0 60940 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 248488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9360
/proc/meminfo: memFree=31055056/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=257792 CPUtime=1722.33 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 72548 0 0 0 169902 2331 0 0 25 0 1 0 968806179 263979008 62906 33554432000 4194304 9016284 140736939517184 18446744073709551615 7081890 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 64448 62906 711 1178 0 63266 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 257792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9361
/proc/meminfo: memFree=31041108/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=266900 CPUtime=1782.34 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 74852 0 0 0 175819 2415 0 0 25 0 1 0 968806179 273305600 65210 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 66725 65210 711 1178 0 65543 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 266900
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9361
/proc/meminfo: memFree=31041092/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=266900 CPUtime=1785.53 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 74861 0 0 0 176134 2419 0 0 25 0 1 0 968806179 273305600 65219 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 66725 65219 711 1178 0 65543 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 266900
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9362
/proc/meminfo: memFree=31039848/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=268256 CPUtime=1791.94 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 75178 0 0 0 176765 2429 0 0 25 0 1 0 968806179 274694144 65536 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 67064 65536 711 1178 0 65882 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 268256
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9362
/proc/meminfo: memFree=31038484/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=269604 CPUtime=1795.14 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 75510 0 0 0 177081 2433 0 0 25 0 1 0 968806179 276074496 65868 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 67401 65868 711 1178 0 66219 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 269604
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9362
/proc/meminfo: memFree=31038484/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=269604 CPUtime=1796.73 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 75517 0 0 0 177237 2436 0 0 25 0 1 0 968806179 276074496 65875 33554432000 4194304 9016284 140736939517184 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9266/statm: 67401 65875 711 1178 0 66219 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 269604
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9362
/proc/meminfo: memFree=31038484/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=269604 CPUtime=1797.14 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 75520 0 0 0 177277 2437 0 0 18 0 1 0 968806179 276074496 65878 33554432000 4194304 9016284 140736939517184 18446744073709551615 6779474 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9266/statm: 67401 65878 714 1178 0 66219 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 269604
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9362
/proc/meminfo: memFree=31038484/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=269604 CPUtime=1797.34 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 75520 0 0 0 177297 2437 0 0 18 0 1 0 968806179 276074496 65878 33554432000 4194304 9016284 140736939517184 18446744073709551615 4898037 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9266/statm: 67401 65878 714 1178 0 66219 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 269604
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9362
/proc/meminfo: memFree=31038484/32950928 swapFree=67056212/67111528
[pid=9266] ppid=9264 vsize=237248 CPUtime=1797.44 cores=0,2,4,6
/proc/9266/stat : 9266 (scip-2.0.1.4b_2) R 9264 9266 9093 0 -1 4202496 75520 0 0 0 177307 2437 0 0 18 0 1 0 968806179 242941952 58638 33554432000 4194304 9016284 140736939517184 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9266/statm: 59312 58250 714 1178 0 58130 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 237248
Child status: 0
Real time (s): 1797.42
CPU time (s): 1797.46
CPU user time (s): 1773.08
CPU system time (s): 24.3863
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 269604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.08
system time used= 24.3863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75525
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= 8
involuntary context switches= 3317
runsolver used 2.75058 second user time and 5.42817 second system time
The end