0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691452-1338020756.opb>
0.00/0.01 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.01 c problem read in 0.01
0.00/0.04 o 500
0.00/0.04 c feasible solution found by trivial heuristic, objective value 5.000000e+02
0.00/0.04 c presolving:
0.09/0.15 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184652 impls, 0 clqs
0.19/0.23 c (0.2s) probing: 51/6828 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.24 c presolving (2 rounds):
0.19/0.24 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.24 c 184652 implications, 0 cliques
0.19/0.24 c presolved problem has 6828 variables (6828 bin, 0 int, 0 impl, 0 cont) and 6828 constraints
0.19/0.24 c 6328 constraints of type <and>
0.19/0.24 c 500 constraints of type <logicor>
0.19/0.24 c transformed objective value is always integral (scale: 1)
0.19/0.24 c Presolving Time: 0.23
0.19/0.24 c - non default parameters ----------------------------------------------------------------------
0.19/0.24 c # SCIP version 2.1.1.4
0.19/0.24 c
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = 1797
0.19/0.24 c
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = 13950
0.19/0.24 c
0.19/0.24 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.24 c # [type: int, range: [1,2], default: 1]
0.19/0.24 c timing/clocktype = 2
0.19/0.24 c
0.19/0.24 c # belongs reading time to solving time?
0.19/0.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.24 c timing/reading = TRUE
0.19/0.24 c
0.19/0.24 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.24 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.24 c separating/rapidlearning/freq = 0
0.19/0.24 c
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving
0.19/0.24 c
0.29/0.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.35 c t 0.4s| 1 | 0 | 1000 | - | 32M| 0 |1000 |6828 |6828 |6828 | 13k| 0 | 0 | 0 | 0.000000e+00 | 5.000000e+02 | Inf
0.29/0.38 o 107
0.29/0.38 c s 0.4s| 1 | 0 | 1000 | - | 32M| 0 |1000 |6828 |6828 |6828 | 13k| 0 | 0 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1.29/1.34 c 1.3s| 1 | 0 | 2500 | - | 33M| 0 |1000 |6828 |6828 |6828 | 14k|1000 | 0 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1.89/1.94 c 1.9s| 1 | 0 | 4000 | - | 33M| 0 |1000 |6828 |6828 |6828 | 15k|2000 | 0 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1.89/1.99 o 103
1.89/1.99 c s 2.0s| 1 | 0 | 4000 | - | 33M| 0 |1000 |6828 |6828 |6828 | 15k|2000 | 0 | 0 | 0.000000e+00 | 1.030000e+02 | Inf
2.58/2.62 c 2.6s| 1 | 0 | 5500 | - | 34M| 0 |1000 |6828 |6828 |6828 | 16k|3001 | 0 | 0 | 0.000000e+00 | 1.030000e+02 | Inf
2.58/2.66 o 92
2.58/2.66 c s 2.7s| 1 | 0 | 5500 | - | 34M| 0 |1000 |6828 |6828 |6828 | 16k|3001 | 0 | 0 | 0.000000e+00 | 9.200000e+01 | Inf
3.30/3.35 c 3.3s| 1 | 0 | 7000 | - | 34M| 0 |1000 |6828 |6828 |6828 | 17k|4001 | 0 | 0 | 0.000000e+00 | 9.200000e+01 | Inf
8.49/8.55 c 8.6s| 1 | 0 | 18752 | - | 35M| 0 |2423 |6828 |6828 |6828 | 18k|5003 | 0 | 0 | 2.689041e+01 | 9.200000e+01 | 242.13%
16.18/16.20 c 16.2s| 1 | 0 | 28603 | - | 38M| 0 |3595 |6828 |6828 |6828 | 18k|5793 | 0 | 0 | 3.508130e+01 | 9.200000e+01 | 162.25%
25.59/25.62 c 25.6s| 1 | 0 | 36980 | - | 38M| 0 |4070 |6828 |6828 |6828 | 19k|6064 | 0 | 0 | 3.648622e+01 | 9.200000e+01 | 152.15%
31.58/31.68 c 31.7s| 1 | 0 | 38138 | - | 38M| 0 |4281 |6828 |6828 |6828 | 19k|6137 | 0 | 0 | 3.667035e+01 | 9.200000e+01 | 150.88%
38.08/38.11 c 38.1s| 1 | 0 | 38995 | - | 38M| 0 |4492 |6828 |6828 |6828 | 19k|6187 | 0 | 0 | 3.676687e+01 | 9.200000e+01 | 150.23%
44.48/44.51 c 44.5s| 1 | 0 | 39386 | - | 38M| 0 |4496 |6828 |6828 |6828 | 19k|6218 | 0 | 0 | 3.681122e+01 | 9.200000e+01 | 149.92%
47.58/47.60 c 47.6s| 1 | 0 | 39636 | - | 35M| 0 |4614 |6828 |6828 |6827 |7034 |6233 | 0 | 0 | 3.681122e+01 | 9.200000e+01 | 149.92%
47.58/47.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.58/47.60 c 47.6s| 1 | 0 | 39636 | - | 35M| 0 |4614 |6828 |6828 |6827 |7034 |6233 | 0 | 0 | 3.683273e+01 | 9.200000e+01 | 149.78%
48.29/48.34 c 48.3s| 1 | 0 | 39686 | - | 35M| 0 |4633 |6828 |6828 |6827 |7044 |6243 | 0 | 0 | 3.683354e+01 | 9.200000e+01 | 149.77%
48.98/49.09 c 49.1s| 1 | 0 | 39717 | - | 35M| 0 |4589 |6828 |6828 |6827 |7050 |6249 | 0 | 0 | 3.683433e+01 | 9.200000e+01 | 149.77%
49.78/49.83 c 49.8s| 1 | 0 | 39825 | - | 35M| 0 |4683 |6828 |6828 |6827 |7054 |6253 | 0 | 0 | 3.683682e+01 | 9.200000e+01 | 149.75%
50.48/50.53 c 50.5s| 1 | 0 | 39829 | - | 35M| 0 |4686 |6828 |6828 |6827 |7058 |6257 | 0 | 0 | 3.683682e+01 | 9.200000e+01 | 149.75%
58.78/58.88 c 58.9s| 1 | 2 | 39829 | - | 35M| 0 |4686 |6828 |6828 |6827 |7058 |6257 | 0 | 12 | 3.683682e+01 | 9.200000e+01 | 149.75%
659.97/660.13 c 660s| 100 | 101 | 1011k|9812.5 | 38M| 14 |4151 |6828 |6828 |6827 |6793 |8811 | 0 | 239 | 3.741107e+01 | 9.200000e+01 | 145.92%
851.25/851.47 c 851s| 200 | 201 | 1247k|6069.0 | 39M| 17 |3855 |6828 |6828 |6828 |6946 | 10k| 0 | 375 | 3.751492e+01 | 9.200000e+01 | 145.24%
991.23/991.45 c 991s| 300 | 301 | 1407k|4573.8 | 39M| 21 |4015 |6828 |6828 |6828 |6910 | 12k| 0 | 493 | 3.766685e+01 | 9.200000e+01 | 144.25%
1117.91/1118.10 c 1118s| 400 | 401 | 1562k|3816.3 | 40M| 21 |3900 |6828 |6829 |6827 |6879 | 14k| 1 | 550 | 3.780944e+01 | 9.200000e+01 | 143.33%
1230.88/1231.15 c 1231s| 500 | 501 | 1668k|3264.6 | 40M| 21 |4043 |6828 |6829 |6828 |6968 | 16k| 1 | 664 | 3.789309e+01 | 9.200000e+01 | 142.79%
1386.06/1386.30 c 1386s| 600 | 601 | 1861k|3040.5 | 41M| 21 |3678 |6828 |6829 |6828 |6983 | 18k| 1 | 787 | 3.799255e+01 | 9.200000e+01 | 142.15%
1456.85/1457.13 c 1457s| 700 | 701 | 1941k|2720.6 | 41M| 21 |4374 |6828 |6829 |6828 |6867 | 19k| 1 | 805 | 3.806224e+01 | 9.200000e+01 | 141.71%
1592.13/1592.44 c 1592s| 800 | 801 | 2108k|2588.7 | 41M| 21 |3591 |6828 |6829 |6828 |6984 | 21k| 1 | 878 | 3.811409e+01 | 9.200000e+01 | 141.38%
1693.42/1693.73 c 1694s| 900 | 901 | 2216k|2421.1 | 42M| 21 |4267 |6828 |6829 |6828 |6896 | 22k| 1 | 956 | 3.815308e+01 | 9.200000e+01 | 141.13%
1796.70/1797.03 c
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Solving Time (sec) : 1797.03
1796.70/1797.03 c Solving Nodes : 992
1796.70/1797.03 c Primal Bound : +9.20000000000000e+01 (4 solutions)
1796.70/1797.03 c Dual Bound : +3.81758748161951e+01
1796.70/1797.03 c Gap : 140.99 %
1796.70/1797.03 s SATISFIABLE
1796.70/1797.03 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1796.70/1797.03 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1796.70/1797.03 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1796.70/1797.03 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416
1796.70/1797.03 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1796.70/1797.03 v -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1796.70/1797.03 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1796.70/1797.03 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1796.70/1797.03 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1796.70/1797.03 v -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291
1796.70/1797.03 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
1796.70/1797.03 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1796.70/1797.03 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1796.70/1797.03 v -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209 -x208 -x207
1796.70/1797.03 v -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185
1796.70/1797.03 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164
1796.70/1797.03 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
1796.70/1797.03 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122
1796.70/1797.03 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
1796.70/1797.03 v -x100 x99 -x98 -x97 -x96 -x95 -x94 x93 x92 -x91 -x90 -x89 x88 x87 -x86 -x85 -x84 x83 -x82 -x81 x80 -x79 -x78 x77 x76 x75 x74
1796.70/1797.03 v x73 x72 -x71 x70 -x69 -x68 -x67 -x66 x65 x64 x63 x62 x61 x60 -x59 -x58 x57 -x56 x55 x54 x53 x52 x51 x50 x49 -x48 x47 x46 x45
1796.70/1797.03 v x44 x43 x42 x41 x40 x39 -x38 x37 x36 x35 x34 -x33 -x32 x31 -x30 x29 x28 x27 x26 x25 x24 -x23 x22 x21 x20 x19 x18 x17 x16 x15
1796.70/1797.03 v x14 -x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Total Time : 1797.03
1796.70/1797.03 c solving : 1797.03
1796.70/1797.03 c presolving : 0.23 (included in solving)
1796.70/1797.03 c reading : 0.01 (included in solving)
1796.70/1797.03 c copying : 0.05 (3 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.70/1797.03 c Original Problem :
1796.70/1797.03 c Problem name : HOME/instance-3691452-1338020756.opb
1796.70/1797.03 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 500 initial, 500 maximal
1796.70/1797.03 c Objective sense : minimize
1796.70/1797.03 c Presolved Problem :
1796.70/1797.03 c Problem name : t_HOME/instance-3691452-1338020756.opb
1796.70/1797.03 c Variables : 6828 (6828 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 6828 initial, 6829 maximal
1796.70/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c probing : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c and : 0.15 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c root node : - - 0 - - 0 - - - - -
1796.70/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c integral : 0 0 0 0 992 0 50 0 0 0 0 0 1984
1796.70/1797.03 c and : 6328 6328 3747 28294 0 0 45 17 0 15539 24088 0 0
1796.70/1797.03 c logicor : 500+ 501 16 10327 0 0 4 0 1 0 0 0 0
1796.70/1797.03 c countsols : 0 0 0 0 0 0 7 0 0 0 0 0 0
1796.70/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.03 c integral : 332.13 0.00 0.00 0.00 332.13 0.00 0.00 0.00
1796.70/1797.03 c and : 14.39 0.00 10.76 3.62 0.00 0.00 0.01 0.00
1796.70/1797.03 c logicor : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00
1796.70/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.03 c rootredcost : 1 0 0 0
1796.70/1797.03 c pseudoobj : 29186 0 0 0
1796.70/1797.03 c vbounds : 0 0 0 0
1796.70/1797.03 c redcost : 4026 0 0 0
1796.70/1797.03 c probing : 0 0 0 0
1796.70/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.03 c rootredcost : 0.01 0.00 0.00 0.01 0.00
1796.70/1797.03 c pseudoobj : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.03 c vbounds : 0.01 0.00 0.00 0.01 0.00
1796.70/1797.03 c redcost : 0.36 0.00 0.00 0.36 0.00
1796.70/1797.03 c probing : 0.03 0.00 0.03 0.00 0.00
1796.70/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.03 c propagation : 0.00 1 1 1 15.0 0 0.0 -
1796.70/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c applied globally : - - - 1 15.0 - - -
1796.70/1797.03 c applied locally : - - - 0 0.0 - - -
1796.70/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.03 c cut pool : 0.01 15 - - 0 - (maximal pool size: 6422)
1796.70/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c impliedbounds : 0.05 0.00 16 0 0 6676 0
1796.70/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c gomory : 8.63 0.00 10 0 0 372 0
1796.70/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c strongcg : 15.89 0.00 16 0 0 3140 0
1796.70/1797.03 c cmir : 2.64 0.00 10 0 0 2500 0
1796.70/1797.03 c flowcover : 1.50 0.00 10 0 0 0 0
1796.70/1797.03 c clique : 0.20 0.00 16 0 0 13 0
1796.70/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c mcf : 0.01 0.00 1 0 0 0 0
1796.70/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c rapidlearning : 0.24 0.00 1 0 0 0 0
1796.70/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.03 c problem variables: 0.04 - 727 175
1796.70/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c relpscost : 332.13 0.00 992 0 0 0 0 1984
1796.70/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.03 c LP solutions : 0.00 - - 0
1796.70/1797.03 c pseudo solutions : 0.00 - - 0
1796.70/1797.03 c oneopt : 0.01 0.00 3 0
1796.70/1797.03 c smallcard : 0.00 0.00 0 0
1796.70/1797.03 c trivial : 0.01 0.00 2 1
1796.70/1797.03 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.03 c simplerounding : 0.19 0.00 0 0
1796.70/1797.03 c zirounding : 1.06 0.00 991 0
1796.70/1797.03 c rounding : 11.54 0.00 853 0
1796.70/1797.03 c shifting : 7.57 0.00 504 3
1796.70/1797.03 c intshifting : 0.00 0.00 0 0
1796.70/1797.03 c twoopt : 0.00 0.00 0 0
1796.70/1797.03 c indoneopt : 0.00 0.00 0 0
1796.70/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.03 c feaspump : 0.00 0.00 0 0
1796.70/1797.03 c clique : 0.00 0.00 0 0
1796.70/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.03 c indrounding : 0.00 0.00 0 0
1796.70/1797.03 c coefdiving : 64.07 0.00 7 0
1796.70/1797.03 c pscostdiving : 82.48 0.00 5 0
1796.70/1797.03 c fracdiving : 72.73 0.00 8 0
1796.70/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.03 c veclendiving : 54.91 0.00 6 0
1796.70/1797.03 c intdiving : 0.00 0.00 0 0
1796.70/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.03 c objpscostdiving : 290.66 0.00 1 0
1796.70/1797.03 c rootsoldiving : 17.93 0.00 3 0
1796.70/1797.03 c linesearchdiving : 60.93 0.00 8 0
1796.70/1797.03 c guideddiving : 72.19 0.00 7 0
1796.70/1797.03 c octane : 0.00 0.00 0 0
1796.70/1797.03 c rens : 0.03 0.00 0 0
1796.70/1797.03 c rins : 0.00 0.00 0 0
1796.70/1797.03 c localbranching : 0.00 0.00 0 0
1796.70/1797.03 c mutation : 0.00 0.00 0 0
1796.70/1797.03 c crossover : 0.03 0.00 0 0
1796.70/1797.03 c dins : 0.00 0.00 0 0
1796.70/1797.03 c vbounds : 0.00 0.00 0 0
1796.70/1797.03 c undercover : 0.12 0.00 1 0
1796.70/1797.03 c subnlp : 0.00 0.00 0 0
1796.70/1797.03 c trysol : 0.00 0.00 0 0
1796.70/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.03 c primal LP : 24.71 774 903 36.12 36.55 23.09 749
1796.70/1797.03 c dual LP : 654.03 4031 895522 222.43 1369.24 0.14 5
1796.70/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c diving/probing LP: 688.94 14837 1428846 96.30 2073.97
1796.70/1797.03 c strong branching : 332.00 1051 436666 415.48 1315.28
1796.70/1797.03 c (at root node) : - 12 10407 867.25 -
1796.70/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.03 c B&B Tree :
1796.70/1797.03 c number of runs : 1
1796.70/1797.03 c nodes : 992
1796.70/1797.03 c nodes (total) : 992
1796.70/1797.03 c nodes left : 993
1796.70/1797.03 c max depth : 21
1796.70/1797.03 c max depth (total): 21
1796.70/1797.03 c backtracks : 245 (24.7%)
1796.70/1797.03 c delayed cutoffs : 0
1796.70/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.03 c avg switch length: 5.35
1796.70/1797.03 c switching time : 23.27
1796.70/1797.03 c Solution :
1796.70/1797.03 c Solutions found : 4 (4 improvements)
1796.70/1797.03 c First Solution : +5.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1796.70/1797.03 c Primal Bound : +9.20000000000000e+01 (in run 1, after 1 nodes, 2.62 seconds, depth 0, found by <shifting>)
1796.70/1797.03 c Dual Bound : +3.81758748161951e+01
1796.70/1797.03 c Gap : 140.99 %
1796.70/1797.03 c Root Dual Bound : +3.68368214105397e+01
1796.70/1797.03 c Root Iterations : 39829
1796.70/1797.07 c Time complete: 1796.77.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3691452-1338020756/watcher-3691452-1338020756 -o /tmp/evaluation-result-3691452-1338020756/solver-3691452-1338020756 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691452-1338020756.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.02 2.01 1.93 3/175 775
/proc/meminfo: memFree=28704224/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=9164 CPUtime=0 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 1060 0 0 0 0 0 0 0 20 0 1 0 268204189 9383936 1015 33554432000 4194304 10173063 140734350712480 140735758783944 8846909 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 2291 1026 392 1460 0 822 0
[startup+0.099786 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 775
/proc/meminfo: memFree=28704224/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=38212 CPUtime=0.09 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 8016 0 0 0 8 1 0 0 20 0 1 0 268204189 39129088 7971 33554432000 4194304 10173063 140734350712480 140735758783944 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 9553 7971 551 1460 0 8084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38212
[startup+0.100302 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 775
/proc/meminfo: memFree=28704224/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=38212 CPUtime=0.09 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 8016 0 0 0 8 1 0 0 20 0 1 0 268204189 39129088 7971 33554432000 4194304 10173063 140734350712480 140735758783944 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 9553 7971 551 1460 0 8084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38212
[startup+0.300314 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 775
/proc/meminfo: memFree=28704224/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=68564 CPUtime=0.29 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 16116 0 0 0 22 7 0 0 20 0 1 0 268204189 70209536 15434 33554432000 4194304 10173063 140734350712480 140735758783944 7785054 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 17141 15434 707 1460 0 15672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68564
[startup+0.700304 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 775
/proc/meminfo: memFree=28704224/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=70212 CPUtime=0.69 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 25138 0 0 0 59 10 0 0 20 0 1 0 268204189 71897088 16298 33554432000 4194304 10173063 140734350712480 140735758783944 5099052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 17553 16298 802 1460 0 16084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70212
[startup+1.50032 s]
/proc/loadavg: 2.02 2.01 1.93 3/176 776
/proc/meminfo: memFree=28620640/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=93108 CPUtime=1.49 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 34356 0 0 0 134 15 0 0 20 0 1 0 268204189 95342592 22122 33554432000 4194304 10173063 140734350712480 140734350707864 7274100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 23277 22122 830 1460 0 21808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93108
[startup+3.10028 s]
/proc/loadavg: 2.02 2.01 1.93 3/176 776
/proc/meminfo: memFree=28618276/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=93108 CPUtime=3.09 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 34363 0 0 0 293 16 0 0 20 0 1 0 268204189 95342592 22128 33554432000 4194304 10173063 140734350712480 140734350707864 7283371 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 23277 22128 830 1460 0 21808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93108
[startup+6.30031 s]
/proc/loadavg: 2.02 2.01 1.93 3/176 776
/proc/meminfo: memFree=28616152/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=93108 CPUtime=6.29 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 34403 0 0 0 613 16 0 0 20 0 1 0 268204189 95342592 22168 33554432000 4194304 10173063 140734350712480 140734350705784 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 23277 22168 831 1460 0 21808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93108
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 778
/proc/meminfo: memFree=28607772/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=97440 CPUtime=12.69 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 35007 0 0 0 1251 18 0 0 20 0 1 0 268204189 99778560 23266 33554432000 4194304 10173063 140734350712480 140734350706120 7594611 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 24360 23266 837 1460 0 22891 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97440
[startup+25.5003 s]
/proc/loadavg: 2.16 2.04 1.94 3/178 778
/proc/meminfo: memFree=28600060/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101268 CPUtime=25.49 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 35746 0 0 0 2528 21 0 0 20 0 1 0 268204189 103698432 23963 33554432000 4194304 10173063 140734350712480 140734350706120 8012272 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25317 23963 837 1460 0 23848 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101268
[startup+51.1003 s]
/proc/loadavg: 2.17 2.05 1.94 3/178 778
/proc/meminfo: memFree=28594572/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101556 CPUtime=51.08 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 41637 0 0 0 5075 33 0 0 20 0 1 0 268204189 103993344 23199 33554432000 4194304 10173063 140734350712480 140734350707368 7657744 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25389 23199 837 1460 0 23920 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 101556
[startup+102.306 s]
/proc/loadavg: 2.07 2.04 1.94 3/177 778
/proc/meminfo: memFree=28578832/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=102.27 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42935 0 0 0 10183 44 0 0 20 0 1 0 268204189 104046592 23561 33554432000 4194304 10173063 140734350712480 140734350705288 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 23561 846 1460 0 23933 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101608
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/177 779
/proc/meminfo: memFree=28550004/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=162.25 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 16167 58 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705976 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 101608
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 1.95 3/177 779
/proc/meminfo: memFree=28527188/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=222.24 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 22155 69 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705736 8054704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 101608
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/178 782
/proc/meminfo: memFree=28504676/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=282.23 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 28141 82 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 101608
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 782
/proc/meminfo: memFree=28488068/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=342.22 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 34123 99 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705656 7711410 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 101608
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/177 782
/proc/meminfo: memFree=28465872/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=402.21 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 40105 116 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 101608
[startup+462.3 s]
/proc/loadavg: 2.08 2.04 1.96 3/177 782
/proc/meminfo: memFree=28441132/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=462.2 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 46081 139 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705752 5122261 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 101608
[startup+522.3 s]
/proc/loadavg: 2.03 2.03 1.96 3/177 783
/proc/meminfo: memFree=28421592/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=522.19 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 52057 162 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705752 8012208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 101608
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 783
/proc/meminfo: memFree=28401628/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=101608 CPUtime=582.19 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 42952 0 0 0 58041 178 0 0 20 0 1 0 268204189 104046592 24154 33554432000 4194304 10173063 140734350712480 140734350705832 8054530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 25402 24154 847 1460 0 23933 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 101608
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28269168/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=107440 CPUtime=1122.11 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 47605 0 0 0 111915 296 0 0 20 0 1 0 268204189 110018560 25582 33554432000 4194304 10173063 140734350712480 140734350706120 8007424 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 26860 25582 849 1460 0 25391 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 107440
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 788
/proc/meminfo: memFree=28256832/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=107440 CPUtime=1182.09 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 47632 0 0 0 117903 306 0 0 20 0 1 0 268204189 110018560 25609 33554432000 4194304 10173063 140734350712480 140734350705000 8054704 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 26860 25609 849 1460 0 25391 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 107440
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 788
/proc/meminfo: memFree=28240460/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=107652 CPUtime=1242.08 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 47660 0 0 0 123890 318 0 0 20 0 1 0 268204189 110235648 25635 33554432000 4194304 10173063 140734350712480 140734350705640 8007488 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 26913 25635 849 1460 0 25444 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 107652
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/177 788
/proc/meminfo: memFree=28217768/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=107652 CPUtime=1302.07 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 47668 0 0 0 129873 334 0 0 20 0 1 0 268204189 110235648 25643 33554432000 4194304 10173063 140734350712480 140734350705400 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 26913 25643 849 1460 0 25444 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 107652
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 788
/proc/meminfo: memFree=28204252/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=109336 CPUtime=1362.06 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48082 0 0 0 135859 347 0 0 20 0 1 0 268204189 111960064 26057 33554432000 4194304 10173063 140734350712480 140734350705736 5122041 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27334 26057 849 1460 0 25865 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 109336
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 789
/proc/meminfo: memFree=28190732/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1422.06 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48298 0 0 0 141847 359 0 0 20 0 1 0 268204189 112840704 26273 33554432000 4194304 10173063 140734350712480 140734350705000 5122123 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26273 849 1460 0 26080 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 110196
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 792
/proc/meminfo: memFree=28182040/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1482.05 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48311 0 0 0 147832 373 0 0 20 0 1 0 268204189 112840704 26286 33554432000 4194304 10173063 140734350712480 140734350705416 8036048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26286 849 1460 0 26080 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 110196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 792
/proc/meminfo: memFree=28163644/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1542.04 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48311 0 0 0 153818 386 0 0 20 0 1 0 268204189 112840704 26286 33554432000 4194304 10173063 140734350712480 140734350708920 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26286 849 1460 0 26080 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 110196
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 830
/proc/meminfo: memFree=28676716/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1602.03 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48311 0 0 0 159800 403 0 0 20 0 1 0 268204189 112840704 26286 33554432000 4194304 10173063 140734350712480 140734350706024 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26286 849 1460 0 26080 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 110196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 830
/proc/meminfo: memFree=28675256/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1662.02 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48312 0 0 0 165785 417 0 0 20 0 1 0 268204189 112840704 26286 33554432000 4194304 10173063 140734350712480 140734350705928 8054496 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26286 849 1460 0 26080 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 110196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28674448/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1722.01 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48312 0 0 0 171770 431 0 0 20 0 1 0 268204189 112840704 26286 33554432000 4194304 10173063 140734350712480 140734350708920 8054559 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26286 849 1460 0 26080 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 110196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28672276/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110196 CPUtime=1782 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48312 0 0 0 177757 443 0 0 20 0 1 0 268204189 112840704 26286 33554432000 4194304 10173063 140734350712480 140734350705736 8012308 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27549 26286 849 1460 0 26080 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 110196
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28671532/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1785.21 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 178077 444 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350705832 7980770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 110716
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28670912/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1791.61 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 178717 444 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350705928 8055031 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 110716
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28670912/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1794.8 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 179035 445 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350707528 8054514 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 110716
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28670912/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1795.6 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 179115 445 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350705416 8012598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 110716
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28670788/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1796.4 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 179195 445 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350705416 7911480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 110716
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28670788/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1796.6 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 179215 445 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350705416 7986089 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 110716
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 831
/proc/meminfo: memFree=28670788/32873844 swapFree=7100/7100
[pid=775] ppid=773 vsize=110716 CPUtime=1796.7 cores=0,2,4,6
/proc/775/stat : 775 (scip-2.1.1.4fix) R 773 775 32565 0 -1 4202496 48427 0 0 0 179224 446 0 0 20 0 1 0 268204189 113373184 26401 33554432000 4194304 10173063 140734350712480 140734350705416 8012288 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/775/statm: 27679 26401 849 1460 0 26210 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 110716
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.78
CPU user time (s): 1792.32
CPU system time (s): 4.46432
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 110716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.32
system time used= 4.46432
maximum resident set size= 111240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48431
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= 26
involuntary context switches= 1851
runsolver used 6.85796 second user time and 17.2144 second system time
The end