Trace number 2704718

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? 1794.33 1794.84

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
MD5SUM9569f42797128c8734a8cda484f54275
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 variables57354
Total number of constraints201250
Number of constraints which are clauses200306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704718-1278580311.opb>
3.10/3.10	c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 201250 constraints
3.10/3.10	c problem read
3.10/3.10	c No objective function, only one solution is needed.
3.10/3.11	c presolving settings loaded
4.09/4.15	c presolving:
14.89/14.99	c (round 1) 8160 del vars, 23881 del conss, 6491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12640714 impls, 0 clqs
18.29/18.35	c (round 2) 14505 del vars, 52664 del conss, 12407 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12684438 impls, 0 clqs
21.08/21.14	c (round 3) 17139 del vars, 64606 del conss, 14055 chg bounds, 25 chg sides, 36 chg coeffs, 0 upgd conss, 12709116 impls, 0 clqs
24.68/24.77	c (round 4) 18752 del vars, 71250 del conss, 15218 chg bounds, 41 chg sides, 54 chg coeffs, 0 upgd conss, 12727730 impls, 0 clqs
27.88/27.93	c (round 5) 19956 del vars, 76274 del conss, 16028 chg bounds, 43 chg sides, 56 chg coeffs, 0 upgd conss, 12740654 impls, 0 clqs
29.59/29.67	c (round 6) 20488 del vars, 78707 del conss, 16339 chg bounds, 45 chg sides, 58 chg coeffs, 0 upgd conss, 12747563 impls, 0 clqs
30.87/30.96	c (round 7) 20883 del vars, 80423 del conss, 16586 chg bounds, 49 chg sides, 62 chg coeffs, 0 upgd conss, 12751151 impls, 0 clqs
31.37/31.48	c (round 8) 21052 del vars, 81237 del conss, 16679 chg bounds, 49 chg sides, 62 chg coeffs, 0 upgd conss, 12752206 impls, 0 clqs
31.67/31.73	c (round 9) 21112 del vars, 81530 del conss, 16706 chg bounds, 49 chg sides, 62 chg coeffs, 0 upgd conss, 12752564 impls, 0 clqs
31.78/31.86	c (round 10) 21122 del vars, 81604 del conss, 16711 chg bounds, 49 chg sides, 62 chg coeffs, 0 upgd conss, 12752642 impls, 0 clqs
31.88/31.97	c (round 11) 21124 del vars, 81623 del conss, 16712 chg bounds, 49 chg sides, 62 chg coeffs, 0 upgd conss, 12752660 impls, 0 clqs
32.88/32.98	c (round 12) 21124 del vars, 81626 del conss, 16712 chg bounds, 49 chg sides, 62 chg coeffs, 119624 upgd conss, 12752660 impls, 0 clqs
34.87/34.98	c (round 13) 21124 del vars, 81626 del conss, 16712 chg bounds, 94 chg sides, 287 chg coeffs, 119624 upgd conss, 12753544 impls, 4911 clqs
35.97/36.07	c presolving (14 rounds):
35.97/36.07	c  21124 deleted vars, 81626 deleted constraints, 16712 tightened bounds, 0 added holes, 102 changed sides, 354 changed coefficients
35.97/36.07	c  12753544 implications, 5248 cliques
35.97/36.07	c presolved problem has 36230 variables (36230 bin, 0 int, 0 impl, 0 cont) and 119624 constraints
35.97/36.07	c     928 constraints of type <knapsack>
35.97/36.07	c  100905 constraints of type <setppc>
35.97/36.07	c   17791 constraints of type <logicor>
35.97/36.07	c transformed objective value is always integral (scale: 1)
35.97/36.07	c Presolving Time: 32.26
35.97/36.07	c - non default parameters ----------------------------------------------------------------------
35.97/36.07	c # SCIP version 1.2.1.3
35.97/36.07	c 
35.97/36.07	c # frequency for displaying node information lines
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 100]
35.97/36.07	c display/freq = 10000
35.97/36.07	c 
35.97/36.07	c # maximal time in seconds to run
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
35.97/36.07	c limits/time = 1786.89
35.97/36.07	c 
35.97/36.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
35.97/36.07	c limits/memory = 1620
35.97/36.07	c 
35.97/36.07	c # solving stops, if the given number of solutions were found (-1: no limit)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: -1]
35.97/36.07	c limits/solutions = 1
35.97/36.07	c 
35.97/36.07	c # maximal number of separation rounds per node (-1: unlimited)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 5]
35.97/36.07	c separating/maxrounds = 1
35.97/36.07	c 
35.97/36.07	c # maximal number of separation rounds in the root node (-1: unlimited)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: -1]
35.97/36.07	c separating/maxroundsroot = 5
35.97/36.07	c 
35.97/36.07	c # default clock type (1: CPU user seconds, 2: wall clock time)
35.97/36.07	c # [type: int, range: [1,2], default: 1]
35.97/36.07	c timing/clocktype = 2
35.97/36.07	c 
35.97/36.07	c # should presolving try to simplify inequalities
35.97/36.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
35.97/36.07	c constraints/linear/simplifyinequalities = TRUE
35.97/36.07	c 
35.97/36.07	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
35.97/36.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
35.97/36.07	c constraints/indicator/addCouplingCons = TRUE
35.97/36.07	c 
35.97/36.07	c # should disaggregation of knapsack constraints be allowed in preprocessing?
35.97/36.07	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
35.97/36.07	c constraints/knapsack/disaggregation = FALSE
35.97/36.07	c 
35.97/36.07	c # should presolving try to simplify knapsacks
35.97/36.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
35.97/36.07	c constraints/knapsack/simplifyinequalities = TRUE
35.97/36.07	c 
35.97/36.07	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: -1]
35.97/36.07	c presolving/probing/maxrounds = 0
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/coefdiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.07	c heuristics/coefdiving/maxlpiterquot = 0.075
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/coefdiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 30]
35.97/36.07	c heuristics/crossover/freq = -1
35.97/36.07	c 
35.97/36.07	c # number of nodes added to the contingent of the total nodes
35.97/36.07	c # [type: longint, range: [0,9223372036854775807], default: 500]
35.97/36.07	c heuristics/crossover/nodesofs = 750
35.97/36.07	c 
35.97/36.07	c # number of nodes without incumbent change that heuristic should wait
35.97/36.07	c # [type: longint, range: [0,9223372036854775807], default: 200]
35.97/36.07	c heuristics/crossover/nwaitingnodes = 100
35.97/36.07	c 
35.97/36.07	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
35.97/36.07	c # [type: real, range: [0,1], default: 0.1]
35.97/36.07	c heuristics/crossover/nodesquot = 0.15
35.97/36.07	c 
35.97/36.07	c # minimum percentage of integer variables that have to be fixed 
35.97/36.07	c # [type: real, range: [0,1], default: 0.666]
35.97/36.07	c heuristics/crossover/minfixingrate = 0.5
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 20]
35.97/36.07	c heuristics/feaspump/freq = -1
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/feaspump/maxlpiterofs = 2000
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/fracdiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.07	c heuristics/fracdiving/maxlpiterquot = 0.075
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/fracdiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/guideddiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.07	c heuristics/guideddiving/maxlpiterquot = 0.075
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/guideddiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.07	c heuristics/intdiving/maxlpiterquot = 0.075
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/intshifting/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/linesearchdiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.07	c heuristics/linesearchdiving/maxlpiterquot = 0.075
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/linesearchdiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 1]
35.97/36.07	c heuristics/nlp/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 20]
35.97/36.07	c heuristics/objpscostdiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to total iteration number
35.97/36.07	c # [type: real, range: [0,1], default: 0.01]
35.97/36.07	c heuristics/objpscostdiving/maxlpiterquot = 0.015
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/objpscostdiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 1]
35.97/36.07	c heuristics/oneopt/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/pscostdiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.07	c heuristics/pscostdiving/maxlpiterquot = 0.075
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/pscostdiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 0]
35.97/36.07	c heuristics/rens/freq = -1
35.97/36.07	c 
35.97/36.07	c # minimum percentage of integer variables that have to be fixable 
35.97/36.07	c # [type: real, range: [0,1], default: 0.5]
35.97/36.07	c heuristics/rens/minfixingrate = 0.3
35.97/36.07	c 
35.97/36.07	c # number of nodes added to the contingent of the total nodes
35.97/36.07	c # [type: longint, range: [0,9223372036854775807], default: 500]
35.97/36.07	c heuristics/rens/nodesofs = 2000
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 20]
35.97/36.07	c heuristics/rootsoldiving/freq = -1
35.97/36.07	c 
35.97/36.07	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
35.97/36.07	c heuristics/rootsoldiving/maxlpiterquot = 0.015
35.97/36.07	c 
35.97/36.07	c # additional number of allowed LP iterations
35.97/36.07	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.07	c heuristics/rootsoldiving/maxlpiterofs = 1500
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 1]
35.97/36.07	c heuristics/rounding/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.07	c heuristics/shifting/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 1]
35.97/36.07	c heuristics/simplerounding/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 0]
35.97/36.07	c heuristics/trivial/freq = -1
35.97/36.07	c 
35.97/36.07	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
35.97/36.07	c # [type: int, range: [-1,2147483647], default: 1]
35.97/36.08	c heuristics/trysol/freq = -1
35.97/36.08	c 
35.97/36.08	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
35.97/36.08	c # [type: int, range: [-1,2147483647], default: 10]
35.97/36.08	c heuristics/veclendiving/freq = -1
35.97/36.08	c 
35.97/36.08	c # maximal fraction of diving LP iterations compared to node LP iterations
35.97/36.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
35.97/36.08	c heuristics/veclendiving/maxlpiterquot = 0.075
35.97/36.08	c 
35.97/36.08	c # additional number of allowed LP iterations
35.97/36.08	c # [type: int, range: [0,2147483647], default: 1000]
35.97/36.08	c heuristics/veclendiving/maxlpiterofs = 1500
35.97/36.08	c 
35.97/36.08	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
35.97/36.08	c # [type: int, range: [-1,2147483647], default: 1]
35.97/36.08	c heuristics/zirounding/freq = -1
35.97/36.08	c 
35.97/36.08	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
35.97/36.08	c # [type: int, range: [-1,2147483647], default: 0]
35.97/36.08	c separating/cmir/freq = -1
35.97/36.08	c 
35.97/36.08	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
35.97/36.08	c # [type: int, range: [-1,2147483647], default: 0]
35.97/36.08	c separating/flowcover/freq = -1
35.97/36.08	c 
35.97/36.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
35.97/36.08	c # [type: int, range: [-1,2147483647], default: -1]
35.97/36.08	c separating/rapidlearning/freq = 0
35.97/36.08	c 
35.97/36.08	c -----------------------------------------------------------------------------------------------
35.97/36.08	c start solving
36.06/36.11	c 
1793.18/1793.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1793.18/1793.74	c  1791s|     1 |     0 | 53907 |     - | 521M|   0 |   - |  36k| 119k|  36k| 119k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1793.28/1793.81	c  1791s|     1 |     2 | 53907 |     - | 521M|   0 |   - |  36k| 119k|  36k| 119k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1793.28/1793.81	c 
1793.28/1793.81	c SCIP Status        : solving was interrupted [time limit reached]
1793.28/1793.81	c Solving Time (sec) : 1790.69
1793.28/1793.81	c Solving Nodes      : 1
1793.28/1793.81	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1793.28/1793.81	c Dual Bound         : +0.00000000000000e+00
1793.28/1793.81	c Gap                : infinite
1793.28/1793.81	s UNKNOWN
1793.28/1793.81	c SCIP Status        : solving was interrupted [time limit reached]
1793.28/1793.81	c Solving Time       :    1790.69
1793.28/1793.81	c Original Problem   :
1793.28/1793.81	c   Problem name     : HOME/instance-2704718-1278580311.opb
1793.28/1793.81	c   Variables        : 57354 (57354 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.28/1793.81	c   Constraints      : 201250 initial, 201250 maximal
1793.28/1793.81	c Presolved Problem  :
1793.28/1793.81	c   Problem name     : t_HOME/instance-2704718-1278580311.opb
1793.28/1793.81	c   Variables        : 36230 (36230 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.28/1793.81	c   Constraints      : 119624 initial, 119624 maximal
1793.28/1793.81	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.28/1793.81	c   trivial          :       0.11        973          0          0          0          0          0          0          0
1793.28/1793.81	c   dualfix          :       0.15        110          0          0          0          0          0          0          0
1793.28/1793.81	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.28/1793.81	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.28/1793.81	c   implics          :       0.81          0          0          0          0          0          0          0          0
1793.28/1793.81	c   probing          :       0.00          0          0          0          0          0          0          0          0
1793.28/1793.81	c   knapsack         :       2.38          0          0          0          0          0          0         53        292
1793.28/1793.81	c   setppc           :       0.46          0          0          0          0          0          0          0          0
1793.28/1793.81	c   linear           :      27.58      15751       4290          0      16712          0      81626         49         62
1793.28/1793.81	c   logicor          :       0.08          0          0          0          0          0          0          0          0
1793.28/1793.81	c   root node        :          -          0          -          -          0          -          -          -          -
1793.28/1793.81	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.28/1793.81	c   integral         :          0          0          0          0          0          0          0          0          0          0
1793.28/1793.81	c   knapsack         :        928          0          1          0          1          0          0          0          0          0
1793.28/1793.81	c   setppc           :     100905          0          1          0          1          0          0          0          0          0
1793.28/1793.81	c   logicor          :      17791          0          1          0          1          0          0          0          0          0
1793.28/1793.81	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1793.28/1793.81	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.28/1793.81	c   integral         :       0.00       0.00       0.00       0.00       0.00
1793.28/1793.81	c   knapsack         :       0.00       0.00       0.00       0.00       0.00
1793.28/1793.81	c   setppc           :       0.05       0.00       0.01       0.00       0.04
1793.28/1793.81	c   logicor          :       0.04       0.00       0.03       0.00       0.01
1793.28/1793.81	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.28/1793.81	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.28/1793.81	c   vbounds          :       0.00          1          0          0
1793.28/1793.81	c   rootredcost      :       0.00          0          0          0
1793.28/1793.81	c   pseudoobj        :       0.00          0          0          0
1793.28/1793.81	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.28/1793.81	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.28/1793.81	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.28/1793.81	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.28/1793.81	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.28/1793.81	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.28/1793.81	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.28/1793.81	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.28/1793.81	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.28/1793.81	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1793.28/1793.81	c   redcost          :       0.00          0          0          0          0          0
1793.28/1793.81	c   impliedbounds    :       0.00          0          0          0          0          0
1793.28/1793.81	c   intobj           :       0.00          0          0          0          0          0
1793.28/1793.81	c   cgmip            :       0.00          0          0          0          0          0
1793.28/1793.81	c   gomory           :       0.00          0          0          0          0          0
1793.28/1793.81	c   strongcg         :       0.00          0          0          0          0          0
1793.28/1793.81	c   cmir             :       0.00          0          0          0          0          0
1793.28/1793.81	c   flowcover        :       0.00          0          0          0          0          0
1793.28/1793.81	c   clique           :       0.00          0          0          0          0          0
1793.28/1793.81	c   zerohalf         :       0.00          0          0          0          0          0
1793.28/1793.81	c   mcf              :       0.00          0          0          0          0          0
1793.28/1793.81	c   rapidlearning    :       0.00          0          0          0          0          0
1793.28/1793.81	c Pricers            :       Time      Calls       Vars
1793.28/1793.81	c   problem variables:       0.00          0          0
1793.28/1793.81	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.28/1793.81	c   relpscost        :       0.00          0          0          0          0          0          0
1793.28/1793.81	c   pscost           :       0.00          0          0          0          0          0          0
1793.28/1793.81	c   inference        :       0.01          1          0          0          0          0          2
1793.28/1793.81	c   mostinf          :       0.00          0          0          0          0          0          0
1793.28/1793.81	c   leastinf         :       0.00          0          0          0          0          0          0
1793.28/1793.81	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.28/1793.81	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.28/1793.81	c   random           :       0.00          0          0          0          0          0          0
1793.28/1793.81	c Primal Heuristics  :       Time      Calls      Found
1793.28/1793.81	c   LP solutions     :       0.00          -          0
1793.28/1793.81	c   pseudo solutions :       0.00          -          0
1793.28/1793.81	c   trivial          :       0.11          1          0
1793.28/1793.81	c   simplerounding   :       0.00          0          0
1793.28/1793.81	c   zirounding       :       0.00          0          0
1793.28/1793.81	c   rounding         :       0.00          0          0
1793.28/1793.81	c   shifting         :       0.00          0          0
1793.28/1793.81	c   intshifting      :       0.00          0          0
1793.28/1793.81	c   oneopt           :       0.00          0          0
1793.28/1793.81	c   twoopt           :       0.00          0          0
1793.28/1793.81	c   fixandinfer      :       0.00          0          0
1793.28/1793.81	c   feaspump         :       0.00          0          0
1793.28/1793.81	c   coefdiving       :       0.00          0          0
1793.28/1793.81	c   pscostdiving     :       0.00          0          0
1793.28/1793.81	c   fracdiving       :       0.00          0          0
1793.28/1793.81	c   veclendiving     :       0.00          0          0
1793.28/1793.81	c   intdiving        :       0.00          0          0
1793.28/1793.81	c   actconsdiving    :       0.00          0          0
1793.28/1793.81	c   objpscostdiving  :       0.00          0          0
1793.28/1793.81	c   rootsoldiving    :       0.00          0          0
1793.28/1793.81	c   linesearchdiving :       0.00          0          0
1793.28/1793.81	c   guideddiving     :       0.00          0          0
1793.28/1793.81	c   octane           :       0.00          0          0
1793.28/1793.81	c   rens             :       0.00          0          0
1793.28/1793.81	c   rins             :       0.00          0          0
1793.28/1793.81	c   localbranching   :       0.00          0          0
1793.28/1793.81	c   mutation         :       0.00          0          0
1793.28/1793.81	c   crossover        :       0.00          0          0
1793.28/1793.81	c   dins             :       0.00          0          0
1793.28/1793.81	c   undercover       :       0.00          0          0
1793.28/1793.81	c   nlp              :       0.00          0          0
1793.28/1793.81	c   trysol           :       0.00          0          0
1793.28/1793.81	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.28/1793.81	c   primal LP        :       0.00          0          0       0.00          -
1793.28/1793.81	c   dual LP          :    1756.94          1      53907   53907.00      30.68
1793.28/1793.81	c   lex dual LP      :       0.00          0          0       0.00          -
1793.28/1793.81	c   barrier LP       :       0.00          0          0       0.00          -
1793.28/1793.81	c   diving/probing LP:       0.00          0          0       0.00          -
1793.28/1793.81	c   strong branching :       0.00          0          0       0.00          -
1793.28/1793.81	c     (at root node) :          -          0          0       0.00          -
1793.28/1793.81	c   conflict analysis:       0.00          0          0       0.00          -
1793.28/1793.81	c B&B Tree           :
1793.28/1793.81	c   number of runs   :          1
1793.28/1793.81	c   nodes            :          1
1793.28/1793.81	c   nodes (total)    :          1
1793.28/1793.81	c   nodes left       :          2
1793.28/1793.81	c   max depth        :          0
1793.28/1793.81	c   max depth (total):          0
1793.28/1793.81	c   backtracks       :          0 (0.0%)
1793.28/1793.81	c   delayed cutoffs  :          0
1793.28/1793.81	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.28/1793.81	c   avg switch length:       1.00
1793.28/1793.81	c   switching time   :       0.00
1793.28/1793.81	c Solution           :
1793.28/1793.81	c   Solutions found  :          0 (0 improvements)
1793.28/1793.81	c   Primal Bound     :          -
1793.28/1793.81	c   Dual Bound       : +0.00000000000000e+00
1793.28/1793.81	c   Gap              :   infinite
1793.28/1793.81	c   Root Dual Bound  : +0.00000000000000e+00
1793.28/1793.81	c   Root Iterations  :      53907
1794.27/1794.83	c Time complete: 1794.31.

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-2704718-1278580311/watcher-2704718-1278580311 -o /tmp/evaluation-result-2704718-1278580311/solver-2704718-1278580311 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704718-1278580311.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.94 0.98 0.97 3/106 30523
/proc/meminfo: memFree=1748892/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=7904 CPUtime=0
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 1247 0 0 0 0 0 0 0 20 0 1 0 26238014 8093696 1159 1992294400 4194304 8395647 140734575915104 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 1976 1168 365 1026 0 946 0

[startup+0.062998 s]
/proc/loadavg: 0.94 0.98 0.97 3/106 30523
/proc/meminfo: memFree=1748892/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=14612 CPUtime=0.05
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 2940 0 0 0 5 0 0 0 20 0 1 0 26238014 14962688 2852 1992294400 4194304 8395647 140734575915104 18446744073709551615 7380258 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 3653 2852 390 1026 0 2623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14612

[startup+0.100997 s]
/proc/loadavg: 0.94 0.98 0.97 3/106 30523
/proc/meminfo: memFree=1748892/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=18416 CPUtime=0.1
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 3877 0 0 0 9 1 0 0 20 0 1 0 26238014 18857984 3789 1992294400 4194304 8395647 140734575915104 18446744073709551615 6765709 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 4604 3789 390 1026 0 3574 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18416

[startup+0.300991 s]
/proc/loadavg: 0.94 0.98 0.97 3/106 30523
/proc/meminfo: memFree=1748892/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=32636 CPUtime=0.29
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 7432 0 0 0 27 2 0 0 20 0 1 0 26238014 33419264 7344 1992294400 4194304 8395647 140734575915104 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 8159 7344 390 1026 0 7129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32636

[startup+0.700979 s]
/proc/loadavg: 0.94 0.98 0.97 3/106 30523
/proc/meminfo: memFree=1748892/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=46964 CPUtime=0.69
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 10998 0 0 0 66 3 0 0 21 0 1 0 26238014 48091136 10910 1992294400 4194304 8395647 140734575915104 18446744073709551615 7301317 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 11741 10910 390 1026 0 10711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46964

[startup+1.50096 s]
/proc/loadavg: 0.94 0.98 0.97 2/107 30526
/proc/meminfo: memFree=1697920/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=67524 CPUtime=1.49
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 16173 0 0 0 144 5 0 0 23 0 1 0 26238014 69144576 16085 1992294400 4194304 8395647 140734575915104 18446744073709551615 7301326 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 16881 16085 390 1026 0 15851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67524

[startup+3.10191 s]
/proc/loadavg: 0.94 0.98 0.97 2/107 30526
/proc/meminfo: memFree=1662456/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=121624 CPUtime=3.1
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 29602 0 0 0 299 11 0 0 25 0 1 0 26238014 124542976 29514 1992294400 4194304 8395647 140734575915104 18446744073709551615 5758814 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 30406 29514 390 1026 0 29376 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 121624

[startup+6.30081 s]
/proc/loadavg: 0.94 0.98 0.97 2/107 30526
/proc/meminfo: memFree=1390772/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=412252 CPUtime=6.28
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 101118 0 0 0 593 35 0 0 25 0 1 0 26238014 422146048 100676 1992294400 4194304 8395647 140734575915104 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 103063 100690 469 1026 0 102033 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 412252

[startup+12.7006 s]
/proc/loadavg: 0.95 0.98 0.97 2/107 30526
/proc/meminfo: memFree=1163728/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=619172 CPUtime=12.69
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 150339 0 0 0 1216 53 0 0 25 0 1 0 26238014 634032128 149897 1992294400 4194304 8395647 140734575915104 18446744073709551615 5050459 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 154793 149897 469 1026 0 153763 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 619172

[startup+25.5002 s]
/proc/loadavg: 0.96 0.98 0.97 2/107 30526
/proc/meminfo: memFree=1105820/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=665120 CPUtime=25.48
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 161268 0 0 0 2491 57 0 0 25 0 1 0 26238014 681082880 160826 1992294400 4194304 8395647 140734575915104 18446744073709551615 6085522 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 166280 160826 475 1026 0 165250 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 665120

[startup+51.1005 s]
/proc/loadavg: 0.97 0.98 0.97 2/107 30526
/proc/meminfo: memFree=944124/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=847520 CPUtime=51.05
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 208375 0 0 0 5028 77 0 0 25 0 1 0 26238014 867860480 201695 1992294400 4194304 8395647 140734575915104 18446744073709551615 6669594 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 211880 201695 703 1026 0 210850 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 847520

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30528
/proc/meminfo: memFree=934328/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=853596 CPUtime=102.25
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 210550 0 0 0 10139 86 0 0 25 0 1 0 26238014 874082304 203848 1992294400 4194304 8395647 140734575915104 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 213399 203848 684 1026 0 212369 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 853596

[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30530
/proc/meminfo: memFree=928748/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=857288 CPUtime=162.22
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 211972 0 0 0 16128 94 0 0 25 0 1 0 26238014 877862912 205258 1992294400 4194304 8395647 140734575915104 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 214322 205258 682 1026 0 213292 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 857288

[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30530
/proc/meminfo: memFree=921432/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=865296 CPUtime=222.21
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 213774 0 0 0 22118 103 0 0 25 0 1 0 26238014 886063104 207059 1992294400 4194304 8395647 140734575915104 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 216324 207059 682 1026 0 215294 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 865296

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30532
/proc/meminfo: memFree=921060/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=865296 CPUtime=282.19
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 213849 0 0 0 28109 110 0 0 25 0 1 0 26238014 886063104 207117 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 216324 207117 665 1026 0 215294 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 865296

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30534
/proc/meminfo: memFree=917092/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=868752 CPUtime=342.18
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 214838 0 0 0 34102 116 0 0 25 0 1 0 26238014 889602048 208106 1992294400 4194304 8395647 140734575915104 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 217188 208106 665 1026 0 216158 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 868752

[startup+402.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30536
/proc/meminfo: memFree=916348/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=869104 CPUtime=402.16
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 215005 0 0 0 40094 122 0 0 25 0 1 0 26238014 889962496 208273 1992294400 4194304 8395647 140734575915104 18446744073709551615 6670318 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 217276 208273 665 1026 0 216246 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 869104

[startup+462.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30538
/proc/meminfo: memFree=912504/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=873336 CPUtime=462.15
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 215962 0 0 0 46086 129 0 0 25 0 1 0 26238014 894296064 209230 1992294400 4194304 8395647 140734575915104 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 218334 209230 665 1026 0 217304 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 873336

[startup+522.301 s]
/proc/loadavg: 1.04 1.00 0.98 2/107 30541
/proc/meminfo: memFree=911380/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=873720 CPUtime=522.12
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 216192 0 0 0 52076 136 0 0 25 0 1 0 26238014 894689280 209427 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697804 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 218430 209427 691 1026 0 217400 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 873720

[startup+582.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/107 30543
/proc/meminfo: memFree=910760/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=874124 CPUtime=582.1
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 216345 0 0 0 58069 141 0 0 25 0 1 0 26238014 895102976 209580 1992294400 4194304 8395647 140734575915104 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 218531 209580 691 1026 0 217501 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 874124

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30545
/proc/meminfo: memFree=910140/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=874452 CPUtime=642.09
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 216504 0 0 0 64063 146 0 0 25 0 1 0 26238014 895438848 209716 1992294400 4194304 8395647 140734575915104 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 218613 209716 668 1026 0 217583 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 874452

[startup+702.3 s]

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

/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1121.95
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220421 0 0 0 112010 185 0 0 25 0 1 0 26238014 907329536 213485 1992294400 4194304 8395647 140734575915104 18446744073709551615 6702057 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213485 614 1026 0 220486 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 886064

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 0.98 2/107 30559
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1181.94
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220422 0 0 0 118005 189 0 0 25 0 1 0 26238014 907329536 213486 1992294400 4194304 8395647 140734575915104 18446744073709551615 6702084 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213486 614 1026 0 220486 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 886064

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30561
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1241.93
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220425 0 0 0 123999 194 0 0 25 0 1 0 26238014 907329536 213489 1992294400 4194304 8395647 140734575915104 18446744073709551615 6702063 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213489 614 1026 0 220486 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 886064

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30563
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1301.91
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220427 0 0 0 129994 197 0 0 25 0 1 0 26238014 907329536 213491 1992294400 4194304 8395647 140734575915104 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213491 614 1026 0 220486 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 886064

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30565
/proc/meminfo: memFree=894400/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1361.89
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220427 0 0 0 135987 202 0 0 25 0 1 0 26238014 907329536 213491 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213491 614 1026 0 220486 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 886064

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30565
/proc/meminfo: memFree=894400/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1421.89
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220429 0 0 0 141983 206 0 0 25 0 1 0 26238014 907329536 213493 1992294400 4194304 8395647 140734575915104 18446744073709551615 6391404 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213493 614 1026 0 220486 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 886064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30567
/proc/meminfo: memFree=894400/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1481.86
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220429 0 0 0 147975 211 0 0 25 0 1 0 26238014 907329536 213493 1992294400 4194304 8395647 140734575915104 18446744073709551615 6702024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213493 614 1026 0 220486 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 886064

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30569
/proc/meminfo: memFree=894772/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1541.85
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220431 0 0 0 153971 214 0 0 25 0 1 0 26238014 907329536 213495 1992294400 4194304 8395647 140734575915104 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213495 614 1026 0 220486 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 886064

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30571
/proc/meminfo: memFree=894648/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=886064 CPUtime=1601.83
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220432 0 0 0 159966 217 0 0 25 0 1 0 26238014 907329536 213496 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221516 213496 614 1026 0 220486 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 886064

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30573
/proc/meminfo: memFree=894648/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1661.81
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220434 0 0 0 165960 221 0 0 25 0 1 0 26238014 908939264 213498 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213498 614 1026 0 220879 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 887636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30573
/proc/meminfo: memFree=894648/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1721.79
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220439 0 0 0 171954 225 0 0 25 0 1 0 26238014 908939264 213503 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213503 614 1026 0 220879 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 887636

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1781.78
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220446 0 0 0 177948 230 0 0 25 0 1 0 26238014 908939264 213510 1992294400 4194304 8395647 140734575915104 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213510 614 1026 0 220879 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 887636

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1784.98
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220446 0 0 0 178268 230 0 0 25 0 1 0 26238014 908939264 213510 1992294400 4194304 8395647 140734575915104 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213510 614 1026 0 220879 0
Current children cumulated CPU time (s) 1784.98
Current children cumulated vsize (KiB) 887636

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1788.18
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220447 0 0 0 178588 230 0 0 25 0 1 0 26238014 908939264 213511 1992294400 4194304 8395647 140734575915104 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213511 614 1026 0 220879 0
Current children cumulated CPU time (s) 1788.18
Current children cumulated vsize (KiB) 887636

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1791.38
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220447 0 0 0 178908 230 0 0 25 0 1 0 26238014 908939264 213511 1992294400 4194304 8395647 140734575915104 18446744073709551615 6698194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213511 614 1026 0 220879 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 887636

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1792.98
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220447 0 0 0 179067 231 0 0 25 0 1 0 26238014 908939264 213511 1992294400 4194304 8395647 140734575915104 18446744073709551615 6503822 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213511 614 1026 0 220879 0
Current children cumulated CPU time (s) 1792.98
Current children cumulated vsize (KiB) 887636

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=887636 CPUtime=1793.78
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220459 0 0 0 179147 231 0 0 18 0 1 0 26238014 908939264 213523 1992294400 4194304 8395647 140734575915104 18446744073709551615 6063859 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 221909 213523 626 1026 0 220879 0
Current children cumulated CPU time (s) 1793.78
Current children cumulated vsize (KiB) 887636

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=709820 CPUtime=1794.18
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220459 0 0 0 179186 232 0 0 19 0 1 0 26238014 726855680 172229 1992294400 4194304 8395647 140734575915104 18446744073709551615 6345835 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 177455 172229 592 1026 0 176425 0
Current children cumulated CPU time (s) 1794.18
Current children cumulated vsize (KiB) 709820

[startup+1794.8 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30575
/proc/meminfo: memFree=894524/2059040 swapFree=4134900/4192956
[pid=30523] ppid=30521 vsize=595168 CPUtime=1794.27
/proc/30523/stat : 30523 (pbscip.linux.x8) R 30521 30523 29811 0 -1 4202496 220460 0 0 0 179193 234 0 0 19 0 1 0 26238014 609452032 109589 1992294400 4194304 8395647 140734575915104 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30523/statm: 148792 109077 593 1026 0 147762 0
Current children cumulated CPU time (s) 1794.27
Current children cumulated vsize (KiB) 595168

Child status: 0
Real time (s): 1794.84
CPU time (s): 1794.33
CPU user time (s): 1791.94
CPU system time (s): 2.38864
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 887636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.94
system time used= 2.38864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220467
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= 2
involuntary context switches= 32979

runsolver used 3.70844 second user time and 9.25259 second system time

The end

Launcher Data 

Begin job on node050 at 2010-07-08 11:11:52
IDJOB=2704718
IDBENCH=73545
IDSOLVER=1213
FILE ID=node050/2704718-1278580311
PBS_JOBID= 11240076
Free space on /tmp= 62472 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-j12056_10-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-2704718-1278580311/watcher-2704718-1278580311 -o /tmp/evaluation-result-2704718-1278580311/solver-2704718-1278580311 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704718-1278580311.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9569f42797128c8734a8cda484f54275
RANDOM SEED=1969296079

node050.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.248
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.49
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.248
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1749296 kB
Buffers:         46596 kB
Cached:         164908 kB
SwapCached:      12968 kB
Active:         149328 kB
Inactive:        78092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1749296 kB
SwapTotal:     4192956 kB
SwapFree:      4134900 kB
Dirty:           19708 kB
Writeback:           0 kB
AnonPages:       12872 kB
Mapped:           8560 kB
Slab:            60364 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183916 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= 62460 MiB
End job on node050 at 2010-07-08 11:41:47