| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.13 | 1800.81 |
| Name | /PURE-SAT/SAT09/CRAFTED/edgematching/ compact/em_7_4_9_cmp.opb |
| MD5SUM | 52c4c6359c536e769bec6b6b810e5b54 |
| Bench Category | PURE-SAT (instances containing only clauses) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 180.358 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1677 |
| Total number of constraints | 15063 |
| Number of constraints which are clauses | 15063 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 25 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.19/0.22 c SCIP version 1.1.0.7
0.19/0.22 c LP-Solver SoPlex 1.4.1
0.19/0.22 c user parameter file <scip.set> not found - using default parameters
0.19/0.22 c read problem <HOME/instance-1885047-1245262386.opb>
0.19/0.22 c original problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 15063 constraints
0.19/0.27 c No objective function, only one solution is needed.
0.19/0.27 c start presolving problem
0.19/0.27 c presolving:
0.39/0.46 c (round 1) 0 del vars, 400 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14663 upgd conss, 36608 impls, 0 clqs
0.39/0.48 c presolving (2 rounds):
0.39/0.48 c 0 deleted vars, 400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.48 c 36608 implications, 0 cliques
0.39/0.48 c presolved problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 14663 constraints
0.39/0.48 c 14663 constraints of type <logicor>
0.39/0.48 c transformed objective value is always integral (scale: 1)
0.39/0.48 c Presolving Time: 0.18
0.39/0.48 c PURESAT
0.39/0.48 c -----------------------------------------------------------------------------------------------
0.39/0.48 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c separating/flowcover/freq = c -1
0.39/0.48 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c separating/cmir/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/veclendiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/veclendiving/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/simplerounding/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/shifting/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/rounding/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.48 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.39/0.48 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/rootsoldiving/freq = c -1
0.39/0.48 c # number of nodes added to the contingent of the total nodes
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48 c heuristics/rens/nodesofs = c 2000
0.39/0.48 c # minimum percentage of integer variables that have to be fixable
0.39/0.48 c # [type: real, range: [0,1], default: 0.5]
0.39/0.48 c heuristics/rens/minfixingrate = c 0.3
0.39/0.48 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c heuristics/rens/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/pscostdiving/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/oneopt/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.48 c # [type: real, range: [0,1], default: 0.01]
0.39/0.48 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.39/0.48 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/objpscostdiving/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/linesearchdiving/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/intshifting/freq = c -1
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/intdiving/maxlpiterquot = c 0.075
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/guideddiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/guideddiving/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/fracdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/fracdiving/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/feaspump/maxlpiterofs = c 2000
0.39/0.48 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/feaspump/freq = c -1
0.39/0.48 c # minimum percentage of integer variables that have to be fixed
0.39/0.48 c # [type: real, range: [0,1], default: 0.666]
0.39/0.48 c heuristics/crossover/minfixingrate = c 0.5
0.39/0.48 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.48 c # [type: real, range: [0,1], default: 0.1]
0.39/0.48 c heuristics/crossover/nodesquot = c 0.15
0.39/0.48 c # number of nodes without incumbent change that heuristic should wait
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.48 c heuristics/crossover/nwaitingnodes = c 100
0.39/0.48 c # number of nodes added to the contingent of the total nodes
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48 c heuristics/crossover/nodesofs = c 750
0.39/0.48 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.48 c heuristics/crossover/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/coefdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/coefdiving/freq = c -1
0.39/0.48 c # priority of node selection rule <dfs> in standard mode
0.39/0.48 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.48 c nodeselection/dfs/stdpriority = c 1000000
0.39/0.48 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c presolving/probing/maxrounds = c 0
0.39/0.48 c # should presolving try to simplify knapsacks
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/knapsack/simplifyinequalities = c TRUE
0.39/0.48 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.48 c constraints/knapsack/disaggregation = c FALSE
0.39/0.48 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c constraints/knapsack/maxnumcardlift = c 0
0.39/0.49 c # should presolving try to simplify inequalities
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/linear/simplifyinequalities = c TRUE
0.39/0.49 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/maxroundsroot = c 5
0.39/0.49 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.49 c separating/maxrounds = c 1
0.39/0.49 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.49 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.49 c lp/pricing = c a
0.39/0.49 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c lp/solvefreq = c 0
0.39/0.49 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c limits/solutions = c 1
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = c 1620
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = c 1791
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = c 10000
0.39/0.49 c # should enforcement of pseudo solution be disabled?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/disableenfops = c TRUE
0.39/0.49 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c constraints/agelimit = c 1
0.39/0.49 c # should binary conflicts be preferred?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c conflict/preferbinary = c TRUE
0.39/0.49 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c conflict/interconss = c 0
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving problem
0.39/0.49 c
7.38/7.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.38/7.48 c 7.2s| 1 | 0 | 3128 | 21M| 0 | 719 |1677 | 14k| 14k|1677 | 14k| 0 | 0 | 0 | 1.330000e+02 | -- | Inf
29.48/29.58 c 29.2s| 1 | 0 | 4419 | 28M| 0 | 753 |1677 | 14k| 14k|1677 | 14k| 6 | 0 | 0 | 1.330000e+02 | -- | Inf
52.36/52.40 c 51.9s| 1 | 0 | 5741 | 35M| 0 | 752 |1677 | 14k| 14k|1677 | 14k| 11 | 0 | 0 | 1.330000e+02 | -- | Inf
76.65/76.77 c 76.2s| 1 | 0 | 7468 | 44M| 0 | 802 |1677 | 14k| 14k|1677 | 14k| 15 | 0 | 0 | 1.330000e+02 | -- | Inf
99.44/99.54 c 99.0s| 1 | 0 | 8758 | 52M| 0 | 845 |1677 | 14k| 14k|1677 | 14k| 21 | 0 | 0 | 1.330000e+02 | -- | Inf
122.54/122.61 c 122s| 1 | 0 | 9795 | 61M| 0 | 834 |1677 | 14k| 14k|1677 | 14k| 29 | 0 | 0 | 1.330000e+02 | -- | Inf
240.19/240.32 c 240s| 1 | 0 | 11009 | 61M| 0 | 875 |1677 | 14k| 14k|1677 | 14k| 29 | 0 | 31 | 1.330000e+02 | -- | Inf
354.65/354.89 c 354s| 1 | 2 | 11009 | 61M| 0 | 875 |1677 | 14k| 14k|1677 | 14k| 29 | 0 | 62 | 1.330000e+02 | -- | Inf
362.64/362.83 c 362s| 10000 | 60 | 11009 | 62M| 373 | - |1677 | 16k| 11k| 0 | 0 | 29 |7104 | 62 | 1.330000e+02 | -- | Inf
370.14/370.33 c 369s| 20000 | 48 | 11009 | 62M| 373 | - |1677 | 15k| 11k| 0 | 0 | 29 | 14k| 62 | 1.330000e+02 | -- | Inf
377.64/377.89 c 376s| 30000 | 34 | 11009 | 62M| 373 | - |1677 | 15k| 11k| 0 | 0 | 29 | 21k| 62 | 1.330000e+02 | -- | Inf
389.14/389.37 c 388s| 40000 | 68 | 11009 | 62M| 373 | - |1677 | 14k|7253 | 0 | 0 | 29 | 27k| 62 | 1.330000e+02 | -- | Inf
402.13/402.35 c 400s| 50000 | 72 | 11009 | 62M| 373 | - |1677 | 14k|6502 | 0 | 0 | 29 | 34k| 62 | 1.330000e+02 | -- | Inf
416.22/416.40 c 414s| 60000 | 68 | 11009 | 62M| 373 | - |1677 | 14k|8150 | 0 | 0 | 29 | 42k| 62 | 1.330000e+02 | -- | Inf
431.12/431.38 c 429s| 70000 | 66 | 11009 | 62M| 373 | - |1677 | 14k|7826 | 0 | 0 | 29 | 50k| 62 | 1.330000e+02 | -- | Inf
445.71/445.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.71/445.97 c 443s| 80000 | 69 | 11009 | 62M| 373 | - |1677 | 14k|7228 | 0 | 0 | 29 | 57k| 62 | 1.330000e+02 | -- | Inf
458.91/459.16 c 456s| 90000 | 81 | 11009 | 62M| 373 | - |1677 | 14k|8238 | 0 | 0 | 29 | 65k| 62 | 1.330000e+02 | -- | Inf
472.41/472.66 c 470s|100000 | 75 | 11009 | 62M| 373 | - |1677 | 14k|7690 | 0 | 0 | 29 | 72k| 62 | 1.330000e+02 | -- | Inf
485.90/486.18 c 483s|110000 | 70 | 11009 | 62M| 373 | - |1677 | 14k|7455 | 0 | 0 | 29 | 79k| 62 | 1.330000e+02 | -- | Inf
499.40/499.62 c 496s|120000 | 74 | 11009 | 62M| 373 | - |1677 | 14k|7907 | 0 | 0 | 29 | 86k| 62 | 1.330000e+02 | -- | Inf
513.69/513.95 c 510s|130000 | 81 | 11009 | 62M| 373 | - |1677 | 14k|6915 | 0 | 0 | 29 | 94k| 62 | 1.330000e+02 | -- | Inf
527.18/527.41 c 524s|140000 | 70 | 11009 | 62M| 373 | - |1677 | 14k|7015 | 0 | 0 | 29 | 101k| 62 | 1.330000e+02 | -- | Inf
540.77/541.04 c 537s|150000 | 67 | 11009 | 62M| 373 | - |1677 | 14k|6932 | 0 | 0 | 29 | 109k| 62 | 1.330000e+02 | -- | Inf
555.18/555.50 c 551s|160000 | 75 | 11009 | 62M| 373 | - |1677 | 14k|6253 | 0 | 0 | 29 | 116k| 62 | 1.330000e+02 | -- | Inf
568.67/568.97 c 565s|170000 | 59 | 11009 | 62M| 373 | - |1677 | 14k|7636 | 0 | 0 | 29 | 124k| 62 | 1.330000e+02 | -- | Inf
578.86/579.16 c 575s|180000 | 95 | 11009 | 62M| 373 | - |1677 | 14k| 10k| 0 | 0 | 29 | 130k| 62 | 1.330000e+02 | -- | Inf
586.36/586.66 c 582s|190000 | 77 | 11009 | 62M| 373 | - |1677 | 14k|8854 | 0 | 0 | 29 | 137k| 62 | 1.330000e+02 | -- | Inf
596.46/596.71 c 592s|200000 | 60 | 11009 | 62M| 373 | - |1677 | 14k|6636 | 0 | 0 | 29 | 143k| 62 | 1.330000e+02 | -- | Inf
609.75/610.06 c 605s|210000 | 64 | 11009 | 62M| 373 | - |1677 | 15k|6700 | 0 | 0 | 29 | 151k| 62 | 1.330000e+02 | -- | Inf
625.34/625.65 c 620s|220000 | 66 | 11009 | 63M| 373 | - |1677 | 15k|6486 | 0 | 0 | 29 | 159k| 62 | 1.330000e+02 | -- | Inf
639.74/640.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.74/640.03 c 634s|230000 | 64 | 11009 | 63M| 373 | - |1677 | 15k|7470 | 0 | 0 | 29 | 167k| 62 | 1.330000e+02 | -- | Inf
654.04/654.33 c 649s|240000 | 59 | 11009 | 63M| 373 | - |1677 | 15k|7471 | 0 | 0 | 29 | 175k| 62 | 1.330000e+02 | -- | Inf
666.43/666.71 c 661s|250000 | 64 | 11009 | 63M| 373 | - |1677 | 15k|6333 | 0 | 0 | 29 | 183k| 62 | 1.330000e+02 | -- | Inf
679.62/679.93 c 674s|260000 | 55 | 11009 | 63M| 373 | - |1677 | 16k|7099 | 0 | 0 | 29 | 190k| 62 | 1.330000e+02 | -- | Inf
694.42/694.74 c 688s|270000 | 56 | 11009 | 63M| 373 | - |1677 | 17k|7479 | 0 | 0 | 29 | 198k| 62 | 1.330000e+02 | -- | Inf
709.52/709.85 c 703s|280000 | 60 | 11009 | 64M| 373 | - |1677 | 17k|6252 | 0 | 0 | 29 | 207k| 62 | 1.330000e+02 | -- | Inf
724.31/724.60 c 718s|290000 | 57 | 11009 | 63M| 373 | - |1677 | 14k|7363 | 0 | 0 | 29 | 215k| 62 | 1.330000e+02 | -- | Inf
738.50/738.84 c 732s|300000 | 60 | 11009 | 63M| 373 | - |1677 | 15k|7914 | 0 | 0 | 29 | 223k| 62 | 1.330000e+02 | -- | Inf
751.80/752.17 c 745s|310000 | 50 | 11009 | 63M| 373 | - |1677 | 16k|7027 | 0 | 0 | 29 | 230k| 62 | 1.330000e+02 | -- | Inf
764.49/764.85 c 757s|320000 | 69 | 11009 | 63M| 373 | - |1677 | 16k|6963 | 0 | 0 | 29 | 238k| 62 | 1.330000e+02 | -- | Inf
776.89/777.26 c 770s|330000 | 69 | 11009 | 62M| 373 | - |1677 | 14k|8913 | 0 | 0 | 29 | 246k| 62 | 1.330000e+02 | -- | Inf
789.58/789.91 c 782s|340000 | 53 | 11009 | 63M| 373 | - |1677 | 15k|7799 | 0 | 0 | 29 | 254k| 62 | 1.330000e+02 | -- | Inf
802.59/802.92 c 795s|350000 | 50 | 11009 | 63M| 373 | - |1677 | 15k|7842 | 0 | 0 | 29 | 262k| 62 | 1.330000e+02 | -- | Inf
815.08/815.47 c 807s|360000 | 46 | 11009 | 63M| 373 | - |1677 | 15k|8080 | 0 | 0 | 29 | 269k| 62 | 1.330000e+02 | -- | Inf
827.48/827.89 c 820s|370000 | 142 | 11009 | 63M| 373 | - |1677 | 14k|9671 | 0 | 0 | 29 | 277k| 62 | 1.330000e+02 | -- | Inf
838.97/839.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.97/839.34 c 831s|380000 | 74 | 11009 | 63M| 373 | - |1677 | 14k|6774 | 0 | 0 | 29 | 285k| 62 | 1.330000e+02 | -- | Inf
851.86/852.29 c 844s|390000 | 64 | 11009 | 63M| 373 | - |1677 | 14k|7630 | 0 | 0 | 29 | 293k| 62 | 1.330000e+02 | -- | Inf
864.76/865.13 c 856s|400000 | 65 | 11009 | 63M| 373 | - |1677 | 14k|6918 | 0 | 0 | 29 | 300k| 62 | 1.330000e+02 | -- | Inf
879.55/879.99 c 871s|410000 | 71 | 11009 | 63M| 373 | - |1677 | 14k|6356 | 0 | 0 | 29 | 308k| 62 | 1.330000e+02 | -- | Inf
894.44/894.88 c 886s|420000 | 69 | 11009 | 63M| 373 | - |1677 | 15k|7419 | 0 | 0 | 29 | 316k| 62 | 1.330000e+02 | -- | Inf
907.85/908.25 c 899s|430000 | 64 | 11009 | 63M| 373 | - |1677 | 15k|7354 | 0 | 0 | 29 | 324k| 62 | 1.330000e+02 | -- | Inf
922.23/922.65 c 913s|440000 | 65 | 11009 | 63M| 373 | - |1677 | 15k|6718 | 0 | 0 | 29 | 332k| 62 | 1.330000e+02 | -- | Inf
939.03/939.47 c 929s|450000 | 58 | 11009 | 63M| 373 | - |1677 | 15k|7683 | 0 | 0 | 29 | 340k| 62 | 1.330000e+02 | -- | Inf
953.93/954.32 c 944s|460000 | 53 | 11009 | 63M| 373 | - |1677 | 16k|6710 | 0 | 0 | 29 | 348k| 62 | 1.330000e+02 | -- | Inf
969.82/970.26 c 960s|470000 | 51 | 11009 | 63M| 373 | - |1677 | 16k|7399 | 0 | 0 | 29 | 356k| 62 | 1.330000e+02 | -- | Inf
985.01/985.43 c 975s|480000 | 54 | 11009 | 63M| 373 | - |1677 | 16k|7104 | 0 | 0 | 29 | 364k| 62 | 1.330000e+02 | -- | Inf
1000.90/1001.31 c 990s|490000 | 49 | 11009 | 64M| 373 | - |1677 | 17k|7187 | 0 | 0 | 29 | 372k| 62 | 1.330000e+02 | -- | Inf
1015.50/1015.97 c 1005s|500000 | 54 | 11009 | 64M| 373 | - |1677 | 17k|7093 | 0 | 0 | 29 | 380k| 62 | 1.330000e+02 | -- | Inf
1031.50/1031.96 c 1021s|510000 | 53 | 11009 | 64M| 373 | - |1677 | 18k|6280 | 0 | 0 | 29 | 388k| 62 | 1.330000e+02 | -- | Inf
1046.59/1047.09 c 1036s|520000 | 54 | 11009 | 64M| 373 | - |1677 | 18k|7203 | 0 | 0 | 29 | 395k| 62 | 1.330000e+02 | -- | Inf
1062.28/1062.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.28/1062.74 c 1051s|530000 | 40 | 11009 | 64M| 373 | - |1677 | 19k|7395 | 0 | 0 | 29 | 404k| 62 | 1.330000e+02 | -- | Inf
1075.18/1075.63 c 1064s|540000 | 59 | 11009 | 64M| 373 | - |1677 | 18k|7064 | 0 | 0 | 29 | 412k| 62 | 1.330000e+02 | -- | Inf
1089.58/1090.10 c 1078s|550000 | 60 | 11009 | 64M| 373 | - |1677 | 18k|6944 | 0 | 0 | 29 | 419k| 62 | 1.330000e+02 | -- | Inf
1101.87/1102.30 c 1090s|560000 | 52 | 11009 | 64M| 373 | - |1677 | 19k|7168 | 0 | 0 | 29 | 428k| 62 | 1.330000e+02 | -- | Inf
1114.97/1115.47 c 1103s|570000 | 52 | 11009 | 65M| 373 | - |1677 | 20k|6616 | 0 | 0 | 29 | 435k| 62 | 1.330000e+02 | -- | Inf
1129.06/1129.58 c 1117s|580000 | 52 | 11009 | 65M| 373 | - |1677 | 20k|6741 | 0 | 0 | 29 | 443k| 62 | 1.330000e+02 | -- | Inf
1142.46/1142.94 c 1130s|590000 | 57 | 11009 | 65M| 373 | - |1677 | 20k|7805 | 0 | 0 | 29 | 451k| 62 | 1.330000e+02 | -- | Inf
1158.35/1158.83 c 1146s|600000 | 61 | 11009 | 65M| 373 | - |1677 | 21k|6984 | 0 | 0 | 29 | 459k| 62 | 1.330000e+02 | -- | Inf
1175.14/1175.62 c 1162s|610000 | 49 | 11009 | 65M| 373 | - |1677 | 21k|6515 | 0 | 0 | 29 | 467k| 62 | 1.330000e+02 | -- | Inf
1192.23/1192.71 c 1179s|620000 | 57 | 11009 | 65M| 373 | - |1677 | 21k|6988 | 0 | 0 | 29 | 474k| 62 | 1.330000e+02 | -- | Inf
1207.93/1208.47 c 1195s|630000 | 52 | 11009 | 65M| 373 | - |1677 | 21k|6991 | 0 | 0 | 29 | 482k| 62 | 1.330000e+02 | -- | Inf
1222.62/1223.17 c 1209s|640000 | 56 | 11009 | 65M| 373 | - |1677 | 21k|7648 | 0 | 0 | 29 | 490k| 62 | 1.330000e+02 | -- | Inf
1237.02/1237.59 c 1223s|650000 | 50 | 11009 | 65M| 373 | - |1677 | 22k|6554 | 0 | 0 | 29 | 497k| 62 | 1.330000e+02 | -- | Inf
1251.12/1251.69 c 1237s|660000 | 50 | 11009 | 65M| 373 | - |1677 | 22k| 11k| 0 | 0 | 29 | 505k| 62 | 1.330000e+02 | -- | Inf
1261.81/1262.36 c 1248s|670000 | 127 | 11009 | 63M| 373 | - |1677 | 14k|8456 | 0 | 0 | 29 | 513k| 62 | 1.330000e+02 | -- | Inf
1273.50/1274.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.50/1274.02 c 1259s|680000 | 113 | 11009 | 63M| 373 | - |1677 | 14k|6787 | 0 | 0 | 29 | 521k| 62 | 1.330000e+02 | -- | Inf
1287.20/1287.78 c 1273s|690000 | 108 | 11009 | 63M| 373 | - |1677 | 14k|7037 | 0 | 0 | 29 | 528k| 62 | 1.330000e+02 | -- | Inf
1301.79/1302.33 c 1287s|700000 | 104 | 11009 | 63M| 373 | - |1677 | 14k|9365 | 0 | 0 | 29 | 536k| 62 | 1.330000e+02 | -- | Inf
1317.88/1318.42 c 1303s|710000 | 96 | 11009 | 63M| 373 | - |1677 | 14k|7982 | 0 | 0 | 29 | 544k| 62 | 1.330000e+02 | -- | Inf
1332.28/1332.81 c 1317s|720000 | 101 | 11009 | 63M| 373 | - |1677 | 14k|6641 | 0 | 0 | 29 | 551k| 62 | 1.330000e+02 | -- | Inf
1345.27/1345.89 c 1330s|730000 | 107 | 11009 | 63M| 373 | - |1677 | 14k|7275 | 0 | 0 | 29 | 558k| 62 | 1.330000e+02 | -- | Inf
1358.88/1359.40 c 1343s|740000 | 98 | 11009 | 63M| 373 | - |1677 | 14k|6816 | 0 | 0 | 29 | 566k| 62 | 1.330000e+02 | -- | Inf
1374.07/1374.66 c 1358s|750000 | 96 | 11009 | 63M| 373 | - |1677 | 15k|6245 | 0 | 0 | 29 | 574k| 62 | 1.330000e+02 | -- | Inf
1389.96/1390.59 c 1374s|760000 | 95 | 11009 | 63M| 373 | - |1677 | 15k|6991 | 0 | 0 | 29 | 582k| 62 | 1.330000e+02 | -- | Inf
1405.36/1405.94 c 1389s|770000 | 91 | 11009 | 63M| 373 | - |1677 | 15k|6827 | 0 | 0 | 29 | 590k| 62 | 1.330000e+02 | -- | Inf
1420.75/1421.32 c 1404s|780000 | 89 | 11009 | 64M| 373 | - |1677 | 16k|6235 | 0 | 0 | 29 | 597k| 62 | 1.330000e+02 | -- | Inf
1434.25/1434.83 c 1418s|790000 | 88 | 11009 | 64M| 373 | - |1677 | 16k|7087 | 0 | 0 | 29 | 605k| 62 | 1.330000e+02 | -- | Inf
1449.84/1450.40 c 1433s|800000 | 98 | 11009 | 64M| 373 | - |1677 | 17k|6372 | 0 | 0 | 29 | 613k| 62 | 1.330000e+02 | -- | Inf
1464.14/1464.78 c 1447s|810000 | 93 | 11009 | 63M| 373 | - |1677 | 14k|7842 | 0 | 0 | 29 | 621k| 62 | 1.330000e+02 | -- | Inf
1479.83/1480.50 c 1463s|820000 | 93 | 11009 | 63M| 373 | - |1677 | 15k|6610 | 0 | 0 | 29 | 629k| 62 | 1.330000e+02 | -- | Inf
1494.22/1494.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.22/1494.81 c 1477s|830000 | 80 | 11009 | 63M| 373 | - |1677 | 15k|6924 | 0 | 0 | 29 | 637k| 62 | 1.330000e+02 | -- | Inf
1509.72/1510.34 c 1492s|840000 | 84 | 11009 | 63M| 373 | - |1677 | 14k|7065 | 0 | 0 | 29 | 645k| 62 | 1.330000e+02 | -- | Inf
1524.71/1525.33 c 1507s|850000 | 86 | 11009 | 63M| 373 | - |1677 | 15k|6406 | 0 | 0 | 29 | 653k| 62 | 1.330000e+02 | -- | Inf
1539.41/1540.01 c 1522s|860000 | 91 | 11009 | 63M| 373 | - |1677 | 14k|7201 | 0 | 0 | 29 | 661k| 62 | 1.330000e+02 | -- | Inf
1552.51/1553.17 c 1534s|870000 | 81 | 11009 | 63M| 373 | - |1677 | 15k|6808 | 0 | 0 | 29 | 669k| 62 | 1.330000e+02 | -- | Inf
1566.29/1566.92 c 1548s|880000 | 88 | 11009 | 63M| 373 | - |1677 | 14k|6519 | 0 | 0 | 29 | 676k| 62 | 1.330000e+02 | -- | Inf
1581.19/1581.81 c 1563s|890000 | 98 | 11009 | 63M| 373 | - |1677 | 15k|6522 | 0 | 0 | 29 | 684k| 62 | 1.330000e+02 | -- | Inf
1596.49/1597.18 c 1578s|900000 | 85 | 11009 | 63M| 373 | - |1677 | 15k|6680 | 0 | 0 | 29 | 692k| 62 | 1.330000e+02 | -- | Inf
1611.18/1611.85 c 1592s|910000 | 81 | 11009 | 64M| 373 | - |1677 | 15k|7462 | 0 | 0 | 29 | 700k| 62 | 1.330000e+02 | -- | Inf
1626.68/1627.30 c 1607s|920000 | 76 | 11009 | 63M| 373 | - |1677 | 14k|6892 | 0 | 0 | 29 | 708k| 62 | 1.330000e+02 | -- | Inf
1641.57/1642.27 c 1622s|930000 | 62 | 11009 | 63M| 373 | - |1677 | 14k|7240 | 0 | 0 | 29 | 716k| 62 | 1.330000e+02 | -- | Inf
1655.56/1656.21 c 1636s|940000 | 69 | 11009 | 64M| 373 | - |1677 | 15k|6210 | 0 | 0 | 29 | 724k| 62 | 1.330000e+02 | -- | Inf
1670.86/1671.52 c 1651s|950000 | 67 | 11009 | 63M| 373 | - |1677 | 14k|6965 | 0 | 0 | 29 | 732k| 62 | 1.330000e+02 | -- | Inf
1685.25/1685.94 c 1665s|960000 | 112 | 11009 | 63M| 373 | - |1677 | 14k|7271 | 0 | 0 | 29 | 740k| 62 | 1.330000e+02 | -- | Inf
1700.95/1701.66 c 1681s|970000 | 82 | 11009 | 63M| 373 | - |1677 | 14k|7834 | 0 | 0 | 29 | 748k| 62 | 1.330000e+02 | -- | Inf
1716.04/1716.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.04/1716.80 c 1696s|980000 | 89 | 11009 | 63M| 373 | - |1677 | 14k|6299 | 0 | 0 | 29 | 756k| 62 | 1.330000e+02 | -- | Inf
1731.03/1731.79 c 1710s|990000 | 85 | 11009 | 63M| 373 | - |1677 | 15k|6726 | 0 | 0 | 29 | 765k| 62 | 1.330000e+02 | -- | Inf
1746.23/1746.90 c 1725s| 1000k| 111 | 11009 | 64M| 373 | - |1677 | 15k|7157 | 0 | 0 | 29 | 774k| 62 | 1.330000e+02 | -- | Inf
1764.52/1765.30 c 1743s| 1010k| 88 | 11009 | 63M| 373 | - |1677 | 15k|7197 | 0 | 0 | 29 | 783k| 62 | 1.330000e+02 | -- | Inf
1781.71/1782.46 c 1760s| 1020k| 71 | 11009 | 64M| 373 | - |1677 | 15k|7181 | 0 | 0 | 29 | 792k| 62 | 1.330000e+02 | -- | Inf
1795.81/1796.59 c 1774s| 1030k| 84 | 11009 | 64M| 373 | - |1677 | 16k|5624 | 0 | 0 | 29 | 801k| 62 | 1.330000e+02 | -- | Inf
1800.02/1800.70 c
1800.02/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.70 c Solving Time (sec) : 1778.26
1800.02/1800.70 c Solving Nodes : 1033568
1800.02/1800.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.70 c Dual Bound : +1.33000000000000e+02
1800.02/1800.70 c Gap : infinite
1800.02/1800.71 c NODE 1033568
1800.02/1800.71 c DUAL BOUND 133
1800.02/1800.71 c PRIMAL BOUND 1e+20
1800.02/1800.71 c GAP 1e+20
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1778.26
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-1885047-1245262386.opb
1800.02/1800.71 c Variables : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 15063 initial, 15063 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-1885047-1245262386.opb
1800.02/1800.71 c Variables : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 14663 initial, 23164 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c linear : 0.11 0 0 0 0 0 400 0 0
1800.02/1800.71 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.02/1800.71 c root node : - 2 - - 2 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 2 0 0 2 0 0 2
1800.02/1800.71 c logicor : 14663+ 5 5043591 0 0 519823 38836737 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 227.44 0.00 0.00 227.44 0.00
1800.02/1800.71 c logicor : 546.31 0.01 546.30 0.00 0.00
1800.02/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c rootredcost : 1.92 0 0 0
1800.02/1800.71 c pseudoobj : 426.92 6035326 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 168.95 519823 519823 519823 30.6 285115 28.9 -
1800.02/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 804376 29.9 - - -
1800.02/1800.71 c applied locally : - - - 0 0.0 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 0.02 4 - - 10 - (maximal pool size: 1211)
1800.02/1800.71 c redcost : 0.00 5 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.01 5 0 0 0 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 86.24 5 0 0 207 0
1800.02/1800.71 c strongcg : 5.52 5 0 0 2500 0
1800.02/1800.71 c cmir : 0.00 0 0 0 0 0
1800.02/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.71 c clique : 0.07 5 0 0 44 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.02 1 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 227.44 2 0 2 0 0 2
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 99.45 768632 0 0 0 0 1537264
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c simplerounding : 0.00 0 0
1800.02/1800.71 c rounding : 0.00 0 0
1800.02/1800.71 c shifting : 0.00 0 0
1800.02/1800.71 c intshifting : 0.00 0 0
1800.02/1800.71 c oneopt : 0.00 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c feaspump : 0.00 0 0
1800.02/1800.71 c coefdiving : 0.00 0 0
1800.02/1800.71 c pscostdiving : 0.00 0 0
1800.02/1800.71 c fracdiving : 0.00 0 0
1800.02/1800.71 c veclendiving : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c objpscostdiving : 0.00 0 0
1800.02/1800.71 c rootsoldiving : 0.00 0 0
1800.02/1800.71 c linesearchdiving : 0.00 0 0
1800.02/1800.71 c guideddiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.00 0 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c crossover : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.02/1800.71 c dual LP : 34.12 7 11009 1572.71 322.66
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.71 c strong branching : 227.44 62 61159 986.44 268.90
1800.02/1800.71 c (at root node) : - 62 61159 986.44 -
1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.71 c B&B Tree :
1800.02/1800.71 c number of runs : 1
1800.02/1800.71 c nodes : 1033568
1800.02/1800.71 c nodes (total) : 1033568
1800.02/1800.71 c nodes left : 78
1800.02/1800.71 c max depth : 373
1800.02/1800.71 c max depth (total): 373
1800.02/1800.71 c backtracks : 324574 (31.4%)
1800.02/1800.71 c delayed cutoffs : 503621
1800.02/1800.71 c repropagations : 1350465 (19117914 domain reductions, 254888 cutoffs)
1800.02/1800.71 c avg switch length: 3.73
1800.02/1800.71 c switching time : 235.62
1800.02/1800.71 c Solution :
1800.02/1800.71 c Solutions found : 0 (0 improvements)
1800.02/1800.71 c Primal Bound : -
1800.02/1800.71 c Dual Bound : +1.33000000000000e+02
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c Root Dual Bound : +1.33000000000000e+02
1800.11/1800.80 c Time complete: 1800.11.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885047-1245262386/watcher-1885047-1245262386 -o /tmp/evaluation-result-1885047-1245262386/solver-1885047-1245262386 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885047-1245262386.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9707 /proc/meminfo: memFree=1751216/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=6100 CPUtime=0 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 543 0 0 0 0 0 0 0 20 0 1 0 182764903 6246400 525 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/9707/statm: 1525 535 325 886 0 635 0 [startup+0.086595 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9707 /proc/meminfo: memFree=1751216/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=13040 CPUtime=0.07 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 2592 0 0 0 7 0 0 0 20 0 1 0 182764903 13352960 2574 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0 /proc/9707/statm: 3260 2574 351 886 0 2370 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13040 [startup+0.102595 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9707 /proc/meminfo: memFree=1751216/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=13192 CPUtime=0.09 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 2603 0 0 0 9 0 0 0 20 0 1 0 182764903 13508608 2585 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/9707/statm: 3298 2585 351 886 0 2408 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13192 [startup+0.302637 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9707 /proc/meminfo: memFree=1751216/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=30296 CPUtime=0.29 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 6973 0 0 0 26 3 0 0 22 0 1 0 182764903 31023104 6601 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 7574 6601 419 886 0 6684 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30296 [startup+0.701714 s] /proc/loadavg: 1.00 1.00 0.94 3/64 9707 /proc/meminfo: memFree=1751216/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=56276 CPUtime=0.69 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 13415 0 0 0 61 8 0 0 18 0 1 0 182764903 57626624 12731 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 14069 12731 501 886 0 13179 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56276 [startup+1.50187 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1699944/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=59084 CPUtime=1.49 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 14434 0 0 0 141 8 0 0 25 0 1 0 182764903 60502016 13649 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 14771 13649 504 886 0 13881 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59084 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1697448/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=60476 CPUtime=3.09 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 14975 0 0 0 300 9 0 0 25 0 1 0 182764903 61927424 14187 1992294400 4194304 7823515 548682068736 18446744073709551615 6211107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 15119 14187 504 886 0 14229 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60476 [startup+6.30182 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1695800/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=60672 CPUtime=6.29 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 15024 0 0 0 619 10 0 0 25 0 1 0 182764903 62128128 14236 1992294400 4194304 7823515 548682068736 18446744073709551615 5925260 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 15168 14236 504 886 0 14278 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60672 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1695872/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=60672 CPUtime=12.68 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 15049 0 0 0 1258 10 0 0 25 0 1 0 182764903 62128128 14258 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 15168 14258 520 886 0 14278 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 60672 [startup+25.5026 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1682560/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=78640 CPUtime=25.48 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 19377 0 0 0 2532 16 0 0 25 0 1 0 182764903 80527360 18550 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 19660 18550 534 886 0 18770 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 78640 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1664192/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=92824 CPUtime=51.06 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 23263 0 0 0 5084 22 0 0 25 0 1 0 182764903 95051776 22191 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 23206 22191 534 886 0 22316 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 92824 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1647360/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=109124 CPUtime=102.25 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 27485 0 0 0 10192 33 0 0 25 0 1 0 182764903 111742976 26395 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 27281 26395 534 886 0 26391 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 109124 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1639616/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=116960 CPUtime=162.22 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 29412 0 0 0 16181 41 0 0 25 0 1 0 182764903 119767040 28322 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29240 28322 537 886 0 28350 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 116960 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1639488/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=116960 CPUtime=222.2 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 29431 0 0 0 22172 48 0 0 25 0 1 0 182764903 119767040 28341 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29240 28341 537 886 0 28350 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 116960 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1637632/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=114908 CPUtime=282.18 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 31429 0 0 0 28163 55 0 0 25 0 1 0 182764903 117665792 28000 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 28727 28000 539 886 0 27837 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 114908 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1637504/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=119112 CPUtime=342.15 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 36968 0 0 0 34150 65 0 0 25 0 1 0 182764903 121970688 28816 1992294400 4194304 7823515 548682068736 18446744073709551615 6253250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29778 28816 539 886 0 28888 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 119112 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1637440/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=119112 CPUtime=402.13 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 36976 0 0 0 40058 155 0 0 25 0 1 0 182764903 121970688 28824 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29778 28824 547 886 0 28888 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 119112 [startup+462.303 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1637440/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=119112 CPUtime=462.11 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 36976 0 0 0 45971 240 0 0 25 0 1 0 182764903 121970688 28824 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29778 28824 547 886 0 28888 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 119112 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1637376/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=119112 CPUtime=522.08 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 36976 0 0 0 51879 329 0 0 25 0 1 0 182764903 121970688 28824 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29778 28824 547 886 0 28888 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 119112 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1637248/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=119112 CPUtime=582.07 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 36999 0 0 0 57781 426 0 0 25 0 1 0 182764903 121970688 28847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29778 28847 547 886 0 28888 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 119112 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1636608/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=119112 CPUtime=642.05 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 37134 0 0 0 63688 517 0 0 25 0 1 0 182764903 121970688 28982 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 29778 28982 547 886 0 28888 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 119112 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1633792/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=121880 CPUtime=881.95 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 37821 0 0 0 87336 859 0 0 25 0 1 0 182764903 124805120 29669 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 30470 29669 547 886 0 29580 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 121880 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1633408/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=122160 CPUtime=941.93 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 37914 0 0 0 93248 945 0 0 25 0 1 0 182764903 125091840 29762 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 30540 29762 547 886 0 29650 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 122160 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1632896/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=122768 CPUtime=1001.91 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38032 0 0 0 99167 1024 0 0 25 0 1 0 182764903 125714432 29880 1992294400 4194304 7823515 548682068736 18446744073709551615 5102837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 30692 29880 547 886 0 29802 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 122768 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1632128/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=123452 CPUtime=1061.89 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38205 0 0 0 105084 1105 0 0 25 0 1 0 182764903 126414848 30053 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 30863 30053 547 886 0 29973 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 123452 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1631552/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=124096 CPUtime=1121.86 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38334 0 0 0 110990 1196 0 0 25 0 1 0 182764903 127074304 30182 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31024 30182 547 886 0 30134 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 124096 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1631360/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=124268 CPUtime=1181.84 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38382 0 0 0 116910 1274 0 0 25 0 1 0 182764903 127250432 30230 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31067 30230 547 886 0 30177 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 124268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1629696/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=125996 CPUtime=1241.81 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38764 0 0 0 122831 1350 0 0 25 0 1 0 182764903 129019904 30612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31499 30612 547 886 0 30609 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 125996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1629376/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=126512 CPUtime=1301.79 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38846 0 0 0 128740 1439 0 0 25 0 1 0 182764903 129548288 30694 1992294400 4194304 7823515 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31628 30694 547 886 0 30738 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 126512 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1629312/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=126512 CPUtime=1361.77 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38847 0 0 0 134652 1525 0 0 25 0 1 0 182764903 129548288 30695 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31628 30695 547 886 0 30738 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 126512 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1629120/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=126644 CPUtime=1421.75 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38881 0 0 0 140566 1609 0 0 25 0 1 0 182764903 129683456 30729 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31661 30729 547 886 0 30771 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 126644 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9708 /proc/meminfo: memFree=1628800/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=126920 CPUtime=1481.73 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38942 0 0 0 146482 1691 0 0 25 0 1 0 182764903 129966080 30790 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31730 30790 547 886 0 30840 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 126920 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1628544/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=126920 CPUtime=1541.71 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38955 0 0 0 152396 1775 0 0 25 0 1 0 182764903 129966080 30803 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31730 30803 547 886 0 30840 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 126920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1628352/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=127056 CPUtime=1601.68 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 38987 0 0 0 158299 1869 0 0 25 0 1 0 182764903 130105344 30835 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31764 30835 547 886 0 30874 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 127056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1628096/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=127336 CPUtime=1661.66 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 39036 0 0 0 164209 1957 0 0 25 0 1 0 182764903 130392064 30884 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31834 30884 547 886 0 30944 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 127336 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1627968/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=127476 CPUtime=1721.63 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 39065 0 0 0 170119 2044 0 0 25 0 1 0 182764903 130535424 30913 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 31869 30913 547 886 0 30979 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 127476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1627136/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=128380 CPUtime=1781.61 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 39303 0 0 0 176035 2126 0 0 25 0 1 0 182764903 131461120 31151 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 32095 31151 547 886 0 31205 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 128380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1627136/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=128380 CPUtime=1800.02 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 39304 0 0 0 177847 2155 0 0 25 0 1 0 182764903 131461120 31152 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9707/statm: 32095 31152 547 886 0 31205 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 128380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.94 2/65 9710 /proc/meminfo: memFree=1627136/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=29976 CPUtime=1800.11 /proc/9707/stat : 9707 (pbscip.linux.x8) R 9705 9707 9021 0 -1 4194304 39310 0 0 0 177854 2157 0 0 25 0 1 0 182764903 30695424 7109 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/9707/statm: 7494 7109 2308 886 0 6604 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 29976 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.13 CPU user time (s): 1778.55 CPU system time (s): 21.5767 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 128380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.55 system time used= 21.5767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39314 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= 5 involuntary context switches= 4038 runsolver used 1.45278 second user time and 4.05838 second system time The end
Begin job on node53 at 2009-06-17 20:13:06 IDJOB=1885047 IDBENCH=72018 IDSOLVER=683 FILE ID=node53/1885047-1245262386 PBS_JOBID= 9372402 Free space on /tmp= 66304 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/compact/em_7_4_9_cmp.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885047-1245262386/watcher-1885047-1245262386 -o /tmp/evaluation-result-1885047-1245262386/solver-1885047-1245262386 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885047-1245262386.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 52c4c6359c536e769bec6b6b810e5b54 RANDOM SEED=545703690 node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.283 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.283 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1751632 kB Buffers: 32572 kB Cached: 201816 kB SwapCached: 144 kB Active: 101628 kB Inactive: 146344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1751632 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 10352 kB Writeback: 0 kB Mapped: 23244 kB Slab: 42312 kB Committed_AS: 99320 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66296 MiB End job on node53 at 2009-06-17 20:43:09