0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452668-1307077139.opb>
0.00/0.01 c original problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 465 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 465
0.00/0.02 c feasible solution found by trivial heuristic, objective value 4.650000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 48 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.01/0.02 c (round 2) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 48 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.01/0.02 c (round 3) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 48 chg coeffs, 464 upgd conss, 2 impls, 0 clqs
0.01/0.03 c (round 4) 0 del vars, 80 del conss, 177 add conss, 0 chg bounds, 237 chg sides, 554 chg coeffs, 464 upgd conss, 220 impls, 0 clqs
0.01/0.03 c (round 5) 0 del vars, 114 del conss, 194 add conss, 0 chg bounds, 313 chg sides, 701 chg coeffs, 464 upgd conss, 220 impls, 0 clqs
0.01/0.03 c (round 6) 0 del vars, 117 del conss, 197 add conss, 0 chg bounds, 327 chg sides, 735 chg coeffs, 464 upgd conss, 220 impls, 0 clqs
0.01/0.04 c (0.0s) probing: 101/465 (21.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.04 c presolving (7 rounds):
0.01/0.04 c 0 deleted vars, 117 deleted constraints, 197 added constraints, 0 tightened bounds, 0 added holes, 327 changed sides, 735 changed coefficients
0.01/0.04 c 220 implications, 0 cliques
0.01/0.04 c presolved problem has 465 variables (465 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.01/0.04 c 434 constraints of type <knapsack>
0.01/0.04 c 110 constraints of type <setppc>
0.01/0.04 c 1 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.02
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 2.0.1.4
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1800
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 13950
0.01/0.04 c
0.01/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.04 c # [type: int, range: [1,2], default: 1]
0.01/0.04 c timing/clocktype = 2
0.01/0.04 c
0.01/0.04 c # belongs reading time to solving time?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c timing/reading = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/indicator/addCouplingCons = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.99/1.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.09 c t 1.1s| 1 | 0 | 10349 | - |2546k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 4.650000e+02 | 221.67%
0.99/1.09 o 313
0.99/1.09 c r 1.1s| 1 | 0 | 10349 | - |2559k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.130000e+02 | 116.52%
0.99/1.09 o 312
0.99/1.09 c R 1.1s| 1 | 0 | 10349 | - |2572k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.120000e+02 | 115.83%
0.99/1.10 o 311
0.99/1.10 c s 1.1s| 1 | 0 | 10349 | - |2586k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 3.110000e+02 | 115.14%
1.29/1.31 o 212
1.29/1.31 c y 1.3s| 1 | 0 | 10349 | - |2957k| 0 | 292 | 465 | 545 | 465 | 545 | 0 | 0 | 0 | 1.445588e+02 | 2.120000e+02 | 46.65%
1.79/1.84 c 1.8s| 1 | 0 | 14234 | - |2884k| 0 | 369 | 465 | 545 | 465 | 748 | 203 | 0 | 0 | 1.520564e+02 | 2.120000e+02 | 39.42%
2.48/2.52 c 2.5s| 1 | 0 | 17347 | - |3131k| 0 | 386 | 465 | 545 | 465 | 918 | 373 | 0 | 0 | 1.553344e+02 | 2.120000e+02 | 36.48%
2.99/3.03 c 3.0s| 1 | 0 | 19101 | - |3317k| 0 | 409 | 465 | 545 | 465 |1055 | 510 | 0 | 0 | 1.571889e+02 | 2.120000e+02 | 34.87%
3.59/3.61 c 3.6s| 1 | 0 | 20818 | - |3456k| 0 | 412 | 465 | 545 | 465 |1155 | 610 | 0 | 0 | 1.580952e+02 | 2.120000e+02 | 34.10%
4.08/4.19 c 4.2s| 1 | 0 | 22182 | - |3524k| 0 | 418 | 465 | 545 | 465 |1227 | 682 | 0 | 0 | 1.586144e+02 | 2.120000e+02 | 33.66%
4.68/4.71 c 4.7s| 1 | 0 | 22831 | - |3566k| 0 | 410 | 465 | 545 | 465 |1267 | 722 | 0 | 0 | 1.588260e+02 | 2.120000e+02 | 33.48%
4.98/5.06 c 5.1s| 1 | 0 | 22982 | - |3576k| 0 | 412 | 465 | 545 | 465 |1275 | 730 | 0 | 0 | 1.588492e+02 | 2.120000e+02 | 33.46%
5.40/5.51 c 5.5s| 1 | 0 | 23256 | - |3595k| 0 | 411 | 465 | 545 | 465 |1288 | 743 | 0 | 0 | 1.589219e+02 | 2.120000e+02 | 33.40%
5.79/5.86 c 5.9s| 1 | 0 | 23316 | - |3602k| 0 | 410 | 465 | 545 | 465 |1290 | 745 | 0 | 0 | 1.589292e+02 | 2.120000e+02 | 33.39%
6.19/6.21 c 6.2s| 1 | 0 | 23339 | - |3609k| 0 | 410 | 465 | 545 | 465 |1292 | 747 | 0 | 0 | 1.589325e+02 | 2.120000e+02 | 33.39%
9.79/9.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.88 c 9.9s| 1 | 2 | 23339 | - |3630k| 0 | 410 | 465 | 545 | 465 |1292 | 747 | 0 | 24 | 1.589325e+02 | 2.120000e+02 | 33.39%
29.09/29.14 o 210
29.09/29.14 c c29.1s| 15 | 16 | 37809 |1033.6 |4404k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.100000e+02 | 32.00%
29.09/29.14 o 210
29.09/29.14 c c29.1s| 15 | 16 | 37810 |1033.6 |4406k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.100000e+02 | 32.00%
29.09/29.14 o 208
29.09/29.14 c c29.1s| 15 | 16 | 37827 |1034.9 |4407k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.080000e+02 | 30.74%
29.09/29.15 o 205
29.09/29.15 c c29.1s| 15 | 16 | 37952 |1043.8 |4434k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.050000e+02 | 28.85%
29.09/29.15 o 205
29.09/29.15 c c29.2s| 15 | 16 | 37963 |1044.6 |4437k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.050000e+02 | 28.85%
29.09/29.16 o 204
29.09/29.16 c c29.2s| 15 | 16 | 37977 |1045.6 |4439k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.040000e+02 | 28.23%
29.09/29.16 o 203
29.09/29.16 c c29.2s| 15 | 16 | 37981 |1045.9 |4441k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.030000e+02 | 27.60%
29.09/29.16 o 201
29.09/29.16 c c29.2s| 15 | 16 | 37986 |1046.2 |4442k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.010000e+02 | 26.34%
29.09/29.16 o 200
29.09/29.16 c b29.2s| 16 | 15 | 37990 | 976.7 |4321k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.590940e+02 | 2.000000e+02 | 25.71%
30.59/30.62 o 199
30.59/30.62 c p30.6s| 27 | 28 | 48982 | 986.3 |4524k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.990000e+02 | 25.01%
30.59/30.62 o 198
30.59/30.62 c p30.6s| 27 | 28 | 49002 | 987.0 |4529k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.980000e+02 | 24.38%
30.59/30.62 o 198
30.59/30.62 c p30.6s| 27 | 28 | 49012 | 987.4 |4532k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.980000e+02 | 24.38%
30.59/30.62 o 197
30.59/30.62 c p30.6s| 27 | 28 | 49016 | 987.6 |4533k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.970000e+02 | 23.76%
30.59/30.62 o 196
30.59/30.62 c p30.6s| 27 | 28 | 49024 | 987.9 |4536k| 14 | - | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.960000e+02 | 23.13%
30.59/30.63 o 195
30.59/30.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.59/30.63 c b30.6s| 27 | 28 | 49031 | 988.2 |4385k| 14 | 368 | 465 | 545 | 465 | 935 | 747 | 0 | 250 | 1.591846e+02 | 1.950000e+02 | 22.50%
57.59/57.63 o 186
57.59/57.63 c C57.6s| 227 | 228 |220467 | 872.2 |4615k| 27 | 333 | 465 | 545 | 465 | 935 | 747 | 0 | 331 | 1.592492e+02 | 1.860000e+02 | 16.80%
659.70/659.71 o 185
659.70/659.71 c p 660s| 6150 | 6145 | 4454k| 720.6 |8844k| 98 | - | 465 | 545 | 465 | 935 | 747 | 0 |1384 | 1.604069e+02 | 1.850000e+02 | 15.33%
659.70/659.71 o 185
659.70/659.71 c p 660s| 6150 | 6145 | 4454k| 720.6 |8847k| 98 | - | 465 | 545 | 465 | 935 | 747 | 0 |1384 | 1.604069e+02 | 1.850000e+02 | 15.33%
967.71/967.79 c 968s| 10000 | 9995 | 6624k| 660.2 | 11M| 98 | 344 | 465 | 545 | 465 | 935 | 747 | 0 |1867 | 1.605619e+02 | 1.850000e+02 | 15.22%
1746.02/1746.07 c 1746s| 20000 | 19995 | 12224k| 610.1 | 18M| 98 | 360 | 465 | 577 | 465 | 935 | 747 | 32 |2801 | 1.607700e+02 | 1.850000e+02 | 15.07%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.00
1800.04/1800.01 c Solving Nodes : 20710
1800.04/1800.01 c Primal Bound : +1.85000000000000e+02 (843 solutions)
1800.04/1800.01 c Dual Bound : +1.60779052340956e+02
1800.04/1800.01 c Gap : 15.06 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v x465 x464 x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1800.04/1800.01 v -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 x425 -x424 x423 -x422
1800.04/1800.01 v x421 x420 x419 -x418 -x417 -x416 -x415 x414 x413 x412 x411 x410 -x409 -x408 x407 -x406 -x405 x404 -x403 -x402 -x401 x400 x399
1800.04/1800.01 v -x398 -x397 x396 x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 x385 -x384 -x383 x382 x381 -x380 -x379 -x378 -x377
1800.04/1800.01 v x376 x375 -x374 x373 x372 -x371 x370 -x369 -x368 -x367 x366 -x365 x364 -x363 x362 -x361 -x360 -x359 x358 x357 x356 x355 -x354
1800.04/1800.01 v -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 x338 -x337 x336 -x335 x334 -x333
1800.04/1800.01 v x332 -x331 x330 x329 x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 x316 x315 x314 -x313 -x312 -x311 -x310
1800.04/1800.01 v x309 -x308 x307 -x306 x305 x304 x303 x302 -x301 -x300 x299 -x298 -x297 x296 -x295 -x294 x293 x292 -x291 -x290 x289 -x288
1800.04/1800.01 v -x287 -x286 -x285 x284 -x283 -x282 x281 x280 x279 x278 x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 x266 -x265
1800.04/1800.01 v x264 x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 x255 x254 -x253 -x252 -x251 -x250 x249 x248 -x247 x246 -x245 -x244 -x243
1800.04/1800.01 v x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 x230 x229 -x228 -x227 x226 -x225 x224 -x223 x222 x221
1800.04/1800.01 v -x220 -x219 x218 x217 -x216 x215 x214 -x213 -x212 x211 -x210 x209 x208 -x207 -x206 -x205 -x204 x203 -x202 x201 -x200 x199 -x198
1800.04/1800.01 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 x189 -x188 x187 -x186 -x185 -x184 -x183 x182 -x181 x180 x179 x178 -x177 -x176
1800.04/1800.01 v -x175 -x174 x173 x172 x171 x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 x161 -x160 -x159 x158 -x157 x156 -x155 -x154
1800.04/1800.01 v x153 x152 x151 -x150 -x149 -x148 -x147 x146 x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 x135 -x134 x133 x132
1800.04/1800.01 v -x131 x130 x129 x128 x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 x116 x115 -x114 x113 x112 -x111 x110 x109
1800.04/1800.01 v x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 x95 -x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 -x84 x83
1800.04/1800.01 v -x82 x81 -x80 -x79 x78 -x77 -x76 x75 x74 x73 x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56
1800.04/1800.01 v -x55 -x54 x53 x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30 -x29
1800.04/1800.01 v x28 x27 -x26 -x25 -x24 x23 x22 -x21 x20 x19 x18 -x17 -x16 x15 -x14 -x13 x12 -x11 x10 x9 x8 x7 -x6 x5 -x4 -x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.00
1800.04/1800.01 c solving : 1800.00
1800.04/1800.01 c presolving : 0.02 (included in solving)
1800.04/1800.01 c reading : 0.01 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3452668-1307077139.opb
1800.04/1800.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 465 initial, 465 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3452668-1307077139.opb
1800.04/1800.01 c Variables : 465 (465 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 545 initial, 582 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 28 197 326 687
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 88 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 0 0 1 0 1 48
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 20708 0 848 0 0 0 0 0 41416
1800.04/1800.01 c knapsack : 434 11 193375 0 0 843 0 0 6739 764 0 0
1800.04/1800.01 c setppc : 110 11 193375 0 0 842 0 0 6682 0 0 0
1800.04/1800.01 c logicor : 1+ 11 4036 0 0 842 0 0 0 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 0 846 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 117.54 0.00 0.00 117.54 0.00 0.00 0.00
1800.04/1800.01 c knapsack : 1.61 0.04 1.56 0.00 0.00 0.01 0.00
1800.04/1800.01 c setppc : 0.27 0.00 0.26 0.00 0.00 0.00 0.00
1800.04/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 14 0 0 0
1800.04/1800.01 c pseudoobj : 195140 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.04 0.04 0.00
1800.04/1800.01 c rootredcost : 0.04 0.04 0.00
1800.04/1800.01 c pseudoobj : 1.52 1.52 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 37 37 37 4.2 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 37 4.2 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 10 - - 276 - (maximal pool size: 1369)
1800.04/1800.01 c redcost : 0.16 20723 0 77 0 0
1800.04/1800.01 c impliedbounds : 0.00 11 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 1.52 11 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 1.40 11 0 0 0 0
1800.04/1800.01 c cmir : 0.20 10 0 0 846 0
1800.04/1800.01 c flowcover : 0.25 10 0 0 968 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.07 1 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 117.52 20708 0 0 0 0 41416
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.01 7 2
1800.04/1800.01 c fracdiving : 51.83 45 0
1800.04/1800.01 c linesearchdiving : 59.35 85 15
1800.04/1800.01 c veclendiving : 88.12 107 124
1800.04/1800.01 c coefdiving : 218.51 186 184
1800.04/1800.01 c pscostdiving : 241.66 285 462
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 0.68 20723 25
1800.04/1800.01 c zirounding : 0.52 1301 26
1800.04/1800.01 c rounding : 16.70 6455 1
1800.04/1800.01 c shifting : 4.30 1622 1
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 22.07 6 0
1800.04/1800.01 c rootsoldiving : 13.45 13 0
1800.04/1800.01 c guideddiving : 50.63 45 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.41 1 1
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 905.92 20725 6596153 318.27 7281.16
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 721.85 117146 6028666 51.46 8351.67
1800.04/1800.01 c strong branching : 115.86 2823 771926 273.44 6662.81
1800.04/1800.01 c (at root node) : - 24 20215 842.29 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 20710
1800.04/1800.01 c nodes (total) : 20710
1800.04/1800.01 c nodes left : 20705
1800.04/1800.01 c max depth : 98
1800.04/1800.01 c max depth (total): 98
1800.04/1800.01 c backtracks : 2311 (11.2%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 3.91
1800.04/1800.01 c switching time : 0.66
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 843 (23 improvements)
1800.04/1800.01 c First Solution : +4.65000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.85000000000000e+02 (in run 1, after 6150 nodes, 659.71 seconds, depth 212, found by <pscostdiving>)
1800.04/1800.01 c Dual Bound : +1.60779052340956e+02
1800.04/1800.01 c Gap : 15.06 %
1800.04/1800.01 c Root Dual Bound : +1.58932483705547e+02
1800.04/1800.01 c Root Iterations : 23339
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-3452668-1307077139/watcher-3452668-1307077139 -o /tmp/evaluation-result-3452668-1307077139/solver-3452668-1307077139 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452668-1307077139.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.95 2.01 2.00 3/446 8625
/proc/meminfo: memFree=31407872/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=10164 CPUtime=0 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 1543 0 0 0 0 0 0 0 25 0 1 0 819312710 10407936 1496 33554432000 4194304 9128323 140735318714320 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8625/statm: 2541 1496 391 1205 0 1332 0
[startup+0.024412 s]
/proc/loadavg: 1.95 2.01 2.00 3/446 8625
/proc/meminfo: memFree=31407872/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=17024 CPUtime=0.01 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 3283 0 0 0 1 0 0 0 25 0 1 0 819312710 17432576 2978 33554432000 4194304 9128323 140735318714320 18446744073709551615 5266523 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 4256 2978 511 1205 0 3047 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17024
[startup+0.100465 s]
/proc/loadavg: 1.95 2.01 2.00 3/446 8625
/proc/meminfo: memFree=31407872/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=20940 CPUtime=0.08 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 4408 0 0 0 8 0 0 0 25 0 1 0 819312710 21442560 4097 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 5235 4097 644 1205 0 4026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20940
[startup+0.30043 s]
/proc/loadavg: 1.95 2.01 2.00 3/446 8625
/proc/meminfo: memFree=31407872/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=20940 CPUtime=0.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 4428 0 0 0 28 1 0 0 25 0 1 0 819312710 21442560 4117 33554432000 4194304 9128323 140735318714320 18446744073709551615 7357416 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 5235 4117 645 1205 0 4026 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20940
[startup+0.700363 s]
/proc/loadavg: 1.95 2.01 2.00 3/446 8625
/proc/meminfo: memFree=31407872/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=21296 CPUtime=0.69 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 4531 0 0 0 68 1 0 0 25 0 1 0 819312710 21807104 4220 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 5324 4220 645 1205 0 4115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21296
[startup+1.50022 s]
/proc/loadavg: 1.95 2.01 2.00 3/447 8626
/proc/meminfo: memFree=31392612/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=33644 CPUtime=1.49 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 7741 0 0 0 147 2 0 0 25 0 1 0 819312710 34451456 7077 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8411 7077 723 1205 0 7202 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33644
[startup+3.10082 s]
/proc/loadavg: 1.95 2.01 2.00 3/447 8626
/proc/meminfo: memFree=31379216/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=33920 CPUtime=3.09 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 7800 0 0 0 306 3 0 0 25 0 1 0 819312710 34734080 7136 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8480 7136 724 1205 0 7271 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33920
[startup+6.30038 s]
/proc/loadavg: 1.95 2.01 2.00 3/447 8626
/proc/meminfo: memFree=31379500/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34256 CPUtime=6.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 7874 0 0 0 625 4 0 0 25 0 1 0 819312710 35078144 7210 33554432000 4194304 9128323 140735318714320 18446744073709551615 8008939 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8564 7210 724 1205 0 7355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34256
[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 2.00 3/447 8626
/proc/meminfo: memFree=31378628/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34256 CPUtime=12.69 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 7960 0 0 0 1262 7 0 0 25 0 1 0 819312710 35078144 7296 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8564 7296 730 1205 0 7355 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34256
[startup+25.501 s]
/proc/loadavg: 1.96 2.01 2.00 3/447 8626
/proc/meminfo: memFree=31379356/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34256 CPUtime=25.49 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 7961 0 0 0 2534 15 0 0 25 0 1 0 819312710 35078144 7297 33554432000 4194304 9128323 140735318714320 18446744073709551615 7313471 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8564 7297 731 1205 0 7355 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34256
[startup+51.1005 s]
/proc/loadavg: 1.97 2.01 2.00 3/447 8627
/proc/meminfo: memFree=31379472/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34256 CPUtime=51.09 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 7962 0 0 0 5073 36 0 0 25 0 1 0 819312710 35078144 7298 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8564 7298 732 1205 0 7355 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34256
[startup+102.316 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 8629
/proc/meminfo: memFree=31376816/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=102.3 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9261 0 0 0 10150 80 0 0 25 0 1 0 819312710 35045376 7579 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7579 739 1205 0 7347 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 34224
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 8639
/proc/meminfo: memFree=31377084/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=162.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9262 0 0 0 16095 134 0 0 25 0 1 0 819312710 35045376 7580 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7580 739 1205 0 7347 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34224
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/447 8641
/proc/meminfo: memFree=31377912/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=222.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9265 0 0 0 22044 185 0 0 25 0 1 0 819312710 35045376 7583 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7583 739 1205 0 7347 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34224
[startup+282.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/447 8642
/proc/meminfo: memFree=31378004/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=282.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9266 0 0 0 27997 232 0 0 25 0 1 0 819312710 35045376 7584 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7584 739 1205 0 7347 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 34224
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8647
/proc/meminfo: memFree=31377308/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=342.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9269 0 0 0 33948 281 0 0 25 0 1 0 819312710 35045376 7587 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7587 739 1205 0 7347 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 34224
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 8648
/proc/meminfo: memFree=31377280/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=402.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9270 0 0 0 39899 330 0 0 25 0 1 0 819312710 35045376 7588 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7588 739 1205 0 7347 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 34224
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8650
/proc/meminfo: memFree=31377836/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=462.29 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9274 0 0 0 45851 378 0 0 25 0 1 0 819312710 35045376 7592 33554432000 4194304 9128323 140735318714320 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7592 739 1205 0 7347 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 34224
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8652
/proc/meminfo: memFree=31377296/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=522.3 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9277 0 0 0 51801 429 0 0 25 0 1 0 819312710 35045376 7595 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7595 739 1205 0 7347 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 34224
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8653
/proc/meminfo: memFree=31377972/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=582.3 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9281 0 0 0 57758 472 0 0 25 0 1 0 819312710 35045376 7599 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7599 739 1205 0 7347 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 34224
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/447 8660
/proc/meminfo: memFree=31377644/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=822.31 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9291 0 0 0 81560 671 0 0 25 0 1 0 819312710 35045376 7609 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7609 739 1205 0 7347 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 34224
[startup+882.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 8661
/proc/meminfo: memFree=31376732/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=34224 CPUtime=882.3 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9295 0 0 0 87505 725 0 0 25 0 1 0 819312710 35045376 7613 33554432000 4194304 9128323 140735318714320 18446744073709551615 7326016 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8556 7613 739 1205 0 7347 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 34224
[startup+942.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/447 8690
/proc/meminfo: memFree=29957420/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=35536 CPUtime=942.31 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9587 0 0 0 93457 774 0 0 25 0 1 0 819312710 36388864 7905 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8884 7905 739 1205 0 7675 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 35536
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 8692
/proc/meminfo: memFree=29953564/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=35536 CPUtime=1002.31 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9598 0 0 0 99411 820 0 0 25 0 1 0 819312710 36388864 7916 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8884 7916 739 1205 0 7675 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 35536
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 8693
/proc/meminfo: memFree=29818320/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=35700 CPUtime=1062.31 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9634 0 0 0 105359 872 0 0 25 0 1 0 819312710 36556800 7952 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 8925 7952 739 1205 0 7716 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 35700
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8695
/proc/meminfo: memFree=29789112/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=36060 CPUtime=1122.31 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9717 0 0 0 111306 925 0 0 25 0 1 0 819312710 36925440 8035 33554432000 4194304 9128323 140735318714320 18446744073709551615 7989562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9015 8035 741 1205 0 7806 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 36060
[startup+1182.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/447 8696
/proc/meminfo: memFree=29797388/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=36636 CPUtime=1182.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 9884 0 0 0 117257 975 0 0 25 0 1 0 819312710 37515264 8202 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9159 8202 741 1205 0 7950 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 36636
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/447 8698
/proc/meminfo: memFree=29796456/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=37300 CPUtime=1242.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10053 0 0 0 123210 1022 0 0 25 0 1 0 819312710 38195200 8371 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9325 8371 741 1205 0 8116 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 37300
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8700
/proc/meminfo: memFree=29795668/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=38680 CPUtime=1302.33 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10396 0 0 0 129164 1069 0 0 25 0 1 0 819312710 39608320 8714 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9670 8714 741 1205 0 8461 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 38680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 8701
/proc/meminfo: memFree=29795740/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=38680 CPUtime=1362.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10400 0 0 0 135110 1122 0 0 25 0 1 0 819312710 39608320 8718 33554432000 4194304 9128323 140735318714320 18446744073709551615 7315232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9670 8718 741 1205 0 8461 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 38680
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8703
/proc/meminfo: memFree=29795560/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=38680 CPUtime=1422.33 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10403 0 0 0 141062 1171 0 0 25 0 1 0 819312710 39608320 8721 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9670 8721 741 1205 0 8461 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 38680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8704
/proc/meminfo: memFree=29795264/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=39056 CPUtime=1482.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10506 0 0 0 147009 1223 0 0 25 0 1 0 819312710 39993344 8824 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9764 8824 741 1205 0 8555 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 39056
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/447 8706
/proc/meminfo: memFree=29794340/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=39740 CPUtime=1542.33 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10677 0 0 0 152961 1272 0 0 25 0 1 0 819312710 40693760 8995 33554432000 4194304 9128323 140735318714320 18446744073709551615 4899437 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9935 8995 741 1205 0 8726 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 39740
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 8707
/proc/meminfo: memFree=29794052/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=39740 CPUtime=1602.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 10682 0 0 0 158911 1321 0 0 25 0 1 0 819312710 40693760 9000 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 9935 9000 741 1205 0 8726 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 39740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8709
/proc/meminfo: memFree=29766448/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=41872 CPUtime=1662.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 11211 0 0 0 164861 1371 0 0 25 0 1 0 819312710 42876928 9529 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 10468 9529 741 1205 0 9259 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 41872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8711
/proc/meminfo: memFree=29766024/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=41872 CPUtime=1722.33 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 11222 0 0 0 170811 1422 0 0 25 0 1 0 819312710 42876928 9540 33554432000 4194304 9128323 140735318714320 18446744073709551615 7315232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 10468 9540 741 1205 0 9259 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 41872
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/447 8712
/proc/meminfo: memFree=29765092/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=41872 CPUtime=1782.32 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 11225 0 0 0 176761 1471 0 0 25 0 1 0 819312710 42876928 9543 33554432000 4194304 9128323 140735318714320 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8625/statm: 10468 9543 741 1205 0 9259 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 41872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.03 2.00 3/447 8713
/proc/meminfo: memFree=29764440/32950928 swapFree=34365992/67111528
[pid=8625] ppid=8623 vsize=42572 CPUtime=1800.04 cores=0,2,4,6
/proc/8625/stat : 8625 (scip-2.0.1.4.li) R 8623 8625 6518 0 -1 4202496 11389 0 0 0 178517 1487 0 0 25 0 1 0 819312710 43593728 9707 33554432000 4194304 9128323 140735318714320 18446744073709551615 6662890 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8625/statm: 10643 9707 743 1205 0 9434 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 42572
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.02
CPU time (s): 1800.06
CPU user time (s): 1785.18
CPU system time (s): 14.8777
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 42572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.18
system time used= 14.8777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11389
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= 6125
runsolver used 8.27274 second user time and 17.5613 second system time
The end