Trace number 1884358

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? 1798.6 1799.06

General information on the benchmark

Name/PURE-SAT/SAT_RACE08/cnf/
velev-engi-uns-1.0-4nd.opb
MD5SUM0e3c73efc3ce07132cf5437313103a25
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark32.97
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7000
Total number of constraints67586
Number of constraints which are clauses67586
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint58
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 53
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 111
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.99/1.01	c SCIP version 1.1.0.7
0.99/1.01	c LP-Solver Clp 1.8.2
0.99/1.01	c user parameter file <scip.set> not found - using default parameters
0.99/1.01	c read problem <HOME/instance-1884358-1245257463.opb>
0.99/1.01	c original problem has 7000 variables (7000 bin, 0 int, 0 impl, 0 cont) and 67586 constraints
1.19/1.24	c No objective function, only one solution is needed.
1.19/1.24	c start presolving problem
1.19/1.24	c presolving:
1.69/1.78	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 412492 impls, 0 clqs
1.79/1.83	c (round 2) 58 del vars, 91 del conss, 58 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 413130 impls, 0 clqs
1.89/1.92	c (round 3) 88 del vars, 354 del conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 413667 impls, 0 clqs
1.89/1.97	c (round 4) 141 del vars, 1232 del conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 413667 impls, 0 clqs
2.49/2.54	c (round 5) 141 del vars, 1235 del conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 66354 upgd conss, 413667 impls, 0 clqs
2.59/2.67	c presolving (6 rounds):
2.59/2.67	c  141 deleted vars, 1235 deleted constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.59/2.67	c  413667 implications, 0 cliques
2.59/2.67	c presolved problem has 6859 variables (6859 bin, 0 int, 0 impl, 0 cont) and 66351 constraints
2.59/2.67	c   66351 constraints of type <logicor>
2.59/2.67	c transformed objective value is always integral (scale: 1)
2.59/2.67	c Presolving Time: 1.16
2.59/2.67	c PURESAT
2.59/2.67	c -----------------------------------------------------------------------------------------------
2.59/2.67	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.67	c separating/flowcover/freq = c -1
2.59/2.67	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.67	c separating/cmir/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/veclendiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/veclendiving/maxlpiterquot = c 0.075
2.59/2.67	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/veclendiving/freq = c -1
2.59/2.67	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.67	c heuristics/simplerounding/freq = c -1
2.59/2.67	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/shifting/freq = c -1
2.59/2.67	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.67	c heuristics/rounding/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.59/2.67	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.59/2.67	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.67	c heuristics/rootsoldiving/freq = c -1
2.59/2.67	c # number of nodes added to the contingent of the total nodes
2.59/2.67	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.67	c heuristics/rens/nodesofs = c 2000
2.59/2.67	c # minimum percentage of integer variables that have to be fixable 
2.59/2.67	c # [type: real, range: [0,1], default: 0.5]
2.59/2.67	c heuristics/rens/minfixingrate = c 0.3
2.59/2.67	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.67	c heuristics/rens/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/pscostdiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.59/2.67	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/pscostdiving/freq = c -1
2.59/2.67	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.67	c heuristics/oneopt/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to total iteration number
2.59/2.67	c # [type: real, range: [0,1], default: 0.01]
2.59/2.67	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.59/2.67	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.67	c heuristics/objpscostdiving/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.59/2.67	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/linesearchdiving/freq = c -1
2.59/2.67	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/intshifting/freq = c -1
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/intdiving/maxlpiterquot = c 0.075
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/guideddiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/guideddiving/maxlpiterquot = c 0.075
2.59/2.67	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/guideddiving/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/fracdiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/fracdiving/maxlpiterquot = c 0.075
2.59/2.67	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/fracdiving/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/feaspump/maxlpiterofs = c 2000
2.59/2.67	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.67	c heuristics/feaspump/freq = c -1
2.59/2.67	c # minimum percentage of integer variables that have to be fixed 
2.59/2.67	c # [type: real, range: [0,1], default: 0.666]
2.59/2.67	c heuristics/crossover/minfixingrate = c 0.5
2.59/2.67	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.59/2.67	c # [type: real, range: [0,1], default: 0.1]
2.59/2.67	c heuristics/crossover/nodesquot = c 0.15
2.59/2.67	c # number of nodes without incumbent change that heuristic should wait
2.59/2.67	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.59/2.67	c heuristics/crossover/nwaitingnodes = c 100
2.59/2.67	c # number of nodes added to the contingent of the total nodes
2.59/2.67	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.67	c heuristics/crossover/nodesofs = c 750
2.59/2.67	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 30]
2.59/2.67	c heuristics/crossover/freq = c -1
2.59/2.67	c # additional number of allowed LP iterations
2.59/2.67	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.67	c heuristics/coefdiving/maxlpiterofs = c 1500
2.59/2.67	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.67	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.67	c heuristics/coefdiving/maxlpiterquot = c 0.075
2.59/2.67	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.67	c heuristics/coefdiving/freq = c -1
2.59/2.67	c # priority of node selection rule <dfs> in standard mode
2.59/2.67	c # [type: int, range: [-536870912,536870911], default: 0]
2.59/2.67	c nodeselection/dfs/stdpriority = c 1000000
2.59/2.67	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.59/2.67	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.67	c presolving/probing/maxrounds = c 0
2.59/2.67	c # should presolving try to simplify knapsacks
2.59/2.67	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.67	c constraints/knapsack/simplifyinequalities = c TRUE
2.59/2.67	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.59/2.67	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.59/2.67	c constraints/knapsack/disaggregation = c FALSE
2.59/2.67	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.68	c constraints/knapsack/maxnumcardlift = c 0
2.59/2.68	c # should presolving try to simplify inequalities
2.59/2.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.68	c constraints/linear/simplifyinequalities = c TRUE
2.59/2.68	c # maximal number of separation rounds in the root node (-1: unlimited)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.68	c separating/maxroundsroot = c 5
2.59/2.68	c # maximal number of separation rounds per node (-1: unlimited)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: 5]
2.59/2.68	c separating/maxrounds = c 1
2.59/2.68	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
2.59/2.68	c # [type: char, range: {lafpsqd}, default: l]
2.59/2.68	c lp/pricing = c a
2.59/2.68	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.68	c lp/solvefreq = c 0
2.59/2.68	c # solving stops, if the given number of solutions were found (-1: no limit)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.68	c limits/solutions = c 1
2.59/2.68	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.59/2.68	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.68	c limits/memory = c 1620
2.59/2.68	c # maximal time in seconds to run
2.59/2.68	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.68	c limits/time = c 1791
2.59/2.68	c # frequency for displaying node information lines
2.59/2.68	c # [type: int, range: [-1,2147483647], default: 100]
2.59/2.68	c display/freq = c 10000
2.59/2.68	c # should enforcement of pseudo solution be disabled?
2.59/2.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.68	c constraints/disableenfops = c TRUE
2.59/2.68	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.68	c constraints/agelimit = c 1
2.59/2.68	c # should binary conflicts be preferred?
2.59/2.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.68	c conflict/preferbinary = c TRUE
2.59/2.68	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.59/2.68	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.68	c conflict/interconss = c 0
2.59/2.68	c -----------------------------------------------------------------------------------------------
2.59/2.68	c start solving problem
2.59/2.68	c 
6.89/6.95	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.89/6.95	c   5.5s|     1 |     0 |  1087 | 100M|   0 | 517 |6859 |  66k|  66k|6859 |  66k|   0 |   0 |   0 | 1.560400e+02 |      --      |    Inf 
15.68/15.79	c  14.3s|     1 |     0 |  1766 | 101M|   0 | 524 |6859 |  66k|  66k|6859 |  66k|  10 |   0 |   0 | 1.644735e+02 |      --      |    Inf 
21.89/21.96	c  20.4s|     1 |     0 |  2306 | 102M|   0 | 494 |6859 |  66k|  66k|6859 |  66k|  22 |   0 |   0 | 1.673333e+02 |      --      |    Inf 
27.18/27.29	c  25.8s|     1 |     0 |  2763 | 102M|   0 | 519 |6859 |  66k|  66k|6859 |  66k|  35 |   0 |   0 | 1.687389e+02 |      --      |    Inf 
35.88/35.99	c  34.4s|     1 |     0 |  3496 | 103M|   0 | 526 |6859 |  66k|  66k|6859 |  66k|  51 |   0 |   0 | 1.700132e+02 |      --      |    Inf 
62.28/62.36	c  60.8s|     1 |     0 |  4254 | 103M|   0 | 551 |6859 |  66k|  66k|6859 |  66k|  63 |   0 |   0 | 1.710755e+02 |      --      |    Inf 
306.51/306.69	c   305s|     1 |     2 |  4254 | 103M|   0 | 551 |6859 |  66k|  66k|6859 |  66k|  63 |   0 |  42 | 1.710755e+02 |      --      |    Inf 
412.79/412.92	c   411s| 10000 |    22 |  4254 | 106M| 180 |   - |6859 |  66k|  15k|   0 |   0 |  63 |4841 |  42 | 1.720797e+02 |      --      |    Inf 
520.46/520.63	c   518s| 20000 |    25 |  4254 | 106M| 180 |   - |6859 |  66k|  21k|   0 |   0 |  63 |  10k|  42 | 1.720797e+02 |      --      |    Inf 
635.83/636.07	c   633s| 30000 |    22 |  4254 | 107M| 180 |   - |6859 |  66k|  16k|   0 |   0 |  63 |  15k|  42 | 1.720797e+02 |      --      |    Inf 
744.89/745.19	c   742s| 40000 |    17 |  4254 | 107M| 180 |   - |6859 |  66k|  16k|   0 |   0 |  63 |  20k|  42 | 1.720797e+02 |      --      |    Inf 
873.47/873.78	c   870s| 50000 |    18 |  4254 | 107M| 180 |   - |6859 |  66k|  15k|   0 |   0 |  63 |  25k|  42 | 1.720797e+02 |      --      |    Inf 
982.15/982.47	c   978s| 60000 |    23 |  4254 | 107M| 180 |   - |6859 |  66k|  13k|   0 |   0 |  63 |  29k|  42 | 1.720797e+02 |      --      |    Inf 
1090.52/1090.80	c  1086s| 70000 |    24 |  4254 | 107M| 180 |   - |6859 |  66k|  13k|   0 |   0 |  63 |  34k|  42 | 1.720797e+02 |      --      |    Inf 
1191.79/1192.13	c  1187s| 80000 |    24 |  4254 | 107M| 180 |   - |6859 |  66k|  14k|   0 |   0 |  63 |  39k|  42 | 1.720797e+02 |      --      |    Inf 
1298.27/1298.67	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1298.27/1298.67	c  1293s| 90000 |    18 |  4254 | 107M| 180 |   - |6859 |  66k|  14k|   0 |   0 |  63 |  44k|  42 | 1.720797e+02 |      --      |    Inf 
1421.33/1421.73	c  1416s|100000 |    20 |  4254 | 107M| 180 |   - |6859 |  66k|  14k|   0 |   0 |  63 |  49k|  42 | 1.720797e+02 |      --      |    Inf 
1526.51/1526.97	c  1520s|110000 |    14 |  4254 | 107M| 180 |   - |6859 |  66k|  15k|   0 |   0 |  63 |  53k|  42 | 1.720797e+02 |      --      |    Inf 
1626.88/1627.34	c  1620s|120000 |    34 |  4254 | 107M| 180 |   - |6859 |  66k|  33k|   0 |   0 |  63 |  58k|  42 | 1.720797e+02 |      --      |    Inf 
1746.36/1746.81	c  1739s|130000 |    22 |  4254 | 107M| 180 |   - |6859 |  66k|  19k|   0 |   0 |  63 |  63k|  42 | 1.720797e+02 |      --      |    Inf 
1798.14/1798.66	c 
1798.14/1798.66	c SCIP Status        : solving was interrupted [time limit reached]
1798.14/1798.66	c Solving Time (sec) : 1791.00
1798.14/1798.66	c Solving Nodes      : 133305
1798.14/1798.66	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.14/1798.66	c Dual Bound         : +1.72079719593611e+02
1798.14/1798.66	c Gap                : infinite
1798.14/1798.66	c NODE         133305
1798.14/1798.66	c DUAL BOUND   172.08
1798.14/1798.66	c PRIMAL BOUND 1e+20
1798.14/1798.66	c GAP          1e+20
1798.14/1798.66	s UNKNOWN
1798.14/1798.66	c SCIP Status        : solving was interrupted [time limit reached]
1798.14/1798.66	c Solving Time       :    1791.00
1798.14/1798.66	c Original Problem   :
1798.14/1798.66	c   Problem name     : HOME/instance-1884358-1245257463.opb
1798.14/1798.66	c   Variables        : 7000 (7000 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.14/1798.66	c   Constraints      : 67586 initial, 67586 maximal
1798.14/1798.66	c Presolved Problem  :
1798.14/1798.66	c   Problem name     : t_HOME/instance-1884358-1245257463.opb
1798.14/1798.66	c   Variables        : 6859 (6859 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.14/1798.66	c   Constraints      : 66351 initial, 66676 maximal
1798.14/1798.66	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.14/1798.66	c   trivial          :       0.00         53          0          0          0          0          0          0          0
1798.14/1798.66	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1798.14/1798.66	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.14/1798.66	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.14/1798.66	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.14/1798.66	c   probing          :       0.00          0          0          0          0          0          0          0          0
1798.14/1798.66	c   linear           :       0.81         88          0          0        141          0       1232          0          0
1798.14/1798.66	c   logicor          :       0.24          0          0          0          0          0          3          0          0
1798.14/1798.66	c   root node        :          -          1          -          -          1          -          -          -          -
1798.14/1798.66	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.14/1798.66	c   integral         :          0          0          0          1          0          0          0          0          0          2
1798.14/1798.66	c   logicor          :      66351+         5    1136756          0          0      59312   11098046          0          0          0
1798.14/1798.66	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1798.14/1798.66	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.14/1798.66	c   integral         :     244.15       0.00       0.00     244.15       0.00
1798.14/1798.66	c   logicor          :     173.00       0.05     172.95       0.00       0.00
1798.14/1798.66	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.14/1798.66	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.14/1798.66	c   rootredcost      :       0.54          0          0          0
1798.14/1798.66	c   pseudoobj        :    1154.93    1204039          0          0
1798.14/1798.66	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.14/1798.66	c   propagation      :      16.20      59312      59312      59312       16.7       5580       32.3          -
1798.14/1798.66	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.14/1798.66	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.14/1798.66	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.14/1798.66	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.14/1798.66	c   applied globally :          -          -          -      64892       18.0          -          -          -
1798.14/1798.66	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.14/1798.66	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.14/1798.66	c   cut pool         :       0.00          4          -          -         53          -    (maximal pool size: 913)
1798.14/1798.66	c   redcost          :       0.00          5          0          0          0          0
1798.14/1798.66	c   impliedbounds    :       0.02          5          0          0          0          0
1798.14/1798.66	c   intobj           :       0.00          0          0          0          0          0
1798.14/1798.66	c   gomory           :      18.52          5          0          0       2500          0
1798.14/1798.66	c   strongcg         :      13.87          5          0          0       2500          0
1798.14/1798.66	c   cmir             :       0.00          0          0          0          0          0
1798.14/1798.66	c   flowcover        :       0.00          0          0          0          0          0
1798.14/1798.66	c   clique           :       0.58          5          0          0         41          0
1798.14/1798.66	c   zerohalf         :       0.00          0          0          0          0          0
1798.14/1798.66	c   mcf              :       0.27          1          0          0          0          0
1798.14/1798.66	c Pricers            :       Time      Calls       Vars
1798.14/1798.66	c   problem variables:       0.00          0          0
1798.14/1798.66	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.14/1798.66	c   relpscost        :     244.15          1          0          0          0          0          2
1798.14/1798.66	c   pscost           :       0.00          0          0          0          0          0          0
1798.14/1798.66	c   inference        :      41.34     104108          0          0          0          0     208216
1798.14/1798.66	c   mostinf          :       0.00          0          0          0          0          0          0
1798.14/1798.66	c   leastinf         :       0.00          0          0          0          0          0          0
1798.14/1798.66	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.14/1798.66	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.14/1798.66	c   random           :       0.00          0          0          0          0          0          0
1798.14/1798.66	c Primal Heuristics  :       Time      Calls      Found
1798.14/1798.66	c   LP solutions     :       0.00          -          0
1798.14/1798.66	c   pseudo solutions :       0.00          -          0
1798.14/1798.66	c   simplerounding   :       0.00          0          0
1798.14/1798.66	c   rounding         :       0.00          0          0
1798.14/1798.66	c   shifting         :       0.00          0          0
1798.14/1798.66	c   intshifting      :       0.00          0          0
1798.14/1798.66	c   oneopt           :       0.00          0          0
1798.14/1798.66	c   fixandinfer      :       0.00          0          0
1798.14/1798.66	c   feaspump         :       0.00          0          0
1798.14/1798.66	c   coefdiving       :       0.00          0          0
1798.14/1798.66	c   pscostdiving     :       0.00          0          0
1798.14/1798.66	c   fracdiving       :       0.00          0          0
1798.14/1798.66	c   veclendiving     :       0.00          0          0
1798.14/1798.66	c   intdiving        :       0.00          0          0
1798.14/1798.66	c   actconsdiving    :       0.00          0          0
1798.14/1798.66	c   objpscostdiving  :       0.00          0          0
1798.14/1798.66	c   rootsoldiving    :       0.00          0          0
1798.14/1798.66	c   linesearchdiving :       0.00          0          0
1798.14/1798.66	c   guideddiving     :       0.00          0          0
1798.14/1798.66	c   octane           :       0.00          0          0
1798.14/1798.66	c   rens             :       0.00          0          0
1798.14/1798.66	c   rins             :       0.00          0          0
1798.14/1798.66	c   localbranching   :       0.00          0          0
1798.14/1798.66	c   mutation         :       0.00          0          0
1798.14/1798.66	c   crossover        :       0.00          0          0
1798.14/1798.66	c   dins             :       0.00          0          0
1798.14/1798.66	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.14/1798.66	c   primal LP        :       0.11          0          0       0.00       0.00
1798.14/1798.66	c   dual LP          :      25.65          6       4254     709.00     165.85
1798.14/1798.66	c   barrier LP       :       0.00          0          0       0.00          -
1798.14/1798.66	c   diving/probing LP:       0.00          0          0       0.00          -
1798.14/1798.66	c   strong branching :     244.15         42      30358     722.81     124.34
1798.14/1798.66	c     (at root node) :          -         42      30358     722.81          -
1798.14/1798.66	c   conflict analysis:       0.00          0          0       0.00          -
1798.14/1798.66	c B&B Tree           :
1798.14/1798.66	c   number of runs   :          1
1798.14/1798.66	c   nodes            :     133305
1798.14/1798.66	c   nodes (total)    :     133305
1798.14/1798.66	c   nodes left       :         22
1798.14/1798.66	c   max depth        :        180
1798.14/1798.66	c   max depth (total):        180
1798.14/1798.66	c   backtracks       :      32123 (24.1%)
1798.14/1798.66	c   delayed cutoffs  :      74892
1798.14/1798.66	c   repropagations   :     132810 (4624465 domain reductions, 30116 cutoffs)
1798.14/1798.66	c   avg switch length:       3.14
1798.14/1798.66	c   switching time   :      75.28
1798.14/1798.66	c Solution           :
1798.14/1798.66	c   Solutions found  :          0 (0 improvements)
1798.14/1798.66	c   Primal Bound     :          -
1798.14/1798.66	c   Dual Bound       : +1.72079719593611e+02
1798.14/1798.66	c   Gap              :   infinite
1798.14/1798.66	c   Root Dual Bound  : +1.71075505611110e+02
1798.54/1799.05	c Time complete: 1798.59.

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

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.00 0.97 0.91 3/64 19829
/proc/meminfo: memFree=1451184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=5812 CPUtime=0
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 193342800 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8250791 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 1453 516 345 1256 0 192 0

[startup+0.0276261 s]
/proc/loadavg: 1.00 0.97 0.91 3/64 19829
/proc/meminfo: memFree=1451184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=10796 CPUtime=0.02
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 1693 0 0 0 2 0 0 0 18 0 1 0 193342800 11055104 1677 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 2699 1677 376 1256 0 1438 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10796

[startup+0.101631 s]
/proc/loadavg: 1.00 0.97 0.91 3/64 19829
/proc/meminfo: memFree=1451184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=14200 CPUtime=0.09
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 2535 0 0 0 9 0 0 0 18 0 1 0 193342800 14540800 2519 1992294400 4194304 9342243 548682068736 18446744073709551615 8221394 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 3550 2519 376 1256 0 2289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200

[startup+0.301645 s]
/proc/loadavg: 1.00 0.97 0.91 3/64 19829
/proc/meminfo: memFree=1451184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=20560 CPUtime=0.29
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 4099 0 0 0 28 1 0 0 19 0 1 0 193342800 21053440 4083 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 5140 4083 376 1256 0 3879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20560

[startup+0.701671 s]
/proc/loadavg: 1.00 0.97 0.91 3/64 19829
/proc/meminfo: memFree=1451184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=32200 CPUtime=0.69
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 6993 0 0 0 67 2 0 0 22 0 1 0 193342800 32972800 6977 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 8050 6977 376 1256 0 6789 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32200

[startup+1.50173 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19830
/proc/meminfo: memFree=1415976/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=100608 CPUtime=1.49
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 24173 0 0 0 137 12 0 0 25 0 1 0 193342800 103022592 23803 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 25152 23803 461 1256 0 23891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100608

[startup+3.10184 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19830
/proc/meminfo: memFree=1346792/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=211364 CPUtime=3.09
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 47549 0 0 0 268 41 0 0 19 0 1 0 193342800 216436736 45302 1992294400 4194304 9342243 548682068736 18446744073709551615 6948982 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 52841 45302 605 1256 0 51580 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 211364

[startup+6.30104 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19830
/proc/meminfo: memFree=1261800/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=221980 CPUtime=6.29
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 50291 0 0 0 586 43 0 0 25 0 1 0 193342800 227307520 47914 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 55495 47914 607 1256 0 54234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 221980

[startup+12.7015 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19830
/proc/meminfo: memFree=1247664/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=229924 CPUtime=12.69
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 55380 0 0 0 1215 54 0 0 25 0 1 0 193342800 235442176 51390 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 57481 51390 639 1256 0 56220 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 229924

[startup+25.5013 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19830
/proc/meminfo: memFree=1238448/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=235184 CPUtime=25.48
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 57680 0 0 0 2493 55 0 0 25 0 1 0 193342800 240828416 53690 1992294400 4194304 9342243 548682068736 18446744073709551615 6970116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 58796 53690 639 1256 0 57535 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 235184

[startup+51.101 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1233968/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=237376 CPUtime=51.07
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 58786 0 0 0 5049 58 0 0 25 0 1 0 193342800 243073024 54796 1992294400 4194304 9342243 548682068736 18446744073709551615 6952849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 59344 54796 639 1256 0 58083 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 237376

[startup+102.305 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1223216/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=279100 CPUtime=102.26
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 63239 0 0 0 10163 63 0 0 25 0 1 0 193342800 285798400 57477 1992294400 4194304 9342243 548682068736 18446744073709551615 6960339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 69775 57477 644 1256 0 68514 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 279100

[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1223216/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=279100 CPUtime=162.25
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 63239 0 0 0 16159 66 0 0 25 0 1 0 193342800 285798400 57477 1992294400 4194304 9342243 548682068736 18446744073709551615 6960586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 69775 57477 644 1256 0 68514 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 279100

[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1223152/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=279100 CPUtime=222.24
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 63239 0 0 0 22156 68 0 0 25 0 1 0 193342800 285798400 57477 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 69775 57477 644 1256 0 68514 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 279100

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1223152/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=279100 CPUtime=282.22
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 63239 0 0 0 28151 71 0 0 25 0 1 0 193342800 285798400 57477 1992294400 4194304 9342243 548682068736 18446744073709551615 6358263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 69775 57477 644 1256 0 68514 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 279100

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1211184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=251368 CPUtime=342.2
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 67855 0 0 0 34135 85 0 0 25 0 1 0 193342800 257400832 60532 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 62842 60532 664 1256 0 61581 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 251368

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1193648/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=268880 CPUtime=402.19
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 72196 0 0 0 40111 108 0 0 25 0 1 0 193342800 275333120 64873 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 67220 64873 664 1256 0 65959 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 268880

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1187504/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=275304 CPUtime=462.18
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 73745 0 0 0 46089 129 0 0 25 0 1 0 193342800 281911296 66422 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 68826 66422 664 1256 0 67565 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 275304

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1181936/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=280836 CPUtime=522.16
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 75125 0 0 0 52063 153 0 0 25 0 1 0 193342800 287576064 67802 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 70209 67802 664 1256 0 68948 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 280836

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19832
/proc/meminfo: memFree=1178608/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=284060 CPUtime=582.15
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 75911 0 0 0 58040 175 0 0 25 0 1 0 193342800 290877440 68588 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 71015 68588 664 1256 0 69754 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 284060

[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19838
/proc/meminfo: memFree=1176816/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=285924 CPUtime=642.12
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 76368 0 0 0 64016 196 0 0 25 0 1 0 193342800 292786176 69045 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 71481 69045 664 1256 0 70220 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 285924

[startup+702.301 s]

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

/proc/meminfo: memFree=1168496/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=295192 CPUtime=1122
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 78549 0 0 0 111824 376 0 0 25 0 1 0 193342800 302276608 71226 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 73798 71226 664 1256 0 72537 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 295192

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/65 19838
/proc/meminfo: memFree=1166000/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=297444 CPUtime=1182
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 79105 0 0 0 117801 399 0 0 25 0 1 0 193342800 304582656 71782 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 74361 71782 664 1256 0 73100 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 297444

[startup+1242.3 s]
/proc/loadavg: 1.06 0.99 0.91 2/65 19838
/proc/meminfo: memFree=1162416/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=300928 CPUtime=1241.97
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 79976 0 0 0 123779 418 0 0 25 0 1 0 193342800 308150272 72653 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 75232 72653 664 1256 0 73971 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 300928

[startup+1302.3 s]
/proc/loadavg: 1.07 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1162160/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=301236 CPUtime=1301.97
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 80030 0 0 0 129759 438 0 0 25 0 1 0 193342800 308465664 72707 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 75309 72707 664 1256 0 74048 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 301236

[startup+1362.3 s]
/proc/loadavg: 1.02 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1159792/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=303688 CPUtime=1361.94
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 80601 0 0 0 135735 459 0 0 25 0 1 0 193342800 310976512 73278 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 75922 73278 664 1256 0 74661 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 303688

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1158896/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=304604 CPUtime=1421.93
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 80818 0 0 0 141709 484 0 0 25 0 1 0 193342800 311914496 73495 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 76151 73495 664 1256 0 74890 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 304604

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1156400/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=307084 CPUtime=1481.92
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 81435 0 0 0 147683 509 0 0 25 0 1 0 193342800 314454016 74112 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 76771 74112 664 1256 0 75510 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 307084

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1155440/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=307892 CPUtime=1541.91
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 81663 0 0 0 153659 532 0 0 25 0 1 0 193342800 315281408 74340 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 76973 74340 664 1256 0 75712 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 307892

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1155184/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=308204 CPUtime=1601.89
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 81728 0 0 0 159635 554 0 0 25 0 1 0 193342800 315600896 74405 1992294400 4194304 9342243 548682068736 18446744073709551615 4788719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 77051 74405 664 1256 0 75790 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 308204

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1154928/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=308356 CPUtime=1661.88
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 81771 0 0 0 165611 577 0 0 25 0 1 0 193342800 315756544 74448 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 77089 74448 664 1256 0 75828 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 308356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1145648/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=317876 CPUtime=1721.86
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 84101 0 0 0 171589 597 0 0 25 0 1 0 193342800 325505024 76778 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 79469 76778 664 1256 0 78208 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 317876

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1124848/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=339336 CPUtime=1781.84
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 89406 0 0 0 177566 618 0 0 25 0 1 0 193342800 347480064 82083 1992294400 4194304 9342243 548682068736 18446744073709551615 5433086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 84834 82083 664 1256 0 83573 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 339336

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1122608/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=341144 CPUtime=1791.44
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 89858 0 0 0 178522 622 0 0 25 0 1 0 193342800 349331456 82535 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 85286 82535 664 1256 0 84025 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 341144

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1122352/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=341384 CPUtime=1794.64
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 89918 0 0 0 178841 623 0 0 25 0 1 0 193342800 349577216 82595 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 85346 82595 664 1256 0 84085 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 341384

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1122032/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=342012 CPUtime=1796.24
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 90103 0 0 0 179001 623 0 0 25 0 1 0 193342800 350220288 82780 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 85503 82780 664 1256 0 84242 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 342012

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1121584/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=342012 CPUtime=1797.84
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 90103 0 0 0 179160 624 0 0 25 0 1 0 193342800 350220288 82780 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19829/statm: 85503 82780 664 1256 0 84242 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 342012

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1121584/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=342012 CPUtime=1798.24
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 90108 0 0 0 179200 624 0 0 25 0 1 0 193342800 350220288 82785 1992294400 4194304 9342243 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 85503 82785 667 1256 0 84242 0
Current children cumulated CPU time (s) 1798.24
Current children cumulated vsize (KiB) 342012

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1121584/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=342012 CPUtime=1798.44
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 90111 0 0 0 179220 624 0 0 25 0 1 0 193342800 350220288 82788 1992294400 4194304 9342243 548682068736 18446744073709551615 4244712 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 85503 82788 670 1256 0 84242 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (KiB) 342012

[startup+1799 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 19838
/proc/meminfo: memFree=1121584/2055920 swapFree=4181884/4192956
[pid=19829] ppid=19827 vsize=267992 CPUtime=1798.54
/proc/19829/stat : 19829 (pbscip.linux.x8) R 19827 19829 19191 0 -1 4194304 90112 0 0 0 179229 625 0 0 25 0 1 0 193342800 274423808 64612 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/19829/statm: 66998 64612 671 1256 0 65737 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (KiB) 267992

Child status: 0
Real time (s): 1799.06
CPU time (s): 1798.6
CPU user time (s): 1792.31
CPU system time (s): 6.29704
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 342012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.31
system time used= 6.29704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2157

runsolver used 1.58876 second user time and 4.24635 second system time

The end

Launcher Data 

Begin job on node52 at 2009-06-17 18:51:03
IDJOB=1884358
IDBENCH=71949
IDSOLVER=684
FILE ID=node52/1884358-1245257463
PBS_JOBID= 9372403
Free space on /tmp= 66460 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884358-1245257463/watcher-1884358-1245257463 -o /tmp/evaluation-result-1884358-1245257463/solver-1884358-1245257463 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884358-1245257463.opb

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

MD5SUM BENCH= 0e3c73efc3ce07132cf5437313103a25
RANDOM SEED=1312145940

node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1451600 kB
Buffers:         73596 kB
Cached:         440492 kB
SwapCached:       6112 kB
Active:         101700 kB
Inactive:       421172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1451600 kB
SwapTotal:     4192956 kB
SwapFree:      4181884 kB
Dirty:           13812 kB
Writeback:           0 kB
Mapped:          13440 kB
Slab:            67328 kB
Committed_AS:   101812 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66448 MiB
End job on node52 at 2009-06-17 19:21:03