Trace number 2666310

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT 388.683 388.804

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_80.opb
MD5SUM7cde2502e7fdd6b310da5651aff97d88
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
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 benchmark1.9757
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666310-1276679281.opb>
0.09/0.12	c original problem has 7326 variables (7326 bin, 0 int, 0 impl, 0 cont) and 7828 constraints
0.09/0.12	c problem read
0.09/0.12	c No objective function, only one solution is needed.
0.09/0.12	c presolving settings loaded
0.20/0.22	c presolving:
0.49/0.54	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 51608 impls, 1000 clqs
0.79/0.80	c presolving (2 rounds):
0.79/0.80	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.80	c  51608 implications, 1000 cliques
0.79/0.80	c presolved problem has 7326 variables (7326 bin, 0 int, 0 impl, 0 cont) and 7828 constraints
0.79/0.80	c       1 constraints of type <knapsack>
0.79/0.80	c    1000 constraints of type <setppc>
0.79/0.80	c    6326 constraints of type <and>
0.79/0.80	c       1 constraints of type <linear>
0.79/0.80	c     500 constraints of type <logicor>
0.79/0.80	c transformed objective value is always integral (scale: 1)
0.79/0.80	c Presolving Time: 0.43
0.79/0.80	c - non default parameters ----------------------------------------------------------------------
0.79/0.80	c # SCIP version 1.2.1.2
0.79/0.80	c 
0.79/0.80	c # frequency for displaying node information lines
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.80	c display/freq = 10000
0.79/0.80	c 
0.79/0.80	c # maximal time in seconds to run
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80	c limits/time = 1799.89
0.79/0.80	c 
0.79/0.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80	c limits/memory = 1620
0.79/0.80	c 
0.79/0.80	c # solving stops, if the given number of solutions were found (-1: no limit)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80	c limits/solutions = 1
0.79/0.80	c 
0.79/0.80	c # maximal number of separation rounds per node (-1: unlimited)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 5]
0.79/0.80	c separating/maxrounds = 1
0.79/0.80	c 
0.79/0.80	c # maximal number of separation rounds in the root node (-1: unlimited)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80	c separating/maxroundsroot = 5
0.79/0.80	c 
0.79/0.80	c # should presolving try to simplify inequalities
0.79/0.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80	c constraints/linear/simplifyinequalities = TRUE
0.79/0.80	c 
0.79/0.80	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.79/0.80	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.79/0.80	c constraints/knapsack/disaggregation = FALSE
0.79/0.80	c 
0.79/0.80	c # should presolving try to simplify knapsacks
0.79/0.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80	c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.80	c 
0.79/0.80	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80	c presolving/probing/maxrounds = 0
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/coefdiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/coefdiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/coefdiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 30]
0.79/0.80	c heuristics/crossover/freq = -1
0.79/0.80	c 
0.79/0.80	c # number of nodes added to the contingent of the total nodes
0.79/0.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.80	c heuristics/crossover/nodesofs = 750
0.79/0.80	c 
0.79/0.80	c # number of nodes without incumbent change that heuristic should wait
0.79/0.80	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.79/0.80	c heuristics/crossover/nwaitingnodes = 100
0.79/0.80	c 
0.79/0.80	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.79/0.80	c # [type: real, range: [0,1], default: 0.1]
0.79/0.80	c heuristics/crossover/nodesquot = 0.15
0.79/0.80	c 
0.79/0.80	c # minimum percentage of integer variables that have to be fixed 
0.79/0.80	c # [type: real, range: [0,1], default: 0.666]
0.79/0.80	c heuristics/crossover/minfixingrate = 0.5
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.80	c heuristics/feaspump/freq = -1
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/feaspump/maxlpiterofs = 2000
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/fracdiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/fracdiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/fracdiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/guideddiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/guideddiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/guideddiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/intdiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/intshifting/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/linesearchdiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80	c heuristics/nlp/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.80	c heuristics/objpscostdiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to total iteration number
0.79/0.80	c # [type: real, range: [0,1], default: 0.01]
0.79/0.80	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80	c heuristics/oneopt/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/pscostdiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/pscostdiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.80	c heuristics/rens/freq = -1
0.79/0.80	c 
0.79/0.80	c # minimum percentage of integer variables that have to be fixable 
0.79/0.80	c # [type: real, range: [0,1], default: 0.5]
0.79/0.80	c heuristics/rens/minfixingrate = 0.3
0.79/0.80	c 
0.79/0.80	c # number of nodes added to the contingent of the total nodes
0.79/0.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.80	c heuristics/rens/nodesofs = 2000
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.80	c heuristics/rootsoldiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.79/0.80	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80	c heuristics/rounding/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/shifting/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80	c heuristics/simplerounding/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.80	c heuristics/trivial/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80	c heuristics/trysol/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.80	c heuristics/veclendiving/freq = -1
0.79/0.80	c 
0.79/0.80	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.80	c heuristics/veclendiving/maxlpiterquot = 0.075
0.79/0.80	c 
0.79/0.80	c # additional number of allowed LP iterations
0.79/0.80	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.80	c heuristics/veclendiving/maxlpiterofs = 1500
0.79/0.80	c 
0.79/0.80	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80	c heuristics/zirounding/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.80	c separating/cmir/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.80	c separating/flowcover/freq = -1
0.79/0.80	c 
0.79/0.80	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.80	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80	c separating/rapidlearning/freq = 0
0.79/0.80	c 
0.79/0.80	c -----------------------------------------------------------------------------------------------
0.79/0.80	c start solving
0.79/0.81	c 
1.69/1.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.69/1.70	c   1.3s|     1 |     0 |  1073 |     - |  33M|   0 | 450 |7326 |7828 |7326 |  14k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.79/7.89	c   7.2s|     1 |     0 |  1369 |     - |  36M|   0 | 512 |7326 |7828 |7326 |  14k|  53 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.20/13.23	c  12.5s|     1 |     0 |  1647 |     - |  40M|   0 | 521 |7326 |7828 |7326 |  14k| 107 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.19/19.25	c  18.5s|     1 |     0 |  1967 |     - |  44M|   0 | 497 |7326 |7828 |7326 |  14k| 146 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.88/24.93	c  24.1s|     1 |     0 |  2161 |     - |  46M|   0 | 449 |7326 |7828 |7326 |  14k| 181 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
31.08/31.14	c  30.3s|     1 |     0 |  2485 |     - |  49M|   0 | 452 |7326 |7828 |7326 |  14k| 205 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
36.78/36.86	c  36.0s|     1 |     2 |  2485 |     - |  49M|   0 | 452 |7326 |7828 |7326 |  14k| 205 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
388.47/388.65	c * 383s|  2208 |     0 |148374 |  66.1 |  49M| 156 |   - |7326 |7840 |7326 |2633 |  22k|  12 |3536 | 0.000000e+00 | 0.000000e+00 |   0.00%
388.47/388.67	c 
388.47/388.67	c SCIP Status        : problem is solved [optimal solution found]
388.47/388.67	c Solving Time (sec) : 383.36
388.47/388.67	c Solving Nodes      : 2208
388.47/388.67	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
388.47/388.67	c Dual Bound         : +0.00000000000000e+00
388.47/388.67	c Gap                : 0.00 %
388.47/388.69	s SATISFIABLE
388.47/388.69	v -x774 -x830 -x914 -x753 -x818 -x636 -x812 -x906 -x737 -x923 -x729 -x684 -x946 -x993 -x964 -x917 -x733 -x683 -x713 -x643 -x761 -x735 
388.47/388.69	v -x723 -x829 -x726 -x804 -x615 -x797 -x859 -x846 -x580 -x659 -x828 -x611 -x594 -x995 x744 -x944 -x870 -x572 -x831 -x743 -x736 
388.47/388.69	v -x998 -x931 -x835 -x567 -x861 -x971 -x680 -x576 -x656 -x895 -x740 -x901 -x646 -x706 -x698 -x626 -x562 -x867 -x728 -x722 
388.47/388.69	v -x565 -x929 x789 -x686 -x658 -x760 -x838 -x814 -x558 -x691 -x666 -x862 -x925 -x694 -x709 -x952 -x891 -x677 x759 -x734 -x552 -x583 
388.47/388.69	v -x936 -x582 -x796 -x834 -x913 -x654 -x619 -x960 -x875 -x564 -x911 -x782 -x618 -x621 -x662 -x857 -x793 -x710 -x872 -x958 
388.47/388.69	v -x751 -x772 -x876 -x788 -x672 -x937 -x881 -x652 -x651 x863 x550 -x839 -x791 x767 -x588 -x561 -x675 -x673 -x924 -x877 -x837 -x978 
388.47/388.69	v -x624 -x1000 -x790 -x918 x750 -x935 -x548 -x919 -x630 -x900 -x546 -x581 -x637 x850 -x535 -x649 -x786 -x832 -x747 -x840 x851 
388.47/388.69	v -x534 -x898 -x858 x536 -x957 -x809 x968 -x533 x951 -x941 -x909 -x908 -x856 -x720 -x977 -x604 -x833 x916 -x799 x540 -x953 -x600 
388.47/388.69	v -x593 -x687 -x617 -x824 -x554 -x836 -x606 -x975 -x644 -x991 -x887 x930 -x642 -x934 -x693 -x665 -x607 -x899 -x779 -x989 -x762 
388.47/388.69	v x892 -x622 -x531 -x585 -x805 -x625 -x586 -x551 -x928 -x841 -x685 -x739 -x525 -x704 -x689 -x579 -x549 -x669 x959 -x855 x890 
388.47/388.69	v -x667 -x616 -x871 x888 x696 -x976 -x523 -x792 -x629 x566 x596 -x956 -x559 -x522 -x716 -x714 -x553 -x702 -x768 -x539 -x781 
388.47/388.69	v -x985 -x820 -x843 -x543 -x813 -x922 -x794 -x563 x530 -x520 -x938 -x764 -x610 -x758 -x614 -x866 -x992 -x773 -x708 -x647 -x592 
388.47/388.69	v -x663 -x547 -x674 -x730 -x896 -x979 -x518 x798 x731 -x653 -x641 -x587 x590 -x803 -x679 -x770 -x860 -x682 -x785 -x608 -x577 -x639 
388.47/388.69	v -x655 -x578 -x516 x893 -x854 -x745 x645 -x602 -x542 -x638 x849 -x921 -x869 -x724 x537 x515 x598 -x852 x987 x660 x910 -x771 
388.47/388.69	v -x514 -x950 -x882 -x842 -x815 -x727 -x711 -x670 -x632 -x556 -x927 -x884 -x826 -x664 -x885 x983 -x949 -x920 -x766 -x756 -x695 
388.47/388.69	v -x668 -x571 x589 -x945 x712 x981 x697 x765 -x980 -x521 x512 -x954 x819 x808 x776 -x717 -x865 x897 -x853 -x678 -x627 x513 -x879 
388.47/388.69	v -x511 -x816 x810 -x763 -x699 -x544 x703 -x742 -x707 -x967 -x681 -x671 -x609 -x986 -x940 -x878 -x847 -x749 -x825 -x912 -x990 
388.47/388.69	v -x889 -x746 -x705 x528 x524 -x657 -x806 -x661 -x868 -x933 -x988 x800 -x634 -x947 -x807 -x778 -x754 x752 -x612 x569 -x939 x974 
388.47/388.69	v -x603 x997 -x591 -x907 -x970 -x966 x783 x628 x575 -x527 x508 x640 -x692 -x932 x994 -x573 x732 x738 -x506 -x999 -x633 x509 
388.47/388.69	v -x817 x507 x755 -x996 -x787 x873 -x822 x568 -x948 -x690 x505 -x972 -x963 -x701 -x560 -x517 -x748 -x844 -x973 -x599 x943 x532 
388.47/388.69	v -x845 -x676 -x777 -x880 -x504 -x926 -x801 -x784 -x613 -x601 -x595 -x570 x962 -x984 -x725 -x795 -x620 -x700 -x757 -x905 -x874 
388.47/388.69	v x503 -x848 -x688 -x635 -x557 x631 x821 -x721 -x883 -x823 -x719 -x574 -x780 -x969 -x605 -x502 x961 -x894 -x769 x741 -x648 -x597 
388.47/388.69	v -x519 -x718 -x650 -x902 -x942 x903 -x915 -x904 -x965 -x715 -x955 -x501 -x982 -x811 -x623 -x555 -x541 -x510 -x545 -x886 -x529 
388.47/388.69	v -x526 -x538 -x864 -x827 -x775 -x584 x802 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 
388.47/388.69	v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 
388.47/388.69	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 
388.47/388.69	v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 
388.47/388.69	v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 
388.47/388.69	v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 
388.47/388.69	v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 
388.47/388.69	v x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 
388.47/388.69	v -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 
388.47/388.69	v -x318 -x317 x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 
388.47/388.69	v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 
388.47/388.69	v -x276 -x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 x257 -x256 -x255 
388.47/388.69	v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 
388.47/388.69	v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 
388.47/388.69	v -x212 -x211 -x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 
388.47/388.69	v -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 
388.47/388.69	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 
388.47/388.69	v -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 x134 x133 -x132 -x131 -x130 x129 -x128 
388.47/388.69	v -x127 x126 -x125 -x124 x123 x122 x121 x120 -x119 -x118 x117 -x116 -x115 x114 -x113 -x112 x111 x110 x109 x108 -x107 -x106 x105 
388.47/388.69	v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 x88 x87 -x86 x85 -x84 x83 x82 -x81 x80 x79 
388.47/388.69	v x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 x67 -x66 -x65 x64 x63 x62 -x61 x60 x59 x58 -x57 -x56 -x55 x54 x53 -x52 x51 
388.47/388.69	v -x50 x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 x29 -x28 -x27 x26 -x25 
388.47/388.69	v -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 x1 
388.47/388.69	c SCIP Status        : problem is solved [optimal solution found]
388.47/388.69	c Solving Time       :     383.36
388.47/388.69	c Original Problem   :
388.47/388.69	c   Problem name     : HOME/instance-2666310-1276679281.opb
388.47/388.69	c   Variables        : 7326 (7326 binary, 0 integer, 0 implicit integer, 0 continuous)
388.47/388.69	c   Constraints      : 7828 initial, 7828 maximal
388.47/388.69	c Presolved Problem  :
388.47/388.69	c   Problem name     : t_HOME/instance-2666310-1276679281.opb
388.47/388.69	c   Variables        : 7326 (7326 binary, 0 integer, 0 implicit integer, 0 continuous)
388.47/388.69	c   Constraints      : 7828 initial, 7840 maximal
388.47/388.69	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
388.47/388.69	c   trivial          :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   implics          :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   probing          :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   knapsack         :       0.04          0          0          0          0          0          0          0          0
388.47/388.69	c   setppc           :       0.01          0          0          0          0          0          0          0          0
388.47/388.69	c   and              :       0.25          0          0          0          0          0          0          0          0
388.47/388.69	c   linear           :       0.06          0          0          0          0          0          0          0          0
388.47/388.69	c   logicor          :       0.00          0          0          0          0          0          0          0          0
388.47/388.69	c   root node        :          -          0          -          -          0          -          -          -          -
388.47/388.69	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
388.47/388.69	c   integral         :          0          0          0       2246          0          0        108          0          0       4390
388.47/388.69	c   knapsack         :          1          5       6061          1          0          0          0          0          0          0
388.47/388.69	c   setppc           :       1000          5       6061          1          0         12       6563          0          0          0
388.47/388.69	c   and              :       6326       2200       6049          1          0          0     107718      22858          0          0
388.47/388.69	c   linear           :          1          5       6049          1          0          0          0          0          0          0
388.47/388.69	c   logicor          :        500+         5       1436          1          0          0       1259          0          0          0
388.47/388.69	c   countsols        :          0          0          0          1          0          0          0          0          0          0
388.47/388.69	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
388.47/388.69	c   integral         :     175.26       0.00       0.00     175.26       0.00
388.47/388.69	c   knapsack         :       0.95       0.66       0.29       0.00       0.00
388.47/388.69	c   setppc           :       0.45       0.00       0.45       0.00       0.00
388.47/388.69	c   and              :      15.05      12.11       2.94       0.00       0.00
388.47/388.69	c   linear           :       0.98       0.00       0.98       0.00       0.00
388.47/388.69	c   logicor          :       0.01       0.00       0.01       0.00       0.00
388.47/388.69	c   countsols        :       0.00       0.00       0.00       0.00       0.00
388.47/388.69	c Propagators        :       Time      Calls    Cutoffs    DomReds
388.47/388.69	c   vbounds          :       0.00          1          0          0
388.47/388.69	c   rootredcost      :       0.01          0          0          0
388.47/388.69	c   pseudoobj        :       0.01          0          0          0
388.47/388.69	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
388.47/388.69	c   propagation      :       0.00         12         12         12        3.0          0        0.0          -
388.47/388.69	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
388.47/388.69	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
388.47/388.69	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
388.47/388.69	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
388.47/388.69	c   applied globally :          -          -          -         12        3.0          -          -          -
388.47/388.69	c   applied locally  :          -          -          -          0        0.0          -          -          -
388.47/388.69	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
388.47/388.69	c   cut pool         :       0.01          4          -          -         15          -    (maximal pool size: 915)
388.47/388.69	c   redcost          :       2.13       2200          0          0          0          0
388.47/388.69	c   impliedbounds    :       0.00          5          0          0        227          0
388.47/388.69	c   intobj           :       0.00          0          0          0          0          0
388.47/388.69	c   cgmip            :       0.00          0          0          0          0          0
388.47/388.69	c   gomory           :      13.34          5          0          0        697          0
388.47/388.69	c   strongcg         :       9.82          5          0          0       2500          0
388.47/388.69	c   cmir             :       0.00          0          0          0          0          0
388.47/388.69	c   flowcover        :       0.00          0          0          0          0          0
388.47/388.69	c   clique           :       0.22          5          0          0         30          0
388.47/388.69	c   zerohalf         :       0.00          0          0          0          0          0
388.47/388.69	c   mcf              :       0.03          1          0          0          0          0
388.47/388.69	c   rapidlearning    :       1.14          1          0          0          0          0
388.47/388.69	c Pricers            :       Time      Calls       Vars
388.47/388.69	c   problem variables:       0.00          0          0
388.47/388.69	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
388.47/388.69	c   relpscost        :     175.25       2245          0        108          0          0       4390
388.47/388.69	c   pscost           :       0.00          0          0          0          0          0          0
388.47/388.69	c   inference        :       0.00          0          0          0          0          0          0
388.47/388.69	c   mostinf          :       0.00          0          0          0          0          0          0
388.47/388.69	c   leastinf         :       0.00          0          0          0          0          0          0
388.47/388.69	c   fullstrong       :       0.00          0          0          0          0          0          0
388.47/388.69	c   allfullstrong    :       0.00          0          0          0          0          0          0
388.47/388.69	c   random           :       0.00          0          0          0          0          0          0
388.47/388.69	c Primal Heuristics  :       Time      Calls      Found
388.47/388.69	c   LP solutions     :       0.02          -          1
388.47/388.69	c   pseudo solutions :       0.00          -          0
388.47/388.69	c   trivial          :       0.02          1          0
388.47/388.69	c   simplerounding   :       0.00          0          0
388.47/388.69	c   zirounding       :       0.00          0          0
388.47/388.69	c   rounding         :       0.00          0          0
388.47/388.69	c   shifting         :       0.00          0          0
388.47/388.69	c   intshifting      :       0.00          0          0
388.47/388.69	c   oneopt           :       0.00          0          0
388.47/388.69	c   twoopt           :       0.00          0          0
388.47/388.69	c   fixandinfer      :       0.00          0          0
388.47/388.69	c   feaspump         :       0.00          0          0
388.47/388.69	c   coefdiving       :       0.00          0          0
388.47/388.69	c   pscostdiving     :       0.00          0          0
388.47/388.69	c   fracdiving       :       0.00          0          0
388.47/388.69	c   veclendiving     :       0.00          0          0
388.47/388.69	c   intdiving        :       0.00          0          0
388.47/388.69	c   actconsdiving    :       0.00          0          0
388.47/388.69	c   objpscostdiving  :       0.00          0          0
388.47/388.69	c   rootsoldiving    :       0.00          0          0
388.47/388.69	c   linesearchdiving :       0.00          0          0
388.47/388.69	c   guideddiving     :       0.00          0          0
388.47/388.69	c   octane           :       0.00          0          0
388.47/388.69	c   rens             :       0.00          0          0
388.47/388.69	c   rins             :       0.00          0          0
388.47/388.69	c   localbranching   :       0.00          0          0
388.47/388.69	c   mutation         :       0.00          0          0
388.47/388.69	c   crossover        :       0.00          0          0
388.47/388.69	c   dins             :       0.00          0          0
388.47/388.69	c   undercover       :       0.00          0          0
388.47/388.69	c   nlp              :       0.00          0          0
388.47/388.69	c   trysol           :       0.00          0          0
388.47/388.69	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
388.47/388.69	c   primal LP        :       6.78          0          0       0.00       0.00
388.47/388.69	c   dual LP          :     134.76       4252     148374      34.90    1101.02
388.47/388.69	c   lex dual LP      :       0.00          0          0       0.00          -
388.47/388.69	c   barrier LP       :       0.00          0          0       0.00          -
388.47/388.69	c   diving/probing LP:       0.00          0          0       0.00          -
388.47/388.69	c   strong branching :     174.34       3536     171048      48.37     981.12
388.47/388.69	c     (at root node) :          -          9       2093     232.56          -
388.47/388.69	c   conflict analysis:       0.00          0          0       0.00          -
388.47/388.69	c B&B Tree           :
388.47/388.69	c   number of runs   :          1
388.47/388.69	c   nodes            :       2208
388.47/388.69	c   nodes (total)    :       2208
388.47/388.69	c   nodes left       :          0
388.47/388.69	c   max depth        :        156
388.47/388.69	c   max depth (total):        156
388.47/388.69	c   backtracks       :        110 (5.0%)
388.47/388.69	c   delayed cutoffs  :          0
388.47/388.69	c   repropagations   :        265 (170 domain reductions, 0 cutoffs)
388.47/388.69	c   avg switch length:       2.88
388.47/388.69	c   switching time   :       9.12
388.47/388.69	c Solution           :
388.47/388.69	c   Solutions found  :          1 (1 improvements)
388.47/388.69	c   First Solution   : +0.00000000000000e+00   (in run 1, after 2208 nodes, 383.32 seconds, depth 156, found by <relaxation>)
388.47/388.69	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 2208 nodes, 383.32 seconds, depth 156, found by <relaxation>)
388.47/388.69	c   Dual Bound       : +0.00000000000000e+00
388.47/388.69	c   Gap              :       0.00 %
388.47/388.69	c   Root Dual Bound  : +0.00000000000000e+00
388.47/388.69	c   Root Iterations  :       2485
388.67/388.80	c Time complete: 388.67.

