0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450890-1307076986.opb>
0.00/0.01 c original problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 475 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 475
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.750000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 475 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 88 del conss, 228 add conss, 0 chg bounds, 288 chg sides, 679 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 123 del conss, 250 add conss, 0 chg bounds, 354 chg sides, 800 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 132 del conss, 257 add conss, 0 chg bounds, 369 chg sides, 832 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 133 del conss, 258 add conss, 0 chg bounds, 381 chg sides, 855 chg coeffs, 475 upgd conss, 324 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/475 (21.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 133 deleted constraints, 258 added constraints, 0 tightened bounds, 0 added holes, 381 changed sides, 855 changed coefficients
0.00/0.03 c 324 implications, 0 cliques
0.00/0.03 c presolved problem has 475 variables (475 bin, 0 int, 0 impl, 0 cont) and 600 constraints
0.00/0.03 c 440 constraints of type <knapsack>
0.00/0.03 c 160 constraints of type <setppc>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.99 c t 1.0s| 1 | 0 | 10233 | - |2674k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 4.750000e+02 | 205.61%
0.89/0.99 o 344
0.89/0.99 c r 1.0s| 1 | 0 | 10233 | - |2687k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 3.440000e+02 | 121.33%
0.89/0.99 o 343
0.89/0.99 c R 1.0s| 1 | 0 | 10233 | - |2701k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 3.430000e+02 | 120.69%
0.89/1.00 o 342
0.89/1.00 c s 1.0s| 1 | 0 | 10233 | - |2714k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 3.420000e+02 | 120.04%
1.19/1.21 o 225
1.19/1.21 c y 1.2s| 1 | 0 | 10233 | - |3064k| 0 | 331 | 475 | 600 | 475 | 600 | 0 | 0 | 0 | 1.554249e+02 | 2.250000e+02 | 44.76%
1.59/1.69 c 1.7s| 1 | 0 | 14193 | - |2988k| 0 | 380 | 475 | 600 | 475 | 796 | 196 | 0 | 0 | 1.616731e+02 | 2.250000e+02 | 39.17%
2.21/2.27 c 2.3s| 1 | 0 | 17035 | - |3223k| 0 | 412 | 475 | 600 | 475 | 965 | 365 | 0 | 0 | 1.644631e+02 | 2.250000e+02 | 36.81%
2.79/2.84 c 2.8s| 1 | 0 | 19323 | - |3393k| 0 | 408 | 475 | 600 | 475 |1083 | 483 | 0 | 0 | 1.659992e+02 | 2.250000e+02 | 35.54%
3.31/3.34 c 3.3s| 1 | 0 | 20791 | - |3478k| 0 | 423 | 475 | 600 | 475 |1164 | 564 | 0 | 0 | 1.668209e+02 | 2.250000e+02 | 34.88%
3.79/3.87 c 3.9s| 1 | 0 | 22172 | - |3524k| 0 | 428 | 475 | 600 | 475 |1215 | 615 | 0 | 0 | 1.671828e+02 | 2.250000e+02 | 34.58%
4.09/4.17 c 4.2s| 1 | 0 | 22298 | - |3535k| 0 | 431 | 475 | 600 | 475 |1228 | 628 | 0 | 0 | 1.672146e+02 | 2.250000e+02 | 34.56%
4.41/4.48 c 4.5s| 1 | 0 | 22349 | - |3543k| 0 | 432 | 475 | 600 | 475 |1231 | 631 | 0 | 0 | 1.672187e+02 | 2.250000e+02 | 34.55%
4.69/4.78 c 4.8s| 1 | 0 | 22428 | - |3551k| 0 | 433 | 475 | 600 | 475 |1235 | 635 | 0 | 0 | 1.672255e+02 | 2.250000e+02 | 34.55%
8.90/8.96 c 9.0s| 1 | 2 | 22428 | - |3571k| 0 | 433 | 475 | 600 | 475 |1235 | 635 | 0 | 30 | 1.672255e+02 | 2.250000e+02 | 34.55%
26.49/26.55 o 225
26.49/26.55 c c26.5s| 15 | 16 | 38333 |1136.1 |4330k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.250000e+02 | 34.36%
26.49/26.55 o 224
26.49/26.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.49/26.55 c c26.6s| 15 | 16 | 38353 |1137.5 |4332k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.240000e+02 | 33.76%
26.49/26.56 o 221
26.49/26.56 c c26.6s| 15 | 16 | 38498 |1147.9 |4341k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.210000e+02 | 31.97%
26.49/26.56 o 219
26.49/26.56 c c26.6s| 15 | 16 | 38499 |1147.9 |4343k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.190000e+02 | 30.78%
26.49/26.56 o 217
26.49/26.56 c c26.6s| 15 | 16 | 38507 |1148.5 |4344k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.170000e+02 | 29.58%
26.49/26.57 o 217
26.49/26.57 c c26.6s| 15 | 16 | 38515 |1149.1 |4347k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.170000e+02 | 29.58%
26.49/26.58 o 216
26.49/26.58 c c26.6s| 15 | 16 | 38621 |1156.6 |4370k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.160000e+02 | 28.99%
26.49/26.58 o 216
26.49/26.58 c c26.6s| 15 | 16 | 38624 |1156.9 |4372k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.160000e+02 | 28.99%
26.49/26.58 o 215
26.49/26.58 c c26.6s| 15 | 16 | 38654 |1159.0 |4379k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.150000e+02 | 28.39%
26.49/26.59 o 214
26.49/26.59 c c26.6s| 15 | 16 | 38732 |1164.6 |4396k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.674596e+02 | 2.140000e+02 | 27.79%
27.89/27.97 o 213
27.89/27.97 c p28.0s| 27 | 28 | 49574 |1044.1 |4468k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.130000e+02 | 27.06%
27.89/27.97 o 212
27.89/27.97 c p28.0s| 27 | 28 | 49577 |1044.2 |4469k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.120000e+02 | 26.47%
27.89/27.97 o 207
27.89/27.97 c p28.0s| 27 | 28 | 49586 |1044.5 |4470k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.070000e+02 | 23.48%
27.89/27.97 o 205
27.89/27.97 c p28.0s| 27 | 28 | 49588 |1044.6 |4471k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.050000e+02 | 22.29%
27.89/27.97 o 204
27.89/27.97 c p28.0s| 27 | 28 | 49595 |1044.9 |4473k| 14 | - | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 2.040000e+02 | 21.70%
27.89/27.98 o 198
27.89/27.98 c b28.0s| 27 | 28 | 49653 |1047.1 |4338k| 14 | 385 | 475 | 600 | 475 | 972 | 635 | 0 | 230 | 1.676318e+02 | 1.980000e+02 | 18.12%
64.29/64.36 o 196
64.29/64.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.29/64.36 c C64.4s| 227 | 228 |343029 |1418.6 |4575k| 27 | 395 | 475 | 604 | 475 | 972 | 635 | 4 | 311 | 1.677332e+02 | 1.960000e+02 | 16.85%
64.29/64.37 o 195
64.29/64.37 c b64.4s| 227 | 228 |343029 |1418.6 |4582k| 27 | 395 | 475 | 604 | 475 | 972 | 635 | 4 | 311 | 1.677332e+02 | 1.950000e+02 | 16.26%
238.61/238.71 o 193
238.61/238.71 c C 239s| 2239 | 1626 | 1738k| 766.6 |5529k| 113 | 166 | 475 | 607 | 475 | 972 | 635 | 7 | 716 | 1.682945e+02 | 1.930000e+02 | 14.68%
442.12/442.15 c 442s| 10000 | 3641 | 3423k| 340.2 |7233k| 113 | 155 | 475 | 607 | 475 | 972 | 635 | 7 |1198 | 1.686719e+02 | 1.930000e+02 | 14.42%
675.61/675.64 c 676s| 20000 | 6435 | 5383k| 268.1 |9569k| 113 | - | 475 | 606 | 475 | 972 | 635 | 7 |1765 | 1.688805e+02 | 1.930000e+02 | 14.28%
877.83/877.83 c 878s| 30000 | 10019 | 7099k| 235.9 | 12M| 113 | - | 475 | 605 | 475 | 972 | 635 | 7 |2281 | 1.689771e+02 | 1.930000e+02 | 14.22%
1090.52/1090.58 c 1091s| 40000 | 13273 | 8931k| 222.7 | 15M| 113 | 339 | 475 | 605 | 475 | 972 | 635 | 7 |2785 | 1.690540e+02 | 1.930000e+02 | 14.16%
1277.33/1277.31 c 1277s| 50000 | 16277 | 10544k| 210.4 | 18M| 113 | - | 475 | 608 | 475 | 972 | 635 | 10 |3127 | 1.691206e+02 | 1.930000e+02 | 14.12%
1465.44/1465.41 c 1465s| 60000 | 19177 | 12160k| 202.3 | 21M| 113 | - | 475 | 603 | 475 | 972 | 635 | 10 |3453 | 1.691691e+02 | 1.930000e+02 | 14.09%
1653.04/1653.04 c 1653s| 70000 | 21865 | 13795k| 196.8 | 23M| 113 | 364 | 475 | 607 | 475 | 972 | 635 | 16 |3769 | 1.692135e+02 | 1.930000e+02 | 14.06%
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.01
1800.05/1800.01 c Solving Nodes : 78142
1800.05/1800.01 c Primal Bound : +1.93000000000000e+02 (679 solutions)
1800.05/1800.01 c Dual Bound : +1.69247053760335e+02
1800.05/1800.01 c Gap : 14.03 %
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x475 x474 -x473 -x472 -x471 x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 x454 x453
1800.05/1800.01 v x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 x438 x437 x436 -x435 -x434 x433 x432 -x431
1800.05/1800.01 v -x430 -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 x413 x412 x411 x410 x409 -x408
1800.05/1800.01 v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 x391 x390 -x389 -x388 -x387
1800.05/1800.01 v x386 x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 x365
1800.05/1800.01 v -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 -x355 -x354 x353 -x352 x351 -x350 x349 -x348 -x347 -x346 x345 x344 x343 -x342
1800.05/1800.01 v -x341 -x340 x339 -x338 -x337 -x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 -x327 -x326 x325 -x324 x323 -x322 -x321 x320
1800.05/1800.01 v -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 x300 -x299
1800.05/1800.01 v x298 x297 x296 -x295 -x294 -x293 x292 x291 x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 x278 -x277
1800.05/1800.01 v x276 -x275 -x274 x273 x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 -x261 x260 x259 -x258 x257 -x256 x255 x254
1800.05/1800.01 v x253 -x252 -x251 -x250 -x249 x248 x247 x246 -x245 -x244 x243 x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 x232
1800.05/1800.01 v -x231 -x230 x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 x212 -x211 -x210
1800.05/1800.01 v x209 -x208 -x207 -x206 x205 -x204 -x203 x202 x201 -x200 x199 x198 -x197 x196 -x195 x194 -x193 x192 x191 -x190 -x189 -x188 x187
1800.05/1800.01 v -x186 x185 x184 x183 -x182 -x181 x180 x179 -x178 -x177 -x176 x175 -x174 x173 x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164
1800.05/1800.01 v -x163 -x162 x161 x160 -x159 -x158 -x157 x156 x155 x154 -x153 -x152 -x151 x150 x149 x148 -x147 x146 x145 x144 -x143 x142
1800.05/1800.01 v x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 x132 -x131 -x130 -x129 -x128 x127 x126 -x125 -x124 x123 x122 -x121 x120 -x119
1800.05/1800.01 v -x118 x117 x116 -x115 -x114 x113 x112 -x111 -x110 x109 -x108 -x107 -x106 x105 x104 x103 x102 x101 -x100 -x99 -x98 x97 -x96
1800.05/1800.01 v -x95 -x94 -x93 -x92 x91 x90 -x89 -x88 x87 x86 x85 -x84 -x83 -x82 x81 x80 -x79 x78 -x77 -x76 x75 x74 -x73 x72 x71 -x70 -x69 x68
1800.05/1800.01 v -x67 x66 -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 x55 x54 x53 -x52 -x51 x50 -x49 x48 x47 x46 x45 x44 x43 -x42 -x41 -x40
1800.05/1800.01 v 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 -x14 -x13
1800.05/1800.01 v x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Total Time : 1800.01
1800.05/1800.01 c solving : 1800.01
1800.05/1800.01 c presolving : 0.02 (included in solving)
1800.05/1800.01 c reading : 0.01 (included in solving)
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-3450890-1307076986.opb
1800.05/1800.01 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 475 initial, 475 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3450890-1307076986.opb
1800.05/1800.01 c Variables : 475 (475 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 600 initial, 610 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c knapsack : 0.01 0 0 0 0 0 34 258 381 834
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 99 0 0 0
1800.05/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 51264 0 684 0 5 209 0 0 102236
1800.05/1800.01 c knapsack : 440 9 369566 0 1 679 0 0 251699 691 0 0
1800.05/1800.01 c setppc : 160 9 369566 0 1 678 0 0 49135 0 0 0
1800.05/1800.01 c logicor : 0+ 0 12829 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1 682 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 103.98 0.00 0.00 103.98 0.00 0.00 0.00
1800.05/1800.01 c knapsack : 4.02 0.03 3.99 0.00 0.00 0.01 0.00
1800.05/1800.01 c setppc : 0.63 0.00 0.62 0.00 0.00 0.00 0.00
1800.05/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 15 0 0 0
1800.05/1800.01 c pseudoobj : 370634 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.07 0.07 0.00
1800.05/1800.01 c rootredcost : 0.08 0.08 0.00
1800.05/1800.01 c pseudoobj : 2.89 2.89 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c infeasible LP : 0.00 19 19 19 3.7 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 19 3.7 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 8 - - 252 - (maximal pool size: 1088)
1800.05/1800.01 c redcost : 2.01 103588 0 1007493 0 0
1800.05/1800.01 c impliedbounds : 0.00 9 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 1.09 9 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.99 9 0 0 0 0
1800.05/1800.01 c cmir : 0.13 9 0 0 638 0
1800.05/1800.01 c flowcover : 0.14 9 0 0 807 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.07 1 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 103.94 51264 5 209 0 0 102236
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c oneopt : 0.02 7 2
1800.05/1800.01 c crossover : 0.68 2 2
1800.05/1800.01 c objpscostdiving : 32.10 7 77
1800.05/1800.01 c rootsoldiving : 14.07 15 0
1800.05/1800.01 c guideddiving : 55.92 57 0
1800.05/1800.01 c fracdiving : 55.25 59 0
1800.05/1800.01 c linesearchdiving : 68.56 115 24
1800.05/1800.01 c veclendiving : 83.80 121 91
1800.05/1800.01 c coefdiving : 237.54 243 163
1800.05/1800.01 c pscostdiving : 194.90 290 272
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c shiftandpropagate: 0.00 0 0
1800.05/1800.01 c simplerounding : 1.44 87306 23
1800.05/1800.01 c zirounding : 0.40 1051 21
1800.05/1800.01 c rounding : 12.56 13822 1
1800.05/1800.01 c shifting : 3.59 4246 1
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.01 0 0
1800.05/1800.01 c trysol : 0.02 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 903.56 114280 8387092 73.39 9282.28
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 718.63 121798 6666994 54.74 9277.35
1800.05/1800.01 c strong branching : 101.54 3994 793915 198.78 7819.07
1800.05/1800.01 c (at root node) : - 30 26922 897.40 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 78142
1800.05/1800.01 c nodes (total) : 78142
1800.05/1800.01 c nodes left : 23969
1800.05/1800.01 c max depth : 113
1800.05/1800.01 c max depth (total): 113
1800.05/1800.01 c backtracks : 12817 (16.4%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 6.74
1800.05/1800.01 c switching time : 3.29
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 679 (24 improvements)
1800.05/1800.01 c First Solution : +4.75000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +1.93000000000000e+02 (in run 1, after 2239 nodes, 238.71 seconds, depth 90, found by <crossover>)
1800.05/1800.01 c Dual Bound : +1.69247053760335e+02
1800.05/1800.01 c Gap : 14.03 %
1800.05/1800.01 c Root Dual Bound : +1.67225537761668e+02
1800.05/1800.01 c Root Iterations : 22428
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-3450890-1307076986/watcher-3450890-1307076986 -o /tmp/evaluation-result-3450890-1307076986/solver-3450890-1307076986 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450890-1307076986.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.05 2.01 2/521 21424
/proc/meminfo: memFree=21476000/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=18312 CPUtime=0.01 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 3339 0 0 0 1 0 0 0 25 0 1 0 800114073 18751488 3291 33554432000 4194304 9163163 140736333373408 18446744073709551615 5191040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 4578 3291 496 1214 0 3360 0
[startup+0.084376 s]
/proc/loadavg: 2.01 2.05 2.01 2/521 21424
/proc/meminfo: memFree=21476000/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=22460 CPUtime=0.07 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 4785 0 0 0 7 0 0 0 25 0 1 0 800114073 22999040 4480 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 5615 4480 640 1214 0 4397 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22460
[startup+0.100372 s]
/proc/loadavg: 2.01 2.05 2.01 2/521 21424
/proc/meminfo: memFree=21476000/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=22460 CPUtime=0.09 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 4786 0 0 0 9 0 0 0 25 0 1 0 800114073 22999040 4481 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 5615 4481 640 1214 0 4397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22460
[startup+0.300335 s]
/proc/loadavg: 2.01 2.05 2.01 2/521 21424
/proc/meminfo: memFree=21476000/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=22708 CPUtime=0.29 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 4832 0 0 0 28 1 0 0 25 0 1 0 800114073 23252992 4526 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 5677 4526 640 1214 0 4459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22708
[startup+0.700273 s]
/proc/loadavg: 2.01 2.05 2.01 2/521 21424
/proc/meminfo: memFree=21476000/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=22856 CPUtime=0.69 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 4901 0 0 0 66 3 0 0 25 0 1 0 800114073 23404544 4595 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 5714 4595 640 1214 0 4496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22856
[startup+1.50012 s]
/proc/loadavg: 2.01 2.05 2.01 5/522 21425
/proc/meminfo: memFree=21458880/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=24316 CPUtime=1.49 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 8399 0 0 0 144 5 0 0 25 0 1 0 800114073 24899584 5088 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6079 5088 714 1214 0 4861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24316
[startup+3.10082 s]
/proc/loadavg: 2.01 2.05 2.01 5/522 21425
/proc/meminfo: memFree=21455656/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=26216 CPUtime=3.09 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 8802 0 0 0 301 8 0 0 25 0 1 0 800114073 26845184 5491 33554432000 4194304 9163163 140736333373408 18446744073709551615 6260567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6554 5491 715 1214 0 5336 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26216
[startup+6.30024 s]
/proc/loadavg: 2.01 2.05 2.01 4/522 21425
/proc/meminfo: memFree=21453452/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=26372 CPUtime=6.29 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 10465 0 0 0 614 15 0 0 25 0 1 0 800114073 27004928 5580 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6593 5580 720 1214 0 5375 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26372
[startup+12.7011 s]
/proc/loadavg: 2.01 2.04 2.01 4/522 21425
/proc/meminfo: memFree=21453068/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=26372 CPUtime=12.69 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 10466 0 0 0 1236 33 0 0 25 0 1 0 800114073 27004928 5581 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6593 5581 721 1214 0 5375 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26372
[startup+25.5007 s]
/proc/loadavg: 2.01 2.04 2.01 5/522 21426
/proc/meminfo: memFree=21450836/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=26516 CPUtime=25.49 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 10471 0 0 0 2476 73 0 0 25 0 1 0 800114073 27152384 5586 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6629 5586 722 1214 0 5411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26516
[startup+51.101 s]
/proc/loadavg: 2.00 2.04 2.00 4/522 21426
/proc/meminfo: memFree=21449888/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=27660 CPUtime=51.09 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 10760 0 0 0 4931 178 0 0 25 0 1 0 800114073 28323840 5867 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6915 5867 728 1214 0 5697 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27660
[startup+102.32 s]
/proc/loadavg: 2.00 2.03 2.00 5/522 21428
/proc/meminfo: memFree=21447128/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=27332 CPUtime=102.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 14062 0 0 0 9867 365 0 0 25 0 1 0 800114073 27987968 5808 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6833 5808 730 1214 0 5615 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 27332
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/522 21429
/proc/meminfo: memFree=21440288/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=27800 CPUtime=162.29 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 14165 0 0 0 15640 589 0 0 25 0 1 0 800114073 28467200 5911 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 6950 5911 730 1214 0 5732 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27800
[startup+222.301 s]
/proc/loadavg: 1.94 2.00 1.99 3/522 21459
/proc/meminfo: memFree=21638508/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=28624 CPUtime=222.29 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 14378 0 0 0 21426 803 0 0 25 0 1 0 800114073 29310976 6124 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 7156 6124 730 1214 0 5938 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 28624
[startup+282.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/522 21469
/proc/meminfo: memFree=21636476/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=29284 CPUtime=282.3 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 17696 0 0 0 27207 1023 0 0 25 0 1 0 800114073 29986816 6281 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 7321 6281 734 1214 0 6103 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 29284
[startup+342.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/522 21471
/proc/meminfo: memFree=21636240/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=30308 CPUtime=342.31 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 23034 0 0 0 32992 1239 0 0 25 0 1 0 800114073 31035392 6545 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 7577 6545 734 1214 0 6359 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 30308
[startup+402.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/522 21473
/proc/meminfo: memFree=21634592/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=30344 CPUtime=402.31 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 24674 0 0 0 38778 1453 0 0 25 0 1 0 800114073 31072256 6577 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 7586 6577 734 1214 0 6368 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 30344
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 21474
/proc/meminfo: memFree=21635300/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=30348 CPUtime=462.3 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 26271 0 0 0 44568 1662 0 0 25 0 1 0 800114073 31076352 6555 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 7587 6555 734 1214 0 6369 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 30348
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 21476
/proc/meminfo: memFree=21634272/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=32004 CPUtime=522.3 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 26680 0 0 0 50348 1882 0 0 25 0 1 0 800114073 32772096 6964 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 8001 6964 734 1214 0 6783 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32004
[startup+582.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/522 21477
/proc/meminfo: memFree=21632880/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=33076 CPUtime=582.31 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 26975 0 0 0 56129 2102 0 0 25 0 1 0 800114073 33869824 7259 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 8269 7259 734 1214 0 7051 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33076
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/522 21484
/proc/meminfo: memFree=21627168/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=37144 CPUtime=822.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 29631 0 0 0 79257 2975 0 0 25 0 1 0 800114073 38035456 8273 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 9286 8273 734 1214 0 8068 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 37144
[startup+882.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/522 21485
/proc/meminfo: memFree=21625768/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=37520 CPUtime=882.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 31410 0 0 0 85036 3196 0 0 25 0 1 0 800114073 38420480 8387 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 9380 8387 734 1214 0 8162 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 37520
[startup+942.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/522 21487
/proc/meminfo: memFree=21623632/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=38328 CPUtime=942.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 31615 0 0 0 90818 3414 0 0 25 0 1 0 800114073 39247872 8592 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 9582 8592 734 1214 0 8364 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 38328
[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 21489
/proc/meminfo: memFree=21621756/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=39448 CPUtime=1002.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 31891 0 0 0 96605 3627 0 0 25 0 1 0 800114073 40394752 8868 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 9862 8868 734 1214 0 8644 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 39448
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 21490
/proc/meminfo: memFree=21619988/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=40672 CPUtime=1062.33 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 32197 0 0 0 102381 3852 0 0 25 0 1 0 800114073 41648128 9174 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 10168 9174 734 1214 0 8950 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 40672
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 21492
/proc/meminfo: memFree=21619588/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=40892 CPUtime=1122.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 32267 0 0 0 108164 4068 0 0 25 0 1 0 800114073 41873408 9244 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 10223 9244 734 1214 0 9005 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 40892
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/522 21493
/proc/meminfo: memFree=21618180/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=41944 CPUtime=1182.32 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 32535 0 0 0 113949 4283 0 0 25 0 1 0 800114073 42950656 9512 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 10486 9512 734 1214 0 9268 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 41944
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/522 21495
/proc/meminfo: memFree=21616660/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=42664 CPUtime=1242.33 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 32743 0 0 0 119732 4501 0 0 25 0 1 0 800114073 43687936 9720 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 10666 9720 734 1214 0 9448 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 42664
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 21497
/proc/meminfo: memFree=21613660/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=43160 CPUtime=1302.34 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 32836 0 0 0 125510 4724 0 0 25 0 1 0 800114073 44195840 9813 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 10790 9813 734 1214 0 9572 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 43160
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 21498
/proc/meminfo: memFree=21612020/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=45512 CPUtime=1362.33 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 33439 0 0 0 131274 4959 0 0 25 0 1 0 800114073 46604288 10416 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 11378 10416 734 1214 0 10160 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 45512
[startup+1422.32 s]
/proc/loadavg: 2.08 2.05 2.01 3/522 21500
/proc/meminfo: memFree=21609268/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=46336 CPUtime=1422.35 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 35103 0 0 0 137058 5177 0 0 25 0 1 0 800114073 47448064 10607 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 11584 10607 734 1214 0 10366 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 46336
[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 21501
/proc/meminfo: memFree=21608352/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=46940 CPUtime=1482.33 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 35256 0 0 0 142838 5395 0 0 25 0 1 0 800114073 48066560 10760 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 11735 10760 734 1214 0 10517 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 46940
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 21503
/proc/meminfo: memFree=21607324/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=47168 CPUtime=1542.34 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 35320 0 0 0 148618 5616 0 0 25 0 1 0 800114073 48300032 10824 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 11792 10824 734 1214 0 10574 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 47168
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 21505
/proc/meminfo: memFree=21608296/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=47404 CPUtime=1602.35 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 35398 0 0 0 154386 5849 0 0 25 0 1 0 800114073 48541696 10902 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 11851 10902 734 1214 0 10633 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 47404
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 21506
/proc/meminfo: memFree=21605032/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=49284 CPUtime=1662.34 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 35875 0 0 0 160158 6076 0 0 25 0 1 0 800114073 50466816 11379 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 12321 11379 734 1214 0 11103 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 49284
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/522 21510
/proc/meminfo: memFree=21603140/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=49724 CPUtime=1722.34 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 35968 0 0 0 165940 6294 0 0 25 0 1 0 800114073 50917376 11472 33554432000 4194304 9163163 140736333373408 18446744073709551615 6687797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 12431 11472 734 1214 0 11213 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 49724
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 21512
/proc/meminfo: memFree=21600700/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=50688 CPUtime=1782.35 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 36220 0 0 0 171722 6513 0 0 25 0 1 0 800114073 51904512 11724 33554432000 4194304 9163163 140736333373408 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21424/statm: 12672 11724 734 1214 0 11454 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 50688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.05 2.01 3/522 21513
/proc/meminfo: memFree=21601932/32951124 swapFree=58800704/67111528
[pid=21424] ppid=21422 vsize=50688 CPUtime=1800.06 cores=1,3,5,7
/proc/21424/stat : 21424 (scip-2.0.1.4b.l) R 21422 21424 18505 0 -1 4202496 36223 0 0 0 173431 6575 0 0 25 0 1 0 800114073 51904512 11727 33554432000 4194304 9163163 140736333373408 18446744073709551615 4219121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21424/statm: 12672 11727 737 1214 0 11454 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 50688
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.08
CPU user time (s): 1734.32
CPU system time (s): 65.76
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 50688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1734.32
system time used= 65.76
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36223
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= 4
involuntary context switches= 20860
runsolver used 8.33973 second user time and 21.3398 second system time
The end