Trace number 2704698

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.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1793.39 1793.94

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12016_4-sat.opb
MD5SUM142eb7aa6e3fc22a3161df6b33ced1a2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, 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 variables48642
Total number of constraints155800
Number of constraints which are clauses155000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints800
Minimum length of a constraint1
Maximum length of a constraint120
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 684
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.01	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2704698-1278580316.opb>
2.39/2.44	c original problem has 48642 variables (48642 bin, 0 int, 0 impl, 0 cont) and 155800 constraints
2.39/2.44	c problem read
2.39/2.44	c No objective function, only one solution is needed.
2.39/2.45	c presolving settings loaded
3.30/3.31	c presolving:
12.00/12.08	c (round 1) 4909 del vars, 14362 del conss, 3363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10333502 impls, 0 clqs
23.28/23.33	c (round 2) 11653 del vars, 37507 del conss, 9710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10369915 impls, 0 clqs
27.19/27.25	c (round 3) 14188 del vars, 48615 del conss, 11197 chg bounds, 8 chg sides, 11 chg coeffs, 0 upgd conss, 10383072 impls, 0 clqs
29.19/29.27	c (round 4) 15162 del vars, 52743 del conss, 11820 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10391641 impls, 0 clqs
30.19/30.24	c (round 5) 15747 del vars, 54991 del conss, 12135 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10396830 impls, 0 clqs
30.79/30.85	c (round 6) 16029 del vars, 56092 del conss, 12292 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10398898 impls, 0 clqs
31.09/31.15	c (round 7) 16153 del vars, 56644 del conss, 12354 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10399692 impls, 0 clqs
31.29/31.33	c (round 8) 16206 del vars, 56889 del conss, 12378 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400055 impls, 0 clqs
31.39/31.46	c (round 9) 16224 del vars, 56996 del conss, 12387 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400161 impls, 0 clqs
31.49/31.56	c (round 10) 16232 del vars, 57037 del conss, 12391 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400223 impls, 0 clqs
31.59/31.65	c (round 11) 16234 del vars, 57053 del conss, 12392 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400241 impls, 0 clqs
32.38/32.48	c (round 12) 16234 del vars, 57056 del conss, 12392 chg bounds, 27 chg sides, 31 chg coeffs, 98744 upgd conss, 10400241 impls, 0 clqs
34.38/34.40	c (round 13) 16234 del vars, 57056 del conss, 12392 chg bounds, 64 chg sides, 218 chg coeffs, 98744 upgd conss, 10400241 impls, 0 clqs
34.78/34.80	c presolving (14 rounds):
34.78/34.80	c  16234 deleted vars, 57056 deleted constraints, 12392 tightened bounds, 0 added holes, 64 changed sides, 232 changed coefficients
34.78/34.80	c  10400241 implications, 4 cliques
34.78/34.80	c presolved problem has 32408 variables (32408 bin, 0 int, 0 impl, 0 cont) and 98744 constraints
34.78/34.80	c     788 constraints of type <knapsack>
34.78/34.80	c   82085 constraints of type <setppc>
34.78/34.80	c   15871 constraints of type <logicor>
34.78/34.80	c transformed objective value is always integral (scale: 1)
34.78/34.80	c Presolving Time: 31.79
34.78/34.80	c - non default parameters ----------------------------------------------------------------------
34.78/34.80	c # SCIP version 1.2.1.3
34.78/34.80	c 
34.78/34.80	c # frequency for displaying node information lines
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 100]
34.78/34.80	c display/freq = 10000
34.78/34.80	c 
34.78/34.80	c # maximal time in seconds to run
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.78/34.80	c limits/time = 1787.56
34.78/34.80	c 
34.78/34.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.78/34.80	c limits/memory = 1620
34.78/34.80	c 
34.78/34.80	c # solving stops, if the given number of solutions were found (-1: no limit)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: -1]
34.78/34.80	c limits/solutions = 1
34.78/34.80	c 
34.78/34.80	c # maximal number of separation rounds per node (-1: unlimited)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 5]
34.78/34.80	c separating/maxrounds = 1
34.78/34.80	c 
34.78/34.80	c # maximal number of separation rounds in the root node (-1: unlimited)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: -1]
34.78/34.80	c separating/maxroundsroot = 5
34.78/34.80	c 
34.78/34.80	c # default clock type (1: CPU user seconds, 2: wall clock time)
34.78/34.80	c # [type: int, range: [1,2], default: 1]
34.78/34.80	c timing/clocktype = 2
34.78/34.80	c 
34.78/34.80	c # should presolving try to simplify inequalities
34.78/34.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.78/34.80	c constraints/linear/simplifyinequalities = TRUE
34.78/34.80	c 
34.78/34.80	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
34.78/34.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.78/34.80	c constraints/indicator/addCouplingCons = TRUE
34.78/34.80	c 
34.78/34.80	c # should disaggregation of knapsack constraints be allowed in preprocessing?
34.78/34.80	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
34.78/34.80	c constraints/knapsack/disaggregation = FALSE
34.78/34.80	c 
34.78/34.80	c # should presolving try to simplify knapsacks
34.78/34.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.78/34.80	c constraints/knapsack/simplifyinequalities = TRUE
34.78/34.80	c 
34.78/34.80	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: -1]
34.78/34.80	c presolving/probing/maxrounds = 0
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/coefdiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/coefdiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/coefdiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 30]
34.78/34.80	c heuristics/crossover/freq = -1
34.78/34.80	c 
34.78/34.80	c # number of nodes added to the contingent of the total nodes
34.78/34.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
34.78/34.80	c heuristics/crossover/nodesofs = 750
34.78/34.80	c 
34.78/34.80	c # number of nodes without incumbent change that heuristic should wait
34.78/34.80	c # [type: longint, range: [0,9223372036854775807], default: 200]
34.78/34.80	c heuristics/crossover/nwaitingnodes = 100
34.78/34.80	c 
34.78/34.80	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
34.78/34.80	c # [type: real, range: [0,1], default: 0.1]
34.78/34.80	c heuristics/crossover/nodesquot = 0.15
34.78/34.80	c 
34.78/34.80	c # minimum percentage of integer variables that have to be fixed 
34.78/34.80	c # [type: real, range: [0,1], default: 0.666]
34.78/34.80	c heuristics/crossover/minfixingrate = 0.5
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 20]
34.78/34.80	c heuristics/feaspump/freq = -1
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/feaspump/maxlpiterofs = 2000
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/fracdiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/fracdiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/fracdiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/guideddiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/guideddiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/guideddiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/intdiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/intshifting/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/linesearchdiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/linesearchdiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/linesearchdiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 1]
34.78/34.80	c heuristics/nlp/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 20]
34.78/34.80	c heuristics/objpscostdiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to total iteration number
34.78/34.80	c # [type: real, range: [0,1], default: 0.01]
34.78/34.80	c heuristics/objpscostdiving/maxlpiterquot = 0.015
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/objpscostdiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 1]
34.78/34.80	c heuristics/oneopt/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/pscostdiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/pscostdiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/pscostdiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 0]
34.78/34.80	c heuristics/rens/freq = -1
34.78/34.80	c 
34.78/34.80	c # minimum percentage of integer variables that have to be fixable 
34.78/34.80	c # [type: real, range: [0,1], default: 0.5]
34.78/34.80	c heuristics/rens/minfixingrate = 0.3
34.78/34.80	c 
34.78/34.80	c # number of nodes added to the contingent of the total nodes
34.78/34.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
34.78/34.80	c heuristics/rens/nodesofs = 2000
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 20]
34.78/34.80	c heuristics/rootsoldiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
34.78/34.80	c heuristics/rootsoldiving/maxlpiterquot = 0.015
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/rootsoldiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 1]
34.78/34.80	c heuristics/rounding/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/shifting/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 1]
34.78/34.80	c heuristics/simplerounding/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 0]
34.78/34.80	c heuristics/trivial/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 1]
34.78/34.80	c heuristics/trysol/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 10]
34.78/34.80	c heuristics/veclendiving/freq = -1
34.78/34.80	c 
34.78/34.80	c # maximal fraction of diving LP iterations compared to node LP iterations
34.78/34.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.78/34.80	c heuristics/veclendiving/maxlpiterquot = 0.075
34.78/34.80	c 
34.78/34.80	c # additional number of allowed LP iterations
34.78/34.80	c # [type: int, range: [0,2147483647], default: 1000]
34.78/34.80	c heuristics/veclendiving/maxlpiterofs = 1500
34.78/34.80	c 
34.78/34.80	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 1]
34.78/34.80	c heuristics/zirounding/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 0]
34.78/34.80	c separating/cmir/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: 0]
34.78/34.80	c separating/flowcover/freq = -1
34.78/34.80	c 
34.78/34.80	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
34.78/34.80	c # [type: int, range: [-1,2147483647], default: -1]
34.78/34.80	c separating/rapidlearning/freq = 0
34.78/34.80	c 
34.78/34.80	c -----------------------------------------------------------------------------------------------
34.78/34.80	c start solving
34.78/34.84	c 
1792.44/1793.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1792.44/1793.02	c  1791s|     1 |     0 | 60686 |     - | 425M|   0 |   - |  32k|  98k|  32k|  98k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1792.44/1793.08	c  1791s|     1 |     2 | 60686 |     - | 425M|   0 |   - |  32k|  98k|  32k|  98k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1792.44/1793.08	c 
1792.44/1793.08	c SCIP Status        : solving was interrupted [time limit reached]
1792.44/1793.08	c Solving Time (sec) : 1790.63
1792.44/1793.08	c Solving Nodes      : 1
1792.44/1793.08	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1792.44/1793.08	c Dual Bound         : +0.00000000000000e+00
1792.44/1793.08	c Gap                : infinite
1792.44/1793.08	s UNKNOWN
1792.44/1793.08	c SCIP Status        : solving was interrupted [time limit reached]
1792.44/1793.08	c Solving Time       :    1790.63
1792.44/1793.08	c Original Problem   :
1792.44/1793.08	c   Problem name     : HOME/instance-2704698-1278580316.opb
1792.44/1793.08	c   Variables        : 48642 (48642 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.44/1793.08	c   Constraints      : 155800 initial, 155800 maximal
1792.44/1793.08	c Presolved Problem  :
1792.44/1793.08	c   Problem name     : t_HOME/instance-2704698-1278580316.opb
1792.44/1793.08	c   Variables        : 32408 (32408 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.44/1793.08	c   Constraints      : 98744 initial, 98744 maximal
1792.44/1793.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1792.44/1793.08	c   trivial          :       0.09       1083          0          0          0          0          0          0          0
1792.44/1793.08	c   dualfix          :       0.19        105          0          0          0          0          0          0          0
1792.44/1793.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1792.44/1793.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1792.44/1793.08	c   implics          :       0.59          0          0          0          0          0          0          0          0
1792.44/1793.08	c   probing          :       0.00          0          0          0          0          0          0          0          0
1792.44/1793.08	c   knapsack         :       1.79          0          0          0          0          0          0         37        201
1792.44/1793.08	c   setppc           :       0.35          0          0          0          0          0          0          0          0
1792.44/1793.08	c   linear           :      28.15      11309       3737          0      12392          0      57056         27         31
1792.44/1793.08	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1792.44/1793.08	c   root node        :          -          0          -          -          0          -          -          -          -
1792.44/1793.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1792.44/1793.08	c   integral         :          0          0          0          0          0          0          0          0          0          0
1792.44/1793.08	c   knapsack         :        788          0          1          0          1          0          0          0          0          0
1792.44/1793.08	c   setppc           :      82085          0          1          0          1          0          0          0          0          0
1792.44/1793.08	c   logicor          :      15871          0          1          0          1          0          0          0          0          0
1792.44/1793.08	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1792.44/1793.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1792.44/1793.08	c   integral         :       0.00       0.00       0.00       0.00       0.00
1792.44/1793.08	c   knapsack         :       0.00       0.00       0.00       0.00       0.00
1792.44/1793.08	c   setppc           :       0.04       0.00       0.01       0.00       0.03
1792.44/1793.08	c   logicor          :       0.03       0.00       0.02       0.00       0.01
1792.44/1793.08	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1792.44/1793.08	c Propagators        :       Time      Calls    Cutoffs    DomReds
1792.44/1793.08	c   vbounds          :       0.00          1          0          0
1792.44/1793.08	c   rootredcost      :       0.00          0          0          0
1792.44/1793.08	c   pseudoobj        :       0.00          0          0          0
1792.44/1793.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1792.44/1793.08	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1792.44/1793.08	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1792.44/1793.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1792.44/1793.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1792.44/1793.08	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1792.44/1793.08	c   applied globally :          -          -          -          0        0.0          -          -          -
1792.44/1793.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1792.44/1793.08	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1792.44/1793.08	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1792.44/1793.08	c   redcost          :       0.00          0          0          0          0          0
1792.44/1793.08	c   impliedbounds    :       0.00          0          0          0          0          0
1792.44/1793.08	c   intobj           :       0.00          0          0          0          0          0
1792.44/1793.08	c   cgmip            :       0.00          0          0          0          0          0
1792.44/1793.08	c   gomory           :       0.00          0          0          0          0          0
1792.44/1793.08	c   strongcg         :       0.00          0          0          0          0          0
1792.44/1793.08	c   cmir             :       0.00          0          0          0          0          0
1792.44/1793.08	c   flowcover        :       0.00          0          0          0          0          0
1792.44/1793.08	c   clique           :       0.00          0          0          0          0          0
1792.44/1793.08	c   zerohalf         :       0.00          0          0          0          0          0
1792.44/1793.08	c   mcf              :       0.00          0          0          0          0          0
1792.44/1793.08	c   rapidlearning    :       0.00          0          0          0          0          0
1792.44/1793.08	c Pricers            :       Time      Calls       Vars
1792.44/1793.08	c   problem variables:       0.00          0          0
1792.44/1793.08	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1792.44/1793.08	c   relpscost        :       0.00          0          0          0          0          0          0
1792.44/1793.08	c   pscost           :       0.00          0          0          0          0          0          0
1792.44/1793.08	c   inference        :       0.01          1          0          0          0          0          2
1792.44/1793.08	c   mostinf          :       0.00          0          0          0          0          0          0
1792.44/1793.08	c   leastinf         :       0.00          0          0          0          0          0          0
1792.44/1793.08	c   fullstrong       :       0.00          0          0          0          0          0          0
1792.44/1793.08	c   allfullstrong    :       0.00          0          0          0          0          0          0
1792.44/1793.08	c   random           :       0.00          0          0          0          0          0          0
1792.44/1793.08	c Primal Heuristics  :       Time      Calls      Found
1792.44/1793.08	c   LP solutions     :       0.00          -          0
1792.44/1793.08	c   pseudo solutions :       0.00          -          0
1792.44/1793.08	c   trivial          :       0.09          1          0
1792.44/1793.08	c   simplerounding   :       0.00          0          0
1792.44/1793.08	c   zirounding       :       0.00          0          0
1792.44/1793.08	c   rounding         :       0.00          0          0
1792.44/1793.08	c   shifting         :       0.00          0          0
1792.44/1793.08	c   intshifting      :       0.00          0          0
1792.44/1793.08	c   oneopt           :       0.00          0          0
1792.44/1793.08	c   twoopt           :       0.00          0          0
1792.44/1793.08	c   fixandinfer      :       0.00          0          0
1792.44/1793.08	c   feaspump         :       0.00          0          0
1792.44/1793.08	c   coefdiving       :       0.00          0          0
1792.44/1793.08	c   pscostdiving     :       0.00          0          0
1792.44/1793.08	c   fracdiving       :       0.00          0          0
1792.44/1793.08	c   veclendiving     :       0.00          0          0
1792.44/1793.08	c   intdiving        :       0.00          0          0
1792.44/1793.08	c   actconsdiving    :       0.00          0          0
1792.44/1793.08	c   objpscostdiving  :       0.00          0          0
1792.44/1793.08	c   rootsoldiving    :       0.00          0          0
1792.44/1793.08	c   linesearchdiving :       0.00          0          0
1792.44/1793.08	c   guideddiving     :       0.00          0          0
1792.44/1793.08	c   octane           :       0.00          0          0
1792.44/1793.08	c   rens             :       0.00          0          0
1792.44/1793.08	c   rins             :       0.00          0          0
1792.44/1793.08	c   localbranching   :       0.00          0          0
1792.44/1793.08	c   mutation         :       0.00          0          0
1792.44/1793.08	c   crossover        :       0.00          0          0
1792.44/1793.08	c   dins             :       0.00          0          0
1792.44/1793.08	c   undercover       :       0.00          0          0
1792.44/1793.08	c   nlp              :       0.00          0          0
1792.44/1793.08	c   trysol           :       0.00          0          0
1792.44/1793.08	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1792.44/1793.08	c   primal LP        :       0.00          0          0       0.00          -
1792.44/1793.08	c   dual LP          :    1757.61          1      60686   60686.00      34.53
1792.44/1793.08	c   lex dual LP      :       0.00          0          0       0.00          -
1792.44/1793.08	c   barrier LP       :       0.00          0          0       0.00          -
1792.44/1793.08	c   diving/probing LP:       0.00          0          0       0.00          -
1792.44/1793.08	c   strong branching :       0.00          0          0       0.00          -
1792.44/1793.08	c     (at root node) :          -          0          0       0.00          -
1792.44/1793.08	c   conflict analysis:       0.00          0          0       0.00          -
1792.44/1793.08	c B&B Tree           :
1792.44/1793.08	c   number of runs   :          1
1792.44/1793.08	c   nodes            :          1
1792.44/1793.08	c   nodes (total)    :          1
1792.44/1793.08	c   nodes left       :          2
1792.44/1793.08	c   max depth        :          0
1792.44/1793.08	c   max depth (total):          0
1792.44/1793.08	c   backtracks       :          0 (0.0%)
1792.44/1793.08	c   delayed cutoffs  :          0
1792.44/1793.08	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1792.44/1793.08	c   avg switch length:       1.00
1792.44/1793.08	c   switching time   :       0.00
1792.44/1793.08	c Solution           :
1792.44/1793.08	c   Solutions found  :          0 (0 improvements)
1792.44/1793.08	c   Primal Bound     :          -
1792.44/1793.08	c   Dual Bound       : +0.00000000000000e+00
1792.44/1793.08	c   Gap              :   infinite
1792.44/1793.08	c   Root Dual Bound  : +0.00000000000000e+00
1792.44/1793.08	c   Root Iterations  :      60686
1793.34/1793.93	c Time complete: 1793.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-2704698-1278580316/watcher-2704698-1278580316 -o /tmp/evaluation-result-2704698-1278580316/solver-2704698-1278580316 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704698-1278580316.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: 0.91 0.95 0.91 3/106 29988
/proc/meminfo: memFree=1765656/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=7904 CPUtime=0
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 1236 0 0 0 0 0 0 0 18 0 1 0 26242606 8093696 1147 1992294400 4194304 8395647 140733952596448 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 1976 1155 365 1026 0 946 0

[startup+0.0139999 s]
/proc/loadavg: 0.91 0.95 0.91 3/106 29988
/proc/meminfo: memFree=1765656/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=10344 CPUtime=0
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 1861 0 0 0 0 0 0 0 18 0 1 0 26242606 10592256 1772 1992294400 4194304 8395647 140733952596448 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 2586 1780 390 1026 0 1556 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10344

[startup+0.100999 s]
/proc/loadavg: 0.91 0.95 0.91 3/106 29988
/proc/meminfo: memFree=1765656/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=18420 CPUtime=0.09
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 3878 0 0 0 8 1 0 0 18 0 1 0 26242606 18862080 3789 1992294400 4194304 8395647 140733952596448 18446744073709551615 5758126 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 4605 3789 390 1026 0 3575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18420

[startup+0.300998 s]
/proc/loadavg: 0.91 0.95 0.91 3/106 29988
/proc/meminfo: memFree=1765656/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=32640 CPUtime=0.29
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 7432 0 0 0 27 2 0 0 18 0 1 0 26242606 33423360 7343 1992294400 4194304 8395647 140733952596448 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 8160 7343 390 1026 0 7130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32640

[startup+0.700995 s]
/proc/loadavg: 0.91 0.95 0.91 3/106 29988
/proc/meminfo: memFree=1765656/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=44688 CPUtime=0.69
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 10430 0 0 0 66 3 0 0 18 0 1 0 26242606 45760512 10341 1992294400 4194304 8395647 140733952596448 18446744073709551615 7370124 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 11172 10341 390 1026 0 10142 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44688

[startup+1.50099 s]
/proc/loadavg: 0.91 0.95 0.91 2/107 29989
/proc/meminfo: memFree=1717908/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=69044 CPUtime=1.49
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 16510 0 0 0 143 6 0 0 20 0 1 0 26242606 70701056 16421 1992294400 4194304 8395647 140733952596448 18446744073709551615 6349190 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 17261 16421 390 1026 0 16231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69044

[startup+3.10098 s]
/proc/loadavg: 0.92 0.95 0.91 2/107 29989
/proc/meminfo: memFree=1678104/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=230260 CPUtime=3.09
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 57067 0 0 0 289 20 0 0 25 0 1 0 26242606 235786240 56624 1992294400 4194304 8395647 140733952596448 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 57565 56624 429 1026 0 56535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 230260

[startup+6.30095 s]
/proc/loadavg: 0.92 0.95 0.91 2/107 29989
/proc/meminfo: memFree=1418076/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=390684 CPUtime=6.29
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 96176 0 0 0 595 34 0 0 25 0 1 0 26242606 400060416 95733 1992294400 4194304 8395647 140733952596448 18446744073709551615 6068852 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 97671 95733 469 1026 0 96641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 390684

[startup+12.7009 s]
/proc/loadavg: 0.93 0.96 0.91 2/107 29989
/proc/meminfo: memFree=1221412/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=562140 CPUtime=12.69
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 136933 0 0 0 1221 48 0 0 25 0 1 0 26242606 575631360 136490 1992294400 4194304 8395647 140733952596448 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 140535 136490 475 1026 0 139505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 562140

[startup+25.5008 s]
/proc/loadavg: 0.94 0.96 0.91 2/107 29989
/proc/meminfo: memFree=1219924/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=562768 CPUtime=25.48
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 137090 0 0 0 2500 48 0 0 25 0 1 0 26242606 576274432 136647 1992294400 4194304 8395647 140733952596448 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 140692 136647 475 1026 0 139662 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 562768

[startup+51.1006 s]
/proc/loadavg: 0.96 0.96 0.91 2/107 29990
/proc/meminfo: memFree=1068272/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=731176 CPUtime=51.07
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 179351 0 0 0 5040 67 0 0 25 0 1 0 26242606 748724224 174799 1992294400 4194304 8395647 140733952596448 18446744073709551615 6698157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 182794 174799 645 1026 0 181764 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 731176

[startup+102.308 s]
/proc/loadavg: 0.98 0.96 0.91 2/107 29991
/proc/meminfo: memFree=1057484/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=738760 CPUtime=102.26
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 181982 0 0 0 10151 75 0 0 25 0 1 0 26242606 756490240 177390 1992294400 4194304 8395647 140733952596448 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 184690 177390 633 1026 0 183660 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 738760

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29993
/proc/meminfo: memFree=1051408/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=744660 CPUtime=162.23
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 183520 0 0 0 16140 83 0 0 25 0 1 0 26242606 762531840 178901 1992294400 4194304 8395647 140733952596448 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 186165 178901 607 1026 0 185135 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 744660

[startup+222.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29995
/proc/meminfo: memFree=1048184/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=746816 CPUtime=222.21
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 184311 0 0 0 22133 88 0 0 25 0 1 0 26242606 764739584 179692 1992294400 4194304 8395647 140733952596448 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 186704 179692 607 1026 0 185674 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 746816

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29996
/proc/meminfo: memFree=1045580/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=750492 CPUtime=282.19
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 184984 0 0 0 28126 93 0 0 25 0 1 0 26242606 768503808 180365 1992294400 4194304 8395647 140733952596448 18446744073709551615 6700432 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 187623 180365 607 1026 0 186593 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 750492

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29998
/proc/meminfo: memFree=1044092/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=750904 CPUtime=342.18
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 185330 0 0 0 34120 98 0 0 25 0 1 0 26242606 768925696 180704 1992294400 4194304 8395647 140733952596448 18446744073709551615 6699260 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 187726 180704 600 1026 0 186696 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 750904

[startup+402.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 29999
/proc/meminfo: memFree=1038388/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=753992 CPUtime=402.16
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 186836 0 0 0 40114 102 0 0 25 0 1 0 26242606 772087808 182194 1992294400 4194304 8395647 140733952596448 18446744073709551615 6740979 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 188498 182194 664 1026 0 187468 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 753992

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 30004
/proc/meminfo: memFree=1037088/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=756884 CPUtime=462.14
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 186942 0 0 0 46106 108 0 0 25 0 1 0 26242606 775049216 182300 1992294400 4194304 8395647 140733952596448 18446744073709551615 6702063 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189221 182300 664 1026 0 188191 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 756884

[startup+522.3 s]
/proc/loadavg: 1.06 0.99 0.91 2/107 30006
/proc/meminfo: memFree=1036840/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=757180 CPUtime=522.12
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187033 0 0 0 52099 113 0 0 25 0 1 0 26242606 775352320 182391 1992294400 4194304 8395647 140733952596448 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189295 182391 664 1026 0 188265 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 757180

[startup+582.301 s]
/proc/loadavg: 1.02 0.99 0.91 2/107 30007
/proc/meminfo: memFree=1036840/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=757180 CPUtime=582.1
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187056 0 0 0 58092 118 0 0 25 0 1 0 26242606 775352320 182397 1992294400 4194304 8395647 140733952596448 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189295 182397 647 1026 0 188265 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 757180

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30009
/proc/meminfo: memFree=1036468/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=757180 CPUtime=642.09
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187147 0 0 0 64088 121 0 0 25 0 1 0 26242606 775352320 182488 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189295 182488 647 1026 0 188265 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 757180

[startup+702.3 s]

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

/proc/meminfo: memFree=1034856/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=758640 CPUtime=1061.96
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187626 0 0 0 106052 144 0 0 25 0 1 0 26242606 776847360 182937 1992294400 4194304 8395647 140733952596448 18446744073709551615 6696247 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189660 182937 617 1026 0 188630 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 758640

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30022
/proc/meminfo: memFree=1034732/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=758780 CPUtime=1121.94
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187654 0 0 0 112046 148 0 0 25 0 1 0 26242606 776990720 182965 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189695 182965 617 1026 0 188665 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 758780

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30023
/proc/meminfo: memFree=1034608/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=758780 CPUtime=1181.93
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187684 0 0 0 118041 152 0 0 25 0 1 0 26242606 776990720 182995 1992294400 4194304 8395647 140733952596448 18446744073709551615 6635648 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189695 182995 617 1026 0 188665 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 758780

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30025
/proc/meminfo: memFree=1034236/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=758912 CPUtime=1241.9
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 187715 0 0 0 124036 154 0 0 25 0 1 0 26242606 777125888 183026 1992294400 4194304 8395647 140733952596448 18446744073709551615 6741256 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 189728 183026 617 1026 0 188698 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 758912

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30026
/proc/meminfo: memFree=1031260/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762028 CPUtime=1301.9
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188431 0 0 0 130032 158 0 0 25 0 1 0 26242606 780316672 183742 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190507 183742 617 1026 0 189477 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 762028

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30028
/proc/meminfo: memFree=1031136/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762028 CPUtime=1361.87
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188481 0 0 0 136026 161 0 0 25 0 1 0 26242606 780316672 183792 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190507 183792 617 1026 0 189477 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 762028

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30030
/proc/meminfo: memFree=1031136/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762160 CPUtime=1421.86
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188507 0 0 0 142023 163 0 0 25 0 1 0 26242606 780451840 183818 1992294400 4194304 8395647 140733952596448 18446744073709551615 6698068 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190540 183818 617 1026 0 189510 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 762160

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30031
/proc/meminfo: memFree=1030888/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762160 CPUtime=1481.84
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188526 0 0 0 148017 167 0 0 25 0 1 0 26242606 780451840 183837 1992294400 4194304 8395647 140733952596448 18446744073709551615 6693383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190540 183837 617 1026 0 189510 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 762160

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30033
/proc/meminfo: memFree=1030888/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762160 CPUtime=1541.82
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188550 0 0 0 154012 170 0 0 25 0 1 0 26242606 780451840 183861 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190540 183861 617 1026 0 189510 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 762160

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30034
/proc/meminfo: memFree=1030764/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1601.8
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188559 0 0 0 160008 172 0 0 25 0 1 0 26242606 780587008 183870 1992294400 4194304 8395647 140733952596448 18446744073709551615 6731352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183870 617 1026 0 189543 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 762292

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30036
/proc/meminfo: memFree=1030640/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1661.78
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188574 0 0 0 166002 176 0 0 25 0 1 0 26242606 780587008 183885 1992294400 4194304 8395647 140733952596448 18446744073709551615 6731391 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183885 617 1026 0 189543 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 762292

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30038
/proc/meminfo: memFree=1030516/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1721.76
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188583 0 0 0 171997 179 0 0 25 0 1 0 26242606 780587008 183894 1992294400 4194304 8395647 140733952596448 18446744073709551615 6693725 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183894 617 1026 0 189543 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 762292

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30039
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1781.74
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188597 0 0 0 177992 182 0 0 25 0 1 0 26242606 780587008 183908 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183908 617 1026 0 189543 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 762292

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

[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30039
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1784.94
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188597 0 0 0 178312 182 0 0 25 0 1 0 26242606 780587008 183908 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183908 617 1026 0 189543 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 762292

[startup+1788.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30039
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1788.14
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188597 0 0 0 178631 183 0 0 25 0 1 0 26242606 780587008 183908 1992294400 4194304 8395647 140733952596448 18446744073709551615 6503069 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183908 617 1026 0 189543 0
Current children cumulated CPU time (s) 1788.14
Current children cumulated vsize (KiB) 762292

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30040
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1791.34
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188598 0 0 0 178951 183 0 0 25 0 1 0 26242606 780587008 183909 1992294400 4194304 8395647 140733952596448 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183909 617 1026 0 189543 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 762292

[startup+1792.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30040
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1792.14
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188598 0 0 0 179031 183 0 0 25 0 1 0 26242606 780587008 183909 1992294400 4194304 8395647 140733952596448 18446744073709551615 6652668 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183909 617 1026 0 189543 0
Current children cumulated CPU time (s) 1792.14
Current children cumulated vsize (KiB) 762292

[startup+1793.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30040
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=762292 CPUtime=1792.94
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188610 0 0 0 179111 183 0 0 25 0 1 0 26242606 780587008 183921 1992294400 4194304 8395647 140733952596448 18446744073709551615 5207967 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 190573 183921 629 1026 0 189543 0
Current children cumulated CPU time (s) 1792.94
Current children cumulated vsize (KiB) 762292

[startup+1793.9 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30040
/proc/meminfo: memFree=1030268/2059040 swapFree=4139776/4192956
[pid=29988] ppid=29986 vsize=527776 CPUtime=1793.34
/proc/29988/stat : 29988 (pbscip.linux.x8) R 29986 29988 28730 0 -1 4202496 188611 0 0 0 179147 187 0 0 25 0 1 0 26242606 540442624 97475 1992294400 4194304 8395647 140733952596448 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29988/statm: 131944 97475 597 1026 0 130914 0
Current children cumulated CPU time (s) 1793.34
Current children cumulated vsize (KiB) 527776

Child status: 0
Real time (s): 1793.94
CPU time (s): 1793.39
CPU user time (s): 1791.48
CPU system time (s): 1.91271
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 762292

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

runsolver used 3.64644 second user time and 9.39057 second system time

The end

Launcher Data 

Begin job on node035 at 2010-07-08 11:11:56
IDJOB=2704698
IDBENCH=73562
IDSOLVER=1213
FILE ID=node035/2704698-1278580316
PBS_JOBID= 11240089
Free space on /tmp= 62488 MiB

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

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

MD5SUM BENCH= 142eb7aa6e3fc22a3161df6b33ced1a2
RANDOM SEED=1280124213

node035.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.212
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.212
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:       1766184 kB
Buffers:         28944 kB
Cached:         165540 kB
SwapCached:       7352 kB
Active:          88540 kB
Inactive:       120704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1766184 kB
SwapTotal:     4192956 kB
SwapFree:      4139776 kB
Dirty:           16004 kB
Writeback:           8 kB
AnonPages:       12676 kB
Mapped:          12096 kB
Slab:            61692 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180608 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= 62480 MiB
End job on node035 at 2010-07-08 11:41:51