Trace number 2685024

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) 1802.12 1802.6

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
MD5SUMda4c22aa3836e09c7cdc382a7b6da5de
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 variables35332
Total number of constraints122962
Number of constraints which are clauses122382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints580
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 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2685024-1278438397.opb>
2.29/2.33	c original problem has 35332 variables (35332 bin, 0 int, 0 impl, 0 cont) and 122962 constraints
2.29/2.33	c problem read
2.29/2.33	c No objective function, only one solution is needed.
2.29/2.34	c presolving settings loaded
2.29/2.34	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
2.89/2.98	c presolving:
8.59/8.64	c (round 1) 8238 del vars, 23943 del conss, 6557 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6764530 impls, 0 clqs
12.69/12.77	c (round 2) 14755 del vars, 53096 del conss, 12605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6805255 impls, 0 clqs
13.79/13.83	c (round 3) 17324 del vars, 65165 del conss, 14178 chg bounds, 2 chg sides, 6 chg coeffs, 0 upgd conss, 6831013 impls, 0 clqs
14.30/14.34	c (round 4) 18621 del vars, 70414 del conss, 15070 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6846993 impls, 0 clqs
14.68/14.70	c (round 5) 19531 del vars, 74027 del conss, 15717 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6860255 impls, 0 clqs
14.89/14.90	c (round 6) 20216 del vars, 76760 del conss, 16087 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6868270 impls, 0 clqs
14.99/15.04	c (round 7) 20487 del vars, 77962 del conss, 16212 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6871828 impls, 0 clqs
15.09/15.14	c (round 8) 20612 del vars, 78486 del conss, 16264 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6873485 impls, 0 clqs
15.19/15.23	c (round 9) 20665 del vars, 78719 del conss, 16287 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874114 impls, 0 clqs
15.29/15.30	c (round 10) 20686 del vars, 78814 del conss, 16297 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874333 impls, 0 clqs
15.29/15.37	c (round 11) 20699 del vars, 78864 del conss, 16303 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874460 impls, 0 clqs
15.40/15.43	c (round 12) 20706 del vars, 78892 del conss, 16305 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874501 impls, 0 clqs
15.49/15.50	c (round 13) 20707 del vars, 78900 del conss, 16305 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874505 impls, 0 clqs
15.89/15.98	c (round 14) 20707 del vars, 78901 del conss, 16305 chg bounds, 29 chg sides, 33 chg coeffs, 44061 upgd conss, 6874505 impls, 0 clqs
16.69/16.79	c (round 15) 20707 del vars, 78901 del conss, 16305 chg bounds, 48 chg sides, 182 chg coeffs, 44061 upgd conss, 6874505 impls, 0 clqs
16.99/17.02	c presolving (16 rounds):
16.99/17.02	c  20707 deleted vars, 78901 deleted constraints, 16305 tightened bounds, 0 added holes, 51 changed sides, 198 changed coefficients
16.99/17.02	c  6874505 implications, 3 cliques
16.99/17.02	c presolved problem has 14625 variables (14625 bin, 0 int, 0 impl, 0 cont) and 44061 constraints
16.99/17.02	c     558 constraints of type <knapsack>
16.99/17.02	c   43503 constraints of type <logicor>
16.99/17.02	c transformed objective value is always integral (scale: 1)
16.99/17.02	c Presolving Time: 13.49
16.99/17.02	c - non default parameters ----------------------------------------------------------------------
16.99/17.02	c # SCIP version 1.2.1.2
16.99/17.02	c 
16.99/17.02	c # frequency for displaying node information lines
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 100]
16.99/17.02	c display/freq = 10000
16.99/17.02	c 
16.99/17.02	c # maximal time in seconds to run
16.99/17.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.99/17.02	c limits/time = 1797.67
16.99/17.02	c 
16.99/17.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.99/17.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.99/17.02	c limits/memory = 1620
16.99/17.02	c 
16.99/17.02	c # solving stops, if the given number of solutions were found (-1: no limit)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: -1]
16.99/17.02	c limits/solutions = 1
16.99/17.02	c 
16.99/17.02	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.02	c lp/solvefreq = -1
16.99/17.02	c 
16.99/17.02	c # maximal number of separation rounds per node (-1: unlimited)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 5]
16.99/17.02	c separating/maxrounds = 1
16.99/17.02	c 
16.99/17.02	c # maximal number of separation rounds in the root node (-1: unlimited)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: -1]
16.99/17.02	c separating/maxroundsroot = 5
16.99/17.02	c 
16.99/17.02	c # should presolving try to simplify inequalities
16.99/17.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.99/17.02	c constraints/linear/simplifyinequalities = TRUE
16.99/17.02	c 
16.99/17.02	c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.99/17.02	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.99/17.02	c constraints/knapsack/disaggregation = FALSE
16.99/17.02	c 
16.99/17.02	c # should presolving try to simplify knapsacks
16.99/17.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.99/17.02	c constraints/knapsack/simplifyinequalities = TRUE
16.99/17.02	c 
16.99/17.02	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: -1]
16.99/17.02	c presolving/probing/maxrounds = 0
16.99/17.02	c 
16.99/17.02	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.02	c heuristics/coefdiving/freq = -1
16.99/17.02	c 
16.99/17.02	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.02	c heuristics/coefdiving/maxlpiterquot = 0.075
16.99/17.02	c 
16.99/17.02	c # additional number of allowed LP iterations
16.99/17.02	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.02	c heuristics/coefdiving/maxlpiterofs = 1500
16.99/17.02	c 
16.99/17.02	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 30]
16.99/17.02	c heuristics/crossover/freq = -1
16.99/17.02	c 
16.99/17.02	c # number of nodes added to the contingent of the total nodes
16.99/17.02	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.99/17.02	c heuristics/crossover/nodesofs = 750
16.99/17.02	c 
16.99/17.02	c # number of nodes without incumbent change that heuristic should wait
16.99/17.02	c # [type: longint, range: [0,9223372036854775807], default: 200]
16.99/17.02	c heuristics/crossover/nwaitingnodes = 100
16.99/17.02	c 
16.99/17.02	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.99/17.02	c # [type: real, range: [0,1], default: 0.1]
16.99/17.02	c heuristics/crossover/nodesquot = 0.15
16.99/17.02	c 
16.99/17.02	c # minimum percentage of integer variables that have to be fixed 
16.99/17.02	c # [type: real, range: [0,1], default: 0.666]
16.99/17.02	c heuristics/crossover/minfixingrate = 0.5
16.99/17.02	c 
16.99/17.02	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 20]
16.99/17.02	c heuristics/feaspump/freq = -1
16.99/17.02	c 
16.99/17.02	c # additional number of allowed LP iterations
16.99/17.02	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.02	c heuristics/feaspump/maxlpiterofs = 2000
16.99/17.02	c 
16.99/17.02	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.99/17.02	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.02	c heuristics/fracdiving/freq = -1
16.99/17.02	c 
16.99/17.02	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.03	c heuristics/fracdiving/maxlpiterquot = 0.075
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/fracdiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.03	c heuristics/guideddiving/freq = -1
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.03	c heuristics/guideddiving/maxlpiterquot = 0.075
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/guideddiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.03	c heuristics/intdiving/maxlpiterquot = 0.075
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.03	c heuristics/intshifting/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.03	c heuristics/linesearchdiving/freq = -1
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.03	c heuristics/linesearchdiving/maxlpiterquot = 0.075
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/linesearchdiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.03	c heuristics/nlp/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 20]
16.99/17.03	c heuristics/objpscostdiving/freq = -1
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to total iteration number
16.99/17.03	c # [type: real, range: [0,1], default: 0.01]
16.99/17.03	c heuristics/objpscostdiving/maxlpiterquot = 0.015
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/objpscostdiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.03	c heuristics/oneopt/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.03	c heuristics/pscostdiving/freq = -1
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.03	c heuristics/pscostdiving/maxlpiterquot = 0.075
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/pscostdiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 0]
16.99/17.03	c heuristics/rens/freq = -1
16.99/17.03	c 
16.99/17.03	c # minimum percentage of integer variables that have to be fixable 
16.99/17.03	c # [type: real, range: [0,1], default: 0.5]
16.99/17.03	c heuristics/rens/minfixingrate = 0.3
16.99/17.03	c 
16.99/17.03	c # number of nodes added to the contingent of the total nodes
16.99/17.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.99/17.03	c heuristics/rens/nodesofs = 2000
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 20]
16.99/17.03	c heuristics/rootsoldiving/freq = -1
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.99/17.03	c heuristics/rootsoldiving/maxlpiterquot = 0.015
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/rootsoldiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.03	c heuristics/rounding/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.03	c heuristics/shifting/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.03	c heuristics/simplerounding/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 0]
16.99/17.03	c heuristics/trivial/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.03	c heuristics/trysol/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 10]
16.99/17.03	c heuristics/veclendiving/freq = -1
16.99/17.03	c 
16.99/17.03	c # maximal fraction of diving LP iterations compared to node LP iterations
16.99/17.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.99/17.03	c heuristics/veclendiving/maxlpiterquot = 0.075
16.99/17.03	c 
16.99/17.03	c # additional number of allowed LP iterations
16.99/17.03	c # [type: int, range: [0,2147483647], default: 1000]
16.99/17.03	c heuristics/veclendiving/maxlpiterofs = 1500
16.99/17.03	c 
16.99/17.03	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 1]
16.99/17.03	c heuristics/zirounding/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 0]
16.99/17.03	c separating/cmir/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: 0]
16.99/17.03	c separating/flowcover/freq = -1
16.99/17.03	c 
16.99/17.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.99/17.03	c # [type: int, range: [-1,2147483647], default: -1]
16.99/17.03	c separating/rapidlearning/freq = 0
16.99/17.03	c 
16.99/17.03	c -----------------------------------------------------------------------------------------------
16.99/17.03	c start solving
16.99/17.04	c 
17.09/17.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.09/17.12	c  13.9s|     1 |     2 |     0 |     - | 205M|   0 |   - |  14k|  44k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
275.81/275.91	c   271s| 10000 |  6131 |     0 |   0.0 | 269M| 342 |   - |  14k|  46k|   0 |   0 |   0 |8857 |   0 | 0.000000e+00 |      --      |    Inf 
536.66/536.88	c   531s| 20000 | 13528 |     0 |   0.0 | 324M| 342 |   - |  14k|  47k|   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
808.08/808.33	c   801s| 30000 | 19476 |     0 |   0.0 | 377M| 342 |   - |  14k|  46k|   0 |   0 |   0 |  31k|   0 | 0.000000e+00 |      --      |    Inf 
1074.31/1074.61	c  1066s| 40000 | 27397 |     0 |   0.0 | 440M| 342 |   - |  14k|  46k|   0 |   0 |   0 |  40k|   0 | 0.000000e+00 |      --      |    Inf 
1326.34/1326.73	c  1317s| 50000 | 35157 |     0 |   0.0 | 496M| 342 |   - |  14k|  47k|   0 |   0 |   0 |  49k|   0 | 0.000000e+00 |      --      |    Inf 
1569.88/1570.32	c  1559s| 60000 | 43064 |     0 |   0.0 | 542M| 342 |   - |  14k|  47k|   0 |   0 |   0 |  58k|   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1801.81/1802.38	c 
1801.81/1802.38	c SCIP Status        : solving was interrupted [user interrupt]
1801.81/1802.38	c Solving Time (sec) : 1790.51
1801.81/1802.38	c Solving Nodes      : 69139
1801.81/1802.38	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.81/1802.38	c Dual Bound         : +0.00000000000000e+00
1801.81/1802.38	c Gap                : infinite
1801.81/1802.38	s UNKNOWN
1801.81/1802.38	c SCIP Status        : solving was interrupted [user interrupt]
1801.81/1802.38	c Solving Time       :    1790.51
1801.81/1802.38	c Original Problem   :
1801.81/1802.38	c   Problem name     : HOME/instance-2685024-1278438397.opb
1801.81/1802.38	c   Variables        : 35332 (35332 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.81/1802.38	c   Constraints      : 122962 initial, 122962 maximal
1801.81/1802.38	c Presolved Problem  :
1801.81/1802.38	c   Problem name     : t_HOME/instance-2685024-1278438397.opb
1801.81/1802.38	c   Variables        : 14625 (14625 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.81/1802.38	c   Constraints      : 44061 initial, 47610 maximal
1801.81/1802.38	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1801.81/1802.38	c   trivial          :       0.07        969          0          0          0          0          0          0          0
1801.81/1802.38	c   dualfix          :       0.11        111          0          0          0          0          0          0          0
1801.81/1802.38	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1801.81/1802.38	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1801.81/1802.38	c   implics          :       0.29          0          0          0          0          0          0          0          0
1801.81/1802.38	c   probing          :       0.00          0          0          0          0          0          0          0          0
1801.81/1802.38	c   knapsack         :       0.74          0          0          0          0          0          0         22        165
1801.81/1802.38	c   linear           :      11.65      15359       4268          0      16305          0      78901         29         33
1801.81/1802.38	c   logicor          :       0.20          0          0          0          0          0          0          0          0
1801.81/1802.38	c   root node        :          -          9          -          -          9          -          -          -          -
1801.81/1802.38	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1801.81/1802.38	c   integral         :          0          0          0          0          0          0          0          0          0          0
1801.81/1802.38	c   knapsack         :        558          0    1109310          0      61458       1939    1480743          0          0          0
1801.81/1802.38	c   logicor          :      43503+         0    1079003          0      61458       7909    9065112          0          0          0
1801.81/1802.38	c   countsols        :          0          0          0          0      61268          0          0          0          0          0
1801.81/1802.38	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1801.81/1802.38	c   integral         :       0.00       0.00       0.00       0.00       0.00
1801.81/1802.38	c   knapsack         :     387.24       0.00     240.03       0.00     147.21
1801.81/1802.38	c   logicor          :    1033.26       0.00      90.30       0.00     942.96
1801.81/1802.38	c   countsols        :       0.03       0.00       0.00       0.00       0.03
1801.81/1802.38	c Propagators        :       Time      Calls    Cutoffs    DomReds
1801.81/1802.38	c   vbounds          :       0.46          1          0          0
1801.81/1802.38	c   rootredcost      :       0.64          0          0          0
1801.81/1802.38	c   pseudoobj        :       0.36          0          0          0
1801.81/1802.38	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.81/1802.38	c   propagation      :      10.82       9848       9848     164105       63.1       1897       16.5          -
1801.81/1802.38	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1801.81/1802.38	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.81/1802.38	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.81/1802.38	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.81/1802.38	c   applied globally :          -          -          -      66530       40.8          -          -          -
1801.81/1802.38	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.81/1802.38	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.81/1802.38	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1801.81/1802.38	c   redcost          :       0.00          0          0          0          0          0
1801.81/1802.38	c   impliedbounds    :       0.00          0          0          0          0          0
1801.81/1802.38	c   intobj           :       0.00          0          0          0          0          0
1801.81/1802.38	c   cgmip            :       0.00          0          0          0          0          0
1801.81/1802.38	c   gomory           :       0.00          0          0          0          0          0
1801.81/1802.38	c   strongcg         :       0.00          0          0          0          0          0
1801.81/1802.38	c   cmir             :       0.00          0          0          0          0          0
1801.81/1802.38	c   flowcover        :       0.00          0          0          0          0          0
1801.81/1802.38	c   clique           :       0.00          0          0          0          0          0
1801.81/1802.38	c   zerohalf         :       0.00          0          0          0          0          0
1801.81/1802.38	c   mcf              :       0.00          0          0          0          0          0
1801.81/1802.38	c   rapidlearning    :       0.00          0          0          0          0          0
1801.81/1802.38	c Pricers            :       Time      Calls       Vars
1801.81/1802.38	c   problem variables:       0.00          0          0
1801.81/1802.38	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.81/1802.38	c   relpscost        :       0.00          0          0          0          0          0          0
1801.81/1802.38	c   pscost           :       0.00          0          0          0          0          0          0
1801.81/1802.38	c   inference        :     236.83      61268          0          0          0          0     122536
1801.81/1802.38	c   mostinf          :       0.00          0          0          0          0          0          0
1801.81/1802.38	c   leastinf         :       0.00          0          0          0          0          0          0
1801.81/1802.38	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.81/1802.38	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.81/1802.38	c   random           :       0.00          0          0          0          0          0          0
1801.81/1802.38	c Primal Heuristics  :       Time      Calls      Found
1801.81/1802.38	c   LP solutions     :       0.00          -          0
1801.81/1802.38	c   pseudo solutions :       0.00          -          0
1801.81/1802.38	c   trivial          :       0.07          1          0
1801.81/1802.38	c   simplerounding   :       0.00          0          0
1801.81/1802.38	c   zirounding       :       0.00          0          0
1801.81/1802.38	c   rounding         :       0.00          0          0
1801.81/1802.38	c   shifting         :       0.00          0          0
1801.81/1802.38	c   intshifting      :       0.00          0          0
1801.81/1802.38	c   oneopt           :       0.00          0          0
1801.81/1802.38	c   twoopt           :       0.00          0          0
1801.81/1802.38	c   fixandinfer      :       0.00          0          0
1801.81/1802.38	c   feaspump         :       0.00          0          0
1801.81/1802.38	c   coefdiving       :       0.00          0          0
1801.81/1802.38	c   pscostdiving     :       0.00          0          0
1801.81/1802.38	c   fracdiving       :       0.00          0          0
1801.81/1802.38	c   veclendiving     :       0.00          0          0
1801.81/1802.38	c   intdiving        :       0.00          0          0
1801.81/1802.38	c   actconsdiving    :       0.00          0          0
1801.81/1802.38	c   objpscostdiving  :       0.00          0          0
1801.81/1802.38	c   rootsoldiving    :       0.00          0          0
1801.81/1802.38	c   linesearchdiving :       0.00          0          0
1801.81/1802.38	c   guideddiving     :       0.00          0          0
1801.81/1802.38	c   octane           :       0.00          0          0
1801.81/1802.38	c   rens             :       0.00          0          0
1801.81/1802.38	c   rins             :       0.00          0          0
1801.81/1802.38	c   localbranching   :       0.00          0          0
1801.81/1802.38	c   mutation         :       0.00          0          0
1801.81/1802.38	c   crossover        :       0.00          0          0
1801.81/1802.38	c   dins             :       0.00          0          0
1801.81/1802.38	c   undercover       :       0.00          0          0
1801.81/1802.38	c   nlp              :       0.00          0          0
1801.81/1802.38	c   trysol           :       0.00          0          0
1801.81/1802.38	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1801.81/1802.38	c   primal LP        :       0.00          0          0       0.00          -
1801.81/1802.38	c   dual LP          :       0.00          0          0       0.00          -
1801.81/1802.38	c   lex dual LP      :       0.00          0          0       0.00          -
1801.81/1802.38	c   barrier LP       :       0.00          0          0       0.00          -
1801.81/1802.38	c   diving/probing LP:       0.00          0          0       0.00          -
1801.81/1802.38	c   strong branching :       0.00          0          0       0.00          -
1801.81/1802.38	c     (at root node) :          -          0          0       0.00          -
1801.81/1802.38	c   conflict analysis:       0.00          0          0       0.00          -
1801.81/1802.38	c B&B Tree           :
1801.81/1802.38	c   number of runs   :          1
1801.81/1802.38	c   nodes            :      69139
1801.81/1802.38	c   nodes (total)    :      69139
1801.81/1802.38	c   nodes left       :      50191
1801.81/1802.38	c   max depth        :        342
1801.81/1802.38	c   max depth (total):        342
1801.81/1802.38	c   backtracks       :       2486 (3.6%)
1801.81/1802.38	c   delayed cutoffs  :       3207
1801.81/1802.38	c   repropagations   :      31970 (1333964 domain reductions, 1977 cutoffs)
1801.81/1802.38	c   avg switch length:       3.51
1801.81/1802.38	c   switching time   :      91.99
1801.81/1802.38	c Solution           :
1801.81/1802.38	c   Solutions found  :          0 (0 improvements)
1801.81/1802.38	c   Primal Bound     :          -
1801.81/1802.38	c   Dual Bound       : +0.00000000000000e+00
1801.81/1802.38	c   Gap              :   infinite
1801.81/1802.38	c   Root Dual Bound  : +0.00000000000000e+00
1801.81/1802.38	c   Root Iterations  :          0

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-2685024-1278438397/watcher-2685024-1278438397 -o /tmp/evaluation-result-2685024-1278438397/solver-2685024-1278438397 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685024-1278438397.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.19 1.11 1.05 3/106 20731
/proc/meminfo: memFree=1777196/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=7612 CPUtime=0
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 1223 0 0 0 0 0 0 0 25 0 1 0 12051224 7794688 1145 1992294400 4194304 7136930 140736291277456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 1903 1157 254 719 0 1182 0

[startup+0.0727989 s]
/proc/loadavg: 1.19 1.11 1.05 3/106 20731
/proc/meminfo: memFree=1777196/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=12244 CPUtime=0.06
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 2535 0 0 0 5 1 0 0 25 0 1 0 12051224 12537856 2457 1992294400 4194304 7136930 140736291277456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 3061 2457 268 719 0 2340 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12244

[startup+0.100801 s]
/proc/loadavg: 1.19 1.11 1.05 3/106 20731
/proc/meminfo: memFree=1777196/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=14912 CPUtime=0.09
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 3205 0 0 0 8 1 0 0 25 0 1 0 12051224 15269888 3127 1992294400 4194304 7136930 140736291277456 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 3728 3127 268 719 0 3007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14912

[startup+0.300821 s]
/proc/loadavg: 1.19 1.11 1.05 3/106 20731
/proc/meminfo: memFree=1777196/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=25844 CPUtime=0.29
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 5965 0 0 0 27 2 0 0 25 0 1 0 12051224 26464256 5878 1992294400 4194304 7136930 140736291277456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 6461 5878 268 719 0 5740 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25844

[startup+0.700864 s]
/proc/loadavg: 1.19 1.11 1.05 3/106 20731
/proc/meminfo: memFree=1777196/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=34688 CPUtime=0.69
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 8136 0 0 0 66 3 0 0 25 0 1 0 12051224 35520512 8049 1992294400 4194304 7136930 140736291277456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 8672 8049 268 719 0 7951 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34688

[startup+1.50094 s]
/proc/loadavg: 1.18 1.11 1.05 2/107 20732
/proc/meminfo: memFree=1740236/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=54380 CPUtime=1.49
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 13081 0 0 0 144 5 0 0 25 0 1 0 12051224 55685120 12994 1992294400 4194304 7136930 140736291277456 18446744073709551615 6176901 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 13595 12994 268 719 0 12874 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54380

[startup+3.10111 s]
/proc/loadavg: 1.18 1.11 1.05 2/107 20732
/proc/meminfo: memFree=1706880/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=192744 CPUtime=3.09
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 47384 0 0 0 292 17 0 0 25 0 1 0 12051224 197369856 46916 1992294400 4194304 7136930 140736291277456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 48186 46916 341 719 0 47465 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192744

[startup+6.30143 s]
/proc/loadavg: 1.18 1.11 1.05 2/107 20732
/proc/meminfo: memFree=1484424/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=324268 CPUtime=6.29
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 79933 0 0 0 596 33 0 0 25 0 1 0 12051224 332050432 79465 1992294400 4194304 7136930 140736291277456 18446744073709551615 5955502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 81067 79465 341 719 0 80346 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 324268

[startup+12.7011 s]
/proc/loadavg: 1.15 1.10 1.05 2/107 20733
/proc/meminfo: memFree=1415356/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=375296 CPUtime=12.69
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 91100 0 0 0 1216 53 0 0 25 0 1 0 12051224 384303104 90375 1992294400 4194304 7136930 140736291277456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 93824 90375 346 719 0 93103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 375296

[startup+25.5004 s]
/proc/loadavg: 1.12 1.10 1.05 2/107 20733
/proc/meminfo: memFree=1404444/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=388208 CPUtime=25.48
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 106677 0 0 0 2451 97 0 0 25 0 1 0 12051224 397524992 93471 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 97052 93471 419 719 0 96331 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 388208

[startup+51.101 s]
/proc/loadavg: 1.08 1.09 1.04 2/107 20734
/proc/meminfo: memFree=1375924/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=417140 CPUtime=51.07
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 113708 0 0 0 4995 112 0 0 25 0 1 0 12051224 427151360 100502 1992294400 4194304 7136930 140736291277456 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 104285 100502 419 719 0 103564 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 417140

[startup+102.308 s]
/proc/loadavg: 1.03 1.07 1.04 2/107 20735
/proc/meminfo: memFree=1358440/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=436420 CPUtime=102.26
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 118046 0 0 0 10094 132 0 0 25 0 1 0 12051224 446894080 104840 1992294400 4194304 7136930 140736291277456 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 109105 104840 419 719 0 108384 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 436420

[startup+162.3 s]
/proc/loadavg: 1.01 1.06 1.03 2/107 20737
/proc/meminfo: memFree=1341204/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=455756 CPUtime=162.24
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 122320 0 0 0 16068 156 0 0 25 0 1 0 12051224 466694144 109114 1992294400 4194304 7136930 140736291277456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 113939 109114 419 719 0 113218 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 455756

[startup+222.3 s]
/proc/loadavg: 1.00 1.04 1.03 2/107 20738
/proc/meminfo: memFree=1324092/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=475144 CPUtime=222.22
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 126591 0 0 0 22037 185 0 0 25 0 1 0 12051224 486547456 113385 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 118786 113385 419 719 0 118065 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 475144

[startup+282.3 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 20740
/proc/meminfo: memFree=1306980/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=495132 CPUtime=282.21
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 130850 0 0 0 28005 216 0 0 25 0 1 0 12051224 507015168 117644 1992294400 4194304 7136930 140736291277456 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 123783 117644 419 719 0 123062 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 495132

[startup+342.301 s]
/proc/loadavg: 1.11 1.05 1.02 2/107 20741
/proc/meminfo: memFree=1295200/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=508644 CPUtime=342.19
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 133763 0 0 0 33980 239 0 0 25 0 1 0 12051224 520851456 120557 1992294400 4194304 7136930 140736291277456 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 127161 120557 419 719 0 126440 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 508644

[startup+402.301 s]
/proc/loadavg: 1.11 1.06 1.02 2/107 20743
/proc/meminfo: memFree=1281560/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=524824 CPUtime=402.19
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 137268 0 0 0 39951 268 0 0 25 0 1 0 12051224 537419776 124062 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 131206 124062 419 719 0 130485 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 524824

[startup+462.301 s]
/proc/loadavg: 1.11 1.06 1.02 2/107 20745
/proc/meminfo: memFree=1266308/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=542968 CPUtime=462.16
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 140963 0 0 0 45922 294 0 0 25 0 1 0 12051224 555999232 127757 1992294400 4194304 7136930 140736291277456 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 135742 127757 419 719 0 135021 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 542968

[startup+522.301 s]
/proc/loadavg: 1.10 1.06 1.02 2/107 20746
/proc/meminfo: memFree=1251304/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=561876 CPUtime=522.15
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 144815 0 0 0 51894 321 0 0 25 0 1 0 12051224 575361024 131609 1992294400 4194304 7136930 140736291277456 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 140469 131609 419 719 0 139748 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 561876

[startup+582.301 s]
/proc/loadavg: 1.09 1.07 1.02 2/107 20748
/proc/meminfo: memFree=1235060/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=582120 CPUtime=582.14
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 148742 0 0 0 57865 349 0 0 25 0 1 0 12051224 596090880 135536 1992294400 4194304 7136930 140736291277456 18446744073709551615 4223878 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 145530 135536 419 719 0 144809 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 582120

[startup+642.301 s]
/proc/loadavg: 1.08 1.07 1.02 2/107 20749
/proc/meminfo: memFree=1218568/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=602104 CPUtime=642.13
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 152857 0 0 0 63837 376 0 0 25 0 1 0 12051224 616554496 139651 1992294400 4194304 7136930 140736291277456 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 150526 139651 419 719 0 149805 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 602104

[startup+702.301 s]

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

/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 178643 0 0 0 105622 578 0 0 25 0 1 0 12051224 746770432 165437 1992294400 4194304 7136930 140736291277456 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 182317 165437 419 719 0 181596 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 729268

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20771
/proc/meminfo: memFree=1098372/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=748360 CPUtime=1121.99
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 182433 0 0 0 111590 609 0 0 25 0 1 0 12051224 766320640 169227 1992294400 4194304 7136930 140736291277456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 187090 169227 419 719 0 186369 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 748360

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20773
/proc/meminfo: memFree=1086096/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=762200 CPUtime=1181.98
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 185540 0 0 0 117562 636 0 0 25 0 1 0 12051224 780492800 172334 1992294400 4194304 7136930 140736291277456 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 190550 172334 419 719 0 189829 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 762200

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20774
/proc/meminfo: memFree=1072208/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=777484 CPUtime=1241.96
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 188980 0 0 0 123533 663 0 0 25 0 1 0 12051224 796143616 175774 1992294400 4194304 7136930 140736291277456 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 194371 175774 419 719 0 193650 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 777484

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20776
/proc/meminfo: memFree=1058320/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=793184 CPUtime=1301.95
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 192402 0 0 0 129502 693 0 0 25 0 1 0 12051224 812220416 179196 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 198296 179196 419 719 0 197575 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 793184

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20778
/proc/meminfo: memFree=1043812/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=812032 CPUtime=1361.93
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 196035 0 0 0 135475 718 0 0 25 0 1 0 12051224 831520768 182829 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 203008 182829 419 719 0 202287 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 812032

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20779
/proc/meminfo: memFree=1028436/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=830428 CPUtime=1421.92
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 199867 0 0 0 141446 746 0 0 25 0 1 0 12051224 850358272 186661 1992294400 4194304 7136930 140736291277456 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 207607 186661 419 719 0 206886 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 830428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20781
/proc/meminfo: memFree=1013804/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=849212 CPUtime=1481.9
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 203537 0 0 0 147418 772 0 0 25 0 1 0 12051224 869593088 190331 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 212303 190331 419 719 0 211582 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 849212

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20782
/proc/meminfo: memFree=1001280/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=864656 CPUtime=1541.88
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 206718 0 0 0 153389 799 0 0 25 0 1 0 12051224 885407744 193512 1992294400 4194304 7136930 140736291277456 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 216164 193512 419 719 0 215443 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 864656

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20784
/proc/meminfo: memFree=988012/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=880684 CPUtime=1601.87
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 209999 0 0 0 159359 828 0 0 25 0 1 0 12051224 901820416 196793 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 220171 196793 419 719 0 219450 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 880684

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20786
/proc/meminfo: memFree=976232/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=896552 CPUtime=1661.85
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 212941 0 0 0 165331 854 0 0 25 0 1 0 12051224 918069248 199735 1992294400 4194304 7136930 140736291277456 18446744073709551615 4854467 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 224138 199735 419 719 0 223417 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 896552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20787
/proc/meminfo: memFree=964328/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=910004 CPUtime=1721.83
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 215897 0 0 0 171306 877 0 0 25 0 1 0 12051224 931844096 202691 1992294400 4194304 7136930 140736291277456 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 227501 202691 419 719 0 226780 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 910004

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20789
/proc/meminfo: memFree=949572/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=929744 CPUtime=1781.82
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 219611 0 0 0 177279 903 0 0 25 0 1 0 12051224 952057856 206405 1992294400 4194304 7136930 140736291277456 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 232436 206405 419 719 0 231715 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 929744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20789
/proc/meminfo: memFree=945232/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=934720 CPUtime=1800.02
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 220655 0 0 0 179090 912 0 0 25 0 1 0 12051224 957153280 207449 1992294400 4194304 7136930 140736291277456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 233680 207449 419 719 0 232959 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 934720

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20731

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20790
/proc/meminfo: memFree=945224/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=934720 CPUtime=1800.91
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 220655 0 0 0 179179 912 0 0 25 0 1 0 12051224 957153280 207449 1992294400 4194304 7136930 140736291277456 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 233680 207449 419 719 0 232959 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 934720

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20790
/proc/meminfo: memFree=945224/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=934720 CPUtime=1801.71
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 220655 0 0 0 179259 912 0 0 25 0 1 0 12051224 957153280 207449 1992294400 4194304 7136930 140736291277456 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20731/statm: 233680 207449 419 719 0 232959 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 934720

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20790
/proc/meminfo: memFree=945224/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=934720 CPUtime=1801.91
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 220657 0 0 0 179279 912 0 0 18 0 1 0 12051224 957153280 207451 1992294400 4194304 7136930 140736291277456 18446744073709551615 5956121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 233680 207451 420 719 0 232959 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 934720

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 20790
/proc/meminfo: memFree=945224/2059040 swapFree=4192956/4192956
[pid=20731] ppid=20729 vsize=934720 CPUtime=1802.01
/proc/20731/stat : 20731 (pbscip.linux.x8) R 20729 20731 19821 0 -1 4202496 220662 0 0 0 179289 912 0 0 18 0 1 0 12051224 957153280 207456 1992294400 4194304 7136930 140736291277456 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20731/statm: 233680 207456 425 719 0 232959 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 934720

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.6
CPU time (s): 1802.12
CPU user time (s): 1792.91
CPU system time (s): 9.2126
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 934720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.91
system time used= 9.2126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220662
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= 3
involuntary context switches= 3837

runsolver used 3.9144 second user time and 9.1916 second system time

The end

Launcher Data 

Begin job on node027 at 2010-07-06 19:46:38
IDJOB=2685024
IDBENCH=74310
IDSOLVER=1167
FILE ID=node027/2685024-1278438397
PBS_JOBID= 11233450
Free space on /tmp= 62340 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_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-2685024-1278438397/watcher-2685024-1278438397 -o /tmp/evaluation-result-2685024-1278438397/solver-2685024-1278438397 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2685024-1278438397.opb -t 1800 -m 1800

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

MD5SUM BENCH= da4c22aa3836e09c7cdc382a7b6da5de
RANDOM SEED=815456043

node027.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		: 2800.222
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	: 5600.44
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		: 2800.222
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:       1777600 kB
Buffers:         16672 kB
Cached:         128344 kB
SwapCached:          0 kB
Active:          87700 kB
Inactive:       117732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1777600 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7200 kB
Writeback:           0 kB
AnonPages:       60432 kB
Mapped:          14504 kB
Slab:            53972 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62340 MiB
End job on node027 at 2010-07-06 20:16:40