0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-3738050-1338751685.opb>
0.00/0.01 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.04/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5044 impls, 100 clqs
0.04/0.06 c presolving (2 rounds):
0.04/0.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 5044 implications, 100 cliques
0.04/0.06 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints
0.04/0.06 c 1 constraints of type <knapsack>
0.04/0.06 c 100 constraints of type <setppc>
0.04/0.06 c 618 constraints of type <and>
0.04/0.06 c 1 constraints of type <linear>
0.04/0.06 c 50 constraints of type <logicor>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.03
0.04/0.06 c SATUNSAT-NLC
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c separating/flowcover/freq = c -1
0.04/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c separating/cmir/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/veclendiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.04/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/veclendiving/freq = c -1
0.04/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/simplerounding/freq = c -1
0.04/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/shifting/freq = c -1
0.04/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/rounding/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.04/0.06 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.04/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/rootsoldiving/freq = c -1
0.04/0.06 c # number of nodes added to the contingent of the total nodes
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.06 c heuristics/rens/nodesofs = c 2000
0.04/0.06 c # minimum percentage of integer variables that have to be fixable
0.04/0.06 c # [type: real, range: [0,1], default: 0.5]
0.04/0.06 c heuristics/rens/minfixingrate = c 0.3
0.04/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/rens/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.04/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/pscostdiving/freq = c -1
0.04/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/oneopt/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.04/0.06 c # [type: real, range: [0,1], default: 0.01]
0.04/0.06 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.04/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/objpscostdiving/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.04/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/linesearchdiving/freq = c -1
0.04/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/intshifting/freq = c -1
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/intdiving/maxlpiterquot = c 0.075
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/guideddiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.04/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/guideddiving/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/fracdiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.04/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/fracdiving/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/feaspump/maxlpiterofs = c 2000
0.04/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/feaspump/freq = c -1
0.04/0.06 c # minimum percentage of integer variables that have to be fixed
0.04/0.06 c # [type: real, range: [0,1], default: 0.666]
0.04/0.06 c heuristics/crossover/minfixingrate = c 0.5
0.04/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.04/0.06 c # [type: real, range: [0,1], default: 0.1]
0.04/0.06 c heuristics/crossover/nodesquot = c 0.15
0.04/0.06 c # number of nodes without incumbent change that heuristic should wait
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.04/0.06 c heuristics/crossover/nwaitingnodes = c 100
0.04/0.06 c # number of nodes added to the contingent of the total nodes
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.06 c heuristics/crossover/nodesofs = c 750
0.04/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.04/0.06 c heuristics/crossover/freq = c -1
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/coefdiving/maxlpiterofs = c 1500
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.04/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/coefdiving/freq = c -1
0.04/0.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c presolving/probing/maxrounds = c 0
0.04/0.06 c # should presolving try to simplify knapsacks
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/knapsack/simplifyinequalities = c TRUE
0.04/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.04/0.06 c constraints/knapsack/disaggregation = c FALSE
0.04/0.06 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c constraints/knapsack/maxnumcardlift = c 0
0.04/0.06 c # should presolving try to simplify inequalities
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/linear/simplifyinequalities = c TRUE
0.04/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/maxroundsroot = c 5
0.04/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.04/0.06 c separating/maxrounds = c 1
0.04/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c limits/solutions = c 1
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = c 13950
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = c 1791
0.04/0.06 c # frequency for displaying node information lines
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.06 c display/freq = c 10000
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving problem
0.04/0.06 c
0.04/0.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.07 c 0.0s| 1 | 0 | 115 |3258k| 0 | 61 | 718 | 770 | 770 | 718 |1388 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 139 |3275k| 0 | 61 | 718 | 770 | 770 | 718 |1389 | 1 | 0 | 0 | 3.000000e+01 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 213 |3328k| 0 | 63 | 718 | 770 | 770 | 718 |1391 | 3 | 0 | 0 | 3.000000e+01 | -- | Inf
0.29/0.30 c 0.2s| 1 | 0 | 274 |3406k| 0 | 62 | 718 | 770 | 770 | 718 |1392 | 4 | 0 | 0 | 3.000000e+01 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 353 |3527k| 0 | 63 | 718 | 770 | 770 | 718 |1393 | 5 | 0 | 0 | 3.000000e+01 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 399 |3647k| 0 | 63 | 718 | 770 | 770 | 718 |1394 | 6 | 0 | 0 | 3.000000e+01 | -- | Inf
1.29/1.37 c 1.3s| 1 | 2 | 399 |3648k| 0 | 63 | 718 | 770 | 770 | 718 |1394 | 6 | 0 | 33 | 3.000000e+01 | -- | Inf
56.08/56.12 c 55.1s| 10000 | 1276 |545717 | 14M| 47 | - | 718 |3671 | 367 | 718 | 392 | 136k|8524 |5566 | 3.000000e+01 | -- | Inf
100.56/100.60 c 98.8s| 20000 | 2208 | 1094k| 20M| 53 | 50 | 718 |3154 | 842 | 718 | 378 | 273k| 17k|6687 | 3.000000e+01 | -- | Inf
145.75/145.89 c 143s| 30000 | 3204 | 1647k| 27M| 53 | - | 718 |3579 | 339 | 718 | 366 | 408k| 26k|8124 | 3.000000e+01 | -- | Inf
192.54/192.64 c 189s| 40000 | 4120 | 2219k| 33M| 53 | - | 718 |3377 | 382 | 718 | 430 | 552k| 34k|9501 | 3.000000e+01 | -- | Inf
241.23/241.35 c 237s| 50000 | 4858 | 2821k| 38M| 75 | 65 | 718 |3969 |1179 | 718 | 358 | 702k| 43k| 10k| 3.000000e+01 | -- | Inf
287.04/287.18 c 282s| 60000 | 5578 | 3396k| 43M| 87 | - | 718 |5164 | 248 | 718 | 406 | 838k| 51k| 11k| 3.000000e+01 | -- | Inf
289.82/289.90 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
333.62/333.72 c 328s| 70000 | 5898 | 3979k| 45M| 87 | - | 718 |3496 | 235 | 718 | 401 | 948k| 61k| 12k| 3.041176e+01 | -- | Inf
380.51/380.61 c 374s| 80000 | 6254 | 4569k| 49M| 87 | - | 718 |2837 | 442 | 718 | 360 |1064k| 70k| 13k| 3.051852e+01 | -- | Inf
426.50/426.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.50/426.64 c 419s| 90000 | 6624 | 5156k| 52M| 87 | - | 718 |2985 | 602 | 718 | 395 |1183k| 80k| 14k| 3.076471e+01 | -- | Inf
471.89/472.07 c 464s|100000 | 7006 | 5732k| 55M| 87 | 133 | 718 |2999 | 409 | 718 | 424 |1299k| 90k| 14k| 3.096296e+01 | -- | Inf
517.79/517.95 c 509s|110000 | 7288 | 6317k| 58M| 87 | - | 718 |3265 | 203 | 718 | 411 |1418k| 100k| 15k| 3.100000e+01 | -- | Inf
563.38/563.55 c 554s|120000 | 7510 | 6899k| 61M| 87 | - | 718 |3292 | 426 | 718 | 436 |1528k| 110k| 16k| 3.108000e+01 | -- | Inf
608.28/608.44 c 598s|130000 | 7778 | 7478k| 64M| 87 | - | 718 |3356 | 512 | 718 | 398 |1639k| 120k| 16k| 3.115385e+01 | -- | Inf
637.77/637.96 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
653.67/653.80 c 642s|140000 | 8094 | 8051k| 67M| 87 | - | 718 |3286 | 622 | 718 | 402 |1749k| 130k| 17k| 3.125000e+01 | -- | Inf
698.56/698.72 c 687s|150000 | 8400 | 8633k| 70M| 87 | - | 718 |3248 | 529 | 718 | 424 |1863k| 140k| 17k| 3.148000e+01 | -- | Inf
744.75/744.96 c 732s|160000 | 8678 | 9221k| 72M| 87 | - | 718 |3338 | 456 | 718 | 399 |1975k| 150k| 18k| 3.150000e+01 | -- | Inf
790.14/790.33 c 777s|170000 | 8966 | 9800k| 75M| 87 | 65 | 718 |3572 | 976 | 718 | 366 |2084k| 161k| 18k| 3.156000e+01 | -- | Inf
835.53/835.74 c 821s|180000 | 9324 | 10383k| 78M| 87 | - | 718 |3472 | 654 | 0 | 0 |2194k| 171k| 19k| 3.167857e+01 | -- | Inf
881.33/881.57 c 866s|190000 | 9646 | 10968k| 80M| 87 | - | 718 |3422 | 522 | 718 | 387 |2298k| 181k| 19k| 3.174627e+01 | -- | Inf
927.32/927.58 c 911s|200000 | 10006 | 11551k| 83M| 87 | 105 | 718 |3471 | 654 | 718 | 407 |2403k| 191k| 20k| 3.186207e+01 | -- | Inf
934.92/935.14 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
973.52/973.78 c 957s|210000 | 10368 | 12139k| 85M| 87 | 101 | 718 |3275 | 458 | 718 | 399 |2508k| 201k| 20k| 3.200000e+01 | -- | Inf
1019.30/1019.51 c 1002s|220000 | 10734 | 12720k| 88M| 87 | 105 | 718 |3241 | 633 | 718 | 431 |2609k| 211k| 21k| 3.200000e+01 | -- | Inf
1065.00/1065.26 c 1046s|230000 | 11088 | 13301k| 90M| 87 | - | 718 |3383 | 402 | 718 | 378 |2709k| 222k| 21k| 3.207407e+01 | -- | Inf
1110.80/1111.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.80/1111.01 c 1091s|240000 | 11460 | 13883k| 92M| 87 | - | 718 |3442 | 569 | 718 | 367 |2811k| 232k| 22k| 3.216216e+01 | -- | Inf
1155.89/1156.11 c 1136s|250000 | 11916 | 14458k| 94M| 87 | - | 718 |3196 | 440 | 718 | 416 |2911k| 242k| 22k| 3.227273e+01 | -- | Inf
1201.08/1201.37 c 1180s|260000 | 12446 | 15034k| 97M| 87 | 107 | 718 |3383 | 400 | 718 | 412 |3013k| 253k| 23k| 3.239130e+01 | -- | Inf
1246.17/1246.46 c 1224s|270000 | 13088 | 15610k| 100M| 87 | - | 718 |3150 | 440 | 718 | 421 |3115k| 263k| 23k| 3.250000e+01 | -- | Inf
1291.37/1291.65 c 1269s|280000 | 13676 | 16189k| 102M| 87 | - | 718 |3214 | 561 | 718 | 410 |3220k| 273k| 23k| 3.256000e+01 | -- | Inf
1336.26/1336.53 c 1313s|290000 | 14316 | 16763k| 105M| 87 | - | 718 |3227 | 526 | 718 | 414 |3326k| 283k| 24k| 3.260000e+01 | -- | Inf
1382.25/1382.58 c 1358s|300000 | 14940 | 17348k| 107M| 87 | - | 718 |3218 | 420 | 718 | 425 |3432k| 293k| 24k| 3.272727e+01 | -- | Inf
1428.14/1428.42 c 1403s|310000 | 15444 | 17931k| 110M| 87 | 106 | 718 |3131 | 493 | 718 | 411 |3535k| 303k| 25k| 3.288889e+01 | -- | Inf
1473.34/1473.69 c 1448s|320000 | 16034 | 18511k| 112M| 87 | - | 718 |3139 | 625 | 718 | 410 |3638k| 314k| 25k| 3.300000e+01 | -- | Inf
1517.83/1518.10 c 1491s|330000 | 16514 | 19084k| 115M| 87 | 89 | 718 |3413 | 461 | 718 | 395 |3738k| 324k| 26k| 3.300000e+01 | -- | Inf
1562.22/1562.55 c 1535s|340000 | 17116 | 19655k| 117M| 87 | 119 | 718 |3275 | 518 | 718 | 423 |3836k| 334k| 26k| 3.313043e+01 | -- | Inf
1607.52/1607.84 c 1579s|350000 | 17740 | 20232k| 120M| 87 | - | 718 |3056 | 642 | 718 | 420 |3938k| 345k| 27k| 3.330435e+01 | -- | Inf
1653.21/1653.50 c 1624s|360000 | 18304 | 20813k| 122M| 87 | - | 718 |3034 | 415 | 718 | 430 |4038k| 355k| 27k| 3.342857e+01 | -- | Inf
1698.30/1698.67 c 1669s|370000 | 18816 | 21393k| 125M| 87 | - | 718 |3117 | 691 | 718 | 414 |4138k| 366k| 27k| 3.356000e+01 | -- | Inf
1742.99/1743.33 c 1712s|380000 | 19338 | 21970k| 127M| 87 | - | 718 |3115 | 320 | 718 | 405 |4235k| 376k| 28k| 3.370588e+01 | -- | Inf
1788.59/1788.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.59/1788.90 c 1757s|390000 | 19778 | 22556k| 129M| 87 | 83 | 718 |3260 | 503 | 718 | 423 |4332k| 387k| 28k| 3.388889e+01 | -- | Inf
1800.09/1800.40 c
1800.09/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.40 c Solving Time (sec) : 1768.45
1800.09/1800.40 c Solving Nodes : 392450
1800.09/1800.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.40 c Dual Bound : +3.40000000000000e+01
1800.09/1800.40 c Gap : infinite
1800.09/1800.40 c NODE 392450
1800.09/1800.40 c DUAL BOUND 34
1800.09/1800.40 c PRIMAL BOUND 1e+20
1800.09/1800.40 c GAP 1e+20
1800.09/1800.40 s UNKNOWN
1800.09/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.40 c Solving Time : 1768.45
1800.09/1800.40 c Original Problem :
1800.09/1800.40 c Problem name : HOME/instance-3738050-1338751685.opb
1800.09/1800.40 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.40 c Constraints : 770 initial, 770 maximal
1800.09/1800.40 c Presolved Problem :
1800.09/1800.40 c Problem name : t_HOME/instance-3738050-1338751685.opb
1800.09/1800.40 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.40 c Constraints : 770 initial, 6405 maximal
1800.09/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c and : 0.02 0 0 0 0 0 0 0 0
1800.09/1800.40 c linear : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.40 c root node : - 0 - - 0 - - - -
1800.09/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.40 c integral : 0 0 0 209047 0 502 3553 0 0 412308
1800.09/1800.40 c knapsack : 1 5 1667363 472 0 54 2223 0 0 0
1800.09/1800.40 c setppc : 100 5 1667521 472 0 127 2157624 0 0 0
1800.09/1800.40 c and : 618 247622 1667394 472 0 1540 17929053 4358378 0 0
1800.09/1800.40 c linear : 1 5 1665852 0 0 57 158 0 0 0
1800.09/1800.40 c logicor : 50+ 5 646357 0 0 42 876884 0 0 0
1800.09/1800.40 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.40 c integral : 90.49 0.00 0.00 90.49 0.00
1800.09/1800.40 c knapsack : 0.32 0.00 0.32 0.00 0.00
1800.09/1800.40 c setppc : 3.03 0.00 3.03 0.00 0.00
1800.09/1800.40 c and : 27.80 8.72 19.08 0.00 0.00
1800.09/1800.40 c linear : 3.92 0.00 3.92 0.00 0.00
1800.09/1800.40 c logicor : 13.51 0.00 13.51 0.00 0.00
1800.09/1800.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.40 c rootredcost : 0.24 0 0 0
1800.09/1800.40 c pseudoobj : 18.77 1668045 0 0
1800.09/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.40 c propagation : 0.02 1820 1806 3096 17.0 25 26.7 -
1800.09/1800.40 c infeasible LP : 16.56 155014 150267 925879 31.3 246 4.0 0
1800.09/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.40 c applied globally : - - - 389604 33.9 - - -
1800.09/1800.40 c applied locally : - - - 0 0.0 - - -
1800.09/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.40 c cut pool : 0.00 4 - - 3 - (maximal pool size: 64)
1800.09/1800.40 c redcost : 4.54 247622 0 7 0 0
1800.09/1800.40 c impliedbounds : 0.00 5 0 0 0 0
1800.09/1800.40 c intobj : 0.00 0 0 0 0 0
1800.09/1800.40 c gomory : 0.21 5 0 0 1006 0
1800.09/1800.40 c strongcg : 0.19 5 0 0 2500 0
1800.09/1800.40 c cmir : 0.00 0 0 0 0 0
1800.09/1800.40 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.40 c clique : 0.00 5 0 0 0 0
1800.09/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.40 c mcf : 0.01 1 0 0 0 0
1800.09/1800.40 c Pricers : Time Calls Vars
1800.09/1800.40 c problem variables: 0.00 0 0
1800.09/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.40 c relpscost : 90.36 208575 502 3553 0 0 412308
1800.09/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.40 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.40 c random : 0.00 0 0 0 0 0 0
1800.09/1800.40 c Primal Heuristics : Time Calls Found
1800.09/1800.40 c LP solutions : 0.00 - 0
1800.09/1800.40 c pseudo solutions : 0.00 - 0
1800.09/1800.40 c simplerounding : 0.00 0 0
1800.09/1800.40 c rounding : 0.00 0 0
1800.09/1800.40 c shifting : 0.00 0 0
1800.09/1800.40 c intshifting : 0.00 0 0
1800.09/1800.40 c oneopt : 0.00 0 0
1800.09/1800.40 c fixandinfer : 0.00 0 0
1800.09/1800.40 c feaspump : 0.00 0 0
1800.09/1800.40 c coefdiving : 0.00 0 0
1800.09/1800.40 c pscostdiving : 0.00 0 0
1800.09/1800.40 c fracdiving : 0.00 0 0
1800.09/1800.40 c veclendiving : 0.00 0 0
1800.09/1800.40 c intdiving : 0.00 0 0
1800.09/1800.40 c actconsdiving : 0.00 0 0
1800.09/1800.40 c objpscostdiving : 0.00 0 0
1800.09/1800.40 c rootsoldiving : 0.00 0 0
1800.09/1800.40 c linesearchdiving : 0.00 0 0
1800.09/1800.40 c guideddiving : 0.00 0 0
1800.09/1800.40 c octane : 0.00 0 0
1800.09/1800.40 c rens : 0.00 0 0
1800.09/1800.40 c rins : 0.00 0 0
1800.09/1800.40 c localbranching : 0.00 0 0
1800.09/1800.40 c mutation : 0.00 0 0
1800.09/1800.40 c crossover : 0.00 0 0
1800.09/1800.40 c dins : 0.00 0 0
1800.09/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.40 c primal LP : 40.19 0 0 0.00 0.00
1800.09/1800.40 c dual LP : 1441.03 629502 22704018 36.07 15755.41
1800.09/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.40 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.40 c strong branching : 84.57 28668 1222975 42.66 14461.10
1800.09/1800.40 c (at root node) : - 33 5405 163.79 -
1800.09/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.40 c B&B Tree :
1800.09/1800.40 c number of runs : 1
1800.09/1800.40 c nodes : 392450
1800.09/1800.40 c nodes (total) : 392450
1800.09/1800.40 c nodes left : 19858
1800.09/1800.40 c max depth : 87
1800.09/1800.40 c max depth (total): 87
1800.09/1800.40 c backtracks : 32299 (8.2%)
1800.09/1800.40 c delayed cutoffs : 1
1800.09/1800.40 c repropagations : 534808 (330642 domain reductions, 1 cutoffs)
1800.09/1800.40 c avg switch length: 6.50
1800.09/1800.40 c switching time : 77.69
1800.09/1800.40 c Solution :
1800.09/1800.40 c Solutions found : 0 (0 improvements)
1800.09/1800.40 c Primal Bound : -
1800.09/1800.40 c Dual Bound : +3.40000000000000e+01
1800.09/1800.40 c Gap : infinite
1800.09/1800.40 c Root Dual Bound : +3.00000000000000e+01
1800.19/1800.55 c Time complete: 1800.24.
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-3738050-1338751685/watcher-3738050-1338751685 -o /tmp/evaluation-result-3738050-1338751685/solver-3738050-1338751685 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3738050-1338751685.opb
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.00 2.00 1.98 3/176 12467
/proc/meminfo: memFree=25099012/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=8888 CPUtime=0 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 1560 0 0 0 0 0 0 0 20 0 1 0 341295735 9101312 1513 33554432000 4194304 7823515 140736340012000 140734357640968 6883856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12467/statm: 2222 1514 351 887 0 1332 0
[startup+0.0456441 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12467
/proc/meminfo: memFree=25099012/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=13984 CPUtime=0.04 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 2910 0 0 0 2 2 0 0 20 0 1 0 341295735 14319616 2509 33554432000 4194304 7823515 140736340012000 140734357640968 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12467/statm: 3496 2509 404 887 0 2606 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13984
[startup+0.100236 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12467
/proc/meminfo: memFree=25099012/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=18792 CPUtime=0.09 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 4350 0 0 0 6 3 0 0 20 0 1 0 341295735 19243008 3910 33554432000 4194304 7823515 140736340012000 140734357640968 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12467/statm: 4698 3910 538 887 0 3808 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18792
[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12467
/proc/meminfo: memFree=25099012/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=25528 CPUtime=0.29 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 6064 0 0 0 25 4 0 0 20 0 1 0 341295735 26140672 5624 33554432000 4194304 7823515 140736340012000 140734357640968 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12467/statm: 6382 5624 552 887 0 5492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25528
[startup+0.700196 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12467
/proc/meminfo: memFree=25099012/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=32476 CPUtime=0.68 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 7853 0 0 0 64 4 0 0 20 0 1 0 341295735 33255424 7397 33554432000 4194304 7823515 140736340012000 140736340007144 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12467/statm: 8119 7397 555 887 0 7229 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32476
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 12468
/proc/meminfo: memFree=25071824/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=32736 CPUtime=1.49 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 7875 0 0 0 144 5 0 0 20 0 1 0 341295735 33521664 7419 33554432000 4194304 7823515 140736340012000 140736340007160 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 8184 7419 558 887 0 7294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32736
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.98 3/172 12535
/proc/meminfo: memFree=25414312/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=32736 CPUtime=3.09 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 7915 0 0 0 301 8 0 0 20 0 1 0 341295735 33521664 7448 33554432000 4194304 7823515 140736340012000 140736340006696 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 8184 7448 565 887 0 7294 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32736
[startup+6.30022 s]
/proc/loadavg: 2.16 2.03 1.99 3/177 12544
/proc/meminfo: memFree=25322060/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=32736 CPUtime=6.29 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 7915 0 0 0 615 14 0 0 20 0 1 0 341295735 33521664 7448 33554432000 4194304 7823515 140736340012000 140736340006696 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 8184 7448 565 887 0 7294 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32736
[startup+12.7002 s]
/proc/loadavg: 2.15 2.03 1.99 3/177 12544
/proc/meminfo: memFree=25316768/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=34444 CPUtime=12.68 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 8353 0 0 0 1244 24 0 0 20 0 1 0 341295735 35270656 8132 33554432000 4194304 7823515 140736340012000 140736340007800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 8611 8132 565 887 0 7721 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34444
[startup+25.5002 s]
/proc/loadavg: 2.11 2.03 1.99 3/177 12544
/proc/meminfo: memFree=25309744/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=39692 CPUtime=25.47 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 9679 0 0 0 2502 45 0 0 20 0 1 0 341295735 40644608 9471 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 9923 9471 565 887 0 9033 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 39692
[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 1.99 3/177 12544
/proc/meminfo: memFree=25298204/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=45260 CPUtime=51.07 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 11060 0 0 0 5017 90 0 0 20 0 1 0 341295735 46346240 10852 33554432000 4194304 7823515 140736340012000 140736340006328 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 11315 10852 565 887 0 10425 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45260
[startup+102.306 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 12544
/proc/meminfo: memFree=25278368/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=56104 CPUtime=102.27 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 13727 0 0 0 10046 181 0 0 20 0 1 0 341295735 57450496 13515 33554432000 4194304 7823515 140736340012000 140736340007800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 14026 13515 565 887 0 13136 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 56104
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 12548
/proc/meminfo: memFree=25267852/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=67704 CPUtime=162.25 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 16545 0 0 0 15944 281 0 0 20 0 1 0 341295735 69328896 16374 33554432000 4194304 7823515 140736340012000 140736340007688 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 16926 16374 565 887 0 16036 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 67704
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12548
/proc/meminfo: memFree=25251280/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=78216 CPUtime=222.24 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 19188 0 0 0 21839 385 0 0 20 0 1 0 341295735 80093184 19006 33554432000 4194304 7823515 140736340012000 140736340007752 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 19554 19006 565 887 0 18664 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78216
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 12549
/proc/meminfo: memFree=25242684/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=85768 CPUtime=282.23 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 21023 0 0 0 27733 490 0 0 20 0 1 0 341295735 87826432 20897 33554432000 4194304 7823515 140736340012000 140736340007800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 21442 20897 565 887 0 20552 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 85768
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12549
/proc/meminfo: memFree=25238680/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=89696 CPUtime=342.22 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 22065 0 0 0 33629 593 0 0 20 0 1 0 341295735 91848704 21939 33554432000 4194304 7823515 140736340012000 140736340008456 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 22424 21939 652 887 0 21534 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 89696
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12549
/proc/meminfo: memFree=25227568/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=94388 CPUtime=402.2 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 23227 0 0 0 39529 691 0 0 20 0 1 0 341295735 96653312 23201 33554432000 4194304 7823515 140736340012000 140736340007688 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 23597 23201 652 887 0 22707 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 94388
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12550
/proc/meminfo: memFree=25225124/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=98536 CPUtime=462.19 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 24214 0 0 0 45422 797 0 0 20 0 1 0 341295735 100900864 24188 33554432000 4194304 7823515 140736340012000 140736340007800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 24634 24188 652 887 0 23744 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 98536
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12550
/proc/meminfo: memFree=25223220/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=105092 CPUtime=522.19 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 25850 0 0 0 51323 896 0 0 20 0 1 0 341295735 107614208 25897 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 26273 25897 652 887 0 25383 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 105092
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12550
/proc/meminfo: memFree=25218384/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=109708 CPUtime=582.17 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 27001 0 0 0 57223 994 0 0 20 0 1 0 341295735 112340992 27047 33554432000 4194304 7823515 140736340012000 140736340007160 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 27427 27047 652 887 0 26537 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 109708
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12554
/proc/meminfo: memFree=25183944/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=133188 CPUtime=882.13 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 32631 0 0 0 86689 1524 0 0 20 0 1 0 341295735 136384512 32855 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 33297 32855 652 887 0 32407 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 133188
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12554
/proc/meminfo: memFree=25179432/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=136620 CPUtime=942.12 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 33521 0 0 0 92580 1632 0 0 20 0 1 0 341295735 139898880 33726 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 34155 33726 652 887 0 33265 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 136620
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12554
/proc/meminfo: memFree=25170024/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=142740 CPUtime=1002.11 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 35045 0 0 0 98471 1740 0 0 20 0 1 0 341295735 146165760 35301 33554432000 4194304 7823515 140736340012000 140736340007752 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 35685 35301 652 887 0 34795 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 142740
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12555
/proc/meminfo: memFree=25164696/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=147880 CPUtime=1062.1 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 36313 0 0 0 104359 1851 0 0 20 0 1 0 341295735 151429120 36562 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 36970 36562 652 887 0 36080 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 147880
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12555
/proc/meminfo: memFree=25160580/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=152300 CPUtime=1122.09 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 37404 0 0 0 110252 1957 0 0 20 0 1 0 341295735 155955200 37645 33554432000 4194304 7823515 140736340012000 140736340007800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 38075 37645 652 887 0 37185 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 152300
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 12555
/proc/meminfo: memFree=25157408/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=155436 CPUtime=1182.08 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 38179 0 0 0 116145 2063 0 0 20 0 1 0 341295735 159166464 38425 33554432000 4194304 7823515 140736340012000 140736340007688 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 38859 38425 652 887 0 37969 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 155436
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12555
/proc/meminfo: memFree=25152324/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=160688 CPUtime=1242.07 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 39419 0 0 0 122036 2171 0 0 20 0 1 0 341295735 164544512 39665 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 40172 39665 652 887 0 39282 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 160688
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 12555
/proc/meminfo: memFree=25148108/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=164884 CPUtime=1302.07 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 40457 0 0 0 127926 2281 0 0 20 0 1 0 341295735 168841216 40703 33554432000 4194304 7823515 140736340012000 140736340009080 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 41221 40703 652 887 0 40331 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 164884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12559
/proc/meminfo: memFree=25142828/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=169600 CPUtime=1362.06 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 41603 0 0 0 133820 2386 0 0 20 0 1 0 341295735 173670400 41972 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 42400 41972 652 887 0 41510 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 169600
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12559
/proc/meminfo: memFree=25140108/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=172948 CPUtime=1422.05 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 42447 0 0 0 139710 2495 0 0 20 0 1 0 341295735 177098752 42816 33554432000 4194304 7823515 140736340012000 140736340007688 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 43237 42816 652 887 0 42347 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 172948
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12559
/proc/meminfo: memFree=25135148/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=178300 CPUtime=1482.04 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 43731 0 0 0 145604 2600 0 0 20 0 1 0 341295735 182579200 44100 33554432000 4194304 7823515 140736340012000 140736340007848 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 44575 44100 652 887 0 43685 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 178300
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12559
/proc/meminfo: memFree=25130432/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=182744 CPUtime=1542.02 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 44843 0 0 0 151499 2703 0 0 20 0 1 0 341295735 187129856 45252 33554432000 4194304 7823515 140736340012000 140736340007752 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 45686 45252 652 887 0 44796 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 182744
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12559
/proc/meminfo: memFree=25127264/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=185704 CPUtime=1602.01 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 45598 0 0 0 157387 2814 0 0 20 0 1 0 341295735 190160896 46016 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 46426 46016 652 887 0 45536 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 185704
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12560
/proc/meminfo: memFree=25122552/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=190368 CPUtime=1662.01 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 46767 0 0 0 163279 2922 0 0 20 0 1 0 341295735 194936832 47185 33554432000 4194304 7823515 140736340012000 140736340008696 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 47592 47185 652 887 0 46702 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 190368
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12560
/proc/meminfo: memFree=25118460/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=195244 CPUtime=1721.99 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 47961 0 0 0 169173 3026 0 0 20 0 1 0 341295735 199929856 48379 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 48811 48379 652 887 0 47921 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 195244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12560
/proc/meminfo: memFree=25115036/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=197288 CPUtime=1781.99 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 48456 0 0 0 175067 3132 0 0 20 0 1 0 341295735 202022912 48894 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 49322 48894 652 887 0 48432 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 197288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12598
/proc/meminfo: memFree=25151944/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=199172 CPUtime=1800.09 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 48938 0 0 0 176845 3164 0 0 20 0 1 0 341295735 203952128 49376 33554432000 4194304 7823515 140736340012000 140736340007336 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 49793 49376 652 887 0 48903 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 199172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12598
/proc/meminfo: memFree=25151944/32873648 swapFree=6852/6852
[pid=12467] ppid=12465 vsize=199172 CPUtime=1800.19 cores=0,2,4,6
/proc/12467/stat : 12467 (pbscip.linux.x8) R 12465 12467 12217 0 -1 4202496 48942 0 0 0 176855 3164 0 0 20 0 1 0 341295735 203952128 49380 33554432000 4194304 7823515 140736340012000 140736340007512 4211835 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12467/statm: 49793 49380 656 887 0 48903 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 199172
Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.25
CPU user time (s): 1768.6
CPU system time (s): 31.6432
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 199172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.6
system time used= 31.6432
maximum resident set size= 197524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48945
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= 62
involuntary context switches= 2070
runsolver used 3.62145 second user time and 8.37273 second system time
The end