Trace number 1885077

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? (TO) 1800.21 1800.85

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/edgematching/
explicit/em_7_4_9_exp.opb
MD5SUM8a8ab1fb9965f0a6ab2e49f3bbc9704b
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.76858
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1677
Total number of constraints26387
Number of constraints which are clauses26387
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 constraint2
Maximum length of a constraint25
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.39	c SCIP version 1.1.0.7
0.29/0.39	c LP-Solver SoPlex 1.4.1
0.29/0.39	c user parameter file <scip.set> not found - using default parameters
0.29/0.39	c read problem <HOME/instance-1885077-1245262695.opb>
0.29/0.39	c original problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 26387 constraints
0.39/0.46	c No objective function, only one solution is needed.
0.39/0.46	c start presolving problem
0.39/0.46	c presolving:
0.69/0.78	c (round 1) 0 del vars, 400 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25987 upgd conss, 58808 impls, 0 clqs
0.79/0.83	c presolving (2 rounds):
0.79/0.83	c  0 deleted vars, 400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.83	c  58808 implications, 0 cliques
0.79/0.83	c presolved problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 25987 constraints
0.79/0.83	c   25987 constraints of type <logicor>
0.79/0.83	c transformed objective value is always integral (scale: 1)
0.79/0.83	c Presolving Time: 0.29
0.79/0.83	c PURESAT
0.79/0.83	c -----------------------------------------------------------------------------------------------
0.79/0.83	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.83	c separating/flowcover/freq = c -1
0.79/0.83	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.83	c separating/cmir/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/veclendiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/veclendiving/maxlpiterquot = c 0.075
0.79/0.83	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/veclendiving/freq = c -1
0.79/0.83	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.83	c heuristics/simplerounding/freq = c -1
0.79/0.83	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/shifting/freq = c -1
0.79/0.83	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.83	c heuristics/rounding/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.79/0.83	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.79/0.83	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.83	c heuristics/rootsoldiving/freq = c -1
0.79/0.83	c # number of nodes added to the contingent of the total nodes
0.79/0.83	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.83	c heuristics/rens/nodesofs = c 2000
0.79/0.83	c # minimum percentage of integer variables that have to be fixable 
0.79/0.83	c # [type: real, range: [0,1], default: 0.5]
0.79/0.83	c heuristics/rens/minfixingrate = c 0.3
0.79/0.83	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.83	c heuristics/rens/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/pscostdiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.79/0.83	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/pscostdiving/freq = c -1
0.79/0.83	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.83	c heuristics/oneopt/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to total iteration number
0.79/0.83	c # [type: real, range: [0,1], default: 0.01]
0.79/0.83	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.79/0.83	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.83	c heuristics/objpscostdiving/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.79/0.83	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/linesearchdiving/freq = c -1
0.79/0.83	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/intshifting/freq = c -1
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/intdiving/maxlpiterquot = c 0.075
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/guideddiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/guideddiving/maxlpiterquot = c 0.075
0.79/0.83	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/guideddiving/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/fracdiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/fracdiving/maxlpiterquot = c 0.075
0.79/0.83	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/fracdiving/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/feaspump/maxlpiterofs = c 2000
0.79/0.83	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.83	c heuristics/feaspump/freq = c -1
0.79/0.83	c # minimum percentage of integer variables that have to be fixed 
0.79/0.83	c # [type: real, range: [0,1], default: 0.666]
0.79/0.83	c heuristics/crossover/minfixingrate = c 0.5
0.79/0.83	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.79/0.83	c # [type: real, range: [0,1], default: 0.1]
0.79/0.83	c heuristics/crossover/nodesquot = c 0.15
0.79/0.83	c # number of nodes without incumbent change that heuristic should wait
0.79/0.83	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.79/0.83	c heuristics/crossover/nwaitingnodes = c 100
0.79/0.83	c # number of nodes added to the contingent of the total nodes
0.79/0.83	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.83	c heuristics/crossover/nodesofs = c 750
0.79/0.83	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 30]
0.79/0.83	c heuristics/crossover/freq = c -1
0.79/0.83	c # additional number of allowed LP iterations
0.79/0.83	c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.83	c heuristics/coefdiving/maxlpiterofs = c 1500
0.79/0.83	c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.83	c heuristics/coefdiving/maxlpiterquot = c 0.075
0.79/0.83	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.83	c heuristics/coefdiving/freq = c -1
0.79/0.83	c # priority of node selection rule <dfs> in standard mode
0.79/0.83	c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.83	c nodeselection/dfs/stdpriority = c 1000000
0.79/0.83	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.83	c presolving/probing/maxrounds = c 0
0.79/0.83	c # should presolving try to simplify knapsacks
0.79/0.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.83	c constraints/knapsack/simplifyinequalities = c TRUE
0.79/0.83	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.79/0.83	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.79/0.83	c constraints/knapsack/disaggregation = c FALSE
0.79/0.83	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.83	c constraints/knapsack/maxnumcardlift = c 0
0.79/0.83	c # should presolving try to simplify inequalities
0.79/0.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.83	c constraints/linear/simplifyinequalities = c TRUE
0.79/0.83	c # maximal number of separation rounds in the root node (-1: unlimited)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.83	c separating/maxroundsroot = c 5
0.79/0.83	c # maximal number of separation rounds per node (-1: unlimited)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 5]
0.79/0.83	c separating/maxrounds = c 1
0.79/0.83	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)
0.79/0.83	c # [type: char, range: {lafpsqd}, default: l]
0.79/0.83	c lp/pricing = c a
0.79/0.83	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.83	c lp/solvefreq = c 0
0.79/0.83	c # solving stops, if the given number of solutions were found (-1: no limit)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.83	c limits/solutions = c 1
0.79/0.83	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.83	c limits/memory = c 1620
0.79/0.83	c # maximal time in seconds to run
0.79/0.83	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.83	c limits/time = c 1791
0.79/0.83	c # frequency for displaying node information lines
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.83	c display/freq = c 10000
0.79/0.83	c # should enforcement of pseudo solution be disabled?
0.79/0.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.83	c constraints/disableenfops = c TRUE
0.79/0.83	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.83	c constraints/agelimit = c 1
0.79/0.83	c # should binary conflicts be preferred?
0.79/0.83	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.83	c conflict/preferbinary = c TRUE
0.79/0.83	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.83	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.83	c conflict/interconss = c 0
0.79/0.83	c -----------------------------------------------------------------------------------------------
0.79/0.83	c start solving problem
0.79/0.83	c 
12.09/12.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.09/12.16	c  11.6s|     1 |     0 |  3302 |  33M|   0 | 710 |1677 |  25k|  25k|1677 |  25k|   0 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
54.47/54.54	c  53.9s|     1 |     0 |  4718 |  38M|   0 | 756 |1677 |  25k|  25k|1677 |  25k|   5 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
96.76/96.87	c  96.1s|     1 |     0 |  6332 |  43M|   0 | 758 |1677 |  25k|  25k|1677 |  26k|  13 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
135.04/135.14	c   134s|     1 |     0 |  7622 |  48M|   0 | 784 |1677 |  25k|  25k|1677 |  26k|  20 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
180.93/181.02	c   180s|     1 |     0 |  9059 |  54M|   0 | 813 |1677 |  25k|  25k|1677 |  26k|  29 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
231.91/232.03	c   231s|     1 |     0 | 11000 |  60M|   0 | 868 |1677 |  25k|  25k|1677 |  26k|  36 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
435.93/436.12	c   435s|     1 |     2 | 11000 |  60M|   0 | 868 |1677 |  25k|  25k|1677 |  26k|  36 |   0 |  36 | 1.330000e+02 |      --      |    Inf 
449.13/449.35	c   448s| 10000 |    49 | 11000 |  62M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 |5991 |  36 | 1.330000e+02 |      --      |    Inf 
461.83/462.05	c   460s| 20000 |    48 | 11000 |  62M| 366 |   - |1677 |  26k|  19k|   0 |   0 |  36 |  14k|  36 | 1.330000e+02 |      --      |    Inf 
473.82/474.08	c   472s| 30000 |   102 | 11000 |  62M| 366 |   - |1677 |  25k|  22k|   0 |   0 |  36 |  22k|  36 | 1.330000e+02 |      --      |    Inf 
486.62/486.86	c   485s| 40000 |    53 | 11000 |  62M| 366 |   - |1677 |  26k|  19k|   0 |   0 |  36 |  30k|  36 | 1.330000e+02 |      --      |    Inf 
500.01/500.29	c   498s| 50000 |    59 | 11000 |  62M| 366 |   - |1677 |  26k|  21k|   0 |   0 |  36 |  37k|  36 | 1.330000e+02 |      --      |    Inf 
513.51/513.73	c   511s| 60000 |    99 | 11000 |  62M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 |  46k|  36 | 1.330000e+02 |      --      |    Inf 
529.01/529.21	c   526s| 70000 |    62 | 11000 |  62M| 366 |   - |1677 |  26k|  19k|   0 |   0 |  36 |  54k|  36 | 1.330000e+02 |      --      |    Inf 
543.50/543.71	c   541s| 80000 |    69 | 11000 |  62M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 |  64k|  36 | 1.330000e+02 |      --      |    Inf 
556.39/556.67	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
556.39/556.67	c   554s| 90000 |    56 | 11000 |  62M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 |  72k|  36 | 1.330000e+02 |      --      |    Inf 
569.39/569.64	c   566s|100000 |    49 | 11000 |  62M| 366 |   - |1677 |  26k|  19k|   0 |   0 |  36 |  81k|  36 | 1.330000e+02 |      --      |    Inf 
583.89/584.13	c   581s|110000 |    66 | 11000 |  62M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 |  89k|  36 | 1.330000e+02 |      --      |    Inf 
597.78/598.09	c   594s|120000 |    56 | 11000 |  62M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 |  97k|  36 | 1.330000e+02 |      --      |    Inf 
612.87/613.17	c   609s|130000 |    87 | 11000 |  62M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 105k|  36 | 1.330000e+02 |      --      |    Inf 
627.67/627.98	c   624s|140000 |    74 | 11000 |  62M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 114k|  36 | 1.330000e+02 |      --      |    Inf 
641.26/641.57	c   637s|150000 |    69 | 11000 |  63M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 | 122k|  36 | 1.330000e+02 |      --      |    Inf 
655.65/655.92	c   651s|160000 |    52 | 11000 |  62M| 366 |   - |1677 |  25k|  20k|   0 |   0 |  36 | 130k|  36 | 1.330000e+02 |      --      |    Inf 
670.16/670.40	c   666s|170000 |    56 | 11000 |  62M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 138k|  36 | 1.330000e+02 |      --      |    Inf 
684.95/685.26	c   680s|180000 |    63 | 11000 |  62M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 145k|  36 | 1.330000e+02 |      --      |    Inf 
700.64/700.95	c   696s|190000 |    55 | 11000 |  62M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 153k|  36 | 1.330000e+02 |      --      |    Inf 
714.23/714.53	c   709s|200000 |    55 | 11000 |  62M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 160k|  36 | 1.330000e+02 |      --      |    Inf 
728.63/728.96	c   723s|210000 |    60 | 11000 |  62M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 168k|  36 | 1.330000e+02 |      --      |    Inf 
741.93/742.29	c   736s|220000 |   109 | 11000 |  62M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 175k|  36 | 1.330000e+02 |      --      |    Inf 
755.03/755.33	c   749s|230000 |   134 | 11000 |  62M| 366 |   - |1677 |  25k|  20k|   0 |   0 |  36 | 182k|  36 | 1.330000e+02 |      --      |    Inf 
769.72/770.08	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
769.72/770.08	c   764s|240000 |    59 | 11000 |  62M| 366 |   - |1677 |  25k|  15k|   0 |   0 |  36 | 189k|  36 | 1.330000e+02 |      --      |    Inf 
782.82/783.13	c   777s|250000 |    44 | 11000 |  62M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 197k|  36 | 1.330000e+02 |      --      |    Inf 
795.80/796.15	c   789s|260000 |    71 | 11000 |  63M| 366 |   - |1677 |  25k|  13k|   0 |   0 |  36 | 205k|  36 | 1.330000e+02 |      --      |    Inf 
809.50/809.86	c   803s|270000 |    57 | 11000 |  62M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 213k|  36 | 1.330000e+02 |      --      |    Inf 
824.60/824.90	c   818s|280000 |    73 | 11000 |  63M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 220k|  36 | 1.330000e+02 |      --      |    Inf 
838.90/839.24	c   832s|290000 |    70 | 11000 |  63M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 | 228k|  36 | 1.330000e+02 |      --      |    Inf 
853.39/853.70	c   846s|300000 |    68 | 11000 |  63M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 235k|  36 | 1.330000e+02 |      --      |    Inf 
868.09/868.48	c   861s|310000 |    48 | 11000 |  63M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 242k|  36 | 1.330000e+02 |      --      |    Inf 
882.77/883.20	c   875s|320000 |    60 | 11000 |  63M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 250k|  36 | 1.330000e+02 |      --      |    Inf 
895.97/896.36	c   888s|330000 |    64 | 11000 |  63M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 258k|  36 | 1.330000e+02 |      --      |    Inf 
909.77/910.14	c   902s|340000 |    85 | 11000 |  63M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 267k|  36 | 1.330000e+02 |      --      |    Inf 
923.46/923.84	c   915s|350000 |    57 | 11000 |  63M| 366 |   - |1677 |  26k|  11k|   0 |   0 |  36 | 274k|  36 | 1.330000e+02 |      --      |    Inf 
937.36/937.72	c   929s|360000 |    65 | 11000 |  63M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 283k|  36 | 1.330000e+02 |      --      |    Inf 
951.75/952.10	c   943s|370000 |    77 | 11000 |  63M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 291k|  36 | 1.330000e+02 |      --      |    Inf 
965.45/965.88	c   956s|380000 |    63 | 11000 |  64M| 366 |   - |1677 |  27k|  15k|   0 |   0 |  36 | 299k|  36 | 1.330000e+02 |      --      |    Inf 
979.54/979.92	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
979.54/979.92	c   970s|390000 |    85 | 11000 |  63M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 306k|  36 | 1.330000e+02 |      --      |    Inf 
992.94/993.32	c   983s|400000 |    69 | 11000 |  63M| 366 |   - |1677 |  26k|  13k|   0 |   0 |  36 | 314k|  36 | 1.330000e+02 |      --      |    Inf 
1008.03/1008.48	c   998s|410000 |   107 | 11000 |  63M| 366 |   - |1677 |  26k|  13k|   0 |   0 |  36 | 324k|  36 | 1.330000e+02 |      --      |    Inf 
1022.42/1022.85	c  1013s|420000 |    95 | 11000 |  63M| 366 |   - |1677 |  26k|  13k|   0 |   0 |  36 | 331k|  36 | 1.330000e+02 |      --      |    Inf 
1035.92/1036.37	c  1026s|430000 |    95 | 11000 |  63M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 339k|  36 | 1.330000e+02 |      --      |    Inf 
1050.82/1051.28	c  1040s|440000 |    78 | 11000 |  63M| 366 |   - |1677 |  25k|  15k|   0 |   0 |  36 | 348k|  36 | 1.330000e+02 |      --      |    Inf 
1066.01/1066.42	c  1055s|450000 |    72 | 11000 |  63M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 355k|  36 | 1.330000e+02 |      --      |    Inf 
1080.31/1080.77	c  1069s|460000 |    90 | 11000 |  63M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 363k|  36 | 1.330000e+02 |      --      |    Inf 
1094.41/1094.88	c  1083s|470000 |    71 | 11000 |  63M| 366 |   - |1677 |  25k|  14k|   0 |   0 |  36 | 371k|  36 | 1.330000e+02 |      --      |    Inf 
1108.60/1109.03	c  1097s|480000 |    57 | 11000 |  63M| 366 |   - |1677 |  25k|  15k|   0 |   0 |  36 | 379k|  36 | 1.330000e+02 |      --      |    Inf 
1122.09/1122.51	c  1111s|490000 |    73 | 11000 |  63M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 386k|  36 | 1.330000e+02 |      --      |    Inf 
1136.29/1136.74	c  1125s|500000 |    64 | 11000 |  63M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 | 393k|  36 | 1.330000e+02 |      --      |    Inf 
1149.68/1150.12	c  1138s|510000 |    57 | 11000 |  63M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 402k|  36 | 1.330000e+02 |      --      |    Inf 
1163.98/1164.50	c  1152s|520000 |    68 | 11000 |  63M| 366 |   - |1677 |  25k|  13k|   0 |   0 |  36 | 410k|  36 | 1.330000e+02 |      --      |    Inf 
1178.97/1179.42	c  1167s|530000 |    52 | 11000 |  63M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 418k|  36 | 1.330000e+02 |      --      |    Inf 
1194.07/1194.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1194.07/1194.56	c  1181s|540000 |    63 | 11000 |  63M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 427k|  36 | 1.330000e+02 |      --      |    Inf 
1209.26/1209.72	c  1196s|550000 |    64 | 11000 |  63M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 434k|  36 | 1.330000e+02 |      --      |    Inf 
1223.86/1224.34	c  1211s|560000 |    46 | 11000 |  63M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 442k|  36 | 1.330000e+02 |      --      |    Inf 
1238.86/1239.35	c  1226s|570000 |    87 | 11000 |  63M| 366 |   - |1677 |  25k|  11k|   0 |   0 |  36 | 450k|  36 | 1.330000e+02 |      --      |    Inf 
1252.75/1253.22	c  1239s|580000 |    54 | 11000 |  63M| 366 |   - |1677 |  25k|  14k|   0 |   0 |  36 | 458k|  36 | 1.330000e+02 |      --      |    Inf 
1266.64/1267.15	c  1253s|590000 |   138 | 11000 |  63M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 466k|  36 | 1.330000e+02 |      --      |    Inf 
1280.23/1280.76	c  1266s|600000 |    66 | 11000 |  63M| 366 |   - |1677 |  25k|  15k|   0 |   0 |  36 | 473k|  36 | 1.330000e+02 |      --      |    Inf 
1293.93/1294.49	c  1280s|610000 |   120 | 11000 |  64M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 | 482k|  36 | 1.330000e+02 |      --      |    Inf 
1309.03/1309.55	c  1295s|620000 |    67 | 11000 |  64M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 | 491k|  36 | 1.330000e+02 |      --      |    Inf 
1322.52/1323.06	c  1308s|630000 |    83 | 11000 |  64M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 498k|  36 | 1.330000e+02 |      --      |    Inf 
1335.92/1336.46	c  1321s|640000 |    54 | 11000 |  64M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 | 506k|  36 | 1.330000e+02 |      --      |    Inf 
1349.32/1349.87	c  1334s|650000 |    66 | 11000 |  64M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 513k|  36 | 1.330000e+02 |      --      |    Inf 
1363.01/1363.54	c  1348s|660000 |    51 | 11000 |  64M| 366 |   - |1677 |  26k|  19k|   0 |   0 |  36 | 520k|  36 | 1.330000e+02 |      --      |    Inf 
1376.40/1376.98	c  1361s|670000 |    68 | 11000 |  64M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 | 527k|  36 | 1.330000e+02 |      --      |    Inf 
1391.39/1391.95	c  1376s|680000 |    56 | 11000 |  64M| 366 |   - |1677 |  26k|  13k|   0 |   0 |  36 | 536k|  36 | 1.330000e+02 |      --      |    Inf 
1407.29/1407.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1407.29/1407.88	c  1392s|690000 |    50 | 11000 |  64M| 366 |   - |1677 |  26k|  15k|   0 |   0 |  36 | 543k|  36 | 1.330000e+02 |      --      |    Inf 
1420.79/1421.38	c  1405s|700000 |    99 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 551k|  36 | 1.330000e+02 |      --      |    Inf 
1434.48/1435.09	c  1418s|710000 |   103 | 11000 |  64M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 559k|  36 | 1.330000e+02 |      --      |    Inf 
1449.29/1449.85	c  1433s|720000 |    62 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 567k|  36 | 1.330000e+02 |      --      |    Inf 
1464.48/1465.01	c  1448s|730000 |    60 | 11000 |  64M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 576k|  36 | 1.330000e+02 |      --      |    Inf 
1478.97/1479.53	c  1462s|740000 |    77 | 11000 |  64M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 584k|  36 | 1.330000e+02 |      --      |    Inf 
1493.66/1494.26	c  1477s|750000 |    54 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 594k|  36 | 1.330000e+02 |      --      |    Inf 
1508.35/1508.99	c  1491s|760000 |    49 | 11000 |  64M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 601k|  36 | 1.330000e+02 |      --      |    Inf 
1521.85/1522.43	c  1504s|770000 |    53 | 11000 |  64M| 366 |   - |1677 |  26k|  17k|   0 |   0 |  36 | 608k|  36 | 1.330000e+02 |      --      |    Inf 
1535.65/1536.20	c  1518s|780000 |    58 | 11000 |  64M| 366 |   - |1677 |  27k|  16k|   0 |   0 |  36 | 615k|  36 | 1.330000e+02 |      --      |    Inf 
1549.15/1549.78	c  1531s|790000 |    65 | 11000 |  64M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 | 622k|  36 | 1.330000e+02 |      --      |    Inf 
1563.83/1564.48	c  1546s|800000 |    54 | 11000 |  64M| 366 |   - |1677 |  25k|  17k|   0 |   0 |  36 | 632k|  36 | 1.330000e+02 |      --      |    Inf 
1577.73/1578.33	c  1559s|810000 |    57 | 11000 |  64M| 366 |   - |1677 |  25k|  15k|   0 |   0 |  36 | 640k|  36 | 1.330000e+02 |      --      |    Inf 
1591.63/1592.20	c  1573s|820000 |    69 | 11000 |  64M| 366 |   - |1677 |  25k|  16k|   0 |   0 |  36 | 646k|  36 | 1.330000e+02 |      --      |    Inf 
1605.92/1606.50	c  1587s|830000 |    50 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 655k|  36 | 1.330000e+02 |      --      |    Inf 
1619.52/1620.20	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1619.52/1620.20	c  1601s|840000 |    66 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 664k|  36 | 1.330000e+02 |      --      |    Inf 
1633.21/1633.89	c  1614s|850000 |    73 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 672k|  36 | 1.330000e+02 |      --      |    Inf 
1646.51/1647.11	c  1627s|860000 |    50 | 11000 |  64M| 366 |   - |1677 |  26k|  18k|   0 |   0 |  36 | 679k|  36 | 1.330000e+02 |      --      |    Inf 
1660.70/1661.39	c  1641s|870000 |    69 | 11000 |  64M| 366 |   - |1677 |  26k|  13k|   0 |   0 |  36 | 686k|  36 | 1.330000e+02 |      --      |    Inf 
1674.70/1675.35	c  1655s|880000 |    65 | 11000 |  64M| 366 |   - |1677 |  26k|  17k|   0 |   0 |  36 | 694k|  36 | 1.330000e+02 |      --      |    Inf 
1688.20/1688.83	c  1668s|890000 |    89 | 11000 |  64M| 366 |   - |1677 |  26k|  19k|   0 |   0 |  36 | 702k|  36 | 1.330000e+02 |      --      |    Inf 
1701.29/1701.99	c  1681s|900000 |    60 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 709k|  36 | 1.330000e+02 |      --      |    Inf 
1715.68/1716.35	c  1695s|910000 |    52 | 11000 |  65M| 366 |   - |1677 |  27k|  15k|   0 |   0 |  36 | 716k|  36 | 1.330000e+02 |      --      |    Inf 
1729.98/1730.68	c  1709s|920000 |   146 | 11000 |  64M| 366 |   - |1677 |  25k|  19k|   0 |   0 |  36 | 724k|  36 | 1.330000e+02 |      --      |    Inf 
1743.48/1744.15	c  1723s|930000 |    75 | 11000 |  64M| 366 |   - |1677 |  26k|  16k|   0 |   0 |  36 | 732k|  36 | 1.330000e+02 |      --      |    Inf 
1757.56/1758.28	c  1736s|940000 |    87 | 11000 |  64M| 366 |   - |1677 |  25k|  14k|   0 |   0 |  36 | 741k|  36 | 1.330000e+02 |      --      |    Inf 
1771.66/1772.36	c  1750s|950000 |    60 | 11000 |  64M| 366 |   - |1677 |  25k|  18k|   0 |   0 |  36 | 749k|  36 | 1.330000e+02 |      --      |    Inf 
1786.56/1787.23	c  1765s|960000 |    67 | 11000 |  64M| 366 |   - |1677 |  26k|  14k|   0 |   0 |  36 | 757k|  36 | 1.330000e+02 |      --      |    Inf 
1800.06/1800.71	c 
1800.06/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.71	c Solving Time (sec) : 1778.22
1800.06/1800.71	c Solving Nodes      : 969353
1800.06/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.71	c Dual Bound         : +1.33000000000000e+02
1800.06/1800.71	c Gap                : infinite
1800.06/1800.71	c NODE         969353
1800.06/1800.71	c DUAL BOUND   133
1800.06/1800.71	c PRIMAL BOUND 1e+20
1800.06/1800.71	c GAP          1e+20
1800.06/1800.71	s UNKNOWN
1800.06/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.71	c Solving Time       :    1778.22
1800.06/1800.71	c Original Problem   :
1800.06/1800.71	c   Problem name     : HOME/instance-1885077-1245262695.opb
1800.06/1800.71	c   Variables        : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71	c   Constraints      : 26387 initial, 26387 maximal
1800.06/1800.71	c Presolved Problem  :
1800.06/1800.71	c   Problem name     : t_HOME/instance-1885077-1245262695.opb
1800.06/1800.71	c   Variables        : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71	c   Constraints      : 25987 initial, 27806 maximal
1800.06/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.71	c   linear           :       0.19          0          0          0          0          0        400          0          0
1800.06/1800.71	c   logicor          :       0.08          0          0          0          0          0          0          0          0
1800.06/1800.71	c   root node        :          -         27          -          -         27          -          -          -          -
1800.06/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.06/1800.71	c   logicor          :      25987+         5    3571038          0          0     419248   18126248          0          0          0
1800.06/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.71	c   integral         :     203.83       0.00       0.00     203.83       0.00
1800.06/1800.71	c   logicor          :     411.47       0.01     411.46       0.00       0.00
1800.06/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.71	c   rootredcost      :       1.81          0          0          0
1800.06/1800.71	c   pseudoobj        :     415.12    5626100          0          0
1800.06/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.71	c   propagation      :      66.22     419248     419248     419248       18.0     346195       27.9          -
1800.06/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.71	c   applied globally :          -          -          -     765391       22.5          -          -          -
1800.06/1800.71	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.71	c   cut pool         :       0.01          4          -          -         16          -    (maximal pool size: 882)
1800.06/1800.71	c   redcost          :       0.00          5          0          0          0          0
1800.06/1800.71	c   impliedbounds    :       0.01          5          0          0          0          0
1800.06/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.71	c   gomory           :     170.72          5          0          0       1160          0
1800.06/1800.71	c   strongcg         :       7.25          5          0          0       2500          0
1800.06/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.71	c   clique           :       0.10          5          0          0         48          0
1800.06/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.71	c   mcf              :       0.04          1          0          0          0          0
1800.06/1800.71	c Pricers            :       Time      Calls       Vars
1800.06/1800.71	c   problem variables:       0.00          0          0
1800.06/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.71	c   relpscost        :     203.83          1          0          0          0          0          2
1800.06/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.71	c   inference        :     158.63     789666          0          0          0          0    1579332
1800.06/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.71	c   LP solutions     :       0.00          -          0
1800.06/1800.71	c   pseudo solutions :       0.00          -          0
1800.06/1800.71	c   simplerounding   :       0.00          0          0
1800.06/1800.71	c   rounding         :       0.00          0          0
1800.06/1800.71	c   shifting         :       0.00          0          0
1800.06/1800.71	c   intshifting      :       0.00          0          0
1800.06/1800.71	c   oneopt           :       0.00          0          0
1800.06/1800.71	c   fixandinfer      :       0.00          0          0
1800.06/1800.71	c   feaspump         :       0.00          0          0
1800.06/1800.71	c   coefdiving       :       0.00          0          0
1800.06/1800.71	c   pscostdiving     :       0.00          0          0
1800.06/1800.71	c   fracdiving       :       0.00          0          0
1800.06/1800.71	c   veclendiving     :       0.00          0          0
1800.06/1800.71	c   intdiving        :       0.00          0          0
1800.06/1800.71	c   actconsdiving    :       0.00          0          0
1800.06/1800.71	c   objpscostdiving  :       0.00          0          0
1800.06/1800.71	c   rootsoldiving    :       0.00          0          0
1800.06/1800.71	c   linesearchdiving :       0.00          0          0
1800.06/1800.71	c   guideddiving     :       0.00          0          0
1800.06/1800.71	c   octane           :       0.00          0          0
1800.06/1800.71	c   rens             :       0.00          0          0
1800.06/1800.71	c   rins             :       0.00          0          0
1800.06/1800.71	c   localbranching   :       0.00          0          0
1800.06/1800.71	c   mutation         :       0.00          0          0
1800.06/1800.71	c   crossover        :       0.00          0          0
1800.06/1800.71	c   dins             :       0.00          0          0
1800.06/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.71	c   primal LP        :       0.04          0          0       0.00       0.00
1800.06/1800.71	c   dual LP          :      52.20          6      11000    1833.33     210.73
1800.06/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.71	c   strong branching :     203.83         36      35969     999.14     176.47
1800.06/1800.71	c     (at root node) :          -         36      35969     999.14          -
1800.06/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.71	c B&B Tree           :
1800.06/1800.71	c   number of runs   :          1
1800.06/1800.71	c   nodes            :     969353
1800.06/1800.71	c   nodes (total)    :     969353
1800.06/1800.71	c   nodes left       :         75
1800.06/1800.71	c   max depth        :        366
1800.06/1800.71	c   max depth (total):        366
1800.06/1800.71	c   backtracks       :     311089 (32.1%)
1800.06/1800.71	c   delayed cutoffs  :     609907
1800.06/1800.71	c   repropagations   :    2632080 (9127377 domain reductions, 239562 cutoffs)
1800.06/1800.71	c   avg switch length:       6.64
1800.06/1800.71	c   switching time   :     242.77
1800.06/1800.71	c Solution           :
1800.06/1800.71	c   Solutions found  :          0 (0 improvements)
1800.06/1800.71	c   Primal Bound     :          -
1800.06/1800.71	c   Dual Bound       : +1.33000000000000e+02
1800.06/1800.71	c   Gap              :   infinite
1800.06/1800.71	c   Root Dual Bound  : +1.33000000000000e+02
1800.16/1800.84	c Time complete: 1800.2.

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-1885077-1245262695/watcher-1885077-1245262695 -o /tmp/evaluation-result-1885077-1245262695/solver-1885077-1245262695 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885077-1245262695.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 1.00 0.95 3/64 11772
/proc/meminfo: memFree=1888888/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=4324 CPUtime=0
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 193865867 4427776 450 1992294400 4194304 7823515 548682068736 18446744073709551615 6804240 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 1081 463 300 886 0 191 0

