Trace number 2685066

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.64 1802.09

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
MD5SUMcf899369697891a2aa5256c136e26408
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 variables55660
Total number of constraints186884
Number of constraints which are clauses185968
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints916
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 689
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-2685066-1278439225.opb>
3.30/3.34	c original problem has 55660 variables (55660 bin, 0 int, 0 impl, 0 cont) and 186884 constraints
3.30/3.34	c problem read
3.30/3.34	c No objective function, only one solution is needed.
3.30/3.35	c presolving settings loaded
3.30/3.35	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.29/4.34	c presolving:
14.18/14.30	c (round 1) 5752 del vars, 16341 del conss, 4215 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12167440 impls, 0 clqs
18.28/18.34	c (round 2) 12012 del vars, 41993 del conss, 10040 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12208448 impls, 0 clqs
20.99/21.07	c (round 3) 14303 del vars, 52563 del conss, 11388 chg bounds, 7 chg sides, 30 chg coeffs, 0 upgd conss, 12229342 impls, 0 clqs
24.38/24.46	c (round 4) 15682 del vars, 57968 del conss, 12397 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12240059 impls, 0 clqs
26.39/26.47	c (round 5) 16605 del vars, 61730 del conss, 12983 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12247646 impls, 0 clqs
27.99/28.07	c (round 6) 17161 del vars, 63846 del conss, 13373 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12253101 impls, 0 clqs
28.88/28.90	c (round 7) 17560 del vars, 65531 del conss, 13580 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12257004 impls, 0 clqs
29.38/29.42	c (round 8) 17658 del vars, 66038 del conss, 13635 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12258459 impls, 0 clqs
29.69/29.76	c (round 9) 17730 del vars, 66340 del conss, 13666 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259205 impls, 0 clqs
29.98/30.04	c (round 10) 17766 del vars, 66490 del conss, 13682 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259628 impls, 0 clqs
30.18/30.25	c (round 11) 17779 del vars, 66561 del conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259711 impls, 0 clqs
30.38/30.43	c (round 12) 17779 del vars, 66574 del conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259711 impls, 0 clqs
31.89/31.93	c (round 13) 17779 del vars, 66577 del conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 120309 upgd conss, 12259711 impls, 0 clqs
33.88/33.97	c presolving (14 rounds):
33.88/33.97	c  17779 deleted vars, 66577 deleted constraints, 13687 tightened bounds, 0 added holes, 21 changed sides, 177 changed coefficients
33.88/33.97	c  12259999 implications, 2776 cliques
33.88/33.97	c presolved problem has 37881 variables (37881 bin, 0 int, 0 impl, 0 cont) and 120307 constraints
33.88/33.97	c     895 constraints of type <knapsack>
33.88/33.97	c  119412 constraints of type <logicor>
33.88/33.97	c transformed objective value is always integral (scale: 1)
33.88/33.97	c Presolving Time: 28.39
33.88/33.97	c - non default parameters ----------------------------------------------------------------------
33.88/33.97	c # SCIP version 1.2.1.2
33.88/33.97	c 
33.88/33.97	c # frequency for displaying node information lines
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 100]
33.88/33.97	c display/freq = 10000
33.88/33.97	c 
33.88/33.97	c # maximal time in seconds to run
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.88/33.97	c limits/time = 1796.66
33.88/33.97	c 
33.88/33.97	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
33.88/33.97	c limits/memory = 1620
33.88/33.97	c 
33.88/33.97	c # solving stops, if the given number of solutions were found (-1: no limit)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: -1]
33.88/33.97	c limits/solutions = 1
33.88/33.97	c 
33.88/33.97	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c lp/solvefreq = -1
33.88/33.97	c 
33.88/33.97	c # maximal number of separation rounds per node (-1: unlimited)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 5]
33.88/33.97	c separating/maxrounds = 1
33.88/33.97	c 
33.88/33.97	c # maximal number of separation rounds in the root node (-1: unlimited)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: -1]
33.88/33.97	c separating/maxroundsroot = 5
33.88/33.97	c 
33.88/33.97	c # should presolving try to simplify inequalities
33.88/33.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
33.88/33.97	c constraints/linear/simplifyinequalities = TRUE
33.88/33.97	c 
33.88/33.97	c # should disaggregation of knapsack constraints be allowed in preprocessing?
33.88/33.97	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
33.88/33.97	c constraints/knapsack/disaggregation = FALSE
33.88/33.97	c 
33.88/33.97	c # should presolving try to simplify knapsacks
33.88/33.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
33.88/33.97	c constraints/knapsack/simplifyinequalities = TRUE
33.88/33.97	c 
33.88/33.97	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: -1]
33.88/33.97	c presolving/probing/maxrounds = 0
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/coefdiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/coefdiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/coefdiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 30]
33.88/33.97	c heuristics/crossover/freq = -1
33.88/33.97	c 
33.88/33.97	c # number of nodes added to the contingent of the total nodes
33.88/33.97	c # [type: longint, range: [0,9223372036854775807], default: 500]
33.88/33.97	c heuristics/crossover/nodesofs = 750
33.88/33.97	c 
33.88/33.97	c # number of nodes without incumbent change that heuristic should wait
33.88/33.97	c # [type: longint, range: [0,9223372036854775807], default: 200]
33.88/33.97	c heuristics/crossover/nwaitingnodes = 100
33.88/33.97	c 
33.88/33.97	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
33.88/33.97	c # [type: real, range: [0,1], default: 0.1]
33.88/33.97	c heuristics/crossover/nodesquot = 0.15
33.88/33.97	c 
33.88/33.97	c # minimum percentage of integer variables that have to be fixed 
33.88/33.97	c # [type: real, range: [0,1], default: 0.666]
33.88/33.97	c heuristics/crossover/minfixingrate = 0.5
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 20]
33.88/33.97	c heuristics/feaspump/freq = -1
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/feaspump/maxlpiterofs = 2000
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/fracdiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/fracdiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/fracdiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/guideddiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/guideddiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/guideddiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/intdiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/intshifting/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/linesearchdiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/linesearchdiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/linesearchdiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c heuristics/nlp/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 20]
33.88/33.97	c heuristics/objpscostdiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to total iteration number
33.88/33.97	c # [type: real, range: [0,1], default: 0.01]
33.88/33.97	c heuristics/objpscostdiving/maxlpiterquot = 0.015
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/objpscostdiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c heuristics/oneopt/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/pscostdiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/pscostdiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/pscostdiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 0]
33.88/33.97	c heuristics/rens/freq = -1
33.88/33.97	c 
33.88/33.97	c # minimum percentage of integer variables that have to be fixable 
33.88/33.97	c # [type: real, range: [0,1], default: 0.5]
33.88/33.97	c heuristics/rens/minfixingrate = 0.3
33.88/33.97	c 
33.88/33.97	c # number of nodes added to the contingent of the total nodes
33.88/33.97	c # [type: longint, range: [0,9223372036854775807], default: 500]
33.88/33.97	c heuristics/rens/nodesofs = 2000
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 20]
33.88/33.97	c heuristics/rootsoldiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
33.88/33.97	c heuristics/rootsoldiving/maxlpiterquot = 0.015
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/rootsoldiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c heuristics/rounding/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/shifting/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c heuristics/simplerounding/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 0]
33.88/33.97	c heuristics/trivial/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c heuristics/trysol/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 10]
33.88/33.97	c heuristics/veclendiving/freq = -1
33.88/33.97	c 
33.88/33.97	c # maximal fraction of diving LP iterations compared to node LP iterations
33.88/33.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
33.88/33.97	c heuristics/veclendiving/maxlpiterquot = 0.075
33.88/33.97	c 
33.88/33.97	c # additional number of allowed LP iterations
33.88/33.97	c # [type: int, range: [0,2147483647], default: 1000]
33.88/33.97	c heuristics/veclendiving/maxlpiterofs = 1500
33.88/33.97	c 
33.88/33.97	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 1]
33.88/33.97	c heuristics/zirounding/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 0]
33.88/33.97	c separating/cmir/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: 0]
33.88/33.97	c separating/flowcover/freq = -1
33.88/33.97	c 
33.88/33.97	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
33.88/33.97	c # [type: int, range: [-1,2147483647], default: -1]
33.88/33.97	c separating/rapidlearning/freq = 0
33.88/33.97	c 
33.88/33.97	c -----------------------------------------------------------------------------------------------
33.88/33.97	c start solving
33.98/34.01	c 
34.19/34.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.19/34.27	c  29.2s|     1 |     2 |     0 |     - | 451M|   0 |   - |  37k| 120k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
735.90/736.17	c   729s| 10000 |  5912 |     0 |   0.0 | 619M| 336 |   - |  37k| 123k|   0 |   0 |   0 |7714 |   0 | 0.000000e+00 |      --      |    Inf 
1437.03/1437.46	c  1428s| 20000 | 10580 |     0 |   0.0 | 723M| 336 |   - |  37k| 124k|   0 |   0 |   0 |  20k|   0 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.51	c 
1800.05/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.51	c Solving Time (sec) : 1790.44
1800.05/1800.51	c Solving Nodes      : 25107
1800.05/1800.51	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.51	c Gap                : infinite
1800.05/1800.51	s UNKNOWN
1800.05/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.51	c Solving Time       :    1790.44
1800.05/1800.51	c Original Problem   :
1800.05/1800.51	c   Problem name     : HOME/instance-2685066-1278439225.opb
1800.05/1800.51	c   Variables        : 55660 (55660 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.52	c   Constraints      : 186884 initial, 186884 maximal
1800.05/1800.52	c Presolved Problem  :
1800.05/1800.52	c   Problem name     : t_HOME/instance-2685066-1278439225.opb
1800.05/1800.52	c   Variables        : 37881 (37881 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.52	c   Constraints      : 120307 initial, 124443 maximal
1800.05/1800.52	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.52	c   trivial          :       0.12       1088          0          0          0          0          0          0          0
1800.05/1800.52	c   dualfix          :       0.16        107          0          0          0          0          0          0          0
1800.05/1800.52	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.52	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.52	c   implics          :       0.83          0          0          0          0          0          0          0          0
1800.05/1800.52	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.52	c   knapsack         :       1.69          0          0          0          0          0          0          6        134
1800.05/1800.52	c   linear           :      24.45      12599       3985          0      13687          0      66575         15         43
1800.05/1800.52	c   logicor          :       0.50          0          0          0          0          0          2          0          0
1800.05/1800.52	c   root node        :          -        168          -          -        168          -          -          -          -
1800.05/1800.52	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.52	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.52	c   knapsack         :        895          0     626428          0      20488       1022    1591267          0          0          0
1800.05/1800.52	c   logicor          :     119412+         0     611847          0      20488       4914    8923936          0          0          0
1800.05/1800.52	c   countsols        :          0          0          0          0      20422          0          0          0          0          0
1800.05/1800.52	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.52	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.52	c   knapsack         :     502.40       0.00     272.64       0.00     229.76
1800.05/1800.52	c   logicor          :     907.45       0.00      91.59       0.00     815.86
1800.05/1800.52	c   countsols        :       0.01       0.00       0.00       0.00       0.01
1800.05/1800.52	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.52	c   vbounds          :       0.27          1          0          0
1800.05/1800.52	c   rootredcost      :       0.30          0          0          0
1800.05/1800.52	c   pseudoobj        :       0.15          0          0          0
1800.05/1800.52	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.52	c   propagation      :       2.72       5936       5936      42177       29.9        765       11.5          -
1800.05/1800.52	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.52	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.52	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.52	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.52	c   applied globally :          -          -          -      27894       23.5          -          -          -
1800.05/1800.52	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.52	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.52	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.05/1800.52	c   redcost          :       0.00          0          0          0          0          0
1800.05/1800.52	c   impliedbounds    :       0.00          0          0          0          0          0
1800.05/1800.52	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.52	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.52	c   gomory           :       0.00          0          0          0          0          0
1800.05/1800.52	c   strongcg         :       0.00          0          0          0          0          0
1800.05/1800.52	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.52	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.52	c   clique           :       0.00          0          0          0          0          0
1800.05/1800.52	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.52	c   mcf              :       0.00          0          0          0          0          0
1800.05/1800.52	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.52	c Pricers            :       Time      Calls       Vars
1800.05/1800.52	c   problem variables:       0.00          0          0
1800.05/1800.52	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.52	c   relpscost        :       0.00          0          0          0          0          0          0
1800.05/1800.52	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.52	c   inference        :     179.36      20422          0          0          0          0      40844
1800.05/1800.52	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.52	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.52	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.52	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.52	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.52	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.52	c   LP solutions     :       0.00          -          0
1800.05/1800.52	c   pseudo solutions :       0.00          -          0
1800.05/1800.52	c   trivial          :       0.11          1          0
1800.05/1800.52	c   simplerounding   :       0.00          0          0
1800.05/1800.52	c   zirounding       :       0.00          0          0
1800.05/1800.52	c   rounding         :       0.00          0          0
1800.05/1800.52	c   shifting         :       0.00          0          0
1800.05/1800.52	c   intshifting      :       0.00          0          0
1800.05/1800.52	c   oneopt           :       0.00          0          0
1800.05/1800.52	c   twoopt           :       0.00          0          0
1800.05/1800.52	c   fixandinfer      :       0.00          0          0
1800.05/1800.52	c   feaspump         :       0.00          0          0
1800.05/1800.52	c   coefdiving       :       0.00          0          0
1800.05/1800.52	c   pscostdiving     :       0.00          0          0
1800.05/1800.52	c   fracdiving       :       0.00          0          0
1800.05/1800.52	c   veclendiving     :       0.00          0          0
1800.05/1800.52	c   intdiving        :       0.00          0          0
1800.05/1800.52	c   actconsdiving    :       0.00          0          0
1800.05/1800.52	c   objpscostdiving  :       0.00          0          0
1800.05/1800.52	c   rootsoldiving    :       0.00          0          0
1800.05/1800.52	c   linesearchdiving :       0.00          0          0
1800.05/1800.52	c   guideddiving     :       0.00          0          0
1800.05/1800.52	c   octane           :       0.00          0          0
1800.05/1800.52	c   rens             :       0.00          0          0
1800.05/1800.52	c   rins             :       0.00          0          0
1800.05/1800.52	c   localbranching   :       0.00          0          0
1800.05/1800.52	c   mutation         :       0.00          0          0
1800.05/1800.52	c   crossover        :       0.00          0          0
1800.05/1800.52	c   dins             :       0.00          0          0
1800.05/1800.52	c   undercover       :       0.00          0          0
1800.05/1800.52	c   nlp              :       0.00          0          0
1800.05/1800.52	c   trysol           :       0.00          0          0
1800.05/1800.52	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.52	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.52	c   dual LP          :       0.00          0          0       0.00          -
1800.05/1800.52	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.52	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.52	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.52	c   strong branching :       0.00          0          0       0.00          -
1800.05/1800.52	c     (at root node) :          -          0          0       0.00          -
1800.05/1800.52	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.52	c B&B Tree           :
1800.05/1800.52	c   number of runs   :          1
1800.05/1800.52	c   nodes            :      25107
1800.05/1800.52	c   nodes (total)    :      25107
1800.05/1800.52	c   nodes left       :      13396
1800.05/1800.52	c   max depth        :        336
1800.05/1800.52	c   max depth (total):        336
1800.05/1800.52	c   backtracks       :       1391 (5.5%)
1800.05/1800.52	c   delayed cutoffs  :       2342
1800.05/1800.52	c   repropagations   :      25197 (1485397 domain reductions, 1251 cutoffs)
1800.05/1800.52	c   avg switch length:       4.45
1800.05/1800.52	c   switching time   :     146.17
1800.05/1800.52	c Solution           :
1800.05/1800.52	c   Solutions found  :          0 (0 improvements)
1800.05/1800.52	c   Primal Bound     :          -
1800.05/1800.52	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.52	c   Gap              :   infinite
1800.05/1800.52	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.52	c   Root Iterations  :          0
1801.54/1802.09	c Time complete: 1801.63.

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-2685066-1278439225/watcher-2685066-1278439225 -o /tmp/evaluation-result-2685066-1278439225/solver-2685066-1278439225 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685066-1278439225.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: 2.09 2.03 1.63 3/106 21889
/proc/meminfo: memFree=1412780/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=6584 CPUtime=0
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 1002 0 0 0 0 0 0 0 18 0 1 0 12135031 6742016 925 1992294400 4194304 7136930 140734194665888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 1646 935 254 719 0 925 0

[startup+0.105947 s]
/proc/loadavg: 2.09 2.03 1.63 3/106 21889
/proc/meminfo: memFree=1412780/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=15872 CPUtime=0.09
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 3446 0 0 0 8 1 0 0 20 0 1 0 12135031 16252928 3369 1992294400 4194304 7136930 140734194665888 18446744073709551615 4207135 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 3968 3369 268 719 0 3247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15872

[startup+0.200955 s]
/proc/loadavg: 2.09 2.03 1.63 3/106 21889
/proc/meminfo: memFree=1412780/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=22304 CPUtime=0.19
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 5068 0 0 0 17 2 0 0 20 0 1 0 12135031 22839296 4991 1992294400 4194304 7136930 140734194665888 18446744073709551615 6166606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 5576 4991 268 719 0 4855 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22304

[startup+0.300964 s]
/proc/loadavg: 2.09 2.03 1.63 3/106 21889
/proc/meminfo: memFree=1412780/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=26868 CPUtime=0.29
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 6223 0 0 0 27 2 0 0 20 0 1 0 12135031 27512832 6137 1992294400 4194304 7136930 140734194665888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 6717 6137 268 719 0 5996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26868

[startup+0.701 s]
/proc/loadavg: 2.09 2.03 1.63 3/106 21889
/proc/meminfo: memFree=1412780/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=42148 CPUtime=0.69
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 10030 0 0 0 65 4 0 0 21 0 1 0 12135031 43159552 9944 1992294400 4194304 7136930 140734194665888 18446744073709551615 6285774 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 10537 9944 268 719 0 9816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42148

[startup+1.50107 s]
/proc/loadavg: 2.09 2.03 1.63 2/107 21890
/proc/meminfo: memFree=1365032/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=59580 CPUtime=1.49
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 14392 0 0 0 144 5 0 0 23 0 1 0 12135031 61009920 14306 1992294400 4194304 7136930 140734194665888 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 14895 14306 268 719 0 14174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59580

[startup+3.10122 s]
/proc/loadavg: 2.00 2.01 1.63 2/107 21890
/proc/meminfo: memFree=1334032/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=111712 CPUtime=3.09
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 27401 0 0 0 299 10 0 0 25 0 1 0 12135031 114393088 27315 1992294400 4194304 7136930 140734194665888 18446744073709551615 6340155 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 27928 27315 268 719 0 27207 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111712

[startup+6.3015 s]
/proc/loadavg: 2.00 2.01 1.63 2/107 21890
/proc/meminfo: memFree=1072020/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=389944 CPUtime=6.29
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 96470 0 0 0 589 40 0 0 25 0 1 0 12135031 399302656 95983 1992294400 4194304 7136930 140734194665888 18446744073709551615 5969493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 97486 95983 341 719 0 96765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 389944

[startup+12.7011 s]
/proc/loadavg: 1.85 1.98 1.62 2/107 21890
/proc/meminfo: memFree=832328/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=608124 CPUtime=12.68
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 148223 0 0 0 1197 71 0 0 25 0 1 0 12135031 622718976 147736 1992294400 4194304 7136930 140734194665888 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 152031 147736 346 719 0 151310 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 608124

[startup+25.5012 s]
/proc/loadavg: 1.72 1.94 1.61 2/107 21890
/proc/meminfo: memFree=789548/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=639432 CPUtime=25.49
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 157043 0 0 0 2442 107 0 0 25 0 1 0 12135031 654778368 155528 1992294400 4194304 7136930 140734194665888 18446744073709551615 5966370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 159858 155528 346 719 0 159137 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 639432

[startup+51.1005 s]
/proc/loadavg: 1.47 1.87 1.60 2/107 21899
/proc/meminfo: memFree=738088/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=695804 CPUtime=51.07
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 188619 0 0 0 4919 188 0 0 25 0 1 0 12135031 712503296 168628 1992294400 4194304 7136930 140734194665888 18446744073709551615 4697605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 173951 168628 393 719 0 173230 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 695804

[startup+102.301 s]
/proc/loadavg: 1.19 1.72 1.56 2/107 21901
/proc/meminfo: memFree=705104/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=729264 CPUtime=102.26
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 196823 0 0 0 10022 204 0 0 25 0 1 0 12135031 746766336 176832 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 182316 176832 393 719 0 181595 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 729264

[startup+162.3 s]
/proc/loadavg: 1.07 1.58 1.52 2/107 21903
/proc/meminfo: memFree=692704/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=742156 CPUtime=162.23
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 199895 0 0 0 16004 219 0 0 25 0 1 0 12135031 759967744 179904 1992294400 4194304 7136930 140734194665888 18446744073709551615 4697388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 185539 179904 393 719 0 184818 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 742156

[startup+222.309 s]
/proc/loadavg: 1.02 1.48 1.49 2/107 21905
/proc/meminfo: memFree=658604/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=778264 CPUtime=222.23
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 208544 0 0 0 21984 239 0 0 25 0 1 0 12135031 796942336 188423 1992294400 4194304 7136930 140734194665888 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 194566 188423 393 719 0 193845 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 778264

[startup+282.301 s]
/proc/loadavg: 1.01 1.39 1.45 2/107 21905
/proc/meminfo: memFree=626364/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=812868 CPUtime=282.21
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 216641 0 0 0 27963 258 0 0 25 0 1 0 12135031 832376832 196520 1992294400 4194304 7136930 140734194665888 18446744073709551615 4697120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 203217 196520 393 719 0 202496 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 812868

[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.42 2/107 21907
/proc/meminfo: memFree=610616/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=830364 CPUtime=342.19
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 220685 0 0 0 33946 273 0 0 25 0 1 0 12135031 850292736 200434 1992294400 4194304 7136930 140734194665888 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 207591 200434 393 719 0 206870 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 830364

[startup+402.3 s]
/proc/loadavg: 1.00 1.26 1.40 2/107 21909
/proc/meminfo: memFree=589908/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=853200 CPUtime=402.17
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 225819 0 0 0 39929 288 0 0 25 0 1 0 12135031 873676800 205568 1992294400 4194304 7136930 140734194665888 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 213300 205568 393 719 0 212579 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 853200

[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.36 2/107 21911
/proc/meminfo: memFree=575648/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=869208 CPUtime=462.16
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 229324 0 0 0 45912 304 0 0 25 0 1 0 12135031 890068992 209073 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 217302 209073 393 719 0 216581 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 869208

[startup+522.301 s]
/proc/loadavg: 1.00 1.17 1.34 2/107 21913
/proc/meminfo: memFree=561264/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=885944 CPUtime=522.15
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 232974 0 0 0 51897 318 0 0 25 0 1 0 12135031 907206656 212723 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 221486 212723 393 719 0 220765 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 885944

[startup+582.301 s]
/proc/loadavg: 1.00 1.13 1.32 2/107 21913
/proc/meminfo: memFree=542912/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=907412 CPUtime=582.13
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 237520 0 0 0 57877 336 0 0 25 0 1 0 12135031 929189888 217269 1992294400 4194304 7136930 140734194665888 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 226853 217269 393 719 0 226132 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 907412

[startup+642.301 s]
/proc/loadavg: 1.00 1.11 1.30 2/107 21915
/proc/meminfo: memFree=530884/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=921400 CPUtime=642.12
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 240514 0 0 0 63863 349 0 0 25 0 1 0 12135031 943513600 220263 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 230350 220263 393 719 0 229629 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 921400

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.04 1.03 1.18 2/107 21927
/proc/meminfo: memFree=424368/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1044512 CPUtime=1062.01
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 267173 0 0 0 105751 450 0 0 25 0 1 0 12135031 1069580288 246792 1992294400 4194304 7136930 140734194665888 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 261128 246792 393 719 0 260407 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1044512

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.16 2/107 21932
/proc/meminfo: memFree=411224/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1059144 CPUtime=1122.01
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 270255 0 0 0 111735 466 0 0 25 0 1 0 12135031 1084563456 249874 1992294400 4194304 7136930 140734194665888 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 264786 249874 393 719 0 264065 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1059144

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.15 3/107 21932
/proc/meminfo: memFree=400808/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1071784 CPUtime=1181.98
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 272875 0 0 0 117719 479 0 0 25 0 1 0 12135031 1097506816 252494 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 267946 252494 393 719 0 267225 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1071784

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/107 21934
/proc/meminfo: memFree=388656/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1088360 CPUtime=1241.97
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 275912 0 0 0 123700 497 0 0 25 0 1 0 12135031 1114480640 255531 1992294400 4194304 7136930 140734194665888 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 272090 255531 393 719 0 271369 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1088360

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/107 21936
/proc/meminfo: memFree=378488/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1101012 CPUtime=1301.96
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 278482 0 0 0 129682 514 0 0 25 0 1 0 12135031 1127436288 258101 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 275253 258101 393 719 0 274532 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1101012

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 21938
/proc/meminfo: memFree=367576/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1116628 CPUtime=1361.95
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 281168 0 0 0 135665 530 0 0 25 0 1 0 12135031 1143427072 260787 1992294400 4194304 7136930 140734194665888 18446744073709551615 4702129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 279157 260787 393 719 0 278436 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1116628

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 21940
/proc/meminfo: memFree=357532/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1129076 CPUtime=1421.94
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 283683 0 0 0 141650 544 0 0 25 0 1 0 12135031 1156173824 263302 1992294400 4194304 7136930 140734194665888 18446744073709551615 4862096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 282269 263302 393 719 0 281548 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1129076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 21940
/proc/meminfo: memFree=346000/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1142308 CPUtime=1481.92
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 286633 0 0 0 147633 559 0 0 25 0 1 0 12135031 1169723392 266252 1992294400 4194304 7136930 140734194665888 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 285577 266252 393 719 0 284856 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1142308

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 21942
/proc/meminfo: memFree=334220/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1155604 CPUtime=1541.91
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 289494 0 0 0 153617 574 0 0 25 0 1 0 12135031 1183338496 269113 1992294400 4194304 7136930 140734194665888 18446744073709551615 4858923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 288901 269113 393 719 0 288180 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1155604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 21944
/proc/meminfo: memFree=321076/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1172632 CPUtime=1601.88
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 292805 0 0 0 159600 588 0 0 25 0 1 0 12135031 1200775168 272424 1992294400 4194304 7136930 140734194665888 18446744073709551615 5956008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 293158 272424 393 719 0 292437 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1172632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21946
/proc/meminfo: memFree=308056/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1187452 CPUtime=1661.87
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 296002 0 0 0 165584 603 0 0 25 0 1 0 12135031 1215950848 275621 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 296863 275621 393 719 0 296142 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1187452

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 21948
/proc/meminfo: memFree=297020/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1202240 CPUtime=1721.86
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 298846 0 0 0 171568 618 0 0 25 0 1 0 12135031 1231093760 278465 1992294400 4194304 7136930 140734194665888 18446744073709551615 4858870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 300560 278465 393 719 0 299839 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1202240

[startup+1782.3 s]
/proc/loadavg: 1.07 1.02 1.07 2/107 21948
/proc/meminfo: memFree=283008/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1220988 CPUtime=1781.85
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 302273 0 0 0 177550 635 0 0 25 0 1 0 12135031 1250291712 281892 1992294400 4194304 7136930 140734194665888 18446744073709551615 5892276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 305247 281892 393 719 0 304526 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1220988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.01 1.07 2/107 21950
/proc/meminfo: memFree=279784/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1224620 CPUtime=1800.05
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 303021 0 0 0 179366 639 0 0 25 0 1 0 12135031 1254010880 282640 1992294400 4194304 7136930 140734194665888 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21889/statm: 306155 282640 393 719 0 305434 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1224620

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

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

[startup+1800.7 s]
/proc/loadavg: 1.06 1.01 1.07 2/108 21951
/proc/meminfo: memFree=279776/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1223428 CPUtime=1800.25
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 303027 0 0 0 179386 639 0 0 25 0 1 0 12135031 1252790272 282567 1992294400 4194304 7136930 140734194665888 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 305857 282567 399 719 0 305136 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 1223428

[startup+1801.5 s]
/proc/loadavg: 1.06 1.01 1.07 2/108 21951
/proc/meminfo: memFree=279776/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=1214592 CPUtime=1801.04
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 303027 0 0 0 179465 639 0 0 25 0 1 0 12135031 1243742208 280358 1992294400 4194304 7136930 140734194665888 18446744073709551615 5955538 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 303648 280358 399 719 0 302927 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 1214592

[startup+1801.91 s]
/proc/loadavg: 1.05 1.01 1.07 2/108 21951
/proc/meminfo: memFree=428948/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=390536 CPUtime=1801.44
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 303027 0 0 0 179497 647 0 0 25 0 1 0 12135031 399908864 93122 1992294400 4194304 7136930 140734194665888 18446744073709551615 4660948 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 97634 93122 399 719 0 96913 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 390536

[startup+1802 s]
/proc/loadavg: 1.05 1.01 1.07 2/108 21951
/proc/meminfo: memFree=428948/2059040 swapFree=4192956/4192956
[pid=21889] ppid=21887 vsize=121584 CPUtime=1801.54
/proc/21889/stat : 21889 (pbscip.linux.x8) R 21887 21889 21333 0 -1 4202496 303027 0 0 0 179504 650 0 0 25 0 1 0 12135031 124502016 29064 1992294400 4194304 7136930 140734194665888 18446744073709551615 4384102 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21889/statm: 30396 29064 399 719 0 29675 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 121584

Child status: 0
Real time (s): 1802.09
CPU time (s): 1801.64
CPU user time (s): 1795.12
CPU system time (s): 6.51301
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 1224620

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

runsolver used 2.89956 second user time and 8.59769 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-06 20:00:25
IDJOB=2685066
IDBENCH=74391
IDSOLVER=1167
FILE ID=node015/2685066-1278439225
PBS_JOBID= 11233456
Free space on /tmp= 62576 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_3-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-2685066-1278439225/watcher-2685066-1278439225 -o /tmp/evaluation-result-2685066-1278439225/solver-2685066-1278439225 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685066-1278439225.opb -t 1800 -m 1800

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

MD5SUM BENCH= cf899369697891a2aa5256c136e26408
RANDOM SEED=633362465

node015.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.214
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1413308 kB
Buffers:        108076 kB
Cached:         398432 kB
SwapCached:          0 kB
Active:         190512 kB
Inactive:       377128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1413308 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9336 kB
Writeback:           4 kB
AnonPages:       61084 kB
Mapped:          14464 kB
Slab:            56308 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181708 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= 62576 MiB
End job on node015 at 2010-07-06 20:30:28