Trace number 1884787

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)? 1796.98 1797.51

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/
parity-games/instance_n6_i7_pp.opb
MD5SUM7f4e0092e4bfb72edb5403aff9864f6e
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 benchmark67.5187
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8484
Total number of constraints73860
Number of constraints which are clauses73860
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 constraint30
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 31
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 

1.10/1.14	c SCIP version 1.1.0.7
1.10/1.14	c LP-Solver SoPlex 1.4.1
1.10/1.14	c user parameter file <scip.set> not found - using default parameters
1.10/1.14	c read problem <HOME/instance-1884787-1245260379.opb>
1.10/1.14	c original problem has 8484 variables (8484 bin, 0 int, 0 impl, 0 cont) and 73860 constraints
1.39/1.40	c No objective function, only one solution is needed.
1.39/1.40	c start presolving problem
1.39/1.40	c presolving:
1.69/1.75	c (round 1) 1458 del vars, 328 del conss, 168 chg bounds, 0 chg sides, 140 chg coeffs, 0 upgd conss, 59196 impls, 0 clqs
1.89/1.91	c (round 2) 1458 del vars, 5128 del conss, 168 chg bounds, 0 chg sides, 140 chg coeffs, 0 upgd conss, 59196 impls, 0 clqs
2.39/2.49	c (round 3) 1458 del vars, 7025 del conss, 168 chg bounds, 0 chg sides, 140 chg coeffs, 66835 upgd conss, 59196 impls, 0 clqs
2.59/2.61	c presolving (4 rounds):
2.59/2.61	c  1458 deleted vars, 7025 deleted constraints, 168 tightened bounds, 0 added holes, 0 changed sides, 140 changed coefficients
2.59/2.61	c  59196 implications, 0 cliques
2.59/2.61	c presolved problem has 7026 variables (7026 bin, 0 int, 0 impl, 0 cont) and 66835 constraints
2.59/2.61	c   66835 constraints of type <logicor>
2.59/2.61	c transformed objective value is always integral (scale: 1)
2.59/2.61	c Presolving Time: 0.97
2.59/2.61	c PURESAT
2.59/2.61	c -----------------------------------------------------------------------------------------------
2.59/2.61	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61	c separating/flowcover/freq = c -1
2.59/2.61	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61	c separating/cmir/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/veclendiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/veclendiving/maxlpiterquot = c 0.075
2.59/2.61	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/veclendiving/freq = c -1
2.59/2.61	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61	c heuristics/simplerounding/freq = c -1
2.59/2.61	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/shifting/freq = c -1
2.59/2.61	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61	c heuristics/rounding/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.59/2.61	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.59/2.61	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.61	c heuristics/rootsoldiving/freq = c -1
2.59/2.61	c # number of nodes added to the contingent of the total nodes
2.59/2.61	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.61	c heuristics/rens/nodesofs = c 2000
2.59/2.61	c # minimum percentage of integer variables that have to be fixable 
2.59/2.61	c # [type: real, range: [0,1], default: 0.5]
2.59/2.61	c heuristics/rens/minfixingrate = c 0.3
2.59/2.61	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.61	c heuristics/rens/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/pscostdiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.59/2.61	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/pscostdiving/freq = c -1
2.59/2.61	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.61	c heuristics/oneopt/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to total iteration number
2.59/2.61	c # [type: real, range: [0,1], default: 0.01]
2.59/2.61	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.59/2.61	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.61	c heuristics/objpscostdiving/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.59/2.61	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/linesearchdiving/freq = c -1
2.59/2.61	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/intshifting/freq = c -1
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/intdiving/maxlpiterquot = c 0.075
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/guideddiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/guideddiving/maxlpiterquot = c 0.075
2.59/2.61	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/guideddiving/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/fracdiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/fracdiving/maxlpiterquot = c 0.075
2.59/2.61	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/fracdiving/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/feaspump/maxlpiterofs = c 2000
2.59/2.61	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 20]
2.59/2.61	c heuristics/feaspump/freq = c -1
2.59/2.61	c # minimum percentage of integer variables that have to be fixed 
2.59/2.61	c # [type: real, range: [0,1], default: 0.666]
2.59/2.61	c heuristics/crossover/minfixingrate = c 0.5
2.59/2.61	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.59/2.61	c # [type: real, range: [0,1], default: 0.1]
2.59/2.61	c heuristics/crossover/nodesquot = c 0.15
2.59/2.61	c # number of nodes without incumbent change that heuristic should wait
2.59/2.61	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.59/2.61	c heuristics/crossover/nwaitingnodes = c 100
2.59/2.61	c # number of nodes added to the contingent of the total nodes
2.59/2.61	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.59/2.61	c heuristics/crossover/nodesofs = c 750
2.59/2.61	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 30]
2.59/2.61	c heuristics/crossover/freq = c -1
2.59/2.61	c # additional number of allowed LP iterations
2.59/2.61	c # [type: int, range: [0,2147483647], default: 1000]
2.59/2.61	c heuristics/coefdiving/maxlpiterofs = c 1500
2.59/2.61	c # maximal fraction of diving LP iterations compared to node LP iterations
2.59/2.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.59/2.61	c heuristics/coefdiving/maxlpiterquot = c 0.075
2.59/2.61	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: 10]
2.59/2.61	c heuristics/coefdiving/freq = c -1
2.59/2.61	c # priority of node selection rule <dfs> in standard mode
2.59/2.61	c # [type: int, range: [-536870912,536870911], default: 0]
2.59/2.61	c nodeselection/dfs/stdpriority = c 1000000
2.59/2.61	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.59/2.61	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61	c presolving/probing/maxrounds = c 0
2.59/2.61	c # should presolving try to simplify knapsacks
2.59/2.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61	c constraints/knapsack/simplifyinequalities = c TRUE
2.59/2.61	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.59/2.61	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.59/2.61	c constraints/knapsack/disaggregation = c FALSE
2.59/2.61	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.62	c constraints/knapsack/maxnumcardlift = c 0
2.59/2.62	c # should presolving try to simplify inequalities
2.59/2.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.62	c constraints/linear/simplifyinequalities = c TRUE
2.59/2.62	c # maximal number of separation rounds in the root node (-1: unlimited)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.62	c separating/maxroundsroot = c 5
2.59/2.62	c # maximal number of separation rounds per node (-1: unlimited)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: 5]
2.59/2.62	c separating/maxrounds = c 1
2.59/2.62	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.62	c # [type: char, range: {lafpsqd}, default: l]
2.59/2.62	c lp/pricing = c a
2.59/2.62	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: 1]
2.59/2.62	c lp/solvefreq = c 0
2.59/2.62	c # solving stops, if the given number of solutions were found (-1: no limit)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.62	c limits/solutions = c 1
2.59/2.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.59/2.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.62	c limits/memory = c 1620
2.59/2.62	c # maximal time in seconds to run
2.59/2.62	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.62	c limits/time = c 1791
2.59/2.62	c # frequency for displaying node information lines
2.59/2.62	c # [type: int, range: [-1,2147483647], default: 100]
2.59/2.62	c display/freq = c 10000
2.59/2.62	c # should enforcement of pseudo solution be disabled?
2.59/2.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.62	c constraints/disableenfops = c TRUE
2.59/2.62	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: 0]
2.59/2.62	c constraints/agelimit = c 1
2.59/2.62	c # should binary conflicts be preferred?
2.59/2.62	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.62	c conflict/preferbinary = c TRUE
2.59/2.62	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.59/2.62	c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.62	c conflict/interconss = c 0
2.59/2.62	c -----------------------------------------------------------------------------------------------
2.59/2.62	c start solving problem
2.59/2.62	c 
71.46/71.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
71.46/71.58	c  69.9s|     1 |     0 |  8147 |  98M|   0 |2193 |7026 |  66k|  66k|7026 |  66k|   0 |   0 |   0 | 4.177023e+02 |      --      |    Inf 
86.35/86.49	c  84.8s|     1 |     0 |  9231 |  99M|   0 |2167 |7026 |  66k|  66k|7026 |  66k|  11 |   0 |   0 | 4.204032e+02 |      --      |    Inf 
112.05/112.13	c   110s|     1 |     0 | 11208 | 100M|   0 |2450 |7026 |  66k|  66k|7026 |  66k|  25 |   0 |   0 | 4.231485e+02 |      --      |    Inf 
146.03/146.18	c   144s|     1 |     0 | 13158 | 101M|   0 |2536 |7026 |  66k|  66k|7026 |  66k|  42 |   0 |   0 | 4.259337e+02 |      --      |    Inf 
396.06/396.27	c   394s|     1 |     0 | 14489 | 106M|   0 |2559 |7026 |  66k|  66k|7026 |  66k|  70 |   0 |   0 | 4.312184e+02 |      --      |    Inf 
486.94/487.15	c   485s|     1 |     0 | 16986 | 108M|   0 |2633 |7026 |  66k|  66k|7026 |  66k|  93 |   0 |   0 | 4.343937e+02 |      --      |    Inf 
750.06/750.35	c   748s|     1 |     2 | 16986 | 108M|   0 |2633 |7026 |  66k|  66k|7026 |  66k|  93 |   0 |  21 | 4.343937e+02 |      --      |    Inf 
898.23/898.53	c   895s| 10000 |   110 | 16986 | 112M| 201 |   - |7026 |  68k|  51k|   0 |   0 |  93 |9999 |  21 | 4.343937e+02 |      --      |    Inf 
1066.78/1067.11	c  1063s| 20000 |   136 | 16986 | 113M| 201 |   - |7026 |  69k|  33k|   0 |   0 |  93 |  20k|  21 | 4.343937e+02 |      --      |    Inf 
1229.53/1229.96	c  1226s| 30000 |   110 | 16986 | 114M| 201 |   - |7026 |  71k|  37k|   0 |   0 |  93 |  29k|  21 | 4.343937e+02 |      --      |    Inf 
1388.78/1389.30	c  1385s| 40000 |   109 | 16986 | 114M| 201 |   - |7026 |  72k|  46k|   0 |   0 |  93 |  39k|  21 | 4.343937e+02 |      --      |    Inf 
1548.43/1548.90	c  1544s| 50000 |   114 | 16986 | 114M| 201 |   - |7026 |  74k|  46k|   0 |   0 |  93 |  48k|  21 | 4.343937e+02 |      --      |    Inf 
1717.69/1718.23	c  1712s| 60000 |   137 | 16986 | 115M| 201 |   - |7026 |  75k|  42k|   0 |   0 |  93 |  57k|  21 | 4.343937e+02 |      --      |    Inf 
1796.55/1797.10	c 
1796.55/1797.10	c SCIP Status        : solving was interrupted [time limit reached]
1796.55/1797.10	c Solving Time (sec) : 1791.00
1796.55/1797.10	c Solving Nodes      : 64491
1796.55/1797.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.55/1797.10	c Dual Bound         : +4.34393733322035e+02
1796.55/1797.10	c Gap                : infinite
1796.55/1797.10	c NODE         64491
1796.55/1797.10	c DUAL BOUND   434.394
1796.55/1797.10	c PRIMAL BOUND 1e+20
1796.55/1797.10	c GAP          1e+20
1796.55/1797.10	s UNKNOWN
1796.55/1797.10	c SCIP Status        : solving was interrupted [time limit reached]
1796.55/1797.10	c Solving Time       :    1791.00
1796.55/1797.10	c Original Problem   :
1796.55/1797.10	c   Problem name     : HOME/instance-1884787-1245260379.opb
1796.55/1797.10	c   Variables        : 8484 (8484 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.55/1797.10	c   Constraints      : 73860 initial, 73860 maximal
1796.55/1797.10	c Presolved Problem  :
1796.55/1797.10	c   Problem name     : t_HOME/instance-1884787-1245260379.opb
1796.55/1797.10	c   Variables        : 7026 (7026 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.55/1797.10	c   Constraints      : 66835 initial, 76207 maximal
1796.55/1797.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.55/1797.10	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.55/1797.10	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1796.55/1797.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.55/1797.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.55/1797.10	c   implics          :       0.03          0       1245          0          0          0          0          0          0
1796.55/1797.10	c   probing          :       0.00          0          0          0          0          0          0          0          0
1796.55/1797.10	c   linear           :       0.64        168         45          0        168          0       7025          0        140
1796.55/1797.10	c   logicor          :       0.16          0          0          0          0          0          0          0          0
1796.55/1797.10	c   root node        :          -          0          -          -          0          -          -          -          -
1796.55/1797.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.55/1797.10	c   integral         :          0          0          0          1          0          0          0          0          0          2
1796.55/1797.10	c   logicor          :      66835+         5     638819          0          0      31764    7079191          0          0          0
1796.55/1797.10	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.55/1797.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.55/1797.10	c   integral         :     262.86       0.00       0.00     262.86       0.00
1796.55/1797.10	c   logicor          :     120.59       0.05     120.54       0.00       0.00
1796.55/1797.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.55/1797.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.55/1797.10	c   rootredcost      :       0.45          0          0          0
1796.55/1797.10	c   pseudoobj        :     691.95     685481          0          0
1796.55/1797.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.55/1797.10	c   propagation      :       8.84      31764      31764      31764       20.5      29677        9.3          -
1796.55/1797.10	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.55/1797.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.55/1797.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.55/1797.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.55/1797.10	c   applied globally :          -          -          -      61441       15.1          -          -          -
1796.55/1797.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.55/1797.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.55/1797.10	c   cut pool         :       0.01          4          -          -         51          -    (maximal pool size: 1095)
1796.55/1797.10	c   redcost          :       0.00          5          0          0          0          0
1796.55/1797.10	c   impliedbounds    :       0.00          5          0          0          0          0
1796.55/1797.10	c   intobj           :       0.00          0          0          0          0          0
1796.55/1797.10	c   gomory           :     197.90          5          0          0       2500          0
1796.55/1797.10	c   strongcg         :     115.65          5          0          0       2500          0
1796.55/1797.10	c   cmir             :       0.00          0          0          0          0          0
1796.55/1797.10	c   flowcover        :       0.00          0          0          0          0          0
1796.55/1797.10	c   clique           :       0.11          5          0          0         31          0
1796.55/1797.10	c   zerohalf         :       0.00          0          0          0          0          0
1796.55/1797.10	c   mcf              :       0.16          1          0          0          0          0
1796.55/1797.10	c Pricers            :       Time      Calls       Vars
1796.55/1797.10	c   problem variables:       0.00          0          0
1796.55/1797.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.55/1797.10	c   relpscost        :     262.86          1          0          0          0          0          2
1796.55/1797.10	c   pscost           :       0.00          0          0          0          0          0          0
1796.55/1797.10	c   inference        :     150.67      48082          0          0          0          0      96164
1796.55/1797.10	c   mostinf          :       0.00          0          0          0          0          0          0
1796.55/1797.10	c   leastinf         :       0.00          0          0          0          0          0          0
1796.55/1797.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.55/1797.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.55/1797.10	c   random           :       0.00          0          0          0          0          0          0
1796.55/1797.10	c Primal Heuristics  :       Time      Calls      Found
1796.55/1797.10	c   LP solutions     :       0.00          -          0
1796.55/1797.10	c   pseudo solutions :       0.00          -          0
1796.55/1797.10	c   simplerounding   :       0.00          0          0
1796.55/1797.10	c   rounding         :       0.00          0          0
1796.55/1797.10	c   shifting         :       0.00          0          0
1796.55/1797.10	c   intshifting      :       0.00          0          0
1796.55/1797.10	c   oneopt           :       0.00          0          0
1796.55/1797.10	c   fixandinfer      :       0.00          0          0
1796.55/1797.10	c   feaspump         :       0.00          0          0
1796.55/1797.10	c   coefdiving       :       0.00          0          0
1796.55/1797.10	c   pscostdiving     :       0.00          0          0
1796.55/1797.10	c   fracdiving       :       0.00          0          0
1796.55/1797.10	c   veclendiving     :       0.00          0          0
1796.55/1797.10	c   intdiving        :       0.00          0          0
1796.55/1797.10	c   actconsdiving    :       0.00          0          0
1796.55/1797.10	c   objpscostdiving  :       0.00          0          0
1796.55/1797.10	c   rootsoldiving    :       0.00          0          0
1796.55/1797.10	c   linesearchdiving :       0.00          0          0
1796.55/1797.10	c   guideddiving     :       0.00          0          0
1796.55/1797.10	c   octane           :       0.00          0          0
1796.55/1797.10	c   rens             :       0.00          0          0
1796.55/1797.10	c   rins             :       0.00          0          0
1796.55/1797.10	c   localbranching   :       0.00          0          0
1796.55/1797.10	c   mutation         :       0.00          0          0
1796.55/1797.10	c   crossover        :       0.00          0          0
1796.55/1797.10	c   dins             :       0.00          0          0
1796.55/1797.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.55/1797.10	c   primal LP        :       0.07          0          0       0.00       0.00
1796.55/1797.10	c   dual LP          :     169.35          6      16986    2831.00     100.30
1796.55/1797.10	c   barrier LP       :       0.00          0          0       0.00          -
1796.55/1797.10	c   diving/probing LP:       0.00          0          0       0.00          -
1796.55/1797.10	c   strong branching :     262.86         21      21000    1000.00      79.89
1796.55/1797.10	c     (at root node) :          -         21      21000    1000.00          -
1796.55/1797.10	c   conflict analysis:       0.00          0          0       0.00          -
1796.55/1797.10	c B&B Tree           :
1796.55/1797.10	c   number of runs   :          1
1796.55/1797.10	c   nodes            :      64491
1796.55/1797.10	c   nodes (total)    :      64491
1796.55/1797.10	c   nodes left       :        109
1796.55/1797.10	c   max depth        :        201
1796.55/1797.10	c   max depth (total):        201
1796.55/1797.10	c   backtracks       :      18276 (28.3%)
1796.55/1797.10	c   delayed cutoffs  :      31567
1796.55/1797.10	c   repropagations   :      76014 (4052696 domain reductions, 15356 cutoffs)
1796.55/1797.10	c   avg switch length:       3.46
1796.55/1797.10	c   switching time   :      51.44
1796.55/1797.10	c Solution           :
1796.55/1797.10	c   Solutions found  :          0 (0 improvements)
1796.55/1797.10	c   Primal Bound     :          -
1796.55/1797.10	c   Dual Bound       : +4.34393733322035e+02
1796.55/1797.10	c   Gap              :   infinite
1796.55/1797.10	c   Root Dual Bound  : +4.34393733322035e+02
1796.96/1797.50	c Time complete: 1796.97.

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-1884787-1245260379/watcher-1884787-1245260379 -o /tmp/evaluation-result-1884787-1245260379/solver-1884787-1245260379 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884787-1245260379.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.10 1.03 0.93 3/64 9422
/proc/meminfo: memFree=1753024/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=6100 CPUtime=0
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 560 0 0 0 0 0 0 0 20 0 1 0 193637602 6246400 542 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1525 552 325 886 0 635 0

[startup+0.091683 s]
/proc/loadavg: 1.10 1.03 0.93 3/64 9422
/proc/meminfo: memFree=1753024/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=11736 CPUtime=0.08
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 2251 0 0 0 8 0 0 0 20 0 1 0 193637602 12017664 2233 1992294400 4194304 7823515 548682068736 18446744073709551615 6911728 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 2934 2233 351 886 0 2044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11736

[startup+0.101634 s]
/proc/loadavg: 1.10 1.03 0.93 3/64 9422
/proc/meminfo: memFree=1753024/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=12700 CPUtime=0.09
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 2509 0 0 0 9 0 0 0 20 0 1 0 193637602 13004800 2491 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 3175 2491 351 886 0 2285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12700

[startup+0.301655 s]
/proc/loadavg: 1.10 1.03 0.93 3/64 9422
/proc/meminfo: memFree=1753024/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=19792 CPUtime=0.29
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 4250 0 0 0 28 1 0 0 22 0 1 0 193637602 20267008 4232 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 4948 4232 351 886 0 4058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19792

[startup+0.701695 s]
/proc/loadavg: 1.10 1.03 0.93 3/64 9422
/proc/meminfo: memFree=1753024/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=30712 CPUtime=0.69
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 7015 0 0 0 66 3 0 0 25 0 1 0 193637602 31449088 6997 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 7678 6997 351 886 0 6788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30712

[startup+1.50178 s]
/proc/loadavg: 1.10 1.03 0.93 2/65 9423
/proc/meminfo: memFree=1718264/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=100820 CPUtime=1.49
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 24593 0 0 0 136 13 0 0 25 0 1 0 193637602 103239680 24221 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 25205 24221 432 886 0 24315 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100820

[startup+3.10194 s]
/proc/loadavg: 1.10 1.03 0.93 2/65 9423
/proc/meminfo: memFree=1643832/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=205416 CPUtime=3.08
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 51979 0 0 0 264 44 0 0 19 0 1 0 193637602 210345984 48383 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 51354 48383 509 886 0 50464 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 205416

[startup+6.30126 s]
/proc/loadavg: 1.09 1.03 0.93 2/65 9423
/proc/meminfo: memFree=1543800/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=231844 CPUtime=6.28
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 57766 0 0 0 582 46 0 0 25 0 1 0 193637602 237408256 53219 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 57961 53219 515 886 0 57071 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 231844

[startup+12.7019 s]
/proc/loadavg: 1.08 1.03 0.93 2/65 9423
/proc/meminfo: memFree=1532472/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=236764 CPUtime=12.68
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 60209 0 0 0 1221 47 0 0 25 0 1 0 193637602 242446336 55478 1992294400 4194304 7823515 548682068736 18446744073709551615 6211625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 59191 55478 515 886 0 58301 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 236764

[startup+25.5013 s]
/proc/loadavg: 1.06 1.03 0.93 2/65 9423
/proc/meminfo: memFree=1530744/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=237220 CPUtime=25.48
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 60649 0 0 0 2500 48 0 0 25 0 1 0 193637602 242913280 55918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 59305 55918 515 886 0 58415 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 237220

[startup+51.1018 s]
/proc/loadavg: 1.04 1.02 0.93 2/65 9423
/proc/meminfo: memFree=1530552/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=237220 CPUtime=51.06
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 60705 0 0 0 5056 50 0 0 25 0 1 0 193637602 242913280 55974 1992294400 4194304 7823515 548682068736 18446744073709551615 6211586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 59305 55974 515 886 0 58415 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 237220

[startup+102.306 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 9423
/proc/meminfo: memFree=1510456/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=253936 CPUtime=102.25
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 66120 0 0 0 10166 59 0 0 25 0 1 0 193637602 260030464 61040 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 63484 61040 544 886 0 62594 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 253936

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 9423
/proc/meminfo: memFree=1505912/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=260488 CPUtime=162.23
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 67244 0 0 0 16158 65 0 0 25 0 1 0 193637602 266739712 62162 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 65122 62162 544 886 0 64232 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 260488

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 9423
/proc/meminfo: memFree=1505848/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=260488 CPUtime=222.22
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 67244 0 0 0 22152 70 0 0 25 0 1 0 193637602 266739712 62162 1992294400 4194304 7823515 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 65122 62162 544 886 0 64232 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 260488

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1505848/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=260488 CPUtime=282.19
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 67244 0 0 0 28144 75 0 0 25 0 1 0 193637602 266739712 62162 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 65122 62162 544 886 0 64232 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 260488

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1505784/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=260488 CPUtime=342.18
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 67254 0 0 0 34138 80 0 0 25 0 1 0 193637602 266739712 62172 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 65122 62172 544 886 0 64232 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 260488

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1498424/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=265100 CPUtime=402.16
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 69082 0 0 0 40130 86 0 0 25 0 1 0 193637602 271462400 64000 1992294400 4194304 7823515 548682068736 18446744073709551615 4339140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 66275 64000 544 886 0 65385 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 265100

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1491768/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=270880 CPUtime=462.14
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 70729 0 0 0 46120 94 0 0 25 0 1 0 193637602 277381120 65647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 67720 65647 544 886 0 66830 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 270880

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1485880/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=276632 CPUtime=522.13
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 72195 0 0 0 52114 99 0 0 25 0 1 0 193637602 283271168 67113 1992294400 4194304 7823515 548682068736 18446744073709551615 6212628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 69158 67113 547 886 0 68268 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 276632

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1485816/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=276708 CPUtime=582.11
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 77192 0 0 0 58106 105 0 0 25 0 1 0 193637602 283348992 67132 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 69177 67132 547 886 0 68287 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 276708

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9423
/proc/meminfo: memFree=1485880/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=276620 CPUtime=642.1
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 82149 0 0 0 64098 112 0 0 25 0 1 0 193637602 283258880 67112 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 69155 67112 547 886 0 68265 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 276620

[startup+702.302 s]

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

/proc/meminfo: memFree=1453752/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=309240 CPUtime=1061.98
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 99212 0 0 0 105975 223 0 0 25 0 1 0 193637602 316661760 75162 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 77310 75162 553 886 0 76420 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 309240

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9425
/proc/meminfo: memFree=1448120/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=314620 CPUtime=1121.96
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 100552 0 0 0 111954 242 0 0 25 0 1 0 193637602 322170880 76502 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 78655 76502 553 886 0 77765 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 314620

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9425
/proc/meminfo: memFree=1445240/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=317556 CPUtime=1181.94
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 101265 0 0 0 117932 262 0 0 25 0 1 0 193637602 325177344 77215 1992294400 4194304 7823515 548682068736 18446744073709551615 4769268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 79389 77215 553 886 0 78499 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 317556

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9425
/proc/meminfo: memFree=1441208/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=321448 CPUtime=1241.92
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 102233 0 0 0 123913 279 0 0 25 0 1 0 193637602 329162752 78183 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 80362 78183 553 886 0 79472 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 321448

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1438520/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=323980 CPUtime=1301.9
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 102871 0 0 0 129894 296 0 0 25 0 1 0 193637602 331755520 78821 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 80995 78821 553 886 0 80105 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 323980

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1436664/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=325952 CPUtime=1361.88
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 103331 0 0 0 135877 311 0 0 25 0 1 0 193637602 333774848 79281 1992294400 4194304 7823515 548682068736 18446744073709551615 4769564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 81488 79281 553 886 0 80598 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 325952

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1433528/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=329132 CPUtime=1421.87
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 104106 0 0 0 141858 329 0 0 25 0 1 0 193637602 337031168 80056 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 82283 80056 553 886 0 81393 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 329132

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1432696/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=330160 CPUtime=1481.84
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 104304 0 0 0 147837 347 0 0 25 0 1 0 193637602 338083840 80254 1992294400 4194304 7823515 548682068736 18446744073709551615 4768324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 82540 80254 553 886 0 81650 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 330160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1432504/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=330316 CPUtime=1541.83
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 104356 0 0 0 153819 364 0 0 25 0 1 0 193637602 338243584 80306 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 82579 80306 553 886 0 81689 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 330316

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1431352/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=331584 CPUtime=1601.82
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 104640 0 0 0 159796 386 0 0 25 0 1 0 193637602 339542016 80590 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 82896 80590 553 886 0 82006 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 331584

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1429944/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=333032 CPUtime=1661.8
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 104982 0 0 0 165775 405 0 0 25 0 1 0 193637602 341024768 80932 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 83258 80932 553 886 0 82368 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 333032

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1428728/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=334144 CPUtime=1721.78
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105271 0 0 0 171754 424 0 0 25 0 1 0 193637602 342163456 81221 1992294400 4194304 7823515 548682068736 18446744073709551615 4770417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 83536 81221 553 886 0 82646 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 334144

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1426872/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=336316 CPUtime=1781.77
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105753 0 0 0 177734 443 0 0 25 0 1 0 193637602 344387584 81703 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 84079 81703 553 886 0 83189 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 336316

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1426808/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=336316 CPUtime=1784.96
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105753 0 0 0 178052 444 0 0 25 0 1 0 193637602 344387584 81703 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 84079 81703 553 886 0 83189 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 336316

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1426552/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=336664 CPUtime=1791.37
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105824 0 0 0 178691 446 0 0 25 0 1 0 193637602 344743936 81774 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 84166 81774 553 886 0 83276 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 336664

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1426552/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=336664 CPUtime=1794.56
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105825 0 0 0 179010 446 0 0 25 0 1 0 193637602 344743936 81775 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 84166 81775 553 886 0 83276 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 336664

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1426552/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=336664 CPUtime=1796.16
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105825 0 0 0 179169 447 0 0 25 0 1 0 193637602 344743936 81775 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 84166 81775 553 886 0 83276 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 336664

[startup+1797.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1426552/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=336664 CPUtime=1796.55
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105825 0 0 0 179208 447 0 0 25 0 1 0 193637602 344743936 81775 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9422/statm: 84166 81775 553 886 0 83276 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (KiB) 336664

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 9431
/proc/meminfo: memFree=1425912/2055920 swapFree=4192812/4192956
[pid=9422] ppid=9420 vsize=103516 CPUtime=1796.96
/proc/9422/stat : 9422 (pbscip.linux.x8) R 9420 9422 8843 0 -1 4194304 105984 0 0 0 179244 452 0 0 25 0 1 0 193637602 106000384 25407 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 25879 25407 15655 886 0 24989 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 103516

Child status: 0
Real time (s): 1797.51
CPU time (s): 1796.98
CPU user time (s): 1792.44
CPU system time (s): 4.53531
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 337184

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

runsolver used 1.61375 second user time and 4.93425 second system time

The end

Launcher Data 

Begin job on node27 at 2009-06-17 19:39:39
IDJOB=1884787
IDBENCH=71992
IDSOLVER=683
FILE ID=node27/1884787-1245260379
PBS_JOBID= 9372426
Free space on /tmp= 66256 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/parity-games/instance_n6_i7_pp.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-1884787-1245260379/watcher-1884787-1245260379 -o /tmp/evaluation-result-1884787-1245260379/solver-1884787-1245260379 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884787-1245260379.opb

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

MD5SUM BENCH= 7f4e0092e4bfb72edb5403aff9864f6e
RANDOM SEED=1998306950

node27.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		: 2800.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	: 5521.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.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:       1753440 kB
Buffers:         39248 kB
Cached:         171076 kB
SwapCached:          0 kB
Active:         100848 kB
Inactive:       123916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12644 kB
Writeback:           0 kB
Mapped:          24228 kB
Slab:            63608 kB
Committed_AS:   200644 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node27 at 2009-06-17 20:09:37