Trace number 2684928

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 solverUNSAT 1723.38 1723.86

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
MD5SUM336dbbe12a18bfd6b8d34c583a70b44b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1480.58
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32186
Total number of constraints107047
Number of constraints which are clauses106519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
Minimum length of a constraint1
Maximum length of a constraint93
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 561
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2684928-1278437108.opb>
1.89/1.94	c original problem has 32186 variables (32186 bin, 0 int, 0 impl, 0 cont) and 107047 constraints
1.89/1.94	c problem read
1.89/1.94	c No objective function, only one solution is needed.
1.89/1.95	c presolving settings loaded
2.49/2.52	c presolving:
7.39/7.48	c (round 1) 7094 del vars, 20869 del conss, 5291 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5988416 impls, 0 clqs
10.49/10.50	c (round 2) 13955 del vars, 49069 del conss, 11808 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6031462 impls, 0 clqs
11.10/11.12	c (round 3) 16583 del vars, 60431 del conss, 13339 chg bounds, 17 chg sides, 21 chg coeffs, 0 upgd conss, 6051190 impls, 0 clqs
11.39/11.40	c (round 4) 17873 del vars, 65207 del conss, 14231 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6064148 impls, 0 clqs
11.59/11.63	c (round 5) 18892 del vars, 68665 del conss, 14840 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6078508 impls, 0 clqs
11.69/11.78	c (round 6) 19507 del vars, 71018 del conss, 15222 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6085997 impls, 0 clqs
11.79/11.89	c (round 7) 19919 del vars, 72430 del conss, 15426 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6091291 impls, 0 clqs
11.89/11.98	c (round 8) 20180 del vars, 73388 del conss, 15566 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6094743 impls, 0 clqs
11.99/12.06	c (round 9) 20298 del vars, 73906 del conss, 15619 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096122 impls, 0 clqs
12.09/12.11	c (round 10) 20329 del vars, 74059 del conss, 15631 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096374 impls, 0 clqs
12.09/12.16	c (round 11) 20337 del vars, 74103 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096396 impls, 0 clqs
12.19/12.21	c (round 12) 20338 del vars, 74109 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096400 impls, 0 clqs
12.58/12.60	c (round 13) 20338 del vars, 74110 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 32937 upgd conss, 6096400 impls, 0 clqs
12.99/13.05	c (round 14) 20338 del vars, 74110 del conss, 15634 chg bounds, 103 chg sides, 200 chg coeffs, 32937 upgd conss, 6096400 impls, 0 clqs
13.09/13.17	c presolving (15 rounds):
13.09/13.17	c  20338 deleted vars, 74110 deleted constraints, 15634 tightened bounds, 0 added holes, 103 changed sides, 211 changed coefficients
13.09/13.17	c  6096400 implications, 0 cliques
13.09/13.17	c presolved problem has 11848 variables (11848 bin, 0 int, 0 impl, 0 cont) and 32937 constraints
13.09/13.17	c     464 constraints of type <knapsack>
13.09/13.17	c   32473 constraints of type <logicor>
13.09/13.17	c transformed objective value is always integral (scale: 1)
13.09/13.17	c Presolving Time: 10.21
13.09/13.17	c - non default parameters ----------------------------------------------------------------------
13.09/13.17	c # SCIP version 1.2.1.2
13.09/13.17	c 
13.09/13.17	c # frequency for displaying node information lines
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 100]
13.09/13.17	c display/freq = 10000
13.09/13.17	c 
13.09/13.17	c # maximal time in seconds to run
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.09/13.17	c limits/time = 1798.06
13.09/13.17	c 
13.09/13.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.09/13.17	c limits/memory = 1620
13.09/13.17	c 
13.09/13.17	c # solving stops, if the given number of solutions were found (-1: no limit)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: -1]
13.09/13.17	c limits/solutions = 1
13.09/13.17	c 
13.09/13.17	c # maximal number of separation rounds per node (-1: unlimited)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 5]
13.09/13.17	c separating/maxrounds = 1
13.09/13.17	c 
13.09/13.17	c # maximal number of separation rounds in the root node (-1: unlimited)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: -1]
13.09/13.17	c separating/maxroundsroot = 5
13.09/13.17	c 
13.09/13.17	c # should presolving try to simplify inequalities
13.09/13.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.09/13.17	c constraints/linear/simplifyinequalities = TRUE
13.09/13.17	c 
13.09/13.17	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.09/13.17	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.09/13.17	c constraints/knapsack/disaggregation = FALSE
13.09/13.17	c 
13.09/13.17	c # should presolving try to simplify knapsacks
13.09/13.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.09/13.17	c constraints/knapsack/simplifyinequalities = TRUE
13.09/13.17	c 
13.09/13.17	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: -1]
13.09/13.17	c presolving/probing/maxrounds = 0
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/coefdiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/coefdiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/coefdiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 30]
13.09/13.17	c heuristics/crossover/freq = -1
13.09/13.17	c 
13.09/13.17	c # number of nodes added to the contingent of the total nodes
13.09/13.17	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.09/13.17	c heuristics/crossover/nodesofs = 750
13.09/13.17	c 
13.09/13.17	c # number of nodes without incumbent change that heuristic should wait
13.09/13.17	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.09/13.17	c heuristics/crossover/nwaitingnodes = 100
13.09/13.17	c 
13.09/13.17	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.09/13.17	c # [type: real, range: [0,1], default: 0.1]
13.09/13.17	c heuristics/crossover/nodesquot = 0.15
13.09/13.17	c 
13.09/13.17	c # minimum percentage of integer variables that have to be fixed 
13.09/13.17	c # [type: real, range: [0,1], default: 0.666]
13.09/13.17	c heuristics/crossover/minfixingrate = 0.5
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 20]
13.09/13.17	c heuristics/feaspump/freq = -1
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/feaspump/maxlpiterofs = 2000
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/fracdiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/fracdiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/fracdiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/guideddiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/guideddiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/guideddiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/intdiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/intshifting/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/linesearchdiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 1]
13.09/13.17	c heuristics/nlp/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 20]
13.09/13.17	c heuristics/objpscostdiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to total iteration number
13.09/13.17	c # [type: real, range: [0,1], default: 0.01]
13.09/13.17	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 1]
13.09/13.17	c heuristics/oneopt/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/pscostdiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/pscostdiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 0]
13.09/13.17	c heuristics/rens/freq = -1
13.09/13.17	c 
13.09/13.17	c # minimum percentage of integer variables that have to be fixable 
13.09/13.17	c # [type: real, range: [0,1], default: 0.5]
13.09/13.17	c heuristics/rens/minfixingrate = 0.3
13.09/13.17	c 
13.09/13.17	c # number of nodes added to the contingent of the total nodes
13.09/13.17	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.09/13.17	c heuristics/rens/nodesofs = 2000
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 20]
13.09/13.17	c heuristics/rootsoldiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.09/13.17	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 1]
13.09/13.17	c heuristics/rounding/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/shifting/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 1]
13.09/13.17	c heuristics/simplerounding/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 0]
13.09/13.17	c heuristics/trivial/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 1]
13.09/13.17	c heuristics/trysol/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 10]
13.09/13.17	c heuristics/veclendiving/freq = -1
13.09/13.17	c 
13.09/13.17	c # maximal fraction of diving LP iterations compared to node LP iterations
13.09/13.17	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.09/13.17	c heuristics/veclendiving/maxlpiterquot = 0.075
13.09/13.17	c 
13.09/13.17	c # additional number of allowed LP iterations
13.09/13.17	c # [type: int, range: [0,2147483647], default: 1000]
13.09/13.17	c heuristics/veclendiving/maxlpiterofs = 1500
13.09/13.17	c 
13.09/13.17	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 1]
13.09/13.17	c heuristics/zirounding/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 0]
13.09/13.17	c separating/cmir/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: 0]
13.09/13.17	c separating/flowcover/freq = -1
13.09/13.17	c 
13.09/13.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.09/13.17	c # [type: int, range: [-1,2147483647], default: -1]
13.09/13.17	c separating/rapidlearning/freq = 0
13.09/13.17	c 
13.09/13.17	c -----------------------------------------------------------------------------------------------
13.09/13.17	c start solving
13.09/13.19	c 
353.68/353.83	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
353.68/353.83	c   349s|     1 |     0 | 29915 |     - | 186M|   0 |5583 |  11k|  32k|  11k|  32k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1722.92/1723.45	c  1704s|     1 |     0 |118730 |     - | 186M|   0 |   - |  11k|  32k|  11k|  32k|  59 |   0 |   0 |      --      |      --      |   0.00%
1722.92/1723.45	c  1704s|     1 |     0 |118730 |     - | 186M|   0 |   - |  11k|  32k|  11k|  32k|  59 |   0 |   0 |      --      |      --      |   0.00%
1722.92/1723.45	c 
1722.92/1723.45	c SCIP Status        : problem is solved [infeasible]
1722.92/1723.45	c Solving Time (sec) : 1704.19
1722.92/1723.45	c Solving Nodes      : 1
1722.92/1723.45	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1722.92/1723.45	c Dual Bound         : +1.00000000000000e+20
1722.92/1723.45	c Gap                : 0.00 %
1722.92/1723.45	s UNSATISFIABLE
1722.92/1723.45	c SCIP Status        : problem is solved [infeasible]
1722.92/1723.45	c Solving Time       :    1704.19
1722.92/1723.45	c Original Problem   :
1722.92/1723.45	c   Problem name     : HOME/instance-2684928-1278437108.opb
1722.92/1723.45	c   Variables        : 32186 (32186 binary, 0 integer, 0 implicit integer, 0 continuous)
1722.92/1723.45	c   Constraints      : 107047 initial, 107047 maximal
1722.92/1723.45	c Presolved Problem  :
1722.92/1723.45	c   Problem name     : t_HOME/instance-2684928-1278437108.opb
1722.92/1723.45	c   Variables        : 11848 (11848 binary, 0 integer, 0 implicit integer, 0 continuous)
1722.92/1723.45	c   Constraints      : 32937 initial, 32937 maximal
1722.92/1723.45	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1722.92/1723.45	c   trivial          :       0.05       1018          0          0          0          0          0          0          0
1722.92/1723.45	c   dualfix          :       0.08        111          0          0          0          0          0          0          0
1722.92/1723.45	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1722.92/1723.45	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1722.92/1723.45	c   implics          :       0.20          0          0          0          0          0          0          0          0
1722.92/1723.45	c   probing          :       0.00          0          0          0          0          0          0          0          0
1722.92/1723.45	c   knapsack         :       0.36          0          0          0          0          0          0         18        117
1722.92/1723.45	c   linear           :       9.00      14617       4592          0      15634          0      74110         85         94
1722.92/1723.45	c   logicor          :       0.15          0          0          0          0          0          0          0          0
1722.92/1723.45	c   root node        :          -          0          -          -          0          -          -          -          -
1722.92/1723.45	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1722.92/1723.45	c   integral         :          0          0          0          0          0          0          0          0          0          0
1722.92/1723.45	c   knapsack         :        464          1          1          0          0          0          0        186          0          0
1722.92/1723.45	c   logicor          :      32473          1          1          0          0          0          0          0          0          0
1722.92/1723.45	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1722.92/1723.45	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1722.92/1723.45	c   integral         :       0.00       0.00       0.00       0.00       0.00
1722.92/1723.45	c   knapsack         :       0.03       0.02       0.01       0.00       0.00
1722.92/1723.45	c   logicor          :       0.04       0.00       0.04       0.00       0.00
1722.92/1723.45	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1722.92/1723.45	c Propagators        :       Time      Calls    Cutoffs    DomReds
1722.92/1723.45	c   vbounds          :       0.00          1          0          0
1722.92/1723.45	c   rootredcost      :       0.00          0          0          0
1722.92/1723.45	c   pseudoobj        :       0.00          0          0          0
1722.92/1723.45	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1722.92/1723.45	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1722.92/1723.45	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1722.92/1723.45	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1722.92/1723.45	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1722.92/1723.45	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1722.92/1723.45	c   applied globally :          -          -          -          0        0.0          -          -          -
1722.92/1723.45	c   applied locally  :          -          -          -          0        0.0          -          -          -
1722.92/1723.45	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1722.92/1723.45	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 14)
1722.92/1723.45	c   redcost          :       0.00          1          0          0          0          0
1722.92/1723.45	c   impliedbounds    :       0.04          1          0          0          0          0
1722.92/1723.45	c   intobj           :       0.00          0          0          0          0          0
1722.92/1723.45	c   cgmip            :       0.00          0          0          0          0          0
1722.92/1723.45	c   gomory           :      47.10          1          0          0         32          0
1722.92/1723.45	c   strongcg         :      47.07          1          0          0         32          0
1722.92/1723.45	c   cmir             :       0.00          0          0          0          0          0
1722.92/1723.45	c   flowcover        :       0.00          0          0          0          0          0
1722.92/1723.45	c   clique           :       2.34          1          0          0          8          0
1722.92/1723.45	c   zerohalf         :       0.00          0          0          0          0          0
1722.92/1723.45	c   mcf              :       9.61          1          0          0          0          0
1722.92/1723.45	c   rapidlearning    :       0.00          0          0          0          0          0
1722.92/1723.45	c Pricers            :       Time      Calls       Vars
1722.92/1723.45	c   problem variables:       0.00          0          0
1722.92/1723.45	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1722.92/1723.45	c   pscost           :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   inference        :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   mostinf          :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   leastinf         :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   fullstrong       :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   allfullstrong    :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   random           :       0.00          0          0          0          0          0          0
1722.92/1723.45	c   relpscost        :       0.00          0          0          0          0          0          0
1722.92/1723.45	c Primal Heuristics  :       Time      Calls      Found
1722.92/1723.45	c   LP solutions     :       0.00          -          0
1722.92/1723.45	c   pseudo solutions :       0.00          -          0
1722.92/1723.45	c   trivial          :       0.06          1          0
1722.92/1723.45	c   simplerounding   :       0.00          0          0
1722.92/1723.45	c   zirounding       :       0.00          0          0
1722.92/1723.45	c   rounding         :       0.00          0          0
1722.92/1723.45	c   shifting         :       0.00          0          0
1722.92/1723.45	c   intshifting      :       0.00          0          0
1722.92/1723.45	c   oneopt           :       0.00          0          0
1722.92/1723.45	c   twoopt           :       0.00          0          0
1722.92/1723.45	c   fixandinfer      :       0.00          0          0
1722.92/1723.45	c   feaspump         :       0.00          0          0
1722.92/1723.45	c   coefdiving       :       0.00          0          0
1722.92/1723.45	c   pscostdiving     :       0.00          0          0
1722.92/1723.45	c   fracdiving       :       0.00          0          0
1722.92/1723.45	c   veclendiving     :       0.00          0          0
1722.92/1723.45	c   intdiving        :       0.00          0          0
1722.92/1723.45	c   actconsdiving    :       0.00          0          0
1722.92/1723.45	c   objpscostdiving  :       0.00          0          0
1722.92/1723.45	c   rootsoldiving    :       0.00          0          0
1722.92/1723.45	c   linesearchdiving :       0.00          0          0
1722.92/1723.45	c   guideddiving     :       0.00          0          0
1722.92/1723.45	c   octane           :       0.00          0          0
1722.92/1723.45	c   rens             :       0.00          0          0
1722.92/1723.45	c   rins             :       0.00          0          0
1722.92/1723.45	c   localbranching   :       0.00          0          0
1722.92/1723.45	c   mutation         :       0.00          0          0
1722.92/1723.45	c   crossover        :       0.00          0          0
1722.92/1723.45	c   dins             :       0.00          0          0
1722.92/1723.45	c   undercover       :       0.00          0          0
1722.92/1723.45	c   nlp              :       0.00          0          0
1722.92/1723.45	c   trysol           :       0.00          0          0
1722.92/1723.45	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1722.92/1723.45	c   primal LP        :       0.00          0          0       0.00          -
1722.92/1723.45	c   dual LP          :    1587.26          2     118730   59365.00      74.80
1722.92/1723.45	c   lex dual LP      :       0.00          0          0       0.00          -
1722.92/1723.45	c   barrier LP       :       0.00          0          0       0.00          -
1722.92/1723.45	c   diving/probing LP:       0.00          0          0       0.00          -
1722.92/1723.45	c   strong branching :       0.00          0          0       0.00          -
1722.92/1723.45	c     (at root node) :          -          0          0       0.00          -
1722.92/1723.45	c   conflict analysis:       0.00          0          0       0.00          -
1722.92/1723.45	c B&B Tree           :
1722.92/1723.45	c   number of runs   :          1
1722.92/1723.45	c   nodes            :          1
1722.92/1723.45	c   nodes (total)    :          1
1722.92/1723.45	c   nodes left       :          0
1722.92/1723.45	c   max depth        :          0
1722.92/1723.45	c   max depth (total):          0
1722.92/1723.45	c   backtracks       :          0 (0.0%)
1722.92/1723.45	c   delayed cutoffs  :          0
1722.92/1723.45	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1722.92/1723.45	c   avg switch length:       2.00
1722.92/1723.45	c   switching time   :       0.00
1722.92/1723.45	c Solution           :
1722.92/1723.45	c   Solutions found  :          0 (0 improvements)
1722.92/1723.45	c   Primal Bound     : infeasible
1722.92/1723.45	c   Dual Bound       :          -
1722.92/1723.45	c   Gap              :       0.00 %
1722.92/1723.45	c   Root Dual Bound  :          -
1722.92/1723.45	c   Root Iterations  :     118730
1723.33/1723.85	c Time complete: 1723.38.

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-2684928-1278437108/watcher-2684928-1278437108 -o /tmp/evaluation-result-2684928-1278437108/solver-2684928-1278437108 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2684928-1278437108.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 0.99 0.93 3/106 20224
/proc/meminfo: memFree=1471516/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=7724 CPUtime=0
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 1056 0 0 0 0 0 0 0 19 0 1 0 11918288 7909376 975 1992294400 4194304 8223781 140734183752528 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 1931 985 348 984 0 944 0

