Trace number 1884377

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)? 1795.68 1796.22

General information on the benchmark

Name/PURE-SAT/SAT_RACE08/
cnf/schup-l2s-abp4-1-k31.opb
MD5SUM43649fafee1f178a480cf104dcf0c6a1
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark509.069
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14809
Total number of constraints48483
Number of constraints which are clauses48483
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 constraint1
Maximum length of a constraint33
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 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 64
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 

0.59/0.69	c SCIP version 1.1.0.7
0.59/0.69	c LP-Solver SoPlex 1.4.1
0.59/0.69	c user parameter file <scip.set> not found - using default parameters
0.59/0.69	c read problem <HOME/instance-1884377-1245257604.opb>
0.59/0.69	c original problem has 14809 variables (14809 bin, 0 int, 0 impl, 0 cont) and 48483 constraints
0.79/0.89	c No objective function, only one solution is needed.
0.79/0.89	c start presolving problem
0.79/0.89	c presolving:
1.49/1.51	c (round 1) 1401 del vars, 344 del conss, 71 chg bounds, 6 chg sides, 8 chg coeffs, 0 upgd conss, 562750 impls, 0 clqs
1.49/1.59	c (round 2) 1612 del vars, 4060 del conss, 193 chg bounds, 30 chg sides, 37 chg coeffs, 0 upgd conss, 568261 impls, 0 clqs
1.59/1.64	c (round 3) 1668 del vars, 4407 del conss, 227 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 569917 impls, 0 clqs
1.59/1.68	c (round 4) 1671 del vars, 4460 del conss, 228 chg bounds, 33 chg sides, 40 chg coeffs, 0 upgd conss, 569917 impls, 0 clqs
1.99/2.07	c (round 5) 1671 del vars, 4886 del conss, 228 chg bounds, 33 chg sides, 40 chg coeffs, 43597 upgd conss, 569917 impls, 0 clqs
2.09/2.16	c presolving (6 rounds):
2.09/2.16	c  1671 deleted vars, 4886 deleted constraints, 228 tightened bounds, 0 added holes, 33 changed sides, 40 changed coefficients
2.09/2.16	c  569917 implications, 0 cliques
2.09/2.16	c presolved problem has 13138 variables (13138 bin, 0 int, 0 impl, 0 cont) and 43597 constraints
2.09/2.16	c   43597 constraints of type <logicor>
2.09/2.16	c transformed objective value is always integral (scale: 1)
2.09/2.16	c Presolving Time: 1.13
2.09/2.16	c PURESAT
2.09/2.16	c -----------------------------------------------------------------------------------------------
2.09/2.16	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.16	c separating/flowcover/freq = c -1
2.09/2.16	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.16	c separating/cmir/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/veclendiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/veclendiving/maxlpiterquot = c 0.075
2.09/2.16	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/veclendiving/freq = c -1
2.09/2.16	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.16	c heuristics/simplerounding/freq = c -1
2.09/2.16	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/shifting/freq = c -1
2.09/2.16	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.16	c heuristics/rounding/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/rootsoldiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.09/2.16	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
2.09/2.16	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 20]
2.09/2.16	c heuristics/rootsoldiving/freq = c -1
2.09/2.16	c # number of nodes added to the contingent of the total nodes
2.09/2.16	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.09/2.16	c heuristics/rens/nodesofs = c 2000
2.09/2.16	c # minimum percentage of integer variables that have to be fixable 
2.09/2.16	c # [type: real, range: [0,1], default: 0.5]
2.09/2.16	c heuristics/rens/minfixingrate = c 0.3
2.09/2.16	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.16	c heuristics/rens/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/pscostdiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/pscostdiving/maxlpiterquot = c 0.075
2.09/2.16	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/pscostdiving/freq = c -1
2.09/2.16	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.16	c heuristics/oneopt/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/objpscostdiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to total iteration number
2.09/2.16	c # [type: real, range: [0,1], default: 0.01]
2.09/2.16	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
2.09/2.16	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 20]
2.09/2.16	c heuristics/objpscostdiving/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/linesearchdiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
2.09/2.16	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/linesearchdiving/freq = c -1
2.09/2.16	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/intshifting/freq = c -1
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/intdiving/maxlpiterquot = c 0.075
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/guideddiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/guideddiving/maxlpiterquot = c 0.075
2.09/2.16	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/guideddiving/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/fracdiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/fracdiving/maxlpiterquot = c 0.075
2.09/2.16	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/fracdiving/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/feaspump/maxlpiterofs = c 2000
2.09/2.16	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 20]
2.09/2.16	c heuristics/feaspump/freq = c -1
2.09/2.16	c # minimum percentage of integer variables that have to be fixed 
2.09/2.16	c # [type: real, range: [0,1], default: 0.666]
2.09/2.16	c heuristics/crossover/minfixingrate = c 0.5
2.09/2.16	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.09/2.16	c # [type: real, range: [0,1], default: 0.1]
2.09/2.16	c heuristics/crossover/nodesquot = c 0.15
2.09/2.16	c # number of nodes without incumbent change that heuristic should wait
2.09/2.16	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.09/2.16	c heuristics/crossover/nwaitingnodes = c 100
2.09/2.16	c # number of nodes added to the contingent of the total nodes
2.09/2.16	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.09/2.16	c heuristics/crossover/nodesofs = c 750
2.09/2.16	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 30]
2.09/2.16	c heuristics/crossover/freq = c -1
2.09/2.16	c # additional number of allowed LP iterations
2.09/2.16	c # [type: int, range: [0,2147483647], default: 1000]
2.09/2.16	c heuristics/coefdiving/maxlpiterofs = c 1500
2.09/2.16	c # maximal fraction of diving LP iterations compared to node LP iterations
2.09/2.16	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.09/2.16	c heuristics/coefdiving/maxlpiterquot = c 0.075
2.09/2.16	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: 10]
2.09/2.16	c heuristics/coefdiving/freq = c -1
2.09/2.16	c # priority of node selection rule <dfs> in standard mode
2.09/2.16	c # [type: int, range: [-536870912,536870911], default: 0]
2.09/2.16	c nodeselection/dfs/stdpriority = c 1000000
2.09/2.16	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.09/2.16	c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.16	c presolving/probing/maxrounds = c 0
2.09/2.16	c # should presolving try to simplify knapsacks
2.09/2.16	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.16	c constraints/knapsack/simplifyinequalities = c TRUE
2.09/2.16	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.09/2.16	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.09/2.16	c constraints/knapsack/disaggregation = c FALSE
2.09/2.16	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.18	c constraints/knapsack/maxnumcardlift = c 0
2.09/2.18	c # should presolving try to simplify inequalities
2.09/2.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.18	c constraints/linear/simplifyinequalities = c TRUE
2.09/2.18	c # maximal number of separation rounds in the root node (-1: unlimited)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.18	c separating/maxroundsroot = c 5
2.09/2.18	c # maximal number of separation rounds per node (-1: unlimited)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: 5]
2.09/2.18	c separating/maxrounds = c 1
2.09/2.18	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)
2.09/2.18	c # [type: char, range: {lafpsqd}, default: l]
2.09/2.18	c lp/pricing = c a
2.09/2.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: 1]
2.09/2.18	c lp/solvefreq = c 0
2.09/2.18	c # solving stops, if the given number of solutions were found (-1: no limit)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.18	c limits/solutions = c 1
2.09/2.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.18	c limits/memory = c 1620
2.09/2.18	c # maximal time in seconds to run
2.09/2.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.18	c limits/time = c 1791
2.09/2.18	c # frequency for displaying node information lines
2.09/2.18	c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.18	c display/freq = c 10000
2.09/2.18	c # should enforcement of pseudo solution be disabled?
2.09/2.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.18	c constraints/disableenfops = c TRUE
2.09/2.18	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: 0]
2.09/2.18	c constraints/agelimit = c 1
2.09/2.18	c # should binary conflicts be preferred?
2.09/2.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.18	c conflict/preferbinary = c TRUE
2.09/2.18	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
2.09/2.18	c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.18	c conflict/interconss = c 0
2.09/2.18	c -----------------------------------------------------------------------------------------------
2.09/2.18	c start solving problem
2.09/2.18	c 
67.76/67.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
67.76/67.81	c  66.7s|     1 |     0 | 15656 |  92M|   0 |8167 |  13k|  43k|  43k|  13k|  43k|   0 |   0 |   0 | 3.934262e+03 |      --      |    Inf 
87.86/87.98	c  86.8s|     1 |     0 | 18158 |  97M|   0 |8238 |  13k|  43k|  43k|  13k|  43k|  12 |   0 |   0 | 3.944258e+03 |      --      |    Inf 
116.45/116.52	c   115s|     1 |     0 | 21060 |  98M|   0 |8166 |  13k|  43k|  43k|  13k|  43k|  37 |   0 |   0 | 3.955820e+03 |      --      |    Inf 
152.94/153.03	c   152s|     1 |     0 | 24073 | 102M|   0 |7486 |  13k|  43k|  43k|  13k|  43k|  63 |   0 |   0 | 3.971677e+03 |      --      |    Inf 
181.23/181.36	c   180s|     1 |     0 | 27180 | 104M|   0 |7642 |  13k|  43k|  43k|  13k|  43k|  77 |   0 |   0 | 3.978393e+03 |      --      |    Inf 
208.41/208.60	c   207s|     1 |     0 | 30307 | 106M|   0 |7680 |  13k|  43k|  43k|  13k|  43k|  92 |   0 |   0 | 3.986659e+03 |      --      |    Inf 
352.18/352.35	c   351s|     1 |     2 | 30307 | 106M|   0 |7680 |  13k|  43k|  43k|  13k|  43k|  92 |   0 |  21 | 3.986659e+03 |      --      |    Inf 
1103.25/1103.63	c  1100s| 10000 |    43 | 30307 | 114M| 125 |   - |  13k|  44k|  26k|   0 |   0 |  92 |  13k|  21 | 3.986659e+03 |      --      |    Inf 
1795.24/1795.87	c 
1795.24/1795.87	c SCIP Status        : solving was interrupted [time limit reached]
1795.24/1795.87	c Solving Time (sec) : 1791.01
1795.24/1795.87	c Solving Nodes      : 18780
1795.24/1795.87	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.24/1795.87	c Dual Bound         : +3.98665870956320e+03
1795.24/1795.87	c Gap                : infinite
1795.24/1795.87	c NODE         18780
1795.24/1795.87	c DUAL BOUND   3986.66
1795.24/1795.87	c PRIMAL BOUND 1e+20
1795.24/1795.87	c GAP          1e+20
1795.24/1795.87	s UNKNOWN
1795.24/1795.87	c SCIP Status        : solving was interrupted [time limit reached]
1795.24/1795.87	c Solving Time       :    1791.01
1795.24/1795.87	c Original Problem   :
1795.24/1795.87	c   Problem name     : HOME/instance-1884377-1245257604.opb
1795.24/1795.87	c   Variables        : 14809 (14809 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.24/1795.87	c   Constraints      : 48483 initial, 48483 maximal
1795.24/1795.87	c Presolved Problem  :
1795.24/1795.87	c   Problem name     : t_HOME/instance-1884377-1245257604.opb
1795.24/1795.87	c   Variables        : 13138 (13138 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.24/1795.87	c   Constraints      : 43597 initial, 44913 maximal
1795.24/1795.87	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.24/1795.87	c   trivial          :       0.01          4          0          0          0          0          0          0          0
1795.24/1795.87	c   dualfix          :       0.01          3          0          0          0          0          0          0          0
1795.24/1795.87	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.24/1795.87	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.24/1795.87	c   implics          :       0.30          0       1429          0          0          0          0          0          0
1795.24/1795.87	c   probing          :       0.00          0          0          0          0          0          0          0          0
1795.24/1795.87	c   linear           :       0.56        224         11          0        228          0       4886         33         40
1795.24/1795.87	c   logicor          :       0.14          0          0          0          0          0          0          0          0
1795.24/1795.87	c   root node        :          -          1          -          -          1          -          -          -          -
1795.24/1795.87	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.24/1795.87	c   integral         :          0          0          0          1          0          0          0          0          0          2
1795.24/1795.87	c   logicor          :      43597+         5     544266          0          0       8556    5771328          0          0          0
1795.24/1795.87	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1795.24/1795.87	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.24/1795.87	c   integral         :     143.54       0.00       0.00     143.54       0.00
1795.24/1795.87	c   logicor          :      68.01       0.03      67.98       0.00       0.00
1795.24/1795.87	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.24/1795.87	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.24/1795.87	c   rootredcost      :       0.54          0          0          0
1795.24/1795.87	c   pseudoobj        :    1247.81     556619          0          0
1795.24/1795.87	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.24/1795.87	c   propagation      :       2.21       8556       8556       8556       11.0      13623        6.5          -
1795.24/1795.87	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.24/1795.87	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.24/1795.87	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.24/1795.87	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.24/1795.87	c   applied globally :          -          -          -      22106        8.2          -          -          -
1795.24/1795.87	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.24/1795.87	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.24/1795.87	c   cut pool         :       0.01          4          -          -         73          -    (maximal pool size: 1503)
1795.24/1795.87	c   redcost          :       0.01          5          0          0          0          0
1795.24/1795.87	c   impliedbounds    :       0.06          5          0          0          0          0
1795.24/1795.87	c   intobj           :       0.00          0          0          0          0          0
1795.24/1795.87	c   gomory           :      20.20          5          0          0       2500          0
1795.24/1795.87	c   strongcg         :       5.36          5          0          0       2500          0
1795.24/1795.87	c   cmir             :       0.00          0          0          0          0          0
1795.24/1795.87	c   flowcover        :       0.00          0          0          0          0          0
1795.24/1795.87	c   clique           :       4.11          5          0          0         35          0
1795.24/1795.87	c   zerohalf         :       0.00          0          0          0          0          0
1795.24/1795.87	c   mcf              :       0.26          1          0          0          0          0
1795.24/1795.87	c Pricers            :       Time      Calls       Vars
1795.24/1795.87	c   problem variables:       0.00          0          0
1795.24/1795.87	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.24/1795.87	c   relpscost        :     143.54          1          0          0          0          0          2
1795.24/1795.87	c   pscost           :       0.00          0          0          0          0          0          0
1795.24/1795.87	c   inference        :      57.66      13444          0          0          0          0      26888
1795.24/1795.87	c   mostinf          :       0.00          0          0          0          0          0          0
1795.24/1795.87	c   leastinf         :       0.00          0          0          0          0          0          0
1795.24/1795.87	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.24/1795.87	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.24/1795.87	c   random           :       0.00          0          0          0          0          0          0
1795.24/1795.87	c Primal Heuristics  :       Time      Calls      Found
1795.24/1795.87	c   LP solutions     :       0.00          -          0
1795.24/1795.87	c   pseudo solutions :       0.00          -          0
1795.24/1795.87	c   simplerounding   :       0.00          0          0
1795.24/1795.87	c   rounding         :       0.00          0          0
1795.24/1795.87	c   shifting         :       0.00          0          0
1795.24/1795.87	c   intshifting      :       0.00          0          0
1795.24/1795.87	c   oneopt           :       0.00          0          0
1795.24/1795.87	c   fixandinfer      :       0.00          0          0
1795.24/1795.87	c   feaspump         :       0.00          0          0
1795.24/1795.87	c   coefdiving       :       0.00          0          0
1795.24/1795.87	c   pscostdiving     :       0.00          0          0
1795.24/1795.87	c   fracdiving       :       0.00          0          0
1795.24/1795.87	c   veclendiving     :       0.00          0          0
1795.24/1795.87	c   intdiving        :       0.00          0          0
1795.24/1795.87	c   actconsdiving    :       0.00          0          0
1795.24/1795.87	c   objpscostdiving  :       0.00          0          0
1795.24/1795.87	c   rootsoldiving    :       0.00          0          0
1795.24/1795.87	c   linesearchdiving :       0.00          0          0
1795.24/1795.87	c   guideddiving     :       0.00          0          0
1795.24/1795.87	c   octane           :       0.00          0          0
1795.24/1795.87	c   rens             :       0.00          0          0
1795.24/1795.87	c   rins             :       0.00          0          0
1795.24/1795.87	c   localbranching   :       0.00          0          0
1795.24/1795.87	c   mutation         :       0.00          0          0
1795.24/1795.87	c   crossover        :       0.00          0          0
1795.24/1795.87	c   dins             :       0.00          0          0
1795.24/1795.87	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.24/1795.87	c   primal LP        :       0.05          0          0       0.00       0.00
1795.24/1795.87	c   dual LP          :     175.45          6      30307    5051.17     172.74
1795.24/1795.87	c   barrier LP       :       0.00          0          0       0.00          -
1795.24/1795.87	c   diving/probing LP:       0.00          0          0       0.00          -
1795.24/1795.87	c   strong branching :     143.53         21      21000    1000.00     146.31
1795.24/1795.87	c     (at root node) :          -         21      21000    1000.00          -
1795.24/1795.87	c   conflict analysis:       0.00          0          0       0.00          -
1795.24/1795.87	c B&B Tree           :
1795.24/1795.87	c   number of runs   :          1
1795.24/1795.87	c   nodes            :      18780
1795.24/1795.87	c   nodes (total)    :      18780
1795.24/1795.87	c   nodes left       :         48
1795.24/1795.87	c   max depth        :        125
1795.24/1795.87	c   max depth (total):        125
1795.24/1795.87	c   backtracks       :       3858 (20.5%)
1795.24/1795.87	c   delayed cutoffs  :       8063
1795.24/1795.87	c   repropagations   :      31340 (1957965 domain reductions, 3221 cutoffs)
1795.24/1795.87	c   avg switch length:       4.49
1795.24/1795.87	c   switching time   :      48.41
1795.24/1795.87	c Solution           :
1795.24/1795.87	c   Solutions found  :          0 (0 improvements)
1795.24/1795.87	c   Primal Bound     :          -
1795.24/1795.87	c   Dual Bound       : +3.98665870956320e+03
1795.24/1795.87	c   Gap              :   infinite
1795.24/1795.87	c   Root Dual Bound  : +3.98665870956320e+03
1795.65/1796.22	c Time complete: 1795.66.

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-1884377-1245257604/watcher-1884377-1245257604 -o /tmp/evaluation-result-1884377-1245257604/solver-1884377-1245257604 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884377-1245257604.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: 1.04 0.99 0.91 3/64 4716
/proc/meminfo: memFree=1657656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=6100 CPUtime=0
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 557 0 0 0 0 0 0 0 20 0 1 0 193358312 6246400 539 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 1525 549 325 886 0 635 0

[startup+0.0184371 s]
/proc/loadavg: 1.04 0.99 0.91 3/64 4716
/proc/meminfo: memFree=1657656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=9140 CPUtime=0.01
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 1595 0 0 0 1 0 0 0 20 0 1 0 193358312 9359360 1577 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 2285 1577 351 886 0 1395 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9140

[startup+0.102446 s]
/proc/loadavg: 1.04 0.99 0.91 3/64 4716
/proc/meminfo: memFree=1657656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=14652 CPUtime=0.09
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 2968 0 0 0 8 1 0 0 20 0 1 0 193358312 15003648 2950 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 3663 2950 351 886 0 2773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14652

[startup+0.301468 s]
/proc/loadavg: 1.04 0.99 0.91 3/64 4716
/proc/meminfo: memFree=1657656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=21344 CPUtime=0.29
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 4641 0 0 0 27 2 0 0 22 0 1 0 193358312 21856256 4623 1992294400 4194304 7823515 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 5336 4623 351 886 0 4446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21344

[startup+0.701516 s]
/proc/loadavg: 1.04 0.99 0.91 3/64 4716
/proc/meminfo: memFree=1657656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=38964 CPUtime=0.69
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 9185 0 0 0 65 4 0 0 25 0 1 0 193358312 39899136 8813 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 9741 8823 365 886 0 8851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38964

[startup+1.50161 s]
/proc/loadavg: 1.04 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1578288/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=98472 CPUtime=1.49
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 24069 0 0 0 137 12 0 0 25 0 1 0 193358312 100835328 23697 1992294400 4194304 7823515 548682068736 18446744073709551615 5803146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 24618 23697 431 886 0 23728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98472

[startup+3.1018 s]
/proc/loadavg: 1.04 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1536688/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=167964 CPUtime=3.08
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 42385 0 0 0 278 30 0 0 24 0 1 0 193358312 171995136 40205 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 41991 40205 511 886 0 41101 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 167964

[startup+6.30117 s]
/proc/loadavg: 1.04 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1492464/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=179120 CPUtime=6.29
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 44331 0 0 0 597 32 0 0 25 0 1 0 193358312 183418880 41921 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 44780 41921 515 886 0 43890 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 179120

[startup+12.7019 s]
/proc/loadavg: 1.03 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1483824/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=185632 CPUtime=12.68
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 46807 0 0 0 1235 33 0 0 25 0 1 0 193358312 190087168 44151 1992294400 4194304 7823515 548682068736 18446744073709551615 6109354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 46408 44151 515 886 0 45518 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 185632

[startup+25.5024 s]
/proc/loadavg: 1.03 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1480432/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=185944 CPUtime=25.48
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 47420 0 0 0 2513 35 0 0 25 0 1 0 193358312 190406656 44701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 46486 44701 515 886 0 45596 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 185944

[startup+51.1024 s]
/proc/loadavg: 1.02 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1475056/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=191812 CPUtime=51.07
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 48746 0 0 0 5069 38 0 0 25 0 1 0 193358312 196415488 46020 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 47953 46020 515 886 0 47063 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 191812

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1443568/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=224904 CPUtime=102.25
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 57725 0 0 0 10169 56 0 0 25 0 1 0 193358312 230301696 53919 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 56226 53919 544 886 0 55336 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 224904

[startup+162.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1428656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=236088 CPUtime=162.23
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 62032 0 0 0 16159 64 0 0 25 0 1 0 193358312 241754112 57626 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 59022 57626 544 886 0 58132 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 236088

[startup+222.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1423984/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=240160 CPUtime=222.22
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 63825 0 0 0 22152 70 0 0 25 0 1 0 193358312 245923840 58797 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 60040 58797 547 886 0 59150 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 240160

[startup+282.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1422704/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=244244 CPUtime=282.19
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 64131 0 0 0 28143 76 0 0 25 0 1 0 193358312 250105856 59103 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 61061 59103 547 886 0 60171 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 244244

[startup+342.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1422576/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=244244 CPUtime=342.18
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 64152 0 0 0 34134 84 0 0 25 0 1 0 193358312 250105856 59124 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 61061 59124 547 886 0 60171 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 244244

[startup+402.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4717
/proc/meminfo: memFree=1420592/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=244244 CPUtime=402.16
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 64693 0 0 0 40121 95 0 0 25 0 1 0 193358312 250105856 59665 1992294400 4194304 7823515 548682068736 18446744073709551615 5433182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 61061 59665 553 886 0 60171 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 244244

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1403312/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=259236 CPUtime=462.14
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 68893 0 0 0 46105 109 0 0 25 0 1 0 193358312 265457664 63865 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 64809 63865 553 886 0 63919 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 259236

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1390064/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=272952 CPUtime=522.12
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 72322 0 0 0 52091 121 0 0 25 0 1 0 193358312 279502848 67294 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 68238 67294 553 886 0 67348 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 272952

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1372080/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=290688 CPUtime=582.11
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 76742 0 0 0 58077 134 0 0 25 0 1 0 193358312 297664512 71714 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 72672 71714 553 886 0 71782 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 290688

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1358960/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=303684 CPUtime=642.09
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 79969 0 0 0 64063 146 0 0 25 0 1 0 193358312 310972416 74941 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 75921 74941 553 886 0 75031 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 303684

[startup+702.301 s]

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

/proc/meminfo: memFree=1324656/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=338580 CPUtime=1121.94
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 88495 0 0 0 111955 239 0 0 25 0 1 0 193358312 346705920 83467 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 84645 83467 553 886 0 83755 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 338580

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1321968/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=341104 CPUtime=1181.92
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 89117 0 0 0 117943 249 0 0 25 0 1 0 193358312 349290496 84089 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 85276 84089 553 886 0 84386 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 341104

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1320304/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=342852 CPUtime=1241.9
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 89529 0 0 0 123932 258 0 0 25 0 1 0 193358312 351080448 84501 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 85713 84501 553 886 0 84823 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 342852

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1318576/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=344416 CPUtime=1301.89
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 89945 0 0 0 129919 270 0 0 25 0 1 0 193358312 352681984 84917 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 86104 84917 553 886 0 85214 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 344416

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1316720/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=346568 CPUtime=1361.88
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 90465 0 0 0 135907 281 0 0 25 0 1 0 193358312 354885632 85437 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 86642 85437 553 886 0 85752 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 346568

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1307248/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=355848 CPUtime=1421.86
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 92766 0 0 0 141892 294 0 0 25 0 1 0 193358312 364388352 87738 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 88962 87738 553 886 0 88072 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 355848

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1300848/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=362316 CPUtime=1481.84
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 94376 0 0 0 147876 308 0 0 25 0 1 0 193358312 371011584 89348 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 90579 89348 553 886 0 89689 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 362316

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1291376/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=371700 CPUtime=1541.82
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 96717 0 0 0 153864 318 0 0 25 0 1 0 193358312 380620800 91689 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 92925 91689 553 886 0 92035 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 371700

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1287728/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=375384 CPUtime=1601.8
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 97622 0 0 0 159850 330 0 0 25 0 1 0 193358312 384393216 92594 1992294400 4194304 7823515 548682068736 18446744073709551615 5433159 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 93846 92594 553 886 0 92956 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 375384

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1286000/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=377264 CPUtime=1661.79
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 98078 0 0 0 165838 341 0 0 25 0 1 0 193358312 386318336 93050 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 94316 93050 553 886 0 93426 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 377264

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1281072/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=382368 CPUtime=1721.77
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99333 0 0 0 171825 352 0 0 25 0 1 0 193358312 391544832 94305 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 95592 94305 553 886 0 94702 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 382368

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279152/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=383996 CPUtime=1781.75
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99740 0 0 0 177811 364 0 0 25 0 1 0 193358312 393211904 94712 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 95999 94712 553 886 0 95109 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 383996

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

[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279152/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=383996 CPUtime=1784.95
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99746 0 0 0 178131 364 0 0 25 0 1 0 193358312 393211904 94718 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 95999 94718 553 886 0 95109 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 383996

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279152/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=383996 CPUtime=1791.35
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99747 0 0 0 178769 366 0 0 25 0 1 0 193358312 393211904 94719 1992294400 4194304 7823515 548682068736 18446744073709551615 5433166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 95999 94719 553 886 0 95109 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 383996

[startup+1793.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279024/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=383996 CPUtime=1792.95
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99766 0 0 0 178929 366 0 0 25 0 1 0 193358312 393211904 94738 1992294400 4194304 7823515 548682068736 18446744073709551615 5432873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 95999 94738 553 886 0 95109 0
Current children cumulated CPU time (s) 1792.95
Current children cumulated vsize (KiB) 383996

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279024/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=383996 CPUtime=1794.55
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99766 0 0 0 179089 366 0 0 25 0 1 0 193358312 393211904 94738 1992294400 4194304 7823515 548682068736 18446744073709551615 5433150 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4716/statm: 95999 94738 553 886 0 95109 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 383996

[startup+1795.9 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279024/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=384240 CPUtime=1795.34
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99801 0 0 0 179168 366 0 0 25 0 1 0 193358312 393461760 94773 1992294400 4194304 7823515 548682068736 18446744073709551615 4208418 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 96060 94773 555 886 0 95170 0
Current children cumulated CPU time (s) 1795.34
Current children cumulated vsize (KiB) 384240

[startup+1796.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1279024/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=384240 CPUtime=1795.54
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99806 0 0 0 179188 366 0 0 25 0 1 0 193358312 393461760 94778 1992294400 4194304 7823515 548682068736 18446744073709551615 4813574 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 96060 94778 559 886 0 95170 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (KiB) 384240

[startup+1796.2 s]
/proc/loadavg: 1.00 0.99 0.91 2/65 4723
/proc/meminfo: memFree=1535600/2055920 swapFree=4181988/4192956
[pid=4716] ppid=4714 vsize=160620 CPUtime=1795.65
/proc/4716/stat : 4716 (pbscip.linux.x8) R 4714 4716 4320 0 -1 4194304 99806 0 0 0 179194 371 0 0 25 0 1 0 193358312 164474880 39350 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 40155 39350 15771 886 0 39265 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (KiB) 160620

Child status: 0
Real time (s): 1796.22
CPU time (s): 1795.68
CPU user time (s): 1791.95
CPU system time (s): 3.72843
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 384240

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

runsolver used 1.70174 second user time and 4.12637 second system time

The end

Launcher Data 

Begin job on node75 at 2009-06-17 18:53:24
IDJOB=1884377
IDBENCH=71951
IDSOLVER=683
FILE ID=node75/1884377-1245257604
PBS_JOBID= 9372387
Free space on /tmp= 66412 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE08/cnf/schup-l2s-abp4-1-k31.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-1884377-1245257604/watcher-1884377-1245257604 -o /tmp/evaluation-result-1884377-1245257604/solver-1884377-1245257604 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884377-1245257604.opb

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

MD5SUM BENCH= 43649fafee1f178a480cf104dcf0c6a1
RANDOM SEED=849495522

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1658072 kB
Buffers:         36580 kB
Cached:         276348 kB
SwapCached:       4768 kB
Active:          64808 kB
Inactive:       255500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1658072 kB
SwapTotal:     4192956 kB
SwapFree:      4181988 kB
Dirty:           11652 kB
Writeback:           0 kB
Mapped:          13180 kB
Slab:            63476 kB
Committed_AS:   122604 kB
PageTables:       1432 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= 66404 MiB
End job on node75 at 2009-06-17 19:23:20