Trace number 2684982

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1801.83 1802.39

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
MD5SUMb4d4215a44d43278004dfcd0ea549fa8
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 constraints192702
Number of constraints which are clauses191758
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 754
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2684982-1278437384.opb>
3.49/3.57	c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 192702 constraints
3.49/3.57	c problem read
3.49/3.58	c No objective function, only one solution is needed.
3.49/3.58	c presolving settings loaded
3.49/3.58	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
4.59/4.62	c presolving:
14.49/14.56	c (round 1) 7404 del vars, 21488 del conss, 5713 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12193784 impls, 0 clqs
17.98/18.01	c (round 2) 13603 del vars, 47695 del conss, 11445 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12229541 impls, 0 clqs
19.18/19.20	c (round 3) 15722 del vars, 57754 del conss, 12566 chg bounds, 21 chg sides, 23 chg coeffs, 0 upgd conss, 12247839 impls, 0 clqs
21.08/21.11	c (round 4) 16831 del vars, 62010 del conss, 13312 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12261373 impls, 0 clqs
23.29/23.35	c (round 5) 17704 del vars, 65223 del conss, 13953 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12270304 impls, 0 clqs
24.98/25.08	c (round 6) 18395 del vars, 68113 del conss, 14368 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12276543 impls, 0 clqs
26.08/26.16	c (round 7) 18711 del vars, 69491 del conss, 14552 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12279282 impls, 0 clqs
26.59/26.65	c (round 8) 18841 del vars, 70086 del conss, 14605 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12280549 impls, 0 clqs
26.89/26.98	c (round 9) 18888 del vars, 70313 del conss, 14624 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12281080 impls, 0 clqs
27.19/27.22	c (round 10) 18908 del vars, 70410 del conss, 14631 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12281212 impls, 0 clqs
27.39/27.42	c (round 11) 18912 del vars, 70437 del conss, 14632 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12281266 impls, 0 clqs
28.78/28.80	c (round 12) 18914 del vars, 70452 del conss, 14633 chg bounds, 23 chg sides, 25 chg coeffs, 122250 upgd conss, 12281272 impls, 0 clqs
30.89/30.99	c presolving (13 rounds):
30.89/30.99	c  18914 deleted vars, 70453 deleted constraints, 14633 tightened bounds, 0 added holes, 26 changed sides, 185 changed coefficients
30.89/30.99	c  12281860 implications, 2692 cliques
30.89/30.99	c presolved problem has 38440 variables (38440 bin, 0 int, 0 impl, 0 cont) and 122249 constraints
30.89/30.99	c     928 constraints of type <knapsack>
30.89/30.99	c  121321 constraints of type <logicor>
30.89/30.99	c transformed objective value is always integral (scale: 1)
30.89/30.99	c Presolving Time: 25.18
30.89/30.99	c - non default parameters ----------------------------------------------------------------------
30.89/30.99	c # SCIP version 1.2.1.2
30.89/30.99	c 
30.89/30.99	c # frequency for displaying node information lines
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 100]
30.89/30.99	c display/freq = 10000
30.89/30.99	c 
30.89/30.99	c # maximal time in seconds to run
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.89/30.99	c limits/time = 1796.42
30.89/30.99	c 
30.89/30.99	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
30.89/30.99	c limits/memory = 1620
30.89/30.99	c 
30.89/30.99	c # solving stops, if the given number of solutions were found (-1: no limit)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: -1]
30.89/30.99	c limits/solutions = 1
30.89/30.99	c 
30.89/30.99	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c lp/solvefreq = -1
30.89/30.99	c 
30.89/30.99	c # maximal number of separation rounds per node (-1: unlimited)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 5]
30.89/30.99	c separating/maxrounds = 1
30.89/30.99	c 
30.89/30.99	c # maximal number of separation rounds in the root node (-1: unlimited)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: -1]
30.89/30.99	c separating/maxroundsroot = 5
30.89/30.99	c 
30.89/30.99	c # should presolving try to simplify inequalities
30.89/30.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.89/30.99	c constraints/linear/simplifyinequalities = TRUE
30.89/30.99	c 
30.89/30.99	c # should disaggregation of knapsack constraints be allowed in preprocessing?
30.89/30.99	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
30.89/30.99	c constraints/knapsack/disaggregation = FALSE
30.89/30.99	c 
30.89/30.99	c # should presolving try to simplify knapsacks
30.89/30.99	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
30.89/30.99	c constraints/knapsack/simplifyinequalities = TRUE
30.89/30.99	c 
30.89/30.99	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: -1]
30.89/30.99	c presolving/probing/maxrounds = 0
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/coefdiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/coefdiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/coefdiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 30]
30.89/30.99	c heuristics/crossover/freq = -1
30.89/30.99	c 
30.89/30.99	c # number of nodes added to the contingent of the total nodes
30.89/30.99	c # [type: longint, range: [0,9223372036854775807], default: 500]
30.89/30.99	c heuristics/crossover/nodesofs = 750
30.89/30.99	c 
30.89/30.99	c # number of nodes without incumbent change that heuristic should wait
30.89/30.99	c # [type: longint, range: [0,9223372036854775807], default: 200]
30.89/30.99	c heuristics/crossover/nwaitingnodes = 100
30.89/30.99	c 
30.89/30.99	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
30.89/30.99	c # [type: real, range: [0,1], default: 0.1]
30.89/30.99	c heuristics/crossover/nodesquot = 0.15
30.89/30.99	c 
30.89/30.99	c # minimum percentage of integer variables that have to be fixed 
30.89/30.99	c # [type: real, range: [0,1], default: 0.666]
30.89/30.99	c heuristics/crossover/minfixingrate = 0.5
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 20]
30.89/30.99	c heuristics/feaspump/freq = -1
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/feaspump/maxlpiterofs = 2000
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/fracdiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/fracdiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/fracdiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/guideddiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/guideddiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/guideddiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/intdiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/intshifting/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/linesearchdiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/linesearchdiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/linesearchdiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c heuristics/nlp/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 20]
30.89/30.99	c heuristics/objpscostdiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to total iteration number
30.89/30.99	c # [type: real, range: [0,1], default: 0.01]
30.89/30.99	c heuristics/objpscostdiving/maxlpiterquot = 0.015
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/objpscostdiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c heuristics/oneopt/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/pscostdiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/pscostdiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/pscostdiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 0]
30.89/30.99	c heuristics/rens/freq = -1
30.89/30.99	c 
30.89/30.99	c # minimum percentage of integer variables that have to be fixable 
30.89/30.99	c # [type: real, range: [0,1], default: 0.5]
30.89/30.99	c heuristics/rens/minfixingrate = 0.3
30.89/30.99	c 
30.89/30.99	c # number of nodes added to the contingent of the total nodes
30.89/30.99	c # [type: longint, range: [0,9223372036854775807], default: 500]
30.89/30.99	c heuristics/rens/nodesofs = 2000
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 20]
30.89/30.99	c heuristics/rootsoldiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
30.89/30.99	c heuristics/rootsoldiving/maxlpiterquot = 0.015
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/rootsoldiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c heuristics/rounding/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/shifting/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c heuristics/simplerounding/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 0]
30.89/30.99	c heuristics/trivial/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c heuristics/trysol/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 10]
30.89/30.99	c heuristics/veclendiving/freq = -1
30.89/30.99	c 
30.89/30.99	c # maximal fraction of diving LP iterations compared to node LP iterations
30.89/30.99	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
30.89/30.99	c heuristics/veclendiving/maxlpiterquot = 0.075
30.89/30.99	c 
30.89/30.99	c # additional number of allowed LP iterations
30.89/30.99	c # [type: int, range: [0,2147483647], default: 1000]
30.89/30.99	c heuristics/veclendiving/maxlpiterofs = 1500
30.89/30.99	c 
30.89/30.99	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 1]
30.89/30.99	c heuristics/zirounding/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 0]
30.89/30.99	c separating/cmir/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: 0]
30.89/30.99	c separating/flowcover/freq = -1
30.89/30.99	c 
30.89/30.99	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
30.89/30.99	c # [type: int, range: [-1,2147483647], default: -1]
30.89/30.99	c separating/rapidlearning/freq = 0
30.89/30.99	c 
30.89/30.99	c -----------------------------------------------------------------------------------------------
30.89/30.99	c start solving
30.98/31.03	c 
31.18/31.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.18/31.28	c  26.0s|     1 |     2 |     0 |     - | 462M|   0 |   - |  38k| 122k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
703.08/703.33	c   696s| 10000 |  6287 |     0 |   0.0 | 645M| 415 |   - |  38k| 124k|   0 |   0 |   0 |7059 |   0 | 0.000000e+00 |      --      |    Inf 
1415.65/1416.11	c  1407s| 20000 | 11077 |     0 |   0.0 | 770M| 415 |   - |  38k| 126k|   0 |   0 |   0 |  17k|   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.66	c 
1800.04/1800.66	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.66	c Solving Time (sec) : 1790.17
1800.04/1800.66	c Solving Nodes      : 26135
1800.04/1800.66	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.66	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.66	c Gap                : infinite
1800.04/1800.66	s UNKNOWN
1800.04/1800.66	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.66	c Solving Time       :    1790.17
1800.04/1800.66	c Original Problem   :
1800.04/1800.66	c   Problem name     : HOME/instance-2684982-1278437384.opb
1800.04/1800.66	c   Variables        : 57354 (57354 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.66	c   Constraints      : 192702 initial, 192702 maximal
1800.04/1800.66	c Presolved Problem  :
1800.04/1800.66	c   Problem name     : t_HOME/instance-2684982-1278437384.opb
1800.04/1800.66	c   Variables        : 38440 (38440 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.66	c   Constraints      : 122249 initial, 128406 maximal
1800.04/1800.66	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.04/1800.66	c   trivial          :       0.12       1026          0          0          0          0          0          0          0
1800.04/1800.66	c   dualfix          :       0.14        112          0          0          0          0          0          0          0
1800.04/1800.66	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.66	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.66	c   implics          :       0.81          0          0          0          0          0          0          0          0
1800.04/1800.66	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.04/1800.66	c   knapsack         :       1.71          0          0          0          0          0          0          3        160
1800.04/1800.66	c   linear           :      21.39      13679       4097          0      14633          0      70452         23         25
1800.04/1800.66	c   logicor          :       0.32          0          0          0          0          0          1          0          0
1800.04/1800.66	c   root node        :          -         96          -          -         96          -          -          -          -
1800.04/1800.66	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.66	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.04/1800.66	c   knapsack         :        928          0     606949          0      22429        931    1651021          0          0          0
1800.04/1800.66	c   logicor          :     121321+         0     595631          0      22429       4516   10272065          0          0          0
1800.04/1800.66	c   countsols        :          0          0          0          0      22002          0          0          0          0          0
1800.04/1800.66	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.04/1800.66	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.04/1800.66	c   knapsack         :     432.82       0.00     292.56       0.00     140.26
1800.04/1800.66	c   logicor          :     944.71       0.00     108.98       0.00     835.73
1800.04/1800.66	c   countsols        :       0.04       0.00       0.00       0.00       0.04
1800.04/1800.66	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.04/1800.66	c   vbounds          :       0.30          1          0          0
1800.04/1800.66	c   rootredcost      :       0.32          0          0          0
1800.04/1800.66	c   pseudoobj        :       0.37          0          0          0
1800.04/1800.66	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.66	c   propagation      :       2.80       5447       5447      36014       27.9       1000        9.4          -
1800.04/1800.66	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.66	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.66	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.66	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.66	c   applied globally :          -          -          -      22732       21.6          -          -          -
1800.04/1800.66	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.66	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.66	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.04/1800.66	c   redcost          :       0.00          0          0          0          0          0
1800.04/1800.66	c   impliedbounds    :       0.00          0          0          0          0          0
1800.04/1800.66	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.66	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.66	c   gomory           :       0.00          0          0          0          0          0
1800.04/1800.66	c   strongcg         :       0.00          0          0          0          0          0
1800.04/1800.66	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.66	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.66	c   clique           :       0.00          0          0          0          0          0
1800.04/1800.66	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.66	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.66	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.66	c Pricers            :       Time      Calls       Vars
1800.04/1800.66	c   problem variables:       0.00          0          0
1800.04/1800.66	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.66	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.66	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.66	c   inference        :     181.74      22002          0          0          0          0      44004
1800.04/1800.66	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.66	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.66	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.66	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.66	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.66	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.66	c   LP solutions     :       0.00          -          0
1800.04/1800.66	c   pseudo solutions :       0.00          -          0
1800.04/1800.66	c   trivial          :       0.11          1          0
1800.04/1800.66	c   simplerounding   :       0.00          0          0
1800.04/1800.66	c   zirounding       :       0.00          0          0
1800.04/1800.66	c   rounding         :       0.00          0          0
1800.04/1800.66	c   shifting         :       0.00          0          0
1800.04/1800.66	c   intshifting      :       0.00          0          0
1800.04/1800.66	c   oneopt           :       0.00          0          0
1800.04/1800.66	c   twoopt           :       0.00          0          0
1800.04/1800.66	c   fixandinfer      :       0.00          0          0
1800.04/1800.66	c   feaspump         :       0.00          0          0
1800.04/1800.66	c   coefdiving       :       0.00          0          0
1800.04/1800.66	c   pscostdiving     :       0.00          0          0
1800.04/1800.66	c   fracdiving       :       0.00          0          0
1800.04/1800.66	c   veclendiving     :       0.00          0          0
1800.04/1800.66	c   intdiving        :       0.00          0          0
1800.04/1800.66	c   actconsdiving    :       0.00          0          0
1800.04/1800.66	c   objpscostdiving  :       0.00          0          0
1800.04/1800.66	c   rootsoldiving    :       0.00          0          0
1800.04/1800.66	c   linesearchdiving :       0.00          0          0
1800.04/1800.66	c   guideddiving     :       0.00          0          0
1800.04/1800.66	c   octane           :       0.00          0          0
1800.04/1800.66	c   rens             :       0.00          0          0
1800.04/1800.66	c   rins             :       0.00          0          0
1800.04/1800.66	c   localbranching   :       0.00          0          0
1800.04/1800.66	c   mutation         :       0.00          0          0
1800.04/1800.66	c   crossover        :       0.00          0          0
1800.04/1800.66	c   dins             :       0.00          0          0
1800.04/1800.66	c   undercover       :       0.00          0          0
1800.04/1800.66	c   nlp              :       0.00          0          0
1800.04/1800.66	c   trysol           :       0.00          0          0
1800.04/1800.66	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.66	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.66	c   dual LP          :       0.00          0          0       0.00          -
1800.04/1800.66	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.66	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.66	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.66	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.66	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.66	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.66	c B&B Tree           :
1800.04/1800.66	c   number of runs   :          1
1800.04/1800.66	c   nodes            :      26135
1800.04/1800.66	c   nodes (total)    :      26135
1800.04/1800.66	c   nodes left       :      15444
1800.04/1800.66	c   max depth        :        415
1800.04/1800.66	c   max depth (total):        415
1800.04/1800.66	c   backtracks       :       1459 (5.6%)
1800.04/1800.66	c   delayed cutoffs  :       2426
1800.04/1800.66	c   repropagations   :      21164 (1541788 domain reductions, 1314 cutoffs)
1800.04/1800.66	c   avg switch length:       4.82
1800.04/1800.66	c   switching time   :     173.61
1800.04/1800.66	c Solution           :
1800.04/1800.66	c   Solutions found  :          0 (0 improvements)
1800.04/1800.66	c   Primal Bound     :          -
1800.04/1800.66	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.66	c   Gap              :   infinite
1800.04/1800.66	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.66	c   Root Iterations  :          0
1801.72/1802.39	c Time complete: 1801.81.

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-2684982-1278437384/watcher-2684982-1278437384 -o /tmp/evaluation-result-2684982-1278437384/solver-2684982-1278437384 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684982-1278437384.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.07 1.01 3/106 19573
/proc/meminfo: memFree=1740000/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=6584 CPUtime=0
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 949 0 0 0 0 0 0 0 15 0 1 0 11946069 6742016 872 1992294400 4194304 7136930 140736270459200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 1646 881 254 719 0 925 0

[startup+0.0234139 s]
/proc/loadavg: 1.02 1.07 1.01 3/106 19573
/proc/meminfo: memFree=1740000/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=8924 CPUtime=0.01
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 1707 0 0 0 1 0 0 0 15 0 1 0 11946069 9138176 1630 1992294400 4194304 7136930 140736270459200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 2231 1630 268 719 0 1510 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8924

[startup+0.100422 s]
/proc/loadavg: 1.02 1.07 1.01 3/106 19573
/proc/meminfo: memFree=1740000/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=14904 CPUtime=0.09
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 3203 0 0 0 8 1 0 0 18 0 1 0 11946069 15261696 3126 1992294400 4194304 7136930 140736270459200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 3726 3126 268 719 0 3005 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14904

[startup+0.300443 s]
/proc/loadavg: 1.02 1.07 1.01 3/106 19573
/proc/meminfo: memFree=1740000/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=26864 CPUtime=0.29
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 6164 0 0 0 27 2 0 0 18 0 1 0 11946069 27508736 6078 1992294400 4194304 7136930 140736270459200 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 6716 6087 268 719 0 5995 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26864

[startup+0.700487 s]
/proc/loadavg: 1.02 1.07 1.01 3/106 19573
/proc/meminfo: memFree=1740000/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=42144 CPUtime=0.69
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 9995 0 0 0 66 3 0 0 18 0 1 0 11946069 43155456 9909 1992294400 4194304 7136930 140736270459200 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 10536 9909 268 719 0 9815 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42144

[startup+1.50057 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 19575
/proc/meminfo: memFree=1695600/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=58740 CPUtime=1.49
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 14145 0 0 0 145 4 0 0 20 0 1 0 11946069 60149760 14059 1992294400 4194304 7136930 140736270459200 18446744073709551615 5648921 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 14685 14059 268 719 0 13964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58740

[startup+3.10075 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 19575
/proc/meminfo: memFree=1668816/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=107320 CPUtime=3.09
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 26307 0 0 0 300 9 0 0 24 0 1 0 11946069 109895680 26221 1992294400 4194304 7136930 140736270459200 18446744073709551615 6349712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 26830 26221 268 719 0 26109 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107320

[startup+6.3011 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 19575
/proc/meminfo: memFree=1413128/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=385904 CPUtime=6.29
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 95312 0 0 0 591 38 0 0 25 0 1 0 11946069 395165696 94853 1992294400 4194304 7136930 140736270459200 18446744073709551615 5956873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 96476 94853 341 719 0 95755 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 385904

[startup+12.7008 s]
/proc/loadavg: 1.02 1.07 1.01 2/107 19575
/proc/meminfo: memFree=1165624/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=609928 CPUtime=12.69
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 147983 0 0 0 1200 69 0 0 25 0 1 0 11946069 624566272 147524 1992294400 4194304 7136930 140736270459200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 152482 147524 346 719 0 151761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 609928

[startup+25.5002 s]
/proc/loadavg: 1.01 1.06 1.01 2/107 19575
/proc/meminfo: memFree=1115404/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=642652 CPUtime=25.48
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 157924 0 0 0 2433 115 0 0 25 0 1 0 11946069 658075648 155923 1992294400 4194304 7136930 140736270459200 18446744073709551615 5966342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 160663 155923 346 719 0 159942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 642652

[startup+51.101 s]
/proc/loadavg: 1.01 1.06 1.01 2/107 19575
/proc/meminfo: memFree=1079444/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=688228 CPUtime=51.08
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 185752 0 0 0 4925 183 0 0 25 0 1 0 11946069 704745472 166376 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 172057 166376 393 719 0 171336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 688228

[startup+102.308 s]
/proc/loadavg: 1.00 1.05 1.00 2/107 19577
/proc/meminfo: memFree=1041252/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=722760 CPUtime=102.27
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 194155 0 0 0 10030 197 0 0 25 0 1 0 11946069 740106240 174779 1992294400 4194304 7136930 140736270459200 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 180690 174779 393 719 0 179969 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 722760

[startup+162.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 19579
/proc/meminfo: memFree=1013104/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=751460 CPUtime=162.24
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 201083 0 0 0 16009 215 0 0 25 0 1 0 11946069 769495040 181707 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 187865 181707 393 719 0 187144 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 751460

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 19580
/proc/meminfo: memFree=983592/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=783136 CPUtime=222.22
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 208348 0 0 0 21988 234 0 0 25 0 1 0 11946069 801931264 188972 1992294400 4194304 7136930 140736270459200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 195784 188972 393 719 0 195063 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 783136

[startup+282.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 19581
/proc/meminfo: memFree=969828/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=797740 CPUtime=282.21
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 212149 0 0 0 27974 247 0 0 25 0 1 0 11946069 816885760 192448 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 199435 192448 393 719 0 198714 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 797740

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19583
/proc/meminfo: memFree=947260/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=821964 CPUtime=342.19
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 217730 0 0 0 33958 261 0 0 25 0 1 0 11946069 841691136 198029 1992294400 4194304 7136930 140736270459200 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 205491 198029 393 719 0 204770 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 821964

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19585
/proc/meminfo: memFree=925932/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=845712 CPUtime=402.17
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 223124 0 0 0 39942 275 0 0 25 0 1 0 11946069 866009088 203423 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 211428 203423 393 719 0 210707 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 845712

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19587
/proc/meminfo: memFree=902372/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=871000 CPUtime=462.15
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 229025 0 0 0 45923 292 0 0 25 0 1 0 11946069 891904000 209259 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 217750 209259 393 719 0 217029 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 871000

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 19588
/proc/meminfo: memFree=876580/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=901036 CPUtime=522.13
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 235669 0 0 0 51904 309 0 0 25 0 1 0 11946069 922660864 215643 1992294400 4194304 7136930 140736270459200 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 225259 215643 393 719 0 224538 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 901036

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19589
/proc/meminfo: memFree=854880/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=926336 CPUtime=582.12
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 241090 0 0 0 57885 327 0 0 25 0 1 0 11946069 948568064 221064 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 231584 221064 393 719 0 230863 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 926336

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19591
/proc/meminfo: memFree=833552/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=952680 CPUtime=642.1
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 246366 0 0 0 63867 343 0 0 25 0 1 0 11946069 975544320 226340 1992294400 4194304 7136930 140736270459200 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 238170 226340 393 719 0 237449 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 952680

[startup+702.3 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19603
/proc/meminfo: memFree=719720/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1091368 CPUtime=1061.97
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 274729 0 0 0 105747 450 0 0 25 0 1 0 11946069 1117560832 254703 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 272842 254703 393 719 0 272121 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1091368

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19604
/proc/meminfo: memFree=704468/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1109732 CPUtime=1121.95
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 278515 0 0 0 111733 462 0 0 25 0 1 0 11946069 1136365568 258489 1992294400 4194304 7136930 140736270459200 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 277433 258489 393 719 0 276712 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1109732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19605
/proc/meminfo: memFree=688844/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1127616 CPUtime=1181.93
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 282462 0 0 0 117719 474 0 0 25 0 1 0 11946069 1154678784 262436 1992294400 4194304 7136930 140736270459200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 281904 262436 393 719 0 281183 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1127616

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19607
/proc/meminfo: memFree=672352/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1146940 CPUtime=1241.91
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 286526 0 0 0 123705 486 0 0 25 0 1 0 11946069 1174466560 266500 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 286735 266500 393 719 0 286014 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1146940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19609
/proc/meminfo: memFree=657348/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1165496 CPUtime=1301.9
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 290191 0 0 0 129690 500 0 0 25 0 1 0 11946069 1193467904 270165 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 291374 270165 393 719 0 290653 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1165496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19611
/proc/meminfo: memFree=643336/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1182956 CPUtime=1361.87
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 293680 0 0 0 135676 511 0 0 25 0 1 0 11946069 1211346944 273654 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 295739 273654 393 719 0 295018 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1182956

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19612
/proc/meminfo: memFree=626596/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1203360 CPUtime=1421.85
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 297866 0 0 0 141658 527 0 0 25 0 1 0 11946069 1232240640 277840 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 300840 277840 393 719 0 300119 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1203360

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19613
/proc/meminfo: memFree=613204/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1220156 CPUtime=1481.83
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 301187 0 0 0 147640 543 0 0 25 0 1 0 11946069 1249439744 281161 1992294400 4194304 7136930 140736270459200 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 305039 281161 393 719 0 304318 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1220156

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19615
/proc/meminfo: memFree=595472/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1243772 CPUtime=1541.81
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 305667 0 0 0 153621 560 0 0 25 0 1 0 11946069 1273622528 285641 1992294400 4194304 7136930 140736270459200 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 310943 285641 393 719 0 310222 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1243772

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19617
/proc/meminfo: memFree=579600/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1264756 CPUtime=1601.79
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 309673 0 0 0 159601 578 0 0 25 0 1 0 11946069 1295110144 289582 1992294400 4194304 7136930 140736270459200 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 316189 289582 393 719 0 315468 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1264756

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19619
/proc/meminfo: memFree=562860/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1283032 CPUtime=1661.77
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 313807 0 0 0 165578 599 0 0 25 0 1 0 11946069 1313824768 293716 1992294400 4194304 7136930 140736270459200 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 320758 293716 393 719 0 320037 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1283032

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19620
/proc/meminfo: memFree=546368/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1305984 CPUtime=1721.75
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 317883 0 0 0 171556 619 0 0 25 0 1 0 11946069 1337327616 297792 1992294400 4194304 7136930 140736270459200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 326496 297792 393 719 0 325775 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1305984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19621
/proc/meminfo: memFree=530744/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1325740 CPUtime=1781.73
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 321723 0 0 0 177535 638 0 0 25 0 1 0 11946069 1357557760 301632 1992294400 4194304 7136930 140736270459200 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 331435 301632 393 719 0 330714 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1325740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19622
/proc/meminfo: memFree=526404/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1331592 CPUtime=1800.04
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 322825 0 0 0 179360 644 0 0 25 0 1 0 11946069 1363550208 302734 1992294400 4194304 7136930 140736270459200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19573/statm: 332898 302734 393 719 0 332177 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1331592

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19622
/proc/meminfo: memFree=526404/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1330376 CPUtime=1800.83
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 322834 0 0 0 179439 644 0 0 25 0 1 0 11946069 1362305024 302664 1992294400 4194304 7136930 140736270459200 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 332594 302664 399 719 0 331873 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1330376

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19624
/proc/meminfo: memFree=533464/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=1316820 CPUtime=1801.23
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 322834 0 0 0 179479 644 0 0 25 0 1 0 11946069 1348423680 299275 1992294400 4194304 7136930 140736270459200 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 329205 299275 399 719 0 328484 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 1316820

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19624
/proc/meminfo: memFree=533464/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=420636 CPUtime=1801.62
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 322834 0 0 0 179509 653 0 0 25 0 1 0 11946069 430731264 99831 1992294400 4194304 7136930 140736270459200 18446744073709551615 4675335 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 105159 99831 399 719 0 104438 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 420636

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19624
/proc/meminfo: memFree=533464/2059040 swapFree=4192956/4192956
[pid=19573] ppid=19571 vsize=124024 CPUtime=1801.72
/proc/19573/stat : 19573 (pbscip.linux.x8) R 19571 19573 18454 0 -1 4202496 322834 0 0 0 179516 656 0 0 25 0 1 0 11946069 127000576 29790 1992294400 4194304 7136930 140736270459200 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19573/statm: 31006 29790 399 719 0 30285 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 124024

Child status: 0
Real time (s): 1802.39
CPU time (s): 1801.83
CPU user time (s): 1795.25
CPU system time (s): 6.58
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1331592

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

runsolver used 3.03654 second user time and 8.45072 second system time

The end

Launcher Data 

Begin job on node038 at 2010-07-06 19:29:44
IDJOB=2684982
IDBENCH=74232
IDSOLVER=1167
FILE ID=node038/2684982-1278437384
PBS_JOBID= 11233444
Free space on /tmp= 62532 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684982-1278437384/watcher-2684982-1278437384 -o /tmp/evaluation-result-2684982-1278437384/solver-2684982-1278437384 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2684982-1278437384.opb -t 1800 -m 1800

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

MD5SUM BENCH= b4d4215a44d43278004dfcd0ea549fa8
RANDOM SEED=2124615964

node038.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.215
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.43
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.215
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:       1740528 kB
Buffers:         13516 kB
Cached:         171428 kB
SwapCached:          0 kB
Active:          83828 kB
Inactive:       161096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1740528 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9560 kB
Writeback:           0 kB
AnonPages:       59868 kB
Mapped:          14464 kB
Slab:            51652 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178500 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= 62532 MiB
End job on node038 at 2010-07-06 19:59:47