[startup+0.105158 s]
/proc/loadavg: 1.00 0.99 0.93 3/106 20224
/proc/meminfo: memFree=1471516/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=17012 CPUtime=0.09
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3550 0 0 0 8 1 0 0 21 0 1 0 11918288 17420288 3469 1992294400 4194304 8223781 140734183752528 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 4253 3469 363 984 0 3266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17012

[startup+0.201168 s]
/proc/loadavg: 1.00 0.99 0.93 3/106 20224
/proc/meminfo: memFree=1471516/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=22424 CPUtime=0.2
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 4915 0 0 0 18 2 0 0 21 0 1 0 11918288 22962176 4834 1992294400 4194304 8223781 140734183752528 18446744073709551615 7246524 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 5606 4834 363 984 0 4619 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 22424

[startup+0.301179 s]
/proc/loadavg: 1.00 0.99 0.93 3/106 20224
/proc/meminfo: memFree=1471516/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=28012 CPUtime=0.29
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 6326 0 0 0 27 2 0 0 21 0 1 0 11918288 28684288 6237 1992294400 4194304 8223781 140734183752528 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 7003 6237 363 984 0 6016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28012

[startup+0.701222 s]
/proc/loadavg: 1.00 0.99 0.93 3/106 20224
/proc/meminfo: memFree=1471516/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=35828 CPUtime=0.69
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 8240 0 0 0 66 3 0 0 22 0 1 0 11918288 36687872 8151 1992294400 4194304 8223781 140734183752528 18446744073709551615 5649593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 8957 8151 363 984 0 7970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35828

