Trace number 1883875

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1801.98 1802.6

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.69/6.77	c SCIP version 1.1.0.7
6.69/6.77	c LP-Solver Clp 1.8.2
6.69/6.77	c user parameter file <scip.set> not found - using default parameters
6.69/6.77	c read problem <HOME/instance-1883875-1245236329.opb>
6.69/6.77	c original problem has 10100 variables (10100 bin, 0 int, 0 impl, 0 cont) and 505101 constraints
7.78/7.80	c No objective function, only one solution is needed.
7.78/7.80	c start presolving problem
7.78/7.80	c presolving:
12.98/13.07	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
13.79/13.80	c presolving (2 rounds):
13.79/13.80	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
13.79/13.80	c  1010000 implications, 0 cliques
13.79/13.80	c presolved problem has 10100 variables (10100 bin, 0 int, 0 impl, 0 cont) and 505101 constraints
13.79/13.80	c  505101 constraints of type <logicor>
13.79/13.80	c transformed objective value is always integral (scale: 1)
13.79/13.80	c Presolving Time: 4.74
13.79/13.80	c PURESAT
13.79/13.80	c -----------------------------------------------------------------------------------------------
13.79/13.80	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 0]
13.79/13.80	c separating/flowcover/freq = c -1
13.79/13.80	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 0]
13.79/13.80	c separating/cmir/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/veclendiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/veclendiving/maxlpiterquot = c 0.075
13.79/13.80	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/veclendiving/freq = c -1
13.79/13.80	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 1]
13.79/13.80	c heuristics/simplerounding/freq = c -1
13.79/13.80	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/shifting/freq = c -1
13.79/13.80	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 1]
13.79/13.80	c heuristics/rounding/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/rootsoldiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.79/13.80	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
13.79/13.80	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 20]
13.79/13.80	c heuristics/rootsoldiving/freq = c -1
13.79/13.80	c # number of nodes added to the contingent of the total nodes
13.79/13.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.79/13.80	c heuristics/rens/nodesofs = c 2000
13.79/13.80	c # minimum percentage of integer variables that have to be fixable 
13.79/13.80	c # [type: real, range: [0,1], default: 0.5]
13.79/13.80	c heuristics/rens/minfixingrate = c 0.3
13.79/13.80	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 0]
13.79/13.80	c heuristics/rens/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/pscostdiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/pscostdiving/maxlpiterquot = c 0.075
13.79/13.80	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/pscostdiving/freq = c -1
13.79/13.80	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 1]
13.79/13.80	c heuristics/oneopt/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/objpscostdiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to total iteration number
13.79/13.80	c # [type: real, range: [0,1], default: 0.01]
13.79/13.80	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
13.79/13.80	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 20]
13.79/13.80	c heuristics/objpscostdiving/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/linesearchdiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
13.79/13.80	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/linesearchdiving/freq = c -1
13.79/13.80	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/intshifting/freq = c -1
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/intdiving/maxlpiterquot = c 0.075
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/guideddiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/guideddiving/maxlpiterquot = c 0.075
13.79/13.80	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/guideddiving/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/fracdiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/fracdiving/maxlpiterquot = c 0.075
13.79/13.80	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/fracdiving/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/feaspump/maxlpiterofs = c 2000
13.79/13.80	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 20]
13.79/13.80	c heuristics/feaspump/freq = c -1
13.79/13.80	c # minimum percentage of integer variables that have to be fixed 
13.79/13.80	c # [type: real, range: [0,1], default: 0.666]
13.79/13.80	c heuristics/crossover/minfixingrate = c 0.5
13.79/13.80	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.79/13.80	c # [type: real, range: [0,1], default: 0.1]
13.79/13.80	c heuristics/crossover/nodesquot = c 0.15
13.79/13.80	c # number of nodes without incumbent change that heuristic should wait
13.79/13.80	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.79/13.80	c heuristics/crossover/nwaitingnodes = c 100
13.79/13.80	c # number of nodes added to the contingent of the total nodes
13.79/13.80	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.79/13.80	c heuristics/crossover/nodesofs = c 750
13.79/13.80	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 30]
13.79/13.80	c heuristics/crossover/freq = c -1
13.79/13.80	c # additional number of allowed LP iterations
13.79/13.80	c # [type: int, range: [0,2147483647], default: 1000]
13.79/13.80	c heuristics/coefdiving/maxlpiterofs = c 1500
13.79/13.80	c # maximal fraction of diving LP iterations compared to node LP iterations
13.79/13.80	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.79/13.80	c heuristics/coefdiving/maxlpiterquot = c 0.075
13.79/13.80	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: 10]
13.79/13.80	c heuristics/coefdiving/freq = c -1
13.79/13.80	c # priority of node selection rule <dfs> in standard mode
13.79/13.80	c # [type: int, range: [-536870912,536870911], default: 0]
13.79/13.80	c nodeselection/dfs/stdpriority = c 1000000
13.79/13.80	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.79/13.80	c # [type: int, range: [-1,2147483647], default: -1]
13.79/13.80	c presolving/probing/maxrounds = c 0
13.79/13.80	c # should presolving try to simplify knapsacks
13.79/13.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.79/13.80	c constraints/knapsack/simplifyinequalities = c TRUE
13.79/13.80	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.79/13.80	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.79/13.80	c constraints/knapsack/disaggregation = c FALSE
13.79/13.80	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: -1]
13.79/13.84	c constraints/knapsack/maxnumcardlift = c 0
13.79/13.84	c # should presolving try to simplify inequalities
13.79/13.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.79/13.84	c constraints/linear/simplifyinequalities = c TRUE
13.79/13.84	c # maximal number of separation rounds in the root node (-1: unlimited)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: -1]
13.79/13.84	c separating/maxroundsroot = c 5
13.79/13.84	c # maximal number of separation rounds per node (-1: unlimited)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: 5]
13.79/13.84	c separating/maxrounds = c 1
13.79/13.84	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.79/13.84	c # [type: char, range: {lafpsqd}, default: l]
13.79/13.84	c lp/pricing = c a
13.79/13.84	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: 1]
13.79/13.84	c lp/solvefreq = c 0
13.79/13.84	c # solving stops, if the given number of solutions were found (-1: no limit)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: -1]
13.79/13.84	c limits/solutions = c 1
13.79/13.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.79/13.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.79/13.84	c limits/memory = c 1620
13.79/13.84	c # maximal time in seconds to run
13.79/13.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.79/13.84	c limits/time = c 1791
13.79/13.84	c # frequency for displaying node information lines
13.79/13.84	c # [type: int, range: [-1,2147483647], default: 100]
13.79/13.84	c display/freq = c 10000
13.79/13.84	c # should enforcement of pseudo solution be disabled?
13.79/13.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.79/13.84	c constraints/disableenfops = c TRUE
13.79/13.84	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: 0]
13.79/13.84	c constraints/agelimit = c 1
13.79/13.84	c # should binary conflicts be preferred?
13.79/13.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.79/13.84	c conflict/preferbinary = c TRUE
13.79/13.84	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
13.79/13.84	c # [type: int, range: [-1,2147483647], default: -1]
13.79/13.84	c conflict/interconss = c 0
13.79/13.84	c -----------------------------------------------------------------------------------------------
13.79/13.84	c start solving problem
13.79/13.84	c 
16.78/16.80	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.78/16.80	c   8.1s|     1 |     0 |   202 | 571M|   0 | 202 |  10k| 505k| 505k|  10k| 505k|   0 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
33.88/33.94	c  24.6s|     1 |     0 |   982 | 571M|   0 | 198 |  10k| 505k| 505k|  10k| 505k|   3 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
154.73/154.85	c   145s|     1 |     0 |  9684 | 572M|   0 | 153 |  10k| 505k| 505k|  10k| 505k|  16 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
233.20/233.38	c   224s|     1 |     0 | 14772 | 573M|   0 | 158 |  10k| 505k| 505k|  10k| 505k|  33 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
282.59/282.77	c   273s|     1 |     0 | 17710 | 574M|   0 | 164 |  10k| 505k| 505k|  10k| 505k|  54 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
513.71/513.97	c   504s|     1 |     0 | 29295 | 574M|   0 | 108 |  10k| 505k| 505k|  10k| 505k|  71 |   0 |   0 | 1.010000e+02 |      --      |    Inf 
730.43/730.76	c   719s|     1 |     2 | 29295 | 574M|   0 | 108 |  10k| 505k| 505k|  10k| 505k|  71 |   0 |  33 | 1.010000e+02 |      --      |    Inf 
849.59/849.99	c   838s| 10000 |  6691 | 29295 | 583M|6710 |   - |  10k| 505k| 484k|   0 |   0 |  71 |2221 |  33 | 1.010000e+02 |      --      |    Inf 
1119.90/1120.36	c  1108s| 20000 |  6693 | 29295 | 583M|6710 |   - |  10k| 505k| 484k|   0 |   0 |  71 |8763 |  33 | 1.010000e+02 |      --      |    Inf 
1391.40/1391.94	c  1379s| 30000 |  6686 | 29295 | 583M|6710 |   - |  10k| 505k| 484k|   0 |   0 |  71 |  15k|  33 | 1.010000e+02 |      --      |    Inf 
1668.22/1668.83	c  1655s| 40000 |  6689 | 29295 | 583M|6710 |   - |  10k| 505k| 484k|   0 |   0 |  71 |  21k|  33 | 1.010000e+02 |      --      |    Inf 
1800.07/1800.71	c 
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time (sec) : 1786.89
1800.07/1800.71	c Solving Nodes      : 44702
1800.07/1800.71	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.71	c Dual Bound         : +1.01000000005025e+02
1800.07/1800.71	c Gap                : infinite
1800.07/1800.71	c NODE         44702
1800.07/1800.71	c DUAL BOUND   101
1800.07/1800.71	c PRIMAL BOUND 1e+20
1800.07/1800.71	c GAP          1e+20
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.71	c Solving Time       :    1786.89
1800.07/1800.71	c Original Problem   :
1800.07/1800.71	c   Problem name     : HOME/instance-1883875-1245236329.opb
1800.07/1800.71	c   Variables        : 10100 (10100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 505101 initial, 505101 maximal
1800.07/1800.71	c Presolved Problem  :
1800.07/1800.71	c   Problem name     : t_HOME/instance-1883875-1245236329.opb
1800.07/1800.71	c   Variables        : 10100 (10100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71	c   Constraints      : 505101 initial, 505114 maximal
1800.07/1800.71	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.71	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.71	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.71	c   logicor          :       1.29          0          0          0          0          0          0          0          0
1800.07/1800.71	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.71	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.07/1800.71	c   logicor          :     505101+         5     337529          0          0      24757     864757          0          0          0
1800.07/1800.71	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.71	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.71	c   integral         :     215.37       0.00       0.00     215.37       0.00
1800.07/1800.71	c   logicor          :     395.60       0.29     395.31       0.00       0.00
1800.07/1800.71	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.71	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.71	c   rootredcost      :       0.42          0          0          0
1800.07/1800.71	c   pseudoobj        :     618.60     375638          0          0
1800.07/1800.71	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.71	c   propagation      :     358.83      24757      24757      24757     1905.6        410     1322.7          -
1800.07/1800.71	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.71	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.71	c   applied globally :          -          -          -       1614      457.3          -          -          -
1800.07/1800.71	c   applied locally  :          -          -          -      23321     1994.1          -          -          -
1800.07/1800.71	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.71	c   cut pool         :       0.00          4          -          -          1          -    (maximal pool size: 194)
1800.07/1800.71	c   redcost          :       0.01          5          0          0          0          0
1800.07/1800.71	c   impliedbounds    :       0.00          5          0          0          0          0
1800.07/1800.71	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.71	c   gomory           :      32.62          5          0          0       2202          0
1800.07/1800.71	c   strongcg         :      30.61          5          0          0       2202          0
1800.07/1800.71	c   cmir             :       0.00          0          0          0          0          0
1800.07/1800.71	c   flowcover        :       0.00          0          0          0          0          0
1800.07/1800.71	c   clique           :       2.46          5          0          0         23          0
1800.07/1800.71	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.71	c   mcf              :       3.37          1          0          0          0          0
1800.07/1800.71	c Pricers            :       Time      Calls       Vars
1800.07/1800.71	c   problem variables:       0.00          0          0
1800.07/1800.71	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.71	c   relpscost        :     215.37          1          0          0          0          0          2
1800.07/1800.71	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   inference        :      15.27      32384          0          0          0          0      64768
1800.07/1800.71	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.71	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.71	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.71	c   LP solutions     :       0.00          -          0
1800.07/1800.71	c   pseudo solutions :       0.00          -          0
1800.07/1800.71	c   simplerounding   :       0.00          0          0
1800.07/1800.71	c   rounding         :       0.00          0          0
1800.07/1800.71	c   shifting         :       0.00          0          0
1800.07/1800.71	c   intshifting      :       0.00          0          0
1800.07/1800.71	c   oneopt           :       0.00          0          0
1800.07/1800.71	c   fixandinfer      :       0.00          0          0
1800.07/1800.71	c   feaspump         :       0.00          0          0
1800.07/1800.71	c   coefdiving       :       0.00          0          0
1800.07/1800.71	c   pscostdiving     :       0.00          0          0
1800.07/1800.71	c   fracdiving       :       0.00          0          0
1800.07/1800.71	c   veclendiving     :       0.00          0          0
1800.07/1800.71	c   intdiving        :       0.00          0          0
1800.07/1800.71	c   actconsdiving    :       0.00          0          0
1800.07/1800.71	c   objpscostdiving  :       0.00          0          0
1800.07/1800.71	c   rootsoldiving    :       0.00          0          0
1800.07/1800.71	c   linesearchdiving :       0.00          0          0
1800.07/1800.71	c   guideddiving     :       0.00          0          0
1800.07/1800.71	c   octane           :       0.00          0          0
1800.07/1800.71	c   rens             :       0.00          0          0
1800.07/1800.71	c   rins             :       0.00          0          0
1800.07/1800.71	c   localbranching   :       0.00          0          0
1800.07/1800.71	c   mutation         :       0.00          0          0
1800.07/1800.71	c   crossover        :       0.00          0          0
1800.07/1800.71	c   dins             :       0.00          0          0
1800.07/1800.71	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.71	c   primal LP        :       0.61          0          0       0.00       0.00
1800.07/1800.71	c   dual LP          :     426.31          6      29295    4882.50      68.72
1800.07/1800.71	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.71	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.71	c   strong branching :     215.37         33      12029     364.52      55.85
1800.07/1800.71	c     (at root node) :          -         33      12029     364.52          -
1800.07/1800.71	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.71	c B&B Tree           :
1800.07/1800.71	c   number of runs   :          1
1800.07/1800.71	c   nodes            :      44702
1800.07/1800.71	c   nodes (total)    :      44702
1800.07/1800.71	c   nodes left       :       6685
1800.07/1800.71	c   max depth        :       6710
1800.07/1800.71	c   max depth (total):       6710
1800.07/1800.71	c   backtracks       :      12756 (28.5%)
1800.07/1800.71	c   delayed cutoffs  :      13384
1800.07/1800.71	c   repropagations   :      33773 (452496 domain reductions, 12440 cutoffs)
1800.07/1800.71	c   avg switch length:       2.30
1800.07/1800.71	c   switching time   :      17.25
1800.07/1800.71	c Solution           :
1800.07/1800.71	c   Solutions found  :          0 (0 improvements)
1800.07/1800.71	c   Primal Bound     :          -
1800.07/1800.71	c   Dual Bound       : +1.01000000005025e+02
1800.07/1800.71	c   Gap              :   infinite
1800.07/1800.71	c   Root Dual Bound  : +1.01000000000000e+02
1801.87/1802.59	c Time complete: 1801.96.

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-1883875-1245236329/watcher-1883875-1245236329 -o /tmp/evaluation-result-1883875-1245236329/solver-1883875-1245236329 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883875-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/64 7026
/proc/meminfo: memFree=1719624/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=5812 CPUtime=0
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 531 0 0 0 0 0 0 0 18 0 1 0 191233841 5951488 515 1992294400 4194304 9342243 548682068736 18446744073709551615 8305252 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 1454 520 348 1256 0 193 0

[startup+0.059866 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7026
/proc/meminfo: memFree=1719624/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=18936 CPUtime=0.05
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 3724 0 0 0 4 1 0 0 18 0 1 0 191233841 19390464 3708 1992294400 4194304 9342243 548682068736 18446744073709551615 8143897 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 4734 3708 376 1256 0 3473 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18936

[startup+0.101837 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7026
/proc/meminfo: memFree=1719624/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=20416 CPUtime=0.09
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 4064 0 0 0 8 1 0 0 18 0 1 0 191233841 20905984 4048 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 5104 4048 376 1256 0 3843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20416

[startup+0.301875 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7026
/proc/meminfo: memFree=1719624/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=25864 CPUtime=0.29
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 5445 0 0 0 27 2 0 0 19 0 1 0 191233841 26484736 5429 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 6466 5429 376 1256 0 5205 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25864

[startup+0.701952 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7026
/proc/meminfo: memFree=1719624/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=35936 CPUtime=0.69
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 7967 0 0 0 66 3 0 0 22 0 1 0 191233841 36798464 7951 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 8984 7951 376 1256 0 7723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35936

[startup+1.5011 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 7027
/proc/meminfo: memFree=1681472/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=56784 CPUtime=1.49
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 13183 0 0 0 144 5 0 0 25 0 1 0 191233841 58146816 13167 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 14196 13167 376 1256 0 12935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56784

[startup+3.10141 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 7027
/proc/meminfo: memFree=1653504/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=96852 CPUtime=3.09
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 23182 0 0 0 299 10 0 0 25 0 1 0 191233841 99176448 23166 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 24213 23166 376 1256 0 22952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96852

[startup+6.30202 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 7027
/proc/meminfo: memFree=1570496/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=178468 CPUtime=6.29
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 43581 0 0 0 608 21 0 0 25 0 1 0 191233841 182751232 43565 1992294400 4194304 9342243 548682068736 18446744073709551615 5858552 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 44617 43565 376 1256 0 43356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178468

[startup+12.7012 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 7027
/proc/meminfo: memFree=1120960/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=612936 CPUtime=12.68
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 161222 0 0 0 1113 155 0 0 25 0 1 0 191233841 627646464 149728 1992294400 4194304 9342243 548682068736 18446744073709551615 4764464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 153234 149728 466 1256 0 151973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 612936

[startup+25.5017 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 7027
/proc/meminfo: memFree=797312/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1067456 CPUtime=25.48
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 250046 0 0 0 2278 270 0 0 25 0 1 0 191233841 1093074944 230625 1992294400 4194304 9342243 548682068736 18446744073709551615 8247844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 266864 230625 629 1256 0 265603 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1067456

[startup+51.1016 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 7027
/proc/meminfo: memFree=707840/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1107900 CPUtime=51.07
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 279540 0 0 0 4823 284 0 0 25 0 1 0 191233841 1134489600 253036 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 276975 253036 633 1256 0 275714 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1107900

[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 7027
/proc/meminfo: memFree=696384/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1130472 CPUtime=102.26
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 286112 0 0 0 9937 289 0 0 25 0 1 0 191233841 1157603328 255846 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 282618 255846 633 1256 0 281357 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1130472

[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 7033
/proc/meminfo: memFree=681024/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1108888 CPUtime=162.23
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 300497 0 0 0 15927 296 0 0 25 0 1 0 191233841 1135501312 259670 1992294400 4194304 9342243 548682068736 18446744073709551615 6952845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 277222 259670 633 1256 0 275961 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1108888

[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 7033
/proc/meminfo: memFree=649664/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1131148 CPUtime=222.21
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 308296 0 0 0 21920 301 0 0 25 0 1 0 191233841 1158295552 267469 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 282787 267469 633 1256 0 281526 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1131148

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 7033
/proc/meminfo: memFree=655424/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1076060 CPUtime=282.19
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 311332 0 0 0 27911 308 0 0 25 0 1 0 191233841 1101885440 265558 1992294400 4194304 9342243 548682068736 18446744073709551615 5888808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 269015 265558 633 1256 0 267754 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1076060

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/65 7033
/proc/meminfo: memFree=653120/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1155036 CPUtime=342.16
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 315620 0 0 0 33900 316 0 0 25 0 1 0 191233841 1182756864 266607 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 288759 266607 633 1256 0 287498 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1155036

[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/65 7033
/proc/meminfo: memFree=656512/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1173772 CPUtime=402.14
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 321473 0 0 0 39892 322 0 0 25 0 1 0 191233841 1201942528 265814 1992294400 4194304 9342243 548682068736 18446744073709551615 6970138 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 293443 265814 633 1256 0 292182 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1173772

[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/65 7033
/proc/meminfo: memFree=659008/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1154864 CPUtime=462.13
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 327278 0 0 0 45886 327 0 0 25 0 1 0 191233841 1182580736 265180 1992294400 4194304 9342243 548682068736 18446744073709551615 6964017 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 288716 265180 633 1256 0 287455 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1154864

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 7033
/proc/meminfo: memFree=611072/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1358544 CPUtime=522.11
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 344254 0 0 0 51874 337 0 0 25 0 1 0 191233841 1391149056 277054 1992294400 4194304 9342243 548682068736 18446744073709551615 6342066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 339636 277054 638 1256 0 338375 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1358544

[startup+582.302 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 7033
/proc/meminfo: memFree=618752/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1350632 CPUtime=582.08
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 420880 0 0 0 57840 368 0 0 25 0 1 0 191233841 1383047168 275115 1992294400 4194304 9342243 548682068736 18446744073709551615 6960746 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 337658 275115 638 1256 0 336397 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1350632

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 7033
/proc/meminfo: memFree=618688/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1350632 CPUtime=642.07
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 497490 0 0 0 63806 401 0 0 25 0 1 0 191233841 1383047168 275116 1992294400 4194304 9342243 548682068736 18446744073709551615 5874685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 337658 275116 638 1256 0 336397 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1350632

[startup+702.302 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.03 0.97 0.66 2/65 7033
/proc/meminfo: memFree=650176/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1061.92
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 652004 0 0 0 105665 527 0 0 25 0 1 0 191233841 1185476608 267226 1992294400 4194304 9342243 548682068736 18446744073709551615 5751993 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 267226 660 1256 0 288162 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1157692

[startup+1122.3 s]
/proc/loadavg: 1.16 1.02 0.69 2/65 7033
/proc/meminfo: memFree=647232/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1121.9
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 652731 0 0 0 111652 538 0 0 25 0 1 0 191233841 1185476608 267953 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 267953 660 1256 0 288162 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1157692

[startup+1182.3 s]
/proc/loadavg: 1.13 1.03 0.71 2/65 7033
/proc/meminfo: memFree=644224/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1181.88
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 653469 0 0 0 117640 548 0 0 25 0 1 0 191233841 1185476608 268691 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 268691 660 1256 0 288162 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1157692

[startup+1242.3 s]
/proc/loadavg: 1.11 1.04 0.73 2/65 7033
/proc/meminfo: memFree=641664/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1241.86
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 654078 0 0 0 123626 560 0 0 25 0 1 0 191233841 1185476608 269300 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 269300 660 1256 0 288162 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1157692

[startup+1302.3 s]
/proc/loadavg: 1.10 1.04 0.75 2/65 7033
/proc/meminfo: memFree=639872/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1301.85
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 654512 0 0 0 129614 571 0 0 25 0 1 0 191233841 1185476608 269734 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 269734 660 1256 0 288162 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1157692

[startup+1362.3 s]
/proc/loadavg: 1.09 1.05 0.77 2/65 7033
/proc/meminfo: memFree=638080/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1361.82
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 654963 0 0 0 135601 581 0 0 25 0 1 0 191233841 1185476608 270185 1992294400 4194304 9342243 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 270185 660 1256 0 288162 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1157692

[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 0.79 2/65 7033
/proc/meminfo: memFree=636480/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1421.8
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 655354 0 0 0 141585 595 0 0 25 0 1 0 191233841 1185476608 270576 1992294400 4194304 9342243 548682068736 18446744073709551615 4403412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 270576 660 1256 0 288162 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1157692

[startup+1482.3 s]
/proc/loadavg: 1.08 1.06 0.80 2/65 7033
/proc/meminfo: memFree=635392/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1481.78
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 655615 0 0 0 147572 606 0 0 25 0 1 0 191233841 1185476608 270837 1992294400 4194304 9342243 548682068736 18446744073709551615 5752003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 270837 660 1256 0 288162 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1157692

[startup+1542.3 s]
/proc/loadavg: 1.07 1.06 0.82 2/65 7033
/proc/meminfo: memFree=634752/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1541.76
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 655769 0 0 0 153560 616 0 0 25 0 1 0 191233841 1185476608 270991 1992294400 4194304 9342243 548682068736 18446744073709551615 5751947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 270991 660 1256 0 288162 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1157692

[startup+1602.3 s]
/proc/loadavg: 1.07 1.06 0.83 2/65 7033
/proc/meminfo: memFree=633600/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1601.74
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656067 0 0 0 159547 627 0 0 25 0 1 0 191233841 1185476608 271289 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 271289 660 1256 0 288162 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1157692

[startup+1662.3 s]
/proc/loadavg: 1.06 1.06 0.84 2/65 7033
/proc/meminfo: memFree=632320/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1157692 CPUtime=1661.72
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656363 0 0 0 165534 638 0 0 25 0 1 0 191233841 1185476608 271585 1992294400 4194304 9342243 548682068736 18446744073709551615 4775524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289423 271585 660 1256 0 288162 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1157692

[startup+1722.3 s]
/proc/loadavg: 1.40 1.14 0.88 2/65 7033
/proc/meminfo: memFree=631296/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1158908 CPUtime=1721.7
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656620 0 0 0 171521 649 0 0 25 0 1 0 191233841 1186721792 271842 1992294400 4194304 9342243 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289727 271842 660 1256 0 288466 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1158908

[startup+1782.3 s]
/proc/loadavg: 1.26 1.14 0.90 2/65 7033
/proc/meminfo: memFree=630528/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1159696 CPUtime=1781.67
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656784 0 0 0 177508 659 0 0 25 0 1 0 191233841 1187528704 272006 1992294400 4194304 9342243 548682068736 18446744073709551615 4775524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 289924 272006 660 1256 0 288663 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1159696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.20 1.13 0.90 2/65 7033
/proc/meminfo: memFree=630336/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1160048 CPUtime=1800.07
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656830 0 0 0 179344 663 0 0 25 0 1 0 191233841 1187889152 272052 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7026/statm: 290012 272052 660 1256 0 288751 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1160048

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.20 1.13 0.90 2/65 7033
/proc/meminfo: memFree=630336/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1160408 CPUtime=1800.76
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656925 0 0 0 179413 663 0 0 25 0 1 0 191233841 1188257792 272147 1992294400 4194304 9342243 548682068736 18446744073709551615 4301922 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 290102 272147 665 1256 0 288841 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1160408

[startup+1802.2 s]
/proc/loadavg: 1.18 1.13 0.90 2/66 7034
/proc/meminfo: memFree=629944/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=1155868 CPUtime=1801.56
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656927 0 0 0 179491 665 0 0 25 0 1 0 191233841 1183608832 271162 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 288967 271162 35581 1256 0 287706 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 1155868

[startup+1802.4 s]
/proc/loadavg: 1.18 1.13 0.90 2/66 7034
/proc/meminfo: memFree=629944/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=806012 CPUtime=1801.77
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656927 0 0 0 179509 668 0 0 25 0 1 0 191233841 825356288 198359 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 201503 198359 667 1256 0 200242 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 806012

[startup+1802.5 s]
/proc/loadavg: 1.18 1.13 0.90 2/66 7034
/proc/meminfo: memFree=629944/2055920 swapFree=4181928/4192956
[pid=7026] ppid=7024 vsize=742280 CPUtime=1801.87
/proc/7026/stat : 7026 (pbscip.linux.x8) R 7024 7026 6989 0 -1 4194304 656927 0 0 0 179516 671 0 0 25 0 1 0 191233841 760094720 182642 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/7026/statm: 185570 182642 25070 1256 0 184309 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 742280

Child status: 0
Real time (s): 1802.6
CPU time (s): 1801.98
CPU user time (s): 1795.16
CPU system time (s): 6.81196
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 1358544

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

runsolver used 1.58376 second user time and 3.98539 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-17 12:58:49
IDJOB=1883875
IDBENCH=2574
IDSOLVER=684
FILE ID=node5/1883875-1245236329
PBS_JOBID= 9372331
Free space on /tmp= 66244 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-101-100.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1883875-1245236329/watcher-1883875-1245236329 -o /tmp/evaluation-result-1883875-1245236329/solver-1883875-1245236329 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883875-1245236329.opb

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

MD5SUM BENCH= 3da8b298ee1dd31987c9c3266733383f
RANDOM SEED=358009004

node5.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.259
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	: 5931.00
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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1720040 kB
Buffers:         21996 kB
Cached:         224408 kB
SwapCached:       4788 kB
Active:          81524 kB
Inactive:       172600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1720040 kB
SwapTotal:     4192956 kB
SwapFree:      4181928 kB
Dirty:           24740 kB
Writeback:           0 kB
Mapped:          14244 kB
Slab:            67764 kB
Committed_AS:   170512 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

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