[startup+0.0716131 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 11772
/proc/meminfo: memFree=1888888/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=11648 CPUtime=0.06
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 2218 0 0 0 6 0 0 0 18 0 1 0 193865867 11927552 2200 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 2912 2200 351 886 0 2022 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11648

[startup+0.101618 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 11772
/proc/meminfo: memFree=1888888/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=13084 CPUtime=0.09
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 2580 0 0 0 8 1 0 0 18 0 1 0 193865867 13398016 2562 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 3271 2562 351 886 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13084

[startup+0.301652 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 11772
/proc/meminfo: memFree=1888888/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=17748 CPUtime=0.29
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 3757 0 0 0 28 1 0 0 19 0 1 0 193865867 18173952 3739 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/11772/statm: 4437 3739 351 886 0 3547 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17748

[startup+0.70172 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 11772
/proc/meminfo: memFree=1888888/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=52680 CPUtime=0.69
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 13283 0 0 0 61 8 0 0 22 0 1 0 193865867 53944320 12157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 13170 12158 423 886 0 12280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52680

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 11773
/proc/meminfo: memFree=1815856/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=85780 CPUtime=1.49
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 21813 0 0 0 136 13 0 0 21 0 1 0 193865867 87838720 20045 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 21445 20045 504 886 0 20555 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85780

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 11773
/proc/meminfo: memFree=1810288/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=89476 CPUtime=3.09
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 22787 0 0 0 295 14 0 0 25 0 1 0 193865867 91623424 21016 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 22369 21016 504 886 0 21479 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89476

[startup+6.30269 s]
/proc/loadavg: 1.16 1.03 0.96 2/65 11773
/proc/meminfo: memFree=1805424/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=89940 CPUtime=6.28
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 23040 0 0 0 614 14 0 0 25 0 1 0 193865867 92098560 21266 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 22485 21266 504 886 0 21595 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 89940

[startup+12.7018 s]
/proc/loadavg: 1.15 1.03 0.96 2/65 11773
/proc/meminfo: memFree=1804912/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=90364 CPUtime=12.69
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 23170 0 0 0 1254 15 0 0 25 0 1 0 193865867 92532736 21396 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 22591 21396 521 886 0 21701 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90364

[startup+25.502 s]
/proc/loadavg: 1.11 1.03 0.96 2/65 11773
/proc/meminfo: memFree=1804976/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=90364 CPUtime=25.48
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 23170 0 0 0 2531 17 0 0 25 0 1 0 193865867 92532736 21396 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 22591 21396 521 886 0 21701 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90364

[startup+51.1014 s]
/proc/loadavg: 1.07 1.03 0.96 2/65 11773
/proc/meminfo: memFree=1784944/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=112852 CPUtime=51.07
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 28334 0 0 0 5083 24 0 0 25 0 1 0 193865867 115560448 26462 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 28213 26462 534 886 0 27323 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 112852

[startup+102.305 s]
/proc/loadavg: 1.03 1.02 0.96 2/65 11773
/proc/meminfo: memFree=1776432/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=119512 CPUtime=102.25
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 30422 0 0 0 10191 34 0 0 25 0 1 0 193865867 122380288 28550 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 29878 28550 534 886 0 28988 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 119512

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 0.96 2/65 11773
/proc/meminfo: memFree=1765616/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=130948 CPUtime=162.23
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 33090 0 0 0 16177 46 0 0 25 0 1 0 193865867 134090752 31218 1992294400 4194304 7823515 548682068736 18446744073709551615 4386383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 32737 31218 534 886 0 31847 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 130948

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 11773
/proc/meminfo: memFree=1754352/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=222.21
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36315 0 0 0 22164 57 0 0 25 0 1 0 193865867 146874368 34443 1992294400 4194304 7823515 548682068736 18446744073709551615 6237362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34443 534 886 0 34968 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 143432

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752496/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=282.18
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36361 0 0 0 28155 63 0 0 25 0 1 0 193865867 146874368 34489 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34489 537 886 0 34968 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 143432

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752432/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=342.17
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36364 0 0 0 34147 70 0 0 25 0 1 0 193865867 146874368 34492 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34492 537 886 0 34968 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 143432

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752368/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=402.14
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36364 0 0 0 40139 75 0 0 25 0 1 0 193865867 146874368 34492 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34492 537 886 0 34968 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 143432

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752368/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=462.12
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36374 0 0 0 46093 119 0 0 25 0 1 0 193865867 146874368 34502 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34502 546 886 0 34968 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 143432

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752368/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=522.11
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36376 0 0 0 52003 208 0 0 25 0 1 0 193865867 146874368 34504 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34504 547 886 0 34968 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 143432

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752304/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=582.09
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36376 0 0 0 57912 297 0 0 25 0 1 0 193865867 146874368 34504 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34504 547 886 0 34968 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 143432

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1752304/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=143432 CPUtime=642.07
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36376 0 0 0 63821 386 0 0 25 0 1 0 193865867 146874368 34504 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 35858 34504 547 886 0 34968 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 143432

[startup+702.303 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 11773
/proc/meminfo: memFree=1750256/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=145232 CPUtime=881.97
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36812 0 0 0 87454 743 0 0 25 0 1 0 193865867 148717568 34940 1992294400 4194304 7823515 548682068736 18446744073709551615 4209591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 36308 34940 547 886 0 35418 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 145232

[startup+942.302 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 11773
/proc/meminfo: memFree=1749552/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=145928 CPUtime=941.96
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 36983 0 0 0 93362 834 0 0 25 0 1 0 193865867 149430272 35111 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 36482 35111 547 886 0 35592 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 145928

[startup+1002.3 s]
/proc/loadavg: 1.06 1.02 0.97 2/65 11773
/proc/meminfo: memFree=1748144/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=147368 CPUtime=1001.94
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 37327 0 0 0 99268 926 0 0 25 0 1 0 193865867 150904832 35455 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 36842 35455 547 886 0 35952 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 147368

[startup+1062.3 s]
/proc/loadavg: 1.02 1.02 0.97 2/65 11773
/proc/meminfo: memFree=1747504/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=147976 CPUtime=1061.92
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 37469 0 0 0 105170 1022 0 0 25 0 1 0 193865867 151527424 35597 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 36994 35597 547 886 0 36104 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 147976

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 11773
/proc/meminfo: memFree=1746096/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=149340 CPUtime=1121.89
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 37807 0 0 0 111073 1116 0 0 25 0 1 0 193865867 152924160 35935 1992294400 4194304 7823515 548682068736 18446744073709551615 4235613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37335 35935 547 886 0 36445 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 149340

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 11773
/proc/meminfo: memFree=1745264/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=150120 CPUtime=1181.88
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 37999 0 0 0 116977 1211 0 0 25 0 1 0 193865867 153722880 36127 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37530 36127 547 886 0 36640 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 150120

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1744624/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=150480 CPUtime=1241.85
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38100 0 0 0 122887 1298 0 0 25 0 1 0 193865867 154091520 36228 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37620 36228 547 886 0 36730 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 150480

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1744112/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=151036 CPUtime=1301.83
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38219 0 0 0 128795 1388 0 0 25 0 1 0 193865867 154660864 36347 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37759 36347 547 886 0 36869 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 151036

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1743920/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=151172 CPUtime=1361.81
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38269 0 0 0 134704 1477 0 0 25 0 1 0 193865867 154800128 36397 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37793 36397 547 886 0 36903 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 151172

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1743536/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=151628 CPUtime=1421.79
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38360 0 0 0 140613 1566 0 0 25 0 1 0 193865867 155267072 36488 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37907 36488 547 886 0 37017 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 151628

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1743344/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=151760 CPUtime=1481.76
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38397 0 0 0 146523 1653 0 0 25 0 1 0 193865867 155402240 36525 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 37940 36525 547 886 0 37050 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 151760

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1742640/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=152408 CPUtime=1541.74
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38551 0 0 0 152427 1747 0 0 25 0 1 0 193865867 156065792 36679 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 38102 36679 547 886 0 37212 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 152408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1742640/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=152408 CPUtime=1601.73
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38557 0 0 0 158336 1837 0 0 25 0 1 0 193865867 156065792 36685 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 38102 36685 547 886 0 37212 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 152408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1742192/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=152796 CPUtime=1661.71
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38659 0 0 0 164242 1929 0 0 25 0 1 0 193865867 156463104 36787 1992294400 4194304 7823515 548682068736 18446744073709551615 4207929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 38199 36787 547 886 0 37309 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 152796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1741936/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=152992 CPUtime=1721.68
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38694 0 0 0 170145 2023 0 0 25 0 1 0 193865867 156663808 36822 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 38248 36822 547 886 0 37358 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 152992

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1741552/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=153124 CPUtime=1781.66
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38755 0 0 0 176049 2117 0 0 25 0 1 0 193865867 156798976 36883 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 38281 36883 547 886 0 37391 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 153124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1741488/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=153256 CPUtime=1800.06
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38757 0 0 0 177859 2147 0 0 25 0 1 0 193865867 156934144 36885 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11772/statm: 38314 36885 547 886 0 37424 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 153256

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 11773
/proc/meminfo: memFree=1741488/2055920 swapFree=4181252/4192956
[pid=11772] ppid=11770 vsize=153520 CPUtime=1800.16
/proc/11772/stat : 11772 (pbscip.linux.x8) R 11770 11772 11221 0 -1 4194304 38820 0 0 0 177869 2147 0 0 25 0 1 0 193865867 157204480 36948 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 0 0 0
/proc/11772/statm: 38380 36948 553 886 0 37490 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 153520

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.21
CPU user time (s): 1778.71
CPU system time (s): 21.4967
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 153520

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

runsolver used 1.42978 second user time and 3.73843 second system time

The end

Launcher Data 

Begin job on node48 at 2009-06-17 20:18:15
IDJOB=1885077
IDBENCH=72021
IDSOLVER=683
FILE ID=node48/1885077-1245262695
PBS_JOBID= 9372406
Free space on /tmp= 66236 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/explicit/em_7_4_9_exp.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885077-1245262695/watcher-1885077-1245262695 -o /tmp/evaluation-result-1885077-1245262695/solver-1885077-1245262695 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1885077-1245262695.opb

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

MD5SUM BENCH= 8a8ab1fb9965f0a6ab2e49f3bbc9704b
RANDOM SEED=1202649454

node48.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.270
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.270
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:       1889304 kB
Buffers:          6200 kB
Cached:          97840 kB
SwapCached:       5440 kB
Active:          68824 kB
Inactive:        43036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1889304 kB
SwapTotal:     4192956 kB
SwapFree:      4181252 kB
Dirty:           10616 kB
Writeback:           0 kB
Mapped:          13544 kB
Slab:            40696 kB
Committed_AS:   178488 kB
PageTables:       1372 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= 66224 MiB
End job on node48 at 2009-06-17 20:48:18