[startup+1.50131 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20225
/proc/meminfo: memFree=1429224/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=58972 CPUtime=1.49
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 14025 0 0 0 144 5 0 0 25 0 1 0 11918288 60387328 13936 1992294400 4194304 8223781 140734183752528 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 14743 13936 363 984 0 13756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58972

[startup+3.10149 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20225
/proc/meminfo: memFree=1335356/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=201872 CPUtime=3.09
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 49554 0 0 0 290 19 0 0 25 0 1 0 11918288 206716928 49027 1992294400 4194304 8223781 140734183752528 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 50468 49027 440 984 0 49481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 201872

[startup+6.30084 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20225
/proc/meminfo: memFree=1181348/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=307584 CPUtime=6.29
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 75279 0 0 0 594 35 0 0 25 0 1 0 11918288 314966016 74752 1992294400 4194304 8223781 140734183752528 18446744073709551615 7256806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 76896 74752 444 984 0 75909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307584

[startup+12.7005 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20225
/proc/meminfo: memFree=1150844/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=334560 CPUtime=12.68
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 87452 0 0 0 1193 75 0 0 25 0 1 0 11918288 342589440 81409 1992294400 4194304 8223781 140734183752528 18446744073709551615 4890332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 83640 81409 514 984 0 82653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 334560

[startup+25.501 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20225
/proc/meminfo: memFree=1108560/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=377640 CPUtime=25.48
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 109218 0 0 0 2459 89 0 0 25 0 1 0 11918288 386703360 90902 1992294400 4194304 8223781 140734183752528 18446744073709551615 6537829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 94410 90902 558 984 0 93423 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 377640

[startup+51.1008 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20225
/proc/meminfo: memFree=1106328/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=380100 CPUtime=51.06
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 131696 0 0 0 5001 105 0 0 25 0 1 0 11918288 389222400 91542 1992294400 4194304 8223781 140734183752528 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 95025 91542 558 984 0 94038 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 380100

[startup+102.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20227
/proc/meminfo: memFree=1103600/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=382380 CPUtime=102.26
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 174240 0 0 0 10092 134 0 0 25 0 1 0 11918288 391557120 92223 1992294400 4194304 8223781 140734183752528 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 95595 92223 558 984 0 94608 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 382380

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20229
/proc/meminfo: memFree=1101616/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=384712 CPUtime=162.24
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 219529 0 0 0 16061 163 0 0 25 0 1 0 11918288 393945088 92708 1992294400 4194304 8223781 140734183752528 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 96178 92708 558 984 0 95191 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 384712

[startup+222.309 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20231
/proc/meminfo: memFree=1101244/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=384912 CPUtime=222.23
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 267059 0 0 0 22032 191 0 0 25 0 1 0 11918288 394149888 92788 1992294400 4194304 8223781 140734183752528 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 96228 92788 558 984 0 95241 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 384912

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20231
/proc/meminfo: memFree=1100748/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=385648 CPUtime=282.2
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 310442 0 0 0 28002 218 0 0 25 0 1 0 11918288 394903552 92931 1992294400 4194304 8223781 140734183752528 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 96412 92931 558 984 0 95425 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 385648

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20233
/proc/meminfo: memFree=1100624/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=385688 CPUtime=342.19
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 357292 0 0 0 33973 246 0 0 25 0 1 0 11918288 394944512 92953 1992294400 4194304 8223781 140734183752528 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 96422 92953 558 984 0 95435 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 385688

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20235
/proc/meminfo: memFree=1100872/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=385224 CPUtime=402.17
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 1407089 0 0 0 39567 650 0 0 25 0 1 0 11918288 394469376 92801 1992294400 4194304 8223781 140734183752528 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 96306 92801 587 984 0 95319 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 385224

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20237
/proc/meminfo: memFree=1092440/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=394336 CPUtime=462.15
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2573470 0 0 0 45087 1128 0 0 25 0 1 0 11918288 403800064 94832 1992294400 4194304 8223781 140734183752528 18446744073709551615 6044935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 98584 94832 593 984 0 97597 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 394336

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20239
/proc/meminfo: memFree=1091324/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397200 CPUtime=522.14
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2616993 0 0 0 51059 1155 0 0 25 0 1 0 11918288 406732800 95290 1992294400 4194304 8223781 140734183752528 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99300 95290 593 984 0 98313 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 397200

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20239
/proc/meminfo: memFree=1091200/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397292 CPUtime=582.12
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2666378 0 0 0 57028 1184 0 0 25 0 1 0 11918288 406827008 95291 1992294400 4194304 8223781 140734183752528 18446744073709551615 6588969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99323 95291 593 984 0 98336 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 397292

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20241
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397968 CPUtime=642.1
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2717615 0 0 0 62996 1214 0 0 25 0 1 0 11918288 407519232 95033 1992294400 4194304 8223781 140734183752528 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99492 95033 593 984 0 98505 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 397968

[startup+702.301 s]

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

/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397976 CPUtime=822.06
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2861957 0 0 0 80905 1301 0 0 25 0 1 0 11918288 407527424 95329 1992294400 4194304 8223781 140734183752528 18446744073709551615 6569765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99494 95329 593 984 0 98507 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 397976

[startup+882.309 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20247
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=398020 CPUtime=882.04
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2907296 0 0 0 86875 1329 0 0 25 0 1 0 11918288 407572480 95357 1992294400 4194304 8223781 140734183752528 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99505 95357 593 984 0 98518 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 398020

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20249
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=398008 CPUtime=942.03
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 2954579 0 0 0 92846 1357 0 0 25 0 1 0 11918288 407560192 95333 1992294400 4194304 8223781 140734183752528 18446744073709551615 6248698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99502 95333 593 984 0 98515 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 398008

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20251
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=402020 CPUtime=1002.01
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3006302 0 0 0 98812 1389 0 0 25 0 1 0 11918288 411668480 95796 1992294400 4194304 8223781 140734183752528 18446744073709551615 6583685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 100505 95796 593 984 0 99518 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 402020

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20253
/proc/meminfo: memFree=1091076/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397984 CPUtime=1062
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3051419 0 0 0 104785 1415 0 0 25 0 1 0 11918288 407535616 95249 1992294400 4194304 8223781 140734183752528 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99496 95249 593 984 0 98509 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 397984

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20255
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=398000 CPUtime=1121.98
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3096476 0 0 0 110754 1444 0 0 25 0 1 0 11918288 407552000 95291 1992294400 4194304 8223781 140734183752528 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99500 95291 593 984 0 98513 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 398000

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20255
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397976 CPUtime=1181.96
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3142397 0 0 0 116725 1471 0 0 25 0 1 0 11918288 407527424 95262 1992294400 4194304 8223781 140734183752528 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99494 95262 593 984 0 98507 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 397976

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20257
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=398000 CPUtime=1241.94
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3182863 0 0 0 122698 1496 0 0 25 0 1 0 11918288 407552000 95251 1992294400 4194304 8223781 140734183752528 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99500 95251 593 984 0 98513 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 398000

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20259
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397984 CPUtime=1301.93
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3226245 0 0 0 128668 1525 0 0 25 0 1 0 11918288 407535616 95217 1992294400 4194304 8223781 140734183752528 18446744073709551615 6611720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99496 95217 593 984 0 98509 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 397984

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20261
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397988 CPUtime=1361.92
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3272864 0 0 0 134639 1553 0 0 25 0 1 0 11918288 407539712 95245 1992294400 4194304 8223781 140734183752528 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99497 95245 593 984 0 98510 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 397988

[startup+1422.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20263
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397972 CPUtime=1421.9
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3318532 0 0 0 140610 1580 0 0 25 0 1 0 11918288 407523328 95260 1992294400 4194304 8223781 140734183752528 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99493 95260 593 984 0 98506 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 397972

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20263
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397972 CPUtime=1481.89
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3356459 0 0 0 146584 1605 0 0 25 0 1 0 11918288 407523328 95239 1992294400 4194304 8223781 140734183752528 18446744073709551615 6536473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99493 95239 593 984 0 98506 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 397972

[startup+1542.31 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20265
/proc/meminfo: memFree=1090828/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397972 CPUtime=1541.87
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3392980 0 0 0 152558 1629 0 0 25 0 1 0 11918288 407523328 95241 1992294400 4194304 8223781 140734183752528 18446744073709551615 6536470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99493 95241 593 984 0 98506 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 397972

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20267
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397960 CPUtime=1601.85
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3424639 0 0 0 158533 1652 0 0 25 0 1 0 11918288 407511040 95219 1992294400 4194304 8223781 140734183752528 18446744073709551615 6569946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99490 95219 593 984 0 98503 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 397960

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20269
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397948 CPUtime=1661.84
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3451140 0 0 0 164514 1670 0 0 25 0 1 0 11918288 407498752 95201 1992294400 4194304 8223781 140734183752528 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99487 95201 593 984 0 98500 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 397948

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20271
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397940 CPUtime=1721.82
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3476332 0 0 0 170493 1689 0 0 25 0 1 0 11918288 407490560 95174 1992294400 4194304 8223781 140734183752528 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99485 95174 593 984 0 98498 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 397940

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

[startup+1723.2 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20271
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=397940 CPUtime=1722.72
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3476333 0 0 0 170583 1689 0 0 25 0 1 0 11918288 407490560 95175 1992294400 4194304 8223781 140734183752528 18446744073709551615 6359644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20224/statm: 99485 95175 593 984 0 98498 0
Current children cumulated CPU time (s) 1722.72
Current children cumulated vsize (KiB) 397940

[startup+1723.6 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20271
/proc/meminfo: memFree=1090952/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=380404 CPUtime=1723.12
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3477505 0 0 0 170622 1690 0 0 25 0 1 0 11918288 389533696 90995 1992294400 4194304 8223781 140734183752528 18446744073709551615 6207256 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 95101 90995 596 984 0 94114 0
Current children cumulated CPU time (s) 1723.12
Current children cumulated vsize (KiB) 380404

[startup+1723.81 s]
/proc/loadavg: 1.00 0.99 0.93 2/107 20271
/proc/meminfo: memFree=1137824/2059040 swapFree=4192956/4192956
[pid=20224] ppid=20222 vsize=79756 CPUtime=1723.33
/proc/20224/stat : 20224 (pbscip.linux.x8) R 20222 20224 20026 0 -1 4202496 3477505 0 0 0 170640 1693 0 0 25 0 1 0 11918288 81670144 19242 1992294400 4194304 8223781 140734183752528 18446744073709551615 6207165 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20224/statm: 19939 19242 596 984 0 18952 0
Current children cumulated CPU time (s) 1723.33
Current children cumulated vsize (KiB) 79756

Child status: 0
Real time (s): 1723.86
CPU time (s): 1723.38
CPU user time (s): 1706.44
CPU system time (s): 16.9424
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 402172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.44
system time used= 16.9424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3477514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1828

runsolver used 2.80757 second user time and 8.18076 second system time

The end

Launcher Data 

Begin job on node042 at 2010-07-06 19:25:08
IDJOB=2684928
IDBENCH=73961
IDSOLVER=1169
FILE ID=node042/2684928-1278437108
PBS_JOBID= 11233476
Free space on /tmp= 62456 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_3-unsat.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-2684928-1278437108/watcher-2684928-1278437108 -o /tmp/evaluation-result-2684928-1278437108/solver-2684928-1278437108 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2684928-1278437108.opb -t 1800 -m 1800

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

MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b
RANDOM SEED=2005360423

node042.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.213
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.42
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.213
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1472044 kB
Buffers:        105548 kB
Cached:         349812 kB
SwapCached:          0 kB
Active:         181180 kB
Inactive:       334068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1472044 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7880 kB
Writeback:           0 kB
AnonPages:       59812 kB
Mapped:          14412 kB
Slab:            49840 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180160 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= 62452 MiB
End job on node042 at 2010-07-06 19:53:52