Trace number 1883893

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? (TO) 1801.5 1802.11

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-91-90.opb
MD5SUMdb1439cbd478b31566aabb43ac29c55c
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8190
Total number of constraints368641
Number of constraints which are clauses368641
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 constraint90
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

4.89/4.92	c SCIP version 1.1.0.7
4.89/4.92	c LP-Solver Clp 1.8.2
4.89/4.92	c user parameter file <scip.set> not found - using default parameters
4.89/4.92	c read problem <HOME/instance-1883893-1245237164.opb>
4.89/4.92	c original problem has 8190 variables (8190 bin, 0 int, 0 impl, 0 cont) and 368641 constraints
5.59/5.69	c No objective function, only one solution is needed.
5.59/5.69	c start presolving problem
5.59/5.69	c presolving:
9.59/9.61	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 368641 upgd conss, 737100 impls, 0 clqs
10.08/10.18	c presolving (2 rounds):
10.08/10.18	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
10.08/10.18	c  737100 implications, 0 cliques
10.08/10.18	c presolved problem has 8190 variables (8190 bin, 0 int, 0 impl, 0 cont) and 368641 constraints
10.08/10.18	c  368641 constraints of type <logicor>
10.08/10.18	c transformed objective value is always integral (scale: 1)
10.08/10.18	c Presolving Time: 3.52
10.08/10.18	c PURESAT
10.08/10.18	c -----------------------------------------------------------------------------------------------
10.08/10.18	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 0]
10.08/10.18	c separating/flowcover/freq = c -1
10.08/10.18	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 0]
10.08/10.18	c separating/cmir/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/veclendiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/veclendiving/maxlpiterquot = c 0.075
10.08/10.18	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/veclendiving/freq = c -1
10.08/10.18	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 1]
10.08/10.18	c heuristics/simplerounding/freq = c -1
10.08/10.18	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/shifting/freq = c -1
10.08/10.18	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 1]
10.08/10.18	c heuristics/rounding/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/rootsoldiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
10.08/10.18	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
10.08/10.18	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 20]
10.08/10.18	c heuristics/rootsoldiving/freq = c -1
10.08/10.18	c # number of nodes added to the contingent of the total nodes
10.08/10.18	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.08/10.18	c heuristics/rens/nodesofs = c 2000
10.08/10.18	c # minimum percentage of integer variables that have to be fixable 
10.08/10.18	c # [type: real, range: [0,1], default: 0.5]
10.08/10.18	c heuristics/rens/minfixingrate = c 0.3
10.08/10.18	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 0]
10.08/10.18	c heuristics/rens/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/pscostdiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/pscostdiving/maxlpiterquot = c 0.075
10.08/10.18	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/pscostdiving/freq = c -1
10.08/10.18	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 1]
10.08/10.18	c heuristics/oneopt/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/objpscostdiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to total iteration number
10.08/10.18	c # [type: real, range: [0,1], default: 0.01]
10.08/10.18	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
10.08/10.18	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 20]
10.08/10.18	c heuristics/objpscostdiving/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/linesearchdiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
10.08/10.18	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/linesearchdiving/freq = c -1
10.08/10.18	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/intshifting/freq = c -1
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/intdiving/maxlpiterquot = c 0.075
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/guideddiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/guideddiving/maxlpiterquot = c 0.075
10.08/10.18	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/guideddiving/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/fracdiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/fracdiving/maxlpiterquot = c 0.075
10.08/10.18	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/fracdiving/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/feaspump/maxlpiterofs = c 2000
10.08/10.18	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 20]
10.08/10.18	c heuristics/feaspump/freq = c -1
10.08/10.18	c # minimum percentage of integer variables that have to be fixed 
10.08/10.18	c # [type: real, range: [0,1], default: 0.666]
10.08/10.18	c heuristics/crossover/minfixingrate = c 0.5
10.08/10.18	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
10.08/10.18	c # [type: real, range: [0,1], default: 0.1]
10.08/10.18	c heuristics/crossover/nodesquot = c 0.15
10.08/10.18	c # number of nodes without incumbent change that heuristic should wait
10.08/10.18	c # [type: longint, range: [0,9223372036854775807], default: 200]
10.08/10.18	c heuristics/crossover/nwaitingnodes = c 100
10.08/10.18	c # number of nodes added to the contingent of the total nodes
10.08/10.18	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.08/10.18	c heuristics/crossover/nodesofs = c 750
10.08/10.18	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 30]
10.08/10.18	c heuristics/crossover/freq = c -1
10.08/10.18	c # additional number of allowed LP iterations
10.08/10.18	c # [type: int, range: [0,2147483647], default: 1000]
10.08/10.18	c heuristics/coefdiving/maxlpiterofs = c 1500
10.08/10.18	c # maximal fraction of diving LP iterations compared to node LP iterations
10.08/10.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.08/10.18	c heuristics/coefdiving/maxlpiterquot = c 0.075
10.08/10.18	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: 10]
10.08/10.18	c heuristics/coefdiving/freq = c -1
10.08/10.18	c # priority of node selection rule <dfs> in standard mode
10.08/10.18	c # [type: int, range: [-536870912,536870911], default: 0]
10.08/10.18	c nodeselection/dfs/stdpriority = c 1000000
10.08/10.18	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
10.08/10.18	c # [type: int, range: [-1,2147483647], default: -1]
10.08/10.18	c presolving/probing/maxrounds = c 0
10.08/10.18	c # should presolving try to simplify knapsacks
10.08/10.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.08/10.18	c constraints/knapsack/simplifyinequalities = c TRUE
10.08/10.18	c # should disaggregation of knapsack constraints be allowed in preprocessing?
10.08/10.18	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
10.08/10.18	c constraints/knapsack/disaggregation = c FALSE
10.08/10.18	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: -1]
10.19/10.21	c constraints/knapsack/maxnumcardlift = c 0
10.19/10.21	c # should presolving try to simplify inequalities
10.19/10.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.21	c constraints/linear/simplifyinequalities = c TRUE
10.19/10.21	c # maximal number of separation rounds in the root node (-1: unlimited)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: -1]
10.19/10.21	c separating/maxroundsroot = c 5
10.19/10.21	c # maximal number of separation rounds per node (-1: unlimited)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: 5]
10.19/10.21	c separating/maxrounds = c 1
10.19/10.21	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)
10.19/10.21	c # [type: char, range: {lafpsqd}, default: l]
10.19/10.21	c lp/pricing = c a
10.19/10.21	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: 1]
10.19/10.21	c lp/solvefreq = c 0
10.19/10.21	c # solving stops, if the given number of solutions were found (-1: no limit)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: -1]
10.19/10.21	c limits/solutions = c 1
10.19/10.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.19/10.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.19/10.21	c limits/memory = c 1620
10.19/10.21	c # maximal time in seconds to run
10.19/10.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.19/10.21	c limits/time = c 1791
10.19/10.21	c # frequency for displaying node information lines
10.19/10.21	c # [type: int, range: [-1,2147483647], default: 100]
10.19/10.21	c display/freq = c 10000
10.19/10.21	c # should enforcement of pseudo solution be disabled?
10.19/10.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.21	c constraints/disableenfops = c TRUE
10.19/10.21	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: 0]
10.19/10.21	c constraints/agelimit = c 1
10.19/10.21	c # should binary conflicts be preferred?
10.19/10.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.21	c conflict/preferbinary = c TRUE
10.19/10.21	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
10.19/10.21	c # [type: int, range: [-1,2147483647], default: -1]
10.19/10.21	c conflict/interconss = c 0
10.19/10.21	c -----------------------------------------------------------------------------------------------
10.19/10.21	c start solving problem
10.19/10.21	c 
12.28/12.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.28/12.36	c   6.0s|     1 |     0 |   182 | 411M|   0 | 182 |8190 | 368k| 368k|8190 | 368k|   0 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
27.58/27.68	c  20.8s|     1 |     0 |  1181 | 411M|   0 | 172 |8190 | 368k| 368k|8190 | 368k|   3 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
56.77/56.87	c  49.8s|     1 |     0 |  3731 | 412M|   0 | 136 |8190 | 368k| 368k|8190 | 368k|  18 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
94.96/95.06	c  87.9s|     1 |     0 |  6724 | 413M|   0 | 143 |8190 | 368k| 368k|8190 | 368k|  32 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
161.44/161.52	c   154s|     1 |     0 | 11634 | 413M|   0 | 123 |8190 | 368k| 368k|8190 | 368k|  48 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
220.81/220.92	c   214s|     1 |     0 | 15423 | 414M|   0 | 125 |8190 | 368k| 368k|8190 | 368k|  56 |   0 |   0 | 9.100000e+01 |      --      |    Inf 
335.39/335.55	c   327s|     1 |     2 | 15423 | 414M|   0 | 125 |8190 | 368k| 368k|8190 | 368k|  56 |   0 |  33 | 9.100000e+01 |      --      |    Inf 
438.25/438.41	c   430s| 10000 |  5348 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |2979 |  33 | 9.100000e+01 |      --      |    Inf 
614.78/615.08	c   606s| 20000 |  5342 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |9282 |  33 | 9.100000e+01 |      --      |    Inf 
796.03/796.38	c   787s| 30000 |  5346 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |  15k|  33 | 9.100000e+01 |      --      |    Inf 
980.57/980.96	c   971s| 40000 |  5341 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |  22k|  33 | 9.100000e+01 |      --      |    Inf 
1166.30/1166.80	c  1156s| 50000 |  5344 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |  28k|  33 | 9.100000e+01 |      --      |    Inf 
1340.74/1341.29	c  1330s| 60000 |  5343 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |  35k|  33 | 9.100000e+01 |      --      |    Inf 
1515.78/1516.35	c  1505s| 70000 |  5344 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |  42k|  33 | 9.100000e+01 |      --      |    Inf 
1695.72/1696.38	c  1684s| 80000 |  5343 | 15423 | 421M|5377 |   - |8190 | 368k| 345k|   0 |   0 |  56 |  48k|  33 | 9.100000e+01 |      --      |    Inf 
1800.09/1800.71	c 
1800.09/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.71	c Solving Time (sec) : 1788.20
1800.09/1800.71	c Solving Nodes      : 85838
1800.09/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.09/1800.71	c Dual Bound         : +9.10000000000002e+01
1800.09/1800.71	c Gap                : infinite
1800.09/1800.71	c NODE         85838
1800.09/1800.71	c DUAL BOUND   91
1800.09/1800.71	c PRIMAL BOUND 1e+20
1800.09/1800.71	c GAP          1e+20
1800.09/1800.71	s UNKNOWN
1800.09/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.09/1800.71	c Solving Time       :    1788.20
1800.09/1800.71	c Original Problem   :
1800.09/1800.71	c   Problem name     : HOME/instance-1883893-1245237164.opb
1800.09/1800.71	c   Variables        : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71	c   Constraints      : 368641 initial, 368641 maximal
1800.09/1800.71	c Presolved Problem  :
1800.09/1800.71	c   Problem name     : t_HOME/instance-1883893-1245237164.opb
1800.09/1800.71	c   Variables        : 8190 (8190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71	c   Constraints      : 368641 initial, 368715 maximal
1800.09/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.09/1800.71	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.09/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.09/1800.71	c   logicor          :       0.90          0          0          0          0          0          0          0          0
1800.09/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.09/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.09/1800.71	c   logicor          :     368641+         5     602914          0          0      51000    1883955          0          0          0
1800.09/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.09/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.09/1800.71	c   integral         :     113.48       0.00       0.00     113.48       0.00
1800.09/1800.71	c   logicor          :     566.08       0.20     565.88       0.00       0.00
1800.09/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.09/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.09/1800.71	c   rootredcost      :       0.51          0          0          0
1800.09/1800.71	c   pseudoobj        :     810.72     677290          0          0
1800.09/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.09/1800.71	c   propagation      :     491.95      51000      51000      51000     1426.9       1951      670.4          -
1800.09/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.09/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.09/1800.71	c   applied globally :          -          -          -       6650      371.7          -          -          -
1800.09/1800.71	c   applied locally  :          -          -          -      45731     1546.0          -          -          -
1800.09/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.09/1800.71	c   cut pool         :       0.00          4          -          -          2          -    (maximal pool size: 200)
1800.09/1800.71	c   redcost          :       0.03          5          0          0          0          0
1800.09/1800.71	c   impliedbounds    :       0.00          5          0          0          0          0
1800.09/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.09/1800.71	c   gomory           :      25.05          5          0          0       2182          0
1800.09/1800.71	c   strongcg         :      21.58          5          0          0       2182          0
1800.09/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.09/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.09/1800.71	c   clique           :       1.62          5          0          0         19          0
1800.09/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.09/1800.71	c   mcf              :       2.35          1          0          0          0          0
1800.09/1800.71	c Pricers            :       Time      Calls       Vars
1800.09/1800.71	c   problem variables:       0.00          0          0
1800.09/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.09/1800.71	c   relpscost        :     113.48          1          0          0          0          0          2
1800.09/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   inference        :      11.44      59880          0          0          0          0     119760
1800.09/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.09/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.09/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.09/1800.71	c   LP solutions     :       0.00          -          0
1800.09/1800.71	c   pseudo solutions :       0.00          -          0
1800.09/1800.71	c   simplerounding   :       0.00          0          0
1800.09/1800.71	c   rounding         :       0.00          0          0
1800.09/1800.71	c   shifting         :       0.00          0          0
1800.09/1800.71	c   intshifting      :       0.00          0          0
1800.09/1800.71	c   oneopt           :       0.00          0          0
1800.09/1800.71	c   fixandinfer      :       0.00          0          0
1800.09/1800.71	c   feaspump         :       0.00          0          0
1800.09/1800.71	c   coefdiving       :       0.00          0          0
1800.09/1800.71	c   pscostdiving     :       0.00          0          0
1800.09/1800.71	c   fracdiving       :       0.00          0          0
1800.09/1800.71	c   veclendiving     :       0.00          0          0
1800.09/1800.71	c   intdiving        :       0.00          0          0
1800.09/1800.71	c   actconsdiving    :       0.00          0          0
1800.09/1800.71	c   objpscostdiving  :       0.00          0          0
1800.09/1800.71	c   rootsoldiving    :       0.00          0          0
1800.09/1800.71	c   linesearchdiving :       0.00          0          0
1800.09/1800.71	c   guideddiving     :       0.00          0          0
1800.09/1800.71	c   octane           :       0.00          0          0
1800.09/1800.71	c   rens             :       0.00          0          0
1800.09/1800.71	c   rins             :       0.00          0          0
1800.09/1800.71	c   localbranching   :       0.00          0          0
1800.09/1800.71	c   mutation         :       0.00          0          0
1800.09/1800.71	c   crossover        :       0.00          0          0
1800.09/1800.71	c   dins             :       0.00          0          0
1800.09/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.09/1800.71	c   primal LP        :       0.54          0          0       0.00       0.00
1800.09/1800.71	c   dual LP          :     156.79          6      15423    2570.50      98.37
1800.09/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.09/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.09/1800.71	c   strong branching :     113.48         33       8707     263.85      76.73
1800.09/1800.71	c     (at root node) :          -         33       8707     263.85          -
1800.09/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.09/1800.71	c B&B Tree           :
1800.09/1800.71	c   number of runs   :          1
1800.09/1800.71	c   nodes            :      85838
1800.09/1800.71	c   nodes (total)    :      85838
1800.09/1800.71	c   nodes left       :       5353
1800.09/1800.71	c   max depth        :       5377
1800.09/1800.71	c   max depth (total):       5377
1800.09/1800.71	c   backtracks       :      26487 (30.9%)
1800.09/1800.71	c   delayed cutoffs  :      28572
1800.09/1800.71	c   repropagations   :      72478 (959253 domain reductions, 25043 cutoffs)
1800.09/1800.71	c   avg switch length:       2.50
1800.09/1800.71	c   switching time   :      34.14
1800.09/1800.71	c Solution           :
1800.09/1800.71	c   Solutions found  :          0 (0 improvements)
1800.09/1800.71	c   Primal Bound     :          -
1800.09/1800.71	c   Dual Bound       : +9.10000000000002e+01
1800.09/1800.71	c   Gap              :   infinite
1800.09/1800.71	c   Root Dual Bound  : +9.10000000000000e+01
1801.49/1802.10	c Time complete: 1801.49.

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-1883893-1245237164/watcher-1883893-1245237164 -o /tmp/evaluation-result-1883893-1245237164/solver-1883893-1245237164 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883893-1245237164.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.99 0.92 0.57 3/64 10115
/proc/meminfo: memFree=1846768/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=5812 CPUtime=0
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 191315776 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 1453 502 332 1256 0 192 0

[startup+0.084509 s]
/proc/loadavg: 0.99 0.92 0.57 3/64 10115
/proc/meminfo: memFree=1846768/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=18680 CPUtime=0.07
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 3635 0 0 0 7 0 0 0 18 0 1 0 191315776 19128320 3619 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 4670 3619 376 1256 0 3409 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18680

[startup+0.10151 s]
/proc/loadavg: 0.99 0.92 0.57 3/64 10115
/proc/meminfo: memFree=1846768/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=19284 CPUtime=0.09
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 3786 0 0 0 9 0 0 0 18 0 1 0 191315776 19746816 3770 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 4821 3770 376 1256 0 3560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19284

[startup+0.301541 s]
/proc/loadavg: 0.99 0.92 0.57 3/64 10115
/proc/meminfo: memFree=1846768/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=24568 CPUtime=0.29
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 5122 0 0 0 28 1 0 0 19 0 1 0 191315776 25157632 5106 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 6142 5106 376 1256 0 4881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24568

[startup+0.7016 s]
/proc/loadavg: 0.99 0.92 0.57 3/64 10115
/proc/meminfo: memFree=1846768/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=35608 CPUtime=0.69
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 7758 0 0 0 67 2 0 0 23 0 1 0 191315776 36462592 7742 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 8902 7749 376 1256 0 7641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35608

[startup+1.50172 s]
/proc/loadavg: 0.99 0.92 0.57 2/65 10116
/proc/meminfo: memFree=1809896/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=55488 CPUtime=1.49
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 12861 0 0 0 145 4 0 0 25 0 1 0 191315776 56819712 12845 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 13872 12845 376 1256 0 12611 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55488

[startup+3.10197 s]
/proc/loadavg: 0.99 0.92 0.57 2/65 10116
/proc/meminfo: memFree=1781864/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=96584 CPUtime=3.09
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 23100 0 0 0 299 10 0 0 25 0 1 0 191315776 98902016 23084 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 24146 23084 376 1256 0 22885 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96584

[startup+6.30145 s]
/proc/loadavg: 0.99 0.92 0.57 2/65 10116
/proc/meminfo: memFree=1574064/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=341440 CPUtime=6.29
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 83958 0 0 0 580 49 0 0 25 0 1 0 191315776 349634560 83588 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 85360 83588 459 1256 0 84099 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 341440

[startup+12.7014 s]
/proc/loadavg: 0.99 0.93 0.57 2/65 10116
/proc/meminfo: memFree=1212912/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=780460 CPUtime=12.68
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 205675 0 0 0 1110 158 0 0 25 0 1 0 191315776 799191040 165787 1992294400 4194304 9342243 548682068736 18446744073709551615 5990660 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 195115 165787 615 1256 0 193854 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 780460

[startup+25.5014 s]
/proc/loadavg: 0.99 0.93 0.58 2/65 10116
/proc/meminfo: memFree=1154352/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=801128 CPUtime=25.48
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 215677 0 0 0 2339 209 0 0 25 0 1 0 191315776 820355072 173547 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 200282 173547 629 1256 0 199021 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 801128

[startup+51.1013 s]
/proc/loadavg: 0.99 0.93 0.58 2/65 10116
/proc/meminfo: memFree=1117424/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=823292 CPUtime=51.07
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 245176 0 0 0 4884 223 0 0 25 0 1 0 191315776 843051008 182690 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 205823 182690 633 1256 0 204562 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 823292

[startup+102.305 s]
/proc/loadavg: 0.99 0.94 0.61 2/65 10116
/proc/meminfo: memFree=1075056/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=829016 CPUtime=102.26
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 263293 0 0 0 9991 235 0 0 25 0 1 0 191315776 848912384 193209 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 207254 193209 633 1256 0 205993 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 829016

[startup+162.301 s]
/proc/loadavg: 1.03 0.96 0.63 2/65 10116
/proc/meminfo: memFree=1054448/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=840676 CPUtime=162.23
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 268436 0 0 0 15982 241 0 0 25 0 1 0 191315776 860852224 198346 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 210169 198346 633 1256 0 208908 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 840676

[startup+222.301 s]
/proc/loadavg: 1.01 0.97 0.65 2/65 10116
/proc/meminfo: memFree=1022960/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=801376 CPUtime=222.21
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 279955 0 0 0 21973 248 0 0 25 0 1 0 191315776 820609024 196976 1992294400 4194304 9342243 548682068736 18446744073709551615 6059579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 200344 196976 638 1256 0 199083 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 801376

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.67 2/65 10116
/proc/meminfo: memFree=1028720/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=988612 CPUtime=282.2
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 404419 0 0 0 27919 301 0 0 25 0 1 0 191315776 1012338688 204739 1992294400 4194304 9342243 548682068736 18446744073709551615 6960734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 247153 204739 638 1256 0 245892 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 988612

[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.69 2/65 10116
/proc/meminfo: memFree=1043824/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=342.17
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 532729 0 0 0 33860 357 0 0 25 0 1 0 191315776 874426368 200942 1992294400 4194304 9342243 548682068736 18446744073709551615 4538331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 200942 654 1256 0 212222 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 853932

[startup+402.302 s]
/proc/loadavg: 1.00 0.97 0.70 2/65 10116
/proc/meminfo: memFree=1043376/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=402.15
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 532851 0 0 0 39842 373 0 0 25 0 1 0 191315776 874426368 201064 1992294400 4194304 9342243 548682068736 18446744073709551615 5751988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 201064 660 1256 0 212222 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 853932

[startup+462.302 s]
/proc/loadavg: 1.00 0.97 0.72 2/65 10116
/proc/meminfo: memFree=1037040/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=462.13
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 534434 0 0 0 45825 388 0 0 25 0 1 0 191315776 874426368 202647 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 202647 660 1256 0 212222 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 853932

[startup+522.302 s]
/proc/loadavg: 1.00 0.97 0.74 2/65 10116
/proc/meminfo: memFree=1032496/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=522.12
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 535586 0 0 0 51808 404 0 0 25 0 1 0 191315776 874426368 203799 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 203799 660 1256 0 212222 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 853932

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.75 2/65 10116
/proc/meminfo: memFree=1029424/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=582.09
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 536331 0 0 0 57789 420 0 0 25 0 1 0 191315776 874426368 204544 1992294400 4194304 9342243 548682068736 18446744073709551615 4775503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 204544 660 1256 0 212222 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 853932

[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.76 2/65 10116
/proc/meminfo: memFree=1027888/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=642.08
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 536686 0 0 0 63772 436 0 0 25 0 1 0 191315776 874426368 204899 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 204899 660 1256 0 212222 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 853932

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/65 10116
/proc/meminfo: memFree=1016624/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=1061.93
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 539441 0 0 0 105654 539 0 0 25 0 1 0 191315776 874426368 207654 1992294400 4194304 9342243 548682068736 18446744073709551615 4831908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 207654 660 1256 0 212222 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 853932

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/65 10116
/proc/meminfo: memFree=1015792/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=1121.91
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 539640 0 0 0 111638 553 0 0 25 0 1 0 191315776 874426368 207853 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 207853 660 1256 0 212222 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 853932

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/65 10116
/proc/meminfo: memFree=1015344/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=853932 CPUtime=1181.89
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 539735 0 0 0 117620 569 0 0 25 0 1 0 191315776 874426368 207948 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213483 207948 660 1256 0 212222 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 853932

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/65 10116
/proc/meminfo: memFree=1014704/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=854652 CPUtime=1241.88
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 539891 0 0 0 123602 586 0 0 25 0 1 0 191315776 875163648 208104 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 213663 208104 660 1256 0 212402 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 854652

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/65 10116
/proc/meminfo: memFree=1013104/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=856440 CPUtime=1301.86
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 540275 0 0 0 129586 600 0 0 25 0 1 0 191315776 876994560 208488 1992294400 4194304 9342243 548682068736 18446744073709551615 5432969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 214110 208488 660 1256 0 212849 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 856440

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/65 10116
/proc/meminfo: memFree=1012080/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=857672 CPUtime=1361.84
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 540536 0 0 0 135571 613 0 0 25 0 1 0 191315776 878256128 208749 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 214418 208749 660 1256 0 213157 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 857672

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.87 2/65 10116
/proc/meminfo: memFree=1011120/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=858656 CPUtime=1421.82
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 540757 0 0 0 141557 625 0 0 25 0 1 0 191315776 879263744 208970 1992294400 4194304 9342243 548682068736 18446744073709551615 5759995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 214664 208970 660 1256 0 213403 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 858656

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/65 10116
/proc/meminfo: memFree=1009328/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=860696 CPUtime=1481.8
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 541191 0 0 0 147540 640 0 0 25 0 1 0 191315776 881352704 209404 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 215174 209404 660 1256 0 213913 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 860696

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.88 2/65 10116
/proc/meminfo: memFree=1008368/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=861916 CPUtime=1541.77
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 541429 0 0 0 153522 655 0 0 25 0 1 0 191315776 882601984 209642 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 215479 209642 660 1256 0 214218 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 861916

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.88 2/65 10116
/proc/meminfo: memFree=1007664/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=862792 CPUtime=1601.76
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 541607 0 0 0 159508 668 0 0 25 0 1 0 191315776 883499008 209820 1992294400 4194304 9342243 548682068736 18446744073709551615 5752003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 215698 209820 660 1256 0 214437 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 862792

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/65 10116
/proc/meminfo: memFree=1007024/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=863792 CPUtime=1661.74
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 541762 0 0 0 165491 683 0 0 25 0 1 0 191315776 884523008 209975 1992294400 4194304 9342243 548682068736 18446744073709551615 5100864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 215948 209975 660 1256 0 214687 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 863792

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.89 2/65 10116
/proc/meminfo: memFree=1006192/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=864636 CPUtime=1721.71
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 541954 0 0 0 171475 696 0 0 25 0 1 0 191315776 885387264 210167 1992294400 4194304 9342243 548682068736 18446744073709551615 5432881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 216159 210167 660 1256 0 214898 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 864636

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.90 2/65 10116
/proc/meminfo: memFree=1005616/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=865212 CPUtime=1781.7
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 542081 0 0 0 177460 710 0 0 25 0 1 0 191315776 885977088 210294 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 216303 210294 660 1256 0 215042 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 865212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.97 0.90 2/65 10116
/proc/meminfo: memFree=1005616/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=865212 CPUtime=1800.09
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 542084 0 0 0 179295 714 0 0 25 0 1 0 191315776 885977088 210297 1992294400 4194304 9342243 548682068736 18446744073709551615 5765763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10115/statm: 216303 210297 660 1256 0 215042 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 865212

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 0.97 0.90 2/65 10116
/proc/meminfo: memFree=1005616/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=865500 CPUtime=1800.79
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 542157 0 0 0 179365 714 0 0 25 0 1 0 191315776 886272000 210370 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 216375 210370 665 1256 0 215114 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 865500

[startup+1801.81 s]
/proc/loadavg: 1.00 0.97 0.90 2/66 10117
/proc/meminfo: memFree=1005288/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=821392 CPUtime=1801.2
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 542159 0 0 0 179404 716 0 0 25 0 1 0 191315776 841105408 201526 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 205348 201526 11592 1256 0 204087 0
Current children cumulated CPU time (s) 1801.2
Current children cumulated vsize (KiB) 821392

[startup+1802 s]
/proc/loadavg: 1.00 0.97 0.90 2/66 10117
/proc/meminfo: memFree=1005288/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=561520 CPUtime=1801.39
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 542159 0 0 0 179420 719 0 0 25 0 1 0 191315776 574996480 137669 1992294400 4194304 9342243 548682068736 18446744073709551615 5021670 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 140380 137669 667 1256 0 139119 0
Current children cumulated CPU time (s) 1801.39
Current children cumulated vsize (KiB) 561520

[startup+1802.1 s]
/proc/loadavg: 1.00 0.97 0.90 2/66 10117
/proc/meminfo: memFree=1005288/2055920 swapFree=4181956/4192956
[pid=10115] ppid=10113 vsize=61824 CPUtime=1801.49
/proc/10115/stat : 10115 (pbscip.linux.x8) R 10113 10115 10035 0 -1 4194304 542159 0 0 0 179421 728 0 0 25 0 1 0 191315776 63307776 14848 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/10115/statm: 15456 14848 11799 1256 0 14195 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 61824

Child status: 0
Real time (s): 1802.11
CPU time (s): 1801.5
CPU user time (s): 1794.22
CPU system time (s): 7.28489
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 995836

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

runsolver used 1.40479 second user time and 3.79742 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-17 13:12:45
IDJOB=1883893
IDBENCH=2576
IDSOLVER=684
FILE ID=node34/1883893-1245237164
PBS_JOBID= 9372304
Free space on /tmp= 66244 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-91-90.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-1883893-1245237164/watcher-1883893-1245237164 -o /tmp/evaluation-result-1883893-1245237164/solver-1883893-1245237164 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883893-1245237164.opb

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

MD5SUM BENCH= db1439cbd478b31566aabb43ac29c55c
RANDOM SEED=1050038668

node34.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.263
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.263
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:       1848016 kB
Buffers:         21808 kB
Cached:         104484 kB
SwapCached:       5016 kB
Active:          41120 kB
Inactive:        93180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848016 kB
SwapTotal:     4192956 kB
SwapFree:      4181956 kB
Dirty:           21064 kB
Writeback:           0 kB
Mapped:          14324 kB
Slab:            59724 kB
Committed_AS:   193100 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66232 MiB
End job on node34 at 2009-06-17 13:42:48