Trace number 1883847

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
MD5SUM171440d91f1be063c3511a9802d43f3d
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 variables10500
Total number of constraints546105
Number of constraints which are clauses546105
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 constraint100
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 101
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 

6.79/6.86	c SCIP version 1.1.0.7
6.79/6.86	c LP-Solver SoPlex 1.4.1
6.79/6.86	c user parameter file <scip.set> not found - using default parameters
6.79/6.86	c read problem <HOME/instance-1883847-1245236327.opb>
6.79/6.86	c original problem has 10500 variables (10500 bin, 0 int, 0 impl, 0 cont) and 546105 constraints
7.79/7.89	c No objective function, only one solution is needed.
7.79/7.89	c start presolving problem
7.79/7.89	c presolving:
13.19/13.25	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 546105 upgd conss, 1092000 impls, 0 clqs
13.98/14.00	c presolving (2 rounds):
13.98/14.00	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.98/14.00	c  1092000 implications, 0 cliques
13.98/14.00	c presolved problem has 10500 variables (10500 bin, 0 int, 0 impl, 0 cont) and 546105 constraints
13.98/14.00	c  546105 constraints of type <logicor>
13.98/14.00	c transformed objective value is always integral (scale: 1)
13.98/14.00	c Presolving Time: 4.91
13.98/14.00	c PURESAT
13.98/14.00	c -----------------------------------------------------------------------------------------------
13.98/14.00	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.00	c separating/flowcover/freq = c -1
13.98/14.00	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.00	c separating/cmir/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/veclendiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/veclendiving/maxlpiterquot = c 0.075
13.98/14.00	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/veclendiving/freq = c -1
13.98/14.00	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.00	c heuristics/simplerounding/freq = c -1
13.98/14.00	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/shifting/freq = c -1
13.98/14.00	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.00	c heuristics/rounding/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/rootsoldiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.98/14.00	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
13.98/14.00	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 20]
13.98/14.00	c heuristics/rootsoldiving/freq = c -1
13.98/14.00	c # number of nodes added to the contingent of the total nodes
13.98/14.00	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.98/14.00	c heuristics/rens/nodesofs = c 2000
13.98/14.00	c # minimum percentage of integer variables that have to be fixable 
13.98/14.00	c # [type: real, range: [0,1], default: 0.5]
13.98/14.00	c heuristics/rens/minfixingrate = c 0.3
13.98/14.00	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.00	c heuristics/rens/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/pscostdiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/pscostdiving/maxlpiterquot = c 0.075
13.98/14.00	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/pscostdiving/freq = c -1
13.98/14.00	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.00	c heuristics/oneopt/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/objpscostdiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to total iteration number
13.98/14.00	c # [type: real, range: [0,1], default: 0.01]
13.98/14.00	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
13.98/14.00	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 20]
13.98/14.00	c heuristics/objpscostdiving/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/linesearchdiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
13.98/14.00	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/linesearchdiving/freq = c -1
13.98/14.00	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/intshifting/freq = c -1
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/intdiving/maxlpiterquot = c 0.075
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/guideddiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/guideddiving/maxlpiterquot = c 0.075
13.98/14.00	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/guideddiving/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/fracdiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/fracdiving/maxlpiterquot = c 0.075
13.98/14.00	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/fracdiving/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/feaspump/maxlpiterofs = c 2000
13.98/14.00	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 20]
13.98/14.00	c heuristics/feaspump/freq = c -1
13.98/14.00	c # minimum percentage of integer variables that have to be fixed 
13.98/14.00	c # [type: real, range: [0,1], default: 0.666]
13.98/14.00	c heuristics/crossover/minfixingrate = c 0.5
13.98/14.00	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.98/14.00	c # [type: real, range: [0,1], default: 0.1]
13.98/14.00	c heuristics/crossover/nodesquot = c 0.15
13.98/14.00	c # number of nodes without incumbent change that heuristic should wait
13.98/14.00	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.98/14.00	c heuristics/crossover/nwaitingnodes = c 100
13.98/14.00	c # number of nodes added to the contingent of the total nodes
13.98/14.00	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.98/14.00	c heuristics/crossover/nodesofs = c 750
13.98/14.00	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 30]
13.98/14.00	c heuristics/crossover/freq = c -1
13.98/14.00	c # additional number of allowed LP iterations
13.98/14.00	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.00	c heuristics/coefdiving/maxlpiterofs = c 1500
13.98/14.00	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.00	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.00	c heuristics/coefdiving/maxlpiterquot = c 0.075
13.98/14.00	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.00	c heuristics/coefdiving/freq = c -1
13.98/14.00	c # priority of node selection rule <dfs> in standard mode
13.98/14.00	c # [type: int, range: [-536870912,536870911], default: 0]
13.98/14.00	c nodeselection/dfs/stdpriority = c 1000000
13.98/14.00	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.98/14.00	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.00	c presolving/probing/maxrounds = c 0
13.98/14.00	c # should presolving try to simplify knapsacks
13.98/14.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.98/14.00	c constraints/knapsack/simplifyinequalities = c TRUE
13.98/14.00	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.98/14.00	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.98/14.00	c constraints/knapsack/disaggregation = c FALSE
13.98/14.00	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.04	c constraints/knapsack/maxnumcardlift = c 0
13.98/14.04	c # should presolving try to simplify inequalities
13.98/14.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.98/14.04	c constraints/linear/simplifyinequalities = c TRUE
13.98/14.04	c # maximal number of separation rounds in the root node (-1: unlimited)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.04	c separating/maxroundsroot = c 5
13.98/14.04	c # maximal number of separation rounds per node (-1: unlimited)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: 5]
13.98/14.04	c separating/maxrounds = c 1
13.98/14.04	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)
13.98/14.04	c # [type: char, range: {lafpsqd}, default: l]
13.98/14.04	c lp/pricing = c a
13.98/14.04	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.04	c lp/solvefreq = c 0
13.98/14.04	c # solving stops, if the given number of solutions were found (-1: no limit)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.04	c limits/solutions = c 1
13.98/14.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.98/14.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.98/14.04	c limits/memory = c 1620
13.98/14.04	c # maximal time in seconds to run
13.98/14.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.98/14.04	c limits/time = c 1791
13.98/14.04	c # frequency for displaying node information lines
13.98/14.04	c # [type: int, range: [-1,2147483647], default: 100]
13.98/14.04	c display/freq = c 10000
13.98/14.04	c # should enforcement of pseudo solution be disabled?
13.98/14.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.98/14.04	c constraints/disableenfops = c TRUE
13.98/14.04	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.04	c constraints/agelimit = c 1
13.98/14.04	c # should binary conflicts be preferred?
13.98/14.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.98/14.04	c conflict/preferbinary = c TRUE
13.98/14.04	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
13.98/14.04	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.04	c conflict/interconss = c 0
13.98/14.04	c -----------------------------------------------------------------------------------------------
13.98/14.04	c start solving problem
13.98/14.04	c 
19.98/20.05	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.98/20.05	c  11.3s|     1 |     0 |   268 | 612M|   0 | 210 |  10k| 546k| 546k|  10k| 546k|   0 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
64.76/64.90	c  55.8s|     1 |     0 |  1616 | 612M|   0 | 136 |  10k| 546k| 546k|  10k| 546k|   4 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
90.05/90.18	c  81.0s|     1 |     0 |  2128 | 612M|   0 | 114 |  10k| 546k| 546k|  10k| 546k|  15 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
114.03/114.19	c   105s|     1 |     0 |  2485 | 613M|   0 | 130 |  10k| 546k| 546k|  10k| 546k|  24 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
133.93/134.02	c   125s|     1 |     0 |  2635 | 613M|   0 |  90 |  10k| 546k| 546k|  10k| 546k|  35 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
171.91/172.03	c   163s|     1 |     0 |  2940 | 616M|   0 |  86 |  10k| 546k| 546k|  10k| 546k|  42 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
397.05/397.28	c   388s|     1 |     2 |  2940 | 616M|   0 |  86 |  10k| 546k| 546k|  10k| 546k|  42 |   0 |  33 | 1.050000e+02 |      --      |    Inf 
498.81/499.06	c   489s| 10000 |  6710 |  2940 | 625M|6754 |   - |  10k| 546k| 509k|   0 |   0 |  42 |2050 |  33 | 1.050000e+02 |      --      |    Inf 
728.35/728.70	c   718s| 20000 |  6703 |  2940 | 625M|6754 |   - |  10k| 546k| 507k|   0 |   0 |  42 |8306 |  33 | 1.050000e+02 |      --      |    Inf 
955.79/956.11	c   945s| 30000 |  6689 |  2940 | 625M|6754 |   - |  10k| 546k| 506k|   0 |   0 |  42 |  14k|  33 | 1.050000e+02 |      --      |    Inf 
1178.62/1179.08	c  1168s| 40000 |  6696 |  2940 | 625M|6754 |   - |  10k| 546k| 506k|   0 |   0 |  42 |  20k|  33 | 1.050000e+02 |      --      |    Inf 
1406.46/1406.98	c  1395s| 50000 |  6691 |  2940 | 625M|6754 |   - |  10k| 546k| 506k|   0 |   0 |  42 |  26k|  33 | 1.050000e+02 |      --      |    Inf 
1627.09/1627.69	c  1616s| 60000 |  6681 |  2940 | 625M|6754 |   - |  10k| 546k| 506k|   0 |   0 |  42 |  32k|  33 | 1.050000e+02 |      --      |    Inf 
1800.06/1800.61	c 
1800.06/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.61	c Solving Time (sec) : 1788.11
1800.06/1800.61	c Solving Nodes      : 68174
1800.06/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61	c Dual Bound         : +1.05000000000000e+02
1800.06/1800.61	c Gap                : infinite
1800.06/1800.61	c NODE         68174
1800.06/1800.61	c DUAL BOUND   105
1800.06/1800.61	c PRIMAL BOUND 1e+20
1800.06/1800.61	c GAP          1e+20
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.61	c Solving Time       :    1788.11
1800.06/1800.61	c Original Problem   :
1800.06/1800.61	c   Problem name     : HOME/instance-1883847-1245236327.opb
1800.06/1800.61	c   Variables        : 10500 (10500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61	c   Constraints      : 546105 initial, 546105 maximal
1800.06/1800.61	c Presolved Problem  :
1800.06/1800.61	c   Problem name     : t_HOME/instance-1883847-1245236327.opb
1800.06/1800.61	c   Variables        : 10500 (10500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61	c   Constraints      : 546105 initial, 546129 maximal
1800.06/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.06/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.06/1800.61	c   logicor          :       1.32          0          0          0          0          0          0          0          0
1800.06/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.06/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.61	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.06/1800.61	c   logicor          :     546105+         5     395572          0          0      36826    2488357          0          0          0
1800.06/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.06/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.06/1800.61	c   integral         :     225.07       0.00       0.00     225.07       0.00
1800.06/1800.61	c   logicor          :     453.30       0.31     452.99       0.00       0.00
1800.06/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.06/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.06/1800.61	c   rootredcost      :       0.40          0          0          0
1800.06/1800.61	c   pseudoobj        :     825.36     444194          0          0
1800.06/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.61	c   propagation      :     346.54      36826      36826      36826     1340.1       1605      975.2          -
1800.06/1800.61	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.61	c   applied globally :          -          -          -      11317      703.1          -          -          -
1800.06/1800.61	c   applied locally  :          -          -          -      26292     1585.7          -          -          -
1800.06/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.61	c   cut pool         :       0.00          4          -          -          2          -    (maximal pool size: 167)
1800.06/1800.61	c   redcost          :       0.00          5          0          0          0          0
1800.06/1800.61	c   impliedbounds    :       0.00          5          0          0          0          0
1800.06/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.61	c   gomory           :      49.56          5          0          0       2500          0
1800.06/1800.61	c   strongcg         :      36.85          5          0          0       2500          0
1800.06/1800.61	c   cmir             :       0.00          0          0          0          0          0
1800.06/1800.61	c   flowcover        :       0.00          0          0          0          0          0
1800.06/1800.61	c   clique           :       2.37          5          0          0         15          0
1800.06/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.61	c   mcf              :       3.76          1          0          0          0          0
1800.06/1800.61	c Pricers            :       Time      Calls       Vars
1800.06/1800.61	c   problem variables:       0.00          0          0
1800.06/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.61	c   relpscost        :     225.07          1          0          0          0          0          2
1800.06/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   inference        :      19.51      51138          0          0          0          0     102276
1800.06/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.61	c   LP solutions     :       0.00          -          0
1800.06/1800.61	c   pseudo solutions :       0.00          -          0
1800.06/1800.61	c   simplerounding   :       0.00          0          0
1800.06/1800.61	c   rounding         :       0.00          0          0
1800.06/1800.61	c   shifting         :       0.00          0          0
1800.06/1800.61	c   intshifting      :       0.00          0          0
1800.06/1800.61	c   oneopt           :       0.00          0          0
1800.06/1800.61	c   fixandinfer      :       0.00          0          0
1800.06/1800.61	c   feaspump         :       0.00          0          0
1800.06/1800.61	c   coefdiving       :       0.00          0          0
1800.06/1800.61	c   pscostdiving     :       0.00          0          0
1800.06/1800.61	c   fracdiving       :       0.00          0          0
1800.06/1800.61	c   veclendiving     :       0.00          0          0
1800.06/1800.61	c   intdiving        :       0.00          0          0
1800.06/1800.61	c   actconsdiving    :       0.00          0          0
1800.06/1800.61	c   objpscostdiving  :       0.00          0          0
1800.06/1800.61	c   rootsoldiving    :       0.00          0          0
1800.06/1800.61	c   linesearchdiving :       0.00          0          0
1800.06/1800.61	c   guideddiving     :       0.00          0          0
1800.06/1800.61	c   octane           :       0.00          0          0
1800.06/1800.61	c   rens             :       0.00          0          0
1800.06/1800.61	c   rins             :       0.00          0          0
1800.06/1800.61	c   localbranching   :       0.00          0          0
1800.06/1800.61	c   mutation         :       0.00          0          0
1800.06/1800.61	c   crossover        :       0.00          0          0
1800.06/1800.61	c   dins             :       0.00          0          0
1800.06/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.61	c   primal LP        :       0.29          0          0       0.00       0.00
1800.06/1800.61	c   dual LP          :      61.11          6       2940     490.00      48.11
1800.06/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.61	c   diving/probing LP:       0.00          0          0       0.00          -
1800.06/1800.61	c   strong branching :     225.06         33       5900     178.79      26.22
1800.06/1800.61	c     (at root node) :          -         33       5900     178.79          -
1800.06/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.61	c B&B Tree           :
1800.06/1800.61	c   number of runs   :          1
1800.06/1800.61	c   nodes            :      68174
1800.06/1800.61	c   nodes (total)    :      68174
1800.06/1800.61	c   nodes left       :       6691
1800.06/1800.61	c   max depth        :       6754
1800.06/1800.61	c   max depth (total):       6754
1800.06/1800.61	c   backtracks       :      21859 (32.1%)
1800.06/1800.61	c   delayed cutoffs  :      27414
1800.06/1800.61	c   repropagations   :      50488 (1321550 domain reductions, 19791 cutoffs)
1800.06/1800.61	c   avg switch length:       2.41
1800.06/1800.61	c   switching time   :      53.95
1800.06/1800.61	c Solution           :
1800.06/1800.61	c   Solutions found  :          0 (0 improvements)
1800.06/1800.61	c   Primal Bound     :          -
1800.06/1800.61	c   Dual Bound       : +1.05000000000000e+02
1800.06/1800.61	c   Gap              :   infinite
1800.06/1800.61	c   Root Dual Bound  : +1.05000000000000e+02

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-1883847-1245236327/watcher-1883847-1245236327 -o /tmp/evaluation-result-1883847-1245236327/solver-1883847-1245236327 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1883847-1245236327.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.00 0.00 0.00 3/65 2306
/proc/meminfo: memFree=1808492/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=6100 CPUtime=0
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 546 0 0 0 0 0 0 0 19 0 1 0 191231547 6246400 528 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 1525 539 325 886 0 635 0

[startup+0.0319791 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2306
/proc/meminfo: memFree=1808492/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=15568 CPUtime=0.02
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 3216 0 0 0 1 1 0 0 19 0 1 0 191231547 15941632 3198 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 3892 3198 351 886 0 3002 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15568

[startup+0.102985 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2306
/proc/meminfo: memFree=1808492/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=18856 CPUtime=0.09
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 4031 0 0 0 8 1 0 0 19 0 1 0 191231547 19308544 4013 1992294400 4194304 7823515 548682068736 18446744073709551615 6888849 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 4714 4013 351 886 0 3824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.302006 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2306
/proc/meminfo: memFree=1808492/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=24500 CPUtime=0.29
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 5433 0 0 0 27 2 0 0 21 0 1 0 191231547 25088000 5415 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 6125 5415 351 886 0 5235 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24500

[startup+0.702052 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 2306
/proc/meminfo: memFree=1808492/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=35560 CPUtime=0.69
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 8193 0 0 0 66 3 0 0 25 0 1 0 191231547 36413440 8175 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 8890 8175 351 886 0 8000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35560

[startup+1.50114 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 2307
/proc/meminfo: memFree=1768356/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=57520 CPUtime=1.49
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 13683 0 0 0 144 5 0 0 25 0 1 0 191231547 58900480 13665 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 14380 13665 351 886 0 13490 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57520

[startup+3.10132 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 2307
/proc/meminfo: memFree=1739172/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=99960 CPUtime=3.09
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 24259 0 0 0 299 10 0 0 25 0 1 0 191231547 102359040 24241 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 24990 24241 351 886 0 24100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99960

[startup+6.30167 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 2307
/proc/meminfo: memFree=1648868/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=187432 CPUtime=6.29
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 46009 0 0 0 608 21 0 0 25 0 1 0 191231547 191930368 45991 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 46858 45991 351 886 0 45968 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 187432

[startup+12.7014 s]
/proc/loadavg: 0.23 0.05 0.02 2/66 2307
/proc/meminfo: memFree=1165348/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=651128 CPUtime=12.69
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 172092 0 0 0 1119 150 0 0 25 0 1 0 191231547 666755072 160597 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 162782 160597 423 886 0 161892 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 651128

[startup+25.5018 s]
/proc/loadavg: 0.54 0.13 0.04 2/66 2307
/proc/meminfo: memFree=804900/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1077688 CPUtime=25.49
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 276227 0 0 0 2335 214 0 0 25 0 1 0 191231547 1103552512 250766 1992294400 4194304 7823515 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 269422 250766 518 886 0 268532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1077688

[startup+51.1016 s]
/proc/loadavg: 0.70 0.20 0.07 2/66 2307
/proc/meminfo: memFree=753828/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1102232 CPUtime=51.05
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 298780 0 0 0 4863 242 0 0 25 0 1 0 191231547 1128685568 263526 1992294400 4194304 7823515 548682068736 18446744073709551615 6263029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 275558 263526 532 886 0 274668 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1102232

[startup+102.305 s]
/proc/loadavg: 0.87 0.32 0.11 2/66 2307
/proc/meminfo: memFree=737316/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1117160 CPUtime=102.25
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 309082 0 0 0 9973 252 0 0 25 0 1 0 191231547 1143971840 267675 1992294400 4194304 7823515 548682068736 18446744073709551615 6912081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 279290 267675 533 886 0 278400 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1117160

[startup+162.302 s]
/proc/loadavg: 0.95 0.44 0.16 2/66 2313
/proc/meminfo: memFree=689692/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1165828 CPUtime=162.22
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 321408 0 0 0 15955 267 0 0 25 0 1 0 191231547 1193807872 279481 1992294400 4194304 7823515 548682068736 18446744073709551615 4272794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 291457 279481 533 886 0 290567 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1165828

[startup+222.302 s]
/proc/loadavg: 0.98 0.54 0.21 2/66 2313
/proc/meminfo: memFree=695004/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1161948 CPUtime=222.2
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 327846 0 0 0 21949 271 0 0 25 0 1 0 191231547 1189834752 278102 1992294400 4194304 7823515 548682068736 18446744073709551615 6109354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 290487 278102 536 886 0 289597 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1161948

[startup+282.301 s]
/proc/loadavg: 0.99 0.62 0.26 2/66 2313
/proc/meminfo: memFree=695004/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1161948 CPUtime=282.18
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 333346 0 0 0 27945 273 0 0 25 0 1 0 191231547 1189834752 278102 1992294400 4194304 7823515 548682068736 18446744073709551615 6212687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 290487 278102 536 886 0 289597 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1161948

[startup+342.302 s]
/proc/loadavg: 0.99 0.69 0.30 2/66 2313
/proc/meminfo: memFree=694940/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1161948 CPUtime=342.17
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 339376 0 0 0 33940 277 0 0 25 0 1 0 191231547 1189834752 278102 1992294400 4194304 7823515 548682068736 18446744073709551615 6237117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 290487 278102 536 886 0 289597 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1161948

[startup+402.302 s]
/proc/loadavg: 0.99 0.74 0.34 2/66 2313
/proc/meminfo: memFree=694876/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1161948 CPUtime=402.14
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 344124 0 0 0 39934 280 0 0 25 0 1 0 191231547 1189834752 278105 1992294400 4194304 7823515 548682068736 18446744073709551615 4538310 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 290487 278105 539 886 0 289597 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1161948

[startup+462.302 s]
/proc/loadavg: 0.99 0.79 0.38 2/66 2313
/proc/meminfo: memFree=694948/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1161948 CPUtime=462.13
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 344141 0 0 0 45923 290 0 0 25 0 1 0 191231547 1189834752 278122 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 290487 278122 545 886 0 289597 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1161948

[startup+522.303 s]
/proc/loadavg: 0.99 0.82 0.42 2/66 2313
/proc/meminfo: memFree=693860/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1163884 CPUtime=522.11
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 344515 0 0 0 51912 299 0 0 25 0 1 0 191231547 1191817216 278496 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 290971 278496 545 886 0 290081 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1163884

[startup+582.303 s]
/proc/loadavg: 0.99 0.85 0.45 2/66 2313
/proc/meminfo: memFree=684644/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1174884 CPUtime=582.1
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 346747 0 0 0 57898 312 0 0 25 0 1 0 191231547 1203081216 280728 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 293721 280728 545 886 0 292831 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1174884

[startup+642.302 s]
/proc/loadavg: 0.99 0.88 0.48 2/66 2313
/proc/meminfo: memFree=680676/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1179936 CPUtime=642.08
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 347720 0 0 0 63887 321 0 0 25 0 1 0 191231547 1208254464 281701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 294984 281701 545 886 0 294094 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1179936

[startup+702.303 s]

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

/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 351146 0 0 0 99813 385 0 0 25 0 1 0 191231547 1226330112 285127 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 299397 285127 545 886 0 298507 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1197588

[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.65 2/66 2313
/proc/meminfo: memFree=666020/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1198600 CPUtime=1061.96
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 351365 0 0 0 105801 395 0 0 25 0 1 0 191231547 1227366400 285346 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 299650 285346 545 886 0 298760 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1198600

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/66 2313
/proc/meminfo: memFree=664420/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1200780 CPUtime=1121.94
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 351760 0 0 0 111788 406 0 0 25 0 1 0 191231547 1229598720 285741 1992294400 4194304 7823515 548682068736 18446744073709551615 5433049 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 300195 285741 545 886 0 299305 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1200780

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.69 2/66 2313
/proc/meminfo: memFree=663460/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1202144 CPUtime=1181.92
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 352020 0 0 0 117775 417 0 0 25 0 1 0 191231547 1230995456 286001 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 300536 286001 545 886 0 299646 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1202144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.71 2/66 2313
/proc/meminfo: memFree=662628/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1203072 CPUtime=1241.9
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 352217 0 0 0 123763 427 0 0 25 0 1 0 191231547 1231945728 286198 1992294400 4194304 7823515 548682068736 18446744073709551615 5752003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 300768 286198 545 886 0 299878 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1203072

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/66 2313
/proc/meminfo: memFree=661604/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1204280 CPUtime=1301.89
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 352448 0 0 0 129751 438 0 0 25 0 1 0 191231547 1233182720 286429 1992294400 4194304 7823515 548682068736 18446744073709551615 5433119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 301070 286429 545 886 0 300180 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1204280

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/66 2313
/proc/meminfo: memFree=661028/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1205048 CPUtime=1361.87
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 352579 0 0 0 135738 449 0 0 25 0 1 0 191231547 1233969152 286560 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 301262 286560 545 886 0 300372 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1205048

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/66 2313
/proc/meminfo: memFree=660260/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1206144 CPUtime=1421.86
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 352768 0 0 0 141724 462 0 0 25 0 1 0 191231547 1235091456 286749 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 301536 286749 545 886 0 300646 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1206144

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/66 2313
/proc/meminfo: memFree=659364/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1207308 CPUtime=1481.84
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 352981 0 0 0 147712 472 0 0 25 0 1 0 191231547 1236283392 286962 1992294400 4194304 7823515 548682068736 18446744073709551615 4788726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 301827 286962 545 886 0 300937 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1207308

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 2313
/proc/meminfo: memFree=658916/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1207584 CPUtime=1541.82
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353074 0 0 0 153699 483 0 0 25 0 1 0 191231547 1236566016 287055 1992294400 4194304 7823515 548682068736 18446744073709551615 4775524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 301896 287055 545 886 0 301006 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1207584

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 2313
/proc/meminfo: memFree=658724/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1208092 CPUtime=1601.8
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353148 0 0 0 159686 494 0 0 25 0 1 0 191231547 1237086208 287129 1992294400 4194304 7823515 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 302023 287129 545 886 0 301133 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1208092

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/66 2313
/proc/meminfo: memFree=657956/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1209112 CPUtime=1661.78
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353328 0 0 0 165674 504 0 0 25 0 1 0 191231547 1238130688 287309 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 302278 287309 545 886 0 301388 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1209112

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/66 2313
/proc/meminfo: memFree=657252/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1210028 CPUtime=1721.77
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353503 0 0 0 171662 515 0 0 25 0 1 0 191231547 1239068672 287484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 302507 287484 545 886 0 301617 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1210028

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 2313
/proc/meminfo: memFree=656548/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1210904 CPUtime=1781.74
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353664 0 0 0 177646 528 0 0 25 0 1 0 191231547 1239965696 287645 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 302726 287645 545 886 0 301836 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1210904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 2313
/proc/meminfo: memFree=656292/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1211180 CPUtime=1800.06
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353740 0 0 0 179474 532 0 0 25 0 1 0 191231547 1240248320 287721 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2306/statm: 302795 287721 545 886 0 301905 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1211180

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2306

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 2313
/proc/meminfo: memFree=656292/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1211484 CPUtime=1800.85
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353834 0 0 0 179553 532 0 0 25 0 1 0 191231547 1240559616 287815 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 302871 287815 550 886 0 301981 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 1211484

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.82 2/67 2314
/proc/meminfo: memFree=655900/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=1103844 CPUtime=1801.65
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353835 0 0 0 179631 534 0 0 25 0 1 0 191231547 1130336256 269500 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 275961 269500 16520 886 0 275071 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1103844

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/67 2314
/proc/meminfo: memFree=655900/2055920 swapFree=4192952/4192956
[pid=2306] ppid=2304 vsize=112376 CPUtime=1802.04
/proc/2306/stat : 2306 (pbscip.linux.x8) R 2304 2306 2269 0 -1 4194304 353835 0 0 0 179657 547 0 0 25 0 1 0 191231547 115073024 27264 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/2306/statm: 28094 27264 1563 886 0 27204 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 112376

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.07
CPU user time (s): 1796.58
CPU system time (s): 5.48917
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 1230220

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

runsolver used 1.9517 second user time and 4.22036 second system time

The end

Launcher Data 

Begin job on node76 at 2009-06-17 12:58:48
IDJOB=1883847
IDBENCH=2568
IDSOLVER=683
FILE ID=node76/1883847-1245236327
PBS_JOBID= 9372275
Free space on /tmp= 66548 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-105-100.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1883847-1245236327/watcher-1883847-1245236327 -o /tmp/evaluation-result-1883847-1245236327/solver-1883847-1245236327 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1883847-1245236327.opb

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

MD5SUM BENCH= 171440d91f1be063c3511a9802d43f3d
RANDOM SEED=1110833347

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1808908 kB
Buffers:         28428 kB
Cached:         136060 kB
SwapCached:          4 kB
Active:          58576 kB
Inactive:       118620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808908 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:           23740 kB
Writeback:           0 kB
Mapped:          22456 kB
Slab:            55732 kB
Committed_AS:    73516 kB
PageTables:       1436 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= 66540 MiB
End job on node76 at 2009-06-17 13:28:51