0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3733161-1338694386.opb>
0.29/0.33 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.29/0.33 c problem read
0.29/0.33 c presolving settings loaded
0.39/0.40 o 0
0.39/0.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.40 c presolving:
0.58/0.63 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59186 upgd conss, 118372 impls, 0 clqs
1.68/1.70 c (1.4s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.68/1.70 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.68/1.70 c presolving (2 rounds):
1.68/1.70 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.68/1.70 c 118372 implications, 0 cliques
1.68/1.70 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
1.68/1.70 c 59186 constraints of type <setppc>
1.68/1.70 c transformed objective value is always integral (scale: 1)
1.68/1.70 c Presolving Time: 1.31
1.68/1.70 c - non default parameters ----------------------------------------------------------------------
1.68/1.70 c # SCIP version 1.2.1.3
1.68/1.70 c
1.68/1.70 c # frequency for displaying node information lines
1.68/1.70 c # [type: int, range: [-1,2147483647], default: 100]
1.68/1.70 c display/freq = 10000
1.68/1.70 c
1.68/1.70 c # maximal time in seconds to run
1.68/1.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.68/1.70 c limits/time = 1789.68
1.68/1.70 c
1.68/1.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.68/1.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.68/1.70 c limits/memory = 13950
1.68/1.70 c
1.68/1.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.68/1.70 c # [type: int, range: [1,2], default: 1]
1.68/1.70 c timing/clocktype = 2
1.68/1.70 c
1.68/1.70 c # should presolving try to simplify inequalities
1.68/1.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.68/1.70 c constraints/linear/simplifyinequalities = TRUE
1.68/1.70 c
1.68/1.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.68/1.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.68/1.70 c constraints/indicator/addCouplingCons = TRUE
1.68/1.70 c
1.68/1.70 c # should presolving try to simplify knapsacks
1.68/1.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.68/1.70 c constraints/knapsack/simplifyinequalities = TRUE
1.68/1.70 c
1.68/1.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.68/1.70 c # [type: int, range: [-1,2147483647], default: -1]
1.68/1.70 c separating/rapidlearning/freq = 0
1.68/1.70 c
1.68/1.70 c -----------------------------------------------------------------------------------------------
1.68/1.70 c start solving
1.68/1.70 c
2.48/2.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.48/2.58 c t 2.2s| 1 | 0 | 946 | - | 65M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
2.59/2.62 o -1
2.59/2.62 c R 2.3s| 1 | 0 | 946 | - | 65M| 0 | 945 | 945 | 59k| 945 | 59k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
3.79/3.88 c 3.5s| 1 | 0 | 1157 | - | 65M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-1.000000e+00 | 99.78%
3.89/3.90 o -32
3.89/3.90 c b 3.6s| 1 | 0 | 1157 | - | 65M| 0 | 889 | 945 | 59k| 945 | 59k| 6 | 0 | 0 |-4.445000e+02 |-3.200000e+01 | 92.80%
5.49/5.57 c 5.2s| 1 | 0 | 1318 | - | 65M| 0 | 844 | 945 | 59k| 945 | 59k| 17 | 0 | 0 |-4.220000e+02 |-3.200000e+01 | 92.42%
8.08/8.14 c 7.8s| 1 | 0 | 1699 | - | 65M| 0 | 780 | 945 | 59k| 945 | 59k| 51 | 0 | 0 |-3.892500e+02 |-3.200000e+01 | 91.78%
10.89/10.93 c 10.6s| 1 | 0 | 1923 | - | 65M| 0 | 743 | 945 | 59k| 945 | 59k| 57 | 0 | 0 |-3.702500e+02 |-3.200000e+01 | 91.36%
14.20/14.26 c 13.9s| 1 | 0 | 2287 | - | 65M| 0 | 703 | 945 | 59k| 945 | 59k| 65 | 0 | 0 |-3.515000e+02 |-3.200000e+01 | 90.90%
17.39/17.41 c 17.1s| 1 | 0 | 2543 | - | 65M| 0 | 662 | 945 | 59k| 945 | 59k| 73 | 0 | 0 |-3.310000e+02 |-3.200000e+01 | 90.33%
20.79/20.89 c 20.6s| 1 | 0 | 2932 | - | 65M| 0 | 606 | 945 | 59k| 945 | 59k| 85 | 0 | 0 |-3.030000e+02 |-3.200000e+01 | 89.44%
23.99/24.04 c 23.7s| 1 | 0 | 3240 | - | 65M| 0 | 590 | 945 | 59k| 945 | 59k| 90 | 0 | 0 |-2.950000e+02 |-3.200000e+01 | 89.15%
27.28/27.39 c 27.1s| 1 | 0 | 3605 | - | 65M| 0 | 539 | 945 | 59k| 945 | 59k| 98 | 0 | 0 |-2.695000e+02 |-3.200000e+01 | 88.13%
30.58/30.70 c 30.4s| 1 | 0 | 3879 | - | 65M| 0 | 503 | 945 | 59k| 945 | 59k| 105 | 0 | 0 |-2.515000e+02 |-3.200000e+01 | 87.28%
31.98/32.05 c 31.7s| 1 | 0 | 4317 | - | 65M| 0 | 449 | 945 | 59k| 945 | 59k| 114 | 0 | 0 |-2.245000e+02 |-3.200000e+01 | 85.75%
33.18/33.22 c 32.9s| 1 | 0 | 4729 | - | 65M| 0 | 411 | 945 | 59k| 945 | 59k| 120 | 0 | 0 |-2.055000e+02 |-3.200000e+01 | 84.43%
34.29/34.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.29/34.37 c 34.0s| 1 | 0 | 5084 | - | 65M| 0 | 373 | 945 | 59k| 945 | 59k| 125 | 0 | 0 |-1.865000e+02 |-3.200000e+01 | 82.84%
35.58/35.66 c 35.3s| 1 | 0 | 5603 | - | 65M| 0 | 315 | 945 | 59k| 945 | 59k| 132 | 0 | 0 |-1.575000e+02 |-3.200000e+01 | 79.68%
36.68/36.72 c 36.4s| 1 | 0 | 6005 | - | 65M| 0 | 276 | 945 | 59k| 945 | 59k| 137 | 0 | 0 |-1.380000e+02 |-3.200000e+01 | 76.81%
37.58/37.61 c 37.3s| 1 | 0 | 6233 | - | 65M| 0 | 257 | 945 | 59k| 945 | 59k| 142 | 0 | 0 |-1.285000e+02 |-3.200000e+01 | 75.10%
39.08/39.12 c 38.8s| 1 | 0 | 6920 | - | 65M| 0 | 220 | 945 | 59k| 945 | 59k| 149 | 0 | 0 |-1.100000e+02 |-3.200000e+01 | 70.91%
40.38/40.45 c 40.1s| 1 | 0 | 7429 | - | 65M| 0 | 185 | 945 | 59k| 945 | 59k| 155 | 0 | 0 |-9.250000e+01 |-3.200000e+01 | 65.41%
41.27/41.36 c 41.0s| 1 | 0 | 7773 | - | 65M| 0 | 153 | 945 | 59k| 945 | 59k| 160 | 0 | 0 |-7.650000e+01 |-3.200000e+01 | 58.17%
42.28/42.40 c 42.1s| 1 | 0 | 8155 | - | 65M| 0 | 125 | 945 | 59k| 945 | 59k| 165 | 0 | 0 |-6.250000e+01 |-3.200000e+01 | 48.80%
42.89/42.95 c 42.6s| 1 | 0 | 8374 | - | 65M| 0 | 108 | 945 | 59k| 945 | 59k| 170 | 0 | 0 |-5.500000e+01 |-3.200000e+01 | 41.82%
43.38/43.49 c 43.2s| 1 | 0 | 8562 | - | 65M| 0 | 121 | 945 | 59k| 945 | 59k| 174 | 0 | 0 |-4.750000e+01 |-3.200000e+01 | 32.63%
43.78/43.89 c 43.6s| 1 | 0 | 8658 | - | 65M| 0 | 130 | 945 | 59k| 945 | 59k| 181 | 0 | 0 |-4.700000e+01 |-3.200000e+01 | 31.91%
44.28/44.35 c 44.0s| 1 | 0 | 8789 | - | 66M| 0 | 138 | 945 | 59k| 945 | 59k| 191 | 0 | 0 |-4.675000e+01 |-3.200000e+01 | 31.55%
44.78/44.82 c 44.5s| 1 | 0 | 8942 | - | 66M| 0 | 129 | 945 | 59k| 945 | 59k| 199 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
45.28/45.34 c 45.0s| 1 | 0 | 9107 | - | 66M| 0 | 129 | 945 | 59k| 945 | 59k| 209 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
45.88/45.95 c 45.6s| 1 | 0 | 9307 | - | 66M| 0 | 122 | 945 | 59k| 945 | 59k| 223 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
46.67/46.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.67/46.70 c 46.4s| 1 | 0 | 9590 | - | 66M| 0 | 140 | 945 | 59k| 945 | 59k| 233 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
54.28/54.39 c 54.1s| 1 | 0 | 9891 | - | 66M| 0 | 132 | 945 | 59k| 945 | 59k| 241 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
54.88/54.90 c 54.6s| 1 | 0 | 10051 | - | 66M| 0 | 156 | 945 | 59k| 945 | 59k| 251 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
72.38/72.44 c 72.1s| 1 | 2 | 10051 | - | 66M| 0 | 156 | 945 | 59k| 945 | 59k| 251 | 0 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
153.96/154.09 o -33
153.96/154.09 c * 154s| 16 | 13 | 11229 | 78.5 | 67M| 15 | - | 945 | 59k| 945 | 59k| 251 | 0 | 442 |-4.500000e+01 |-3.300000e+01 | 26.67%
235.53/235.60 o -34
235.53/235.60 c p 235s| 40 | 36 | 13639 | 92.0 | 69M| 16 | - | 945 | 59k| 945 | 59k| 251 | 0 | 848 |-4.500000e+01 |-3.400000e+01 | 24.44%
305.32/305.49 o -35
305.32/305.49 c l 305s| 101 | 97 | 20198 | 101.5 | 72M| 18 | - | 945 | 59k| 945 | 59k| 251 | 0 |1109 |-4.500000e+01 |-3.500000e+01 | 22.22%
318.02/318.16 o -36
318.02/318.16 c p 318s| 162 | 147 | 25291 | 94.7 | 73M| 23 | - | 945 | 59k| 945 | 59k| 251 | 0 |1127 |-4.500000e+01 |-3.600000e+01 | 20.00%
331.92/332.08 o -38
331.92/332.08 c l 332s| 245 | 195 | 30113 | 82.2 | 75M| 26 | - | 945 | 59k| 945 | 59k| 251 | 0 |1148 |-4.500000e+01 |-3.800000e+01 | 15.56%
727.56/727.78 o -39
727.56/727.78 c l 727s| 2291 | 1733 |171511 | 70.5 | 114M| 39 | - | 945 | 59k| 945 | 59k| 251 | 0 |1742 |-4.500000e+01 |-3.900000e+01 | 13.33%
1273.27/1273.56 o -40
1273.27/1273.56 c p1273s| 3673 | 2986 |399380 | 106.0 | 149M| 39 | - | 945 | 59k| 945 | 59k| 251 | 0 |2136 |-4.500000e+01 |-4.000000e+01 | 11.11%
1789.69/1790.01 c
1789.69/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.01 c Solving Time (sec) : 1789.68
1789.69/1790.01 c Solving Nodes : 5523
1789.69/1790.01 c Primal Bound : -4.00000000000000e+01 (666 solutions)
1789.69/1790.01 c Dual Bound : -4.50000000000000e+01
1789.69/1790.01 c Gap : 11.11 %
1789.69/1790.03 s SATISFIABLE
1789.69/1790.03 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1789.69/1790.03 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53
1789.69/1790.03 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78
1789.69/1790.03 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1789.69/1790.03 v -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1789.69/1790.03 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1789.69/1790.03 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1789.69/1790.03 v x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187
1789.69/1790.03 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1789.69/1790.03 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1789.69/1790.03 v -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1789.69/1790.03 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1789.69/1790.03 v -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1789.69/1790.03 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1789.69/1790.03 v -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1789.69/1790.03 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1789.69/1790.03 v -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1789.69/1790.03 v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1789.69/1790.03 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417
1789.69/1790.03 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1789.69/1790.03 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1789.69/1790.03 v x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1789.69/1790.03 v -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1789.69/1790.03 v -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1789.69/1790.03 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543
1789.69/1790.03 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564
1789.69/1790.03 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585
1789.69/1790.03 v -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1789.69/1790.03 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1789.69/1790.03 v -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1789.69/1790.03 v -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1789.69/1790.03 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1789.69/1790.03 v -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
1789.69/1790.03 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732
1789.69/1790.03 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1789.69/1790.03 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
1789.69/1790.03 v x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1789.69/1790.03 v x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
1789.69/1790.03 v x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1789.69/1790.03 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
1789.69/1790.03 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879
1789.69/1790.03 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900
1789.69/1790.03 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921
1789.69/1790.03 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1789.69/1790.03 v -x943 -x944 -x945
1789.69/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.03 c Solving Time : 1789.68
1789.69/1790.03 c Original Problem :
1789.69/1790.03 c Problem name : HOME/instance-3733161-1338694386.opb
1789.69/1790.03 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.03 c Constraints : 59186 initial, 59186 maximal
1789.69/1790.03 c Presolved Problem :
1789.69/1790.03 c Problem name : t_HOME/instance-3733161-1338694386.opb
1789.69/1790.03 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.03 c Constraints : 59186 initial, 59186 maximal
1789.69/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.69/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.03 c probing : 1.03 0 0 0 0 0 0 0 0
1789.69/1790.03 c setppc : 0.04 0 0 0 0 0 0 0 0
1789.69/1790.03 c root node : - 0 - - 0 - - - -
1789.69/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.69/1790.03 c integral : 0 0 0 5183 0 2 65 0 0 10306
1789.69/1790.03 c setppc : 59186 30 29444 1 2 0 154444 0 0 0
1789.69/1790.03 c countsols : 0 0 0 1 2 0 0 0 0 0
1789.69/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.69/1790.03 c integral : 429.40 0.00 0.00 429.40 0.00
1789.69/1790.03 c setppc : 8.57 0.14 8.43 0.00 0.00
1789.69/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.69/1790.03 c vbounds : 0.01 2 0 0
1789.69/1790.03 c rootredcost : 0.01 7 0 0
1789.69/1790.03 c pseudoobj : 0.81 29270 0 0
1789.69/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.69/1790.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.03 c applied globally : - - - 0 0.0 - - -
1789.69/1790.03 c applied locally : - - - 0 0.0 - - -
1789.69/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.69/1790.03 c cut pool : 0.00 29 - - 63 - (maximal pool size: 477)
1789.69/1790.03 c redcost : 0.20 5217 0 7 0 0
1789.69/1790.03 c impliedbounds : 0.03 30 0 0 0 0
1789.69/1790.03 c intobj : 0.00 0 0 0 0 0
1789.69/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.69/1790.03 c gomory : 13.01 30 0 0 14866 0
1789.69/1790.03 c strongcg : 4.03 20 0 0 10000 0
1789.69/1790.03 c cmir : 7.15 10 0 0 0 0
1789.69/1790.03 c flowcover : 9.85 10 0 0 0 0
1789.69/1790.03 c clique : 0.50 30 0 0 278 0
1789.69/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.69/1790.03 c mcf : 0.03 1 0 0 0 0
1789.69/1790.03 c rapidlearning : 0.00 0 0 0 0 0
1789.69/1790.03 c Pricers : Time Calls Vars
1789.69/1790.03 c problem variables: 0.00 0 0
1789.69/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.69/1790.03 c relpscost : 429.39 5182 2 65 0 0 10306
1789.69/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.69/1790.03 c inference : 0.00 2 0 0 0 0 4
1789.69/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.69/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.69/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.03 c random : 0.00 0 0 0 0 0 0
1789.69/1790.03 c Primal Heuristics : Time Calls Found
1789.69/1790.03 c LP solutions : 0.00 - 1
1789.69/1790.03 c pseudo solutions : 0.00 - 0
1789.69/1790.03 c oneopt : 0.07 9 1
1789.69/1790.03 c veclendiving : 140.20 88 12
1789.69/1790.03 c objpscostdiving : 75.49 88 165
1789.69/1790.03 c linesearchdiving : 100.38 178 27
1789.69/1790.03 c rootsoldiving : 48.56 90 81
1789.69/1790.03 c trivial : 0.02 2 3
1789.69/1790.03 c simplerounding : 0.26 5212 82
1789.69/1790.03 c zirounding : 18.49 5154 230
1789.69/1790.03 c rounding : 10.06 2941 1
1789.69/1790.03 c shifting : 1.58 375 1
1789.69/1790.03 c intshifting : 0.00 0 0
1789.69/1790.03 c twoopt : 0.00 0 0
1789.69/1790.03 c fixandinfer : 0.00 0 0
1789.69/1790.03 c feaspump : 0.00 0 0
1789.69/1790.03 c coefdiving : 60.54 68 19
1789.69/1790.03 c pscostdiving : 110.44 176 28
1789.69/1790.03 c fracdiving : 58.10 49 7
1789.69/1790.03 c intdiving : 0.00 0 0
1789.69/1790.03 c actconsdiving : 0.00 0 0
1789.69/1790.03 c guideddiving : 55.44 50 7
1789.69/1790.03 c octane : 0.00 0 0
1789.69/1790.03 c rens : 0.80 1 1
1789.69/1790.03 c rins : 0.00 0 0
1789.69/1790.03 c localbranching : 0.00 0 0
1789.69/1790.03 c mutation : 0.00 0 0
1789.69/1790.03 c crossover : 1.15 5 0
1789.69/1790.03 c dins : 0.00 0 0
1789.69/1790.03 c undercover : 0.00 0 0
1789.69/1790.03 c nlp : 0.00 0 0
1789.69/1790.03 c trysol : 0.00 0 0
1789.69/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.69/1790.03 c primal LP : 0.06 0 0 0.00 0.00
1789.69/1790.03 c dual LP : 589.01 5578 354978 63.64 602.67
1789.69/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.69/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.69/1790.03 c diving/probing LP: 568.32 16438 272175 16.56 478.91
1789.69/1790.03 c strong branching : 429.17 2597 222898 85.83 519.37
1789.69/1790.03 c (at root node) : - 33 8902 269.76 -
1789.69/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.69/1790.03 c B&B Tree :
1789.69/1790.03 c number of runs : 1
1789.69/1790.03 c nodes : 5523
1789.69/1790.03 c nodes (total) : 5523
1789.69/1790.03 c nodes left : 4534
1789.69/1790.03 c max depth : 39
1789.69/1790.03 c max depth (total): 39
1789.69/1790.03 c backtracks : 968 (17.5%)
1789.69/1790.03 c delayed cutoffs : 0
1789.69/1790.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.69/1790.03 c avg switch length: 6.10
1789.69/1790.03 c switching time : 12.76
1789.69/1790.03 c Solution :
1789.69/1790.03 c Solutions found : 666 (10 improvements)
1789.69/1790.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1789.69/1790.03 c Primal Bound : -4.00000000000000e+01 (in run 1, after 3673 nodes, 1273.23 seconds, depth 26, found by <pscostdiving>)
1789.69/1790.03 c Dual Bound : -4.50000000000000e+01
1789.69/1790.03 c Gap : 11.11 %
1789.69/1790.03 c Root Dual Bound : -4.50000000000000e+01
1789.69/1790.03 c Root Iterations : 10051
1789.88/1790.24 c Time complete: 1789.94.
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-3733161-1338694386/watcher-3733161-1338694386 -o /tmp/evaluation-result-3733161-1338694386/solver-3733161-1338694386 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733161-1338694386.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.03 2.01 2.00 3/176 23822
/proc/meminfo: memFree=28101092/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 1445 0 0 0 0 0 0 0 20 0 1 0 335563060 9158656 1392 33554432000 4194304 8395647 140733203656128 140733203588184 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 2236 1403 374 1026 0 1206 0
[startup+0.0849321 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23822
/proc/meminfo: memFree=28101092/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=16808 CPUtime=0.07 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 3472 0 0 0 7 0 0 0 20 0 1 0 335563060 17211392 3419 33554432000 4194304 8395647 140733203656128 140733203521336 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 4202 3419 393 1026 0 3172 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16808
[startup+0.100288 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23822
/proc/meminfo: memFree=28101092/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=18096 CPUtime=0.09 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 3766 0 0 0 9 0 0 0 20 0 1 0 335563060 18530304 3713 33554432000 4194304 8395647 140733203656128 140733203521336 7382016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 4524 3713 393 1026 0 3494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18096
[startup+0.300208 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23822
/proc/meminfo: memFree=28101092/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=29844 CPUtime=0.29 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 6730 0 0 0 29 0 0 0 20 0 1 0 335563060 30560256 6677 33554432000 4194304 8395647 140733203656128 140733203521336 7382041 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 7461 6677 393 1026 0 6431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29844
[startup+0.700289 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 23822
/proc/meminfo: memFree=28101092/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=105204 CPUtime=0.68 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 25169 0 0 0 66 2 0 0 20 0 1 0 335563060 107728896 25201 33554432000 4194304 8395647 140733203656128 140733203521336 4223686 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 26301 25201 491 1026 0 25271 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105204
[startup+1.50031 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23823
/proc/meminfo: memFree=28002716/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=105204 CPUtime=1.48 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 25169 0 0 0 146 2 0 0 20 0 1 0 335563060 107728896 25201 33554432000 4194304 8395647 140733203656128 140733203653224 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 26301 25201 491 1026 0 25271 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105204
[startup+3.10022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23823
/proc/meminfo: memFree=27962724/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=169252 CPUtime=3.09 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 37848 0 0 0 304 5 0 0 20 0 1 0 335563060 173314048 39352 33554432000 4194304 8395647 140733203656128 140733203651368 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 42313 39352 572 1026 0 41283 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 169252
[startup+6.3002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23823
/proc/meminfo: memFree=27936924/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=177764 CPUtime=6.29 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 40280 0 0 0 624 5 0 0 20 0 1 0 335563060 182030336 41669 33554432000 4194304 8395647 140733203656128 140733203651416 5827855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 44441 41669 596 1026 0 43411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 177764
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23823
/proc/meminfo: memFree=27935720/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=179156 CPUtime=12.68 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 40518 0 0 0 1263 5 0 0 20 0 1 0 335563060 183455744 41907 33554432000 4194304 8395647 140733203656128 140733203651416 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 44789 41907 597 1026 0 43759 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 179156
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23823
/proc/meminfo: memFree=27931420/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=181236 CPUtime=25.48 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 41305 0 0 0 2541 7 0 0 20 0 1 0 335563060 185585664 42694 33554432000 4194304 8395647 140733203656128 140733203651416 5849682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 45309 42694 597 1026 0 44279 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 181236
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23823
/proc/meminfo: memFree=27929280/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=181236 CPUtime=51.07 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 41688 0 0 0 5095 12 0 0 20 0 1 0 335563060 185585664 43336 33554432000 4194304 8395647 140733203656128 140733203651368 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 45309 43336 597 1026 0 44279 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181236
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23824
/proc/meminfo: memFree=27924928/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=181908 CPUtime=102.27 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 52992 0 0 0 10197 30 0 0 20 0 1 0 335563060 186273792 44267 33554432000 4194304 8395647 140733203656128 140733203651000 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 45477 44267 626 1026 0 44447 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 181908
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23824
/proc/meminfo: memFree=27923904/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=181908 CPUtime=162.25 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 52997 0 0 0 16187 38 0 0 20 0 1 0 335563060 186273792 44660 33554432000 4194304 8395647 140733203656128 140733203651432 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 45477 44660 627 1026 0 44447 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 181908
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23824
/proc/meminfo: memFree=27923904/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=181908 CPUtime=222.23 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 52997 0 0 0 22175 48 0 0 20 0 1 0 335563060 186273792 44660 33554432000 4194304 8395647 140733203656128 140733203650680 6645735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 45477 44660 627 1026 0 44447 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 181908
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23824
/proc/meminfo: memFree=27923776/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=181908 CPUtime=282.23 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 52997 0 0 0 28164 59 0 0 20 0 1 0 335563060 186273792 44660 33554432000 4194304 8395647 140733203656128 140733203651000 6697139 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 45477 44660 627 1026 0 44447 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 181908
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23824
/proc/meminfo: memFree=27922792/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=185612 CPUtime=342.22 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 53399 0 0 0 34153 69 0 0 20 0 1 0 335563060 190066688 45045 33554432000 4194304 8395647 140733203656128 140733203651592 6108086 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 46403 45045 627 1026 0 45373 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 185612
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23825
/proc/meminfo: memFree=27915600/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=194084 CPUtime=402.21 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 67610 0 0 0 40139 82 0 0 20 0 1 0 335563060 198742016 46943 33554432000 4194304 8395647 140733203656128 140733203651000 6723324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 48521 46943 629 1026 0 47491 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 194084
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 23828
/proc/meminfo: memFree=27907160/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=202880 CPUtime=462.19 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 83545 0 0 0 46122 97 0 0 20 0 1 0 335563060 207749120 49045 33554432000 4194304 8395647 140733203656128 140733203651000 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 50720 49045 629 1026 0 49690 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 202880
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23828
/proc/meminfo: memFree=27901384/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=208960 CPUtime=522.19 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 85116 0 0 0 52112 107 0 0 20 0 1 0 335563060 213975040 50615 33554432000 4194304 8395647 140733203656128 140733203651592 6120252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 52240 50615 629 1026 0 51210 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 208960
[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 23828
/proc/meminfo: memFree=27893944/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=215320 CPUtime=582.18 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 87034 0 0 0 58104 114 0 0 20 0 1 0 335563060 220487680 52529 33554432000 4194304 8395647 140733203656128 140733203651816 6584721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 53830 52529 629 1026 0 52800 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 215320
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27830472/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=255244 CPUtime=1062.1 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 114098 0 0 0 106022 188 0 0 20 0 1 0 335563060 261369856 62372 33554432000 4194304 8395647 140733203656128 140733203651848 6574905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 63811 62372 629 1026 0 62781 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 255244
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23833
/proc/meminfo: memFree=27829488/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=259408 CPUtime=1122.09 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 116659 0 0 0 112012 197 0 0 20 0 1 0 335563060 265633792 62611 33554432000 4194304 8395647 140733203656128 140733203651800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 64852 62611 629 1026 0 63822 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 259408
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23833
/proc/meminfo: memFree=27818576/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=268384 CPUtime=1182.08 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 119425 0 0 0 118000 208 0 0 20 0 1 0 335563060 274825216 65337 33554432000 4194304 8395647 140733203656128 140733203650936 6698292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 67096 65337 629 1026 0 66066 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 268384
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23833
/proc/meminfo: memFree=27813644/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=269224 CPUtime=1242.07 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 133127 0 0 0 123987 220 0 0 20 0 1 0 335563060 275685376 66542 33554432000 4194304 8395647 140733203656128 140733203651000 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 67306 66542 629 1026 0 66276 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 269224
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23834
/proc/meminfo: memFree=27811876/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=272532 CPUtime=1302.07 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 133471 0 0 0 129979 228 0 0 20 0 1 0 335563060 279072768 66886 33554432000 4194304 8395647 140733203656128 140733203651256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 68133 66886 629 1026 0 67103 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 272532
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23834
/proc/meminfo: memFree=27807040/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=279192 CPUtime=1362.06 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 134682 0 0 0 135970 236 0 0 20 0 1 0 335563060 285892608 68097 33554432000 4194304 8395647 140733203656128 140733203651672 6644459 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 69798 68097 629 1026 0 68768 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 279192
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23834
/proc/meminfo: memFree=27803816/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=281692 CPUtime=1422.05 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 135459 0 0 0 141961 244 0 0 20 0 1 0 335563060 288452608 68874 33554432000 4194304 8395647 140733203656128 140733203651272 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 70423 68874 629 1026 0 69393 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 281692
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23834
/proc/meminfo: memFree=27799352/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=286064 CPUtime=1482.03 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 136600 0 0 0 147953 250 0 0 20 0 1 0 335563060 292929536 70014 33554432000 4194304 8395647 140733203656128 140733203651256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 71516 70014 629 1026 0 70486 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 286064
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23872
/proc/meminfo: memFree=28078196/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=291116 CPUtime=1542.03 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 137804 0 0 0 153944 259 0 0 20 0 1 0 335563060 298102784 71217 33554432000 4194304 8395647 140733203656128 140733203651336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 72779 71217 629 1026 0 71749 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 291116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23872
/proc/meminfo: memFree=28071880/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=297004 CPUtime=1602.02 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 153125 0 0 0 159931 271 0 0 20 0 1 0 335563060 304132096 72788 33554432000 4194304 8395647 140733203656128 140733203651704 6653192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 74251 72788 629 1026 0 73221 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 297004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23876
/proc/meminfo: memFree=28062172/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=303836 CPUtime=1662 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 154354 0 0 0 165920 280 0 0 20 0 1 0 335563060 311128064 74519 33554432000 4194304 8395647 140733203656128 140733203651704 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 75959 74519 629 1026 0 74929 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 303836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23899
/proc/meminfo: memFree=28058400/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=305732 CPUtime=1722 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 154791 0 0 0 171911 289 0 0 20 0 1 0 335563060 313069568 74956 33554432000 4194304 8395647 140733203656128 140733203651368 6652352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 76433 74956 629 1026 0 75403 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 305732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28049036/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1781.99 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155680 0 0 0 177901 298 0 0 20 0 1 0 335563060 317005824 75845 33554432000 4194304 8395647 140733203656128 140733203650680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75845 629 1026 0 76364 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 309576
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28048912/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1785.19 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155691 0 0 0 178220 299 0 0 20 0 1 0 335563060 317005824 75856 33554432000 4194304 8395647 140733203656128 140733203651240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75856 629 1026 0 76364 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 309576
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28049284/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1788.39 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155694 0 0 0 178540 299 0 0 20 0 1 0 335563060 317005824 75859 33554432000 4194304 8395647 140733203656128 140733203651304 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75859 629 1026 0 76364 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 309576
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28049284/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1789.19 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155710 0 0 0 178620 299 0 0 20 0 1 0 335563060 317005824 75875 33554432000 4194304 8395647 140733203656128 140733203651592 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75875 629 1026 0 76364 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 309576
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28049160/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1789.59 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155711 0 0 0 178660 299 0 0 20 0 1 0 335563060 317005824 75876 33554432000 4194304 8395647 140733203656128 140733203651592 6698246 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75876 629 1026 0 76364 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (KiB) 309576
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28049160/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1789.78 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155712 0 0 0 178679 299 0 0 20 0 1 0 335563060 317005824 75877 33554432000 4194304 8395647 140733203656128 140733203651960 4220161 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75877 630 1026 0 76364 0
Current children cumulated CPU time (s) 1789.78
Current children cumulated vsize (KiB) 309576
[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23899
/proc/meminfo: memFree=28049160/32873648 swapFree=7388/7388
[pid=23822] ppid=23820 vsize=309576 CPUtime=1789.88 cores=1,3,5,7
/proc/23822/stat : 23822 (pbscip.linux.x8) R 23820 23822 21664 0 -1 4202496 155712 0 0 0 178689 299 0 0 20 0 1 0 335563060 317005824 75877 33554432000 4194304 8395647 140733203656128 140733203651960 4497880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23822/statm: 77394 75877 630 1026 0 76364 0
Current children cumulated CPU time (s) 1789.88
Current children cumulated vsize (KiB) 309576
Child status: 0
Real time (s): 1790.25
CPU time (s): 1789.95
CPU user time (s): 1786.94
CPU system time (s): 3.00654
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 339804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.94
system time used= 3.00654
maximum resident set size= 336408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155715
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= 40
involuntary context switches= 1840
runsolver used 2.6316 second user time and 7.43187 second system time
The end