Trace number 1884768

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? 1798.6 1799.19

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/parity-games/
instance_n6_i7_pp_ci_ce.opb
MD5SUM994354230d25b6d8c72b91474624365a
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark463.538
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 constraints74640
Number of constraints which are clauses74640
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.09/1.16	c SCIP version 1.1.0.7
1.09/1.16	c LP-Solver Clp 1.8.2
1.09/1.16	c user parameter file <scip.set> not found - using default parameters
1.09/1.16	c read problem <HOME/instance-1884768-1245260319.opb>
1.09/1.16	c original problem has 8484 variables (8484 bin, 0 int, 0 impl, 0 cont) and 74640 constraints
1.39/1.41	c No objective function, only one solution is needed.
1.39/1.41	c start presolving problem
1.39/1.41	c presolving:
1.89/1.98	c (round 1) 1663 del vars, 328 del conss, 168 chg bounds, 0 chg sides, 140 chg coeffs, 0 upgd conss, 186162 impls, 0 clqs
2.19/2.26	c (round 2) 1663 del vars, 5908 del conss, 168 chg bounds, 2100 chg sides, 2240 chg coeffs, 0 upgd conss, 190362 impls, 0 clqs
2.99/3.07	c (round 3) 1663 del vars, 10381 del conss, 168 chg bounds, 2100 chg sides, 2240 chg coeffs, 64519 upgd conss, 190362 impls, 0 clqs
3.30/3.30	c presolving (4 rounds):
3.30/3.30	c  1663 deleted vars, 10387 deleted constraints, 168 tightened bounds, 0 added holes, 2100 changed sides, 2240 changed coefficients
3.30/3.30	c  190362 implications, 0 cliques
3.30/3.30	c presolved problem has 6821 variables (6821 bin, 0 int, 0 impl, 0 cont) and 64253 constraints
3.30/3.30	c   64253 constraints of type <logicor>
3.30/3.30	c transformed objective value is always integral (scale: 1)
3.30/3.30	c Presolving Time: 1.63
3.30/3.30	c PURESAT
3.30/3.30	c -----------------------------------------------------------------------------------------------
3.30/3.30	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.30	c separating/flowcover/freq = c -1
3.30/3.30	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.30	c separating/cmir/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/veclendiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/veclendiving/maxlpiterquot = c 0.075
3.30/3.30	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/veclendiving/freq = c -1
3.30/3.30	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.30	c heuristics/simplerounding/freq = c -1
3.30/3.30	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/shifting/freq = c -1
3.30/3.30	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.30	c heuristics/rounding/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/rootsoldiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.30/3.30	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
3.30/3.30	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 20]
3.30/3.30	c heuristics/rootsoldiving/freq = c -1
3.30/3.30	c # number of nodes added to the contingent of the total nodes
3.30/3.30	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.30/3.30	c heuristics/rens/nodesofs = c 2000
3.30/3.30	c # minimum percentage of integer variables that have to be fixable 
3.30/3.30	c # [type: real, range: [0,1], default: 0.5]
3.30/3.30	c heuristics/rens/minfixingrate = c 0.3
3.30/3.30	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.30	c heuristics/rens/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/pscostdiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/pscostdiving/maxlpiterquot = c 0.075
3.30/3.30	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/pscostdiving/freq = c -1
3.30/3.30	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.30	c heuristics/oneopt/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/objpscostdiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to total iteration number
3.30/3.30	c # [type: real, range: [0,1], default: 0.01]
3.30/3.30	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
3.30/3.30	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 20]
3.30/3.30	c heuristics/objpscostdiving/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/linesearchdiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
3.30/3.30	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/linesearchdiving/freq = c -1
3.30/3.30	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/intshifting/freq = c -1
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/intdiving/maxlpiterquot = c 0.075
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/guideddiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/guideddiving/maxlpiterquot = c 0.075
3.30/3.30	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/guideddiving/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/fracdiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/fracdiving/maxlpiterquot = c 0.075
3.30/3.30	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/fracdiving/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/feaspump/maxlpiterofs = c 2000
3.30/3.30	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 20]
3.30/3.30	c heuristics/feaspump/freq = c -1
3.30/3.30	c # minimum percentage of integer variables that have to be fixed 
3.30/3.30	c # [type: real, range: [0,1], default: 0.666]
3.30/3.30	c heuristics/crossover/minfixingrate = c 0.5
3.30/3.30	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.30/3.30	c # [type: real, range: [0,1], default: 0.1]
3.30/3.30	c heuristics/crossover/nodesquot = c 0.15
3.30/3.30	c # number of nodes without incumbent change that heuristic should wait
3.30/3.30	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.30/3.30	c heuristics/crossover/nwaitingnodes = c 100
3.30/3.30	c # number of nodes added to the contingent of the total nodes
3.30/3.30	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.30/3.30	c heuristics/crossover/nodesofs = c 750
3.30/3.30	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 30]
3.30/3.30	c heuristics/crossover/freq = c -1
3.30/3.30	c # additional number of allowed LP iterations
3.30/3.30	c # [type: int, range: [0,2147483647], default: 1000]
3.30/3.30	c heuristics/coefdiving/maxlpiterofs = c 1500
3.30/3.30	c # maximal fraction of diving LP iterations compared to node LP iterations
3.30/3.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.30/3.30	c heuristics/coefdiving/maxlpiterquot = c 0.075
3.30/3.30	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: 10]
3.30/3.30	c heuristics/coefdiving/freq = c -1
3.30/3.30	c # priority of node selection rule <dfs> in standard mode
3.30/3.30	c # [type: int, range: [-536870912,536870911], default: 0]
3.30/3.30	c nodeselection/dfs/stdpriority = c 1000000
3.30/3.30	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.30/3.30	c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.30	c presolving/probing/maxrounds = c 0
3.30/3.30	c # should presolving try to simplify knapsacks
3.30/3.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.30	c constraints/knapsack/simplifyinequalities = c TRUE
3.30/3.30	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.30/3.30	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.30/3.30	c constraints/knapsack/disaggregation = c FALSE
3.30/3.30	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.31	c constraints/knapsack/maxnumcardlift = c 0
3.30/3.31	c # should presolving try to simplify inequalities
3.30/3.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31	c constraints/linear/simplifyinequalities = c TRUE
3.30/3.31	c # maximal number of separation rounds in the root node (-1: unlimited)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.31	c separating/maxroundsroot = c 5
3.30/3.31	c # maximal number of separation rounds per node (-1: unlimited)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: 5]
3.30/3.31	c separating/maxrounds = c 1
3.30/3.31	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)
3.30/3.31	c # [type: char, range: {lafpsqd}, default: l]
3.30/3.31	c lp/pricing = c a
3.30/3.31	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: 1]
3.30/3.31	c lp/solvefreq = c 0
3.30/3.31	c # solving stops, if the given number of solutions were found (-1: no limit)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.31	c limits/solutions = c 1
3.30/3.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.30/3.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.31	c limits/memory = c 1620
3.30/3.31	c # maximal time in seconds to run
3.30/3.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.30/3.31	c limits/time = c 1791
3.30/3.31	c # frequency for displaying node information lines
3.30/3.31	c # [type: int, range: [-1,2147483647], default: 100]
3.30/3.31	c display/freq = c 10000
3.30/3.31	c # should enforcement of pseudo solution be disabled?
3.30/3.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31	c constraints/disableenfops = c TRUE
3.30/3.31	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: 0]
3.30/3.31	c constraints/agelimit = c 1
3.30/3.31	c # should binary conflicts be preferred?
3.30/3.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.30/3.31	c conflict/preferbinary = c TRUE
3.30/3.31	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.30/3.31	c # [type: int, range: [-1,2147483647], default: -1]
3.30/3.31	c conflict/interconss = c 0
3.30/3.31	c -----------------------------------------------------------------------------------------------
3.30/3.31	c start solving problem
3.30/3.31	c 
35.38/35.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
35.38/35.40	c  33.7s|     1 |     0 |  6650 |  99M|   0 |2748 |6821 |  64k|  64k|6821 |  64k|   0 |   0 |   0 | 4.847750e+02 |      --      |    Inf 
49.27/49.40	c  47.7s|     1 |     0 |  8480 | 100M|   0 |2874 |6821 |  64k|  64k|6821 |  64k|  14 |   0 |   0 | 4.887005e+02 |      --      |    Inf 
69.57/69.69	c  67.9s|     1 |     0 | 11289 | 101M|   0 |2858 |6821 |  64k|  64k|6821 |  64k|  29 |   0 |   0 | 4.930035e+02 |      --      |    Inf 
84.66/84.77	c  83.0s|     1 |     0 | 13280 | 102M|   0 |2850 |6821 |  64k|  64k|6821 |  64k|  38 |   0 |   0 | 4.956598e+02 |      --      |    Inf 
299.09/299.29	c   297s|     1 |     0 | 15364 | 105M|   0 |2907 |6821 |  64k|  64k|6821 |  64k|  62 |   0 |   0 | 5.040776e+02 |      --      |    Inf 
315.49/315.69	c   314s|     1 |     0 | 17334 | 106M|   0 |2959 |6821 |  64k|  64k|6821 |  64k|  71 |   0 |   0 | 5.075244e+02 |      --      |    Inf 
476.83/477.05	c   475s|     1 |     2 | 17334 | 106M|   0 |2959 |6821 |  64k|  64k|6821 |  64k|  71 |   0 |  20 | 5.075244e+02 |      --      |    Inf 
602.09/602.39	c   600s| 10000 |   159 | 17334 | 111M| 279 |   - |6821 |  68k|  28k|   0 |   0 |  71 |  13k|  20 | 5.264441e+02 |      --      |    Inf 
733.24/733.55	c   730s| 20000 |   157 | 17334 | 112M| 279 |   - |6821 |  73k|  25k|   0 |   0 |  71 |  27k|  20 | 5.264441e+02 |      --      |    Inf 
863.40/863.75	c   860s| 30000 |   143 | 17334 | 113M| 279 |   - |6821 |  78k|  26k|   0 |   0 |  71 |  42k|  20 | 5.264441e+02 |      --      |    Inf 
995.76/996.11	c   992s| 40000 |   141 | 17334 | 115M| 279 |   - |6821 |  83k|  28k|   0 |   0 |  71 |  56k|  20 | 5.264441e+02 |      --      |    Inf 
1123.22/1123.69	c  1119s| 50000 |   135 | 17334 | 116M| 279 |   - |6821 |  87k|  26k|   0 |   0 |  71 |  70k|  20 | 5.264441e+02 |      --      |    Inf 
1254.58/1255.02	c  1250s| 60000 |   134 | 17334 | 117M| 279 |   - |6821 |  92k|  30k|   0 |   0 |  71 |  83k|  20 | 5.264441e+02 |      --      |    Inf 
1390.63/1391.14	c  1385s| 70000 |   126 | 17334 | 118M| 279 |   - |6821 |  97k|  28k|   0 |   0 |  71 |  98k|  20 | 5.264441e+02 |      --      |    Inf 
1531.80/1532.37	c  1526s| 80000 |   123 | 17334 | 119M| 279 |   - |6821 | 103k|  28k|   0 |   0 |  71 | 112k|  20 | 5.264441e+02 |      --      |    Inf 
1673.55/1674.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1673.55/1674.18	c  1667s| 90000 |   119 | 17334 | 120M| 279 |   - |6821 | 108k|  25k|   0 |   0 |  71 | 128k|  20 | 5.264441e+02 |      --      |    Inf 
1798.11/1798.74	c 
1798.11/1798.74	c SCIP Status        : solving was interrupted [time limit reached]
1798.11/1798.74	c Solving Time (sec) : 1791.00
1798.11/1798.74	c Solving Nodes      : 99001
1798.11/1798.74	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.11/1798.74	c Dual Bound         : +5.26444128974708e+02
1798.11/1798.74	c Gap                : infinite
1798.11/1798.74	c NODE         99001
1798.11/1798.74	c DUAL BOUND   526.444
1798.11/1798.74	c PRIMAL BOUND 1e+20
1798.11/1798.74	c GAP          1e+20
1798.11/1798.74	s UNKNOWN
1798.11/1798.74	c SCIP Status        : solving was interrupted [time limit reached]
1798.11/1798.74	c Solving Time       :    1791.00
1798.11/1798.74	c Original Problem   :
1798.11/1798.74	c   Problem name     : HOME/instance-1884768-1245260319.opb
1798.11/1798.74	c   Variables        : 8484 (8484 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.11/1798.74	c   Constraints      : 74640 initial, 74640 maximal
1798.11/1798.74	c Presolved Problem  :
1798.11/1798.74	c   Problem name     : t_HOME/instance-1884768-1245260319.opb
1798.11/1798.74	c   Variables        : 6821 (6821 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.11/1798.74	c   Constraints      : 64253 initial, 112581 maximal
1798.11/1798.74	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.11/1798.74	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.11/1798.74	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.11/1798.74	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.11/1798.74	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.11/1798.74	c   implics          :       0.12          0       1450          0          0          0          0          0          0
1798.11/1798.74	c   probing          :       0.00          0          0          0          0          0          0          0          0
1798.11/1798.74	c   linear           :       0.85        168         45          0        168          0      10121       2100       2240
1798.11/1798.74	c   logicor          :       0.51          0          0          0          0          0        266          0          0
1798.11/1798.74	c   root node        :          -          0          -          -          0          -          -          -          -
1798.11/1798.74	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.11/1798.74	c   integral         :          0          0          0          1          0          0          0          0          0          2
1798.11/1798.74	c   logicor          :      64253+         5     872579          0          0      50496   10309846          0          0          0
1798.11/1798.74	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1798.11/1798.74	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.11/1798.74	c   integral         :     161.08       0.00       0.00     161.08       0.00
1798.11/1798.74	c   logicor          :     170.03       0.05     169.98       0.00       0.00
1798.11/1798.74	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.11/1798.74	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.11/1798.74	c   rootredcost      :       0.79          0          0          0
1798.11/1798.74	c   pseudoobj        :     900.58     955552          0          0
1798.11/1798.74	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.11/1798.74	c   propagation      :      16.18      50496      50496      50496       22.1      91436        6.2          -
1798.11/1798.74	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.11/1798.74	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.11/1798.74	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.11/1798.74	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.11/1798.74	c   applied globally :          -          -          -     141929       11.9          -          -          -
1798.11/1798.74	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.11/1798.74	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.11/1798.74	c   cut pool         :       0.00          4          -          -         73          -    (maximal pool size: 1041)
1798.11/1798.74	c   redcost          :       0.00          5          0          0          0          0
1798.11/1798.74	c   impliedbounds    :       0.01          5          0          0          0          0
1798.11/1798.74	c   intobj           :       0.00          0          0          0          0          0
1798.11/1798.74	c   gomory           :     138.30          5          0          0       2500          0
1798.11/1798.74	c   strongcg         :      74.20          5          0          0       2500          0
1798.11/1798.74	c   cmir             :       0.00          0          0          0          0          0
1798.11/1798.74	c   flowcover        :       0.00          0          0          0          0          0
1798.11/1798.74	c   clique           :       0.14          5          0          0         30          0
1798.11/1798.74	c   zerohalf         :       0.00          0          0          0          0          0
1798.11/1798.74	c   mcf              :       0.15          1          0          0          0          0
1798.11/1798.74	c Pricers            :       Time      Calls       Vars
1798.11/1798.74	c   problem variables:       0.00          0          0
1798.11/1798.74	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.11/1798.74	c   relpscost        :     161.08          1          0          0          0          0          2
1798.11/1798.74	c   pscost           :       0.00          0          0          0          0          0          0
1798.11/1798.74	c   inference        :     131.60      70905          0          0          0          0     141810
1798.11/1798.74	c   mostinf          :       0.00          0          0          0          0          0          0
1798.11/1798.74	c   leastinf         :       0.00          0          0          0          0          0          0
1798.11/1798.74	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.11/1798.74	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.11/1798.74	c   random           :       0.00          0          0          0          0          0          0
1798.11/1798.74	c Primal Heuristics  :       Time      Calls      Found
1798.11/1798.74	c   LP solutions     :       0.00          -          0
1798.11/1798.74	c   pseudo solutions :       0.00          -          0
1798.11/1798.74	c   simplerounding   :       0.00          0          0
1798.11/1798.74	c   rounding         :       0.00          0          0
1798.11/1798.74	c   shifting         :       0.00          0          0
1798.11/1798.74	c   intshifting      :       0.00          0          0
1798.11/1798.74	c   oneopt           :       0.00          0          0
1798.11/1798.74	c   fixandinfer      :       0.00          0          0
1798.11/1798.74	c   feaspump         :       0.00          0          0
1798.11/1798.74	c   coefdiving       :       0.00          0          0
1798.11/1798.74	c   pscostdiving     :       0.00          0          0
1798.11/1798.74	c   fracdiving       :       0.00          0          0
1798.11/1798.74	c   veclendiving     :       0.00          0          0
1798.11/1798.74	c   intdiving        :       0.00          0          0
1798.11/1798.74	c   actconsdiving    :       0.00          0          0
1798.11/1798.74	c   objpscostdiving  :       0.00          0          0
1798.11/1798.74	c   rootsoldiving    :       0.00          0          0
1798.11/1798.74	c   linesearchdiving :       0.00          0          0
1798.11/1798.74	c   guideddiving     :       0.00          0          0
1798.11/1798.74	c   octane           :       0.00          0          0
1798.11/1798.74	c   rens             :       0.00          0          0
1798.11/1798.74	c   rins             :       0.00          0          0
1798.11/1798.74	c   localbranching   :       0.00          0          0
1798.11/1798.74	c   mutation         :       0.00          0          0
1798.11/1798.74	c   crossover        :       0.00          0          0
1798.11/1798.74	c   dins             :       0.00          0          0
1798.11/1798.74	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.11/1798.74	c   primal LP        :       0.15          0          0       0.00       0.00
1798.11/1798.74	c   dual LP          :      98.49          6      17334    2889.00     176.00
1798.11/1798.74	c   barrier LP       :       0.00          0          0       0.00          -
1798.11/1798.74	c   diving/probing LP:       0.00          0          0       0.00          -
1798.11/1798.74	c   strong branching :     161.07         20      19267     963.35     119.62
1798.11/1798.74	c     (at root node) :          -         20      19267     963.35          -
1798.11/1798.74	c   conflict analysis:       0.00          0          0       0.00          -
1798.11/1798.74	c B&B Tree           :
1798.11/1798.74	c   number of runs   :          1
1798.11/1798.74	c   nodes            :      99001
1798.11/1798.74	c   nodes (total)    :      99001
1798.11/1798.74	c   nodes left       :        117
1798.11/1798.74	c   max depth        :        279
1798.11/1798.74	c   max depth (total):        279
1798.11/1798.74	c   backtracks       :      28360 (28.6%)
1798.11/1798.74	c   delayed cutoffs  :      42695
1798.11/1798.74	c   repropagations   :     126791 (4947653 domain reductions, 22401 cutoffs)
1798.11/1798.74	c   avg switch length:       3.65
1798.11/1798.74	c   switching time   :      74.36
1798.11/1798.74	c Solution           :
1798.11/1798.74	c   Solutions found  :          0 (0 improvements)
1798.11/1798.74	c   Primal Bound     :          -
1798.11/1798.74	c   Dual Bound       : +5.26444128974708e+02
1798.11/1798.74	c   Gap              :   infinite
1798.11/1798.74	c   Root Dual Bound  : +5.07524392361060e+02
1798.51/1799.18	c Time complete: 1798.59.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1884768-1245260319/watcher-1884768-1245260319 -o /tmp/evaluation-result-1884768-1245260319/solver-1884768-1245260319 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884768-1245260319.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: 0.92 0.97 0.91 3/64 10054
/proc/meminfo: memFree=1872104/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=5812 CPUtime=0
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 193624855 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/10054/statm: 1453 509 338 1256 0 192 0

[startup+0.053649 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 10054
/proc/meminfo: memFree=1872104/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=12244 CPUtime=0.04
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 2022 0 0 0 4 0 0 0 18 0 1 0 193624855 12537856 2006 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/10054/statm: 3061 2006 376 1256 0 1800 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12244

[startup+0.101655 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 10054
/proc/meminfo: memFree=1872104/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=14180 CPUtime=0.09
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 2531 0 0 0 9 0 0 0 18 0 1 0 193624855 14520320 2515 1992294400 4194304 9342243 548682068736 18446744073709551615 4526120 0 0 4096 0 0 0 0 17 1 0 0
/proc/10054/statm: 3545 2515 376 1256 0 2284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14180

[startup+0.301684 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 10054
/proc/meminfo: memFree=1872104/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=21144 CPUtime=0.29
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 4267 0 0 0 28 1 0 0 19 0 1 0 193624855 21651456 4251 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/10054/statm: 5286 4252 376 1256 0 4025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21144

[startup+0.70174 s]
/proc/loadavg: 0.92 0.97 0.91 3/64 10054
/proc/meminfo: memFree=1872104/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=32184 CPUtime=0.69
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 7036 0 0 0 67 2 0 0 22 0 1 0 193624855 32956416 7020 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/10054/statm: 8046 7020 376 1256 0 6785 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32184

[startup+1.50185 s]
/proc/loadavg: 0.92 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1839200/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=103256 CPUtime=1.49
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 24923 0 0 0 138 11 0 0 25 0 1 0 193624855 105734144 24553 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 25814 24553 461 1256 0 24553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103256

[startup+3.10108 s]
/proc/loadavg: 0.92 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1763488/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=150148 CPUtime=3.09
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 37774 0 0 0 272 37 0 0 25 0 1 0 193624855 153751552 35798 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 37537 35798 480 1256 0 36276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 150148

[startup+6.30153 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1670560/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=237148 CPUtime=6.29
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 54139 0 0 0 583 46 0 0 25 0 1 0 193624855 242839552 51385 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 59287 51385 613 1256 0 58026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 237148

[startup+12.7014 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1663648/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=239412 CPUtime=12.69
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 57524 0 0 0 1221 48 0 0 25 0 1 0 193624855 245157888 52641 1992294400 4194304 9342243 548682068736 18446744073709551615 5874682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 59853 52641 613 1256 0 58592 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 239412

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1660512/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=244476 CPUtime=25.48
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 63937 0 0 0 2496 52 0 0 25 0 1 0 193624855 250343424 53423 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 61119 53423 613 1256 0 59858 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 244476

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1646560/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=250028 CPUtime=51.07
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 74668 0 0 0 5047 60 0 0 25 0 1 0 193624855 256028672 57199 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 62507 57199 645 1256 0 61246 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 250028

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1634464/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=259880 CPUtime=102.26
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 77442 0 0 0 10162 64 0 0 25 0 1 0 193624855 266117120 59973 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 64970 59973 645 1256 0 63709 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 259880

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1634400/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=259880 CPUtime=162.23
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 77442 0 0 0 16156 67 0 0 25 0 1 0 193624855 266117120 59973 1992294400 4194304 9342243 548682068736 18446744073709551615 6951966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 64970 59973 645 1256 0 63709 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 259880

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1634336/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=259880 CPUtime=222.21
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 77442 0 0 0 22149 72 0 0 25 0 1 0 193624855 266117120 59973 1992294400 4194304 9342243 548682068736 18446744073709551615 6952974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 64970 59973 645 1256 0 63709 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 259880

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1631136/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=259880 CPUtime=282.19
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 78234 0 0 0 28144 75 0 0 25 0 1 0 193624855 266117120 60765 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 64970 60765 645 1256 0 63709 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 259880

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1612576/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=318264 CPUtime=342.18
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 88455 0 0 0 34134 84 0 0 25 0 1 0 193624855 325902336 65377 1992294400 4194304 9342243 548682068736 18446744073709551615 6960322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 79566 65377 650 1256 0 78305 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 318264

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1612576/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=318264 CPUtime=402.16
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 100734 0 0 0 40124 92 0 0 25 0 1 0 193624855 325902336 65365 1992294400 4194304 9342243 548682068736 18446744073709551615 6978142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 79566 65365 650 1256 0 78305 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 318264

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1612640/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=318264 CPUtime=462.13
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 114764 0 0 0 46113 100 0 0 25 0 1 0 193624855 325902336 65368 1992294400 4194304 9342243 548682068736 18446744073709551615 5868822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 79566 65368 650 1256 0 78305 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 318264

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1611488/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=273596 CPUtime=522.12
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 118582 0 0 0 52092 120 0 0 25 0 1 0 193624855 280162304 65685 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 68399 65685 669 1256 0 67138 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 273596

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1601056/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=283944 CPUtime=582.1
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 121168 0 0 0 58068 142 0 0 25 0 1 0 193624855 290758656 68271 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 70986 68271 669 1256 0 69725 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 283944

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 10055
/proc/meminfo: memFree=1596576/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=288532 CPUtime=642.08
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 122272 0 0 0 64046 162 0 0 25 0 1 0 193624855 295456768 69375 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 72133 69375 669 1256 0 70872 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 288532

[startup+702.301 s]

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

/proc/meminfo: memFree=1582368/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=304544 CPUtime=1061.94
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 125872 0 0 0 105869 325 0 0 25 0 1 0 193624855 311853056 72975 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 76136 72975 669 1256 0 74875 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 304544

[startup+1122.3 s]
/proc/loadavg: 1.04 0.99 0.92 2/65 10057
/proc/meminfo: memFree=1580256/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=306636 CPUtime=1121.92
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 126313 0 0 0 111844 348 0 0 25 0 1 0 193624855 313995264 73416 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 76659 73416 669 1256 0 75398 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 306636

[startup+1182.3 s]
/proc/loadavg: 1.05 1.00 0.93 2/65 10057
/proc/meminfo: memFree=1579808/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=307112 CPUtime=1181.9
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 126410 0 0 0 117820 370 0 0 25 0 1 0 193624855 314482688 73513 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 76778 73513 669 1256 0 75517 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 307112

[startup+1242.3 s]
/proc/loadavg: 1.05 1.01 0.93 2/65 10057
/proc/meminfo: memFree=1577440/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=309848 CPUtime=1241.89
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 126991 0 0 0 123799 390 0 0 25 0 1 0 193624855 317284352 74094 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 77462 74094 669 1256 0 76201 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 309848

[startup+1302.3 s]
/proc/loadavg: 1.05 1.02 0.94 2/65 10057
/proc/meminfo: memFree=1575584/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=311864 CPUtime=1301.87
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 127439 0 0 0 129773 414 0 0 25 0 1 0 193624855 319348736 74542 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 77966 74542 669 1256 0 76705 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 311864

[startup+1362.3 s]
/proc/loadavg: 1.02 1.02 0.94 2/65 10063
/proc/meminfo: memFree=1574816/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=312880 CPUtime=1361.85
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 127639 0 0 0 135747 438 0 0 25 0 1 0 193624855 320389120 74742 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 78220 74742 669 1256 0 76959 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 312880

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 0.94 2/65 10063
/proc/meminfo: memFree=1573600/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=314160 CPUtime=1421.83
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 127937 0 0 0 141722 461 0 0 25 0 1 0 193624855 321699840 75040 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 78540 75040 669 1256 0 77279 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 314160

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1572384/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=315392 CPUtime=1481.81
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 128226 0 0 0 147697 484 0 0 25 0 1 0 193624855 322961408 75329 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 78848 75329 669 1256 0 77587 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 315392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1570528/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=317876 CPUtime=1541.78
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 128700 0 0 0 153672 506 0 0 25 0 1 0 193624855 325505024 75803 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 79469 75803 669 1256 0 78208 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 317876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1570080/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=318196 CPUtime=1601.76
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 128790 0 0 0 159646 530 0 0 25 0 1 0 193624855 325832704 75893 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 79549 75893 669 1256 0 78288 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 318196

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1569376/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=318892 CPUtime=1661.74
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 128955 0 0 0 165622 552 0 0 25 0 1 0 193624855 326545408 76058 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 79723 76058 669 1256 0 78462 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 318892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567904/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321088 CPUtime=1721.73
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129318 0 0 0 171600 573 0 0 25 0 1 0 193624855 328794112 76421 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80272 76421 669 1256 0 79011 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 321088

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567392/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321516 CPUtime=1781.71
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129444 0 0 0 177574 597 0 0 25 0 1 0 193624855 329232384 76547 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80379 76547 669 1256 0 79118 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 321516

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567072/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321864 CPUtime=1791.31
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129524 0 0 0 178530 601 0 0 25 0 1 0 193624855 329588736 76627 1992294400 4194304 9342243 548682068736 18446744073709551615 5432485 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80466 76627 669 1256 0 79205 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 321864

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567072/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321864 CPUtime=1794.51
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129525 0 0 0 178849 602 0 0 25 0 1 0 193624855 329588736 76628 1992294400 4194304 9342243 548682068736 18446744073709551615 4770417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80466 76628 669 1256 0 79205 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 321864

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567072/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321864 CPUtime=1796.1
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129525 0 0 0 179008 602 0 0 25 0 1 0 193624855 329588736 76628 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80466 76628 669 1256 0 79205 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 321864

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567072/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321864 CPUtime=1797.7
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129525 0 0 0 179167 603 0 0 25 0 1 0 193624855 329588736 76628 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80466 76628 669 1256 0 79205 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 321864

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567072/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=321864 CPUtime=1798.11
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 129525 0 0 0 179207 604 0 0 25 0 1 0 193624855 329588736 76628 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10054/statm: 80466 76628 669 1256 0 79205 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 321864

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10063
/proc/meminfo: memFree=1567072/2055920 swapFree=4180352/4192956
[pid=10054] ppid=10052 vsize=324184 CPUtime=1798.51
/proc/10054/stat : 10054 (pbscip.linux.x8) R 10052 10054 9232 0 -1 4194304 130102 0 0 0 179247 604 0 0 25 0 1 0 193624855 331964416 77205 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0
/proc/10054/statm: 81046 77205 676 1256 0 79785 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (KiB) 324184

Child status: 0
Real time (s): 1799.19
CPU time (s): 1798.6
CPU user time (s): 1792.5
CPU system time (s): 6.09607
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 324184

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

runsolver used 1.47378 second user time and 4.05238 second system time

The end

Launcher Data 

Begin job on node49 at 2009-06-17 19:38:39
IDJOB=1884768
IDBENCH=71990
IDSOLVER=684
FILE ID=node49/1884768-1245260319
PBS_JOBID= 9372405
Free space on /tmp= 66024 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/parity-games/instance_n6_i7_pp_ci_ce.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884768-1245260319/watcher-1884768-1245260319 -o /tmp/evaluation-result-1884768-1245260319/solver-1884768-1245260319 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884768-1245260319.opb

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

MD5SUM BENCH= 994354230d25b6d8c72b91474624365a
RANDOM SEED=549018788

node49.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.232
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.232
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:       1872520 kB
Buffers:         22680 kB
Cached:          92580 kB
SwapCached:       5576 kB
Active:          81532 kB
Inactive:        41776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872520 kB
SwapTotal:     4192956 kB
SwapFree:      4180352 kB
Dirty:           14832 kB
Writeback:           0 kB
Mapped:          13780 kB
Slab:            45908 kB
Committed_AS:   202088 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66012 MiB
End job on node49 at 2009-06-17 20:08:39