Trace number 2666275

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 solver? (TO) 1800.11 1800.77

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
MD5SUM18f5400970ad464f730a15f23e03dd22
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

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-2666275-1276675950.opb>
0.00/0.02	c original problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 768 constraints
0.00/0.02	c problem read
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.02	c presolving settings loaded
0.00/0.03	c presolving:
0.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5028 impls, 100 clqs
0.19/0.20	c presolving (2 rounds):
0.19/0.21	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21	c  5028 implications, 100 cliques
0.19/0.21	c presolved problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 768 constraints
0.19/0.21	c       1 constraints of type <knapsack>
0.19/0.21	c     100 constraints of type <setppc>
0.19/0.21	c     616 constraints of type <and>
0.19/0.21	c       1 constraints of type <linear>
0.19/0.21	c      50 constraints of type <logicor>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.09
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.99
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 1620
0.19/0.21	c 
0.19/0.21	c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c limits/solutions = 1
0.19/0.21	c 
0.19/0.21	c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.21	c separating/maxrounds = 1
0.19/0.21	c 
0.19/0.21	c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/maxroundsroot = 5
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.21	c constraints/knapsack/disaggregation = FALSE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c presolving/probing/maxrounds = 0
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/coefdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/coefdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/coefdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.21	c heuristics/crossover/freq = -1
0.19/0.21	c 
0.19/0.21	c # number of nodes added to the contingent of the total nodes
0.19/0.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.21	c heuristics/crossover/nodesofs = 750
0.19/0.21	c 
0.19/0.21	c # number of nodes without incumbent change that heuristic should wait
0.19/0.21	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.21	c heuristics/crossover/nwaitingnodes = 100
0.19/0.21	c 
0.19/0.21	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.21	c # [type: real, range: [0,1], default: 0.1]
0.19/0.21	c heuristics/crossover/nodesquot = 0.15
0.19/0.21	c 
0.19/0.21	c # minimum percentage of integer variables that have to be fixed 
0.19/0.21	c # [type: real, range: [0,1], default: 0.666]
0.19/0.21	c heuristics/crossover/minfixingrate = 0.5
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21	c heuristics/feaspump/freq = -1
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/feaspump/maxlpiterofs = 2000
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/fracdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/fracdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/fracdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/guideddiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/guideddiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/guideddiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/intdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/intshifting/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/linesearchdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/nlp/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21	c heuristics/objpscostdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.21	c # [type: real, range: [0,1], default: 0.01]
0.19/0.21	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/oneopt/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/pscostdiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c heuristics/rens/freq = -1
0.19/0.21	c 
0.19/0.21	c # minimum percentage of integer variables that have to be fixable 
0.19/0.21	c # [type: real, range: [0,1], default: 0.5]
0.19/0.21	c heuristics/rens/minfixingrate = 0.3
0.19/0.21	c 
0.19/0.21	c # number of nodes added to the contingent of the total nodes
0.19/0.21	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.21	c heuristics/rens/nodesofs = 2000
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21	c heuristics/rootsoldiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.21	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/rounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/shifting/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/simplerounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c heuristics/trivial/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/trysol/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21	c heuristics/veclendiving/freq = -1
0.19/0.21	c 
0.19/0.21	c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21	c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.21	c 
0.19/0.21	c # additional number of allowed LP iterations
0.19/0.21	c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21	c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.21	c 
0.19/0.21	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21	c heuristics/zirounding/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c separating/cmir/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21	c separating/flowcover/freq = -1
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.28	c   0.2s|     1 |     0 |   354 |     - |3319k|   0 | 182 | 716 | 768 | 716 |1384 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.89/0.94	c   0.7s|     1 |     0 |   420 |     - |3993k|   0 | 177 | 716 | 800 | 716 |1402 |  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.29/1.32	c   1.1s|     1 |     0 |   449 |     - |4467k|   0 | 179 | 716 | 800 | 716 |1409 |  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.71	c   1.5s|     1 |     0 |   499 |     - |5149k|   0 | 174 | 716 | 800 | 716 |1415 |  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.09/2.11	c   1.9s|     1 |     0 |   545 |     - |5849k|   0 | 175 | 716 | 800 | 716 |1420 |  36 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.49/2.52	c   2.2s|     1 |     0 |   592 |     - |6576k|   0 | 168 | 716 | 800 | 716 |1426 |  42 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
3.20/3.27	c   3.0s|     1 |     2 |   592 |     - |6576k|   0 | 168 | 716 | 800 | 716 |1426 |  42 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
271.89/272.08	c   267s| 10000 |   476 |936551 |  93.6 |  10M|  31 |   - | 716 |3974 | 716 | 485 |  98k|  11k|4514 | 0.000000e+00 |      --      |    Inf 
494.31/494.59	c   485s| 20000 |   716 |  1838k|  91.9 |  12M|  32 |   - | 716 |4673 | 716 | 476 | 181k|  23k|6024 | 0.000000e+00 |      --      |    Inf 
725.42/725.77	c   712s| 30000 |   834 |  2755k|  91.8 |  13M|  32 |   - | 716 |5249 |   0 |   0 | 264k|  34k|7751 | 0.000000e+00 |      --      |    Inf 
943.15/943.59	c   926s| 40000 |   949 |  3648k|  91.2 |  14M|  33 |   - | 716 |5021 | 716 | 455 | 344k|  46k|9050 | 0.000000e+00 |      --      |    Inf 
1172.96/1173.42	c  1151s| 50000 |  1016 |  4581k|  91.6 |  15M|  33 | 132 | 716 |6240 | 716 | 456 | 429k|  57k|  10k| 0.000000e+00 |      --      |    Inf 
1385.09/1385.68	c  1359s| 60000 |  1033 |  5458k|  91.0 |  15M|  33 |   - | 716 |4804 | 716 | 470 | 503k|  69k|  11k| 0.000000e+00 |      --      |    Inf 
1605.41/1606.01	c  1576s| 70000 |  1062 |  6354k|  90.8 |  17M|  34 | 126 | 716 |6966 | 716 | 486 | 580k|  80k|  12k| 0.000000e+00 |      --      |    Inf 
1800.04/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71	c 
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time (sec) : 1766.76
1800.04/1800.71	c Solving Nodes      : 78723
1800.04/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.71	c Gap                : infinite
1800.04/1800.71	s UNKNOWN
1800.04/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.71	c Solving Time       :    1766.76
1800.04/1800.71	c Original Problem   :
1800.04/1800.71	c   Problem name     : HOME/instance-2666275-1276675950.opb
1800.04/1800.71	c   Variables        : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 768 initial, 768 maximal
1800.04/1800.71	c Presolved Problem  :
1800.04/1800.71	c   Problem name     : t_HOME/instance-2666275-1276675950.opb
1800.04/1800.71	c   Variables        : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71	c   Constraints      : 768 initial, 9593 maximal
1800.04/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   and              :       0.07          0          0          0          0          0          0          0          0
1800.04/1800.71	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.04/1800.71	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.04/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   integral         :          0          0          0      41197          0        165       1987          0          0      79942
1800.04/1800.71	c   knapsack         :          1          5     344367          0          0         13        107          0          0          0
1800.04/1800.71	c   setppc           :        100          5     344361          0          0        321     226250          0          0          0
1800.04/1800.71	c   and              :        616      50964     344040          0          0        186    2771002     651434          0          0
1800.04/1800.71	c   linear           :          1+         6     343854          0          0          0       2023          0          0          0
1800.04/1800.71	c   logicor          :         50+         5     128991          0          0        153     126554          0          0          0
1800.04/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.71	c   integral         :     220.17       0.00       0.00     220.17       0.00
1800.04/1800.71	c   knapsack         :       1.05       0.00       1.05       0.00       0.00
1800.04/1800.71	c   setppc           :       1.81       0.00       1.81       0.00       0.00
1800.04/1800.71	c   and              :      24.75      12.04      12.71       0.00       0.00
1800.04/1800.71	c   linear           :       3.58       0.00       3.58       0.00       0.00
1800.04/1800.71	c   logicor          :      16.90       0.00      16.90       0.00       0.00
1800.04/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.71	c   vbounds          :       0.27          1          0          0
1800.04/1800.71	c   rootredcost      :       0.19          0          0          0
1800.04/1800.71	c   pseudoobj        :       0.25          0          0          0
1800.04/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.71	c   propagation      :       0.03        673        665       2766       23.3         34       32.1          -
1800.04/1800.71	c   infeasible LP    :      19.92      37957      35626     345722       27.1         32       15.4          0
1800.04/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.71	c   applied globally :          -          -          -      90874       28.7          -          -          -
1800.04/1800.71	c   applied locally  :          -          -          -          1       72.0          -          -          -
1800.04/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.71	c   cut pool         :       0.00          4          -          -         45          -    (maximal pool size: 768)
1800.04/1800.71	c   redcost          :       1.16      50964          0          0          0          0
1800.04/1800.71	c   impliedbounds    :       0.00          5          0          0         27          0
1800.04/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.71	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.71	c   gomory           :       1.12          5          0          0          0          0
1800.04/1800.71	c   strongcg         :       0.65          5          0          0       2500          0
1800.04/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.71	c   clique           :       0.01          5          0          0         30          0
1800.04/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.71	c   mcf              :       0.01          1          0          0          0          0
1800.04/1800.71	c   rapidlearning    :       0.19          1          0          0          0         32
1800.04/1800.71	c Pricers            :       Time      Calls       Vars
1800.04/1800.71	c   problem variables:       0.00          0          0
1800.04/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.71	c   relpscost        :     220.04      41197        165       1987          0          0      79942
1800.04/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   inference        :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.71	c   LP solutions     :       0.00          -          0
1800.04/1800.71	c   pseudo solutions :       0.00          -          0
1800.04/1800.71	c   trivial          :       0.00          1          0
1800.04/1800.71	c   simplerounding   :       0.00          0          0
1800.04/1800.71	c   zirounding       :       0.00          0          0
1800.04/1800.71	c   rounding         :       0.00          0          0
1800.04/1800.71	c   shifting         :       0.00          0          0
1800.04/1800.71	c   intshifting      :       0.00          0          0
1800.04/1800.71	c   oneopt           :       0.00          0          0
1800.04/1800.71	c   twoopt           :       0.00          0          0
1800.04/1800.71	c   fixandinfer      :       0.00          0          0
1800.04/1800.71	c   feaspump         :       0.00          0          0
1800.04/1800.71	c   coefdiving       :       0.00          0          0
1800.04/1800.71	c   pscostdiving     :       0.00          0          0
1800.04/1800.71	c   fracdiving       :       0.00          0          0
1800.04/1800.71	c   veclendiving     :       0.00          0          0
1800.04/1800.71	c   intdiving        :       0.00          0          0
1800.04/1800.71	c   actconsdiving    :       0.00          0          0
1800.04/1800.71	c   objpscostdiving  :       0.00          0          0
1800.04/1800.71	c   rootsoldiving    :       0.00          0          0
1800.04/1800.71	c   linesearchdiving :       0.00          0          0
1800.04/1800.71	c   guideddiving     :       0.00          0          0
1800.04/1800.71	c   octane           :       0.00          0          0
1800.04/1800.71	c   rens             :       0.00          0          0
1800.04/1800.71	c   rins             :       0.00          0          0
1800.04/1800.71	c   localbranching   :       0.00          0          0
1800.04/1800.72	c   mutation         :       0.00          0          0
1800.04/1800.72	c   crossover        :       0.00          0          0
1800.04/1800.72	c   dins             :       0.00          0          0
1800.04/1800.72	c   undercover       :       0.00          0          0
1800.04/1800.72	c   nlp              :       0.00          0          0
1800.04/1800.72	c   trysol           :       0.00          0          0
1800.04/1800.72	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.72	c   primal LP        :      23.59          0          0       0.00       0.00
1800.04/1800.72	c   dual LP          :    1368.95     128872    7152379      55.50    5224.72
1800.04/1800.72	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.72	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.72	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.72	c   strong branching :     216.11      13698    1084660      79.18    5019.02
1800.04/1800.72	c     (at root node) :          -          9       1950     216.67          -
1800.04/1800.72	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.72	c B&B Tree           :
1800.04/1800.72	c   number of runs   :          1
1800.04/1800.72	c   nodes            :      78723
1800.04/1800.72	c   nodes (total)    :      78723
1800.04/1800.72	c   nodes left       :       1074
1800.04/1800.72	c   max depth        :         35
1800.04/1800.72	c   max depth (total):         35
1800.04/1800.72	c   backtracks       :      12061 (15.3%)
1800.04/1800.72	c   delayed cutoffs  :        146
1800.04/1800.72	c   repropagations   :      91885 (341411 domain reductions, 43 cutoffs)
1800.04/1800.72	c   avg switch length:       5.44
1800.04/1800.72	c   switching time   :      52.97
1800.04/1800.72	c Solution           :
1800.04/1800.72	c   Solutions found  :          0 (0 improvements)
1800.04/1800.72	c   Primal Bound     :          -
1800.04/1800.72	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.72	c   Gap              :   infinite
1800.04/1800.72	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.72	c   Root Iterations  :        592
1800.04/1800.77	c Time complete: 1800.1.

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-2666275-1276675950/watcher-2666275-1276675950 -o /tmp/evaluation-result-2666275-1276675950/solver-2666275-1276675950 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666275-1276675950.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 9052
/proc/meminfo: memFree=1670000/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=7724 CPUtime=0
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 1118 0 0 0 0 0 0 0 25 0 1 0 41246882 7909376 1037 1992294400 4194304 8223781 140735009504080 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9052/statm: 1931 1046 348 984 0 944 0

