Trace number 1884378

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.09 1796.8

General information on the benchmark

Name/PURE-SAT/SAT_RACE08/
cnf/schup-l2s-abp4-1-k31.opb
MD5SUM43649fafee1f178a480cf104dcf0c6a1
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark509.069
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14809
Total number of constraints48483
Number of constraints which are clauses48483
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 constraint33
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 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.69/0.74	c SCIP version 1.1.0.7
0.69/0.74	c LP-Solver Clp 1.8.2
0.69/0.74	c user parameter file <scip.set> not found - using default parameters
0.69/0.74	c read problem <HOME/instance-1884378-1245257631.opb>
0.69/0.74	c original problem has 14809 variables (14809 bin, 0 int, 0 impl, 0 cont) and 48483 constraints
0.89/0.95	c No objective function, only one solution is needed.
0.89/0.95	c start presolving problem
0.89/0.95	c presolving:
1.59/1.62	c (round 1) 1401 del vars, 344 del conss, 71 chg bounds, 6 chg sides, 8 chg coeffs, 0 upgd conss, 562750 impls, 0 clqs
1.68/1.71	c (round 2) 1612 del vars, 4060 del conss, 193 chg bounds, 30 chg sides, 37 chg coeffs, 0 upgd conss, 568261 impls, 0 clqs
1.68/1.76	c (round 3) 1668 del vars, 4407 del conss, 227 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 569917 impls, 0 clqs
1.79/1.80	c (round 4) 1671 del vars, 4460 del conss, 228 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 569917 impls, 0 clqs
2.19/2.22	c (round 5) 1671 del vars, 4886 del conss, 228 chg bounds, 33 chg sides, 40 chg coeffs, 43597 upgd conss, 569917 impls, 0 clqs
2.29/2.31	c presolving (6 rounds):
2.29/2.31	c  1671 deleted vars, 4886 deleted constraints, 228 tightened bounds, 0 added holes, 33 changed sides, 40 changed coefficients
2.29/2.31	c  569917 implications, 0 cliques
2.29/2.31	c presolved problem has 13138 variables (13138 bin, 0 int, 0 impl, 0 cont) and 43597 constraints
2.29/2.31	c   43597 constraints of type <logicor>
2.29/2.31	c transformed objective value is always integral (scale: 1)
2.29/2.31	c Presolving Time: 1.19
2.29/2.31	c PURESAT
2.29/2.31	c -----------------------------------------------------------------------------------------------
2.29/2.31	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.31	c separating/flowcover/freq = c -1
2.29/2.31	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.31	c separating/cmir/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/veclendiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/veclendiving/maxlpiterquot = c 0.075
2.29/2.31	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/veclendiving/freq = c -1
2.29/2.31	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.31	c heuristics/simplerounding/freq = c -1
2.29/2.31	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/shifting/freq = c -1
2.29/2.31	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.31	c heuristics/rounding/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.29/2.31	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.29/2.31	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 20]
2.29/2.31	c heuristics/rootsoldiving/freq = c -1
2.29/2.31	c # number of nodes added to the contingent of the total nodes
2.29/2.31	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.29/2.31	c heuristics/rens/nodesofs = c 2000
2.29/2.31	c # minimum percentage of integer variables that have to be fixable 
2.29/2.31	c # [type: real, range: [0,1], default: 0.5]
2.29/2.31	c heuristics/rens/minfixingrate = c 0.3
2.29/2.31	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.31	c heuristics/rens/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/pscostdiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.29/2.31	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/pscostdiving/freq = c -1
2.29/2.31	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.31	c heuristics/oneopt/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to total iteration number
2.29/2.31	c # [type: real, range: [0,1], default: 0.01]
2.29/2.31	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.29/2.31	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 20]
2.29/2.31	c heuristics/objpscostdiving/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.29/2.31	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/linesearchdiving/freq = c -1
2.29/2.31	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/intshifting/freq = c -1
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/intdiving/maxlpiterquot = c 0.075
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/guideddiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/guideddiving/maxlpiterquot = c 0.075
2.29/2.31	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/guideddiving/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/fracdiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/fracdiving/maxlpiterquot = c 0.075
2.29/2.31	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/fracdiving/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/feaspump/maxlpiterofs = c 2000
2.29/2.31	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 20]
2.29/2.31	c heuristics/feaspump/freq = c -1
2.29/2.31	c # minimum percentage of integer variables that have to be fixed 
2.29/2.31	c # [type: real, range: [0,1], default: 0.666]
2.29/2.31	c heuristics/crossover/minfixingrate = c 0.5
2.29/2.31	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.29/2.31	c # [type: real, range: [0,1], default: 0.1]
2.29/2.31	c heuristics/crossover/nodesquot = c 0.15
2.29/2.31	c # number of nodes without incumbent change that heuristic should wait
2.29/2.31	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.29/2.31	c heuristics/crossover/nwaitingnodes = c 100
2.29/2.31	c # number of nodes added to the contingent of the total nodes
2.29/2.31	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.29/2.31	c heuristics/crossover/nodesofs = c 750
2.29/2.31	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 30]
2.29/2.31	c heuristics/crossover/freq = c -1
2.29/2.31	c # additional number of allowed LP iterations
2.29/2.31	c # [type: int, range: [0,2147483647], default: 1000]
2.29/2.31	c heuristics/coefdiving/maxlpiterofs = c 1500
2.29/2.31	c # maximal fraction of diving LP iterations compared to node LP iterations
2.29/2.31	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.29/2.31	c heuristics/coefdiving/maxlpiterquot = c 0.075
2.29/2.31	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: 10]
2.29/2.31	c heuristics/coefdiving/freq = c -1
2.29/2.31	c # priority of node selection rule <dfs> in standard mode
2.29/2.31	c # [type: int, range: [-536870912,536870911], default: 0]
2.29/2.31	c nodeselection/dfs/stdpriority = c 1000000
2.29/2.31	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.29/2.31	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.31	c presolving/probing/maxrounds = c 0
2.29/2.31	c # should presolving try to simplify knapsacks
2.29/2.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.31	c constraints/knapsack/simplifyinequalities = c TRUE
2.29/2.31	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.29/2.31	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.29/2.31	c constraints/knapsack/disaggregation = c FALSE
2.29/2.31	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.33	c constraints/knapsack/maxnumcardlift = c 0
2.29/2.33	c # should presolving try to simplify inequalities
2.29/2.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.33	c constraints/linear/simplifyinequalities = c TRUE
2.29/2.33	c # maximal number of separation rounds in the root node (-1: unlimited)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.33	c separating/maxroundsroot = c 5
2.29/2.33	c # maximal number of separation rounds per node (-1: unlimited)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: 5]
2.29/2.33	c separating/maxrounds = c 1
2.29/2.33	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)
2.29/2.33	c # [type: char, range: {lafpsqd}, default: l]
2.29/2.33	c lp/pricing = c a
2.29/2.33	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: 1]
2.29/2.33	c lp/solvefreq = c 0
2.29/2.33	c # solving stops, if the given number of solutions were found (-1: no limit)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.33	c limits/solutions = c 1
2.29/2.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.33	c limits/memory = c 1620
2.29/2.33	c # maximal time in seconds to run
2.29/2.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.33	c limits/time = c 1791
2.29/2.33	c # frequency for displaying node information lines
2.29/2.33	c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.33	c display/freq = c 10000
2.29/2.33	c # should enforcement of pseudo solution be disabled?
2.29/2.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.33	c constraints/disableenfops = c TRUE
2.29/2.33	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: 0]
2.29/2.33	c constraints/agelimit = c 1
2.29/2.33	c # should binary conflicts be preferred?
2.29/2.33	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.33	c conflict/preferbinary = c TRUE
2.29/2.33	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.29/2.33	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.33	c conflict/interconss = c 0
2.29/2.33	c -----------------------------------------------------------------------------------------------
2.29/2.33	c start solving problem
2.29/2.33	c 
24.68/24.77	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
24.68/24.77	c  23.6s|     1 |     0 | 17342 |  92M|   0 |8158 |  13k|  43k|  43k|  13k|  43k|   0 |   0 |   0 | 3.934262e+03 |      --      |    Inf 
38.17/38.24	c  36.9s|     1 |     0 | 20372 |  96M|   0 |8237 |  13k|  43k|  43k|  13k|  43k|   5 |   0 |   0 | 3.940053e+03 |      --      |    Inf 
49.38/49.47	c  48.1s|     1 |     0 | 22367 |  98M|   0 |8096 |  13k|  43k|  43k|  13k|  43k|  19 |   0 |   0 | 3.946139e+03 |      --      |    Inf 
64.26/64.34	c  63.0s|     1 |     0 | 25125 | 101M|   0 |8094 |  13k|  43k|  43k|  13k|  43k|  36 |   0 |   0 | 3.955872e+03 |      --      |    Inf 
80.65/80.76	c  79.4s|     1 |     0 | 28134 | 102M|   0 |8008 |  13k|  43k|  43k|  13k|  43k|  55 |   0 |   0 | 3.964642e+03 |      --      |    Inf 
112.05/112.10	c   111s|     1 |     0 | 31780 | 105M|   0 |7664 |  13k|  43k|  43k|  13k|  43k|  85 |   0 |   0 | 3.978464e+03 |      --      |    Inf 
251.80/251.90	c   250s|     1 |     2 | 31780 | 105M|   0 |7664 |  13k|  43k|  43k|  13k|  43k|  85 |   0 |  32 | 3.978464e+03 |      --      |    Inf 
1071.06/1071.60	c  1068s| 10000 |    22 | 31780 | 111M| 101 |   - |  13k|  43k|  24k|   0 |   0 |  85 |  12k|  32 | 4.038762e+03 |      --      |    Inf 
1795.69/1796.45	c 
1795.69/1796.45	c SCIP Status        : solving was interrupted [time limit reached]
1795.69/1796.45	c Solving Time (sec) : 1791.00
1795.69/1796.45	c Solving Nodes      : 18188
1795.69/1796.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.69/1796.45	c Dual Bound         : +4.03876202916546e+03
1795.69/1796.45	c Gap                : infinite
1795.69/1796.45	c NODE         18188
1795.69/1796.45	c DUAL BOUND   4038.76
1795.69/1796.45	c PRIMAL BOUND 1e+20
1795.69/1796.45	c GAP          1e+20
1795.69/1796.45	s UNKNOWN
1795.69/1796.45	c SCIP Status        : solving was interrupted [time limit reached]
1795.69/1796.45	c Solving Time       :    1791.00
1795.69/1796.45	c Original Problem   :
1795.69/1796.45	c   Problem name     : HOME/instance-1884378-1245257631.opb
1795.69/1796.45	c   Variables        : 14809 (14809 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.69/1796.45	c   Constraints      : 48483 initial, 48483 maximal
1795.69/1796.45	c Presolved Problem  :
1795.69/1796.45	c   Problem name     : t_HOME/instance-1884378-1245257631.opb
1795.69/1796.45	c   Variables        : 13138 (13138 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.69/1796.45	c   Constraints      : 43597 initial, 45354 maximal
1795.69/1796.45	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.69/1796.45	c   trivial          :       0.02          4          0          0          0          0          0          0          0
1795.69/1796.45	c   dualfix          :       0.01          3          0          0          0          0          0          0          0
1795.69/1796.45	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.69/1796.45	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.69/1796.45	c   implics          :       0.30          0       1429          0          0          0          0          0          0
1795.69/1796.45	c   probing          :       0.00          0          0          0          0          0          0          0          0
1795.69/1796.45	c   linear           :       0.62        224         11          0        228          0       4886         33         40
1795.69/1796.45	c   logicor          :       0.14          0          0          0          0          0          0          0          0
1795.69/1796.45	c   root node        :          -          1          -          -          1          -          -          -          -
1795.69/1796.45	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.69/1796.45	c   integral         :          0          0          0          1          0          0          0          0          0          2
1795.69/1796.45	c   logicor          :      43597+         5     594299          0          0       9319    5988837          0          0          0
1795.69/1796.45	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.69/1796.45	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.69/1796.45	c   integral         :     139.49       0.00       0.00     139.49       0.00
1795.69/1796.45	c   logicor          :      66.60       0.01      66.59       0.00       0.00
1795.69/1796.45	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.69/1796.45	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.69/1796.45	c   rootredcost      :       0.59          0          0          0
1795.69/1796.45	c   pseudoobj        :    1368.12     601268          0          0
1795.69/1796.45	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.69/1796.45	c   propagation      :       3.22       9319       9319       9319       10.7      14590        5.4          -
1795.69/1796.45	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.69/1796.45	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.69/1796.45	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.69/1796.45	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.69/1796.45	c   applied globally :          -          -          -      23868        7.5          -          -          -
1795.69/1796.45	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.69/1796.45	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.69/1796.45	c   cut pool         :       0.03          4          -          -        245          -    (maximal pool size: 1500)
1795.69/1796.45	c   redcost          :       0.01          5          0          0          0          0
1795.69/1796.45	c   impliedbounds    :       0.09          5          0          0          0          0
1795.69/1796.45	c   intobj           :       0.00          0          0          0          0          0
1795.69/1796.45	c   gomory           :      18.15          5          0          0       2500          0
1795.69/1796.45	c   strongcg         :       4.90          5          0          0       2500          0
1795.69/1796.45	c   cmir             :       0.00          0          0          0          0          0
1795.69/1796.45	c   flowcover        :       0.00          0          0          0          0          0
1795.69/1796.45	c   clique           :       4.42          5          0          0         34          0
1795.69/1796.45	c   zerohalf         :       0.00          0          0          0          0          0
1795.69/1796.45	c   mcf              :       0.17          1          0          0          0          0
1795.69/1796.45	c Pricers            :       Time      Calls       Vars
1795.69/1796.45	c   problem variables:       0.00          0          0
1795.69/1796.45	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.69/1796.45	c   relpscost        :     139.49          1          0          0          0          0          2
1795.69/1796.45	c   pscost           :       0.00          0          0          0          0          0          0
1795.69/1796.45	c   inference        :      59.32      12953          0          0          0          0      25906
1795.69/1796.45	c   mostinf          :       0.00          0          0          0          0          0          0
1795.69/1796.45	c   leastinf         :       0.00          0          0          0          0          0          0
1795.69/1796.45	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.69/1796.45	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.69/1796.45	c   random           :       0.00          0          0          0          0          0          0
1795.69/1796.45	c Primal Heuristics  :       Time      Calls      Found
1795.69/1796.45	c   LP solutions     :       0.00          -          0
1795.69/1796.45	c   pseudo solutions :       0.00          -          0
1795.69/1796.45	c   simplerounding   :       0.00          0          0
1795.69/1796.45	c   rounding         :       0.00          0          0
1795.69/1796.45	c   shifting         :       0.00          0          0
1795.69/1796.45	c   intshifting      :       0.00          0          0
1795.69/1796.45	c   oneopt           :       0.00          0          0
1795.69/1796.45	c   fixandinfer      :       0.00          0          0
1795.69/1796.45	c   feaspump         :       0.00          0          0
1795.69/1796.45	c   coefdiving       :       0.00          0          0
1795.69/1796.45	c   pscostdiving     :       0.00          0          0
1795.69/1796.45	c   fracdiving       :       0.00          0          0
1795.69/1796.45	c   veclendiving     :       0.00          0          0
1795.69/1796.45	c   intdiving        :       0.00          0          0
1795.69/1796.45	c   actconsdiving    :       0.00          0          0
1795.69/1796.45	c   objpscostdiving  :       0.00          0          0
1795.69/1796.45	c   rootsoldiving    :       0.00          0          0
1795.69/1796.45	c   linesearchdiving :       0.00          0          0
1795.69/1796.45	c   guideddiving     :       0.00          0          0
1795.69/1796.45	c   octane           :       0.00          0          0
1795.69/1796.45	c   rens             :       0.00          0          0
1795.69/1796.45	c   rins             :       0.00          0          0
1795.69/1796.45	c   localbranching   :       0.00          0          0
1795.69/1796.45	c   mutation         :       0.00          0          0
1795.69/1796.45	c   crossover        :       0.00          0          0
1795.69/1796.45	c   dins             :       0.00          0          0
1795.69/1796.45	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.69/1796.45	c   primal LP        :       0.10          0          0       0.00       0.00
1795.69/1796.45	c   dual LP          :      81.13          6      31780    5296.67     391.72
1795.69/1796.45	c   barrier LP       :       0.00          0          0       0.00          -
1795.69/1796.45	c   diving/probing LP:       0.00          0          0       0.00          -
1795.69/1796.45	c   strong branching :     139.49         32      27981     874.41     200.60
1795.69/1796.45	c     (at root node) :          -         32      27981     874.41          -
1795.69/1796.45	c   conflict analysis:       0.00          0          0       0.00          -
1795.69/1796.45	c B&B Tree           :
1795.69/1796.45	c   number of runs   :          1
1795.69/1796.45	c   nodes            :      18188
1795.69/1796.45	c   nodes (total)    :      18188
1795.69/1796.45	c   nodes left       :         20
1795.69/1796.45	c   max depth        :        101
1795.69/1796.45	c   max depth (total):        101
1795.69/1796.45	c   backtracks       :       5143 (28.3%)
1795.69/1796.45	c   delayed cutoffs  :       7701
1795.69/1796.45	c   repropagations   :      20020 (2377748 domain reductions, 4085 cutoffs)
1795.69/1796.45	c   avg switch length:       3.31
1795.69/1796.45	c   switching time   :      29.02
1795.69/1796.45	c Solution           :
1795.69/1796.45	c   Solutions found  :          0 (0 improvements)
1795.69/1796.45	c   Primal Bound     :          -
1795.69/1796.45	c   Dual Bound       : +4.03876202916546e+03
1795.69/1796.45	c   Gap              :   infinite
1795.69/1796.45	c   Root Dual Bound  : +3.97846445537383e+03
1795.99/1796.80	c Time complete: 1796.08.

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-1884378-1245257631/watcher-1884378-1245257631 -o /tmp/evaluation-result-1884378-1245257631/solver-1884378-1245257631 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884378-1245257631.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.02 1.03 0.93 3/64 8688
/proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=5812 CPUtime=0
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 193363669 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 1453 503 332 1256 0 192 0

[startup+0.0789601 s]
/proc/loadavg: 1.02 1.03 0.93 3/64 8688
/proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=13596 CPUtime=0.07
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 2359 0 0 0 6 1 0 0 18 0 1 0 193363669 13922304 2343 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 3399 2343 376 1256 0 2138 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13596

[startup+0.101964 s]
/proc/loadavg: 1.02 1.03 0.93 3/64 8688
/proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=15336 CPUtime=0.09
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 2791 0 0 0 8 1 0 0 18 0 1 0 193363669 15704064 2775 1992294400 4194304 9342243 548682068736 18446744073709551615 8251439 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 3834 2775 376 1256 0 2573 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15336

[startup+0.302007 s]
/proc/loadavg: 1.02 1.03 0.93 3/64 8688
/proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=22676 CPUtime=0.29
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 4637 0 0 0 27 2 0 0 19 0 1 0 193363669 23220224 4621 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 5669 4621 376 1256 0 4408 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22676

[startup+0.70109 s]
/proc/loadavg: 1.02 1.03 0.93 3/64 8688
/proc/meminfo: memFree=1841256/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=37216 CPUtime=0.69
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 8278 0 0 0 66 3 0 0 22 0 1 0 193363669 38109184 8262 1992294400 4194304 9342243 548682068736 18446744073709551615 8247763 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 9304 8262 376 1256 0 8043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37216

[startup+1.50126 s]
/proc/loadavg: 1.02 1.03 0.93 2/65 8689
/proc/meminfo: memFree=1763808/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=99256 CPUtime=1.49
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 23998 0 0 0 137 12 0 0 25 0 1 0 193363669 101638144 23628 1992294400 4194304 9342243 548682068736 18446744073709551615 5803104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 24814 23628 473 1256 0 23553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99256

[startup+3.1026 s]
/proc/loadavg: 1.02 1.03 0.93 2/65 8689
/proc/meminfo: memFree=1726816/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=185812 CPUtime=3.09
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 43700 0 0 0 276 33 0 0 22 0 1 0 193363669 190271488 41548 1992294400 4194304 9342243 548682068736 18446744073709551615 6960250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 46453 41548 611 1256 0 45192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185812

[startup+6.30128 s]
/proc/loadavg: 1.02 1.03 0.93 2/65 8689
/proc/meminfo: memFree=1670432/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=189636 CPUtime=6.28
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 45742 0 0 0 594 34 0 0 25 0 1 0 193363669 194187264 43589 1992294400 4194304 9342243 548682068736 18446744073709551615 6959720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 47409 43589 613 1256 0 46148 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 189636

[startup+12.7016 s]
/proc/loadavg: 1.02 1.03 0.93 2/65 8689
/proc/meminfo: memFree=1670112/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=192224 CPUtime=12.69
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 51175 0 0 0 1230 39 0 0 25 0 1 0 193363669 196837376 43351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 48056 43351 613 1256 0 46795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192224

[startup+25.5013 s]
/proc/loadavg: 1.01 1.03 0.93 2/65 8689
/proc/meminfo: memFree=1666080/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=194076 CPUtime=25.48
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 64499 0 0 0 2501 47 0 0 25 0 1 0 193363669 198733824 44960 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 48519 44960 631 1256 0 47258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 194076

[startup+51.1017 s]
/proc/loadavg: 1.01 1.02 0.93 2/65 8689
/proc/meminfo: memFree=1641696/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=223400 CPUtime=51.07
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 71184 0 0 0 5047 60 0 0 25 0 1 0 193363669 228761600 50469 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 55850 50469 645 1256 0 54589 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 223400

[startup+102.306 s]
/proc/loadavg: 1.00 1.02 0.93 2/65 8689
/proc/meminfo: memFree=1629920/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=235104 CPUtime=102.25
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 76610 0 0 0 10158 67 0 0 25 0 1 0 193363669 240746496 53368 1992294400 4194304 9342243 548682068736 18446744073709551615 6342066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 58776 53368 645 1256 0 57515 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 235104

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 8689
/proc/meminfo: memFree=1624736/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=265600 CPUtime=162.23
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 92065 0 0 0 16145 78 0 0 25 0 1 0 193363669 271974400 54652 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 66400 54652 650 1256 0 65139 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 265600

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 8689
/proc/meminfo: memFree=1624736/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=265600 CPUtime=222.2
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 109905 0 0 0 22132 88 0 0 25 0 1 0 193363669 271974400 54640 1992294400 4194304 9342243 548682068736 18446744073709551615 5874994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 66400 54640 650 1256 0 65139 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 265600

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8689
/proc/meminfo: memFree=1619232/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=238960 CPUtime=282.18
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 120309 0 0 0 28118 100 0 0 25 0 1 0 193363669 244695040 56114 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 59740 56114 669 1256 0 58479 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 238960

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8689
/proc/meminfo: memFree=1610784/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=247256 CPUtime=342.15
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 122357 0 0 0 34103 112 0 0 25 0 1 0 193363669 253190144 58162 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 61814 58162 669 1256 0 60553 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 247256

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8689
/proc/meminfo: memFree=1601824/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=256300 CPUtime=402.13
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 124582 0 0 0 40087 126 0 0 25 0 1 0 193363669 262451200 60387 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 64075 60387 669 1256 0 62814 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 256300

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1595352/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=262696 CPUtime=462.1
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 126161 0 0 0 46073 137 0 0 25 0 1 0 193363669 269000704 61966 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 65674 61966 669 1256 0 64413 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 262696

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1587480/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=270964 CPUtime=522.08
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 128160 0 0 0 52059 149 0 0 25 0 1 0 193363669 277467136 63965 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 67741 63965 669 1256 0 66480 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 270964

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1582808/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=275308 CPUtime=582.05
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 129272 0 0 0 58043 162 0 0 25 0 1 0 193363669 281915392 65077 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 68827 65077 669 1256 0 67566 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 275308

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1579608/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=278512 CPUtime=642.03
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 130064 0 0 0 64029 174 0 0 25 0 1 0 193363669 285196288 65869 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 69628 65869 669 1256 0 68367 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 278512

[startup+702.301 s]

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

/proc/meminfo: memFree=1539232/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=318840 CPUtime=1121.85
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 140121 0 0 0 111915 270 0 0 25 0 1 0 193363669 326492160 75926 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 79710 75926 669 1256 0 78449 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 318840

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1535200/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=322980 CPUtime=1181.82
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 141133 0 0 0 117901 281 0 0 25 0 1 0 193363669 330731520 76938 1992294400 4194304 9342243 548682068736 18446744073709551615 5432881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 80745 76938 669 1256 0 79484 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 322980

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1530848/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=327080 CPUtime=1241.8
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 142172 0 0 0 123887 293 0 0 25 0 1 0 193363669 334929920 77977 1992294400 4194304 9342243 548682068736 18446744073709551615 4206517 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 81770 77977 669 1256 0 80509 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 327080

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1526304/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=331648 CPUtime=1301.78
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 143293 0 0 0 129873 305 0 0 25 0 1 0 193363669 339607552 79098 1992294400 4194304 9342243 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 82912 79098 669 1256 0 81651 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 331648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1521376/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=336736 CPUtime=1361.76
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 144539 0 0 0 135860 316 0 0 25 0 1 0 193363669 344817664 80344 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 84184 80344 669 1256 0 82923 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 336736

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1518176/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=339940 CPUtime=1421.73
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 145322 0 0 0 141844 329 0 0 25 0 1 0 193363669 348098560 81127 1992294400 4194304 9342243 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 84985 81127 669 1256 0 83724 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 339940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1512096/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=346228 CPUtime=1481.71
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 146816 0 0 0 147829 342 0 0 25 0 1 0 193363669 354537472 82621 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 86557 82621 669 1256 0 85296 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 346228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1510688/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=347664 CPUtime=1541.68
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 147169 0 0 0 153815 353 0 0 25 0 1 0 193363669 356007936 82974 1992294400 4194304 9342243 548682068736 18446744073709551615 4770417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 86916 82974 669 1256 0 85655 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 347664

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1504352/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=354040 CPUtime=1601.66
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 148738 0 0 0 159801 365 0 0 25 0 1 0 193363669 362536960 84543 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 88510 84543 669 1256 0 87249 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 354040

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1499488/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=358916 CPUtime=1661.64
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 149941 0 0 0 165786 378 0 0 25 0 1 0 193363669 367529984 85746 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 89729 85746 669 1256 0 88468 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 358916

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1495392/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=362868 CPUtime=1721.61
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 150954 0 0 0 171771 390 0 0 25 0 1 0 193363669 371576832 86759 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 90717 86759 669 1256 0 89456 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 362868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1493216/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365164 CPUtime=1781.59
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151520 0 0 0 177759 400 0 0 25 0 1 0 193363669 373927936 87325 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 91291 87325 669 1256 0 90030 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 365164

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492768/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365596 CPUtime=1784.78
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151605 0 0 0 178078 400 0 0 25 0 1 0 193363669 374370304 87410 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 91399 87410 669 1256 0 90138 0
Current children cumulated CPU time (s) 1784.78
Current children cumulated vsize (KiB) 365596

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365596 CPUtime=1791.19
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 178717 402 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 91399 87432 669 1256 0 90138 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 365596

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365596 CPUtime=1794.38
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 179036 402 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 91399 87432 669 1256 0 90138 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (KiB) 365596

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365596 CPUtime=1795.19
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 179116 403 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 91399 87432 669 1256 0 90138 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 365596

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365596 CPUtime=1795.59
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151627 0 0 0 179156 403 0 0 25 0 1 0 193363669 374370304 87432 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8688/statm: 91399 87432 669 1256 0 90138 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 365596

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=365596 CPUtime=1795.99
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194304 151634 0 0 0 179196 403 0 0 25 0 1 0 193363669 374370304 87439 1992294400 4194304 9342243 548682068736 18446744073709551615 4401518 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 91399 87439 675 1256 0 90138 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (KiB) 365596

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 8695
/proc/meminfo: memFree=1492704/2055920 swapFree=4181924/4192956
[pid=8688] ppid=8686 vsize=0 CPUtime=1796.08
/proc/8688/stat : 8688 (pbscip.linux.x8) R 8686 8688 8094 0 -1 4194308 151639 0 0 0 179200 408 0 0 25 0 1 0 193363669 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/8688/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1796.8
CPU time (s): 1796.09
CPU user time (s): 1792.01
CPU system time (s): 4.08738
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 365596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.01
system time used= 4.08738
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151639
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= 3122

runsolver used 1.36979 second user time and 3.90341 second system time

The end

Launcher Data 

Begin job on node13 at 2009-06-17 18:53:51
IDJOB=1884378
IDBENCH=71951
IDSOLVER=684
FILE ID=node13/1884378-1245257631
PBS_JOBID= 9372440
Free space on /tmp= 66232 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE08/cnf/schup-l2s-abp4-1-k31.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-1884378-1245257631/watcher-1884378-1245257631 -o /tmp/evaluation-result-1884378-1245257631/solver-1884378-1245257631 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884378-1245257631.opb

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

MD5SUM BENCH= 43649fafee1f178a480cf104dcf0c6a1
RANDOM SEED=884493590

node13.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.259
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.259
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:       1841736 kB
Buffers:         22244 kB
Cached:         124948 kB
SwapCached:       5196 kB
Active:          73528 kB
Inactive:        81944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841736 kB
SwapTotal:     4192956 kB
SwapFree:      4181924 kB
Dirty:           13200 kB
Writeback:           0 kB
Mapped:          14356 kB
Slab:            44676 kB
Committed_AS:   185948 kB
PageTables:       1460 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= 66220 MiB
End job on node13 at 2009-06-17 19:23:48