Trace number 1885178

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) 1800.23 1800.67

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/
edgematching/all/em_7_4_8_all.opb
MD5SUMd458ef012a7669d1eadf40f4590f5378
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark161.123
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1617
Total number of constraints37237
Number of constraints which are clauses37237
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 constraint25
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.39/0.49	c SCIP version 1.1.0.7
0.39/0.49	c LP-Solver Clp 1.8.2
0.39/0.49	c user parameter file <scip.set> not found - using default parameters
0.39/0.49	c read problem <HOME/instance-1885178-1245264037.opb>
0.39/0.49	c original problem has 1617 variables (1617 bin, 0 int, 0 impl, 0 cont) and 37237 constraints
0.49/0.59	c No objective function, only one solution is needed.
0.49/0.59	c start presolving problem
0.49/0.59	c presolving:
0.99/1.00	c (round 1) 0 del vars, 450 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 36787 upgd conss, 91144 impls, 0 clqs
0.99/1.05	c presolving (2 rounds):
0.99/1.05	c  0 deleted vars, 450 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.05	c  91144 implications, 0 cliques
0.99/1.05	c presolved problem has 1617 variables (1617 bin, 0 int, 0 impl, 0 cont) and 36787 constraints
0.99/1.05	c   36787 constraints of type <logicor>
0.99/1.05	c transformed objective value is always integral (scale: 1)
0.99/1.05	c Presolving Time: 0.37
0.99/1.05	c PURESAT
0.99/1.05	c -----------------------------------------------------------------------------------------------
0.99/1.05	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.05	c separating/flowcover/freq = c -1
0.99/1.05	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.05	c separating/cmir/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/veclendiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/veclendiving/maxlpiterquot = c 0.075
0.99/1.05	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/veclendiving/freq = c -1
0.99/1.05	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.05	c heuristics/simplerounding/freq = c -1
0.99/1.05	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/shifting/freq = c -1
0.99/1.05	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.05	c heuristics/rounding/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.99/1.05	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.99/1.05	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.05	c heuristics/rootsoldiving/freq = c -1
0.99/1.05	c # number of nodes added to the contingent of the total nodes
0.99/1.05	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.05	c heuristics/rens/nodesofs = c 2000
0.99/1.05	c # minimum percentage of integer variables that have to be fixable 
0.99/1.05	c # [type: real, range: [0,1], default: 0.5]
0.99/1.05	c heuristics/rens/minfixingrate = c 0.3
0.99/1.05	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.05	c heuristics/rens/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/pscostdiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.99/1.05	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/pscostdiving/freq = c -1
0.99/1.05	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.05	c heuristics/oneopt/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to total iteration number
0.99/1.05	c # [type: real, range: [0,1], default: 0.01]
0.99/1.05	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.99/1.05	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.05	c heuristics/objpscostdiving/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.99/1.05	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/linesearchdiving/freq = c -1
0.99/1.05	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/intshifting/freq = c -1
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/intdiving/maxlpiterquot = c 0.075
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/guideddiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/guideddiving/maxlpiterquot = c 0.075
0.99/1.05	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/guideddiving/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/fracdiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/fracdiving/maxlpiterquot = c 0.075
0.99/1.05	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/fracdiving/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/feaspump/maxlpiterofs = c 2000
0.99/1.05	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.05	c heuristics/feaspump/freq = c -1
0.99/1.05	c # minimum percentage of integer variables that have to be fixed 
0.99/1.05	c # [type: real, range: [0,1], default: 0.666]
0.99/1.05	c heuristics/crossover/minfixingrate = c 0.5
0.99/1.05	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.99/1.05	c # [type: real, range: [0,1], default: 0.1]
0.99/1.05	c heuristics/crossover/nodesquot = c 0.15
0.99/1.05	c # number of nodes without incumbent change that heuristic should wait
0.99/1.05	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.99/1.05	c heuristics/crossover/nwaitingnodes = c 100
0.99/1.05	c # number of nodes added to the contingent of the total nodes
0.99/1.05	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.05	c heuristics/crossover/nodesofs = c 750
0.99/1.05	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 30]
0.99/1.05	c heuristics/crossover/freq = c -1
0.99/1.05	c # additional number of allowed LP iterations
0.99/1.05	c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.05	c heuristics/coefdiving/maxlpiterofs = c 1500
0.99/1.05	c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.05	c heuristics/coefdiving/maxlpiterquot = c 0.075
0.99/1.05	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.05	c heuristics/coefdiving/freq = c -1
0.99/1.05	c # priority of node selection rule <dfs> in standard mode
0.99/1.05	c # [type: int, range: [-536870912,536870911], default: 0]
0.99/1.05	c nodeselection/dfs/stdpriority = c 1000000
0.99/1.05	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.99/1.05	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.05	c presolving/probing/maxrounds = c 0
0.99/1.05	c # should presolving try to simplify knapsacks
0.99/1.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.05	c constraints/knapsack/simplifyinequalities = c TRUE
0.99/1.05	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.99/1.05	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.99/1.05	c constraints/knapsack/disaggregation = c FALSE
0.99/1.05	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06	c constraints/knapsack/maxnumcardlift = c 0
0.99/1.06	c # should presolving try to simplify inequalities
0.99/1.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06	c constraints/linear/simplifyinequalities = c TRUE
0.99/1.06	c # maximal number of separation rounds in the root node (-1: unlimited)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06	c separating/maxroundsroot = c 5
0.99/1.06	c # maximal number of separation rounds per node (-1: unlimited)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 5]
0.99/1.06	c separating/maxrounds = c 1
0.99/1.06	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)
0.99/1.06	c # [type: char, range: {lafpsqd}, default: l]
0.99/1.06	c lp/pricing = c a
0.99/1.06	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.06	c lp/solvefreq = c 0
0.99/1.06	c # solving stops, if the given number of solutions were found (-1: no limit)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06	c limits/solutions = c 1
0.99/1.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06	c limits/memory = c 1620
0.99/1.06	c # maximal time in seconds to run
0.99/1.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06	c limits/time = c 1791
0.99/1.06	c # frequency for displaying node information lines
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.06	c display/freq = c 10000
0.99/1.06	c # should enforcement of pseudo solution be disabled?
0.99/1.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06	c constraints/disableenfops = c TRUE
0.99/1.06	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.06	c constraints/agelimit = c 1
0.99/1.06	c # should binary conflicts be preferred?
0.99/1.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06	c conflict/preferbinary = c TRUE
0.99/1.06	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.99/1.06	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06	c conflict/interconss = c 0
0.99/1.06	c -----------------------------------------------------------------------------------------------
0.99/1.06	c start solving problem
0.99/1.06	c 
6.79/6.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.79/6.88	c   6.2s|     1 |     0 |  1597 |  45M|   0 | 723 |1617 |  36k|  36k|1617 |  36k|   0 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
61.27/61.31	c  60.5s|     1 |     0 |  2570 |  51M|   0 | 727 |1617 |  36k|  36k|1617 |  36k|   5 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
108.16/108.28	c   107s|     1 |     0 |  6466 |  57M|   0 | 921 |1617 |  36k|  36k|1617 |  36k|  17 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
188.15/188.21	c   187s|     1 |     0 |  8359 |  63M|   0 |1009 |1617 |  36k|  36k|1617 |  36k|  25 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
283.92/284.09	c   283s|     1 |     0 | 11713 |  70M|   0 |1066 |1617 |  36k|  36k|1617 |  36k|  29 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
380.90/381.04	c   380s|     1 |     0 | 14820 |  79M|   0 |1095 |1617 |  36k|  36k|1617 |  36k|  34 |   0 |   0 | 1.330000e+02 |      --      |    Inf 
563.35/563.50	c   562s|     1 |     2 | 14820 |  79M|   0 |1095 |1617 |  36k|  36k|1617 |  36k|  34 |   0 |  23 | 1.330000e+02 |      --      |    Inf 
591.85/592.05	c   590s| 10000 |    34 | 14820 |  80M|  98 |   - |1617 |  36k|  26k|   0 |   0 |  34 |7971 |  23 | 1.330000e+02 |      --      |    Inf 
622.44/622.66	c   621s| 20000 |    29 | 14820 |  80M| 102 |   - |1617 |  36k|  32k|   0 |   0 |  34 |  16k|  23 | 1.330000e+02 |      --      |    Inf 
655.44/655.60	c   653s| 30000 |    35 | 14820 |  80M| 102 |   - |1617 |  36k|  26k|   0 |   0 |  34 |  24k|  23 | 1.330000e+02 |      --      |    Inf 
683.12/683.31	c   681s| 40000 |    24 | 14820 |  80M| 102 |   - |1617 |  36k|  30k|   0 |   0 |  34 |  32k|  23 | 1.330000e+02 |      --      |    Inf 
711.12/711.31	c   709s| 50000 |    38 | 14820 |  81M| 102 |   - |1617 |  37k|  23k|   0 |   0 |  34 |  41k|  23 | 1.330000e+02 |      --      |    Inf 
739.31/739.52	c   737s| 60000 |    31 | 14820 |  80M| 102 |   - |1617 |  36k|  29k|   0 |   0 |  34 |  48k|  23 | 1.330000e+02 |      --      |    Inf 
766.70/766.94	c   764s| 70000 |    52 | 14820 |  80M| 102 |   - |1617 |  36k|  19k|   0 |   0 |  34 |  56k|  23 | 1.330000e+02 |      --      |    Inf 
794.20/794.44	c   791s| 80000 |    35 | 14820 |  80M| 102 |   - |1617 |  36k|  27k|   0 |   0 |  34 |  64k|  23 | 1.330000e+02 |      --      |    Inf 
821.78/822.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
821.78/822.01	c   818s| 90000 |    28 | 14820 |  81M| 102 |   - |1617 |  36k|  29k|   0 |   0 |  34 |  72k|  23 | 1.330000e+02 |      --      |    Inf 
851.08/851.36	c   847s|100000 |    24 | 14820 |  80M| 102 |   - |1617 |  36k|  27k|   0 |   0 |  34 |  80k|  23 | 1.330000e+02 |      --      |    Inf 
883.58/883.85	c   880s|110000 |    45 | 14820 |  81M| 102 |   - |1617 |  36k|  24k|   0 |   0 |  34 |  89k|  23 | 1.330000e+02 |      --      |    Inf 
914.36/914.63	c   910s|120000 |    39 | 14820 |  80M| 102 |   - |1617 |  36k|  30k|   0 |   0 |  34 |  97k|  23 | 1.330000e+02 |      --      |    Inf 
943.86/944.17	c   939s|130000 |    41 | 14820 |  81M| 102 |   - |1617 |  36k|  30k|   0 |   0 |  34 | 106k|  23 | 1.330000e+02 |      --      |    Inf 
973.86/974.19	c   969s|140000 |    36 | 14820 |  81M| 102 |   - |1617 |  36k|  26k|   0 |   0 |  34 | 115k|  23 | 1.330000e+02 |      --      |    Inf 
1002.25/1002.56	c   997s|150000 |    38 | 14820 |  81M| 102 |   - |1617 |  36k|  27k|   0 |   0 |  34 | 124k|  23 | 1.330000e+02 |      --      |    Inf 
1029.64/1029.92	c  1024s|160000 |    44 | 14820 |  81M| 102 |   - |1617 |  36k|  27k|   0 |   0 |  34 | 132k|  23 | 1.330000e+02 |      --      |    Inf 
1054.33/1054.69	c  1049s|170000 |    27 | 14820 |  81M| 102 |   - |1617 |  36k|  32k|   0 |   0 |  34 | 141k|  23 | 1.330000e+02 |      --      |    Inf 
1080.72/1081.06	c  1075s|180000 |    36 | 14820 |  81M| 102 |   - |1617 |  36k|  28k|   0 |   0 |  34 | 149k|  23 | 1.330000e+02 |      --      |    Inf 
1106.92/1107.23	c  1101s|190000 |    33 | 14820 |  81M| 102 |   - |1617 |  36k|  29k|   0 |   0 |  34 | 158k|  23 | 1.330000e+02 |      --      |    Inf 
1133.11/1133.46	c  1127s|200000 |    36 | 14820 |  81M| 102 |   - |1617 |  36k|  25k|   0 |   0 |  34 | 167k|  23 | 1.330000e+02 |      --      |    Inf 
1159.40/1159.78	c  1153s|210000 |    32 | 14820 |  81M| 102 |   - |1617 |  37k|  29k|   0 |   0 |  34 | 176k|  23 | 1.330000e+02 |      --      |    Inf 
1189.20/1189.50	c  1182s|220000 |    31 | 14820 |  81M| 102 |   - |1617 |  37k|  22k|   0 |   0 |  34 | 187k|  23 | 1.330000e+02 |      --      |    Inf 
1219.89/1220.28	c  1213s|230000 |    28 | 14820 |  81M| 102 |   - |1617 |  37k|  28k|   0 |   0 |  34 | 197k|  23 | 1.330000e+02 |      --      |    Inf 
1246.48/1246.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1246.48/1246.88	c  1239s|240000 |    32 | 14820 |  81M| 102 |   - |1617 |  37k|  25k|   0 |   0 |  34 | 207k|  23 | 1.330000e+02 |      --      |    Inf 
1272.78/1273.17	c  1265s|250000 |    40 | 14820 |  81M| 102 |   - |1617 |  36k|  28k|   0 |   0 |  34 | 217k|  23 | 1.330000e+02 |      --      |    Inf 
1300.57/1300.97	c  1293s|260000 |    46 | 14820 |  81M| 103 |   - |1617 |  36k|  27k|   0 |   0 |  34 | 226k|  23 | 1.330000e+02 |      --      |    Inf 
1329.06/1329.47	c  1321s|270000 |    29 | 14820 |  81M| 103 |   - |1617 |  36k|  25k|   0 |   0 |  34 | 234k|  23 | 1.330000e+02 |      --      |    Inf 
1359.95/1360.30	c  1352s|280000 |    40 | 14820 |  81M| 103 |   - |1617 |  36k|  31k|   0 |   0 |  34 | 241k|  23 | 1.330000e+02 |      --      |    Inf 
1389.55/1389.91	c  1381s|290000 |    52 | 14820 |  81M| 104 |   - |1617 |  36k|  22k|   0 |   0 |  34 | 249k|  23 | 1.330000e+02 |      --      |    Inf 
1416.74/1417.13	c  1408s|300000 |    41 | 14820 |  81M| 104 |   - |1617 |  36k|  25k|   0 |   0 |  34 | 257k|  23 | 1.330000e+02 |      --      |    Inf 
1444.93/1445.38	c  1436s|310000 |    51 | 14820 |  81M| 104 |   - |1617 |  36k|  30k|   0 |   0 |  34 | 266k|  23 | 1.330000e+02 |      --      |    Inf 
1472.83/1473.21	c  1463s|320000 |    26 | 14820 |  81M| 104 |   - |1617 |  36k|  29k|   0 |   0 |  34 | 274k|  23 | 1.330000e+02 |      --      |    Inf 
1502.11/1502.57	c  1493s|330000 |    32 | 14820 |  81M| 104 |   - |1617 |  36k|  24k|   0 |   0 |  34 | 283k|  23 | 1.330000e+02 |      --      |    Inf 
1530.82/1531.28	c  1521s|340000 |    52 | 14820 |  81M| 104 |   - |1617 |  36k|  29k|   0 |   0 |  34 | 291k|  23 | 1.330000e+02 |      --      |    Inf 
1560.61/1561.05	c  1551s|350000 |    34 | 14820 |  81M| 104 |   - |1617 |  36k|  22k|   0 |   0 |  34 | 300k|  23 | 1.330000e+02 |      --      |    Inf 
1592.59/1593.02	c  1582s|360000 |    28 | 14820 |  81M| 104 |   - |1617 |  36k|  28k|   0 |   0 |  34 | 309k|  23 | 1.330000e+02 |      --      |    Inf 
1620.69/1621.16	c  1610s|370000 |    38 | 14820 |  81M| 104 |   - |1617 |  36k|  31k|   0 |   0 |  34 | 316k|  23 | 1.330000e+02 |      --      |    Inf 
1646.98/1647.45	c  1636s|380000 |    30 | 14820 |  81M| 104 |   - |1617 |  36k|  23k|   0 |   0 |  34 | 326k|  23 | 1.330000e+02 |      --      |    Inf 
1674.88/1675.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1674.88/1675.39	c  1664s|390000 |    42 | 14820 |  81M| 104 |   - |1617 |  36k|  23k|   0 |   0 |  34 | 335k|  23 | 1.330000e+02 |      --      |    Inf 
1702.17/1702.60	c  1691s|400000 |    24 | 14820 |  81M| 104 |   - |1617 |  36k|  27k|   0 |   0 |  34 | 343k|  23 | 1.330000e+02 |      --      |    Inf 
1729.16/1729.61	c  1718s|410000 |    28 | 14820 |  81M| 104 |   - |1617 |  36k|  32k|   0 |   0 |  34 | 351k|  23 | 1.330000e+02 |      --      |    Inf 
1756.26/1756.73	c  1744s|420000 |    45 | 14820 |  81M| 104 |   - |1617 |  36k|  21k|   0 |   0 |  34 | 360k|  23 | 1.330000e+02 |      --      |    Inf 
1784.35/1784.82	c  1772s|430000 |    41 | 14820 |  81M| 104 |   - |1617 |  36k|  25k|   0 |   0 |  34 | 369k|  23 | 1.330000e+02 |      --      |    Inf 
1800.05/1800.50	c 
1800.05/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.50	c Solving Time (sec) : 1787.72
1800.05/1800.50	c Solving Nodes      : 435457
1800.05/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.50	c Dual Bound         : +1.33000000000007e+02
1800.05/1800.50	c Gap                : infinite
1800.05/1800.50	c NODE         435457
1800.05/1800.50	c DUAL BOUND   133
1800.05/1800.50	c PRIMAL BOUND 1e+20
1800.05/1800.50	c GAP          1e+20
1800.05/1800.50	s UNKNOWN
1800.05/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.50	c Solving Time       :    1787.72
1800.05/1800.50	c Original Problem   :
1800.05/1800.50	c   Problem name     : HOME/instance-1885178-1245264037.opb
1800.05/1800.50	c   Variables        : 1617 (1617 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50	c   Constraints      : 37237 initial, 37237 maximal
1800.05/1800.50	c Presolved Problem  :
1800.05/1800.50	c   Problem name     : t_HOME/instance-1885178-1245264037.opb
1800.05/1800.50	c   Variables        : 1617 (1617 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50	c   Constraints      : 36787 initial, 38326 maximal
1800.05/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.50	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.50	c   linear           :       0.24          0          0          0          0          0        450          0          0
1800.05/1800.50	c   logicor          :       0.09          0          0          0          0          0          0          0          0
1800.05/1800.50	c   root node        :          -         24          -          -         24          -          -          -          -
1800.05/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.50	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.05/1800.50	c   logicor          :      36787+         5    2746500          0          0     209659   24775858          0          0          0
1800.05/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.50	c   integral         :     182.30       0.00       0.00     182.30       0.00
1800.05/1800.50	c   logicor          :     513.05       0.03     513.02       0.00       0.00
1800.05/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.50	c   rootredcost      :       1.06          0          0          0
1800.05/1800.50	c   pseudoobj        :     257.12    3083059          0          0
1800.05/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.50	c   propagation      :      51.45     209659     209041     209041       19.9     164892       23.0          -
1800.05/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.50	c   applied globally :          -          -          -     373875       21.2          -          -          -
1800.05/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.50	c   cut pool         :       0.02          4          -          -         16          -    (maximal pool size: 1119)
1800.05/1800.50	c   redcost          :       0.00          5          0          0          0          0
1800.05/1800.50	c   impliedbounds    :       0.00          5          0          0          0          0
1800.05/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.50	c   gomory           :     264.27          5          0          0       1318          0
1800.05/1800.50	c   strongcg         :       9.07          5          0          0       2500          0
1800.05/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.50	c   clique           :       0.17          5          0          0         41          0
1800.05/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.50	c   mcf              :       0.05          1          0          0          0          0
1800.05/1800.50	c Pricers            :       Time      Calls       Vars
1800.05/1800.50	c   problem variables:       0.00          0          0
1800.05/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.50	c   relpscost        :     182.30          1          0          0          0          0          2
1800.05/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.50	c   inference        :      85.13     320175          0          0          0          0     640350
1800.05/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.50	c   LP solutions     :       0.00          -          0
1800.05/1800.50	c   pseudo solutions :       0.00          -          0
1800.05/1800.50	c   simplerounding   :       0.00          0          0
1800.05/1800.50	c   rounding         :       0.00          0          0
1800.05/1800.50	c   shifting         :       0.00          0          0
1800.05/1800.50	c   intshifting      :       0.00          0          0
1800.05/1800.50	c   oneopt           :       0.00          0          0
1800.05/1800.50	c   fixandinfer      :       0.00          0          0
1800.05/1800.50	c   feaspump         :       0.00          0          0
1800.05/1800.50	c   coefdiving       :       0.00          0          0
1800.05/1800.50	c   pscostdiving     :       0.00          0          0
1800.05/1800.50	c   fracdiving       :       0.00          0          0
1800.05/1800.50	c   veclendiving     :       0.00          0          0
1800.05/1800.50	c   intdiving        :       0.00          0          0
1800.05/1800.50	c   actconsdiving    :       0.00          0          0
1800.05/1800.50	c   objpscostdiving  :       0.00          0          0
1800.05/1800.50	c   rootsoldiving    :       0.00          0          0
1800.05/1800.50	c   linesearchdiving :       0.00          0          0
1800.05/1800.50	c   guideddiving     :       0.00          0          0
1800.05/1800.50	c   octane           :       0.00          0          0
1800.05/1800.50	c   rens             :       0.00          0          0
1800.05/1800.50	c   rins             :       0.00          0          0
1800.05/1800.50	c   localbranching   :       0.00          0          0
1800.05/1800.50	c   mutation         :       0.00          0          0
1800.05/1800.50	c   crossover        :       0.00          0          0
1800.05/1800.50	c   dins             :       0.00          0          0
1800.05/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.50	c   primal LP        :       0.07          0          0       0.00       0.00
1800.05/1800.50	c   dual LP          :     105.52          6      14820    2470.00     140.45
1800.05/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.50	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.50	c   strong branching :     182.30         23      18768     816.00     102.95
1800.05/1800.50	c     (at root node) :          -         23      18768     816.00          -
1800.05/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.50	c B&B Tree           :
1800.05/1800.50	c   number of runs   :          1
1800.05/1800.50	c   nodes            :     435457
1800.05/1800.50	c   nodes (total)    :     435457
1800.05/1800.50	c   nodes left       :         31
1800.05/1800.50	c   max depth        :        104
1800.05/1800.50	c   max depth (total):        104
1800.05/1800.50	c   backtracks       :     130475 (30.0%)
1800.05/1800.50	c   delayed cutoffs  :     204865
1800.05/1800.50	c   repropagations   :     485307 (11664926 domain reductions, 94378 cutoffs)
1800.05/1800.50	c   avg switch length:       3.39
1800.05/1800.50	c   switching time   :     236.40
1800.05/1800.50	c Solution           :
1800.05/1800.50	c   Solutions found  :          0 (0 improvements)
1800.05/1800.50	c   Primal Bound     :          -
1800.05/1800.50	c   Dual Bound       : +1.33000000000007e+02
1800.05/1800.50	c   Gap              :   infinite
1800.05/1800.50	c   Root Dual Bound  : +1.33000000000001e+02
1800.15/1800.67	c Time complete: 1800.21.

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-1885178-1245264037/watcher-1885178-1245264037 -o /tmp/evaluation-result-1885178-1245264037/solver-1885178-1245264037 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885178-1245264037.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.02 1.01 0.93 3/65 9066
/proc/meminfo: memFree=1784704/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=7616 CPUtime=0
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 600 0 0 0 0 0 0 0 20 0 1 0 12315997 7798784 584 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9066/statm: 1904 594 353 1256 0 643 0

[startup+0.104606 s]
/proc/loadavg: 1.02 1.01 0.93 3/65 9066
/proc/meminfo: memFree=1784704/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=14748 CPUtime=0.1
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 2643 0 0 0 9 1 0 0 21 0 1 0 12315997 15101952 2627 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9066/statm: 3687 2627 376 1256 0 2426 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14748

[startup+0.201614 s]
/proc/loadavg: 1.02 1.01 0.93 3/65 9066
/proc/meminfo: memFree=1784704/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=16956 CPUtime=0.19
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 3206 0 0 0 18 1 0 0 21 0 1 0 12315997 17362944 3190 1992294400 4194304 9342243 548682068736 18446744073709551615 8169872 0 0 4096 0 0 0 0 17 1 0 0
/proc/9066/statm: 4239 3190 376 1256 0 2978 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16956

[startup+0.301624 s]
/proc/loadavg: 1.02 1.01 0.93 3/65 9066
/proc/meminfo: memFree=1784704/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=20340 CPUtime=0.29
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 4067 0 0 0 27 2 0 0 22 0 1 0 12315997 20828160 4051 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/9066/statm: 5085 4051 376 1256 0 3824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20340

[startup+0.701661 s]
/proc/loadavg: 1.02 1.01 0.93 3/65 9066
/proc/meminfo: memFree=1784704/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=52488 CPUtime=0.69
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 12266 0 0 0 62 7 0 0 25 0 1 0 12315997 53747712 11896 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 13122 11896 461 1256 0 11861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52488

[startup+1.50174 s]
/proc/loadavg: 1.02 1.01 0.93 2/66 9067
/proc/meminfo: memFree=1721080/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=113452 CPUtime=1.49
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 25700 0 0 0 132 17 0 0 19 0 1 0 12315997 116174848 24335 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 28363 24335 602 1256 0 27102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113452

[startup+3.10189 s]
/proc/loadavg: 1.01 1.01 0.93 2/66 9067
/proc/meminfo: memFree=1688888/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=116864 CPUtime=3.09
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 26765 0 0 0 291 18 0 0 25 0 1 0 12315997 119668736 25400 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 29216 25400 602 1256 0 27955 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116864

[startup+6.30119 s]
/proc/loadavg: 1.01 1.01 0.93 2/66 9067
/proc/meminfo: memFree=1684024/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=118232 CPUtime=6.29
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 28175 0 0 0 610 19 0 0 25 0 1 0 12315997 121069568 25797 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 29558 25797 602 1256 0 28297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118232

[startup+12.7018 s]
/proc/loadavg: 1.01 1.01 0.93 2/66 9067
/proc/meminfo: memFree=1683576/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=118596 CPUtime=12.69
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 29251 0 0 0 1249 20 0 0 25 0 1 0 12315997 121442304 25785 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 29649 25785 621 1256 0 28388 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118596

[startup+25.502 s]
/proc/loadavg: 1.01 1.01 0.93 2/66 9067
/proc/meminfo: memFree=1682936/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=118596 CPUtime=25.48
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 29456 0 0 0 2528 20 0 0 25 0 1 0 12315997 121442304 25990 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 29649 25990 621 1256 0 28388 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118596

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1683064/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=118596 CPUtime=51.08
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 29456 0 0 0 5085 23 0 0 25 0 1 0 12315997 121442304 25990 1992294400 4194304 9342243 548682068736 18446744073709551615 6952974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 29649 25990 621 1256 0 28388 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118596

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1654456/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=147564 CPUtime=102.27
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 37613 0 0 0 10193 34 0 0 25 0 1 0 12315997 151105536 33134 1992294400 4194304 9342243 548682068736 18446744073709551615 6938324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 36891 33134 635 1256 0 35630 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 147564

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1654776/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=147644 CPUtime=162.25
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 38137 0 0 0 16185 40 0 0 25 0 1 0 12315997 151187456 33038 1992294400 4194304 9342243 548682068736 18446744073709551615 6938980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 36911 33038 635 1256 0 35650 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 147644

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1645816/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=156324 CPUtime=222.24
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 40377 0 0 0 22177 47 0 0 25 0 1 0 12315997 160075776 35278 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 39081 35278 635 1256 0 37820 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 156324

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1640056/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=161920 CPUtime=282.22
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 41818 0 0 0 28170 52 0 0 25 0 1 0 12315997 165806080 36719 1992294400 4194304 9342243 548682068736 18446744073709551615 6968347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 40480 36719 635 1256 0 39219 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 161920

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1639992/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=161920 CPUtime=342.21
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 41820 0 0 0 34164 57 0 0 25 0 1 0 12315997 165806080 36721 1992294400 4194304 9342243 548682068736 18446744073709551615 4339191 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 40480 36721 635 1256 0 39219 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 161920

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1628152/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=193028 CPUtime=402.19
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 45877 0 0 0 40158 61 0 0 25 0 1 0 12315997 197660672 39676 1992294400 4194304 9342243 548682068736 18446744073709551615 5874719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 48257 39676 640 1256 0 46996 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 193028

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1628152/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=193016 CPUtime=462.18
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 49534 0 0 0 46151 67 0 0 25 0 1 0 12315997 197648384 39678 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 48254 39678 640 1256 0 46993 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 193016

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1628088/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=193016 CPUtime=522.16
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 52687 0 0 0 52147 69 0 0 25 0 1 0 12315997 197648384 39679 1992294400 4194304 9342243 548682068736 18446744073709551615 6967275 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 48254 39679 640 1256 0 46993 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 193016

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1626488/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=169104 CPUtime=582.15
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 55910 0 0 0 58125 90 0 0 25 0 1 0 12315997 173162496 40202 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 42276 40202 663 1256 0 41015 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 169104

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1620792/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=174012 CPUtime=642.13
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 57241 0 0 0 64068 145 0 0 25 0 1 0 12315997 178188288 41533 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 43503 41533 663 1256 0 42242 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 174012

[startup+702.302 s]

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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1616888/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=178112 CPUtime=882.08
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58187 0 0 0 87854 354 0 0 25 0 1 0 12315997 182386688 42479 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 44528 42479 663 1256 0 43267 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 178112

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1615288/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=179744 CPUtime=942.06
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58584 0 0 0 93801 405 0 0 25 0 1 0 12315997 184057856 42876 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 44936 42876 663 1256 0 43675 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 179744

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1614968/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=180036 CPUtime=1002.05
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58651 0 0 0 99745 460 0 0 25 0 1 0 12315997 184356864 42943 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45009 42943 663 1256 0 43748 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 180036

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1614776/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=180184 CPUtime=1062.03
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58705 0 0 0 105686 517 0 0 25 0 1 0 12315997 184508416 42997 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45046 42997 663 1256 0 43785 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 180184

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1614456/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=180476 CPUtime=1122.02
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58773 0 0 0 111627 575 0 0 25 0 1 0 12315997 184807424 43065 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45119 43065 663 1256 0 43858 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 180476

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9067
/proc/meminfo: memFree=1614200/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=180900 CPUtime=1182
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58853 0 0 0 117571 629 0 0 25 0 1 0 12315997 185241600 43145 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45225 43145 663 1256 0 43964 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 180900

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1613496/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=181504 CPUtime=1241.98
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 58972 0 0 0 123517 681 0 0 25 0 1 0 12315997 185860096 43264 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45376 43264 663 1256 0 44115 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 181504

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1613176/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=181796 CPUtime=1301.96
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59036 0 0 0 129461 735 0 0 25 0 1 0 12315997 186159104 43328 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45449 43328 663 1256 0 44188 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 181796

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1612920/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=182088 CPUtime=1361.95
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59111 0 0 0 135406 789 0 0 25 0 1 0 12315997 186458112 43403 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45522 43403 663 1256 0 44261 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 182088

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1612792/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=182248 CPUtime=1421.94
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59129 0 0 0 141349 845 0 0 25 0 1 0 12315997 186621952 43421 1992294400 4194304 9342243 548682068736 18446744073709551615 5102411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45562 43421 663 1256 0 44301 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 182248

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1612728/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=182248 CPUtime=1481.92
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59152 0 0 0 147293 899 0 0 25 0 1 0 12315997 186621952 43444 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45562 43444 663 1256 0 44301 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 182248

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1612536/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=182524 CPUtime=1541.91
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59184 0 0 0 153240 951 0 0 25 0 1 0 12315997 186904576 43476 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45631 43476 663 1256 0 44370 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 182524

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1612216/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=182844 CPUtime=1601.89
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59262 0 0 0 159188 1001 0 0 25 0 1 0 12315997 187232256 43554 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45711 43554 663 1256 0 44450 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 182844

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1612024/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=182988 CPUtime=1661.87
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59318 0 0 0 165130 1057 0 0 25 0 1 0 12315997 187379712 43610 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45747 43610 663 1256 0 44486 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 182988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1611768/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=183284 CPUtime=1721.87
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59368 0 0 0 171072 1115 0 0 25 0 1 0 12315997 187682816 43660 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45821 43660 663 1256 0 44560 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 183284

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1611384/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=183596 CPUtime=1781.85
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59428 0 0 0 177016 1169 0 0 25 0 1 0 12315997 188002304 43720 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45899 43720 663 1256 0 44638 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 183596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1611384/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=183596 CPUtime=1800.05
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59430 0 0 0 178819 1186 0 0 25 0 1 0 12315997 188002304 43722 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9066/statm: 45899 43722 663 1256 0 44638 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 183596

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 9073
/proc/meminfo: memFree=1611384/2055920 swapFree=4192956/4192956
[pid=9066] ppid=9064 vsize=183596 CPUtime=1800.15
/proc/9066/stat : 9066 (pbscip.linux.x8) R 9064 9066 8452 0 -1 4194304 59436 0 0 0 178829 1186 0 0 25 0 1 0 12315997 188002304 43728 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/9066/statm: 45899 43728 669 1256 0 44638 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 183596

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.23
CPU user time (s): 1788.34
CPU system time (s): 11.8882
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 193632

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

runsolver used 2.10268 second user time and 4.23136 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-17 20:40:37
IDJOB=1885178
IDBENCH=72031
IDSOLVER=684
FILE ID=node8/1885178-1245264037
PBS_JOBID= 9372445
Free space on /tmp= 66288 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/edgematching/all/em_7_4_8_all.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-1885178-1245264037/watcher-1885178-1245264037 -o /tmp/evaluation-result-1885178-1245264037/solver-1885178-1245264037 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885178-1245264037.opb

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

MD5SUM BENCH= d458ef012a7669d1eadf40f4590f5378
RANDOM SEED=961803517

node8.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:       1785184 kB
Buffers:         48012 kB
Cached:         165508 kB
SwapCached:          0 kB
Active:          77704 kB
Inactive:       149640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1785184 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12816 kB
Writeback:           0 kB
Mapped:          23628 kB
Slab:            29208 kB
Committed_AS:    91712 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66276 MiB
End job on node8 at 2009-06-17 21:10:40