[startup+0.0637801 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9052
/proc/meminfo: memFree=1670000/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=13628 CPUtime=0.05
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 3052 0 0 0 3 2 0 0 25 0 1 0 41246882 13955072 2350 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 3407 2350 426 984 0 2420 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13628

[startup+0.100786 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9052
/proc/meminfo: memFree=1670000/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=13628 CPUtime=0.09
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 3052 0 0 0 5 4 0 0 25 0 1 0 41246882 13955072 2350 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 3407 2350 426 984 0 2420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13628

[startup+0.300823 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9052
/proc/meminfo: memFree=1670000/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=18428 CPUtime=0.29
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 6024 0 0 0 19 10 0 0 18 0 1 0 41246882 18870272 3699 1992294400 4194304 8223781 140735009504080 18446744073709551615 7074026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 4607 3699 555 984 0 3620 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18428

[startup+0.700896 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9052
/proc/meminfo: memFree=1670000/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=29216 CPUtime=0.69
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 8659 0 0 0 53 16 0 0 18 0 1 0 41246882 29917184 6067 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 7304 6067 572 984 0 6317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29216

[startup+1.50104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9055
/proc/meminfo: memFree=1651020/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=23856 CPUtime=1.49
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 11359 0 0 0 126 23 0 0 19 0 1 0 41246882 24428544 5155 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 5964 5155 588 984 0 4977 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23856

[startup+3.10033 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9055
/proc/meminfo: memFree=1649532/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=29456 CPUtime=3.09
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 13083 0 0 0 283 26 0 0 23 0 1 0 41246882 30162944 6445 1992294400 4194304 8223781 140735009504080 18446744073709551615 6482693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 7364 6445 589 984 0 6377 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29456

[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9055
/proc/meminfo: memFree=1645812/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=28828 CPUtime=6.29
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 13139 0 0 0 598 31 0 0 25 0 1 0 41246882 29519872 6389 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 7207 6389 590 984 0 6220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28828

[startup+12.7021 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9055
/proc/meminfo: memFree=1645812/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=28828 CPUtime=12.69
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 13181 0 0 0 1227 42 0 0 25 0 1 0 41246882 29519872 6392 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 7207 6392 592 984 0 6220 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28828

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9055
/proc/meminfo: memFree=1645812/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=28884 CPUtime=25.48
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 13424 0 0 0 2486 62 0 0 25 0 1 0 41246882 29577216 6393 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 7221 6393 592 984 0 6234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28884

[startup+51.1011 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 9055
/proc/meminfo: memFree=1643580/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=31468 CPUtime=51.07
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 22628 0 0 0 4997 110 0 0 25 0 1 0 41246882 32223232 7039 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 7867 7039 592 984 0 6880 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31468

[startup+102.309 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9057
/proc/meminfo: memFree=1639984/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=34800 CPUtime=102.26
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 34029 0 0 0 10023 203 0 0 25 0 1 0 41246882 35635200 7872 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 8700 7872 592 984 0 7713 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34800

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9059
/proc/meminfo: memFree=1638620/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=36008 CPUtime=162.23
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 53163 0 0 0 15912 311 0 0 25 0 1 0 41246882 36872192 8174 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 9002 8174 592 984 0 8015 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36008

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9059
/proc/meminfo: memFree=1637504/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=37396 CPUtime=222.21
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 68953 0 0 0 21797 424 0 0 25 0 1 0 41246882 38293504 8475 1992294400 4194304 8223781 140735009504080 18446744073709551615 6559814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 9349 8475 592 984 0 8362 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 37396

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9061
/proc/meminfo: memFree=1636884/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=37752 CPUtime=282.18
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 86778 0 0 0 27682 536 0 0 25 0 1 0 41246882 38658048 8586 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 9438 8586 592 984 0 8451 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 37752

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9063
/proc/meminfo: memFree=1636140/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=38480 CPUtime=342.16
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 101772 0 0 0 33572 644 0 0 25 0 1 0 41246882 39403520 8768 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 9620 8768 592 984 0 8633 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 38480

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9065
/proc/meminfo: memFree=1635520/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=39212 CPUtime=402.14
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 119930 0 0 0 39455 759 0 0 25 0 1 0 41246882 40153088 8929 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 9803 8929 592 984 0 8816 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 39212

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9067
/proc/meminfo: memFree=1634280/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=40288 CPUtime=462.12
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 132065 0 0 0 45339 873 0 0 25 0 1 0 41246882 41254912 9226 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 10072 9226 592 984 0 9085 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 40288

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9067
/proc/meminfo: memFree=1633660/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=40788 CPUtime=522.09
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 146592 0 0 0 51225 984 0 0 25 0 1 0 41246882 41766912 9351 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 10197 9351 592 984 0 9210 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 40788

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9069
/proc/meminfo: memFree=1633164/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=41224 CPUtime=582.08
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 164465 0 0 0 57105 1103 0 0 25 0 1 0 41246882 42213376 9460 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 10306 9460 592 984 0 9319 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 41224

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9071
/proc/meminfo: memFree=1632792/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=41616 CPUtime=642.06
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 182643 0 0 0 62980 1226 0 0 25 0 1 0 41246882 42614784 9558 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 10404 9558 592 984 0 9417 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 41616

[startup+702.302 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9077
/proc/meminfo: memFree=1631056/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=43272 CPUtime=881.96
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 220273 0 0 0 86539 1657 0 0 25 0 1 0 41246882 44310528 9937 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 10818 9937 592 984 0 9831 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 43272

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9079
/proc/meminfo: memFree=1630560/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=43608 CPUtime=941.95
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 226036 0 0 0 92434 1761 0 0 25 0 1 0 41246882 44654592 10052 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 10902 10052 592 984 0 9915 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 43608

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9081
/proc/meminfo: memFree=1630188/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=44164 CPUtime=1001.93
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 239447 0 0 0 98318 1875 0 0 25 0 1 0 41246882 45223936 10140 1992294400 4194304 8223781 140735009504080 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 11041 10140 592 984 0 10054 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 44164

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9083
/proc/meminfo: memFree=1629320/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=44824 CPUtime=1061.9
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 246542 0 0 0 104208 1982 0 0 25 0 1 0 41246882 45899776 10356 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 11206 10356 592 984 0 10219 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 44824

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9083
/proc/meminfo: memFree=1627584/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=46684 CPUtime=1121.88
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 258355 0 0 0 110098 2090 0 0 25 0 1 0 41246882 47804416 10821 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 11671 10821 592 984 0 10684 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 46684

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9085
/proc/meminfo: memFree=1626716/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=47224 CPUtime=1181.86
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 270736 0 0 0 115985 2201 0 0 25 0 1 0 41246882 48357376 10959 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 11806 10959 592 984 0 10819 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 47224

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9087
/proc/meminfo: memFree=1626220/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=47532 CPUtime=1241.84
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 283258 0 0 0 121871 2313 0 0 25 0 1 0 41246882 48672768 11034 1992294400 4194304 8223781 140735009504080 18446744073709551615 5916872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 11883 11034 592 984 0 10896 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 47532

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9089
/proc/meminfo: memFree=1625352/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=48680 CPUtime=1301.82
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 295475 0 0 0 127756 2426 0 0 25 0 1 0 41246882 49848320 11273 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12170 11273 592 984 0 11183 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 48680

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9091
/proc/meminfo: memFree=1624980/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=49052 CPUtime=1361.79
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 298947 0 0 0 133646 2533 0 0 25 0 1 0 41246882 50229248 11364 1992294400 4194304 8223781 140735009504080 18446744073709551615 6021511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12263 11364 592 984 0 11276 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 49052

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9091
/proc/meminfo: memFree=1624732/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=49052 CPUtime=1421.78
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 302022 0 0 0 139542 2636 0 0 25 0 1 0 41246882 50229248 11383 1992294400 4194304 8223781 140735009504080 18446744073709551615 6596683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12263 11383 592 984 0 11276 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 49052

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9093
/proc/meminfo: memFree=1624608/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=49244 CPUtime=1481.75
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 308005 0 0 0 145426 2749 0 0 25 0 1 0 41246882 50425856 11410 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12311 11410 592 984 0 11324 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 49244

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9095
/proc/meminfo: memFree=1623864/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=49936 CPUtime=1541.73
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 312557 0 0 0 151318 2855 0 0 25 0 1 0 41246882 51134464 11595 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12484 11595 592 984 0 11497 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 49936

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9100
/proc/meminfo: memFree=1623368/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=50160 CPUtime=1601.7
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 315269 0 0 0 157210 2960 0 0 25 0 1 0 41246882 51363840 11661 1992294400 4194304 8223781 140735009504080 18446744073709551615 6003129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12540 11661 592 984 0 11553 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 50160

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9102
/proc/meminfo: memFree=1623244/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=50160 CPUtime=1661.68
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 319075 0 0 0 163100 3068 0 0 25 0 1 0 41246882 51363840 11661 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12540 11661 592 984 0 11553 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 50160

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9102
/proc/meminfo: memFree=1623120/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=50312 CPUtime=1721.65
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 331453 0 0 0 168989 3176 0 0 25 0 1 0 41246882 51519488 11703 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12578 11703 592 984 0 11591 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 50312

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9104
/proc/meminfo: memFree=1622004/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=51408 CPUtime=1781.64
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 338904 0 0 0 174873 3291 0 0 25 0 1 0 41246882 52641792 11976 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12852 11976 592 984 0 11865 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 51408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9106
/proc/meminfo: memFree=1621632/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=51664 CPUtime=1800.04
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 342554 0 0 0 176677 3327 0 0 25 0 1 0 41246882 52903936 12037 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12916 12037 592 984 0 11929 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 51664

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9106
/proc/meminfo: memFree=1621632/2059040 swapFree=4140236/4192956
[pid=9052] ppid=9050 vsize=51664 CPUtime=1800.04
/proc/9052/stat : 9052 (pbscip.linux.x8) R 9050 9052 8535 0 -1 4202496 342554 0 0 0 176677 3327 0 0 25 0 1 0 41246882 52903936 12037 1992294400 4194304 8223781 140735009504080 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9052/statm: 12916 12037 592 984 0 11929 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 51664

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.11
CPU user time (s): 1766.83
CPU system time (s): 33.2819
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 52008

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

runsolver used 3.04054 second user time and 8.61269 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-16 10:12:30
IDJOB=2666275
IDBENCH=48293
IDSOLVER=1169
FILE ID=node027/2666275-1276675950
PBS_JOBID= 11172513
Free space on /tmp= 62536 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_50_10_2_15.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-2666275-1276675950/watcher-2666275-1276675950 -o /tmp/evaluation-result-2666275-1276675950/solver-2666275-1276675950 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666275-1276675950.opb -t 1800 -m 1800

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

MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22
RANDOM SEED=1134232214

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1670404 kB
Buffers:         70484 kB
Cached:         222700 kB
SwapCached:       6244 kB
Active:         131968 kB
Inactive:       174780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1670404 kB
SwapTotal:     4192956 kB
SwapFree:      4140236 kB
Dirty:            4628 kB
Writeback:           0 kB
AnonPages:       11752 kB
Mapped:          13096 kB
Slab:            59996 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183024 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node027 at 2010-06-16 10:42:33