Trace number 1885368

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? 1796.85 1797.45

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
crypto/desgen/gss-15-s100.opb
MD5SUMd6f17de130de9a3d236376d6f9e33053
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark54.2548
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31238
Total number of constraints93878
Number of constraints which are clauses93878
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.29/1.39	c SCIP version 1.1.0.7
1.29/1.39	c LP-Solver Clp 1.8.2
1.29/1.39	c user parameter file <scip.set> not found - using default parameters
1.29/1.39	c read problem <HOME/instance-1885368-1245266175.opb>
1.29/1.39	c original problem has 31238 variables (31238 bin, 0 int, 0 impl, 0 cont) and 93878 constraints
1.79/1.81	c No objective function, only one solution is needed.
1.79/1.81	c start presolving problem
1.79/1.81	c presolving:
3.19/3.25	c (round 1) 932 del vars, 206 del conss, 97 chg bounds, 4 chg sides, 4 chg coeffs, 0 upgd conss, 1638641 impls, 0 clqs
3.39/3.49	c (round 2) 1328 del vars, 2624 del conss, 287 chg bounds, 62 chg sides, 95 chg coeffs, 0 upgd conss, 1656185 impls, 0 clqs
3.59/3.69	c (round 3) 2154 del vars, 4656 del conss, 585 chg bounds, 119 chg sides, 173 chg coeffs, 0 upgd conss, 1709418 impls, 0 clqs
3.89/3.94	c (round 4) 2932 del vars, 7235 del conss, 908 chg bounds, 143 chg sides, 208 chg coeffs, 0 upgd conss, 1791095 impls, 0 clqs
4.09/4.15	c (round 5) 3652 del vars, 9535 del conss, 1212 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1837594 impls, 0 clqs
4.29/4.32	c (round 6) 4163 del vars, 11239 del conss, 1390 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1872440 impls, 0 clqs
4.39/4.48	c (round 7) 4331 del vars, 12300 del conss, 1478 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1919359 impls, 0 clqs
4.49/4.59	c (round 8) 4472 del vars, 12729 del conss, 1539 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1936861 impls, 0 clqs
4.69/4.71	c (round 9) 4709 del vars, 13227 del conss, 1609 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1948927 impls, 0 clqs
4.79/4.80	c (round 10) 4745 del vars, 13673 del conss, 1627 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1949071 impls, 0 clqs
4.79/4.88	c (round 11) 4787 del vars, 13797 del conss, 1650 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1949125 impls, 0 clqs
4.89/4.97	c (round 12) 4846 del vars, 13932 del conss, 1669 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1949905 impls, 0 clqs
4.99/5.05	c (round 13) 4852 del vars, 14022 del conss, 1671 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1950025 impls, 0 clqs
5.09/5.13	c (round 14) 4852 del vars, 14030 del conss, 1671 chg bounds, 149 chg sides, 215 chg coeffs, 0 upgd conss, 1950025 impls, 0 clqs
5.89/5.91	c (round 15) 4852 del vars, 14030 del conss, 1671 chg bounds, 149 chg sides, 215 chg coeffs, 79848 upgd conss, 1950025 impls, 0 clqs
5.98/6.08	c presolving (16 rounds):
5.98/6.08	c  4852 deleted vars, 14030 deleted constraints, 1671 tightened bounds, 0 added holes, 149 changed sides, 215 changed coefficients
5.98/6.08	c  1950025 implications, 0 cliques
5.98/6.08	c presolved problem has 26385 variables (26385 bin, 0 int, 0 impl, 0 cont) and 79848 constraints
5.98/6.08	c   79848 constraints of type <logicor>
5.98/6.08	c transformed objective value is always integral (scale: 1)
5.98/6.08	c Presolving Time: 3.61
5.98/6.08	c PURESAT
5.98/6.08	c -----------------------------------------------------------------------------------------------
5.98/6.08	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 0]
5.98/6.08	c separating/flowcover/freq = c -1
5.98/6.08	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 0]
5.98/6.08	c separating/cmir/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/veclendiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/veclendiving/maxlpiterquot = c 0.075
5.98/6.08	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/veclendiving/freq = c -1
5.98/6.08	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 1]
5.98/6.08	c heuristics/simplerounding/freq = c -1
5.98/6.08	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/shifting/freq = c -1
5.98/6.08	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 1]
5.98/6.08	c heuristics/rounding/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/rootsoldiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
5.98/6.08	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
5.98/6.08	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 20]
5.98/6.08	c heuristics/rootsoldiving/freq = c -1
5.98/6.08	c # number of nodes added to the contingent of the total nodes
5.98/6.08	c # [type: longint, range: [0,9223372036854775807], default: 500]
5.98/6.08	c heuristics/rens/nodesofs = c 2000
5.98/6.08	c # minimum percentage of integer variables that have to be fixable 
5.98/6.08	c # [type: real, range: [0,1], default: 0.5]
5.98/6.08	c heuristics/rens/minfixingrate = c 0.3
5.98/6.08	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 0]
5.98/6.08	c heuristics/rens/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/pscostdiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/pscostdiving/maxlpiterquot = c 0.075
5.98/6.08	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/pscostdiving/freq = c -1
5.98/6.08	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 1]
5.98/6.08	c heuristics/oneopt/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/objpscostdiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to total iteration number
5.98/6.08	c # [type: real, range: [0,1], default: 0.01]
5.98/6.08	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
5.98/6.08	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 20]
5.98/6.08	c heuristics/objpscostdiving/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/linesearchdiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
5.98/6.08	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/linesearchdiving/freq = c -1
5.98/6.08	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/intshifting/freq = c -1
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/intdiving/maxlpiterquot = c 0.075
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/guideddiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/guideddiving/maxlpiterquot = c 0.075
5.98/6.08	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/guideddiving/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/fracdiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/fracdiving/maxlpiterquot = c 0.075
5.98/6.08	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/fracdiving/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/feaspump/maxlpiterofs = c 2000
5.98/6.08	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 20]
5.98/6.08	c heuristics/feaspump/freq = c -1
5.98/6.08	c # minimum percentage of integer variables that have to be fixed 
5.98/6.08	c # [type: real, range: [0,1], default: 0.666]
5.98/6.08	c heuristics/crossover/minfixingrate = c 0.5
5.98/6.08	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
5.98/6.08	c # [type: real, range: [0,1], default: 0.1]
5.98/6.08	c heuristics/crossover/nodesquot = c 0.15
5.98/6.08	c # number of nodes without incumbent change that heuristic should wait
5.98/6.08	c # [type: longint, range: [0,9223372036854775807], default: 200]
5.98/6.08	c heuristics/crossover/nwaitingnodes = c 100
5.98/6.08	c # number of nodes added to the contingent of the total nodes
5.98/6.08	c # [type: longint, range: [0,9223372036854775807], default: 500]
5.98/6.08	c heuristics/crossover/nodesofs = c 750
5.98/6.08	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 30]
5.98/6.08	c heuristics/crossover/freq = c -1
5.98/6.08	c # additional number of allowed LP iterations
5.98/6.08	c # [type: int, range: [0,2147483647], default: 1000]
5.98/6.08	c heuristics/coefdiving/maxlpiterofs = c 1500
5.98/6.08	c # maximal fraction of diving LP iterations compared to node LP iterations
5.98/6.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
5.98/6.08	c heuristics/coefdiving/maxlpiterquot = c 0.075
5.98/6.08	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: 10]
5.98/6.08	c heuristics/coefdiving/freq = c -1
5.98/6.08	c # priority of node selection rule <dfs> in standard mode
5.98/6.08	c # [type: int, range: [-536870912,536870911], default: 0]
5.98/6.08	c nodeselection/dfs/stdpriority = c 1000000
5.98/6.08	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
5.98/6.08	c # [type: int, range: [-1,2147483647], default: -1]
5.98/6.08	c presolving/probing/maxrounds = c 0
5.98/6.08	c # should presolving try to simplify knapsacks
5.98/6.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.98/6.08	c constraints/knapsack/simplifyinequalities = c TRUE
5.98/6.08	c # should disaggregation of knapsack constraints be allowed in preprocessing?
5.98/6.08	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
5.98/6.08	c constraints/knapsack/disaggregation = c FALSE
5.98/6.08	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: -1]
6.08/6.11	c constraints/knapsack/maxnumcardlift = c 0
6.08/6.11	c # should presolving try to simplify inequalities
6.08/6.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.08/6.11	c constraints/linear/simplifyinequalities = c TRUE
6.08/6.11	c # maximal number of separation rounds in the root node (-1: unlimited)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: -1]
6.08/6.11	c separating/maxroundsroot = c 5
6.08/6.11	c # maximal number of separation rounds per node (-1: unlimited)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: 5]
6.08/6.11	c separating/maxrounds = c 1
6.08/6.11	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
6.08/6.11	c # [type: char, range: {lafpsqd}, default: l]
6.08/6.11	c lp/pricing = c a
6.08/6.11	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: 1]
6.08/6.11	c lp/solvefreq = c 0
6.08/6.11	c # solving stops, if the given number of solutions were found (-1: no limit)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: -1]
6.08/6.11	c limits/solutions = c 1
6.08/6.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.08/6.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.08/6.11	c limits/memory = c 1620
6.08/6.11	c # maximal time in seconds to run
6.08/6.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.08/6.11	c limits/time = c 1791
6.08/6.11	c # frequency for displaying node information lines
6.08/6.11	c # [type: int, range: [-1,2147483647], default: 100]
6.08/6.11	c display/freq = c 10000
6.08/6.11	c # should enforcement of pseudo solution be disabled?
6.08/6.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.08/6.11	c constraints/disableenfops = c TRUE
6.08/6.11	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: 0]
6.08/6.11	c constraints/agelimit = c 1
6.08/6.11	c # should binary conflicts be preferred?
6.08/6.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.08/6.11	c conflict/preferbinary = c TRUE
6.08/6.11	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
6.08/6.11	c # [type: int, range: [-1,2147483647], default: -1]
6.08/6.11	c conflict/interconss = c 0
6.08/6.11	c -----------------------------------------------------------------------------------------------
6.08/6.11	c start solving problem
6.08/6.11	c 
16.39/16.45	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.39/16.45	c  14.1s|     1 |     0 |  4344 | 203M|   0 |1569 |  26k|  79k|  79k|  26k|  79k|   0 |   0 |   0 | 1.308890e+03 |      --      |    Inf 
40.26/40.34	c  37.5s|     1 |     0 |  6221 | 206M|   0 |1659 |  26k|  79k|  79k|  26k|  79k|  29 |   0 |   0 | 1.327475e+03 |      --      |    Inf 
65.15/65.26	c  62.4s|     1 |     0 |  8422 | 209M|   0 |1653 |  26k|  79k|  79k|  26k|  79k|  56 |   0 |   0 | 1.354835e+03 |      --      |    Inf 
107.23/107.34	c   104s|     1 |     0 | 10370 | 216M|   0 |1799 |  26k|  79k|  79k|  26k|  79k|  79 |   0 |   0 | 1.375676e+03 |      --      |    Inf 
137.33/137.41	c   134s|     1 |     0 | 11571 | 223M|   0 |1741 |  26k|  79k|  79k|  26k|  79k|  97 |   0 |   0 | 1.380966e+03 |      --      |    Inf 
196.81/196.97	c   194s|     1 |     0 | 13358 | 230M|   0 |1829 |  26k|  79k|  79k|  26k|  79k| 115 |   0 |   0 | 1.387166e+03 |      --      |    Inf 
306.87/307.02	c   304s|     1 |     2 | 13358 | 230M|   0 |1829 |  26k|  79k|  79k|  26k|  79k| 115 |   0 |  22 | 1.387166e+03 |      --      |    Inf 
1796.09/1796.76	c 
1796.09/1796.76	c SCIP Status        : solving was interrupted [time limit reached]
1796.09/1796.76	c Solving Time (sec) : 1791.01
1796.09/1796.76	c Solving Nodes      : 6795
1796.09/1796.76	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.09/1796.76	c Dual Bound         : +1.39075916423509e+03
1796.09/1796.76	c Gap                : infinite
1796.09/1796.76	c NODE         6795
1796.09/1796.76	c DUAL BOUND   1390.76
1796.09/1796.76	c PRIMAL BOUND 1e+20
1796.09/1796.76	c GAP          1e+20
1796.09/1796.76	s UNKNOWN
1796.09/1796.76	c SCIP Status        : solving was interrupted [time limit reached]
1796.09/1796.76	c Solving Time       :    1791.01
1796.09/1796.76	c Original Problem   :
1796.09/1796.76	c   Problem name     : HOME/instance-1885368-1245266175.opb
1796.09/1796.76	c   Variables        : 31238 (31238 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.09/1796.76	c   Constraints      : 93878 initial, 93878 maximal
1796.09/1796.76	c Presolved Problem  :
1796.09/1796.76	c   Problem name     : t_HOME/instance-1885368-1245266175.opb
1796.09/1796.76	c   Variables        : 26385 (26385 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.09/1796.76	c   Constraints      : 79848 initial, 79972 maximal
1796.09/1796.76	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.09/1796.76	c   trivial          :       0.05         46          0          0          0          0          0          0          0
1796.09/1796.76	c   dualfix          :       0.11          0          0          0          0          0          0          0          0
1796.09/1796.76	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.09/1796.76	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.09/1796.76	c   implics          :       0.92          0       3178          0          0          0          0          0          0
1796.09/1796.76	c   probing          :       0.00          0          0          0          0          0          0          0          0
1796.09/1796.76	c   linear           :       2.03       1625          3          0       1671          0      14030        149        215
1796.09/1796.76	c   logicor          :       0.27          0          0          0          0          0          0          0          0
1796.09/1796.76	c   root node        :          -          0          -          -          0          -          -          -          -
1796.09/1796.76	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.09/1796.76	c   integral         :          0          0          0          1          0          0          0          0          0          2
1796.09/1796.76	c   logicor          :      79848+         5     287276          0          0       4042    8051335          0          0          0
1796.09/1796.76	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.09/1796.76	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.09/1796.76	c   integral         :     109.76       0.00       0.00     109.76       0.00
1796.09/1796.76	c   logicor          :      74.53       0.05      74.48       0.00       0.00
1796.09/1796.76	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.09/1796.76	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.09/1796.76	c   rootredcost      :       0.32          0          0          0
1796.09/1796.76	c   pseudoobj        :    1319.62     291164          0          0
1796.09/1796.76	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.09/1796.76	c   propagation      :       3.51       4042       4042       4042       26.8        888       17.4          -
1796.09/1796.76	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.09/1796.76	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.09/1796.76	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.09/1796.76	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.09/1796.76	c   applied globally :          -          -          -       4930       25.1          -          -          -
1796.09/1796.76	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.09/1796.76	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.09/1796.76	c   cut pool         :       0.01          4          -          -         30          -    (maximal pool size: 1683)
1796.09/1796.76	c   redcost          :       0.04          5          0          0          0          0
1796.09/1796.76	c   impliedbounds    :       0.05          5          0          0          0          0
1796.09/1796.76	c   intobj           :       0.00          0          0          0          0          0
1796.09/1796.76	c   gomory           :     112.48          5          0          0       2500          0
1796.09/1796.76	c   strongcg         :      12.00          5          0          0       2500          0
1796.09/1796.76	c   cmir             :       0.00          0          0          0          0          0
1796.09/1796.76	c   flowcover        :       0.00          0          0          0          0          0
1796.09/1796.76	c   clique           :       6.24          5          0          0         38          0
1796.09/1796.76	c   zerohalf         :       0.00          0          0          0          0          0
1796.09/1796.76	c   mcf              :       0.26          1          0          0          0          0
1796.09/1796.76	c Pricers            :       Time      Calls       Vars
1796.09/1796.76	c   problem variables:       0.00          0          0
1796.09/1796.76	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.09/1796.76	c   relpscost        :     109.76          1          0          0          0          0          2
1796.09/1796.76	c   pscost           :       0.00          0          0          0          0          0          0
1796.09/1796.76	c   inference        :      45.11       4694          0          0          0          0       9388
1796.09/1796.76	c   mostinf          :       0.00          0          0          0          0          0          0
1796.09/1796.76	c   leastinf         :       0.00          0          0          0          0          0          0
1796.09/1796.76	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.09/1796.76	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.09/1796.76	c   random           :       0.00          0          0          0          0          0          0
1796.09/1796.76	c Primal Heuristics  :       Time      Calls      Found
1796.09/1796.76	c   LP solutions     :       0.00          -          0
1796.09/1796.76	c   pseudo solutions :       0.00          -          0
1796.09/1796.76	c   simplerounding   :       0.00          0          0
1796.09/1796.76	c   rounding         :       0.00          0          0
1796.09/1796.76	c   shifting         :       0.00          0          0
1796.09/1796.76	c   intshifting      :       0.00          0          0
1796.09/1796.76	c   oneopt           :       0.00          0          0
1796.09/1796.76	c   fixandinfer      :       0.00          0          0
1796.09/1796.76	c   feaspump         :       0.00          0          0
1796.09/1796.76	c   coefdiving       :       0.00          0          0
1796.09/1796.76	c   pscostdiving     :       0.00          0          0
1796.09/1796.76	c   fracdiving       :       0.00          0          0
1796.09/1796.76	c   veclendiving     :       0.00          0          0
1796.09/1796.76	c   intdiving        :       0.00          0          0
1796.09/1796.76	c   actconsdiving    :       0.00          0          0
1796.09/1796.76	c   objpscostdiving  :       0.00          0          0
1796.09/1796.76	c   rootsoldiving    :       0.00          0          0
1796.09/1796.76	c   linesearchdiving :       0.00          0          0
1796.09/1796.76	c   guideddiving     :       0.00          0          0
1796.09/1796.76	c   octane           :       0.00          0          0
1796.09/1796.76	c   rens             :       0.00          0          0
1796.09/1796.76	c   rins             :       0.00          0          0
1796.09/1796.76	c   localbranching   :       0.00          0          0
1796.09/1796.76	c   mutation         :       0.00          0          0
1796.09/1796.76	c   crossover        :       0.00          0          0
1796.09/1796.76	c   dins             :       0.00          0          0
1796.09/1796.76	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.09/1796.76	c   primal LP        :       0.13          0          0       0.00       0.00
1796.09/1796.76	c   dual LP          :      58.16          6      13358    2226.33     229.68
1796.09/1796.76	c   barrier LP       :       0.00          0          0       0.00          -
1796.09/1796.76	c   diving/probing LP:       0.00          0          0       0.00          -
1796.09/1796.76	c   strong branching :     109.75         22      19430     883.18     177.04
1796.09/1796.76	c     (at root node) :          -         22      19430     883.18          -
1796.09/1796.76	c   conflict analysis:       0.00          0          0       0.00          -
1796.09/1796.76	c B&B Tree           :
1796.09/1796.76	c   number of runs   :          1
1796.09/1796.76	c   nodes            :       6795
1796.09/1796.76	c   nodes (total)    :       6795
1796.09/1796.76	c   nodes left       :        114
1796.09/1796.76	c   max depth        :        370
1796.09/1796.76	c   max depth (total):        370
1796.09/1796.76	c   backtracks       :       2070 (30.5%)
1796.09/1796.76	c   delayed cutoffs  :       2482
1796.09/1796.76	c   repropagations   :       9566 (3582506 domain reductions, 1942 cutoffs)
1796.09/1796.76	c   avg switch length:       3.72
1796.09/1796.76	c   switching time   :      32.44
1796.09/1796.76	c Solution           :
1796.09/1796.76	c   Solutions found  :          0 (0 improvements)
1796.09/1796.76	c   Primal Bound     :          -
1796.09/1796.76	c   Dual Bound       : +1.39075916423509e+03
1796.09/1796.76	c   Gap              :   infinite
1796.09/1796.76	c   Root Dual Bound  : +1.38716615381667e+03
1796.80/1797.44	c Time complete: 1796.84.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885368-1245266175/watcher-1885368-1245266175 -o /tmp/evaluation-result-1885368-1245266175/solver-1885368-1245266175 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885368-1245266175.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.92 0.98 0.99 3/64 4389
/proc/meminfo: memFree=1751412/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=5812 CPUtime=0
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 194214784 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 1453 503 332 1256 0 192 0

[startup+0.052482 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4389
/proc/meminfo: memFree=1751412/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=12948 CPUtime=0.04
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 2210 0 0 0 4 0 0 0 18 0 1 0 194214784 13258752 2194 1992294400 4194304 9342243 548682068736 18446744073709551615 8235837 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 3237 2194 376 1256 0 1976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12948

[startup+0.10249 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4389
/proc/meminfo: memFree=1751412/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=15964 CPUtime=0.1
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 2981 0 0 0 9 1 0 0 18 0 1 0 194214784 16347136 2965 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 3991 2965 376 1256 0 2730 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15964

[startup+0.301522 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4389
/proc/meminfo: memFree=1751412/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=26008 CPUtime=0.29
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 5454 0 0 0 27 2 0 0 19 0 1 0 194214784 26632192 5438 1992294400 4194304 9342243 548682068736 18446744073709551615 8230100 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 6502 5438 376 1256 0 5241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26008

[startup+0.70159 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4389
/proc/meminfo: memFree=1751412/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=39388 CPUtime=0.69
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 8820 0 0 0 66 3 0 0 22 0 1 0 194214784 40333312 8804 1992294400 4194304 9342243 548682068736 18446744073709551615 4204004 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 9847 8804 376 1256 0 8586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39388

[startup+1.50173 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1705644/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=100088 CPUtime=1.49
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 24330 0 0 0 140 9 0 0 25 0 1 0 194214784 102490112 23960 1992294400 4194304 9342243 548682068736 18446744073709551615 4208418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 25022 23960 411 1256 0 23761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100088

[startup+3.102 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1603692/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=194816 CPUtime=3.09
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 47724 0 0 0 282 27 0 0 25 0 1 0 194214784 199491584 47354 1992294400 4194304 9342243 548682068736 18446744073709551615 5803658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 48704 47354 473 1256 0 47443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194816

[startup+6.30154 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1541420/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=250896 CPUtime=6.29
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 63669 0 0 0 539 90 0 0 18 0 1 0 194214784 256917504 61622 1992294400 4194304 9342243 548682068736 18446744073709551615 4639751 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 62724 61622 524 1256 0 61463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 250896

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1435820/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=343916 CPUtime=12.68
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 81781 0 0 0 1171 97 0 0 25 0 1 0 194214784 352169984 79298 1992294400 4194304 9342243 548682068736 18446744073709551615 6040605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 85979 79298 612 1256 0 84718 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 343916

[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1435308/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=345036 CPUtime=25.48
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 84612 0 0 0 2448 100 0 0 25 0 1 0 194214784 353316864 79464 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 86259 79464 630 1256 0 84998 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 345036

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1419436/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=356708 CPUtime=51.05
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 88604 0 0 0 4953 152 0 0 25 0 1 0 194214784 365268992 83456 1992294400 4194304 9342243 548682068736 18446744073709551615 6952978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 89177 83456 644 1256 0 87916 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 356708

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1400364/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=374716 CPUtime=102.24
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 93349 0 0 0 10068 156 0 0 25 0 1 0 194214784 383709184 88201 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 93679 88201 644 1256 0 92418 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 374716

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1388140/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=384016 CPUtime=162.22
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 96400 0 0 0 16060 162 0 0 25 0 1 0 194214784 393232384 91252 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 96004 91252 644 1256 0 94743 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 384016

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1372140/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=430604 CPUtime=222.2
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 110325 0 0 0 22050 170 0 0 25 0 1 0 194214784 440938496 95235 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 107651 95235 649 1256 0 106390 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 430604

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1372140/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=430604 CPUtime=282.18
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 131782 0 0 0 28035 183 0 0 25 0 1 0 194214784 440938496 95242 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 107651 95242 649 1256 0 106390 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 430604

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1375084/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=394816 CPUtime=342.16
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 142761 0 0 0 34023 193 0 0 25 0 1 0 194214784 404291584 94512 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 98704 94512 663 1256 0 97443 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 394816

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1367916/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=394816 CPUtime=402.14
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 144559 0 0 0 40013 201 0 0 25 0 1 0 194214784 404291584 96310 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 98704 96310 668 1256 0 97443 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 394816

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1366380/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=396212 CPUtime=462.12
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 144947 0 0 0 46005 207 0 0 25 0 1 0 194214784 405721088 96698 1992294400 4194304 9342243 548682068736 18446744073709551615 5432881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 99053 96698 668 1256 0 97792 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 396212

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1361900/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=400920 CPUtime=522.1
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 146129 0 0 0 51995 215 0 0 25 0 1 0 194214784 410542080 97880 1992294400 4194304 9342243 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 100230 97880 668 1256 0 98969 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 400920

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1350636/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=412004 CPUtime=582.08
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 148859 0 0 0 57984 224 0 0 25 0 1 0 194214784 421892096 100610 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 103001 100610 668 1256 0 101740 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 412004

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1330988/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=432088 CPUtime=642.07
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 153756 0 0 0 63976 231 0 0 25 0 1 0 194214784 442458112 105507 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 108022 105507 668 1256 0 106761 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 432088

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1188588/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=574624 CPUtime=1121.91
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 189273 0 0 0 111898 293 0 0 25 0 1 0 194214784 588414976 141024 1992294400 4194304 9342243 548682068736 18446744073709551615 5433086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 143656 141024 668 1256 0 142395 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 574624

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1171052/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=592724 CPUtime=1181.89
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 193765 0 0 0 117887 302 0 0 25 0 1 0 194214784 606949376 145516 1992294400 4194304 9342243 548682068736 18446744073709551615 4770543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 148181 145516 668 1256 0 146920 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 592724

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1154668/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=608884 CPUtime=1241.88
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 197777 0 0 0 123878 310 0 0 25 0 1 0 194214784 623497216 149528 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 152221 149528 668 1256 0 150960 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 608884

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1135980/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=627660 CPUtime=1301.86
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 202405 0 0 0 129868 318 0 0 25 0 1 0 194214784 642723840 154156 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 156915 154156 668 1256 0 155654 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 627660

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1117548/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=646480 CPUtime=1361.83
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 207110 0 0 0 135858 325 0 0 25 0 1 0 194214784 661995520 158861 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 161620 158861 668 1256 0 160359 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 646480

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1100076/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=663520 CPUtime=1421.82
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 211355 0 0 0 141848 334 0 0 25 0 1 0 194214784 679444480 163106 1992294400 4194304 9342243 548682068736 18446744073709551615 5432881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 165880 163106 668 1256 0 164619 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 663520

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1083180/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=680720 CPUtime=1481.8
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 215638 0 0 0 147838 342 0 0 25 0 1 0 194214784 697057280 167389 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 170180 167389 668 1256 0 168919 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 680720

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1065836/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=697760 CPUtime=1541.78
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 219898 0 0 0 153829 349 0 0 25 0 1 0 194214784 714506240 171649 1992294400 4194304 9342243 548682068736 18446744073709551615 5433119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 174440 171649 668 1256 0 173179 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 697760

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1046700/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=717064 CPUtime=1601.75
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 224721 0 0 0 159818 357 0 0 25 0 1 0 194214784 734273536 176472 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 179266 176472 668 1256 0 178005 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 717064

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1029932/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=733472 CPUtime=1661.74
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 228852 0 0 0 165809 365 0 0 25 0 1 0 194214784 751075328 180603 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 183368 180603 668 1256 0 182107 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 733472

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1012652/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=751304 CPUtime=1721.71
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 233303 0 0 0 171799 372 0 0 25 0 1 0 194214784 769335296 185054 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 187826 185054 668 1256 0 186565 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 751304

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=996652/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=767408 CPUtime=1781.69
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 237210 0 0 0 177789 380 0 0 25 0 1 0 194214784 785825792 188961 1992294400 4194304 9342243 548682068736 18446744073709551615 5433191 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 191852 188961 668 1256 0 190591 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 767408

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=995500/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=768340 CPUtime=1784.9
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 237443 0 0 0 178109 381 0 0 25 0 1 0 194214784 786780160 189194 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 192085 189194 668 1256 0 190824 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 768340

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=993772/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=770032 CPUtime=1791.3
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 237873 0 0 0 178748 382 0 0 25 0 1 0 194214784 788512768 189624 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 192508 189624 668 1256 0 191247 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 770032

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=993132/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=770720 CPUtime=1794.5
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 238038 0 0 0 179068 382 0 0 25 0 1 0 194214784 789217280 189789 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 192680 189789 668 1256 0 191419 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 770720

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=992684/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=771400 CPUtime=1796.09
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 238208 0 0 0 179227 382 0 0 25 0 1 0 194214784 789913600 189959 1992294400 4194304 9342243 548682068736 18446744073709551615 5432873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4389/statm: 192850 189959 668 1256 0 191589 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 771400

[startup+1797.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=992684/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=771400 CPUtime=1796.49
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 238214 0 0 0 179267 382 0 0 25 0 1 0 194214784 789913600 189965 1992294400 4194304 9342243 548682068736 18446744073709551615 4219631 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 192850 189965 674 1256 0 191589 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 771400

[startup+1797.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1154476/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=607124 CPUtime=1796.7
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 238215 0 0 0 179285 385 0 0 25 0 1 0 194214784 621694976 149142 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 151781 149142 675 1256 0 150520 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 607124

[startup+1797.41 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4390
/proc/meminfo: memFree=1154476/2055920 swapFree=4181368/4192956
[pid=4389] ppid=4387 vsize=297140 CPUtime=1796.8
/proc/4389/stat : 4389 (pbscip.linux.x8) R 4387 4389 3768 0 -1 4194304 238215 0 0 0 179290 390 0 0 25 0 1 0 194214784 304271360 72448 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/4389/statm: 74285 72448 5920 1256 0 73024 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 297140

Child status: 0
Real time (s): 1797.45
CPU time (s): 1796.85
CPU user time (s): 1792.9
CPU system time (s): 3.9464
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 771400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.9
system time used= 3.9464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238219
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= 6
involuntary context switches= 3040

runsolver used 1.41278 second user time and 3.9424 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-17 21:16:16
IDJOB=1885368
IDBENCH=72050
IDSOLVER=684
FILE ID=node43/1885368-1245266175
PBS_JOBID= 9372410
Free space on /tmp= 66184 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/crypto/desgen/gss-15-s100.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885368-1245266175/watcher-1885368-1245266175 -o /tmp/evaluation-result-1885368-1245266175/solver-1885368-1245266175 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885368-1245266175.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d6f17de130de9a3d236376d6f9e33053
RANDOM SEED=1256476197

node43.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.281
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.281
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:       1751892 kB
Buffers:         67580 kB
Cached:         174316 kB
SwapCached:       5352 kB
Active:         116904 kB
Inactive:       132884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751892 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:           14436 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            40208 kB
Committed_AS:   192144 kB
PageTables:       1448 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= 66172 MiB
End job on node43 at 2009-06-17 21:46:13