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-3731434-1338685800.opb>
0.00/0.01 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 31 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 31 chg coeffs, 473 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 0 chg bounds, 73 chg sides, 249 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 15 del conss, 0 chg bounds, 159 chg sides, 372 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 22 del conss, 0 chg bounds, 162 chg sides, 380 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 22 del conss, 0 chg bounds, 164 chg sides, 382 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/473 (21.4%) - 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, 22 deleted constraints, 0 tightened bounds, 0 added holes, 164 changed sides, 382 changed coefficients
0.00/0.03 c 168 implications, 0 cliques
0.00/0.03 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 514 constraints
0.00/0.03 c 456 constraints of type <knapsack>
0.00/0.03 c 56 constraints of type <setppc>
0.00/0.03 c 2 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.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c t 0.3s| 1 | 0 | 2024 | - |2542k| 0 | 294 | 473 | 514 | 473 | 514 | 0 | 0 | 0 | 1.452787e+02 | 4.730000e+02 | 225.58%
0.29/0.31 o 314
0.29/0.31 c r 0.3s| 1 | 0 | 2024 | - |2555k| 0 | 294 | 473 | 514 | 473 | 514 | 0 | 0 | 0 | 1.452787e+02 | 3.140000e+02 | 116.14%
0.29/0.31 o 313
0.29/0.31 c R 0.3s| 1 | 0 | 2024 | - |2568k| 0 | 294 | 473 | 514 | 473 | 514 | 0 | 0 | 0 | 1.452787e+02 | 3.130000e+02 | 115.45%
0.29/0.32 o 312
0.29/0.32 c s 0.3s| 1 | 0 | 2024 | - |2582k| 0 | 294 | 473 | 514 | 473 | 514 | 0 | 0 | 0 | 1.452787e+02 | 3.120000e+02 | 114.76%
0.59/0.60 o 225
0.59/0.60 c y 0.6s| 1 | 0 | 2024 | - |2924k| 0 | 294 | 473 | 514 | 473 | 514 | 0 | 0 | 0 | 1.452787e+02 | 2.250000e+02 | 54.87%
0.79/0.88 c 0.9s| 1 | 0 | 2932 | - |2863k| 0 | 348 | 473 | 514 | 473 | 742 | 228 | 0 | 0 | 1.535090e+02 | 2.250000e+02 | 46.57%
1.39/1.40 c 1.4s| 1 | 0 | 3997 | - |3102k| 0 | 399 | 473 | 514 | 473 | 945 | 431 | 0 | 0 | 1.577941e+02 | 2.250000e+02 | 42.59%
1.88/1.98 c 2.0s| 1 | 0 | 5006 | - |3299k| 0 | 419 | 473 | 514 | 473 |1107 | 593 | 0 | 0 | 1.601736e+02 | 2.250000e+02 | 40.47%
2.48/2.54 c 2.5s| 1 | 0 | 5749 | - |3445k| 0 | 419 | 473 | 514 | 473 |1231 | 717 | 0 | 0 | 1.612622e+02 | 2.250000e+02 | 39.52%
3.09/3.14 c 3.1s| 1 | 0 | 6447 | - |3530k| 0 | 431 | 473 | 514 | 473 |1311 | 797 | 0 | 0 | 1.620751e+02 | 2.250000e+02 | 38.82%
3.59/3.69 c 3.7s| 1 | 0 | 6887 | - |3571k| 0 | 433 | 473 | 514 | 473 |1354 | 840 | 0 | 0 | 1.624113e+02 | 2.250000e+02 | 38.54%
4.09/4.19 c 4.2s| 1 | 0 | 7189 | - |3595k| 0 | 425 | 473 | 514 | 473 |1382 | 868 | 0 | 0 | 1.625781e+02 | 2.250000e+02 | 38.39%
4.48/4.56 c 4.6s| 1 | 0 | 7310 | - |3606k| 0 | 429 | 473 | 514 | 473 |1391 | 877 | 0 | 0 | 1.625953e+02 | 2.250000e+02 | 38.38%
4.88/4.98 c 5.0s| 1 | 0 | 7445 | - |3620k| 0 | 427 | 473 | 514 | 473 |1401 | 887 | 0 | 0 | 1.626181e+02 | 2.250000e+02 | 38.36%
5.29/5.37 c 5.4s| 1 | 0 | 7501 | - |3631k| 0 | 429 | 473 | 514 | 473 |1407 | 893 | 0 | 0 | 1.626257e+02 | 2.250000e+02 | 38.35%
5.69/5.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.72 c 5.7s| 1 | 0 | 7523 | - |3638k| 0 | 430 | 473 | 514 | 473 |1356 | 895 | 0 | 0 | 1.626280e+02 | 2.250000e+02 | 38.35%
5.98/6.05 c 6.0s| 1 | 0 | 7535 | - |3645k| 0 | 429 | 473 | 514 | 473 |1357 | 896 | 0 | 0 | 1.626282e+02 | 2.250000e+02 | 38.35%
10.19/10.28 c 10.3s| 1 | 2 | 7535 | - |3659k| 0 | 429 | 473 | 514 | 473 |1357 | 896 | 0 | 20 | 1.626282e+02 | 2.250000e+02 | 38.35%
40.18/40.20 o 224
40.18/40.20 c c40.2s| 15 | 16 | 20217 | 905.9 |4392k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.240000e+02 | 37.51%
40.18/40.21 o 222
40.18/40.21 c c40.2s| 15 | 16 | 20229 | 906.7 |4393k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.220000e+02 | 36.28%
40.18/40.21 o 220
40.18/40.21 c c40.2s| 15 | 16 | 20309 | 912.4 |4400k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.200000e+02 | 35.06%
40.18/40.22 o 218
40.18/40.22 c c40.2s| 15 | 16 | 20315 | 912.9 |4401k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.180000e+02 | 33.83%
40.18/40.22 o 218
40.18/40.22 c c40.2s| 15 | 16 | 20377 | 917.3 |4409k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.180000e+02 | 33.83%
40.18/40.22 o 217
40.18/40.22 c c40.2s| 15 | 16 | 20378 | 917.4 |4410k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.170000e+02 | 33.22%
40.18/40.22 o 215
40.18/40.22 c c40.2s| 15 | 16 | 20391 | 918.3 |4411k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.150000e+02 | 31.99%
40.18/40.22 o 214
40.18/40.22 c c40.2s| 15 | 16 | 20393 | 918.4 |4412k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.140000e+02 | 31.37%
40.18/40.23 o 213
40.18/40.23 c c40.2s| 15 | 16 | 20462 | 923.4 |4427k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.130000e+02 | 30.76%
40.18/40.25 o 212
40.18/40.25 c b40.2s| 16 | 15 | 20541 | 867.1 |4317k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.120000e+02 | 30.15%
42.18/42.26 o 211
42.18/42.26 c p42.3s| 28 | 29 | 30908 | 865.7 |4527k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.110000e+02 | 29.53%
42.18/42.26 o 210
42.18/42.26 c p42.3s| 28 | 29 | 30914 | 865.9 |4529k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.100000e+02 | 28.92%
42.18/42.27 o 209
42.18/42.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.18/42.27 c b42.3s| 28 | 29 | 30930 | 866.5 |4380k| 14 | 394 | 473 | 514 | 473 | 984 | 896 | 0 | 275 | 1.628944e+02 | 2.090000e+02 | 28.30%
48.39/48.48 o 208
48.39/48.48 c v48.5s| 52 | 53 | 56396 | 958.1 |4540k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.080000e+02 | 27.69%
48.39/48.49 o 206
48.39/48.49 c v48.5s| 52 | 53 | 56414 | 958.4 |4541k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.060000e+02 | 26.46%
48.39/48.49 o 205
48.39/48.49 c v48.5s| 52 | 53 | 56443 | 959.0 |4542k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.050000e+02 | 25.85%
48.39/48.49 o 203
48.39/48.49 c v48.5s| 52 | 53 | 56452 | 959.2 |4543k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.030000e+02 | 24.62%
48.39/48.49 o 202
48.39/48.49 c v48.5s| 52 | 53 | 56497 | 960.0 |4544k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.020000e+02 | 24.01%
48.48/48.50 o 201
48.48/48.50 c v48.5s| 52 | 53 | 56502 | 960.1 |4547k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.010000e+02 | 23.39%
48.48/48.51 o 200
48.48/48.51 c v48.5s| 52 | 53 | 56588 | 961.8 |4551k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.000000e+02 | 22.78%
48.48/48.52 o 200
48.48/48.52 c v48.5s| 52 | 53 | 56658 | 963.2 |4558k| 14 | - | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 2.000000e+02 | 22.78%
48.48/48.52 o 197
48.48/48.52 c b48.5s| 52 | 53 | 56662 | 963.3 |4432k| 14 | 376 | 473 | 514 | 473 | 984 | 896 | 0 | 289 | 1.628944e+02 | 1.970000e+02 | 20.94%
259.25/259.32 o 191
259.25/259.32 c C 259s| 855 | 856 | 1133k|1318.4 |5009k| 30 | 312 | 473 | 554 | 473 | 984 | 896 | 40 | 530 | 1.634698e+02 | 1.910000e+02 | 16.84%
627.29/627.43 c 627s| 10000 | 5727 | 3071k| 306.5 |8781k| 133 | - | 473 | 614 | 473 | 984 | 896 | 105 | 913 | 1.640215e+02 | 1.910000e+02 | 16.45%
902.96/903.13 c 903s| 20000 | 9339 | 4565k| 227.9 | 11M| 133 | 102 | 473 | 637 | 473 | 984 | 896 | 163 |1335 | 1.641544e+02 | 1.910000e+02 | 16.35%
1185.90/1186.14 c 1186s| 30000 | 13001 | 6083k| 202.5 | 14M| 133 | 355 | 473 | 664 | 473 | 984 | 896 | 221 |1683 | 1.642523e+02 | 1.910000e+02 | 16.28%
1427.76/1428.09 c 1428s| 40000 | 16381 | 7421k| 185.3 | 17M| 133 | - | 473 | 669 | 473 | 984 | 896 | 261 |1956 | 1.643151e+02 | 1.910000e+02 | 16.24%
1640.63/1640.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.63/1640.90 c 1641s| 50000 | 21351 | 8600k| 171.9 | 21M| 133 | 124 | 473 | 666 | 473 | 984 | 896 | 300 |2189 | 1.643572e+02 | 1.910000e+02 | 16.21%
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 : 57437
1789.71/1790.01 c Primal Bound : +1.91000000000000e+02 (674 solutions)
1789.71/1790.01 c Dual Bound : +1.64388866441061e+02
1789.71/1790.01 c Gap : 16.19 %
1789.71/1790.01 s SATISFIABLE
1789.71/1790.01 v -x473 -x472 -x471 x470 x469 x468 x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451
1789.71/1790.01 v x450 -x449 x448 x447 x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 x437 x436 -x435 x434 -x433 -x432 -x431 -x430 x429
1789.71/1790.01 v -x428 x427 x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 x413 -x412 -x411 -x410 x409 -x408 -x407
1789.71/1790.01 v x406 -x405 x404 x403 x402 -x401 x400 x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 x391 -x390 x389 x388 -x387 -x386 -x385
1789.71/1790.01 v -x384 -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 x370 x369 -x368 -x367 -x366 x365 -x364 x363
1789.71/1790.01 v x362 -x361 x360 -x359 x358 -x357 -x356 x355 x354 -x353 x352 x351 -x350 x349 x348 -x347 -x346 -x345 x344 x343 x342 -x341 -x340
1789.71/1790.01 v x339 -x338 -x337 x336 -x335 x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 x318
1789.71/1790.01 v x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 x309 x308 -x307 x306 x305 -x304 x303 -x302 -x301 x300 x299 x298 x297 -x296 -x295
1789.71/1790.01 v x294 -x293 x292 x291 x290 x289 x288 x287 -x286 -x285 x284 x283 -x282 -x281 -x280 -x279 -x278 x277 x276 -x275 -x274 x273 -x272
1789.71/1790.01 v -x271 x270 -x269 -x268 -x267 -x266 x265 x264 -x263 -x262 -x261 -x260 x259 x258 x257 x256 -x255 -x254 -x253 -x252 x251 -x250
1789.71/1790.01 v -x249 -x248 -x247 x246 x245 x244 x243 -x242 -x241 x240 -x239 -x238 x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228
1789.71/1790.01 v x227 -x226 x225 x224 x223 x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 -x212 x211 -x210 -x209 x208 x207 x206 x205
1789.71/1790.01 v x204 x203 -x202 x201 x200 x199 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 x187 x186 x185 x184 -x183 -x182
1789.71/1790.01 v -x181 -x180 -x179 x178 x177 x176 -x175 x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 x162 -x161 x160
1789.71/1790.01 v -x159 -x158 -x157 -x156 x155 x154 -x153 -x152 -x151 x150 -x149 x148 -x147 x146 -x145 -x144 x143 x142 x141 x140 x139 -x138
1789.71/1790.01 v x137 -x136 -x135 x134 -x133 x132 -x131 x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 x117 x116 -x115
1789.71/1790.01 v x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 -x105 x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 x94 -x93 x92
1789.71/1790.01 v x91 x90 x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 x78 x77 x76 -x75 x74 x73 -x72 -x71 x70 -x69 -x68 -x67 x66 x65 -x64
1789.71/1790.01 v x63 -x62 x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 x51 x50 x49 -x48 x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37
1789.71/1790.01 v x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11 x10
1789.71/1790.01 v -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -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-3731434-1338685800.opb
1789.71/1790.01 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 473 initial, 473 maximal
1789.71/1790.01 c Presolved Problem :
1789.71/1790.01 c Problem name : t_HOME/instance-3731434-1338685800.opb
1789.71/1790.01 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 514 initial, 685 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 14 164 351
1789.71/1790.01 c setppc : 0.00 0 0 0 0 0 8 0 0
1789.71/1790.01 c linear : 0.01 0 0 0 0 0 0 0 31
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 41278 0 0 32 0 0 82510
1789.71/1790.01 c knapsack : 456 13 259116 0 2 0 311042 890 0 0
1789.71/1790.01 c setppc : 56 13 259030 0 2 0 15236 0 0 0
1789.71/1790.01 c logicor : 2+ 13 50049 0 2 0 459 0 0 0
1789.71/1790.01 c countsols : 0 0 0 0 2 0 0 0 0 0
1789.71/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.71/1790.01 c integral : 101.36 0.00 0.00 101.36 0.00
1789.71/1790.01 c knapsack : 6.37 0.04 6.33 0.00 0.00
1789.71/1790.01 c setppc : 0.17 0.00 0.17 0.00 0.00
1789.71/1790.01 c logicor : 0.07 0.00 0.07 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.04 21 0 0
1789.71/1790.01 c pseudoobj : 1.81 259683 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.02 341 341 341 4.0 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 : - - - 341 4.0 - - -
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 12 - - 362 - (maximal pool size: 1649)
1789.71/1790.01 c redcost : 1.33 70149 0 704028 0 0
1789.71/1790.01 c impliedbounds : 0.00 13 0 0 52 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.82 13 0 0 1 0
1789.71/1790.01 c strongcg : 1.73 13 0 0 1 0
1789.71/1790.01 c cmir : 0.27 10 0 0 1021 0
1789.71/1790.01 c flowcover : 0.28 10 0 0 1079 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.15 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 : 101.34 41278 0 32 0 0 82510
1789.71/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.71/1790.01 c inference : 0.00 2 0 0 0 0 4
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 feaspump : 0.00 0 0
1789.71/1790.01 c oneopt : 0.01 8 3
1789.71/1790.01 c crossover : 0.49 5 3
1789.71/1790.01 c objpscostdiving : 36.73 9 98
1789.71/1790.01 c fracdiving : 54.13 45 0
1789.71/1790.01 c guideddiving : 53.40 47 0
1789.71/1790.01 c linesearchdiving : 46.77 52 0
1789.71/1790.01 c rootsoldiving : 12.59 66 0
1789.71/1790.01 c pscostdiving : 157.09 161 249
1789.71/1790.01 c coefdiving : 237.17 182 170
1789.71/1790.01 c veclendiving : 189.46 202 95
1789.71/1790.01 c trivial : 0.00 2 3
1789.71/1790.01 c simplerounding : 0.89 64082 26
1789.71/1790.01 c zirounding : 0.34 1201 24
1789.71/1790.01 c rounding : 9.70 11845 1
1789.71/1790.01 c shifting : 2.74 3174 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 intdiving : 0.00 0 0
1789.71/1790.01 c actconsdiving : 0.00 0 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 : 860.65 80175 4687413 58.46 5446.35
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: 768.61 100577 4746982 47.20 6176.07
1789.71/1790.01 c strong branching : 99.64 2351 455470 193.73 4570.93
1789.71/1790.01 c (at root node) : - 20 13793 689.65 -
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 : 57437
1789.71/1790.01 c nodes (total) : 57437
1789.71/1790.01 c nodes left : 25078
1789.71/1790.01 c max depth : 133
1789.71/1790.01 c max depth (total): 133
1789.71/1790.01 c backtracks : 7586 (13.2%)
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: 6.94
1789.71/1790.01 c switching time : 2.01
1789.71/1790.01 c Solution :
1789.71/1790.01 c Solutions found : 674 (28 improvements)
1789.71/1790.01 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1789.71/1790.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 855 nodes, 259.31 seconds, depth 30, found by <crossover>)
1789.71/1790.01 c Dual Bound : +1.64388866441061e+02
1789.71/1790.01 c Gap : 16.19 %
1789.71/1790.01 c Root Dual Bound : +1.62628224629887e+02
1789.71/1790.01 c Root Iterations : 7535
1789.71/1790.06 c Time complete: 1789.77.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731434-1338685800/watcher-3731434-1338685800 -o /tmp/evaluation-result-3731434-1338685800/solver-3731434-1338685800 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3731434-1338685800.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.07 2.03 2.01 3/177 26548
/proc/meminfo: memFree=31413092/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 1370 0 0 0 0 0 0 0 20 0 1 0 334708577 9158656 1317 33554432000 4194304 8395647 140735737634480 140735292043048 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 2236 1326 374 1026 0 1206 0
[startup+0.077585 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 26548
/proc/meminfo: memFree=31413092/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=18188 CPUtime=0.06 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 4048 0 0 0 6 0 0 0 20 0 1 0 334708577 18624512 3638 33554432000 4194304 8395647 140735737634480 140735292043048 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 4547 3638 572 1026 0 3517 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18188
[startup+0.100305 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 26548
/proc/meminfo: memFree=31413092/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=18188 CPUtime=0.09 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 4048 0 0 0 9 0 0 0 20 0 1 0 334708577 18624512 3638 33554432000 4194304 8395647 140735737634480 140735292043048 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 4547 3638 572 1026 0 3517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18188
[startup+0.300222 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 26548
/proc/meminfo: memFree=31413092/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=19460 CPUtime=0.29 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 4342 0 0 0 28 1 0 0 20 0 1 0 334708577 19927040 3932 33554432000 4194304 8395647 140735737634480 140735292043048 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 4865 3932 576 1026 0 3835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19460
[startup+0.700227 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 26548
/proc/meminfo: memFree=31413092/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=20680 CPUtime=0.69 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 7014 0 0 0 67 2 0 0 20 0 1 0 334708577 21176320 4389 33554432000 4194304 8395647 140735737634480 140735292043048 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 5170 4389 627 1026 0 4140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20680
[startup+1.50023 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 26551
/proc/meminfo: memFree=31396808/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=22192 CPUtime=1.48 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 7347 0 0 0 146 2 0 0 20 0 1 0 334708577 22724608 4714 33554432000 4194304 8395647 140735737634480 140735737629720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 5548 4714 627 1026 0 4518 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22192
[startup+3.10023 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 26551
/proc/meminfo: memFree=31395684/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=24080 CPUtime=3.09 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 7788 0 0 0 306 3 0 0 20 0 1 0 334708577 24657920 5155 33554432000 4194304 8395647 140735737634480 140735737629768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6020 5155 627 1026 0 4990 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24080
[startup+6.30023 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 26551
/proc/meminfo: memFree=31394072/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=24080 CPUtime=6.29 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 7848 0 0 0 624 5 0 0 20 0 1 0 334708577 24657920 5215 33554432000 4194304 8395647 140735737634480 140735737629768 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6020 5215 627 1026 0 4990 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24080
[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 26551
/proc/meminfo: memFree=31390632/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=26240 CPUtime=12.69 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 8365 0 0 0 1262 7 0 0 20 0 1 0 334708577 26869760 5732 33554432000 4194304 8395647 140735737634480 140735737629352 6741526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6560 5732 632 1026 0 5530 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26240
[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 26551
/proc/meminfo: memFree=31391028/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=26240 CPUtime=25.49 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 8365 0 0 0 2536 13 0 0 20 0 1 0 334708577 26869760 5732 33554432000 4194304 8395647 140735737634480 140735737629352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6560 5732 632 1026 0 5530 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26240
[startup+51.1002 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 26551
/proc/meminfo: memFree=31389416/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=26240 CPUtime=51.08 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 8365 0 0 0 5082 26 0 0 20 0 1 0 334708577 26869760 5732 33554432000 4194304 8395647 140735737634480 140735737629960 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6560 5732 632 1026 0 5530 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26240
[startup+102.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26551
/proc/meminfo: memFree=31385704/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=24680 CPUtime=102.28 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 9824 0 0 0 10169 59 0 0 20 0 1 0 334708577 25272320 5336 33554432000 4194304 8395647 140735737634480 140735737629336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6170 5336 640 1026 0 5140 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24680
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 26590
/proc/meminfo: memFree=31609948/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=24680 CPUtime=162.26 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 9863 0 0 0 16134 92 0 0 20 0 1 0 334708577 25272320 5633 33554432000 4194304 8395647 140735737634480 140735737629608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6170 5633 640 1026 0 5140 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24680
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26590
/proc/meminfo: memFree=31609948/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=24884 CPUtime=222.26 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 9918 0 0 0 22099 127 0 0 20 0 1 0 334708577 25481216 5688 33554432000 4194304 8395647 140735737634480 140735737629720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6221 5688 640 1026 0 5191 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 24884
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26590
/proc/meminfo: memFree=31611312/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=24856 CPUtime=282.24 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 12221 0 0 0 28060 164 0 0 20 0 1 0 334708577 25452544 5654 33554432000 4194304 8395647 140735737634480 140735737629992 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6214 5654 640 1026 0 5184 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 24856
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26590
/proc/meminfo: memFree=31611188/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=25288 CPUtime=342.23 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 12295 0 0 0 34023 200 0 0 20 0 1 0 334708577 25894912 5728 33554432000 4194304 8395647 140735737634480 140735737629704 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6322 5728 640 1026 0 5292 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 25288
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26590
/proc/meminfo: memFree=31610320/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=26380 CPUtime=402.22 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 12563 0 0 0 39987 235 0 0 20 0 1 0 334708577 27013120 5996 33554432000 4194304 8395647 140735737634480 140735737629688 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6595 5996 640 1026 0 5565 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 26380
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 26591
/proc/meminfo: memFree=31608272/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=27048 CPUtime=462.21 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 16471 0 0 0 45945 276 0 0 20 0 1 0 334708577 27697152 6201 33554432000 4194304 8395647 140735737634480 140735737629720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 6762 6201 640 1026 0 5732 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 27048
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26591
/proc/meminfo: memFree=31606160/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=28312 CPUtime=522.21 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 19588 0 0 0 51907 314 0 0 20 0 1 0 334708577 28991488 6568 33554432000 4194304 8395647 140735737634480 140735737629960 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 7078 6568 640 1026 0 6048 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 28312
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26591
/proc/meminfo: memFree=31604484/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=30032 CPUtime=582.2 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 19940 0 0 0 57869 351 0 0 20 0 1 0 334708577 30752768 6930 33554432000 4194304 8395647 140735737634480 140735737629704 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 7508 6930 640 1026 0 6478 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 30032
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31594920/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=34580 CPUtime=1062.12 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 23076 0 0 0 105409 803 0 0 20 0 1 0 334708577 35409920 8120 33554432000 4194304 8395647 140735737634480 140735737629608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 8645 8120 640 1026 0 7615 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 34580
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26596
/proc/meminfo: memFree=31594856/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=34896 CPUtime=1122.11 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 23871 0 0 0 111347 864 0 0 20 0 1 0 334708577 35733504 8178 33554432000 4194304 8395647 140735737634480 140735737629880 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 8724 8178 640 1026 0 7694 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 34896
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26596
/proc/meminfo: memFree=31591940/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=36696 CPUtime=1182.1 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 24316 0 0 0 117284 926 0 0 20 0 1 0 334708577 37576704 8623 33554432000 4194304 8395647 140735737634480 140735737630104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 9174 8623 640 1026 0 8144 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 36696
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26599
/proc/meminfo: memFree=31588396/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=36900 CPUtime=1242.09 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 24353 0 0 0 123238 971 0 0 20 0 1 0 334708577 37785600 8660 33554432000 4194304 8395647 140735737634480 140735737629992 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 9225 8660 640 1026 0 8195 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 36900
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26599
/proc/meminfo: memFree=31587660/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=37896 CPUtime=1302.09 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 24572 0 0 0 129202 1007 0 0 20 0 1 0 334708577 38805504 8879 33554432000 4194304 8395647 140735737634480 140735737629784 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 9474 8879 640 1026 0 8444 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37896
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31587536/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=37896 CPUtime=1362.07 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 24589 0 0 0 135162 1045 0 0 20 0 1 0 334708577 38805504 8896 33554432000 4194304 8395647 140735737634480 140735737630040 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 9474 8896 640 1026 0 8444 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37896
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31587164/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=38288 CPUtime=1422.07 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 25486 0 0 0 141119 1088 0 0 20 0 1 0 334708577 39206912 9057 33554432000 4194304 8395647 140735737634480 140735737630088 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 9572 9057 640 1026 0 8542 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 38288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31585116/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=40408 CPUtime=1482.05 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 25982 0 0 0 147076 1129 0 0 20 0 1 0 334708577 41377792 9552 33554432000 4194304 8395647 140735737634480 140735737630104 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 10102 9552 640 1026 0 9072 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 40408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31584556/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=41144 CPUtime=1542.05 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 26139 0 0 0 153035 1170 0 0 20 0 1 0 334708577 42131456 9708 33554432000 4194304 8395647 140735737634480 140735737629608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 10286 9708 640 1026 0 9256 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 41144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26600
/proc/meminfo: memFree=31582756/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=41828 CPUtime=1602.03 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 26305 0 0 0 158997 1206 0 0 20 0 1 0 334708577 42831872 9874 33554432000 4194304 8395647 140735737634480 140735737630040 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 10457 9874 640 1026 0 9427 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 41828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31581080/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=43260 CPUtime=1662.02 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 26715 0 0 0 164955 1247 0 0 20 0 1 0 334708577 44298240 10283 33554432000 4194304 8395647 140735737634480 140735737629608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 10815 10283 640 1026 0 9785 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 43260
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31579220/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=44816 CPUtime=1722.02 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27048 0 0 0 170913 1289 0 0 20 0 1 0 334708577 45891584 10616 33554432000 4194304 8395647 140735737634480 140735737630152 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11204 10616 640 1026 0 10174 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 44816
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578164/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1782.01 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 176879 1322 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737629720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 45440
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 26601
/proc/meminfo: memFree=31578412/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1785.2 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 177197 1323 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737630024 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 45440
[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578536/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1786.81 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 177356 1325 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737630088 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 45440
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578536/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1788.41 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 177515 1326 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737629992 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 45440
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578536/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1789.21 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 177594 1327 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737629608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 45440
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578536/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1789.61 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 177634 1327 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737629608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 45440
[startup+1790 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26601
/proc/meminfo: memFree=31578536/32873844 swapFree=7116/7116
[pid=26548] ppid=26546 vsize=45440 CPUtime=1789.71 cores=1,3,5,7
/proc/26548/stat : 26548 (pbscip.linux.x8) R 26546 26548 25766 0 -1 4202496 27225 0 0 0 177644 1327 0 0 20 0 1 0 334708577 46530560 10792 33554432000 4194304 8395647 140735737634480 140735737629992 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26548/statm: 11360 10792 640 1026 0 10330 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 45440
Child status: 0
Real time (s): 1790.06
CPU time (s): 1789.78
CPU user time (s): 1776.5
CPU system time (s): 13.273
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 45440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.5
system time used= 13.273
maximum resident set size= 43172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27229
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= 17
involuntary context switches= 1840
runsolver used 2.73558 second user time and 7.2239 second system time
The end