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-3731379-1338685412.opb>
0.00/0.01 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 470 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+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, 470 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 4 del conss, 0 chg bounds, 110 chg sides, 354 chg coeffs, 470 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 35 del conss, 0 chg bounds, 218 chg sides, 513 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (round 5) 0 del vars, 43 del conss, 0 chg bounds, 235 chg sides, 542 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (round 6) 0 del vars, 44 del conss, 0 chg bounds, 241 chg sides, 552 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (round 7) 0 del vars, 44 del conss, 0 chg bounds, 242 chg sides, 553 chg coeffs, 470 upgd conss, 224 impls, 1 clqs
0.00/0.03 c (0.0s) probing: 101/470 (21.5%) - 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, 44 deleted constraints, 0 tightened bounds, 0 added holes, 242 changed sides, 553 changed coefficients
0.00/0.03 c 224 implications, 1 cliques
0.00/0.03 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 538 constraints
0.00/0.03 c 450 constraints of type <knapsack>
0.00/0.03 c 86 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 | 2065 | - |2563k| 0 | 314 | 470 | 538 | 470 | 538 | 0 | 0 | 0 | 1.455151e+02 | 4.700000e+02 | 222.99%
0.29/0.31 o 328
0.29/0.31 c r 0.3s| 1 | 0 | 2065 | - |2577k| 0 | 314 | 470 | 538 | 470 | 538 | 0 | 0 | 0 | 1.455151e+02 | 3.280000e+02 | 125.41%
0.29/0.32 o 327
0.29/0.32 c R 0.3s| 1 | 0 | 2065 | - |2590k| 0 | 314 | 470 | 538 | 470 | 538 | 0 | 0 | 0 | 1.455151e+02 | 3.270000e+02 | 124.72%
0.29/0.32 o 326
0.29/0.32 c s 0.3s| 1 | 0 | 2065 | - |2603k| 0 | 314 | 470 | 538 | 470 | 538 | 0 | 0 | 0 | 1.455151e+02 | 3.260000e+02 | 124.03%
0.59/0.61 o 225
0.59/0.61 c y 0.6s| 1 | 0 | 2065 | - |2948k| 0 | 314 | 470 | 538 | 470 | 538 | 0 | 0 | 0 | 1.455151e+02 | 2.250000e+02 | 54.62%
0.89/0.91 c 0.9s| 1 | 0 | 2997 | - |2884k| 0 | 364 | 470 | 538 | 470 | 770 | 232 | 0 | 0 | 1.535404e+02 | 2.250000e+02 | 46.54%
1.39/1.42 c 1.4s| 1 | 0 | 3979 | - |3112k| 0 | 393 | 470 | 538 | 470 | 958 | 420 | 0 | 0 | 1.575425e+02 | 2.250000e+02 | 42.82%
1.89/1.97 c 2.0s| 1 | 0 | 4917 | - |3299k| 0 | 416 | 470 | 538 | 470 |1097 | 559 | 0 | 0 | 1.600409e+02 | 2.250000e+02 | 40.59%
2.49/2.53 c 2.5s| 1 | 0 | 5692 | - |3421k| 0 | 426 | 470 | 538 | 470 |1195 | 657 | 0 | 0 | 1.610551e+02 | 2.250000e+02 | 39.70%
2.99/3.05 c 3.0s| 1 | 0 | 6193 | - |3506k| 0 | 433 | 470 | 538 | 470 |1281 | 743 | 0 | 0 | 1.615641e+02 | 2.250000e+02 | 39.26%
3.49/3.59 c 3.6s| 1 | 0 | 6668 | - |3559k| 0 | 434 | 470 | 538 | 470 |1327 | 789 | 0 | 0 | 1.618575e+02 | 2.250000e+02 | 39.01%
3.99/4.07 c 4.1s| 1 | 0 | 6991 | - |3585k| 0 | 434 | 470 | 538 | 470 |1353 | 815 | 0 | 0 | 1.620054e+02 | 2.250000e+02 | 38.88%
4.40/4.43 c 4.4s| 1 | 0 | 7153 | - |3595k| 0 | 435 | 470 | 538 | 470 |1363 | 825 | 0 | 0 | 1.620358e+02 | 2.250000e+02 | 38.86%
4.69/4.77 c 4.8s| 1 | 0 | 7205 | - |3603k| 0 | 433 | 470 | 538 | 470 |1368 | 830 | 0 | 0 | 1.620425e+02 | 2.250000e+02 | 38.85%
8.29/8.39 c 8.4s| 1 | 2 | 7205 | - |3624k| 0 | 433 | 470 | 538 | 470 |1368 | 830 | 0 | 16 | 1.620425e+02 | 2.250000e+02 | 38.85%
36.38/36.47 o 223
36.38/36.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.38/36.47 c c36.5s| 15 | 16 | 19548 | 881.6 |4359k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.230000e+02 | 37.43%
36.38/36.47 o 221
36.38/36.47 c c36.5s| 15 | 16 | 19588 | 884.5 |4362k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.210000e+02 | 36.19%
36.38/36.47 o 220
36.38/36.47 c c36.5s| 15 | 16 | 19600 | 885.4 |4364k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.200000e+02 | 35.58%
36.38/36.47 o 219
36.38/36.47 c c36.5s| 15 | 16 | 19601 | 885.4 |4365k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.190000e+02 | 34.96%
36.38/36.48 o 218
36.38/36.48 c c36.5s| 15 | 16 | 19646 | 888.6 |4371k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.180000e+02 | 34.35%
36.38/36.48 o 217
36.38/36.48 c c36.5s| 15 | 16 | 19647 | 888.7 |4372k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.170000e+02 | 33.73%
36.38/36.48 o 216
36.38/36.48 c c36.5s| 15 | 16 | 19649 | 888.9 |4373k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.160000e+02 | 33.11%
36.38/36.48 o 215
36.38/36.48 c c36.5s| 15 | 16 | 19665 | 890.0 |4377k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.150000e+02 | 32.50%
36.38/36.48 o 214
36.38/36.48 c c36.5s| 15 | 16 | 19670 | 890.4 |4380k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.140000e+02 | 31.88%
36.48/36.50 o 214
36.48/36.50 c c36.5s| 15 | 16 | 19793 | 899.1 |4407k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.140000e+02 | 31.88%
36.48/36.51 o 213
36.48/36.51 c c36.5s| 15 | 16 | 19795 | 899.3 |4408k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.130000e+02 | 31.26%
36.48/36.51 o 212
36.48/36.51 c c36.5s| 15 | 16 | 19801 | 899.7 |4410k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.120000e+02 | 30.65%
36.48/36.51 o 210
36.48/36.51 c b36.5s| 16 | 15 | 19817 | 840.8 |4294k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.100000e+02 | 29.42%
38.18/38.25 o 209
38.18/38.25 c p38.2s| 27 | 28 | 29072 | 841.0 |4468k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.090000e+02 | 28.80%
38.18/38.25 o 208
38.18/38.25 c p38.2s| 27 | 28 | 29075 | 841.2 |4469k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.080000e+02 | 28.18%
38.18/38.25 o 207
38.18/38.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.18/38.25 c p38.2s| 27 | 28 | 29077 | 841.2 |4470k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.070000e+02 | 27.57%
38.18/38.25 o 202
38.18/38.25 c p38.2s| 27 | 28 | 29079 | 841.3 |4471k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.020000e+02 | 24.49%
38.18/38.25 o 202
38.18/38.25 c p38.2s| 27 | 28 | 29085 | 841.5 |4472k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 2.020000e+02 | 24.49%
38.18/38.25 o 199
38.18/38.25 c p38.2s| 27 | 28 | 29122 | 843.0 |4474k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.990000e+02 | 22.64%
38.18/38.25 o 196
38.18/38.25 c p38.2s| 27 | 28 | 29135 | 843.5 |4475k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.960000e+02 | 20.79%
38.18/38.25 o 195
38.18/38.25 c p38.2s| 27 | 28 | 29139 | 843.6 |4476k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.950000e+02 | 20.17%
38.18/38.25 o 193
38.18/38.25 c p38.2s| 27 | 28 | 29148 | 844.0 |4477k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.930000e+02 | 18.94%
38.18/38.26 o 192
38.18/38.26 c p38.2s| 27 | 28 | 29149 | 844.0 |4478k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.920000e+02 | 18.32%
38.18/38.26 o 191
38.18/38.26 c p38.2s| 27 | 28 | 29155 | 844.2 |4480k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.910000e+02 | 17.71%
38.18/38.26 o 191
38.18/38.26 c p38.2s| 27 | 28 | 29170 | 844.8 |4481k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.910000e+02 | 17.71%
38.18/38.26 o 190
38.18/38.26 c p38.2s| 27 | 28 | 29174 | 845.0 |4482k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.900000e+02 | 17.09%
38.18/38.26 o 189
38.18/38.26 c p38.3s| 27 | 28 | 29186 | 845.4 |4485k| 14 | - | 470 | 538 | 470 | 969 | 830 | 0 | 298 | 1.622674e+02 | 1.890000e+02 | 16.47%
544.60/544.75 c 545s| 10000 | 7321 | 2773k| 276.6 | 10M| 121 | - | 470 | 638 | 470 | 969 | 830 | 102 |1317 | 1.630503e+02 | 1.890000e+02 | 15.92%
778.57/778.79 c 779s| 20000 | 12315 | 4150k| 207.2 | 14M| 121 | 152 | 470 | 669 | 470 | 969 | 830 | 151 |1767 | 1.632367e+02 | 1.890000e+02 | 15.78%
1024.93/1025.13 c 1025s| 30000 | 17039 | 5585k| 185.9 | 18M| 121 | - | 470 | 673 | 470 | 969 | 830 | 212 |2277 | 1.633508e+02 | 1.890000e+02 | 15.70%
1267.39/1267.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.39/1267.62 c 1268s| 40000 | 21665 | 7002k| 174.9 | 21M| 121 | - | 470 | 681 | 470 | 969 | 830 | 265 |2678 | 1.634390e+02 | 1.890000e+02 | 15.64%
1497.46/1497.75 c 1498s| 50000 | 26135 | 8359k| 167.0 | 25M| 121 | 105 | 470 | 673 | 470 | 969 | 830 | 317 |3045 | 1.634943e+02 | 1.890000e+02 | 15.60%
1527.35/1527.66 o 186
1527.35/1527.66 c C1528s| 51220 | 14979 | 8531k| 166.4 | 15M| 121 | - | 470 | 675 | 470 | 969 | 830 | 325 |3105 | 1.635050e+02 | 1.860000e+02 | 13.76%
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 : 59193
1789.71/1790.01 c Primal Bound : +1.86000000000000e+02 (716 solutions)
1789.71/1790.01 c Dual Bound : +1.63569062632381e+02
1789.71/1790.01 c Gap : 13.71 %
1789.71/1790.01 s SATISFIABLE
1789.71/1790.01 v -x470 -x469 x468 -x467 -x466 x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 x457 x456 -x455 -x454 -x453 -x452 x451 x450 -x449 -x448
1789.71/1790.01 v -x447 x446 -x445 -x444 -x443 -x442 x441 x440 -x439 -x438 x437 -x436 x435 -x434 x433 -x432 -x431 x430 x429 x428 x427 -x426
1789.71/1790.01 v x425 -x424 x423 -x422 x421 x420 -x419 x418 -x417 -x416 x415 x414 -x413 -x412 -x411 x410 x409 -x408 -x407 -x406 x405 x404 -x403
1789.71/1790.01 v -x402 -x401 -x400 -x399 x398 x397 x396 x395 x394 -x393 -x392 -x391 -x390 x389 -x388 x387 -x386 x385 x384 -x383 -x382 -x381
1789.71/1790.01 v x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 -x362 -x361 -x360 x359 -x358
1789.71/1790.01 v -x357 x356 -x355 x354 x353 x352 x351 -x350 -x349 x348 x347 x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 x337 -x336
1789.71/1790.01 v x335 -x334 x333 x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 x316 -x315 x314
1789.71/1790.01 v x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 x295 -x294 -x293 -x292
1789.71/1790.01 v -x291 x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 x282 x281 x280 -x279 x278 x277 -x276 -x275 -x274 -x273 x272 x271 -x270
1789.71/1790.01 v -x269 -x268 -x267 x266 x265 x264 x263 -x262 -x261 x260 -x259 -x258 x257 -x256 -x255 x254 x253 -x252 x251 x250 x249 -x248 -x247
1789.71/1790.01 v -x246 x245 -x244 x243 x242 x241 -x240 x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227 -x226 x225
1789.71/1790.01 v x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 x210 -x209 -x208 x207 x206 x205 x204 x203 -x202
1789.71/1790.01 v -x201 -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 x192 x191 x190 x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 -x180
1789.71/1790.01 v -x179 -x178 -x177 x176 -x175 -x174 x173 x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 x162 -x161 -x160 -x159 -x158
1789.71/1790.01 v -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137
1789.71/1790.01 v x136 -x135 x134 -x133 -x132 -x131 x130 -x129 x128 -x127 x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 -x117 -x116 -x115 -x114
1789.71/1790.01 v x113 -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 x103 x102 -x101 x100 x99 x98 -x97 -x96 -x95 -x94 -x93 x92 -x91
1789.71/1790.01 v -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 -x63
1789.71/1790.01 v 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 -x36 x35
1789.71/1790.01 v -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 -x9 -x8 x7
1789.71/1790.01 v -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-3731379-1338685412.opb
1789.71/1790.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 470 initial, 470 maximal
1789.71/1790.01 c Presolved Problem :
1789.71/1790.01 c Problem name : t_HOME/instance-3731379-1338685412.opb
1789.71/1790.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.01 c Constraints : 538 initial, 683 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 241 511
1789.71/1790.01 c setppc : 0.00 0 0 0 0 0 26 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 44540 0 0 37 0 0 89026
1789.71/1790.01 c knapsack : 450 10 270636 0 0 0 266578 821 0 0
1789.71/1790.01 c setppc : 86 10 270636 0 0 0 18751 0 0 0
1789.71/1790.01 c logicor : 2+ 10 51297 0 0 0 221 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 : 119.79 0.00 0.00 119.79 0.00
1789.71/1790.01 c knapsack : 6.44 0.03 6.40 0.00 0.00
1789.71/1790.01 c setppc : 0.24 0.00 0.24 0.00 0.00
1789.71/1790.01 c logicor : 0.08 0.00 0.08 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 25 0 0
1789.71/1790.01 c pseudoobj : 1.88 271142 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 375 375 375 3.9 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 : - - - 375 3.9 - - -
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 9 - - 363 - (maximal pool size: 1562)
1789.71/1790.01 c redcost : 1.40 72256 0 755882 0 0
1789.71/1790.01 c impliedbounds : 0.00 10 0 0 45 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.30 10 0 0 0 0
1789.71/1790.01 c strongcg : 1.23 10 0 0 0 0
1789.71/1790.01 c cmir : 0.22 10 0 0 928 0
1789.71/1790.01 c flowcover : 0.26 10 0 0 1056 0
1789.71/1790.01 c clique : 0.00 10 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 : 119.77 44540 0 37 0 0 89026
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 5 1
1789.71/1790.01 c crossover : 0.12 3 2
1789.71/1790.01 c linesearchdiving : 49.05 73 0
1789.71/1790.01 c veclendiving : 70.01 88 57
1789.71/1790.01 c rootsoldiving : 12.92 80 0
1789.71/1790.01 c coefdiving : 250.96 259 170
1789.71/1790.01 c pscostdiving : 240.23 368 253
1789.71/1790.01 c trivial : 0.00 2 3
1789.71/1790.01 c simplerounding : 0.99 65973 24
1789.71/1790.01 c zirounding : 0.27 1000 14
1789.71/1790.01 c rounding : 9.52 11977 1
1789.71/1790.01 c shifting : 2.60 3330 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 fracdiving : 58.15 57 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 objpscostdiving : 44.23 19 189
1789.71/1790.01 c guideddiving : 57.37 62 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 : 848.19 80590 5247530 65.11 6186.74
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: 763.37 103953 4727217 45.47 6192.58
1789.71/1790.01 c strong branching : 117.87 3401 593493 174.51 5035.10
1789.71/1790.01 c (at root node) : - 16 11822 738.88 -
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 : 59193
1789.71/1790.01 c nodes (total) : 59193
1789.71/1790.01 c nodes left : 18106
1789.71/1790.01 c max depth : 121
1789.71/1790.01 c max depth (total): 121
1789.71/1790.01 c backtracks : 7911 (13.4%)
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.27
1789.71/1790.01 c switching time : 2.14
1789.71/1790.01 c Solution :
1789.71/1790.01 c Solutions found : 716 (33 improvements)
1789.71/1790.01 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1789.71/1790.01 c Primal Bound : +1.86000000000000e+02 (in run 1, after 51220 nodes, 1527.64 seconds, depth 105, found by <crossover>)
1789.71/1790.01 c Dual Bound : +1.63569062632381e+02
1789.71/1790.01 c Gap : 13.71 %
1789.71/1790.01 c Root Dual Bound : +1.62042508208614e+02
1789.71/1790.01 c Root Iterations : 7205
1789.71/1790.05 c Time complete: 1789.76.
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-3731379-1338685412/watcher-3731379-1338685412 -o /tmp/evaluation-result-3731379-1338685412/solver-3731379-1338685412 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3731379-1338685412.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.04 2.01 1.94 3/177 22957
/proc/meminfo: memFree=28406424/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 1390 0 0 0 0 0 0 0 20 0 1 0 334665709 9158656 1337 33554432000 4194304 8395647 140736190024016 140737434940504 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 2236 1348 374 1026 0 1206 0
[startup+0.0701201 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 22957
/proc/meminfo: memFree=28406424/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=18160 CPUtime=0.06 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 4037 0 0 0 6 0 0 0 20 0 1 0 334665709 18595840 3630 33554432000 4194304 8395647 140736190024016 140737434940504 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 4540 3630 572 1026 0 3510 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18160
[startup+0.100289 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 22957
/proc/meminfo: memFree=28406424/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=18160 CPUtime=0.09 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 4043 0 0 0 9 0 0 0 20 0 1 0 334665709 18595840 3636 33554432000 4194304 8395647 140736190024016 140737434940504 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 4540 3636 577 1026 0 3510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18160
[startup+0.300223 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 22957
/proc/meminfo: memFree=28406424/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=19580 CPUtime=0.29 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 4403 0 0 0 29 0 0 0 20 0 1 0 334665709 20049920 3996 33554432000 4194304 8395647 140736190024016 140737434940504 6741232 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 4895 3996 577 1026 0 3865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19580
[startup+0.700241 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 22957
/proc/meminfo: memFree=28406424/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=21668 CPUtime=0.68 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 7228 0 0 0 67 1 0 0 20 0 1 0 334665709 22188032 4585 33554432000 4194304 8395647 140736190024016 140736190019816 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 5417 4585 630 1026 0 4387 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21668
[startup+1.50022 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 22958
/proc/meminfo: memFree=28390792/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=21668 CPUtime=1.49 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 7234 0 0 0 147 2 0 0 20 0 1 0 334665709 22188032 4591 33554432000 4194304 8395647 140736190024016 140736190019816 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 5417 4591 630 1026 0 4387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21668
[startup+3.10023 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 22958
/proc/meminfo: memFree=28389692/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=23640 CPUtime=3.09 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 7731 0 0 0 306 3 0 0 20 0 1 0 334665709 24207360 5088 33554432000 4194304 8395647 140736190024016 140736190019256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 5910 5088 630 1026 0 4880 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23640
[startup+6.30022 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 22958
/proc/meminfo: memFree=28385600/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=26360 CPUtime=6.29 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 8436 0 0 0 624 5 0 0 20 0 1 0 334665709 26992640 5780 33554432000 4194304 8395647 140736190024016 140736190018888 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 6590 5780 632 1026 0 5560 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26360
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 22958
/proc/meminfo: memFree=28385300/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=26360 CPUtime=12.69 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 8437 0 0 0 1260 9 0 0 20 0 1 0 334665709 26992640 5781 33554432000 4194304 8395647 140736190024016 140736190018888 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 6590 5781 633 1026 0 5560 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26360
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 22958
/proc/meminfo: memFree=28385804/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=26360 CPUtime=25.48 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 8437 0 0 0 2532 16 0 0 20 0 1 0 334665709 26992640 5781 33554432000 4194304 8395647 140736190024016 140736190018888 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 6590 5781 633 1026 0 5560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26360
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 22958
/proc/meminfo: memFree=28385168/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=26360 CPUtime=51.08 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 8449 0 0 0 5074 34 0 0 20 0 1 0 334665709 26992640 6134 33554432000 4194304 8395647 140736190024016 140736190019320 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 6590 6134 636 1026 0 5560 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26360
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22958
/proc/meminfo: memFree=28387580/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=24812 CPUtime=102.27 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 10045 0 0 0 10158 69 0 0 20 0 1 0 334665709 25407488 5728 33554432000 4194304 8395647 140736190024016 140736190018984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 6203 5728 642 1026 0 5173 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24812
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22958
/proc/meminfo: memFree=28387332/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=24812 CPUtime=162.26 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 10047 0 0 0 16114 112 0 0 20 0 1 0 334665709 25407488 5730 33554432000 4194304 8395647 140736190024016 140736190019656 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 6203 5730 642 1026 0 5173 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24812
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22959
/proc/meminfo: memFree=28381260/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=30816 CPUtime=222.25 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12042 0 0 0 22071 154 0 0 20 0 1 0 334665709 31555584 7210 33554432000 4194304 8395647 140736190024016 140736190018952 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7704 7210 642 1026 0 6674 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 30816
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22959
/proc/meminfo: memFree=28380884/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=30816 CPUtime=282.24 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12042 0 0 0 28027 197 0 0 20 0 1 0 334665709 31555584 7286 33554432000 4194304 8395647 140736190024016 140736190019240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7704 7286 642 1026 0 6674 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30816
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22959
/proc/meminfo: memFree=28380904/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=30816 CPUtime=342.23 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12043 0 0 0 33985 238 0 0 20 0 1 0 334665709 31555584 7286 33554432000 4194304 8395647 140736190024016 140736190019224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7704 7286 642 1026 0 6674 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30816
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 22962
/proc/meminfo: memFree=28381036/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=30816 CPUtime=402.22 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12043 0 0 0 39944 278 0 0 20 0 1 0 334665709 31555584 7286 33554432000 4194304 8395647 140736190024016 140736190019240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7704 7286 642 1026 0 6674 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 30816
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 22962
/proc/meminfo: memFree=28381564/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=30816 CPUtime=462.21 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12043 0 0 0 45890 331 0 0 20 0 1 0 334665709 31555584 7286 33554432000 4194304 8395647 140736190024016 140736190018872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7704 7286 642 1026 0 6674 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 30816
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 22963
/proc/meminfo: memFree=28381068/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=31840 CPUtime=522.21 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12267 0 0 0 51844 377 0 0 20 0 1 0 334665709 32604160 7510 33554432000 4194304 8395647 140736190024016 140736190019688 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7960 7510 642 1026 0 6930 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 31840
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 22963
/proc/meminfo: memFree=28381316/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=31840 CPUtime=582.2 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 12267 0 0 0 57801 419 0 0 20 0 1 0 334665709 32604160 7510 33554432000 4194304 8395647 140736190024016 140736190019624 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 7960 7510 642 1026 0 6930 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 31840
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28431020/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=41276 CPUtime=1062.12 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 15381 0 0 0 105431 781 0 0 20 0 1 0 334665709 42266624 9852 33554432000 4194304 8395647 140736190024016 140736190019144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 10319 9852 642 1026 0 9289 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 41276
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23006
/proc/meminfo: memFree=28430056/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=41580 CPUtime=1122.11 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 15446 0 0 0 111387 824 0 0 20 0 1 0 334665709 42577920 9916 33554432000 4194304 8395647 140736190024016 140736190019144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 10395 9916 642 1026 0 9365 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 41580
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23006
/proc/meminfo: memFree=28429312/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=42036 CPUtime=1182.1 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 15607 0 0 0 117343 867 0 0 20 0 1 0 334665709 43044864 10077 33554432000 4194304 8395647 140736190024016 140736190019144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 10509 10077 642 1026 0 9479 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 42036
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23006
/proc/meminfo: memFree=28426768/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=42664 CPUtime=1242.09 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 15735 0 0 0 123298 911 0 0 20 0 1 0 334665709 43687936 10205 33554432000 4194304 8395647 140736190024016 140736190019240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 10666 10205 642 1026 0 9636 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 42664
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23006
/proc/meminfo: memFree=28423916/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=44104 CPUtime=1302.09 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 16078 0 0 0 129254 955 0 0 20 0 1 0 334665709 45162496 10548 33554432000 4194304 8395647 140736190024016 140736190019256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 11026 10548 642 1026 0 9996 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 44104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23006
/proc/meminfo: memFree=28423792/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=44608 CPUtime=1362.07 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 16190 0 0 0 135203 1004 0 0 20 0 1 0 334665709 45678592 10660 33554432000 4194304 8395647 140736190024016 140736190019480 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 11152 10660 642 1026 0 10122 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 44608
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 23006
/proc/meminfo: memFree=28421876/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=45860 CPUtime=1422.07 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 16508 0 0 0 141158 1049 0 0 20 0 1 0 334665709 46960640 10977 33554432000 4194304 8395647 140736190024016 140736190019224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 11465 10977 642 1026 0 10435 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 45860
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23007
/proc/meminfo: memFree=28420164/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=47656 CPUtime=1482.05 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 16987 0 0 0 147112 1093 0 0 20 0 1 0 334665709 48799744 11456 33554432000 4194304 8395647 140736190024016 140736190019416 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 11914 11456 642 1026 0 10884 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 47656
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23007
/proc/meminfo: memFree=28420164/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=47976 CPUtime=1542.04 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 19933 0 0 0 153067 1137 0 0 20 0 1 0 334665709 49127424 11509 33554432000 4194304 8395647 140736190024016 140736190019192 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 11994 11509 642 1026 0 10964 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 47976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23010
/proc/meminfo: memFree=28420144/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=47960 CPUtime=1602.04 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 21424 0 0 0 159022 1182 0 0 20 0 1 0 334665709 49111040 11528 33554432000 4194304 8395647 140736190024016 140736190019576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 11990 11528 642 1026 0 10960 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 47960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23010
/proc/meminfo: memFree=28419116/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48012 CPUtime=1662.03 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 22152 0 0 0 164979 1224 0 0 20 0 1 0 334665709 49164288 11520 33554432000 4194304 8395647 140736190024016 140736190019624 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12003 11520 642 1026 0 10973 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 48012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23011
/proc/meminfo: memFree=28417432/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48012 CPUtime=1722.01 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 22205 0 0 0 170933 1268 0 0 20 0 1 0 334665709 49164288 11573 33554432000 4194304 8395647 140736190024016 140736190019528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12003 11573 642 1026 0 10973 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 48012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1782.01 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 176892 1309 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 48604
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1785.2 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 177209 1311 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 48604
[startup+1787.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1786.8 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 177367 1313 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019688 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1786.8
Current children cumulated vsize (KiB) 48604
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1788.4 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 177526 1314 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 48604
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1789.21 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 177606 1315 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019144 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 48604
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1789.61 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 177646 1315 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 48604
[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23012
/proc/meminfo: memFree=28416040/32873648 swapFree=7388/7388
[pid=22957] ppid=22955 vsize=48604 CPUtime=1789.71 cores=1,3,5,7
/proc/22957/stat : 22957 (pbscip.linux.x8) R 22955 22957 21664 0 -1 4202496 23001 0 0 0 177656 1315 0 0 20 0 1 0 334665709 49770496 11703 33554432000 4194304 8395647 140736190024016 140736190019576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22957/statm: 12151 11703 642 1026 0 11121 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 48604
Child status: 0
Real time (s): 1790.05
CPU time (s): 1789.77
CPU user time (s): 1776.62
CPU system time (s): 13.154
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 48604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.62
system time used= 13.154
maximum resident set size= 54200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23005
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= 20
involuntary context switches= 1841
runsolver used 2.6536 second user time and 7.11492 second system time
The end