Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1800.32 | 1800.85 |
Name | /PURE-SAT/SAT07/crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.opb |
MD5SUM | 77dce6703a96d5b968b24a687b923d1d |
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 | 123.275 |
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 | 271 |
Total number of constraints | 1972 |
Number of constraints which are clauses | 1972 |
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 | 4 |
Maximum length of a constraint | 6 |
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 | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 11 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c SCIP version 1.1.0.7 0.00/0.04 c LP-Solver SoPlex 1.4.1 0.00/0.04 c user parameter file <scip.set> not found - using default parameters 0.00/0.04 c read problem <HOME/instance-1884167-1245255277.opb> 0.00/0.04 c original problem has 271 variables (271 bin, 0 int, 0 impl, 0 cont) and 1972 constraints 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c start presolving problem 0.00/0.05 c presolving: 0.06/0.09 c (round 1) 0 del vars, 494 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 984 upgd conss, 0 impls, 0 clqs 0.09/0.11 c presolving (2 rounds): 0.09/0.11 c 0 deleted vars, 494 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.11 c 0 implications, 0 cliques 0.09/0.11 c presolved problem has 271 variables (271 bin, 0 int, 0 impl, 0 cont) and 1478 constraints 0.09/0.11 c 494 constraints of type <linear> 0.09/0.11 c 984 constraints of type <logicor> 0.09/0.11 c transformed objective value is always integral (scale: 1) 0.09/0.11 c Presolving Time: 0.05 0.09/0.11 c SATUNSAT-LIN 0.09/0.11 c ----------------------------------------------------------------------------------------------- 0.09/0.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c separating/flowcover/freq = c -1 0.09/0.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c separating/cmir/freq = c -1 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/veclendiving/maxlpiterofs = c 1500 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.09/0.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/veclendiving/freq = c -1 0.09/0.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/simplerounding/freq = c -1 0.09/0.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/shifting/freq = c -1 0.09/0.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/rounding/freq = c -1 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.11 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.09/0.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.11 c heuristics/rootsoldiving/freq = c -1 0.09/0.11 c # number of nodes added to the contingent of the total nodes 0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.11 c heuristics/rens/nodesofs = c 2000 0.09/0.11 c # minimum percentage of integer variables that have to be fixable 0.09/0.11 c # [type: real, range: [0,1], default: 0.5] 0.09/0.11 c heuristics/rens/minfixingrate = c 0.3 0.09/0.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c heuristics/rens/freq = c -1 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.09/0.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/pscostdiving/freq = c -1 0.09/0.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/oneopt/freq = c -1 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.09/0.11 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.11 c # [type: real, range: [0,1], default: 0.01] 0.09/0.11 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.09/0.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.11 c heuristics/objpscostdiving/freq = c -1 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.09/0.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/linesearchdiving/freq = c -1 0.09/0.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/intshifting/freq = c -1 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/intdiving/maxlpiterquot = c 0.075 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/guideddiving/maxlpiterofs = c 1500 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.09/0.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/guideddiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/fracdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/fracdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/feaspump/maxlpiterofs = c 2000 0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/feaspump/freq = c -1 0.09/0.12 c # minimum percentage of integer variables that have to be fixed 0.09/0.12 c # [type: real, range: [0,1], default: 0.666] 0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5 0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.12 c # [type: real, range: [0,1], default: 0.1] 0.09/0.12 c heuristics/crossover/nodesquot = c 0.15 0.09/0.12 c # number of nodes without incumbent change that heuristic should wait 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/crossover/nodesofs = c 750 0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.12 c heuristics/crossover/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/coefdiving/freq = c -1 0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c presolving/probing/maxrounds = c 0 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE 0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.12 c constraints/knapsack/disaggregation = c FALSE 0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE 0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/maxroundsroot = c 5 0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.12 c separating/maxrounds = c 1 0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c limits/solutions = c 1 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = c 1620 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = c 1791 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = c 10000 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving problem 0.09/0.12 c 0.09/0.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.15 c 0.1s| 1 | 0 | 263 |2891k| 0 | 94 | 271 |1478 |1478 | 271 |1478 | 0 | 0 | 0 | 4.600000e+01 | -- | Inf 0.19/0.22 c 0.2s| 1 | 0 | 284 |2894k| 0 | 95 | 271 |1478 |1478 | 271 |1485 | 7 | 0 | 0 | 4.600000e+01 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 339 |2903k| 0 | 121 | 271 |1478 |1478 | 271 |1490 | 12 | 0 | 0 | 4.655000e+01 | -- | Inf 0.39/0.42 c 0.3s| 1 | 0 | 434 |2909k| 0 | 116 | 271 |1478 |1478 | 271 |1497 | 19 | 0 | 0 | 4.775000e+01 | -- | Inf 0.49/0.52 c 0.5s| 1 | 0 | 467 |2925k| 0 | 113 | 271 |1478 |1478 | 271 |1503 | 25 | 0 | 0 | 4.837500e+01 | -- | Inf 0.59/0.64 c 0.6s| 1 | 0 | 586 |2936k| 0 | 124 | 271 |1478 |1478 | 271 |1509 | 31 | 0 | 0 | 4.876543e+01 | -- | Inf 1.20/1.28 c 1.2s| 1 | 2 | 586 |2936k| 0 | 124 | 271 |1478 |1478 | 271 |1509 | 31 | 0 | 23 | 4.876543e+01 | -- | Inf 254.91/255.10 c 253s| 10000 | 9952 |636390 | 10M| 49 | 64 | 271 |1500 |1422 | 271 |1503 | 31 | 22 |2045 | 5.303929e+01 | -- | Inf 466.95/467.15 c 463s| 20000 | 19820 | 1272k| 18M| 53 | 108 | 271 |1538 |1383 | 271 |1503 | 31 | 79 |2705 | 5.344800e+01 | -- | Inf 676.40/676.69 c 671s| 30000 | 29662 | 1896k| 26M| 66 | 79 | 271 |1560 |1235 | 271 |1503 | 31 | 130 |3359 | 5.368841e+01 | -- | Inf 882.03/882.39 c 875s| 40000 | 39522 | 2517k| 34M| 66 | 96 | 271 |1579 |1375 | 271 |1503 | 31 | 166 |3903 | 5.383824e+01 | -- | Inf 1075.58/1075.98 c 1067s| 50000 | 49386 | 3109k| 42M| 66 | 113 | 271 |1601 |1534 | 271 |1503 | 31 | 214 |4309 | 5.400000e+01 | -- | Inf 1275.63/1276.09 c 1265s| 60000 | 59252 | 3719k| 50M| 66 | 61 | 271 |1606 |1490 | 271 |1503 | 31 | 264 |4782 | 5.412201e+01 | -- | Inf 1480.45/1480.92 c 1468s| 70000 | 69133 | 4356k| 59M| 66 | 80 | 271 |1625 |1529 | 271 |1503 | 31 | 309 |5137 | 5.423295e+01 | -- | Inf 1687.00/1687.50 c 1673s| 80000 | 78995 | 5000k| 67M| 66 | 132 | 271 |1637 |1570 | 271 |1503 | 31 | 366 |5490 | 5.431250e+01 | -- | Inf 1800.07/1800.61 c 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time (sec) : 1785.04 1800.07/1800.61 c Solving Nodes : 85455 1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.61 c Dual Bound : +5.43571428571429e+01 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 c NODE 85455 1800.07/1800.61 c DUAL BOUND 54.3571 1800.07/1800.61 c PRIMAL BOUND 1e+20 1800.07/1800.61 c GAP 1e+20 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.61 c Solving Time : 1785.04 1800.07/1800.61 c Original Problem : 1800.07/1800.61 c Problem name : HOME/instance-1884167-1245255277.opb 1800.07/1800.61 c Variables : 271 (271 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 1972 initial, 1972 maximal 1800.07/1800.61 c Presolved Problem : 1800.07/1800.61 c Problem name : t_HOME/instance-1884167-1245255277.opb 1800.07/1800.61 c Variables : 271 (271 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.61 c Constraints : 1478 initial, 1643 maximal 1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.61 c linear : 0.03 0 0 0 0 0 494 0 0 1800.07/1800.61 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.07/1800.61 c root node : - 0 - - 0 - - - - 1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c integral : 0 0 0 85224 0 1 110 0 0 170246 1800.07/1800.61 c linear : 494 5 145068 0 0 27 18800 0 0 0 1800.07/1800.61 c logicor : 984+ 5 112251 0 0 325 65488 0 0 0 1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.61 c integral : 171.76 0.00 0.00 171.76 0.00 1800.07/1800.61 c linear : 7.60 0.00 7.60 0.00 0.00 1800.07/1800.61 c logicor : 2.09 0.00 2.09 0.00 0.00 1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.61 c rootredcost : 0.04 0 0 0 1800.07/1800.61 c pseudoobj : 2.36 145911 0 0 1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.61 c propagation : 0.01 352 311 357 5.0 35 5.9 - 1800.07/1800.61 c infeasible LP : 0.00 9 9 9 7.1 1 4.0 0 1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.61 c applied globally : - - - 395 5.0 - - - 1800.07/1800.61 c applied locally : - - - 0 0.0 - - - 1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.61 c cut pool : 0.00 4 - - 4 - (maximal pool size: 59) 1800.07/1800.61 c redcost : 1.08 85128 0 0 0 0 1800.07/1800.61 c impliedbounds : 0.00 5 0 0 0 0 1800.07/1800.61 c intobj : 0.00 0 0 0 0 0 1800.07/1800.61 c gomory : 0.20 5 0 0 190 0 1800.07/1800.61 c strongcg : 0.16 5 0 0 199 0 1800.07/1800.61 c cmir : 0.00 0 0 0 0 0 1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.61 c clique : 0.00 1 0 0 0 0 1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.61 c mcf : 0.00 1 0 0 0 0 1800.07/1800.61 c Pricers : Time Calls Vars 1800.07/1800.61 c problem variables: 0.00 0 0 1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.61 c relpscost : 171.60 85224 1 110 0 0 170246 1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.61 c random : 0.00 0 0 0 0 0 0 1800.07/1800.61 c Primal Heuristics : Time Calls Found 1800.07/1800.61 c LP solutions : 0.00 - 0 1800.07/1800.61 c pseudo solutions : 0.00 - 0 1800.07/1800.61 c simplerounding : 0.00 0 0 1800.07/1800.61 c rounding : 0.00 0 0 1800.07/1800.61 c shifting : 0.00 0 0 1800.07/1800.61 c intshifting : 0.00 0 0 1800.07/1800.61 c oneopt : 0.00 0 0 1800.07/1800.61 c fixandinfer : 0.00 0 0 1800.07/1800.61 c feaspump : 0.00 0 0 1800.07/1800.61 c coefdiving : 0.00 0 0 1800.07/1800.61 c pscostdiving : 0.00 0 0 1800.07/1800.61 c fracdiving : 0.00 0 0 1800.07/1800.61 c veclendiving : 0.00 0 0 1800.07/1800.61 c intdiving : 0.00 0 0 1800.07/1800.61 c actconsdiving : 0.00 0 0 1800.07/1800.61 c objpscostdiving : 0.00 0 0 1800.07/1800.61 c rootsoldiving : 0.00 0 0 1800.07/1800.61 c linesearchdiving : 0.00 0 0 1800.07/1800.61 c guideddiving : 0.00 0 0 1800.07/1800.61 c octane : 0.00 0 0 1800.07/1800.61 c rens : 0.00 0 0 1800.07/1800.61 c rins : 0.00 0 0 1800.07/1800.61 c localbranching : 0.00 0 0 1800.07/1800.61 c mutation : 0.00 0 0 1800.07/1800.61 c crossover : 0.00 0 0 1800.07/1800.61 c dins : 0.00 0 0 1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.07/1800.61 c dual LP : 1546.55 85234 5352668 62.80 3461.04 1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.61 c strong branching : 165.32 5683 552366 97.20 3341.19 1800.07/1800.61 c (at root node) : - 23 2338 101.65 - 1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.61 c B&B Tree : 1800.07/1800.61 c number of runs : 1 1800.07/1800.61 c nodes : 85455 1800.07/1800.61 c nodes (total) : 85455 1800.07/1800.61 c nodes left : 84384 1800.07/1800.61 c max depth : 66 1800.07/1800.61 c max depth (total): 66 1800.07/1800.61 c backtracks : 13516 (15.8%) 1800.07/1800.61 c delayed cutoffs : 408 1800.07/1800.61 c repropagations : 1710 (1069 domain reductions, 30 cutoffs) 1800.07/1800.61 c avg switch length: 7.22 1800.07/1800.61 c switching time : 9.71 1800.07/1800.61 c Solution : 1800.07/1800.61 c Solutions found : 0 (0 improvements) 1800.07/1800.61 c Primal Bound : - 1800.07/1800.61 c Dual Bound : +5.43571428571429e+01 1800.07/1800.61 c Gap : infinite 1800.07/1800.61 c Root Dual Bound : +4.87654320987654e+01 1800.26/1800.84 c Time complete: 1800.31.
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-1884167-1245255277/watcher-1884167-1245255277 -o /tmp/evaluation-result-1884167-1245255277/solver-1884167-1245255277 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884167-1245255277.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: 0.99 0.96 0.67 3/64 16625 /proc/meminfo: memFree=1800912/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=4328 CPUtime=0 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 78230538 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0 /proc/16625/statm: 1162 476 309 886 0 272 0 [startup+0.0675851 s] /proc/loadavg: 0.99 0.96 0.67 3/64 16625 /proc/meminfo: memFree=1800912/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=15248 CPUtime=0.06 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 3211 0 0 0 5 1 0 0 18 0 1 0 78230538 15613952 2839 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 3812 2839 415 886 0 2922 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15248 [startup+0.10159 s] /proc/loadavg: 0.99 0.96 0.67 3/64 16625 /proc/meminfo: memFree=1800912/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=16284 CPUtime=0.09 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 3472 0 0 0 7 2 0 0 18 0 1 0 78230538 16674816 3100 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4071 3100 418 886 0 3181 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16284 [startup+0.301613 s] /proc/loadavg: 0.99 0.96 0.67 3/64 16625 /proc/meminfo: memFree=1800912/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=18636 CPUtime=0.29 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4312 0 0 0 26 3 0 0 18 0 1 0 78230538 19083264 3873 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4659 3873 530 886 0 3769 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18636 [startup+0.701659 s] /proc/loadavg: 0.99 0.96 0.67 3/64 16625 /proc/meminfo: memFree=1800912/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19156 CPUtime=0.69 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4420 0 0 0 65 4 0 0 21 0 1 0 78230538 19615744 3981 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4789 3981 533 886 0 3899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19156 [startup+1.50275 s] /proc/loadavg: 0.99 0.96 0.67 2/65 16626 /proc/meminfo: memFree=1787016/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19332 CPUtime=1.49 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4498 0 0 0 144 5 0 0 25 0 1 0 78230538 19795968 4059 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4833 4059 537 886 0 3943 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19332 [startup+3.10194 s] /proc/loadavg: 0.99 0.96 0.67 2/65 16626 /proc/meminfo: memFree=1786632/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19332 CPUtime=3.09 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4498 0 0 0 303 6 0 0 25 0 1 0 78230538 19795968 4059 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4833 4059 537 886 0 3943 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19332 [startup+6.30131 s] /proc/loadavg: 0.99 0.96 0.67 2/65 16626 /proc/meminfo: memFree=1786248/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19332 CPUtime=6.29 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4506 0 0 0 619 10 0 0 25 0 1 0 78230538 19795968 4067 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4833 4067 539 886 0 3943 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19332 [startup+12.7011 s] /proc/loadavg: 0.99 0.96 0.67 2/65 16626 /proc/meminfo: memFree=1786256/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19332 CPUtime=12.69 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4508 0 0 0 1254 15 0 0 25 0 1 0 78230538 19795968 4069 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4833 4069 539 886 0 3943 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19332 [startup+25.5015 s] /proc/loadavg: 1.06 0.98 0.68 2/65 16626 /proc/meminfo: memFree=1786256/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19512 CPUtime=25.48 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4545 0 0 0 2523 25 0 0 25 0 1 0 78230538 19980288 4106 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4878 4106 539 886 0 3988 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19512 [startup+51.1015 s] /proc/loadavg: 1.04 0.98 0.69 2/65 16626 /proc/meminfo: memFree=1786064/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=19892 CPUtime=51.08 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 4647 0 0 0 5064 44 0 0 25 0 1 0 78230538 20369408 4208 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 4973 4208 545 886 0 4083 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19892 [startup+102.305 s] /proc/loadavg: 1.06 1.00 0.71 2/65 16626 /proc/meminfo: memFree=1783760/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=22116 CPUtime=102.26 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 5212 0 0 0 10141 85 0 0 25 0 1 0 78230538 22646784 4773 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 5529 4773 545 886 0 4639 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22116 [startup+162.301 s] /proc/loadavg: 1.07 1.01 0.73 2/65 16626 /proc/meminfo: memFree=1780816/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=24932 CPUtime=162.25 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 5936 0 0 0 16092 133 0 0 25 0 1 0 78230538 25530368 5497 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 6233 5497 545 886 0 5343 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24932 [startup+222.301 s] /proc/loadavg: 1.06 1.02 0.75 2/65 16626 /proc/meminfo: memFree=1780176/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=25512 CPUtime=222.23 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 6088 0 0 0 22042 181 0 0 25 0 1 0 78230538 26124288 5649 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 6378 5649 547 886 0 5488 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25512 [startup+282.301 s] /proc/loadavg: 1.06 1.03 0.76 2/65 16626 /proc/meminfo: memFree=1777040/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=28800 CPUtime=282.21 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 6902 0 0 0 27990 231 0 0 25 0 1 0 78230538 29491200 6463 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 7200 6463 547 886 0 6310 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28800 [startup+342.301 s] /proc/loadavg: 1.06 1.03 0.78 2/65 16626 /proc/meminfo: memFree=1774928/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=30760 CPUtime=342.19 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 7391 0 0 0 33941 278 0 0 25 0 1 0 78230538 31498240 6952 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 7690 6952 547 886 0 6800 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30760 [startup+402.301 s] /proc/loadavg: 1.13 1.05 0.80 2/65 16626 /proc/meminfo: memFree=1772368/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=33176 CPUtime=402.17 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 8022 0 0 0 39895 322 0 0 25 0 1 0 78230538 33972224 7583 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 8294 7583 547 886 0 7404 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33176 [startup+462.301 s] /proc/loadavg: 1.12 1.06 0.82 2/65 16626 /proc/meminfo: memFree=1769808/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=35656 CPUtime=462.15 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 8668 0 0 0 45844 371 0 0 25 0 1 0 78230538 36511744 8226 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 8914 8226 547 886 0 8024 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35656 [startup+522.301 s] /proc/loadavg: 1.11 1.06 0.83 2/65 16626 /proc/meminfo: memFree=1767632/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=37800 CPUtime=522.14 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 9214 0 0 0 51794 420 0 0 25 0 1 0 78230538 38707200 8772 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 9450 8772 547 886 0 8560 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 37800 [startup+582.301 s] /proc/loadavg: 1.10 1.06 0.84 2/65 16626 /proc/meminfo: memFree=1766416/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=38768 CPUtime=582.12 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 9492 0 0 0 57740 472 0 0 25 0 1 0 78230538 39698432 9050 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 9692 9050 547 886 0 8802 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 38768 [startup+642.301 s] /proc/loadavg: 1.09 1.07 0.85 2/65 16626 /proc/meminfo: memFree=1763664/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=41460 CPUtime=642.11 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 10178 0 0 0 63688 523 0 0 25 0 1 0 78230538 42455040 9736 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 10365 9736 547 886 0 9475 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 41460 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.07 1.06 0.90 2/65 16626 /proc/meminfo: memFree=1752656/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=52260 CPUtime=882.03 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 12901 0 0 0 87478 725 0 0 25 0 1 0 78230538 53514240 12459 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 13065 12459 547 886 0 12175 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 52260 [startup+942.302 s] /proc/loadavg: 1.06 1.06 0.91 2/65 16626 /proc/meminfo: memFree=1750416/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=54356 CPUtime=942.02 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 13464 0 0 0 93427 775 0 0 25 0 1 0 78230538 55660544 13002 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 13589 13002 547 886 0 12699 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 54356 [startup+1002.3 s] /proc/loadavg: 1.06 1.06 0.91 2/65 16626 /proc/meminfo: memFree=1746448/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=58348 CPUtime=1001.99 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 14478 0 0 0 99376 823 0 0 25 0 1 0 78230538 59748352 14000 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 14587 14000 547 886 0 13697 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 58348 [startup+1062.3 s] /proc/loadavg: 1.13 1.08 0.93 2/65 16626 /proc/meminfo: memFree=1743824/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=60848 CPUtime=1061.98 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 15116 0 0 0 105325 873 0 0 25 0 1 0 78230538 62308352 14638 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 15212 14638 547 886 0 14322 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 60848 [startup+1122.3 s] /proc/loadavg: 1.12 1.08 0.93 2/65 16626 /proc/meminfo: memFree=1741200/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=63436 CPUtime=1121.96 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 15773 0 0 0 111270 926 0 0 25 0 1 0 78230538 64958464 15295 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 15859 15295 547 886 0 14969 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 63436 [startup+1182.3 s] /proc/loadavg: 1.16 1.09 0.94 2/65 16626 /proc/meminfo: memFree=1739856/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=64660 CPUtime=1181.95 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 16094 0 0 0 117222 973 0 0 25 0 1 0 78230538 66211840 15616 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 16165 15616 547 886 0 15275 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 64660 [startup+1242.3 s] /proc/loadavg: 1.17 1.10 0.95 2/65 16626 /proc/meminfo: memFree=1736848/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=67636 CPUtime=1241.93 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 16850 0 0 0 123170 1023 0 0 25 0 1 0 78230538 69259264 16372 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 16909 16372 547 886 0 16019 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 67636 [startup+1302.3 s] /proc/loadavg: 1.16 1.11 0.96 2/65 16626 /proc/meminfo: memFree=1732304/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=71960 CPUtime=1301.91 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 17972 0 0 0 129122 1069 0 0 25 0 1 0 78230538 73687040 17494 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 17990 17494 547 886 0 17100 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 71960 [startup+1362.3 s] /proc/loadavg: 1.16 1.12 0.97 2/65 16626 /proc/meminfo: memFree=1730384/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=74748 CPUtime=1361.9 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 18646 0 0 0 135067 1123 0 0 25 0 1 0 78230538 76541952 18168 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 18687 18168 547 886 0 17797 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 74748 [startup+1422.3 s] /proc/loadavg: 1.10 1.11 0.98 2/65 16626 /proc/meminfo: memFree=1727440/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=78444 CPUtime=1421.88 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 19176 0 0 0 141016 1172 0 0 25 0 1 0 78230538 80326656 18698 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 19611 18698 547 886 0 18721 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 78444 [startup+1482.3 s] /proc/loadavg: 1.08 1.10 0.98 2/65 16626 /proc/meminfo: memFree=1725328/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=80384 CPUtime=1481.86 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 19694 0 0 0 146960 1226 0 0 25 0 1 0 78230538 82313216 19216 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 20096 19216 547 886 0 19206 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 80384 [startup+1542.3 s] /proc/loadavg: 1.14 1.11 1.00 2/65 16626 /proc/meminfo: memFree=1723344/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=82300 CPUtime=1541.84 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 20184 0 0 0 152906 1278 0 0 25 0 1 0 78230538 84275200 19706 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 20575 19706 547 886 0 19685 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 82300 [startup+1602.3 s] /proc/loadavg: 1.16 1.12 1.00 2/65 16626 /proc/meminfo: memFree=1720400/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=85096 CPUtime=1601.82 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 20912 0 0 0 158854 1328 0 0 25 0 1 0 78230538 87138304 20433 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 21274 20433 547 886 0 20384 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 85096 [startup+1662.3 s] /proc/loadavg: 1.17 1.13 1.01 2/65 16626 /proc/meminfo: memFree=1718224/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=87304 CPUtime=1661.8 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 21487 0 0 0 164803 1377 0 0 25 0 1 0 78230538 89399296 20970 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 21826 20970 547 886 0 20936 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 87304 [startup+1722.3 s] /proc/loadavg: 1.24 1.15 1.02 2/65 16626 /proc/meminfo: memFree=1715792/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=89668 CPUtime=1721.78 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 22085 0 0 0 170747 1431 0 0 25 0 1 0 78230538 91820032 21568 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 22417 21568 547 886 0 21527 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 89668 [startup+1782.3 s] /proc/loadavg: 1.16 1.13 1.02 2/65 16626 /proc/meminfo: memFree=1712912/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=92480 CPUtime=1781.77 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 22796 0 0 0 176692 1485 0 0 25 0 1 0 78230538 94699520 22279 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 23120 22279 547 886 0 22230 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 92480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.11 1.12 1.02 2/65 16626 /proc/meminfo: memFree=1712464/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=92860 CPUtime=1800.07 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 22916 0 0 0 178507 1500 0 0 25 0 1 0 78230538 95088640 22399 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16625/statm: 23215 22400 547 886 0 22325 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 92860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.11 1.12 1.02 2/65 16626 /proc/meminfo: memFree=1712464/2055920 swapFree=4182476/4192956 [pid=16625] ppid=16623 vsize=92860 CPUtime=1800.26 /proc/16625/stat : 16625 (pbscip.linux.x8) R 16623 16625 16502 0 -1 4194304 22923 0 0 0 178526 1500 0 0 25 0 1 0 78230538 95088640 22406 1992294400 4194304 7823515 548682068736 18446744073709551615 5875900 0 0 4096 0 0 0 0 17 1 0 0 /proc/16625/statm: 23215 22406 552 886 0 22325 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 92860 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.32 CPU user time (s): 1785.29 CPU system time (s): 15.0247 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 92860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.29 system time used= 15.0247 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22930 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= 2839 runsolver used 1.60376 second user time and 3.35949 second system time The end
Begin job on node20 at 2009-06-17 18:14:37 IDJOB=1884167 IDBENCH=71930 IDSOLVER=683 FILE ID=node20/1884167-1245255277 PBS_JOBID= 9372433 Free space on /tmp= 66316 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/crafted/Medium/contest05/jarvisalo/mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.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-1884167-1245255277/watcher-1884167-1245255277 -o /tmp/evaluation-result-1884167-1245255277/solver-1884167-1245255277 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884167-1245255277.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 77dce6703a96d5b968b24a687b923d1d RANDOM SEED=1624691820 node20.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.234 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.234 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1801328 kB Buffers: 36052 kB Cached: 142068 kB SwapCached: 4732 kB Active: 70740 kB Inactive: 115160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801328 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 9912 kB Writeback: 0 kB Mapped: 13808 kB Slab: 54676 kB Committed_AS: 163444 kB PageTables: 1400 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= 66304 MiB End job on node20 at 2009-06-17 18:44:40