Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | UNSAT | 1356.98 | 1357.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb |
MD5SUM | be6efe3218879d0d0c6c419c0919396c |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 43.2124 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 683 |
Number of bits of the biggest sum of numbers | 10 |
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.05 c SCIP version 1.1.0.7 0.00/0.05 c LP-Solver SoPlex 1.4.1 0.00/0.05 c user parameter file <scip.set> not found - using default parameters 0.00/0.05 c read problem <HOME/instance-1868214-1245116015.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 c start presolving problem 0.00/0.06 c presolving: 0.09/0.10 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.11 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.12 c presolving (3 rounds): 0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.12 c 242 implications, 22 cliques 0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.12 c 1 constraints of type <knapsack> 0.09/0.12 c 22 constraints of type <setppc> 0.09/0.12 c 2541 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.05 0.09/0.12 c SATUNSAT-LIN 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/flowcover/freq = c -1 0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/cmir/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/veclendiving/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/veclendiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-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/veclendiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/simplerounding/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <shifting> (-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/shifting/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/rounding/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/rootsoldiving/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.01] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-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/rootsoldiving/freq = c -1 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/rens/nodesofs = c 2000 0.09/0.12 c # minimum percentage of integer variables that have to be fixable 0.09/0.12 c # [type: real, range: [0,1], default: 0.5] 0.09/0.12 c heuristics/rens/minfixingrate = c 0.3 0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c heuristics/rens/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/pscostdiving/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/pscostdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-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/pscostdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/oneopt/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/objpscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.12 c # [type: real, range: [0,1], default: 0.01] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-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/objpscostdiving/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/linesearchdiving/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/linesearchdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-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/linesearchdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-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/intshifting/freq = c -1 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/intdiving/maxlpiterquot = c 0.075 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/guideddiving/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/guideddiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-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/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 | 77 |3513k| 0 | 34 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 103 |3670k| 0 | 39 | 231 |2564 |2564 | 231 |2570 | 6 | 0 | 0 | 1.100000e+01 | -- | Inf 0.49/0.54 c 0.5s| 1 | 0 | 126 |3881k| 0 | 39 | 231 |2564 |2564 | 231 |2573 | 9 | 0 | 0 | 1.100000e+01 | -- | Inf 0.79/0.87 c 0.8s| 1 | 0 | 141 |3950k| 0 | 41 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf 1.19/1.22 c 1.1s| 1 | 0 | 164 |4019k| 0 | 43 | 231 |2564 |2564 | 231 |2578 | 14 | 0 | 0 | 1.100000e+01 | -- | Inf 1.49/1.59 c 1.5s| 1 | 0 | 178 |4036k| 0 | 45 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 0 | 1.100000e+01 | -- | Inf 4.09/4.11 c 4.0s| 1 | 2 | 178 |4037k| 0 | 45 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 33 | 1.100000e+01 | -- | Inf 141.84/141.99 c 141s| 10000 | 1486 |230930 |8799k| 61 | - | 231 |4986 |1516 | 231 |2574 | 15 |4998 |2407 | 1.400000e+01 | -- | Inf 234.91/235.09 c 233s| 20000 | 2244 |451299 | 11M| 63 | 20 | 231 |5425 | 970 | 231 |2574 | 15 | 10k|2410 | 1.500000e+01 | -- | Inf 340.27/340.49 c 338s| 30000 | 2874 |677590 | 13M| 63 | 27 | 231 |5871 |1165 | 231 |2574 | 15 | 15k|2999 | 1.500000e+01 | -- | Inf 449.14/449.38 c 446s| 40000 | 3497 |908198 | 15M| 63 | 38 | 231 |5485 |1532 | 231 |2574 | 15 | 21k|3659 | 1.500000e+01 | -- | Inf 547.51/547.72 c 543s| 50000 | 3855 | 1117k| 17M| 63 | - | 231 |6918 |1705 | 231 |2574 | 15 | 27k|4131 | 1.500000e+01 | -- | Inf 648.87/649.15 c 644s| 60000 | 4061 | 1332k| 18M| 63 | - | 231 |7757 |1315 | 231 |2574 | 15 | 33k|4549 | 1.600000e+01 | -- | Inf 652.78/653.03 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06) 752.74/753.05 c 747s| 70000 | 4087 | 1552k| 19M| 63 | - | 231 |8283 |1221 | 231 |2574 | 15 | 38k|4968 | 1.600000e+01 | -- | Inf 854.50/854.83 c 847s| 80000 | 3853 | 1765k| 19M| 63 | - | 231 |7938 | 494 | 0 | 0 | 15 | 44k|5406 | 1.600000e+01 | -- | Inf 949.28/949.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 949.28/949.69 c 942s| 90000 | 3554 | 1964k| 18M| 63 | 25 | 231 |9010 | 991 | 231 |2574 | 15 | 50k|5721 | 1.600000e+01 | -- | Inf 1046.45/1046.81 c 1038s|100000 | 3183 | 2167k| 18M| 63 | 26 | 231 |9909 |1030 | 231 |2574 | 15 | 56k|6022 | 1.700000e+01 | -- | Inf 1148.71/1149.15 c 1139s|110000 | 2788 | 2376k| 18M| 63 | - | 231 |9300 |1317 | 231 |2574 | 15 | 62k|6424 | 1.700000e+01 | -- | Inf 1239.99/1240.45 c 1230s|120000 | 1842 | 2557k| 15M| 63 | - | 231 | 10k|1104 | 231 |2574 | 15 | 68k|6740 | 1.800000e+01 | -- | Inf 1335.65/1336.20 c 1325s|130000 | 669 | 2744k| 12M| 63 | - | 231 | 11k| 645 | 231 |2574 | 15 | 73k|7064 | 1.800000e+01 | -- | Inf 1356.85/1357.38 c 1356.85/1357.38 c SCIP Status : problem is solved [infeasible] 1356.85/1357.38 c Solving Time (sec) : 1345.80 1356.85/1357.38 c Solving Nodes : 132273 1356.85/1357.38 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1356.85/1357.38 c Dual Bound : +1.00000000000000e+20 1356.85/1357.38 c Gap : 0.00 % 1356.85/1357.38 c NODE 132273 1356.85/1357.38 c DUAL BOUND 1e+20 1356.85/1357.38 c PRIMAL BOUND 1e+20 1356.85/1357.38 c GAP 0 1356.85/1357.38 s UNSATISFIABLE 1356.85/1357.38 c SCIP Status : problem is solved [infeasible] 1356.85/1357.38 c Solving Time : 1345.80 1356.85/1357.38 c Original Problem : 1356.85/1357.38 c Problem name : HOME/instance-1868214-1245116015.opb 1356.85/1357.38 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1356.85/1357.38 c Constraints : 2707 initial, 2707 maximal 1356.85/1357.38 c Presolved Problem : 1356.85/1357.38 c Problem name : t_HOME/instance-1868214-1245116015.opb 1356.85/1357.38 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1356.85/1357.38 c Constraints : 2564 initial, 11558 maximal 1356.85/1357.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1356.85/1357.38 c trivial : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c dualfix : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c boundshift : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c implics : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c probing : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c knapsack : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c setppc : 0.00 0 0 0 0 0 0 0 0 1356.85/1357.38 c linear : 0.02 0 0 0 0 0 143 0 0 1356.85/1357.38 c logicor : 0.03 0 0 0 0 0 0 0 0 1356.85/1357.38 c root node : - 2 - - 2 - - - - 1356.85/1357.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1356.85/1357.38 c integral : 0 0 0 68024 0 245 2528 0 0 133044 1356.85/1357.38 c knapsack : 1 5 467293 0 0 1039 253324 0 0 0 1356.85/1357.38 c setppc : 22 5 466649 0 0 3155 658735 0 0 0 1356.85/1357.38 c logicor : 2541+ 5 266564 0 0 1284 898494 0 0 0 1356.85/1357.38 c countsols : 0 0 0 0 0 0 0 0 0 0 1356.85/1357.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1356.85/1357.38 c integral : 120.27 0.00 0.00 120.27 0.00 1356.85/1357.38 c knapsack : 1.28 0.00 1.28 0.00 0.00 1356.85/1357.38 c setppc : 3.74 0.00 3.74 0.00 0.00 1356.85/1357.38 c logicor : 44.15 0.00 44.15 0.00 0.00 1356.85/1357.38 c countsols : 0.00 0.00 0.00 0.00 0.00 1356.85/1357.38 c Propagators : Time Calls Cutoffs DomReds 1356.85/1357.38 c rootredcost : 0.27 0 0 0 1356.85/1357.38 c pseudoobj : 6.94 467699 0 0 1356.85/1357.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1356.85/1357.38 c propagation : 0.60 5478 5455 34247 25.0 250 26.0 - 1356.85/1357.38 c infeasible LP : 25.02 60782 56142 368154 37.3 999 22.7 0 1356.85/1357.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1356.85/1357.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1356.85/1357.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1356.85/1357.38 c applied globally : - - - 67542 19.7 - - - 1356.85/1357.38 c applied locally : - - - 7815 35.6 - - - 1356.85/1357.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1356.85/1357.38 c cut pool : 0.00 4 - - 4 - (maximal pool size: 189) 1356.85/1357.38 c redcost : 1.11 66876 0 0 0 0 1356.85/1357.38 c impliedbounds : 0.00 5 0 0 0 0 1356.85/1357.38 c intobj : 0.00 0 0 0 0 0 1356.85/1357.38 c gomory : 0.78 5 0 0 732 0 1356.85/1357.38 c strongcg : 0.58 5 0 0 1233 0 1356.85/1357.38 c cmir : 0.00 0 0 0 0 0 1356.85/1357.38 c flowcover : 0.00 0 0 0 0 0 1356.85/1357.38 c clique : 0.00 5 0 0 0 0 1356.85/1357.38 c zerohalf : 0.00 0 0 0 0 0 1356.85/1357.38 c mcf : 0.00 1 0 0 0 0 1356.85/1357.38 c Pricers : Time Calls Vars 1356.85/1357.38 c problem variables: 0.00 0 0 1356.85/1357.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1356.85/1357.38 c relpscost : 120.10 68024 245 2528 0 0 133044 1356.85/1357.38 c pscost : 0.00 0 0 0 0 0 0 1356.85/1357.38 c inference : 0.00 0 0 0 0 0 0 1356.85/1357.38 c mostinf : 0.00 0 0 0 0 0 0 1356.85/1357.38 c leastinf : 0.00 0 0 0 0 0 0 1356.85/1357.38 c fullstrong : 0.00 0 0 0 0 0 0 1356.85/1357.38 c allfullstrong : 0.00 0 0 0 0 0 0 1356.85/1357.38 c random : 0.00 0 0 0 0 0 0 1356.85/1357.38 c Primal Heuristics : Time Calls Found 1356.85/1357.38 c LP solutions : 0.00 - 0 1356.85/1357.38 c pseudo solutions : 0.00 - 0 1356.85/1357.38 c simplerounding : 0.00 0 0 1356.85/1357.38 c rounding : 0.00 0 0 1356.85/1357.38 c shifting : 0.00 0 0 1356.85/1357.38 c intshifting : 0.00 0 0 1356.85/1357.38 c oneopt : 0.00 0 0 1356.85/1357.38 c fixandinfer : 0.00 0 0 1356.85/1357.38 c feaspump : 0.00 0 0 1356.85/1357.38 c coefdiving : 0.00 0 0 1356.85/1357.38 c pscostdiving : 0.00 0 0 1356.85/1357.38 c fracdiving : 0.00 0 0 1356.85/1357.38 c veclendiving : 0.00 0 0 1356.85/1357.38 c intdiving : 0.00 0 0 1356.85/1357.38 c actconsdiving : 0.00 0 0 1356.85/1357.38 c objpscostdiving : 0.00 0 0 1356.85/1357.38 c rootsoldiving : 0.00 0 0 1356.85/1357.38 c linesearchdiving : 0.00 0 0 1356.85/1357.38 c guideddiving : 0.00 0 0 1356.85/1357.38 c octane : 0.00 0 0 1356.85/1357.38 c rens : 0.00 0 0 1356.85/1357.38 c rins : 0.00 0 0 1356.85/1357.38 c localbranching : 0.00 0 0 1356.85/1357.38 c mutation : 0.00 0 0 1356.85/1357.38 c crossover : 0.00 0 0 1356.85/1357.38 c dins : 0.00 0 0 1356.85/1357.38 c LP : Time Calls Iterations Iter/call Iter/sec 1356.85/1357.38 c primal LP : 0.01 0 0 0.00 0.00 1356.85/1357.38 c dual LP : 1032.61 128666 2779124 21.60 2691.36 1356.85/1357.38 c barrier LP : 0.00 0 0 0.00 - 1356.85/1357.38 c diving/probing LP: 0.00 0 0 0.00 - 1356.85/1357.38 c strong branching : 117.22 7185 303973 42.31 2593.18 1356.85/1357.38 c (at root node) : - 33 6148 186.30 - 1356.85/1357.38 c conflict analysis: 0.00 0 0 0.00 - 1356.85/1357.38 c B&B Tree : 1356.85/1357.38 c number of runs : 1 1356.85/1357.38 c nodes : 132273 1356.85/1357.38 c nodes (total) : 132273 1356.85/1357.38 c nodes left : 0 1356.85/1357.38 c max depth : 63 1356.85/1357.38 c max depth (total): 63 1356.85/1357.38 c backtracks : 16170 (12.2%) 1356.85/1357.38 c delayed cutoffs : 772 1356.85/1357.38 c repropagations : 163050 (242949 domain reductions, 761 cutoffs) 1356.85/1357.38 c avg switch length: 7.10 1356.85/1357.38 c switching time : 36.86 1356.85/1357.38 c Solution : 1356.85/1357.38 c Solutions found : 0 (0 improvements) 1356.85/1357.38 c Primal Bound : infeasible 1356.85/1357.38 c Dual Bound : - 1356.85/1357.38 c Gap : 0.00 % 1356.85/1357.38 c Root Dual Bound : +1.10000000000000e+01 1356.95/1357.42 c Time complete: 1356.96.
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-1868214-1245116015/watcher-1868214-1245116015 -o /tmp/evaluation-result-1868214-1245116015/solver-1868214-1245116015 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868214-1245116015.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 1.08 3/64 321 /proc/meminfo: memFree=980904/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=4328 CPUtime=0 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 485 0 0 0 0 0 0 0 18 0 1 0 179194488 4431872 469 1992294400 4194304 7823515 548682068736 18446744073709551615 6124816 0 0 4096 0 0 0 0 17 1 0 0 /proc/321/statm: 1162 481 314 886 0 272 0 [startup+0.084395 s] /proc/loadavg: 1.00 1.00 1.08 3/64 321 /proc/meminfo: memFree=980904/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=16420 CPUtime=0.07 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 3509 0 0 0 6 1 0 0 18 0 1 0 179194488 16814080 3137 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 4105 3137 422 886 0 3215 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16420 [startup+0.101398 s] /proc/loadavg: 1.00 1.00 1.08 3/64 321 /proc/meminfo: memFree=980904/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=17544 CPUtime=0.09 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 3797 0 0 0 8 1 0 0 18 0 1 0 179194488 17965056 3425 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 4386 3425 429 886 0 3496 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17544 [startup+0.301426 s] /proc/loadavg: 1.00 1.00 1.08 3/64 321 /proc/meminfo: memFree=980904/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=23052 CPUtime=0.29 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 5364 0 0 0 27 2 0 0 17 0 1 0 179194488 23605248 4949 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 5763 4949 547 886 0 4873 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23052 [startup+0.701482 s] /proc/loadavg: 1.00 1.00 1.08 3/64 321 /proc/meminfo: memFree=980904/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=24852 CPUtime=0.69 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 5823 0 0 0 66 3 0 0 20 0 1 0 179194488 25448448 5408 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6213 5408 547 886 0 5323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24852 [startup+1.50159 s] /proc/loadavg: 1.00 1.00 1.08 2/65 322 /proc/meminfo: memFree=961184/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=25232 CPUtime=1.49 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 5952 0 0 0 145 4 0 0 25 0 1 0 179194488 25837568 5537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6308 5537 547 886 0 5418 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25232 [startup+3.10182 s] /proc/loadavg: 1.00 1.00 1.08 2/65 322 /proc/meminfo: memFree=960544/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=25744 CPUtime=3.09 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 6062 0 0 0 304 5 0 0 25 0 1 0 179194488 26361856 5647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6436 5647 551 886 0 5546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25744 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.08 2/65 322 /proc/meminfo: memFree=959968/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=25744 CPUtime=6.29 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 6083 0 0 0 621 8 0 0 25 0 1 0 179194488 26361856 5668 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6436 5668 554 886 0 5546 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25744 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.08 2/65 322 /proc/meminfo: memFree=960096/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=25744 CPUtime=12.68 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 6116 0 0 0 1256 12 0 0 25 0 1 0 179194488 26361856 5701 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6436 5701 561 886 0 5546 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25744 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.07 2/65 322 /proc/meminfo: memFree=960160/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=25744 CPUtime=25.49 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 6116 0 0 0 2528 21 0 0 25 0 1 0 179194488 26361856 5701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6436 5701 561 886 0 5546 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25744 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.07 2/65 322 /proc/meminfo: memFree=959520/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=26792 CPUtime=51.06 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 6345 0 0 0 5066 40 0 0 25 0 1 0 179194488 27435008 5930 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 6698 5930 561 886 0 5808 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 26792 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.07 2/65 322 /proc/meminfo: memFree=955680/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=30496 CPUtime=102.25 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 7276 0 0 0 10147 78 0 0 25 0 1 0 179194488 31227904 6860 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 7624 6860 561 886 0 6734 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 30496 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.06 2/65 322 /proc/meminfo: memFree=953952/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=32072 CPUtime=162.22 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 7691 0 0 0 16094 128 0 0 25 0 1 0 179194488 32841728 7275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 8018 7275 561 886 0 7128 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 32072 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.06 2/65 322 /proc/meminfo: memFree=950944/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=35028 CPUtime=222.21 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 8442 0 0 0 22041 180 0 0 25 0 1 0 179194488 35868672 8026 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 8757 8026 561 886 0 7867 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 35028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.05 2/65 322 /proc/meminfo: memFree=949728/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=36264 CPUtime=282.19 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 8730 0 0 0 27990 229 0 0 25 0 1 0 179194488 37134336 8314 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 9066 8314 561 886 0 8176 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 36264 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.04 2/65 322 /proc/meminfo: memFree=948640/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=37264 CPUtime=342.17 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 9000 0 0 0 33938 279 0 0 25 0 1 0 179194488 38158336 8584 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 9316 8584 561 886 0 8426 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 37264 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.04 2/65 322 /proc/meminfo: memFree=948384/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=37892 CPUtime=402.15 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 9126 0 0 0 39888 327 0 0 25 0 1 0 179194488 38801408 8710 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 9473 8710 561 886 0 8583 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 37892 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.03 2/65 322 /proc/meminfo: memFree=946208/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=39872 CPUtime=462.13 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 9653 0 0 0 45838 375 0 0 25 0 1 0 179194488 40828928 9237 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 9968 9237 561 886 0 9078 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 39872 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.03 2/65 322 /proc/meminfo: memFree=944288/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=41712 CPUtime=522.11 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 10109 0 0 0 51784 427 0 0 25 0 1 0 179194488 42713088 9693 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 10428 9693 561 886 0 9538 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 41712 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.02 2/65 322 /proc/meminfo: memFree=942752/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=43324 CPUtime=582.09 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 10507 0 0 0 57734 475 0 0 25 0 1 0 179194488 44363776 10091 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 10831 10091 561 886 0 9941 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 43324 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/65 322 /proc/meminfo: memFree=941984/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=44048 CPUtime=642.08 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 10684 0 0 0 63681 527 0 0 25 0 1 0 179194488 45105152 10268 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11012 10268 561 886 0 10122 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 44048 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=940576/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=45456 CPUtime=762.04 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11134 0 0 0 75578 626 0 0 25 0 1 0 179194488 46546944 10718 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11364 10718 648 886 0 10474 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 45456 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=940192/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=45828 CPUtime=822.01 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11228 0 0 0 81523 678 0 0 25 0 1 0 179194488 46927872 10812 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11457 10812 648 886 0 10567 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 45828 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=939808/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=46260 CPUtime=882 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11324 0 0 0 87473 727 0 0 25 0 1 0 179194488 47370240 10908 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11565 10908 648 886 0 10675 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 46260 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=939616/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=46260 CPUtime=941.98 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11354 0 0 0 93427 771 0 0 25 0 1 0 179194488 47370240 10938 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11565 10938 648 886 0 10675 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 46260 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=939232/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=46676 CPUtime=1001.96 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11449 0 0 0 99377 819 0 0 25 0 1 0 179194488 47796224 11033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11669 11033 648 886 0 10779 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 46676 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=939168/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=46856 CPUtime=1061.93 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11482 0 0 0 105326 867 0 0 25 0 1 0 179194488 47980544 11066 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11714 11066 648 886 0 10824 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 46856 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=938848/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47064 CPUtime=1121.92 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11557 0 0 0 111275 917 0 0 25 0 1 0 179194488 48193536 11141 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11766 11141 648 886 0 10876 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 47064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 322 /proc/meminfo: memFree=938784/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47212 CPUtime=1181.9 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11573 0 0 0 117224 966 0 0 25 0 1 0 179194488 48345088 11157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11803 11157 648 886 0 10913 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 47212 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938528/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47212 CPUtime=1241.88 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11573 0 0 0 123172 1016 0 0 25 0 1 0 179194488 48345088 11157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11803 11157 648 886 0 10913 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 47212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1301.87 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11612 0 0 0 129121 1066 0 0 25 0 1 0 179194488 48517120 11196 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11196 648 886 0 10955 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 47380 Solver just ended. Dumping a history of the last processes samples [startup+1331.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1330.66 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11613 0 0 0 131977 1089 0 0 25 0 1 0 179194488 48517120 11197 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11197 648 886 0 10955 0 Current children cumulated CPU time (s) 1330.66 Current children cumulated vsize (KiB) 47380 [startup+1343.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1343.45 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11613 0 0 0 133245 1100 0 0 25 0 1 0 179194488 48517120 11197 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11197 648 886 0 10955 0 Current children cumulated CPU time (s) 1343.45 Current children cumulated vsize (KiB) 47380 [startup+1350.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1349.84 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11613 0 0 0 133881 1103 0 0 25 0 1 0 179194488 48517120 11197 1992294400 4194304 7823515 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11197 648 886 0 10955 0 Current children cumulated CPU time (s) 1349.84 Current children cumulated vsize (KiB) 47380 [startup+1353.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1353.04 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11613 0 0 0 134198 1106 0 0 25 0 1 0 179194488 48517120 11197 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11197 648 886 0 10955 0 Current children cumulated CPU time (s) 1353.04 Current children cumulated vsize (KiB) 47380 [startup+1355.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1354.65 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11614 0 0 0 134358 1107 0 0 25 0 1 0 179194488 48517120 11198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11198 648 886 0 10955 0 Current children cumulated CPU time (s) 1354.65 Current children cumulated vsize (KiB) 47380 [startup+1356.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1356.25 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11614 0 0 0 134517 1108 0 0 25 0 1 0 179194488 48517120 11198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11198 648 886 0 10955 0 Current children cumulated CPU time (s) 1356.25 Current children cumulated vsize (KiB) 47380 [startup+1357.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1356.65 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11615 0 0 0 134556 1109 0 0 25 0 1 0 179194488 48517120 11199 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11199 649 886 0 10955 0 Current children cumulated CPU time (s) 1356.65 Current children cumulated vsize (KiB) 47380 [startup+1357.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1356.85 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11615 0 0 0 134576 1109 0 0 25 0 1 0 179194488 48517120 11199 1992294400 4194304 7823515 548682068736 18446744073709551615 6237396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/321/statm: 11845 11199 649 886 0 10955 0 Current children cumulated CPU time (s) 1356.85 Current children cumulated vsize (KiB) 47380 [startup+1357.41 s] /proc/loadavg: 1.00 1.00 1.00 2/65 324 /proc/meminfo: memFree=938592/2055920 swapFree=4181384/4192956 [pid=321] ppid=319 vsize=47380 CPUtime=1356.95 /proc/321/stat : 321 (pbscip.linux.x8) R 319 321 32671 0 -1 4194304 11621 0 0 0 134586 1109 0 0 25 0 1 0 179194488 48517120 11205 1992294400 4194304 7823515 548682068736 18446744073709551615 5099839 0 0 4096 0 0 0 0 17 1 0 0 /proc/321/statm: 11845 11205 654 886 0 10955 0 Current children cumulated CPU time (s) 1356.95 Current children cumulated vsize (KiB) 47380 Child status: 0 Real time (s): 1357.43 CPU time (s): 1356.98 CPU user time (s): 1345.88 CPU system time (s): 11.1003 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 47380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1345.88 system time used= 11.1003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11623 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= 2605 runsolver used 0.999848 second user time and 2.87156 second system time The end
Begin job on node49 at 2009-06-16 03:33:35 IDJOB=1868214 IDBENCH=1274 IDSOLVER=683 FILE ID=node49/1868214-1245116015 PBS_JOBID= 9363676 Free space on /tmp= 66028 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.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-1868214-1245116015/watcher-1868214-1245116015 -o /tmp/evaluation-result-1868214-1245116015/solver-1868214-1245116015 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868214-1245116015.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be6efe3218879d0d0c6c419c0919396c RANDOM SEED=1654009363 node49.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.232 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.232 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: 981448 kB Buffers: 81232 kB Cached: 910592 kB SwapCached: 4580 kB Active: 207344 kB Inactive: 792500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 981448 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 9912 kB Writeback: 0 kB Mapped: 13792 kB Slab: 60548 kB Committed_AS: 158536 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66020 MiB End job on node49 at 2009-06-16 03:56:13