Trace number 1883874

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) 1801.91 1802.66

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
MD5SUM3da8b298ee1dd31987c9c3266733383f
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 variables10100
Total number of constraints505101
Number of constraints which are clauses505101
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.29/6.37	c SCIP version 1.1.0.7
6.29/6.37	c LP-Solver SoPlex 1.4.1
6.29/6.37	c user parameter file <scip.set> not found - using default parameters
6.29/6.37	c read problem <HOME/instance-1883874-1245236329.opb>
6.29/6.37	c original problem has 10100 variables (10100 bin, 0 int, 0 impl, 0 cont) and 505101 constraints
7.29/7.34	c No objective function, only one solution is needed.
7.29/7.34	c start presolving problem
7.29/7.34	c presolving:
12.19/12.29	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 505101 upgd conss, 1010000 impls, 0 clqs
12.88/12.97	c presolving (2 rounds):
12.88/12.97	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.88/12.97	c  1010000 implications, 0 cliques
12.88/12.97	c presolved problem has 10100 variables (10100 bin, 0 int, 0 impl, 0 cont) and 505101 constraints
12.88/12.97	c  505101 constraints of type <logicor>
12.88/12.97	c transformed objective value is always integral (scale: 1)
12.88/12.97	c Presolving Time: 4.53
12.88/12.97	c PURESAT
12.88/12.97	c -----------------------------------------------------------------------------------------------
12.88/12.97	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 0]
12.88/12.97	c separating/flowcover/freq = c -1
12.88/12.97	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 0]
12.88/12.97	c separating/cmir/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/veclendiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/veclendiving/maxlpiterquot = c 0.075
12.88/12.97	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/veclendiving/freq = c -1
12.88/12.97	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 1]
12.88/12.97	c heuristics/simplerounding/freq = c -1
12.88/12.97	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/shifting/freq = c -1
12.88/12.97	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 1]
12.88/12.97	c heuristics/rounding/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/rootsoldiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
12.88/12.97	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
12.88/12.97	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 20]
12.88/12.97	c heuristics/rootsoldiving/freq = c -1
12.88/12.97	c # number of nodes added to the contingent of the total nodes
12.88/12.97	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.88/12.97	c heuristics/rens/nodesofs = c 2000
12.88/12.97	c # minimum percentage of integer variables that have to be fixable 
12.88/12.97	c # [type: real, range: [0,1], default: 0.5]
12.88/12.97	c heuristics/rens/minfixingrate = c 0.3
12.88/12.97	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 0]
12.88/12.97	c heuristics/rens/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/pscostdiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/pscostdiving/maxlpiterquot = c 0.075
12.88/12.97	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/pscostdiving/freq = c -1
12.88/12.97	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 1]
12.88/12.97	c heuristics/oneopt/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/objpscostdiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to total iteration number
12.88/12.97	c # [type: real, range: [0,1], default: 0.01]
12.88/12.97	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
12.88/12.97	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 20]
12.88/12.97	c heuristics/objpscostdiving/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/linesearchdiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
12.88/12.97	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/linesearchdiving/freq = c -1
12.88/12.97	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/intshifting/freq = c -1
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/intdiving/maxlpiterquot = c 0.075
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/guideddiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/guideddiving/maxlpiterquot = c 0.075
12.88/12.97	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/guideddiving/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/fracdiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/fracdiving/maxlpiterquot = c 0.075
12.88/12.97	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/fracdiving/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/feaspump/maxlpiterofs = c 2000
12.88/12.97	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 20]
12.88/12.97	c heuristics/feaspump/freq = c -1
12.88/12.97	c # minimum percentage of integer variables that have to be fixed 
12.88/12.97	c # [type: real, range: [0,1], default: 0.666]
12.88/12.97	c heuristics/crossover/minfixingrate = c 0.5
12.88/12.97	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
12.88/12.97	c # [type: real, range: [0,1], default: 0.1]
12.88/12.97	c heuristics/crossover/nodesquot = c 0.15
12.88/12.97	c # number of nodes without incumbent change that heuristic should wait
12.88/12.97	c # [type: longint, range: [0,9223372036854775807], default: 200]
12.88/12.97	c heuristics/crossover/nwaitingnodes = c 100
12.88/12.97	c # number of nodes added to the contingent of the total nodes
12.88/12.97	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.88/12.97	c heuristics/crossover/nodesofs = c 750
12.88/12.97	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 30]
12.88/12.97	c heuristics/crossover/freq = c -1
12.88/12.97	c # additional number of allowed LP iterations
12.88/12.97	c # [type: int, range: [0,2147483647], default: 1000]
12.88/12.97	c heuristics/coefdiving/maxlpiterofs = c 1500
12.88/12.97	c # maximal fraction of diving LP iterations compared to node LP iterations
12.88/12.97	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.88/12.97	c heuristics/coefdiving/maxlpiterquot = c 0.075
12.88/12.97	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: 10]
12.88/12.97	c heuristics/coefdiving/freq = c -1
12.88/12.97	c # priority of node selection rule <dfs> in standard mode
12.88/12.97	c # [type: int, range: [-536870912,536870911], default: 0]
12.88/12.97	c nodeselection/dfs/stdpriority = c 1000000
12.88/12.97	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
12.88/12.97	c # [type: int, range: [-1,2147483647], default: -1]
12.88/12.97	c presolving/probing/maxrounds = c 0
12.88/12.97	c # should presolving try to simplify knapsacks
12.88/12.97	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.88/12.97	c constraints/knapsack/simplifyinequalities = c TRUE
12.88/12.97	c # should disaggregation of knapsack constraints be allowed in preprocessing?
12.88/12.97	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
12.88/12.97	c constraints/knapsack/disaggregation = c FALSE
12.88/12.97	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
12.98/13.00	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.00	c constraints/knapsack/maxnumcardlift = c 0
12.98/13.00	c # should presolving try to simplify inequalities
12.98/13.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.98/13.00	c constraints/linear/simplifyinequalities = c TRUE
12.98/13.00	c # maximal number of separation rounds in the root node (-1: unlimited)
12.98/13.00	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.00	c separating/maxroundsroot = c 5
12.98/13.00	c # maximal number of separation rounds per node (-1: unlimited)
12.98/13.00	c # [type: int, range: [-1,2147483647], default: 5]
12.98/13.00	c separating/maxrounds = c 1
12.98/13.00	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)
12.98/13.00	c # [type: char, range: {lafpsqd}, default: l]
12.98/13.00	c lp/pricing = c a
12.98/13.00	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
12.98/13.00	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.00	c lp/solvefreq = c 0
12.98/13.00	c # solving stops, if the given number of solutions were found (-1: no limit)
12.98/13.00	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.01	c limits/solutions = c 1
12.98/13.01	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.98/13.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.98/13.01	c limits/memory = c 1620
12.98/13.01	c # maximal time in seconds to run
12.98/13.01	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.98/13.01	c limits/time = c 1791
12.98/13.01	c # frequency for displaying node information lines
12.98/13.01	c # [type: int, range: [-1,2147483647], default: 100]
12.98/13.01	c display/freq = c 10000
12.98/13.01	c # should enforcement of pseudo solution be disabled?
12.98/13.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.98/13.01	c constraints/disableenfops = c TRUE
12.98/13.01	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
12.98/13.01	c # [type: int, range: [-1,2147483647], default: 0]
12.98/13.01	c constraints/agelimit = c 1
12.98/13.01	c # should binary conflicts be preferred?
12.98/13.01	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.98/13.01	c conflict/preferbinary = c TRUE
12.98/13.01	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
12.98/13.01	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.01	c conflict/interconss = c 0
12.98/13.01	c -----------------------------------------------------------------------------------------------
12.98/13.01	c start solving problem
12.98/13.01	c 
17.69/17.78	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.69/17.78	c   9.7s|     1 |     0 |   202 | 571M|   0 | 202 |  10k| 505k| 505k|  10k| 505k|   0 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
40.68/40.77	c  32.0s|     1 |     0 |   821 | 571M|   0 | 124 |  10k| 505k| 505k|  10k| 505k|   3 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
60.07/60.16	c  51.3s|     1 |     0 |  1141 | 571M|   0 | 133 |  10k| 505k| 505k|  10k| 505k|  16 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
78.36/78.47	c  69.6s|     1 |     0 |  1328 | 572M|   0 |  92 |  10k| 505k| 505k|  10k| 505k|  30 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
106.36/106.44	c  97.5s|     1 |     0 |  1590 | 572M|   0 |  90 |  10k| 505k| 505k|  10k| 505k|  38 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
130.54/130.62	c   122s|     1 |     0 |  1931 | 572M|   0 |  84 |  10k| 505k| 505k|  10k| 505k|  43 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
240.48/240.62	c   231s|     1 |     2 |  1931 | 572M|   0 |  84 |  10k| 505k| 505k|  10k| 505k|  43 |   0 |  33 | 1.010000e+02 |      --      |    Inf 
347.63/347.89	c   338s| 10000 |  6672 |  1931 | 581M|6681 |   - |  10k| 505k| 483k|   0 |   0 |  43 |2158 |  33 | 1.010000e+02 |      --      |    Inf 
579.94/580.20	c   570s| 20000 |  6666 |  1931 | 581M|6682 |   - |  10k| 505k| 483k|   0 |   0 |  43 |9017 |  33 | 1.010000e+02 |      --      |    Inf 
814.94/815.31	c   805s| 30000 |  6667 |  1931 | 581M|6685 |   - |  10k| 505k| 483k|   0 |   0 |  43 |  15k|  33 | 1.010000e+02 |      --      |    Inf 
1046.16/1046.62	c  1035s| 40000 |  6665 |  1931 | 581M|6685 |   - |  10k| 505k| 482k|   0 |   0 |  43 |  22k|  33 | 1.010000e+02 |      --      |    Inf 
1285.75/1286.35	c  1275s| 50000 |  6668 |  1931 | 581M|6685 |   - |  10k| 505k| 482k|   0 |   0 |  43 |  29k|  33 | 1.010000e+02 |      --      |    Inf 
1522.37/1523.01	c  1511s| 60000 |  6665 |  1931 | 581M|6685 |   - |  10k| 505k| 482k|   0 |   0 |  43 |  35k|  33 | 1.010000e+02 |      --      |    Inf 
1758.86/1759.64	c  1747s| 70000 |  6666 |  1931 | 581M|6685 |   - |  10k| 505k| 482k|   0 |   0 |  43 |  42k|  33 | 1.010000e+02 |      --      |    Inf 
1800.05/1800.80	c 
1800.05/1800.80	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.80	c Solving Time (sec) : 1787.74
1800.05/1800.80	c Solving Nodes      : 71697
1800.05/1800.80	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.80	c Dual Bound         : +1.01000000000000e+02
1800.05/1800.80	c Gap                : infinite
1800.05/1800.80	c NODE         71697
1800.05/1800.80	c DUAL BOUND   101
1800.05/1800.80	c PRIMAL BOUND 1e+20
1800.05/1800.80	c GAP          1e+20
1800.05/1800.80	s UNKNOWN
1800.05/1800.80	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.80	c Solving Time       :    1787.74
1800.05/1800.80	c Original Problem   :
1800.05/1800.80	c   Problem name     : HOME/instance-1883874-1245236329.opb
1800.05/1800.80	c   Variables        : 10100 (10100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.80	c   Constraints      : 505101 initial, 505101 maximal
1800.05/1800.80	c Presolved Problem  :
1800.05/1800.80	c   Problem name     : t_HOME/instance-1883874-1245236329.opb
1800.05/1800.80	c   Variables        : 10100 (10100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.80	c   Constraints      : 505101 initial, 505159 maximal
1800.05/1800.80	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.80	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.80	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.80	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.80	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.80	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.80	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.80	c   logicor          :       1.20          0          0          0          0          0          0          0          0
1800.05/1800.80	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.80	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.80	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.05/1800.80	c   logicor          :     505101+         5     532961          0          0      39052    1717524          0          0          0
1800.05/1800.80	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.80	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.80	c   integral         :     109.65       0.00       0.00     109.65       0.00
1800.05/1800.80	c   logicor          :     432.20       0.27     431.93       0.00       0.00
1800.05/1800.80	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.80	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.80	c   rootredcost      :       0.58          0          0          0
1800.05/1800.80	c   pseudoobj        :    1035.11     584944          0          0
1800.05/1800.80	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.80	c   propagation      :     356.39      39052      39052      39052     1175.1       5766      551.7          -
1800.05/1800.80	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.80	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.80	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.80	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.80	c   applied globally :          -          -          -      17892      453.4          -          -          -
1800.05/1800.80	c   applied locally  :          -          -          -      25803     1519.5          -          -          -
1800.05/1800.80	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.80	c   cut pool         :       0.01          4          -          -          1          -    (maximal pool size: 133)
1800.05/1800.80	c   redcost          :       0.01          5          0          0          0          0
1800.05/1800.80	c   impliedbounds    :       0.02          5          0          0          0          0
1800.05/1800.80	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.80	c   gomory           :      35.09          5          0          0       2202          0
1800.05/1800.80	c   strongcg         :      31.91          5          0          0       2202          0
1800.05/1800.80	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.80	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.80	c   clique           :       2.18          5          0          0         11          0
1800.05/1800.80	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.80	c   mcf              :       3.34          1          0          0          0          0
1800.05/1800.80	c Pricers            :       Time      Calls       Vars
1800.05/1800.80	c   problem variables:       0.00          0          0
1800.05/1800.80	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.80	c   relpscost        :     109.65          1          0          0          0          0          2
1800.05/1800.80	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.80	c   inference        :      16.75      51736          0          0          0          0     103472
1800.05/1800.80	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.80	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.80	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.80	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.80	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.80	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.80	c   LP solutions     :       0.00          -          0
1800.05/1800.80	c   pseudo solutions :       0.00          -          0
1800.05/1800.80	c   simplerounding   :       0.00          0          0
1800.05/1800.80	c   rounding         :       0.00          0          0
1800.05/1800.80	c   shifting         :       0.00          0          0
1800.05/1800.80	c   intshifting      :       0.00          0          0
1800.05/1800.80	c   oneopt           :       0.00          0          0
1800.05/1800.80	c   fixandinfer      :       0.00          0          0
1800.05/1800.80	c   feaspump         :       0.00          0          0
1800.05/1800.80	c   coefdiving       :       0.00          0          0
1800.05/1800.80	c   pscostdiving     :       0.00          0          0
1800.05/1800.80	c   fracdiving       :       0.00          0          0
1800.05/1800.80	c   veclendiving     :       0.00          0          0
1800.05/1800.80	c   intdiving        :       0.00          0          0
1800.05/1800.80	c   actconsdiving    :       0.00          0          0
1800.05/1800.80	c   objpscostdiving  :       0.00          0          0
1800.05/1800.80	c   rootsoldiving    :       0.00          0          0
1800.05/1800.80	c   linesearchdiving :       0.00          0          0
1800.05/1800.80	c   guideddiving     :       0.00          0          0
1800.05/1800.80	c   octane           :       0.00          0          0
1800.05/1800.80	c   rens             :       0.00          0          0
1800.05/1800.80	c   rins             :       0.00          0          0
1800.05/1800.80	c   localbranching   :       0.00          0          0
1800.05/1800.80	c   mutation         :       0.00          0          0
1800.05/1800.80	c   crossover        :       0.00          0          0
1800.05/1800.80	c   dins             :       0.00          0          0
1800.05/1800.80	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.80	c   primal LP        :       0.27          0          0       0.00       0.00
1800.05/1800.80	c   dual LP          :      40.74          6       1931     321.83      47.40
1800.05/1800.80	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.80	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.80	c   strong branching :     109.65         33       2653      80.39      24.20
1800.05/1800.80	c     (at root node) :          -         33       2653      80.39          -
1800.05/1800.80	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.80	c B&B Tree           :
1800.05/1800.80	c   number of runs   :          1
1800.05/1800.80	c   nodes            :      71697
1800.05/1800.80	c   nodes (total)    :      71697
1800.05/1800.80	c   nodes left       :       6666
1800.05/1800.80	c   max depth        :       6685
1800.05/1800.80	c   max depth (total):       6685
1800.05/1800.80	c   backtracks       :      22228 (31.0%)
1800.05/1800.80	c   delayed cutoffs  :      25112
1800.05/1800.80	c   repropagations   :      52511 (844554 domain reductions, 19092 cutoffs)
1800.05/1800.80	c   avg switch length:       2.42
1800.05/1800.80	c   switching time   :      34.03
1800.05/1800.80	c Solution           :
1800.05/1800.80	c   Solutions found  :          0 (0 improvements)
1800.05/1800.80	c   Primal Bound     :          -
1800.05/1800.80	c   Dual Bound       : +1.01000000000000e+02
1800.05/1800.80	c   Gap              :   infinite
1800.05/1800.80	c   Root Dual Bound  : +1.01000000000000e+02
1801.84/1802.66	c Time complete: 1801.9.

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-1883874-1245236329/watcher-1883874-1245236329 -o /tmp/evaluation-result-1883874-1245236329/solver-1883874-1245236329 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1883874-1245236329.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 10264
/proc/meminfo: memFree=1709312/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=6100 CPUtime=0
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 626 0 0 0 0 0 0 0 18 0 1 0 191230930 6246400 608 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 1525 619 325 886 0 635 0

[startup+0.091965 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10264
/proc/meminfo: memFree=1709312/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=18384 CPUtime=0.09
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 3913 0 0 0 8 1 0 0 18 0 1 0 191230930 18825216 3895 1992294400 4194304 7823515 548682068736 18446744073709551615 4212747 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 4596 3895 351 886 0 3706 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18384

[startup+0.101965 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10264
/proc/meminfo: memFree=1709312/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=18856 CPUtime=0.09
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 4031 0 0 0 8 1 0 0 18 0 1 0 191230930 19308544 4013 1992294400 4194304 7823515 548682068736 18446744073709551615 6888849 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 4714 4013 351 886 0 3824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.301986 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10264
/proc/meminfo: memFree=1709312/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=24524 CPUtime=0.29
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 5439 0 0 0 28 1 0 0 19 0 1 0 191230930 25112576 5421 1992294400 4194304 7823515 548682068736 18446744073709551615 4403196 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 6131 5421 351 886 0 5241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24524

[startup+0.701026 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 10264
/proc/meminfo: memFree=1709312/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=35516 CPUtime=0.69
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 8183 0 0 0 66 3 0 0 23 0 1 0 191230930 36368384 8165 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 8879 8165 351 886 0 7989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35516

[startup+1.50111 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10265
/proc/meminfo: memFree=1669176/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=57604 CPUtime=1.49
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 13672 0 0 0 144 5 0 0 25 0 1 0 191230930 58986496 13654 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 14401 13654 351 886 0 13511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57604

[startup+3.10128 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 10265
/proc/meminfo: memFree=1639992/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=99920 CPUtime=3.09
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 24216 0 0 0 299 10 0 0 25 0 1 0 191230930 102318080 24198 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 24980 24198 351 886 0 24090 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99920

[startup+6.30161 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 10265
/proc/meminfo: memFree=1550648/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=186424 CPUtime=6.29
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 45785 0 0 0 609 20 0 0 25 0 1 0 191230930 190898176 45767 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 46606 45767 351 886 0 45716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 186424

[startup+12.7013 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 10265
/proc/meminfo: memFree=1110904/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=611424 CPUtime=12.68
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 161099 0 0 0 1111 157 0 0 25 0 1 0 191230930 626098176 149602 1992294400 4194304 7823515 548682068736 18446744073709551615 4394054 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 152856 149602 424 886 0 151966 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 611424

[startup+25.5016 s]
/proc/loadavg: 0.39 0.09 0.03 2/66 10265
/proc/meminfo: memFree=765240/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1015304 CPUtime=25.48
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 260332 0 0 0 2301 247 0 0 25 0 1 0 191230930 1039671296 235975 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 253826 235975 518 886 0 252936 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1015304

[startup+51.1012 s]
/proc/loadavg: 0.67 0.18 0.06 2/66 10265
/proc/meminfo: memFree=721976/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1035008 CPUtime=51.08
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 280631 0 0 0 4848 260 0 0 25 0 1 0 191230930 1059848192 246739 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 258752 246739 533 886 0 257862 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1035008

[startup+102.306 s]
/proc/loadavg: 0.94 0.32 0.11 2/66 10265
/proc/meminfo: memFree=675128/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1082628 CPUtime=102.26
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 299972 0 0 0 9953 273 0 0 25 0 1 0 191230930 1108611072 258412 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 270657 258412 533 886 0 269767 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1082628

[startup+162.302 s]
/proc/loadavg: 1.05 0.46 0.17 2/66 10271
/proc/meminfo: memFree=690232/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1073780 CPUtime=162.21
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 318293 0 0 0 15936 285 0 0 25 0 1 0 191230930 1099550720 255016 1992294400 4194304 7823515 548682068736 18446744073709551615 6099002 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 268445 255016 536 886 0 267555 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 1073780

[startup+222.302 s]
/proc/loadavg: 1.08 0.57 0.22 2/66 10271
/proc/meminfo: memFree=689912/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1075316 CPUtime=222.18
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 362438 0 0 0 21915 303 0 0 25 0 1 0 191230930 1101123584 254690 1992294400 4194304 7823515 548682068736 18446744073709551615 6908173 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 268829 254690 536 886 0 267939 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1075316

[startup+282.301 s]
/proc/loadavg: 1.15 0.68 0.28 2/66 10271
/proc/meminfo: memFree=687096/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1076064 CPUtime=282.15
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 374454 0 0 0 27899 316 0 0 25 0 1 0 191230930 1101889536 255366 1992294400 4194304 7823515 548682068736 18446744073709551615 5746130 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 269016 255366 545 886 0 268126 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1076064

[startup+342.301 s]
/proc/loadavg: 1.11 0.75 0.33 2/66 10271
/proc/meminfo: memFree=687096/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1076064 CPUtime=342.13
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 374454 0 0 0 33887 326 0 0 25 0 1 0 191230930 1101889536 255366 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 269016 255366 545 886 0 268126 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1076064

[startup+402.302 s]
/proc/loadavg: 1.04 0.79 0.37 2/66 10271
/proc/meminfo: memFree=684088/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1076064 CPUtime=402.11
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 375266 0 0 0 39873 338 0 0 25 0 1 0 191230930 1101889536 256178 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 269016 256178 545 886 0 268126 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1076064

[startup+462.302 s]
/proc/loadavg: 1.01 0.83 0.40 2/66 10271
/proc/meminfo: memFree=680504/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1078860 CPUtime=462.09
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 376169 0 0 0 45857 352 0 0 25 0 1 0 191230930 1104752640 257081 1992294400 4194304 7823515 548682068736 18446744073709551615 5432873 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 269715 257081 545 886 0 268825 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 1078860

[startup+522.301 s]
/proc/loadavg: 1.00 0.86 0.44 2/66 10271
/proc/meminfo: memFree=676536/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1083828 CPUtime=522.06
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 377165 0 0 0 51843 363 0 0 25 0 1 0 191230930 1109839872 258077 1992294400 4194304 7823515 548682068736 18446744073709551615 5433106 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 270957 258077 545 886 0 270067 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 1083828

[startup+582.301 s]
/proc/loadavg: 1.00 0.88 0.47 2/66 10271
/proc/meminfo: memFree=674040/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1086972 CPUtime=582.04
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 377802 0 0 0 57829 375 0 0 25 0 1 0 191230930 1113059328 258714 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 271743 258714 545 886 0 270853 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1086972

[startup+642.302 s]
/proc/loadavg: 1.00 0.90 0.50 2/66 10271
/proc/meminfo: memFree=672440/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1088960 CPUtime=642.02
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 378191 0 0 0 63816 386 0 0 25 0 1 0 191230930 1115095040 259103 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 272240 259103 545 886 0 271350 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 1088960

[startup+702.302 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 0.96 0.65 2/66 10271
/proc/meminfo: memFree=664568/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1098424 CPUtime=1001.88
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 380110 0 0 0 99734 454 0 0 25 0 1 0 191230930 1124786176 261022 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 274606 261022 545 886 0 273716 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 1098424

[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.66 2/66 10271
/proc/meminfo: memFree=663800/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1099392 CPUtime=1061.85
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 380313 0 0 0 105719 466 0 0 25 0 1 0 191230930 1125777408 261225 1992294400 4194304 7823515 548682068736 18446744073709551615 4363395 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 274848 261225 545 886 0 273958 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 1099392

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.68 2/66 10271
/proc/meminfo: memFree=663160/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1100036 CPUtime=1121.82
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 380467 0 0 0 111705 477 0 0 25 0 1 0 191230930 1126436864 261379 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 275009 261379 545 886 0 274119 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1100036

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/66 10271
/proc/meminfo: memFree=662584/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1100800 CPUtime=1181.81
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 380611 0 0 0 117692 489 0 0 25 0 1 0 191230930 1127219200 261523 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 275200 261523 545 886 0 274310 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1100800

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/66 10271
/proc/meminfo: memFree=662008/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1101512 CPUtime=1241.78
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 380738 0 0 0 123677 501 0 0 25 0 1 0 191230930 1127948288 261650 1992294400 4194304 7823515 548682068736 18446744073709551615 5746130 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 275378 261650 545 886 0 274488 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1101512

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/66 10271
/proc/meminfo: memFree=661560/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1101948 CPUtime=1301.76
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 380833 0 0 0 129663 513 0 0 25 0 1 0 191230930 1128394752 261745 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 275487 261745 545 886 0 274597 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1101948

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/66 10271
/proc/meminfo: memFree=660536/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1103312 CPUtime=1361.72
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 381095 0 0 0 135648 524 0 0 25 0 1 0 191230930 1129791488 262007 1992294400 4194304 7823515 548682068736 18446744073709551615 5768155 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 275828 262007 545 886 0 274938 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1103312

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.76 2/66 10271
/proc/meminfo: memFree=660024/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1104040 CPUtime=1421.71
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 381221 0 0 0 141634 537 0 0 25 0 1 0 191230930 1130536960 262133 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 276010 262133 545 886 0 275120 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1104040

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/66 10271
/proc/meminfo: memFree=659128/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1105260 CPUtime=1481.68
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 381460 0 0 0 147618 550 0 0 25 0 1 0 191230930 1131786240 262372 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 276315 262372 545 886 0 275425 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1105260

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/66 10271
/proc/meminfo: memFree=657528/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1106984 CPUtime=1541.66
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 381831 0 0 0 153604 562 0 0 25 0 1 0 191230930 1133551616 262743 1992294400 4194304 7823515 548682068736 18446744073709551615 4831908 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 276746 262743 545 886 0 275856 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1106984

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/66 10271
/proc/meminfo: memFree=655864/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1109108 CPUtime=1601.64
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382245 0 0 0 159590 574 0 0 25 0 1 0 191230930 1135726592 263157 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 277277 263157 545 886 0 276387 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1109108

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/66 10271
/proc/meminfo: memFree=655288/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1109708 CPUtime=1661.61
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382389 0 0 0 165575 586 0 0 25 0 1 0 191230930 1136340992 263301 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 277427 263301 545 886 0 276537 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1109708

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/66 10271
/proc/meminfo: memFree=654584/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1110604 CPUtime=1721.58
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382568 0 0 0 171559 599 0 0 25 0 1 0 191230930 1137258496 263480 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 277651 263480 545 886 0 276761 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1110604

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/66 10271
/proc/meminfo: memFree=653880/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1111364 CPUtime=1781.55
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382728 0 0 0 177544 611 0 0 25 0 1 0 191230930 1138036736 263640 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 277841 263640 545 886 0 276951 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 1111364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.97 0.82 2/66 10271
/proc/meminfo: memFree=653752/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1111528 CPUtime=1800.05
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382753 0 0 0 179390 615 0 0 25 0 1 0 191230930 1138204672 263665 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 0 0 0
/proc/10264/statm: 277882 263665 545 886 0 276992 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1111528

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.82 2/66 10271
/proc/meminfo: memFree=653752/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1111824 CPUtime=1800.65
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382843 0 0 0 179450 615 0 0 25 0 1 0 191230930 1138507776 263755 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 277956 263755 550 886 0 277066 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 1111824

[startup+1802.2 s]
/proc/loadavg: 1.00 0.97 0.82 2/67 10272
/proc/meminfo: memFree=653360/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=1107284 CPUtime=1801.44
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382844 0 0 0 179529 615 0 0 25 0 1 0 191230930 1133858816 262769 1992294400 4194304 7823515 548682068736 18446744073709551615 5875843 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 276821 262769 551 886 0 275931 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1107284

[startup+1802.6 s]
/proc/loadavg: 1.00 0.97 0.82 2/67 10272
/proc/meminfo: memFree=653360/2055912 swapFree=4192812/4192956
[pid=10264] ppid=10262 vsize=521180 CPUtime=1801.84
/proc/10264/stat : 10264 (pbscip.linux.x8) R 10262 10264 10227 0 -1 4194304 382844 0 0 0 179560 624 0 0 25 0 1 0 191230930 533688320 127830 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 0 0 0
/proc/10264/statm: 130295 127830 25345 886 0 129405 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 521180

Child status: 0
Real time (s): 1802.66
CPU time (s): 1801.91
CPU user time (s): 1795.61
CPU system time (s): 6.30804
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 1137096

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

runsolver used 1.45578 second user time and 5.11222 second system time

The end

Launcher Data 

Begin job on node78 at 2009-06-17 12:58:49
IDJOB=1883874
IDBENCH=2574
IDSOLVER=683
FILE ID=node78/1883874-1245236329
PBS_JOBID= 9372273
Free space on /tmp= 126828 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-101-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-1883874-1245236329/watcher-1883874-1245236329 -o /tmp/evaluation-result-1883874-1245236329/solver-1883874-1245236329 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1883874-1245236329.opb

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

MD5SUM BENCH= 3da8b298ee1dd31987c9c3266733383f
RANDOM SEED=1110833347

node78.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.227
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.227
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:      2055912 kB
MemFree:       1709800 kB
Buffers:         29940 kB
Cached:         236076 kB
SwapCached:          0 kB
Active:          93968 kB
Inactive:       186224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1709800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           22896 kB
Writeback:           0 kB
Mapped:          23972 kB
Slab:            51720 kB
Committed_AS:    84928 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126820 MiB
End job on node78 at 2009-06-17 13:28:52