Trace number 1884727

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PURE-SAT/SAT09/CRAFTED/parity-games/
instance_n5_i6_pp_ci_ce.opb
MD5SUM3cd92adc9cf54d1dc3dad55ee2840a98
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 benchmark4.87626
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4380
Total number of constraints31980
Number of constraints which are clauses31980
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 constraint20
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 21
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.49/0.50	c SCIP version 1.1.0.7
0.49/0.50	c LP-Solver SoPlex 1.4.1
0.49/0.50	c user parameter file <scip.set> not found - using default parameters
0.49/0.50	c read problem <HOME/instance-1884727-1245260283.opb>
0.49/0.50	c original problem has 4380 variables (4380 bin, 0 int, 0 impl, 0 cont) and 31980 constraints
0.59/0.62	c No objective function, only one solution is needed.
0.59/0.62	c start presolving problem
0.59/0.62	c presolving:
0.79/0.84	c (round 1) 946 del vars, 190 del conss, 90 chg bounds, 0 chg sides, 72 chg coeffs, 0 upgd conss, 73262 impls, 0 clqs
0.89/0.94	c (round 2) 946 del vars, 3162 del conss, 90 chg bounds, 960 chg sides, 1032 chg coeffs, 0 upgd conss, 75182 impls, 0 clqs
1.29/1.32	c (round 3) 946 del vars, 5086 del conss, 90 chg bounds, 960 chg sides, 1032 chg coeffs, 27127 upgd conss, 75182 impls, 0 clqs
1.29/1.39	c (round 4) 946 del vars, 5094 del conss, 90 chg bounds, 960 chg sides, 1032 chg coeffs, 27127 upgd conss, 75182 impls, 0 clqs
1.39/1.44	c presolving (5 rounds):
1.39/1.44	c  946 deleted vars, 5094 deleted constraints, 90 tightened bounds, 0 added holes, 960 changed sides, 1032 changed coefficients
1.39/1.44	c  75182 implications, 0 cliques
1.39/1.44	c presolved problem has 3434 variables (3434 bin, 0 int, 0 impl, 0 cont) and 26886 constraints
1.39/1.44	c   26886 constraints of type <logicor>
1.39/1.44	c transformed objective value is always integral (scale: 1)
1.39/1.44	c Presolving Time: 0.71
1.39/1.44	c PURESAT
1.39/1.44	c -----------------------------------------------------------------------------------------------
1.39/1.44	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.44	c separating/flowcover/freq = c -1
1.39/1.44	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.44	c separating/cmir/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/veclendiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/veclendiving/maxlpiterquot = c 0.075
1.39/1.44	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/veclendiving/freq = c -1
1.39/1.44	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.44	c heuristics/simplerounding/freq = c -1
1.39/1.44	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/shifting/freq = c -1
1.39/1.44	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.44	c heuristics/rounding/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.39/1.44	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.39/1.44	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 20]
1.39/1.44	c heuristics/rootsoldiving/freq = c -1
1.39/1.44	c # number of nodes added to the contingent of the total nodes
1.39/1.44	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.39/1.44	c heuristics/rens/nodesofs = c 2000
1.39/1.44	c # minimum percentage of integer variables that have to be fixable 
1.39/1.44	c # [type: real, range: [0,1], default: 0.5]
1.39/1.44	c heuristics/rens/minfixingrate = c 0.3
1.39/1.44	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.44	c heuristics/rens/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/pscostdiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.39/1.44	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/pscostdiving/freq = c -1
1.39/1.44	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.44	c heuristics/oneopt/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to total iteration number
1.39/1.44	c # [type: real, range: [0,1], default: 0.01]
1.39/1.44	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.39/1.44	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 20]
1.39/1.44	c heuristics/objpscostdiving/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.39/1.44	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/linesearchdiving/freq = c -1
1.39/1.44	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/intshifting/freq = c -1
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/intdiving/maxlpiterquot = c 0.075
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/guideddiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/guideddiving/maxlpiterquot = c 0.075
1.39/1.44	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/guideddiving/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/fracdiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/fracdiving/maxlpiterquot = c 0.075
1.39/1.44	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/fracdiving/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/feaspump/maxlpiterofs = c 2000
1.39/1.44	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 20]
1.39/1.44	c heuristics/feaspump/freq = c -1
1.39/1.44	c # minimum percentage of integer variables that have to be fixed 
1.39/1.44	c # [type: real, range: [0,1], default: 0.666]
1.39/1.44	c heuristics/crossover/minfixingrate = c 0.5
1.39/1.44	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.39/1.44	c # [type: real, range: [0,1], default: 0.1]
1.39/1.44	c heuristics/crossover/nodesquot = c 0.15
1.39/1.44	c # number of nodes without incumbent change that heuristic should wait
1.39/1.44	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.39/1.44	c heuristics/crossover/nwaitingnodes = c 100
1.39/1.44	c # number of nodes added to the contingent of the total nodes
1.39/1.44	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.39/1.44	c heuristics/crossover/nodesofs = c 750
1.39/1.44	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 30]
1.39/1.44	c heuristics/crossover/freq = c -1
1.39/1.44	c # additional number of allowed LP iterations
1.39/1.44	c # [type: int, range: [0,2147483647], default: 1000]
1.39/1.44	c heuristics/coefdiving/maxlpiterofs = c 1500
1.39/1.44	c # maximal fraction of diving LP iterations compared to node LP iterations
1.39/1.44	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.39/1.44	c heuristics/coefdiving/maxlpiterquot = c 0.075
1.39/1.44	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: 10]
1.39/1.44	c heuristics/coefdiving/freq = c -1
1.39/1.44	c # priority of node selection rule <dfs> in standard mode
1.39/1.44	c # [type: int, range: [-536870912,536870911], default: 0]
1.39/1.44	c nodeselection/dfs/stdpriority = c 1000000
1.39/1.44	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.39/1.44	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.44	c presolving/probing/maxrounds = c 0
1.39/1.44	c # should presolving try to simplify knapsacks
1.39/1.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.44	c constraints/knapsack/simplifyinequalities = c TRUE
1.39/1.44	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.39/1.44	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.39/1.44	c constraints/knapsack/disaggregation = c FALSE
1.39/1.44	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.45	c constraints/knapsack/maxnumcardlift = c 0
1.39/1.45	c # should presolving try to simplify inequalities
1.39/1.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45	c constraints/linear/simplifyinequalities = c TRUE
1.39/1.45	c # maximal number of separation rounds in the root node (-1: unlimited)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.45	c separating/maxroundsroot = c 5
1.39/1.45	c # maximal number of separation rounds per node (-1: unlimited)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: 5]
1.39/1.45	c separating/maxrounds = c 1
1.39/1.45	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)
1.39/1.45	c # [type: char, range: {lafpsqd}, default: l]
1.39/1.45	c lp/pricing = c a
1.39/1.45	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.45	c lp/solvefreq = c 0
1.39/1.45	c # solving stops, if the given number of solutions were found (-1: no limit)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.45	c limits/solutions = c 1
1.39/1.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.45	c limits/memory = c 1620
1.39/1.45	c # maximal time in seconds to run
1.39/1.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.45	c limits/time = c 1791
1.39/1.45	c # frequency for displaying node information lines
1.39/1.45	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.45	c display/freq = c 10000
1.39/1.45	c # should enforcement of pseudo solution be disabled?
1.39/1.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45	c constraints/disableenfops = c TRUE
1.39/1.45	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.45	c constraints/agelimit = c 1
1.39/1.45	c # should binary conflicts be preferred?
1.39/1.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45	c conflict/preferbinary = c TRUE
1.39/1.45	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.39/1.45	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.45	c conflict/interconss = c 0
1.39/1.45	c -----------------------------------------------------------------------------------------------
1.39/1.45	c start solving problem
1.39/1.45	c 
13.68/13.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
13.68/13.70	c  13.0s|     1 |     0 |  3379 |  43M|   0 |1430 |3434 |  26k|  26k|3434 |  26k|   0 |   0 |   0 | 3.346071e+02 |      --      |    Inf 
17.49/17.57	c  16.8s|     1 |     0 |  4087 |  43M|   0 |1422 |3434 |  26k|  26k|3434 |  26k|  12 |   0 |   0 | 3.386696e+02 |      --      |    Inf 
20.38/20.47	c  19.7s|     1 |     0 |  4596 |  43M|   0 |1401 |3434 |  26k|  26k|3434 |  26k|  20 |   0 |   0 | 3.402918e+02 |      --      |    Inf 
24.58/24.65	c  23.9s|     1 |     0 |  5321 |  44M|   0 |1435 |3434 |  26k|  26k|3434 |  26k|  26 |   0 |   0 | 3.415211e+02 |      --      |    Inf 
28.98/29.03	c  28.3s|     1 |     0 |  6088 |  44M|   0 |1445 |3434 |  26k|  26k|3434 |  26k|  34 |   0 |   0 | 3.432048e+02 |      --      |    Inf 
33.87/33.93	c  33.1s|     1 |     0 |  6917 |  45M|   0 |1447 |3434 |  26k|  26k|3434 |  26k|  42 |   0 |   0 | 3.447993e+02 |      --      |    Inf 
120.56/120.66	c   120s|     1 |     2 |  6917 |  45M|   0 |1447 |3434 |  26k|  26k|3434 |  26k|  42 |   0 |  19 | 3.447993e+02 |      --      |    Inf 
158.85/158.91	c   158s| 10000 |    53 |  6917 |  47M| 126 |   - |3434 |  31k|  12k|   0 |   0 |  42 |  15k|  19 | 3.447993e+02 |      --      |    Inf 
198.64/198.71	c   197s| 20000 |    49 |  6917 |  49M| 126 |   - |3434 |  37k|  10k|   0 |   0 |  42 |  31k|  19 | 3.447993e+02 |      --      |    Inf 
238.54/238.64	c   237s| 30000 |    38 |  6917 |  50M| 126 |   - |3434 |  42k|9813 |   0 |   0 |  42 |  46k|  19 | 3.447993e+02 |      --      |    Inf 
278.43/278.53	c   276s| 40000 |    37 |  6917 |  51M| 126 |   - |3434 |  47k|  10k|   0 |   0 |  42 |  62k|  19 | 3.447993e+02 |      --      |    Inf 
319.52/319.66	c   317s| 50000 |    24 |  6917 |  52M| 126 |   - |3434 |  51k|8911 |   0 |   0 |  42 |  77k|  19 | 3.447993e+02 |      --      |    Inf 
360.81/360.91	c   358s| 60000 |    27 |  6917 |  53M| 126 |   - |3434 |  56k|9171 |   0 |   0 |  42 |  92k|  19 | 3.447993e+02 |      --      |    Inf 
401.90/402.10	c   399s| 70000 |    16 |  6917 |  54M| 126 |   - |3434 |  62k|  10k|   0 |   0 |  42 | 108k|  19 | 3.447993e+02 |      --      |    Inf 
443.59/443.71	c   440s| 80000 |    12 |  6917 |  56M| 126 |   - |3434 |  67k|  10k|   0 |   0 |  42 | 124k|  19 | 3.447993e+02 |      --      |    Inf 
485.28/485.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
485.28/485.43	c   481s| 90000 |    17 |  6917 |  57M| 126 |   - |3434 |  72k|  10k|   0 |   0 |  42 | 140k|  19 | 3.447993e+02 |      --      |    Inf 
527.07/527.27	c   523s|100000 |    14 |  6917 |  58M| 126 |   - |3434 |  77k|  10k|   0 |   0 |  42 | 156k|  19 | 3.447993e+02 |      --      |    Inf 
567.66/567.83	c   563s|110000 |     8 |  6917 |  59M| 126 |   - |3434 |  82k|  12k|   0 |   0 |  42 | 171k|  19 | 3.447993e+02 |      --      |    Inf 
608.35/608.51	c   603s|120000 |    16 |  6917 |  60M| 126 |   - |3434 |  88k|  11k|   0 |   0 |  42 | 185k|  19 | 3.447993e+02 |      --      |    Inf 
648.15/648.38	c   643s|130000 |    16 |  6917 |  62M| 126 |   - |3434 |  93k|9992 |   0 |   0 |  42 | 199k|  19 | 3.447993e+02 |      --      |    Inf 
689.04/689.24	c   683s|140000 |    11 |  6917 |  63M| 126 |   - |3434 |  98k|  10k|   0 |   0 |  42 | 215k|  19 | 3.447993e+02 |      --      |    Inf 
730.83/731.06	c   725s|150000 |    12 |  6917 |  64M| 126 |   - |3434 | 104k|9488 |   0 |   0 |  42 | 231k|  19 | 3.447993e+02 |      --      |    Inf 
775.71/775.97	c   769s|160000 |    18 |  6917 |  65M| 126 |   - |3434 | 109k|  10k|   0 |   0 |  42 | 246k|  19 | 3.447993e+02 |      --      |    Inf 
814.01/814.22	c   807s|170000 |    17 |  6917 |  67M| 126 |   - |3434 | 114k|  10k|   0 |   0 |  42 | 261k|  19 | 3.447993e+02 |      --      |    Inf 
855.30/855.51	c   848s|180000 |    19 |  6917 |  68M| 126 |   - |3434 | 120k|9395 |   0 |   0 |  42 | 277k|  19 | 3.447993e+02 |      --      |    Inf 
900.99/901.21	c   893s|190000 |    16 |  6917 |  69M| 126 |   - |3434 | 124k|9882 |   0 |   0 |  42 | 293k|  19 | 3.447993e+02 |      --      |    Inf 
939.19/939.42	c   931s|200000 |     9 |  6917 |  70M| 126 |   - |3434 | 130k|  10k|   0 |   0 |  42 | 308k|  19 | 3.447993e+02 |      --      |    Inf 
978.27/978.57	c   970s|210000 |    33 |  6917 |  74M| 126 |   - |3434 | 133k|  13k|   0 |   0 |  42 | 321k|  19 | 3.447993e+02 |      --      |    Inf 
1016.56/1016.85	c  1008s|220000 |    32 |  6917 |  74M| 126 |   - |3434 | 133k|  17k|   0 |   0 |  42 | 329k|  19 | 3.447993e+02 |      --      |    Inf 
1058.06/1058.31	c  1049s|230000 |    29 |  6917 |  74M| 126 |   - |3434 | 133k|  13k|   0 |   0 |  42 | 337k|  19 | 3.447993e+02 |      --      |    Inf 
1098.35/1098.70	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1098.35/1098.70	c  1089s|240000 |    20 |  6917 |  74M| 126 |   - |3434 | 133k|  13k|   0 |   0 |  42 | 345k|  19 | 3.447993e+02 |      --      |    Inf 
1139.34/1139.62	c  1130s|250000 |    23 |  6917 |  74M| 126 |   - |3434 | 133k|  12k|   0 |   0 |  42 | 353k|  19 | 3.447993e+02 |      --      |    Inf 
1187.63/1187.91	c  1178s|260000 |    21 |  6917 |  74M| 126 |   - |3434 | 133k|  12k|   0 |   0 |  42 | 360k|  19 | 3.447993e+02 |      --      |    Inf 
1232.32/1232.69	c  1222s|270000 |    21 |  6917 |  74M| 126 |   - |3434 | 133k|  15k|   0 |   0 |  42 | 368k|  19 | 3.447993e+02 |      --      |    Inf 
1277.92/1278.21	c  1267s|280000 |    18 |  6917 |  74M| 126 |   - |3434 | 133k|  15k|   0 |   0 |  42 | 376k|  19 | 3.447993e+02 |      --      |    Inf 
1324.40/1324.73	c  1313s|290000 |    23 |  6917 |  74M| 126 |   - |3434 | 133k|  15k|   0 |   0 |  42 | 384k|  19 | 3.447993e+02 |      --      |    Inf 
1371.39/1371.74	c  1360s|300000 |    20 |  6917 |  74M| 126 |   - |3434 | 133k|  11k|   0 |   0 |  42 | 391k|  19 | 3.447993e+02 |      --      |    Inf 
1418.37/1418.79	c  1407s|310000 |    22 |  6917 |  74M| 126 |   - |3434 | 133k|  11k|   0 |   0 |  42 | 398k|  19 | 3.447993e+02 |      --      |    Inf 
1463.16/1463.58	c  1451s|320000 |    26 |  6917 |  74M| 126 |   - |3434 | 133k|  12k|   0 |   0 |  42 | 406k|  19 | 3.447993e+02 |      --      |    Inf 
1509.75/1510.12	c  1497s|330000 |    17 |  6917 |  74M| 126 |   - |3434 | 133k|  14k|   0 |   0 |  42 | 415k|  19 | 3.447993e+02 |      --      |    Inf 
1554.24/1554.62	c  1541s|340000 |    14 |  6917 |  74M| 126 |   - |3434 | 133k|  13k|   0 |   0 |  42 | 423k|  19 | 3.447993e+02 |      --      |    Inf 
1595.34/1595.78	c  1582s|350000 |    16 |  6917 |  74M| 126 |   - |3434 | 133k|  12k|   0 |   0 |  42 | 430k|  19 | 3.447993e+02 |      --      |    Inf 
1636.12/1636.59	c  1623s|360000 |    16 |  6917 |  74M| 126 |   - |3434 | 133k|  14k|   0 |   0 |  42 | 438k|  19 | 3.447993e+02 |      --      |    Inf 
1678.52/1678.95	c  1665s|370000 |    18 |  6917 |  74M| 126 |   - |3434 | 133k|  14k|   0 |   0 |  42 | 445k|  19 | 3.447993e+02 |      --      |    Inf 
1721.41/1721.80	c  1707s|380000 |    20 |  6917 |  74M| 126 |   - |3434 | 133k|  14k|   0 |   0 |  42 | 452k|  19 | 3.447993e+02 |      --      |    Inf 
1764.00/1764.48	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1764.00/1764.48	c  1749s|390000 |    14 |  6917 |  74M| 126 |   - |3434 | 133k|  13k|   0 |   0 |  42 | 460k|  19 | 3.447993e+02 |      --      |    Inf 
1800.10/1800.50	c 
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time (sec) : 1785.21
1800.10/1800.50	c Solving Nodes      : 398487
1800.10/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.10/1800.50	c Dual Bound         : +3.44799268456240e+02
1800.10/1800.50	c Gap                : infinite
1800.10/1800.50	c NODE         398487
1800.10/1800.50	c DUAL BOUND   344.799
1800.10/1800.50	c PRIMAL BOUND 1e+20
1800.10/1800.50	c GAP          1e+20
1800.10/1800.50	s UNKNOWN
1800.10/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.50	c Solving Time       :    1785.21
1800.10/1800.50	c Original Problem   :
1800.10/1800.50	c   Problem name     : HOME/instance-1884727-1245260283.opb
1800.10/1800.50	c   Variables        : 4380 (4380 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.50	c   Constraints      : 31980 initial, 31980 maximal
1800.10/1800.50	c Presolved Problem  :
1800.10/1800.50	c   Problem name     : t_HOME/instance-1884727-1245260283.opb
1800.10/1800.50	c   Variables        : 3434 (3434 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.50	c   Constraints      : 26886 initial, 134259 maximal
1800.10/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   implics          :       0.05          0        824          0          0          0          0          0          0
1800.10/1800.50	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.50	c   linear           :       0.35         90         32          0         90          0       4853        960       1032
1800.10/1800.50	c   logicor          :       0.26          0          0          0          0          0        241          0          0
1800.10/1800.50	c   root node        :          -          2          -          -          2          -          -          -          -
1800.10/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.50	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.10/1800.50	c   logicor          :      26886+         5    3557780          0          0     214325   34527838          0          0          0
1800.10/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.50	c   integral         :      86.58       0.00       0.00      86.58       0.00
1800.10/1800.50	c   logicor          :     401.59       0.01     401.58       0.00       0.00
1800.10/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.50	c   rootredcost      :       1.55          0          0          0
1800.10/1800.50	c   pseudoobj        :     783.05    3810544          0          0
1800.10/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.50	c   propagation      :      51.27     214325     213409     213409       12.8     253940        6.0          -
1800.10/1800.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.50	c   applied globally :          -          -          -     467343        9.1          -          -          -
1800.10/1800.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.10/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.50	c   cut pool         :       0.00          4          -          -        178          -    (maximal pool size: 481)
1800.10/1800.50	c   redcost          :       0.00          5          0          0          0          0
1800.10/1800.50	c   impliedbounds    :       0.03          5          0          0          0          0
1800.10/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.50	c   gomory           :       2.16          5          0          0       2500          0
1800.10/1800.50	c   strongcg         :       2.10          5          0          0       2500          0
1800.10/1800.50	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.50	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.50	c   clique           :       0.04          5          0          0         30          0
1800.10/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.50	c   mcf              :       0.06          1          0          0          0          0
1800.10/1800.50	c Pricers            :       Time      Calls       Vars
1800.10/1800.50	c   problem variables:       0.00          0          0
1800.10/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.50	c   relpscost        :      86.58          1          0          0          0          0          2
1800.10/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   inference        :     201.43     282036          0          0          0          0     564072
1800.10/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.50	c   LP solutions     :       0.00          -          0
1800.10/1800.50	c   pseudo solutions :       0.00          -          0
1800.10/1800.50	c   simplerounding   :       0.00          0          0
1800.10/1800.50	c   rounding         :       0.00          0          0
1800.10/1800.50	c   shifting         :       0.00          0          0
1800.10/1800.50	c   intshifting      :       0.00          0          0
1800.10/1800.50	c   oneopt           :       0.00          0          0
1800.10/1800.50	c   fixandinfer      :       0.00          0          0
1800.10/1800.50	c   feaspump         :       0.00          0          0
1800.10/1800.50	c   coefdiving       :       0.00          0          0
1800.10/1800.50	c   pscostdiving     :       0.00          0          0
1800.10/1800.50	c   fracdiving       :       0.00          0          0
1800.10/1800.50	c   veclendiving     :       0.00          0          0
1800.10/1800.50	c   intdiving        :       0.00          0          0
1800.10/1800.50	c   actconsdiving    :       0.00          0          0
1800.10/1800.50	c   objpscostdiving  :       0.00          0          0
1800.10/1800.50	c   rootsoldiving    :       0.00          0          0
1800.10/1800.50	c   linesearchdiving :       0.00          0          0
1800.10/1800.50	c   guideddiving     :       0.00          0          0
1800.10/1800.50	c   octane           :       0.00          0          0
1800.10/1800.50	c   rens             :       0.00          0          0
1800.10/1800.50	c   rins             :       0.00          0          0
1800.10/1800.50	c   localbranching   :       0.00          0          0
1800.10/1800.50	c   mutation         :       0.00          0          0
1800.10/1800.50	c   crossover        :       0.00          0          0
1800.10/1800.50	c   dins             :       0.00          0          0
1800.10/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.50	c   primal LP        :       0.03          0          0       0.00       0.00
1800.10/1800.50	c   dual LP          :      27.72          6       6917    1152.83     249.53
1800.10/1800.50	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.50	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.50	c   strong branching :      86.58         19      18799     989.42     217.13
1800.10/1800.50	c     (at root node) :          -         19      18799     989.42          -
1800.10/1800.50	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.50	c B&B Tree           :
1800.10/1800.50	c   number of runs   :          1
1800.10/1800.50	c   nodes            :     398487
1800.10/1800.50	c   nodes (total)    :     398487
1800.10/1800.50	c   nodes left       :         24
1800.10/1800.50	c   max depth        :        126
1800.10/1800.50	c   max depth (total):        126
1800.10/1800.50	c   backtracks       :     118888 (29.8%)
1800.10/1800.50	c   delayed cutoffs  :     165564
1800.10/1800.50	c   repropagations   :     456425 (17039297 domain reductions, 97875 cutoffs)
1800.10/1800.50	c   avg switch length:       3.32
1800.10/1800.50	c   switching time   :     195.58
1800.10/1800.50	c Solution           :
1800.10/1800.50	c   Solutions found  :          0 (0 improvements)
1800.10/1800.50	c   Primal Bound     :          -
1800.10/1800.50	c   Dual Bound       : +3.44799268456240e+02
1800.10/1800.50	c   Gap              :   infinite
1800.10/1800.50	c   Root Dual Bound  : +3.44799268456240e+02
1800.30/1800.77	c Time complete: 1800.36.

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-1884727-1245260283/watcher-1884727-1245260283 -o /tmp/evaluation-result-1884727-1245260283/solver-1884727-1245260283 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884727-1245260283.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.00 1.00 0.94 3/64 10132
/proc/meminfo: memFree=1824768/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=4324 CPUtime=0
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 463 0 0 0 0 0 0 0 18 0 1 0 193628706 4427776 447 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 1081 448 286 886 0 191 0

[startup+0.023991 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 10132
/proc/meminfo: memFree=1824768/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=9096 CPUtime=0.01
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 1588 0 0 0 1 0 0 0 18 0 1 0 193628706 9314304 1570 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 2274 1570 351 886 0 1384 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9096

[startup+0.101996 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 10132
/proc/meminfo: memFree=1824768/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=12712 CPUtime=0.09
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 2511 0 0 0 9 0 0 0 18 0 1 0 193628706 13017088 2493 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 3178 2493 351 886 0 2288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12712

[startup+0.302008 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 10132
/proc/meminfo: memFree=1824768/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=19728 CPUtime=0.29
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 4239 0 0 0 28 1 0 0 19 0 1 0 193628706 20201472 4221 1992294400 4194304 7823515 548682068736 18446744073709551615 4204004 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 4932 4221 351 886 0 4042 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19728

[startup+0.701035 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 10132
/proc/meminfo: memFree=1824768/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=53640 CPUtime=0.69
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 12828 0 0 0 64 5 0 0 22 0 1 0 193628706 54927360 12456 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 13410 12456 432 886 0 12520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53640

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1769528/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=72708 CPUtime=1.49
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 18487 0 0 0 132 17 0 0 17 0 1 0 193628706 74452992 17359 1992294400 4194304 7823515 548682068736 18446744073709551615 4294502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 18177 17359 481 886 0 17287 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72708

[startup+3.10219 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1733112/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=105784 CPUtime=3.09
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 26743 0 0 0 289 20 0 0 25 0 1 0 193628706 108322816 24571 1992294400 4194304 7823515 548682068736 18446744073709551615 6211406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 26446 24571 515 886 0 25556 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105784

[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1723064/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=110244 CPUtime=6.29
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 28098 0 0 0 608 21 0 0 25 0 1 0 193628706 112889856 25848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 27561 25848 515 886 0 26671 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110244

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1721848/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=110704 CPUtime=12.68
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 28427 0 0 0 1246 22 0 0 25 0 1 0 193628706 113360896 26134 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 27676 26134 515 886 0 26786 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 110704

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1709624/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=126028 CPUtime=25.48
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 32426 0 0 0 2521 27 0 0 25 0 1 0 193628706 129052672 30083 1992294400 4194304 7823515 548682068736 18446744073709551615 6911791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 31507 30083 543 886 0 30617 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126028

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1703160/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=128356 CPUtime=51.07
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 33310 0 0 0 5076 31 0 0 25 0 1 0 193628706 131436544 30895 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 32089 30895 547 886 0 31199 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 128356

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1703096/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=128356 CPUtime=102.26
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 33312 0 0 0 10188 38 0 0 25 0 1 0 193628706 131436544 30897 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 32089 30897 547 886 0 31199 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 128356

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1702968/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=128356 CPUtime=162.25
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 33346 0 0 0 16150 75 0 0 25 0 1 0 193628706 131436544 30931 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 32089 30931 553 886 0 31199 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 128356

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1698872/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=132868 CPUtime=222.24
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 34348 0 0 0 22096 128 0 0 25 0 1 0 193628706 136056832 31933 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 33217 31933 553 886 0 32327 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 132868

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1694072/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=138296 CPUtime=282.22
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 35534 0 0 0 28044 178 0 0 25 0 1 0 193628706 141615104 33119 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 34574 33119 553 886 0 33684 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 138296

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1686328/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=146924 CPUtime=342.21
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 37469 0 0 0 33990 231 0 0 25 0 1 0 193628706 150450176 35054 1992294400 4194304 7823515 548682068736 18446744073709551615 4207256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 36731 35054 553 886 0 35841 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 146924

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1681528/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=152128 CPUtime=402.2
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 38656 0 0 0 39935 285 0 0 25 0 1 0 193628706 155779072 36241 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 38032 36241 553 886 0 37142 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 152128

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1676024/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=158252 CPUtime=462.19
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 40017 0 0 0 45879 340 0 0 25 0 1 0 193628706 162050048 37602 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 39563 37602 553 886 0 38673 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 158252

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1671800/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=163032 CPUtime=522.17
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 41067 0 0 0 51823 394 0 0 25 0 1 0 193628706 166944768 38652 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 40758 38652 553 886 0 39868 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 163032

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1667320/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=168800 CPUtime=582.16
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 42241 0 0 0 57775 441 0 0 25 0 1 0 193628706 172851200 39826 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 42200 39826 553 886 0 41310 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 168800

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10133
/proc/meminfo: memFree=1662072/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=174128 CPUtime=642.16
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 43487 0 0 0 63724 492 0 0 25 0 1 0 193628706 178307072 41072 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 43532 41072 553 886 0 42642 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 174128

[startup+702.301 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10135
/proc/meminfo: memFree=1647032/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=189784 CPUtime=942.08
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 47183 0 0 0 93463 745 0 0 25 0 1 0 193628706 194338816 44768 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 47446 44768 553 886 0 46556 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 189784

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10135
/proc/meminfo: memFree=1634168/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=202676 CPUtime=1002.07
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 50379 0 0 0 99414 793 0 0 25 0 1 0 193628706 207540224 47964 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 50669 47964 553 886 0 49779 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 202676

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10135
/proc/meminfo: memFree=1627000/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=209848 CPUtime=1062.05
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 52163 0 0 0 105364 841 0 0 25 0 1 0 193628706 214884352 49748 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 52462 49748 553 886 0 51572 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 209848

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10135
/proc/meminfo: memFree=1622328/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=214500 CPUtime=1122.04
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 53329 0 0 0 111312 892 0 0 25 0 1 0 193628706 219648000 50914 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 53625 50914 553 886 0 52735 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 214500

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10135
/proc/meminfo: memFree=1619512/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=217368 CPUtime=1182.03
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 54019 0 0 0 117264 939 0 0 25 0 1 0 193628706 222584832 51604 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 54342 51604 553 886 0 53452 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 217368

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 10135
/proc/meminfo: memFree=1619256/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=217516 CPUtime=1242.02
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 54049 0 0 0 123211 991 0 0 25 0 1 0 193628706 222736384 51634 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 54379 51634 553 886 0 53489 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 217516

[startup+1302.3 s]
/proc/loadavg: 1.06 1.02 0.94 2/65 10135
/proc/meminfo: memFree=1615800/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=221008 CPUtime=1302.01
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 54884 0 0 0 129159 1042 0 0 25 0 1 0 193628706 226312192 52469 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 55252 52469 553 886 0 54362 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 221008

[startup+1362.3 s]
/proc/loadavg: 1.06 1.03 0.95 2/65 10135
/proc/meminfo: memFree=1615032/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=221864 CPUtime=1361.99
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 55078 0 0 0 135112 1087 0 0 25 0 1 0 193628706 227188736 52663 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 55466 52663 553 886 0 54576 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 221864

[startup+1422.31 s]
/proc/loadavg: 1.02 1.02 0.95 2/65 10141
/proc/meminfo: memFree=1614712/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=222004 CPUtime=1421.98
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 55109 0 0 0 141064 1134 0 0 25 0 1 0 193628706 227332096 52694 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 55501 52694 553 886 0 54611 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 222004

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 0.95 2/65 10141
/proc/meminfo: memFree=1614584/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=222340 CPUtime=1481.96
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 55152 0 0 0 147019 1177 0 0 25 0 1 0 193628706 227676160 52737 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 55585 52737 553 886 0 54695 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 222340

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/65 10141
/proc/meminfo: memFree=1613240/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=223624 CPUtime=1541.95
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 55477 0 0 0 152970 1225 0 0 25 0 1 0 193628706 228990976 53062 1992294400 4194304 7823515 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 55906 53062 553 886 0 55016 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 223624

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10141
/proc/meminfo: memFree=1609720/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=227192 CPUtime=1601.93
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 56361 0 0 0 158916 1277 0 0 25 0 1 0 193628706 232644608 53946 1992294400 4194304 7823515 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 56798 53946 553 886 0 55908 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 227192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10141
/proc/meminfo: memFree=1606200/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=230820 CPUtime=1661.92
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 57234 0 0 0 164862 1330 0 0 25 0 1 0 193628706 236359680 54819 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 57705 54819 553 886 0 56815 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 230820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10141
/proc/meminfo: memFree=1604664/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=232208 CPUtime=1721.91
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 57607 0 0 0 170813 1378 0 0 25 0 1 0 193628706 237780992 55192 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 58052 55192 553 886 0 57162 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 232208

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10141
/proc/meminfo: memFree=1602232/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=234552 CPUtime=1781.89
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 58184 0 0 0 176762 1427 0 0 25 0 1 0 193628706 240181248 55769 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 58638 55769 553 886 0 57748 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 234552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 10141
/proc/meminfo: memFree=1602168/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=234692 CPUtime=1800.1
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 58196 0 0 0 178569 1441 0 0 25 0 1 0 193628706 240324608 55781 1992294400 4194304 7823515 548682068736 18446744073709551615 5103014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10132/statm: 58673 55781 553 886 0 57783 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 234692

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.95 2/66 10142
/proc/meminfo: memFree=1601968/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=234908 CPUtime=1800.2
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 58254 0 0 0 178579 1441 0 0 25 0 1 0 193628706 240545792 55839 1992294400 4194304 7823515 548682068736 18446744073709551615 4211589 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 58727 55839 559 886 0 57837 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 234908

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/66 10142
/proc/meminfo: memFree=1601968/2055920 swapFree=4181764/4192956
[pid=10132] ppid=10130 vsize=234908 CPUtime=1800.3
/proc/10132/stat : 10132 (pbscip.linux.x8) R 10130 10132 9811 0 -1 4194304 58254 0 0 0 178589 1441 0 0 25 0 1 0 193628706 240545792 55839 1992294400 4194304 7823515 548682068736 18446744073709551615 5875863 0 0 4096 0 0 0 0 17 1 0 0
/proc/10132/statm: 58727 55839 559 886 0 57837 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 234908

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.38
CPU user time (s): 1785.93
CPU system time (s): 14.4478
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 234908

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

runsolver used 1.3358 second user time and 3.81242 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-17 19:38:03
IDJOB=1884727
IDBENCH=71986
IDSOLVER=683
FILE ID=node22/1884727-1245260283
PBS_JOBID= 9372431
Free space on /tmp= 66116 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/parity-games/instance_n5_i6_pp_ci_ce.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-1884727-1245260283/watcher-1884727-1245260283 -o /tmp/evaluation-result-1884727-1245260283/solver-1884727-1245260283 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1884727-1245260283.opb

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

MD5SUM BENCH= 3cd92adc9cf54d1dc3dad55ee2840a98
RANDOM SEED=1393812618

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1825184 kB
Buffers:         35816 kB
Cached:         122372 kB
SwapCached:       5488 kB
Active:          53612 kB
Inactive:       112492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825184 kB
SwapTotal:     4192956 kB
SwapFree:      4181764 kB
Dirty:           11056 kB
Writeback:           0 kB
Mapped:          13068 kB
Slab:            50624 kB
Committed_AS:   179248 kB
PageTables:       1372 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= 66104 MiB
End job on node22 at 2009-06-17 20:08:06