Verifier Data 

OK	0

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666310-1276679281/watcher-2666310-1276679281 -o /tmp/evaluation-result-2666310-1276679281/solver-2666310-1276679281 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666310-1276679281.opb -t 1800 -m 1800 

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/106 14829
/proc/meminfo: memFree=1707004/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=7724 CPUtime=0
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 1044 0 0 0 0 0 0 0 18 0 1 0 9220551 7909376 963 1992294400 4194304 8223781 140733641863392 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14829/statm: 1931 971 348 984 0 944 0

[startup+0.0678659 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14829
/proc/meminfo: memFree=1707004/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=15828 CPUtime=0.06
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 3256 0 0 0 5 1 0 0 20 0 1 0 9220551 16207872 3175 1992294400 4194304 8223781 140733641863392 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14829/statm: 3957 3175 364 984 0 2970 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15828

[startup+0.101869 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14829
/proc/meminfo: memFree=1707004/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=18792 CPUtime=0.09
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 3887 0 0 0 8 1 0 0 20 0 1 0 9220551 19243008 3806 1992294400 4194304 8223781 140733641863392 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14829/statm: 4698 3819 364 984 0 3711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18792

[startup+0.301886 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14829
/proc/meminfo: memFree=1707004/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=37772 CPUtime=0.29
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 9077 0 0 0 25 4 0 0 20 0 1 0 9220551 38678528 8375 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 9443 8375 426 984 0 8456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37772

[startup+0.701922 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14829
/proc/meminfo: memFree=1707004/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=40912 CPUtime=0.69
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 11388 0 0 0 52 17 0 0 21 0 1 0 9220551 41893888 9144 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 10228 9144 459 984 0 9241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40912

[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1647724/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=67624 CPUtime=1.49
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 19372 0 0 0 124 25 0 0 23 0 1 0 9220551 69246976 15537 1992294400 4194304 8223781 140733641863392 18446744073709551615 6520856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 16906 15537 544 984 0 15919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67624

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1645616/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=68280 CPUtime=3.09
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 20745 0 0 0 283 26 0 0 25 0 1 0 9220551 69918720 15760 1992294400 4194304 8223781 140733641863392 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 17070 15760 572 984 0 16083 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68280

[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1636200/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=115564 CPUtime=6.29
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 33960 0 0 0 583 46 0 0 25 0 1 0 9220551 118337536 26965 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28891 26965 578 984 0 27904 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115564

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1629008/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=90272 CPUtime=12.68
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 39599 0 0 0 1210 58 0 0 25 0 1 0 9220551 92438528 20998 1992294400 4194304 8223781 140733641863392 18446744073709551615 6537829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 22568 20998 592 984 0 21581 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 90272

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1614252/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=100232 CPUtime=25.49
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 44472 0 0 0 2483 66 0 0 25 0 1 0 9220551 102637568 23506 1992294400 4194304 8223781 140733641863392 18446744073709551615 6299742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 25058 23506 591 984 0 24071 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100232

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14832
/proc/meminfo: memFree=1615244/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=98856 CPUtime=51.07
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 58301 0 0 0 5022 85 0 0 25 0 1 0 9220551 101228544 23228 1992294400 4194304 8223781 140733641863392 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 24714 23228 593 984 0 23727 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98856

[startup+102.309 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14834
/proc/meminfo: memFree=1615120/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=98848 CPUtime=102.27
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 58848 0 0 0 10114 113 0 0 25 0 1 0 9220551 101220352 23226 1992294400 4194304 8223781 140733641863392 18446744073709551615 6377377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 24712 23226 593 984 0 23725 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98848

[startup+162.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 14836
/proc/meminfo: memFree=1614996/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=98856 CPUtime=162.25
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 111675 0 0 0 16065 160 0 0 25 0 1 0 9220551 101228544 23231 1992294400 4194304 8223781 140733641863392 18446744073709551615 6359725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 24714 23231 595 984 0 23727 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 98856

[startup+222.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 14836
/proc/meminfo: memFree=1611276/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=102404 CPUtime=222.22
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 272348 0 0 0 21971 251 0 0 25 0 1 0 9220551 104861696 24079 1992294400 4194304 8223781 140733641863392 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 25601 24079 595 984 0 24614 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 102404

[startup+282.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 14838
/proc/meminfo: memFree=1607060/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=106780 CPUtime=282.2
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 438332 0 0 0 27875 345 0 0 25 0 1 0 9220551 109342720 25148 1992294400 4194304 8223781 140733641863392 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 26695 25148 595 984 0 25708 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 106780

[startup+342.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 14840
/proc/meminfo: memFree=1603216/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=110896 CPUtime=342.19
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 600782 0 0 0 33779 440 0 0 25 0 1 0 9220551 113557504 26204 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 27724 26204 595 984 0 26737 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 110896

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

[startup+358.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 14840
/proc/meminfo: memFree=1602596/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=111540 CPUtime=358.18
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 636799 0 0 0 35354 464 0 0 25 0 1 0 9220551 114216960 26349 1992294400 4194304 8223781 140733641863392 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 27885 26349 595 984 0 26898 0
Current children cumulated CPU time (s) 358.18
Current children cumulated vsize (KiB) 111540

[startup+371.101 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14840
/proc/meminfo: memFree=1601976/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=112732 CPUtime=370.98
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 667446 0 0 0 36617 481 0 0 25 0 1 0 9220551 115437568 26545 1992294400 4194304 8223781 140733641863392 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28183 26545 595 984 0 27196 0
Current children cumulated CPU time (s) 370.98
Current children cumulated vsize (KiB) 112732

[startup+377.501 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601852/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=112544 CPUtime=377.37
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 680759 0 0 0 37248 489 0 0 25 0 1 0 9220551 115245056 26606 1992294400 4194304 8223781 140733641863392 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28136 26606 596 984 0 27149 0
Current children cumulated CPU time (s) 377.37
Current children cumulated vsize (KiB) 112544

[startup+383.909 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601604/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=112548 CPUtime=383.78
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 696713 0 0 0 37881 497 0 0 25 0 1 0 9220551 115249152 26579 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28137 26579 595 984 0 27150 0
Current children cumulated CPU time (s) 383.78
Current children cumulated vsize (KiB) 112548

[startup+387.1 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601604/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=112732 CPUtime=386.98
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 709793 0 0 0 38194 504 0 0 25 0 1 0 9220551 115437568 26650 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28183 26650 595 984 0 27196 0
Current children cumulated CPU time (s) 386.98
Current children cumulated vsize (KiB) 112732

[startup+387.9 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601604/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=112856 CPUtime=387.77
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 713173 0 0 0 38271 506 0 0 25 0 1 0 9220551 115564544 26673 1992294400 4194304 8223781 140733641863392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28214 26673 595 984 0 27227 0
Current children cumulated CPU time (s) 387.77
Current children cumulated vsize (KiB) 112856

[startup+388.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601356/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=113036 CPUtime=388.18
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 713934 0 0 0 38311 507 0 0 25 0 1 0 9220551 115748864 26724 1992294400 4194304 8223781 140733641863392 18446744073709551615 6304311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14829/statm: 28259 26724 595 984 0 27272 0
Current children cumulated CPU time (s) 388.18
Current children cumulated vsize (KiB) 113036

[startup+388.7 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601356/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=113128 CPUtime=388.57
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 714820 0 0 0 38349 508 0 0 25 0 1 0 9220551 115843072 26738 1992294400 4194304 8223781 140733641863392 18446744073709551615 6207026 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14829/statm: 28282 26738 596 984 0 27295 0
Current children cumulated CPU time (s) 388.57
Current children cumulated vsize (KiB) 113128

[startup+388.8 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 14842
/proc/meminfo: memFree=1601356/2059040 swapFree=4141376/4192956
[pid=14829] ppid=14827 vsize=27140 CPUtime=388.67
/proc/14829/stat : 14829 (pbscip.linux.x8) R 14827 14829 14485 0 -1 4202496 714820 0 0 0 38358 509 0 0 25 0 1 0 9220551 27791360 6258 1992294400 4194304 8223781 140733641863392 18446744073709551615 6207165 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14829/statm: 6785 6258 595 984 0 5798 0
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (KiB) 27140

Child status: 0
Real time (s): 388.804
CPU time (s): 388.683
CPU user time (s): 383.59
CPU system time (s): 5.09323
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 117768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.59
system time used= 5.09323
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714824
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= 4
involuntary context switches= 4663

runsolver used 0.636903 second user time and 1.85372 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-16 11:08:02
IDJOB=2666310
IDBENCH=48328
IDSOLVER=1169
FILE ID=node043/2666310-1276679281
PBS_JOBID= 11172556
Free space on /tmp= 62296 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_4_80.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666310-1276679281/watcher-2666310-1276679281 -o /tmp/evaluation-result-2666310-1276679281/solver-2666310-1276679281 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666310-1276679281.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7cde2502e7fdd6b310da5651aff97d88
RANDOM SEED=60576564

node043.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.241
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.241
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1707656 kB
Buffers:        112572 kB
Cached:         145660 kB
SwapCached:       6312 kB
Active:         110932 kB
Inactive:       161568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1707656 kB
SwapTotal:     4192956 kB
SwapFree:      4141376 kB
Dirty:            4768 kB
Writeback:           0 kB
AnonPages:       11836 kB
Mapped:          13700 kB
Slab:            57268 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182488 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62292 MiB
End job on node043 at 2010-06-16 11:14:30