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-3731478-1338685919.opb>
0.00/0.01 c original problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 466 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 467
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.670000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 466 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 92 chg sides, 289 chg coeffs, 466 upgd conss, 156 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 34 del conss, 0 chg bounds, 204 chg sides, 453 chg coeffs, 466 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 46 del conss, 0 chg bounds, 222 chg sides, 484 chg coeffs, 466 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 47 del conss, 0 chg bounds, 226 chg sides, 489 chg coeffs, 466 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 47 del conss, 0 chg bounds, 235 chg sides, 511 chg coeffs, 466 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/467 (21.6%) - 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 (8 rounds):
0.00/0.03 c 0 deleted vars, 47 deleted constraints, 0 tightened bounds, 0 added holes, 235 changed sides, 511 changed coefficients
0.00/0.03 c 156 implications, 0 cliques
0.00/0.03 c presolved problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 510 constraints
0.00/0.03 c 444 constraints of type <knapsack>
0.00/0.03 c 62 constraints of type <setppc>
0.00/0.03 c 4 constraints of type <logicor>
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 1.2.1.3
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 = 1790
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 # 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.28/0.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.34 c t 0.3s| 1 | 0 | 2008 | - |2515k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 4.670000e+02 | 227.88%
0.28/0.34 o 321
0.28/0.34 c r 0.3s| 1 | 0 | 2008 | - |2529k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 3.210000e+02 | 125.37%
0.28/0.34 o 320
0.28/0.34 c R 0.3s| 1 | 0 | 2008 | - |2542k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 3.200000e+02 | 124.67%
0.28/0.35 o 319
0.28/0.35 c s 0.3s| 1 | 0 | 2008 | - |2555k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 3.190000e+02 | 123.97%
0.59/0.61 o 217
0.59/0.61 c y 0.6s| 1 | 0 | 2008 | - |2904k| 0 | 307 | 467 | 510 | 467 | 510 | 0 | 0 | 0 | 1.424321e+02 | 2.170000e+02 | 52.35%
0.89/0.94 c 0.9s| 1 | 0 | 2993 | - |2848k| 0 | 365 | 467 | 510 | 467 | 738 | 228 | 0 | 0 | 1.480230e+02 | 2.170000e+02 | 46.60%
1.49/1.51 c 1.5s| 1 | 0 | 3904 | - |3094k| 0 | 406 | 467 | 510 | 467 | 932 | 422 | 0 | 0 | 1.518248e+02 | 2.170000e+02 | 42.93%
2.09/2.12 c 2.1s| 1 | 0 | 4864 | - |3281k| 0 | 414 | 467 | 510 | 467 |1084 | 574 | 0 | 0 | 1.542550e+02 | 2.170000e+02 | 40.68%
2.69/2.73 c 2.7s| 1 | 0 | 5649 | - |3411k| 0 | 427 | 467 | 510 | 467 |1185 | 675 | 0 | 0 | 1.551768e+02 | 2.170000e+02 | 39.84%
3.29/3.33 c 3.3s| 1 | 0 | 6239 | - |3474k| 0 | 425 | 467 | 510 | 467 |1257 | 747 | 0 | 0 | 1.555985e+02 | 2.170000e+02 | 39.46%
3.79/3.89 c 3.9s| 1 | 0 | 6667 | - |3539k| 0 | 428 | 467 | 510 | 467 |1316 | 806 | 0 | 0 | 1.558178e+02 | 2.170000e+02 | 39.27%
4.29/4.40 c 4.4s| 1 | 0 | 6973 | - |3562k| 0 | 430 | 467 | 510 | 467 |1338 | 828 | 0 | 0 | 1.559706e+02 | 2.170000e+02 | 39.13%
4.79/4.87 c 4.9s| 1 | 0 | 7110 | - |3577k| 0 | 427 | 467 | 510 | 467 |1352 | 842 | 0 | 0 | 1.559968e+02 | 2.170000e+02 | 39.11%
5.19/5.24 c 5.2s| 1 | 0 | 7145 | - |3585k| 0 | 428 | 467 | 510 | 467 |1354 | 844 | 0 | 0 | 1.559988e+02 | 2.170000e+02 | 39.10%
5.59/5.60 c 5.6s| 1 | 0 | 7190 | - |3593k| 0 | 428 | 467 | 510 | 467 |1357 | 847 | 0 | 0 | 1.559996e+02 | 2.170000e+02 | 39.10%
10.69/10.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.69/10.75 c 10.7s| 1 | 2 | 7190 | - |3614k| 0 | 428 | 467 | 510 | 467 |1357 | 847 | 0 | 20 | 1.559996e+02 | 2.170000e+02 | 39.10%
41.88/41.99 o 217
41.88/41.99 c c42.0s| 15 | 16 | 20791 | 971.5 |4371k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.170000e+02 | 38.82%
41.88/41.99 o 216
41.88/41.99 c c42.0s| 15 | 16 | 20821 | 973.6 |4373k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.160000e+02 | 38.18%
41.88/41.99 o 215
41.88/41.99 c c42.0s| 15 | 16 | 20826 | 974.0 |4375k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.150000e+02 | 37.54%
41.98/42.00 o 215
41.98/42.00 c c42.0s| 15 | 16 | 20873 | 977.4 |4378k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.150000e+02 | 37.54%
41.98/42.00 o 214
41.98/42.00 c c42.0s| 15 | 16 | 20885 | 978.2 |4380k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.140000e+02 | 36.90%
41.98/42.01 o 213
41.98/42.01 c c42.0s| 15 | 16 | 20992 | 985.9 |4392k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.130000e+02 | 36.26%
41.98/42.01 o 210
41.98/42.01 c c42.0s| 15 | 16 | 21016 | 987.6 |4396k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.100000e+02 | 34.35%
41.98/42.02 o 208
41.98/42.02 c b42.0s| 16 | 15 | 21039 | 923.3 |4282k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 274 | 1.563135e+02 | 2.080000e+02 | 33.07%
46.19/46.27 o 208
46.19/46.27 c p46.3s| 27 | 28 | 32676 | 980.2 |4472k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.080000e+02 | 33.01%
46.19/46.28 o 207
46.19/46.28 c p46.3s| 27 | 28 | 32678 | 980.3 |4474k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.070000e+02 | 32.37%
46.19/46.28 o 204
46.19/46.28 c p46.3s| 27 | 28 | 32681 | 980.4 |4475k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.040000e+02 | 30.45%
46.19/46.28 o 203
46.19/46.28 c p46.3s| 27 | 28 | 32689 | 980.7 |4476k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.030000e+02 | 29.81%
46.19/46.28 o 202
46.19/46.28 c p46.3s| 27 | 28 | 32699 | 981.1 |4479k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.020000e+02 | 29.17%
46.19/46.28 o 201
46.19/46.28 c p46.3s| 27 | 28 | 32700 | 981.2 |4480k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.010000e+02 | 28.54%
46.19/46.28 o 200
46.19/46.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.19/46.28 c p46.3s| 27 | 28 | 32728 | 982.2 |4488k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 2.000000e+02 | 27.90%
46.19/46.28 o 199
46.19/46.28 c p46.3s| 27 | 28 | 32732 | 982.4 |4489k| 14 | - | 467 | 510 | 467 | 956 | 847 | 0 | 288 | 1.563775e+02 | 1.990000e+02 | 27.26%
70.28/70.39 o 198
70.28/70.39 c p70.4s| 124 | 125 |137470 |1059.2 |4629k| 21 | - | 467 | 513 | 467 | 956 | 847 | 3 | 300 | 1.563775e+02 | 1.980000e+02 | 26.62%
70.28/70.39 o 197
70.28/70.39 c p70.4s| 124 | 125 |137472 |1059.2 |4630k| 21 | - | 467 | 513 | 467 | 956 | 847 | 3 | 300 | 1.563775e+02 | 1.970000e+02 | 25.98%
70.28/70.39 o 196
70.28/70.39 c p70.4s| 124 | 125 |137506 |1059.5 |4635k| 21 | - | 467 | 513 | 467 | 956 | 847 | 3 | 300 | 1.563775e+02 | 1.960000e+02 | 25.34%
70.28/70.39 o 195
70.28/70.39 c p70.4s| 124 | 125 |137507 |1059.5 |4635k| 21 | - | 467 | 513 | 467 | 956 | 847 | 3 | 300 | 1.563775e+02 | 1.950000e+02 | 24.70%
70.28/70.40 o 194
70.28/70.40 c p70.4s| 124 | 125 |137528 |1059.7 |4637k| 21 | - | 467 | 513 | 467 | 956 | 847 | 3 | 300 | 1.563775e+02 | 1.940000e+02 | 24.06%
70.28/70.40 o 193
70.28/70.40 c p70.4s| 124 | 125 |137531 |1059.7 |4638k| 21 | - | 467 | 513 | 467 | 956 | 847 | 3 | 300 | 1.563775e+02 | 1.930000e+02 | 23.42%
107.07/107.15 o 193
107.07/107.15 c p 107s| 332 | 333 |294491 | 868.0 |4793k| 27 | - | 467 | 524 | 467 | 956 | 847 | 14 | 381 | 1.564223e+02 | 1.930000e+02 | 23.38%
107.07/107.15 o 192
107.07/107.15 c p 107s| 332 | 333 |294495 | 868.0 |4794k| 27 | - | 467 | 524 | 467 | 956 | 847 | 14 | 381 | 1.564223e+02 | 1.920000e+02 | 22.74%
158.27/158.38 o 191
158.27/158.38 c p 158s| 460 | 461 |529465 |1137.9 |4874k| 27 | - | 467 | 536 | 467 | 956 | 847 | 26 | 444 | 1.565626e+02 | 1.910000e+02 | 22.00%
187.55/187.60 o 190
187.55/187.60 c p 188s| 529 | 530 |668130 |1251.8 |4917k| 27 | - | 467 | 536 | 467 | 956 | 847 | 26 | 480 | 1.565964e+02 | 1.900000e+02 | 21.33%
279.94/280.01 o 188
279.94/280.01 c C 280s| 850 | 851 | 1133k|1326.7 |4951k| 30 | 326 | 467 | 542 | 467 | 956 | 847 | 32 | 542 | 1.567349e+02 | 1.880000e+02 | 19.95%
581.09/581.28 o 187
581.09/581.28 c C 581s| 5414 | 3277 | 2552k| 470.1 |6677k| 133 | - | 467 | 587 | 467 | 956 | 847 | 77 |1046 | 1.570154e+02 | 1.870000e+02 | 19.10%
794.26/794.44 c 794s| 10000 | 4665 | 3597k| 359.1 |7687k| 133 | - | 467 | 622 | 467 | 956 | 847 | 117 |1224 | 1.571574e+02 | 1.870000e+02 | 18.99%
1113.71/1113.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.71/1113.90 c 1114s| 20000 | 9205 | 5269k| 263.1 | 11M| 142 | 101 | 467 | 674 | 467 | 956 | 847 | 185 |1781 | 1.572679e+02 | 1.870000e+02 | 18.91%
1480.55/1480.84 c 1481s| 30000 | 13039 | 7098k| 236.4 | 14M| 145 | - | 467 | 711 | 467 | 956 | 847 | 255 |2337 | 1.573693e+02 | 1.870000e+02 | 18.83%
1789.71/1790.01 c
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time (sec) : 1790.00
1789.71/1790.01 c Solving Nodes : 38947
1789.71/1790.01 c Primal Bound : +1.87000000000000e+02 (700 solutions)
1789.71/1790.01 c Dual Bound : +1.57431745711511e+02
1789.71/1790.01 c Gap : 18.78 %
1789.71/1790.01 s SATISFIABLE
1789.71/1790.01 v x467 x466 x465 -x464 x463 -x462 x461 x460 -x459 -x458 x457 -x456 x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 x446 -x445
1789.71/1790.01 v -x444 x443 -x442 x441 -x440 x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 x427 x426 -x425 -x424 x423 -x422
1789.71/1790.01 v -x421 -x420 -x419 -x418 x417 x416 -x415 x414 x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 x404 x403 x402 x401 x400
1789.71/1790.01 v -x399 -x398 -x397 x396 -x395 -x394 -x393 x392 x391 -x390 x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378
1789.71/1790.01 v -x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 x362 -x361 -x360 x359 x358 -x357 -x356
1789.71/1790.01 v -x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 x336 x335 -x334
1789.71/1790.01 v -x333 -x332 -x331 x330 x329 x328 -x327 -x326 -x325 x324 x323 x322 -x321 -x320 -x319 x318 -x317 x316 -x315 -x314 -x313 -x312
1789.71/1790.01 v x311 -x310 -x309 x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 x295 -x294 -x293 x292 -x291 -x290
1789.71/1790.01 v -x289 x288 -x287 -x286 -x285 x284 -x283 -x282 x281 x280 -x279 x278 -x277 -x276 x275 -x274 -x273 -x272 x271 x270 x269 -x268
1789.71/1790.01 v x267 -x266 x265 x264 x263 x262 -x261 -x260 -x259 -x258 -x257 x256 x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 x245
1789.71/1790.01 v x244 -x243 x242 -x241 x240 -x239 x238 x237 -x236 -x235 x234 x233 -x232 -x231 x230 x229 -x228 x227 -x226 -x225 -x224 -x223
1789.71/1790.01 v x222 -x221 -x220 x219 x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 x205 -x204 -x203 -x202 x201
1789.71/1790.01 v x200 -x199 x198 -x197 -x196 x195 -x194 -x193 x192 -x191 -x190 x189 -x188 x187 x186 -x185 x184 -x183 -x182 -x181 x180 -x179 -x178
1789.71/1790.01 v x177 -x176 x175 -x174 -x173 x172 -x171 x170 x169 -x168 x167 x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157 x156
1789.71/1790.01 v x155 x154 -x153 x152 x151 -x150 x149 -x148 -x147 x146 -x145 -x144 x143 x142 x141 -x140 x139 x138 -x137 -x136 -x135 -x134 -x133
1789.71/1790.01 v -x132 -x131 -x130 -x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121 -x120 x119 x118 -x117 -x116 -x115 -x114 -x113 x112 -x111
1789.71/1790.01 v -x110 -x109 x108 x107 -x106 -x105 x104 x103 -x102 x101 -x100 -x99 x98 x97 x96 -x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 x86
1789.71/1790.01 v -x85 x84 -x83 x82 -x81 x80 -x79 x78 -x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 x60 -x59
1789.71/1790.01 v x58 -x57 -x56 -x55 -x54 x53 -x52 x51 x50 -x49 x48 x47 -x46 x45 -x44 x43 -x42 -x41 -x40 x39 -x38 x37 -x36 -x35 x34 x33 -x32 x31
1789.71/1790.01 v -x30 x29 -x28 -x27 -x26 x25 x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 x14 x13 -x12 x11 -x10 -x9 x8 x7 x6 -x5 -x4 -x3 x2
1789.71/1790.01 v x1
1789.71/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.71/1790.01 c Solving Time : 1790.00
1789.71/1790.01 c Original Problem :
1789.71/1790.01 c Problem name : HOME/instance-3731478-1338685919.opb
1789.71/1790.01 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 466 initial, 466 maximal
1789.71/1790.01 c Presolved Problem :
1789.71/1790.01 c Problem name : t_HOME/instance-3731478-1338685919.opb
1789.71/1790.01 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 510 initial, 742 maximal
1789.71/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.71/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c knapsack : 0.01 0 0 0 0 0 18 234 469
1789.71/1790.01 c setppc : 0.00 0 0 0 0 0 29 0 0
1789.71/1790.01 c linear : 0.01 0 0 0 0 0 0 1 42
1789.71/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.71/1790.01 c root node : - 0 - - 0 - - - -
1789.71/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.71/1790.01 c integral : 0 0 0 27608 0 2 25 0 0 55184
1789.71/1790.01 c knapsack : 444 11 224249 0 0 0 221812 824 0 0
1789.71/1790.01 c setppc : 62 11 224209 0 0 0 7240 0 0 0
1789.71/1790.01 c logicor : 4+ 11 39620 0 0 0 0 0 0 0
1789.71/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.71/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.71/1790.01 c integral : 127.26 0.00 0.00 127.26 0.00
1789.71/1790.01 c knapsack : 4.90 0.04 4.86 0.00 0.00
1789.71/1790.01 c setppc : 0.15 0.00 0.15 0.00 0.00
1789.71/1790.01 c logicor : 0.06 0.00 0.06 0.00 0.00
1789.71/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.71/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.71/1790.01 c vbounds : 0.04 2 0 0
1789.71/1790.01 c rootredcost : 0.03 24 0 0
1789.71/1790.01 c pseudoobj : 1.54 224630 0 0
1789.71/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.71/1790.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.71/1790.01 c infeasible LP : 0.01 315 315 315 3.8 0 0.0 0
1789.71/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.71/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.71/1790.01 c applied globally : - - - 315 3.8 - - -
1789.71/1790.01 c applied locally : - - - 0 0.0 - - -
1789.71/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.71/1790.01 c cut pool : 0.00 10 - - 396 - (maximal pool size: 1582)
1789.71/1790.01 c redcost : 0.90 49475 0 492116 0 0
1789.71/1790.01 c impliedbounds : 0.00 11 0 0 29 0
1789.71/1790.01 c intobj : 0.00 0 0 0 0 0
1789.71/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.71/1790.01 c gomory : 1.54 11 0 0 2 0
1789.71/1790.01 c strongcg : 1.48 11 0 0 2 0
1789.71/1790.01 c cmir : 0.27 10 0 0 966 0
1789.71/1790.01 c flowcover : 0.29 10 0 0 1076 0
1789.71/1790.01 c clique : 0.00 1 0 0 0 0
1789.71/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.71/1790.01 c mcf : 0.00 1 0 0 0 0
1789.71/1790.01 c rapidlearning : 0.13 1 0 0 0 0
1789.71/1790.01 c Pricers : Time Calls Vars
1789.71/1790.01 c problem variables: 0.00 0 0
1789.71/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.71/1790.01 c relpscost : 127.25 27608 2 25 0 0 55184
1789.71/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.71/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.71/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.71/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.71/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.71/1790.01 c random : 0.00 0 0 0 0 0 0
1789.71/1790.01 c Primal Heuristics : Time Calls Found
1789.71/1790.01 c LP solutions : 0.00 - 0
1789.71/1790.01 c pseudo solutions : 0.00 - 0
1789.71/1790.01 c oneopt : 0.01 10 1
1789.71/1790.01 c crossover : 0.56 4 3
1789.71/1790.01 c objpscostdiving : 33.85 7 95
1789.71/1790.01 c veclendiving : 65.64 49 48
1789.71/1790.01 c rootsoldiving : 11.98 56 0
1789.71/1790.01 c trivial : 0.00 2 3
1789.71/1790.01 c simplerounding : 0.71 46830 25
1789.71/1790.01 c zirounding : 0.34 1251 25
1789.71/1790.01 c rounding : 9.46 10009 1
1789.71/1790.01 c shifting : 2.65 2698 1
1789.71/1790.01 c intshifting : 0.00 0 0
1789.71/1790.01 c twoopt : 0.00 0 0
1789.71/1790.01 c fixandinfer : 0.00 0 0
1789.71/1790.01 c feaspump : 0.00 0 0
1789.71/1790.01 c coefdiving : 227.52 140 171
1789.71/1790.01 c pscostdiving : 320.23 259 265
1789.71/1790.01 c fracdiving : 54.38 33 0
1789.71/1790.01 c intdiving : 0.00 0 0
1789.71/1790.01 c actconsdiving : 0.00 0 0
1789.71/1790.01 c linesearchdiving : 77.40 70 61
1789.71/1790.01 c guideddiving : 52.65 33 0
1789.71/1790.01 c octane : 0.00 0 0
1789.71/1790.01 c rens : 0.00 0 0
1789.71/1790.01 c rins : 0.00 0 0
1789.71/1790.01 c localbranching : 0.00 0 0
1789.71/1790.01 c mutation : 0.00 0 0
1789.71/1790.01 c dins : 0.00 0 0
1789.71/1790.01 c undercover : 0.00 0 0
1789.71/1790.01 c nlp : 0.01 0 0
1789.71/1790.01 c trysol : 0.01 0 0
1789.71/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.71/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.71/1790.01 c dual LP : 785.89 58144 4012273 69.01 5105.36
1789.71/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.71/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.71/1790.01 c diving/probing LP: 825.63 94998 4658050 49.03 5641.82
1789.71/1790.01 c strong branching : 125.93 2684 529569 197.31 4205.17
1789.71/1790.01 c (at root node) : - 20 14647 732.35 -
1789.71/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.71/1790.01 c B&B Tree :
1789.71/1790.01 c number of runs : 1
1789.71/1790.01 c nodes : 38947
1789.71/1790.01 c nodes (total) : 38947
1789.71/1790.01 c nodes left : 16226
1789.71/1790.01 c max depth : 145
1789.71/1790.01 c max depth (total): 145
1789.71/1790.01 c backtracks : 6196 (15.9%)
1789.71/1790.01 c delayed cutoffs : 0
1789.71/1790.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.71/1790.01 c avg switch length: 7.41
1789.71/1790.01 c switching time : 1.36
1789.71/1790.01 c Solution :
1789.71/1790.01 c Solutions found : 700 (33 improvements)
1789.71/1790.01 c First Solution : +4.67000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1789.71/1790.01 c Primal Bound : +1.87000000000000e+02 (in run 1, after 5414 nodes, 581.27 seconds, depth 125, found by <crossover>)
1789.71/1790.01 c Dual Bound : +1.57431745711511e+02
1789.71/1790.01 c Gap : 18.78 %
1789.71/1790.01 c Root Dual Bound : +1.55999611155195e+02
1789.71/1790.01 c Root Iterations : 7190
1789.71/1790.03 c Time complete: 1789.74.
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-3731478-1338685919/watcher-3731478-1338685919 -o /tmp/evaluation-result-3731478-1338685919/solver-3731478-1338685919 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3731478-1338685919.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.01 2.02 2.00 3/176 26588
/proc/meminfo: memFree=31632740/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 1652 0 0 0 0 0 0 0 20 0 1 0 334720488 10211328 1599 33554432000 4194304 8395647 140736740979296 140735742363560 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 2493 1609 374 1026 0 1463 0
[startup+0.0901511 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26588
/proc/meminfo: memFree=31632740/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=18148 CPUtime=0.08 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 4014 0 0 0 8 0 0 0 20 0 1 0 334720488 18583552 3600 33554432000 4194304 8395647 140736740979296 140735742363560 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 4537 3600 571 1026 0 3507 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18148
[startup+0.100274 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26588
/proc/meminfo: memFree=31632740/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=18148 CPUtime=0.09 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 4019 0 0 0 9 0 0 0 20 0 1 0 334720488 18583552 3605 33554432000 4194304 8395647 140736740979296 140735742363560 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 4537 3605 575 1026 0 3507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18148
[startup+0.300225 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26588
/proc/meminfo: memFree=31632740/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=20200 CPUtime=0.28 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 4522 0 0 0 28 0 0 0 20 0 1 0 334720488 20684800 4101 33554432000 4194304 8395647 140736740979296 140735742363560 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 5050 4101 575 1026 0 4020 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20200
[startup+0.700228 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 26588
/proc/meminfo: memFree=31632740/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=20684 CPUtime=0.69 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 7231 0 0 0 67 2 0 0 20 0 1 0 334720488 21180416 4340 33554432000 4194304 8395647 140736740979296 140735742363560 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 5171 4340 625 1026 0 4141 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20684
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26589
/proc/meminfo: memFree=31616480/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=22316 CPUtime=1.49 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 7678 0 0 0 147 2 0 0 20 0 1 0 334720488 22851584 4787 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 5579 4787 626 1026 0 4549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22316
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26589
/proc/meminfo: memFree=31614620/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=23584 CPUtime=3.09 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 7950 0 0 0 306 3 0 0 20 0 1 0 334720488 24150016 5059 33554432000 4194304 8395647 140736740979296 140736740974536 6197309 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 5896 5059 626 1026 0 4866 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23584
[startup+6.30022 s]
/proc/loadavg: 2.09 2.03 2.01 3/176 26589
/proc/meminfo: memFree=31614008/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25960 CPUtime=6.28 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 8579 0 0 0 624 4 0 0 20 0 1 0 334720488 26583040 5674 33554432000 4194304 8395647 140736740979296 140736740974584 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6490 5674 628 1026 0 5460 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25960
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 26590
/proc/meminfo: memFree=31611016/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25960 CPUtime=12.69 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 8580 0 0 0 1262 7 0 0 20 0 1 0 334720488 26583040 5675 33554432000 4194304 8395647 140736740979296 140736740974168 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6490 5675 629 1026 0 5460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25960
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 26590
/proc/meminfo: memFree=31610072/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25960 CPUtime=25.48 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 8588 0 0 0 2535 13 0 0 20 0 1 0 334720488 26583040 5937 33554432000 4194304 8395647 140736740979296 140736740974552 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6490 5937 631 1026 0 5460 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25960
[startup+51.1002 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26590
/proc/meminfo: memFree=31609948/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25960 CPUtime=51.07 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 8588 0 0 0 5082 25 0 0 20 0 1 0 334720488 26583040 5937 33554432000 4194304 8395647 140736740979296 140736740974536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6490 5937 631 1026 0 5460 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25960
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26590
/proc/meminfo: memFree=31609948/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25960 CPUtime=102.27 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 8590 0 0 0 10173 54 0 0 20 0 1 0 334720488 26583040 5939 33554432000 4194304 8395647 140736740979296 140736740974808 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6490 5939 632 1026 0 5460 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25960
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26590
/proc/meminfo: memFree=31611312/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25204 CPUtime=162.26 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 10486 0 0 0 16133 93 0 0 20 0 1 0 334720488 25808896 5708 33554432000 4194304 8395647 140736740979296 140736740974904 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6301 5708 639 1026 0 5271 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 25204
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26590
/proc/meminfo: memFree=31611312/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25204 CPUtime=222.25 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 10486 0 0 0 22094 131 0 0 20 0 1 0 334720488 25808896 5708 33554432000 4194304 8395647 140736740979296 140736740974504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6301 5708 639 1026 0 5271 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25204
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26590
/proc/meminfo: memFree=31610320/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=24436 CPUtime=282.24 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 12594 0 0 0 28054 170 0 0 20 0 1 0 334720488 25022464 5507 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6109 5507 639 1026 0 5079 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 24436
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 26591
/proc/meminfo: memFree=31608272/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25516 CPUtime=342.24 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 12858 0 0 0 34016 208 0 0 20 0 1 0 334720488 26128384 5771 33554432000 4194304 8395647 140736740979296 140736740974808 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6379 5771 639 1026 0 5349 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 25516
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26591
/proc/meminfo: memFree=31606532/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=25956 CPUtime=402.22 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 13010 0 0 0 39984 238 0 0 20 0 1 0 334720488 26578944 5922 33554432000 4194304 8395647 140736740979296 140736740974504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6489 5922 639 1026 0 5459 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 25956
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26591
/proc/meminfo: memFree=31604484/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=26888 CPUtime=462.22 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 15978 0 0 0 45943 279 0 0 20 0 1 0 334720488 27533312 6171 33554432000 4194304 8395647 140736740979296 140736740974520 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6722 6171 639 1026 0 5692 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 26888
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26594
/proc/meminfo: memFree=31602988/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=27328 CPUtime=522.21 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 16828 0 0 0 51904 317 0 0 20 0 1 0 334720488 27983872 6285 33554432000 4194304 8395647 140736740979296 140736740974872 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6832 6285 639 1026 0 5802 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 27328
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26594
/proc/meminfo: memFree=31603056/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=27036 CPUtime=582.2 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 19154 0 0 0 57866 354 0 0 20 0 1 0 334720488 27684864 6184 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 6759 6184 639 1026 0 5729 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 27036
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31592064/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=32932 CPUtime=1062.12 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 23464 0 0 0 105567 645 0 0 20 0 1 0 334720488 33722368 7541 33554432000 4194304 8395647 140736740979296 140736740974760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8233 7541 639 1026 0 7203 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 32932
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26599
/proc/meminfo: memFree=31588396/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=35452 CPUtime=1122.1 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24242 0 0 0 111527 683 0 0 20 0 1 0 334720488 36302848 8319 33554432000 4194304 8395647 140736740979296 140736740974168 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8863 8319 639 1026 0 7833 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 35452
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26599
/proc/meminfo: memFree=31587660/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=35452 CPUtime=1182.1 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24242 0 0 0 117493 717 0 0 20 0 1 0 334720488 36302848 8319 33554432000 4194304 8395647 140736740979296 140736740974504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8863 8319 639 1026 0 7833 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 35452
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31587536/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=35452 CPUtime=1242.09 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24242 0 0 0 123454 755 0 0 20 0 1 0 334720488 36302848 8319 33554432000 4194304 8395647 140736740979296 140736740974856 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8863 8319 639 1026 0 7833 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 35452
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31587288/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=35452 CPUtime=1302.08 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24242 0 0 0 129413 795 0 0 20 0 1 0 334720488 36302848 8319 33554432000 4194304 8395647 140736740979296 140736740974856 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8863 8319 639 1026 0 7833 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 35452
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31585116/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=35452 CPUtime=1362.08 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24243 0 0 0 135374 834 0 0 20 0 1 0 334720488 36302848 8320 33554432000 4194304 8395647 140736740979296 140736740974952 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8863 8320 639 1026 0 7833 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 35452
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31584556/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=35452 CPUtime=1422.07 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24243 0 0 0 141332 875 0 0 20 0 1 0 334720488 36302848 8320 33554432000 4194304 8395647 140736740979296 140736740974904 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 8863 8320 639 1026 0 7833 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 35452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31582756/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=36456 CPUtime=1482.06 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24477 0 0 0 147290 916 0 0 20 0 1 0 334720488 37330944 8553 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9114 8553 639 1026 0 8084 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 36456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31581204/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=36456 CPUtime=1542.04 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 24515 0 0 0 153251 953 0 0 20 0 1 0 334720488 37330944 8591 33554432000 4194304 8395647 140736740979296 140736740974904 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9114 8591 639 1026 0 8084 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 36456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31579592/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=36800 CPUtime=1602.03 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25301 0 0 0 159211 992 0 0 20 0 1 0 334720488 37683200 8641 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9200 8641 639 1026 0 8170 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 36800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578164/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1662.02 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25453 0 0 0 165175 1027 0 0 20 0 1 0 334720488 38416384 8793 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8793 639 1026 0 8349 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 37516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26642
/proc/meminfo: memFree=30300816/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1722.01 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 171137 1064 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 37516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26642
/proc/meminfo: memFree=30289128/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1782 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177098 1102 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974760 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 37516
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 26642
/proc/meminfo: memFree=30289128/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1785.21 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177417 1104 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 37516
[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26642
/proc/meminfo: memFree=30288864/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1786.8 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177575 1105 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974424 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1786.8
Current children cumulated vsize (KiB) 37516
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26642
/proc/meminfo: memFree=30288988/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1788.41 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177735 1106 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 37516
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26642
/proc/meminfo: memFree=30288988/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1789.21 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177814 1107 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974920 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 37516
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26642
/proc/meminfo: memFree=30288988/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1789.61 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177854 1107 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974504 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 37516
[startup+1790 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26642
/proc/meminfo: memFree=30288988/32873844 swapFree=7116/7116
[pid=26588] ppid=26586 vsize=37516 CPUtime=1789.71 cores=0,2,4,6
/proc/26588/stat : 26588 (pbscip.linux.x8) R 26586 26588 25766 0 -1 4202496 25474 0 0 0 177864 1107 0 0 20 0 1 0 334720488 38416384 8814 33554432000 4194304 8395647 140736740979296 140736740974504 6740902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26588/statm: 9379 8814 639 1026 0 8349 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 37516
Child status: 0
Real time (s): 1790.03
CPU time (s): 1789.75
CPU user time (s): 1778.68
CPU system time (s): 11.0733
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 37516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.68
system time used= 11.0733
maximum resident set size= 37504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25478
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= 18
involuntary context switches= 1848
runsolver used 2.68959 second user time and 7.07792 second system time
The end