Trace number 1885568

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? (TO) 1802.2 1802.75

General information on the benchmark

Name/PURE-SAT/SAT09/APPLICATIONS/
satComp09_BioInstances/ndhf_xits_21_SAT.opb
MD5SUMc0904f6d5e526dfae426396bb3b9e9a5
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 benchmark10.8523
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4466
Total number of constraints542457
Number of constraints which are clauses542457
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 constraint2
Maximum length of a constraint22
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 23
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

7.88/7.99	c SCIP version 1.1.0.7
7.88/7.99	c LP-Solver Clp 1.8.2
7.88/7.99	c user parameter file <scip.set> not found - using default parameters
7.88/7.99	c read problem <HOME/instance-1885568-1245267428.opb>
7.88/7.99	c original problem has 4466 variables (4466 bin, 0 int, 0 impl, 0 cont) and 542457 constraints
9.39/9.44	c No objective function, only one solution is needed.
9.39/9.44	c start presolving problem
9.39/9.44	c presolving:
14.69/14.73	c (round 1) 91 del vars, 91 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 542275 upgd conss, 126400 impls, 0 clqs
15.39/15.47	c (round 2) 91 del vars, 182 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 542275 upgd conss, 126400 impls, 0 clqs
16.18/16.21	c presolving (3 rounds):
16.18/16.21	c  91 deleted vars, 182 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
16.18/16.21	c  126400 implications, 0 cliques
16.18/16.21	c presolved problem has 4375 variables (4375 bin, 0 int, 0 impl, 0 cont) and 542275 constraints
16.18/16.21	c  542275 constraints of type <logicor>
16.18/16.21	c transformed objective value is always integral (scale: 1)
16.18/16.21	c Presolving Time: 5.30
16.18/16.21	c PURESAT
16.18/16.21	c -----------------------------------------------------------------------------------------------
16.18/16.21	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.21	c separating/flowcover/freq = c -1
16.18/16.21	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.21	c separating/cmir/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/veclendiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/veclendiving/maxlpiterquot = c 0.075
16.18/16.21	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/veclendiving/freq = c -1
16.18/16.21	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.21	c heuristics/simplerounding/freq = c -1
16.18/16.21	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/shifting/freq = c -1
16.18/16.21	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.21	c heuristics/rounding/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/rootsoldiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.18/16.21	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
16.18/16.21	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 20]
16.18/16.21	c heuristics/rootsoldiving/freq = c -1
16.18/16.21	c # number of nodes added to the contingent of the total nodes
16.18/16.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.18/16.21	c heuristics/rens/nodesofs = c 2000
16.18/16.21	c # minimum percentage of integer variables that have to be fixable 
16.18/16.21	c # [type: real, range: [0,1], default: 0.5]
16.18/16.21	c heuristics/rens/minfixingrate = c 0.3
16.18/16.21	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.21	c heuristics/rens/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/pscostdiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/pscostdiving/maxlpiterquot = c 0.075
16.18/16.21	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/pscostdiving/freq = c -1
16.18/16.21	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.21	c heuristics/oneopt/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/objpscostdiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to total iteration number
16.18/16.21	c # [type: real, range: [0,1], default: 0.01]
16.18/16.21	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
16.18/16.21	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 20]
16.18/16.21	c heuristics/objpscostdiving/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/linesearchdiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
16.18/16.21	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/linesearchdiving/freq = c -1
16.18/16.21	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/intshifting/freq = c -1
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/intdiving/maxlpiterquot = c 0.075
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/guideddiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/guideddiving/maxlpiterquot = c 0.075
16.18/16.21	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/guideddiving/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/fracdiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/fracdiving/maxlpiterquot = c 0.075
16.18/16.21	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/fracdiving/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/feaspump/maxlpiterofs = c 2000
16.18/16.21	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 20]
16.18/16.21	c heuristics/feaspump/freq = c -1
16.18/16.21	c # minimum percentage of integer variables that have to be fixed 
16.18/16.21	c # [type: real, range: [0,1], default: 0.666]
16.18/16.21	c heuristics/crossover/minfixingrate = c 0.5
16.18/16.21	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.18/16.21	c # [type: real, range: [0,1], default: 0.1]
16.18/16.21	c heuristics/crossover/nodesquot = c 0.15
16.18/16.21	c # number of nodes without incumbent change that heuristic should wait
16.18/16.21	c # [type: longint, range: [0,9223372036854775807], default: 200]
16.18/16.21	c heuristics/crossover/nwaitingnodes = c 100
16.18/16.21	c # number of nodes added to the contingent of the total nodes
16.18/16.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.18/16.21	c heuristics/crossover/nodesofs = c 750
16.18/16.21	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 30]
16.18/16.21	c heuristics/crossover/freq = c -1
16.18/16.21	c # additional number of allowed LP iterations
16.18/16.21	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.21	c heuristics/coefdiving/maxlpiterofs = c 1500
16.18/16.21	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.21	c heuristics/coefdiving/maxlpiterquot = c 0.075
16.18/16.21	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.21	c heuristics/coefdiving/freq = c -1
16.18/16.21	c # priority of node selection rule <dfs> in standard mode
16.18/16.21	c # [type: int, range: [-536870912,536870911], default: 0]
16.18/16.21	c nodeselection/dfs/stdpriority = c 1000000
16.18/16.21	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.18/16.21	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.21	c presolving/probing/maxrounds = c 0
16.18/16.21	c # should presolving try to simplify knapsacks
16.18/16.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.21	c constraints/knapsack/simplifyinequalities = c TRUE
16.18/16.21	c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.18/16.21	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.18/16.21	c constraints/knapsack/disaggregation = c FALSE
16.18/16.21	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.24	c constraints/knapsack/maxnumcardlift = c 0
16.18/16.24	c # should presolving try to simplify inequalities
16.18/16.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.24	c constraints/linear/simplifyinequalities = c TRUE
16.18/16.24	c # maximal number of separation rounds in the root node (-1: unlimited)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.24	c separating/maxroundsroot = c 5
16.18/16.24	c # maximal number of separation rounds per node (-1: unlimited)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: 5]
16.18/16.24	c separating/maxrounds = c 1
16.18/16.24	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)
16.18/16.24	c # [type: char, range: {lafpsqd}, default: l]
16.18/16.24	c lp/pricing = c a
16.18/16.24	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.24	c lp/solvefreq = c 0
16.18/16.24	c # solving stops, if the given number of solutions were found (-1: no limit)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.24	c limits/solutions = c 1
16.18/16.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.18/16.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.18/16.24	c limits/memory = c 1620
16.18/16.24	c # maximal time in seconds to run
16.18/16.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.18/16.24	c limits/time = c 1791
16.18/16.24	c # frequency for displaying node information lines
16.18/16.24	c # [type: int, range: [-1,2147483647], default: 100]
16.18/16.24	c display/freq = c 10000
16.18/16.24	c # should enforcement of pseudo solution be disabled?
16.18/16.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.24	c constraints/disableenfops = c TRUE
16.18/16.24	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.24	c constraints/agelimit = c 1
16.18/16.24	c # should binary conflicts be preferred?
16.18/16.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.24	c conflict/preferbinary = c TRUE
16.18/16.24	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
16.18/16.24	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.24	c conflict/interconss = c 0
16.18/16.24	c -----------------------------------------------------------------------------------------------
16.18/16.24	c start solving problem
16.18/16.24	c 
35.68/35.73	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.68/35.73	c  25.5s|     1 |     0 |   969 | 595M|   0 | 521 |4375 | 542k| 542k|4375 | 542k|   0 |   0 |   0 | 4.650000e+01 |      --      |    Inf 
117.46/117.53	c   107s|     1 |     0 |  1292 | 596M|   0 | 491 |4375 | 542k| 542k|4375 | 542k|  17 |   0 |   0 | 4.870724e+01 |      --      |    Inf 
168.04/168.18	c   158s|     1 |     0 |  1403 | 596M|   0 | 408 |4375 | 542k| 542k|4375 | 542k|  34 |   0 |   0 | 4.926754e+01 |      --      |    Inf 
217.22/217.31	c   207s|     1 |     0 |  1571 | 596M|   0 | 302 |4375 | 542k| 542k|4375 | 542k|  46 |   0 |   0 | 4.958333e+01 |      --      |    Inf 
545.53/545.76	c   535s|     1 |     0 |  2472 | 596M|   0 | 500 |4375 | 542k| 542k|4375 | 542k|  56 |   0 |   0 | 4.985566e+01 |      --      |    Inf 
619.70/619.93	c   609s|     1 |     0 |  2755 | 596M|   0 | 415 |4375 | 542k| 542k|4375 | 542k|  64 |   0 |   0 | 4.997264e+01 |      --      |    Inf 
1428.36/1428.88	c  1416s|     1 |     2 |  2755 | 596M|   0 | 415 |4375 | 542k| 542k|4375 | 542k|  64 |   0 |  19 | 4.997264e+01 |      --      |    Inf 
1729.96/1730.55	c  1717s| 10000 |   816 |  2755 | 609M|1078 |   - |4375 | 548k| 470k|   0 |   0 |  64 |  12k|  19 | 5.097264e+01 |      --      |    Inf 
1800.05/1800.61	c 
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time (sec) : 1787.26
1800.05/1800.61	c Solving Nodes      : 11939
1800.05/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61	c Dual Bound         : +5.09726392784627e+01
1800.05/1800.61	c Gap                : infinite
1800.05/1800.61	c NODE         11939
1800.05/1800.61	c DUAL BOUND   50.9726
1800.05/1800.61	c PRIMAL BOUND 1e+20
1800.05/1800.61	c GAP          1e+20
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.61	c Solving Time       :    1787.26
1800.05/1800.61	c Original Problem   :
1800.05/1800.61	c   Problem name     : HOME/instance-1885568-1245267428.opb
1800.05/1800.61	c   Variables        : 4466 (4466 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 542457 initial, 542457 maximal
1800.05/1800.61	c Presolved Problem  :
1800.05/1800.61	c   Problem name     : t_HOME/instance-1885568-1245267428.opb
1800.05/1800.61	c   Variables        : 4375 (4375 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61	c   Constraints      : 542275 initial, 549473 maximal
1800.05/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   implics          :       0.01          0         91          0          0          0          0          0          0
1800.05/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.61	c   linear           :       2.96          0          0          0          0          0        182          0          0
1800.05/1800.61	c   logicor          :       1.60          0          0          0          0          0          0          0          0
1800.05/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.05/1800.61	c   logicor          :     542275+         5      64679          0          0       7350     976443          0          0          0
1800.05/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.61	c   integral         :     807.11       0.00       0.00     807.11       0.00
1800.05/1800.61	c   logicor          :     196.99       0.31     196.68       0.00       0.00
1800.05/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.61	c   rootredcost      :       0.11          0          0          0
1800.05/1800.61	c   pseudoobj        :      39.11      72332          0          0
1800.05/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.61	c   propagation      :       4.71       7350       7350       7350      135.3       8048       24.6          -
1800.05/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.61	c   applied globally :          -          -          -      15398       77.4          -          -          -
1800.05/1800.61	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.61	c   cut pool         :       0.00          4          -          -         44          -    (maximal pool size: 367)
1800.05/1800.61	c   redcost          :       0.01          5          0          0          0          0
1800.05/1800.61	c   impliedbounds    :       0.01          5          0          0          0          0
1800.05/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.61	c   gomory           :     295.85          5          0          0       2500          0
1800.05/1800.61	c   strongcg         :     174.93          5          0          0       2500          0
1800.05/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.61	c   clique           :       0.38          5          0          0         30          0
1800.05/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.61	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.61	c Pricers            :       Time      Calls       Vars
1800.05/1800.61	c   problem variables:       0.00          0          0
1800.05/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.61	c   relpscost        :     807.11          1          0          0          0          0          2
1800.05/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   inference        :       4.19       8455          0          0          0          0      16910
1800.05/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.61	c   LP solutions     :       0.00          -          0
1800.05/1800.61	c   pseudo solutions :       0.00          -          0
1800.05/1800.61	c   simplerounding   :       0.00          0          0
1800.05/1800.61	c   rounding         :       0.00          0          0
1800.05/1800.61	c   shifting         :       0.00          0          0
1800.05/1800.61	c   intshifting      :       0.00          0          0
1800.05/1800.61	c   oneopt           :       0.00          0          0
1800.05/1800.61	c   fixandinfer      :       0.00          0          0
1800.05/1800.61	c   feaspump         :       0.00          0          0
1800.05/1800.61	c   coefdiving       :       0.00          0          0
1800.05/1800.61	c   pscostdiving     :       0.00          0          0
1800.05/1800.61	c   fracdiving       :       0.00          0          0
1800.05/1800.61	c   veclendiving     :       0.00          0          0
1800.05/1800.61	c   intdiving        :       0.00          0          0
1800.05/1800.61	c   actconsdiving    :       0.00          0          0
1800.05/1800.61	c   objpscostdiving  :       0.00          0          0
1800.05/1800.61	c   rootsoldiving    :       0.00          0          0
1800.05/1800.61	c   linesearchdiving :       0.00          0          0
1800.05/1800.61	c   guideddiving     :       0.00          0          0
1800.05/1800.61	c   octane           :       0.00          0          0
1800.05/1800.61	c   rens             :       0.00          0          0
1800.05/1800.61	c   rins             :       0.00          0          0
1800.05/1800.61	c   localbranching   :       0.00          0          0
1800.05/1800.61	c   mutation         :       0.00          0          0
1800.05/1800.61	c   crossover        :       0.00          0          0
1800.05/1800.61	c   dins             :       0.00          0          0
1800.05/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.61	c   primal LP        :       1.36          0          0       0.00       0.00
1800.05/1800.61	c   dual LP          :     127.79          6       2755     459.17      21.56
1800.05/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.61	c   strong branching :     807.11         19      12374     651.26      15.33
1800.05/1800.61	c     (at root node) :          -         19      12374     651.26          -
1800.05/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.61	c B&B Tree           :
1800.05/1800.61	c   number of runs   :          1
1800.05/1800.61	c   nodes            :      11939
1800.05/1800.61	c   nodes (total)    :      11939
1800.05/1800.61	c   nodes left       :        814
1800.05/1800.61	c   max depth        :       1078
1800.05/1800.61	c   max depth (total):       1078
1800.05/1800.61	c   backtracks       :       3877 (32.5%)
1800.05/1800.61	c   delayed cutoffs  :       4160
1800.05/1800.61	c   repropagations   :      12748 (581916 domain reductions, 3867 cutoffs)
1800.05/1800.61	c   avg switch length:       2.85
1800.05/1800.61	c   switching time   :      65.27
1800.05/1800.61	c Solution           :
1800.05/1800.61	c   Solutions found  :          0 (0 improvements)
1800.05/1800.61	c   Primal Bound     :          -
1800.05/1800.61	c   Dual Bound       : +5.09726392784627e+01
1800.05/1800.61	c   Gap              :   infinite
1800.05/1800.61	c   Root Dual Bound  : +4.99726392784468e+01

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-1885568-1245267428/watcher-1885568-1245267428 -o /tmp/evaluation-result-1885568-1245267428/solver-1885568-1245267428 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885568-1245267428.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11282
/proc/meminfo: memFree=1803816/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=5812 CPUtime=0
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 194342158 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 1453 503 332 1256 0 192 0

[startup+0.00651397 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11282
/proc/meminfo: memFree=1803816/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=7620 CPUtime=0
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 928 0 0 0 0 0 0 0 18 0 1 0 194342158 7802880 912 1992294400 4194304 9342243 548682068736 18446744073709551615 5795968 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 2162 919 362 1256 0 901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7620

[startup+0.101526 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11282
/proc/meminfo: memFree=1803816/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=16936 CPUtime=0.09
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 3204 0 0 0 8 1 0 0 18 0 1 0 194342158 17342464 3188 1992294400 4194304 9342243 548682068736 18446744073709551615 8250828 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 4234 3188 376 1256 0 2973 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16936

[startup+0.301556 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11282
/proc/meminfo: memFree=1803816/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=21652 CPUtime=0.29
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 4390 0 0 0 28 1 0 0 19 0 1 0 194342158 22171648 4374 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 5413 4374 376 1256 0 4152 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21652

[startup+0.701618 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11282
/proc/meminfo: memFree=1803816/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=31056 CPUtime=0.69
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 6724 0 0 0 67 2 0 0 22 0 1 0 194342158 31801344 6708 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 7764 6708 376 1256 0 6503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31056

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=1770464/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=50768 CPUtime=1.49
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 11645 0 0 0 145 4 0 0 25 0 1 0 194342158 51986432 11629 1992294400 4194304 9342243 548682068736 18446744073709551615 8221125 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 12692 11629 376 1256 0 11431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50768

[startup+3.10198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=1743456/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=89200 CPUtime=3.09
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 21246 0 0 0 300 9 0 0 25 0 1 0 194342158 91340800 21230 1992294400 4194304 9342243 548682068736 18446744073709551615 7637141 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 22300 21230 376 1256 0 21039 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89200

[startup+6.30147 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=1663656/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=167928 CPUtime=6.28
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 40847 0 0 0 608 20 0 0 25 0 1 0 194342158 171958272 40831 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 41982 40831 376 1256 0 40721 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 167928

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=1201576/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=670564 CPUtime=12.69
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 176185 0 0 0 1136 133 0 0 25 0 1 0 194342158 686657536 164693 1992294400 4194304 9342243 548682068736 18446744073709551615 8315898 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 167641 164693 465 1256 0 166380 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 670564

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=791080/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1213632 CPUtime=25.49
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 271154 0 0 0 2305 244 0 0 25 0 1 0 194342158 1242759168 253652 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 303408 253652 604 1256 0 302147 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1213632

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=766632/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326940 CPUtime=51.07
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 288411 0 0 0 4855 252 0 0 25 0 1 0 194342158 1358786560 259370 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331735 259370 625 1256 0 330474 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1326940

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=766632/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326940 CPUtime=102.26
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 288412 0 0 0 9973 253 0 0 25 0 1 0 194342158 1358786560 259371 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331735 259371 626 1256 0 330474 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1326940

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=763944/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1322728 CPUtime=162.24
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 308598 0 0 0 15957 267 0 0 25 0 1 0 194342158 1354473472 260045 1992294400 4194304 9342243 548682068736 18446744073709551615 4272794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 330682 260045 632 1256 0 329421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1322728

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=749224/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326672 CPUtime=222.22
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 335030 0 0 0 21942 280 0 0 25 0 1 0 194342158 1358512128 263705 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331668 263705 632 1256 0 330407 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1326672

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=749224/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326672 CPUtime=282.2
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 335030 0 0 0 27939 281 0 0 25 0 1 0 194342158 1358512128 263705 1992294400 4194304 9342243 548682068736 18446744073709551615 6237444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331668 263705 632 1256 0 330407 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1326672

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=749160/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326672 CPUtime=342.18
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 335030 0 0 0 33936 282 0 0 25 0 1 0 194342158 1358512128 263705 1992294400 4194304 9342243 548682068736 18446744073709551615 6237444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331668 263705 632 1256 0 330407 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1326672

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=749096/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326672 CPUtime=402.17
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 335030 0 0 0 39934 283 0 0 25 0 1 0 194342158 1358512128 263705 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331668 263705 632 1256 0 330407 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1326672

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=749096/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1326672 CPUtime=462.15
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 335030 0 0 0 45930 285 0 0 25 0 1 0 194342158 1358512128 263705 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 331668 263705 632 1256 0 330407 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1326672

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=739624/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1370908 CPUtime=522.14
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 343167 0 0 0 51924 290 0 0 25 0 1 0 194342158 1403809792 266190 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 342727 266190 632 1256 0 341466 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1370908

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=744040/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1329360 CPUtime=582.11
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 351861 0 0 0 57915 296 0 0 25 0 1 0 194342158 1361264640 264988 1992294400 4194304 9342243 548682068736 18446744073709551615 6952857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 332340 264988 632 1256 0 331079 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1329360

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11283
/proc/meminfo: memFree=701608/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=642.1
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 394202 0 0 0 63896 314 0 0 25 0 1 0 194342158 1743486976 275546 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275546 637 1256 0 424395 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1702624

[startup+702.302 s]

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

/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 546881 0 0 0 105813 383 0 0 25 0 1 0 194342158 1743486976 275689 1992294400 4194304 9342243 548682068736 18446744073709551615 5868780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275689 637 1256 0 424395 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1702624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 11285
/proc/meminfo: memFree=701032/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=1121.95
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 579330 0 0 0 111797 398 0 0 25 0 1 0 194342158 1743486976 275683 1992294400 4194304 9342243 548682068736 18446744073709551615 5874800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275683 637 1256 0 424395 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1702624

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 11285
/proc/meminfo: memFree=700136/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=1181.93
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 615657 0 0 0 117778 415 0 0 25 0 1 0 194342158 1743486976 275430 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275430 637 1256 0 424395 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1702624

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 11285
/proc/meminfo: memFree=700648/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=1241.91
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 634442 0 0 0 123768 423 0 0 25 0 1 0 194342158 1743486976 275743 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275743 637 1256 0 424395 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1702624

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 11285
/proc/meminfo: memFree=700712/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=1301.9
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 652832 0 0 0 129758 432 0 0 25 0 1 0 194342158 1743486976 275720 1992294400 4194304 9342243 548682068736 18446744073709551615 5868798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275720 637 1256 0 424395 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1702624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 11285
/proc/meminfo: memFree=700072/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=1361.88
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 689603 0 0 0 135740 448 0 0 25 0 1 0 194342158 1743486976 275877 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275877 637 1256 0 424395 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1702624

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11285
/proc/meminfo: memFree=701288/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1702624 CPUtime=1421.86
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 712362 0 0 0 141727 459 0 0 25 0 1 0 194342158 1743486976 275557 1992294400 4194304 9342243 548682068736 18446744073709551615 5874812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 425656 275557 637 1256 0 424395 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1702624

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710632/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1481.84
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727855 0 0 0 147709 475 0 0 25 0 1 0 194342158 1388535808 273214 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273214 657 1256 0 337737 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1355992

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710504/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1541.82
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727933 0 0 0 153701 481 0 0 25 0 1 0 194342158 1388535808 273292 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273292 657 1256 0 337737 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1355992

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710440/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1601.8
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727937 0 0 0 159694 486 0 0 25 0 1 0 194342158 1388535808 273296 1992294400 4194304 9342243 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273296 657 1256 0 337737 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1355992

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710376/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1661.78
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727943 0 0 0 165687 491 0 0 25 0 1 0 194342158 1388535808 273302 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273302 657 1256 0 337737 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1355992

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710312/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1721.76
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727947 0 0 0 171679 497 0 0 25 0 1 0 194342158 1388535808 273306 1992294400 4194304 9342243 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273306 657 1256 0 337737 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1355992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710248/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1781.75
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727951 0 0 0 177671 504 0 0 25 0 1 0 194342158 1388535808 273310 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273310 657 1256 0 337737 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1355992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710184/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1800.05
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727953 0 0 0 179499 506 0 0 25 0 1 0 194342158 1388535808 273312 1992294400 4194304 9342243 548682068736 18446744073709551615 4208133 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273312 657 1256 0 337737 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1355992

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11282

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11291
/proc/meminfo: memFree=710184/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1800.84
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727972 0 0 0 179578 506 0 0 25 0 1 0 194342158 1388535808 273331 1992294400 4194304 9342243 548682068736 18446744073709551615 4302007 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273331 662 1256 0 337737 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1355992

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11292
/proc/meminfo: memFree=710112/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=1355992 CPUtime=1801.64
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727973 0 0 0 179658 506 0 0 25 0 1 0 194342158 1388535808 273332 1992294400 4194304 9342243 548682068736 18446744073709551615 4511213 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 338998 273332 663 1256 0 337737 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1355992

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11292
/proc/meminfo: memFree=710112/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=911848 CPUtime=1802.04
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4194304 727974 0 0 0 179695 509 0 0 25 0 1 0 194342158 933732352 224574 1992294400 4194304 9342243 548682068736 18446744073709551615 5855080 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 227962 224574 664 1256 0 226701 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 911848

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11292
/proc/meminfo: memFree=710112/2055920 swapFree=4181956/4192956
[pid=11282] ppid=11280 vsize=0 CPUtime=1802.14
/proc/11282/stat : 11282 (pbscip.linux.x8) R 11280 11282 10442 0 -1 4195332 727974 0 0 0 179696 518 0 0 25 0 1 0 194342158 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/11282/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.2
CPU user time (s): 1796.97
CPU system time (s): 5.2302
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1708992

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

runsolver used 1.80572 second user time and 4.13237 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-17 21:37:09
IDJOB=1885568
IDBENCH=72070
IDSOLVER=684
FILE ID=node34/1885568-1245267428
PBS_JOBID= 9372419
Free space on /tmp= 66236 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_21_SAT.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-1885568-1245267428/watcher-1885568-1245267428 -o /tmp/evaluation-result-1885568-1245267428/solver-1885568-1245267428 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885568-1245267428.opb

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

MD5SUM BENCH= c0904f6d5e526dfae426396bb3b9e9a5
RANDOM SEED=341476580

node34.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.263
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.263
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:       1804296 kB
Buffers:         39196 kB
Cached:         130548 kB
SwapCached:       5016 kB
Active:          91928 kB
Inactive:        85908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1804296 kB
SwapTotal:     4192956 kB
SwapFree:      4181956 kB
Dirty:           29312 kB
Writeback:           0 kB
Mapped:          14424 kB
Slab:            59808 kB
Committed_AS:   201956 kB
PageTables:       1384 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= 66224 MiB
End job on node34 at 2009-06-17 22:07:12