Trace number 2703735

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.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.55 1790.99

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
MD5SUMcc698dad3442148ac316666fbe5b4b9e
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark44.1483
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables49621
Total number of constraints138346
Number of constraints which are clauses127390
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10956
Minimum length of a constraint1
Maximum length of a constraint15
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703735-1278550228.opb>
2.29/2.38	c original problem has 49621 variables (49621 bin, 0 int, 0 impl, 0 cont) and 138346 constraints
2.29/2.38	c problem read
2.29/2.38	c No objective function, only one solution is needed.
2.29/2.38	c presolving settings loaded
3.09/3.17	c presolving:
5.69/5.76	c (round 1) 2236 del vars, 2557 del conss, 911 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2724643 impls, 0 clqs
5.89/5.91	c (round 2) 2238 del vars, 5552 del conss, 913 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2724643 impls, 0 clqs
5.99/6.04	c (round 3) 2250 del vars, 5585 del conss, 925 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2725093 impls, 0 clqs
6.09/6.13	c (round 4) 2325 del vars, 5657 del conss, 938 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2726741 impls, 0 clqs
6.19/6.22	c (round 5) 2355 del vars, 5826 del conss, 958 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2727383 impls, 0 clqs
6.29/6.31	c (round 6) 2410 del vars, 5935 del conss, 982 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2728893 impls, 0 clqs
6.39/6.44	c (round 7) 2542 del vars, 6191 del conss, 1041 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2741945 impls, 0 clqs
6.60/6.66	c (round 8) 3112 del vars, 7579 del conss, 1380 chg bounds, 5478 chg sides, 11396 chg coeffs, 0 upgd conss, 2750936 impls, 0 clqs
6.79/6.82	c (round 9) 3212 del vars, 8244 del conss, 1415 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2752400 impls, 0 clqs
7.09/7.14	c (round 10) 6651 del vars, 18107 del conss, 4446 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2757750 impls, 0 clqs
7.19/7.26	c (round 11) 7480 del vars, 20576 del conss, 5251 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2759180 impls, 0 clqs
7.29/7.35	c (round 12) 7763 del vars, 21390 del conss, 5442 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2763752 impls, 0 clqs
7.39/7.43	c (round 13) 7876 del vars, 21953 del conss, 5554 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2763976 impls, 0 clqs
7.49/7.52	c (round 14) 7991 del vars, 22317 del conss, 5632 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2768931 impls, 0 clqs
7.60/7.62	c (round 15) 8088 del vars, 22642 del conss, 5719 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2775665 impls, 0 clqs
7.60/7.70	c (round 16) 8143 del vars, 22898 del conss, 5771 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776253 impls, 0 clqs
7.69/7.78	c (round 17) 8179 del vars, 23031 del conss, 5807 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776465 impls, 0 clqs
7.79/7.85	c (round 18) 8195 del vars, 23130 del conss, 5823 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776609 impls, 0 clqs
7.89/7.92	c (round 19) 8211 del vars, 23173 del conss, 5839 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776703 impls, 0 clqs
7.89/8.00	c (round 20) 8225 del vars, 23214 del conss, 5853 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2776753 impls, 0 clqs
7.99/8.07	c (round 21) 8229 del vars, 23250 del conss, 5857 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777123 impls, 0 clqs
8.09/8.14	c (round 22) 8233 del vars, 23260 del conss, 5861 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777135 impls, 0 clqs
8.19/8.21	c (round 23) 8237 del vars, 23270 del conss, 5865 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777139 impls, 0 clqs
8.19/8.28	c (round 24) 8241 del vars, 23280 del conss, 5869 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777275 impls, 0 clqs
8.29/8.35	c (round 25) 8245 del vars, 23290 del conss, 5873 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777279 impls, 0 clqs
8.39/8.43	c (round 26) 8249 del vars, 23300 del conss, 5877 chg bounds, 5479 chg sides, 11398 chg coeffs, 0 upgd conss, 2777283 impls, 0 clqs
9.39/9.45	c (round 27) 8249 del vars, 23347 del conss, 5877 chg bounds, 5479 chg sides, 11398 chg coeffs, 114959 upgd conss, 2777345 impls, 0 clqs
9.90/9.91	c (round 28) 8249 del vars, 23347 del conss, 5877 chg bounds, 5479 chg sides, 11398 chg coeffs, 114999 upgd conss, 2777345 impls, 0 clqs
10.09/10.11	c presolving (29 rounds):
10.09/10.11	c  8249 deleted vars, 23347 deleted constraints, 5877 tightened bounds, 0 added holes, 5479 changed sides, 11398 changed coefficients
10.09/10.11	c  2777345 implications, 0 cliques
10.09/10.11	c presolved problem has 41371 variables (41371 bin, 0 int, 0 impl, 0 cont) and 114999 constraints
10.09/10.11	c   10956 constraints of type <knapsack>
10.09/10.11	c   69521 constraints of type <setppc>
10.09/10.11	c   34522 constraints of type <logicor>
10.09/10.11	c transformed objective value is always integral (scale: 1)
10.09/10.11	c Presolving Time: 7.23
10.09/10.11	c - non default parameters ----------------------------------------------------------------------
10.09/10.11	c # SCIP version 1.2.1.3
10.09/10.11	c 
10.09/10.11	c # frequency for displaying node information lines
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 100]
10.09/10.11	c display/freq = 10000
10.09/10.11	c 
10.09/10.11	c # maximal time in seconds to run
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.09/10.11	c limits/time = 1787.62
10.09/10.11	c 
10.09/10.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.09/10.11	c limits/memory = 1620
10.09/10.11	c 
10.09/10.11	c # solving stops, if the given number of solutions were found (-1: no limit)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: -1]
10.09/10.11	c limits/solutions = 1
10.09/10.11	c 
10.09/10.11	c # maximal number of separation rounds per node (-1: unlimited)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 5]
10.09/10.11	c separating/maxrounds = 1
10.09/10.11	c 
10.09/10.11	c # maximal number of separation rounds in the root node (-1: unlimited)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: -1]
10.09/10.11	c separating/maxroundsroot = 5
10.09/10.11	c 
10.09/10.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
10.09/10.11	c # [type: int, range: [1,2], default: 1]
10.09/10.11	c timing/clocktype = 2
10.09/10.11	c 
10.09/10.11	c # should presolving try to simplify inequalities
10.09/10.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.11	c constraints/linear/simplifyinequalities = TRUE
10.09/10.11	c 
10.09/10.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
10.09/10.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.11	c constraints/indicator/addCouplingCons = TRUE
10.09/10.11	c 
10.09/10.11	c # should disaggregation of knapsack constraints be allowed in preprocessing?
10.09/10.11	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
10.09/10.11	c constraints/knapsack/disaggregation = FALSE
10.09/10.11	c 
10.09/10.11	c # should presolving try to simplify knapsacks
10.09/10.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.09/10.11	c constraints/knapsack/simplifyinequalities = TRUE
10.09/10.11	c 
10.09/10.11	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: -1]
10.09/10.11	c presolving/probing/maxrounds = 0
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/coefdiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/coefdiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/coefdiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 30]
10.09/10.11	c heuristics/crossover/freq = -1
10.09/10.11	c 
10.09/10.11	c # number of nodes added to the contingent of the total nodes
10.09/10.11	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.09/10.11	c heuristics/crossover/nodesofs = 750
10.09/10.11	c 
10.09/10.11	c # number of nodes without incumbent change that heuristic should wait
10.09/10.11	c # [type: longint, range: [0,9223372036854775807], default: 200]
10.09/10.11	c heuristics/crossover/nwaitingnodes = 100
10.09/10.11	c 
10.09/10.11	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
10.09/10.11	c # [type: real, range: [0,1], default: 0.1]
10.09/10.11	c heuristics/crossover/nodesquot = 0.15
10.09/10.11	c 
10.09/10.11	c # minimum percentage of integer variables that have to be fixed 
10.09/10.11	c # [type: real, range: [0,1], default: 0.666]
10.09/10.11	c heuristics/crossover/minfixingrate = 0.5
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 20]
10.09/10.11	c heuristics/feaspump/freq = -1
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/feaspump/maxlpiterofs = 2000
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/fracdiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/fracdiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/fracdiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/guideddiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/guideddiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/guideddiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/intdiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/intshifting/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/linesearchdiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/linesearchdiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/linesearchdiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.11	c heuristics/nlp/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 20]
10.09/10.11	c heuristics/objpscostdiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to total iteration number
10.09/10.11	c # [type: real, range: [0,1], default: 0.01]
10.09/10.11	c heuristics/objpscostdiving/maxlpiterquot = 0.015
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/objpscostdiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.11	c heuristics/oneopt/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/pscostdiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/pscostdiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/pscostdiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 0]
10.09/10.11	c heuristics/rens/freq = -1
10.09/10.11	c 
10.09/10.11	c # minimum percentage of integer variables that have to be fixable 
10.09/10.11	c # [type: real, range: [0,1], default: 0.5]
10.09/10.11	c heuristics/rens/minfixingrate = 0.3
10.09/10.11	c 
10.09/10.11	c # number of nodes added to the contingent of the total nodes
10.09/10.11	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.09/10.11	c heuristics/rens/nodesofs = 2000
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 20]
10.09/10.11	c heuristics/rootsoldiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
10.09/10.11	c heuristics/rootsoldiving/maxlpiterquot = 0.015
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/rootsoldiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.11	c heuristics/rounding/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/shifting/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.11	c heuristics/simplerounding/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 0]
10.09/10.11	c heuristics/trivial/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.11	c heuristics/trysol/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 10]
10.09/10.11	c heuristics/veclendiving/freq = -1
10.09/10.11	c 
10.09/10.11	c # maximal fraction of diving LP iterations compared to node LP iterations
10.09/10.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.09/10.11	c heuristics/veclendiving/maxlpiterquot = 0.075
10.09/10.11	c 
10.09/10.11	c # additional number of allowed LP iterations
10.09/10.11	c # [type: int, range: [0,2147483647], default: 1000]
10.09/10.11	c heuristics/veclendiving/maxlpiterofs = 1500
10.09/10.11	c 
10.09/10.11	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 1]
10.09/10.11	c heuristics/zirounding/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 0]
10.09/10.11	c separating/cmir/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: 0]
10.09/10.11	c separating/flowcover/freq = -1
10.09/10.11	c 
10.09/10.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.09/10.11	c # [type: int, range: [-1,2147483647], default: -1]
10.09/10.11	c separating/rapidlearning/freq = 0
10.09/10.11	c 
10.09/10.11	c -----------------------------------------------------------------------------------------------
10.09/10.11	c start solving
10.09/10.15	c 
233.43/233.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
233.43/233.56	c   231s|     1 |     0 | 24405 |     - | 322M|   0 |  13k|  41k| 114k|  41k| 114k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
617.25/617.44	c   615s|     1 |     0 | 47480 |     - | 323M|   0 |  13k|  41k| 114k|  41k| 115k| 174 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1104.52/1104.85	c  1102s|     1 |     0 | 73697 |     - | 323M|   0 |  14k|  41k| 114k|  41k| 115k| 372 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1738.06/1738.56	c  1736s|     1 |     0 |108166 |     - | 324M|   0 |  15k|  41k| 114k|  41k| 115k| 620 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1789.55/1790.06	c  1788s|     1 |     0 |108166 |     - | 325M|   0 |   - |  41k| 114k|  41k| 115k| 818 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1789.65/1790.12	c  1788s|     1 |     2 |108166 |     - | 325M|   0 |   - |  41k| 114k|  41k| 115k| 818 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1789.65/1790.12	c 
1789.65/1790.12	c SCIP Status        : solving was interrupted [time limit reached]
1789.65/1790.12	c Solving Time (sec) : 1787.74
1789.65/1790.12	c Solving Nodes      : 1
1789.65/1790.12	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.65/1790.12	c Dual Bound         : +0.00000000000000e+00
1789.65/1790.12	c Gap                : infinite
1789.65/1790.12	s UNKNOWN
1789.65/1790.12	c SCIP Status        : solving was interrupted [time limit reached]
1789.65/1790.12	c Solving Time       :    1787.74
1789.65/1790.12	c Original Problem   :
1789.65/1790.12	c   Problem name     : HOME/instance-2703735-1278550228.opb
1789.65/1790.12	c   Variables        : 49621 (49621 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.12	c   Constraints      : 138346 initial, 138346 maximal
1789.65/1790.12	c Presolved Problem  :
1789.65/1790.12	c   Problem name     : t_HOME/instance-2703735-1278550228.opb
1789.65/1790.12	c   Variables        : 41371 (41371 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.12	c   Constraints      : 114999 initial, 114999 maximal
1789.65/1790.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.65/1790.12	c   trivial          :       0.24        251          0          0          0          0          0          0          0
1789.65/1790.12	c   dualfix          :       0.24          0          0          0          0          0          0          0          0
1789.65/1790.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.65/1790.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.65/1790.12	c   implics          :       0.93          0       2129          0          0          0          0          0          0
1789.65/1790.12	c   probing          :       0.00          0          0          0          0          0          0          0          0
1789.65/1790.12	c   knapsack         :       0.16          0          0          0          0          0          0          0          0
1789.65/1790.12	c   setppc           :       0.29          0          0          0          0          0          0          0          0
1789.65/1790.12	c   linear           :       4.71       5849         20          0       5877          0      23347       5479      11398
1789.65/1790.12	c   logicor          :       0.14          0          0          0          0          0          0          0          0
1789.65/1790.12	c   root node        :          -          0          -          -          0          -          -          -          -
1789.65/1790.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.65/1790.12	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.65/1790.12	c   knapsack         :      10956          4          1          0          1          0          0        801          0          0
1789.65/1790.12	c   setppc           :      69521          4          1          0          1          0          0          0          0          0
1789.65/1790.12	c   logicor          :      34522          4          1          0          1          0          0          0          0          0
1789.65/1790.12	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.65/1790.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.65/1790.12	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.65/1790.12	c   knapsack         :       0.03       0.03       0.00       0.00       0.00
1789.65/1790.12	c   setppc           :       0.08       0.04       0.01       0.00       0.03
1789.65/1790.12	c   logicor          :       0.09       0.03       0.05       0.00       0.02
1789.65/1790.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.65/1790.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.65/1790.12	c   vbounds          :       0.00          1          0          0
1789.65/1790.12	c   rootredcost      :       0.00          0          0          0
1789.65/1790.12	c   pseudoobj        :       0.00          0          0          0
1789.65/1790.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.65/1790.12	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.65/1790.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.65/1790.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.65/1790.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.65/1790.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.65/1790.12	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.65/1790.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.65/1790.12	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.65/1790.12	c   cut pool         :       0.00          3          -          -        350          -    (maximal pool size: 1928)
1789.65/1790.12	c   redcost          :       0.02          4          0          0          0          0
1789.65/1790.12	c   impliedbounds    :       0.24          4          0          0          0          0
1789.65/1790.12	c   intobj           :       0.00          0          0          0          0          0
1789.65/1790.12	c   cgmip            :       0.00          0          0          0          0          0
1789.65/1790.12	c   gomory           :      93.85          4          0          0       2000          0
1789.65/1790.12	c   strongcg         :     127.01          4          0          0       1622          0
1789.65/1790.12	c   cmir             :       0.00          0          0          0          0          0
1789.65/1790.12	c   flowcover        :       0.00          0          0          0          0          0
1789.65/1790.12	c   clique           :       6.37          3          0          0         26          0
1789.65/1790.12	c   zerohalf         :       0.00          0          0          0          0          0
1789.65/1790.12	c   mcf              :       2.23          1          0          0          0          0
1789.65/1790.12	c   rapidlearning    :       0.00          0          0          0          0          0
1789.65/1790.12	c Pricers            :       Time      Calls       Vars
1789.65/1790.12	c   problem variables:       0.00          0          0
1789.65/1790.12	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.65/1790.12	c   relpscost        :       0.00          0          0          0          0          0          0
1789.65/1790.12	c   pscost           :       0.00          0          0          0          0          0          0
1789.65/1790.12	c   inference        :       0.01          1          0          0          0          0          2
1789.65/1790.12	c   mostinf          :       0.00          0          0          0          0          0          0
1789.65/1790.12	c   leastinf         :       0.00          0          0          0          0          0          0
1789.65/1790.12	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.65/1790.12	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.65/1790.12	c   random           :       0.00          0          0          0          0          0          0
1789.65/1790.12	c Primal Heuristics  :       Time      Calls      Found
1789.65/1790.12	c   LP solutions     :       0.00          -          0
1789.65/1790.12	c   pseudo solutions :       0.00          -          0
1789.65/1790.12	c   trivial          :       0.09          1          0
1789.65/1790.12	c   simplerounding   :       0.00          0          0
1789.65/1790.12	c   zirounding       :       0.00          0          0
1789.65/1790.12	c   rounding         :       0.00          0          0
1789.65/1790.12	c   shifting         :       0.00          0          0
1789.65/1790.12	c   intshifting      :       0.00          0          0
1789.65/1790.12	c   oneopt           :       0.00          0          0
1789.65/1790.12	c   twoopt           :       0.00          0          0
1789.65/1790.12	c   fixandinfer      :       0.00          0          0
1789.65/1790.12	c   feaspump         :       0.00          0          0
1789.65/1790.12	c   coefdiving       :       0.00          0          0
1789.65/1790.12	c   pscostdiving     :       0.00          0          0
1789.65/1790.12	c   fracdiving       :       0.00          0          0
1789.65/1790.12	c   veclendiving     :       0.00          0          0
1789.65/1790.12	c   intdiving        :       0.00          0          0
1789.65/1790.12	c   actconsdiving    :       0.00          0          0
1789.65/1790.12	c   objpscostdiving  :       0.00          0          0
1789.65/1790.12	c   rootsoldiving    :       0.00          0          0
1789.65/1790.12	c   linesearchdiving :       0.00          0          0
1789.65/1790.12	c   guideddiving     :       0.00          0          0
1789.65/1790.12	c   octane           :       0.00          0          0
1789.65/1790.12	c   rens             :       0.00          0          0
1789.65/1790.12	c   rins             :       0.00          0          0
1789.65/1790.12	c   localbranching   :       0.00          0          0
1789.65/1790.12	c   mutation         :       0.00          0          0
1789.65/1790.12	c   crossover        :       0.00          0          0
1789.65/1790.12	c   dins             :       0.00          0          0
1789.65/1790.12	c   undercover       :       0.00          0          0
1789.65/1790.12	c   nlp              :       0.00          0          0
1789.65/1790.12	c   trysol           :       0.00          0          0
1789.65/1790.12	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.65/1790.12	c   primal LP        :       0.00          0          0       0.00          -
1789.65/1790.12	c   dual LP          :    1548.91          4     108166   27041.50      69.83
1789.65/1790.12	c   lex dual LP      :       0.00          0          0       0.00          -
1789.65/1790.12	c   barrier LP       :       0.00          0          0       0.00          -
1789.65/1790.12	c   diving/probing LP:       0.00          0          0       0.00          -
1789.65/1790.12	c   strong branching :       0.00          0          0       0.00          -
1789.65/1790.12	c     (at root node) :          -          0          0       0.00          -
1789.65/1790.12	c   conflict analysis:       0.00          0          0       0.00          -
1789.65/1790.12	c B&B Tree           :
1789.65/1790.12	c   number of runs   :          1
1789.65/1790.12	c   nodes            :          1
1789.65/1790.12	c   nodes (total)    :          1
1789.65/1790.12	c   nodes left       :          2
1789.65/1790.12	c   max depth        :          0
1789.65/1790.12	c   max depth (total):          0
1789.65/1790.12	c   backtracks       :          0 (0.0%)
1789.65/1790.12	c   delayed cutoffs  :          0
1789.65/1790.12	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.65/1790.12	c   avg switch length:       1.00
1789.65/1790.12	c   switching time   :       0.00
1789.65/1790.12	c Solution           :
1789.65/1790.12	c   Solutions found  :          0 (0 improvements)
1789.65/1790.12	c   Primal Bound     :          -
1789.65/1790.12	c   Dual Bound       : +0.00000000000000e+00
1789.65/1790.12	c   Gap              :   infinite
1789.65/1790.12	c   Root Dual Bound  : +0.00000000000000e+00
1789.65/1790.12	c   Root Iterations  :     108166
1790.45/1790.98	c Time complete: 1790.54.

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-2703735-1278550228/watcher-2703735-1278550228 -o /tmp/evaluation-result-2703735-1278550228/solver-2703735-1278550228 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703735-1278550228.opb -t 1800 -m 1800 

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.02 0.95 3/106 29487
/proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=7904 CPUtime=0
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 1089 0 0 0 0 0 0 0 20 0 1 0 23229345 8093696 1001 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 1976 1010 365 1026 0 946 0

[startup+0.0673821 s]
/proc/loadavg: 1.00 1.02 0.95 3/106 29487
/proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=13204 CPUtime=0.06
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 2595 0 0 0 6 0 0 0 20 0 1 0 23229345 13520896 2507 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 3301 2507 390 1026 0 2271 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13204

[startup+0.100385 s]
/proc/loadavg: 1.00 1.02 0.95 3/106 29487
/proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=16236 CPUtime=0.09
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 3346 0 0 0 9 0 0 0 20 0 1 0 23229345 16625664 3258 1992294400 4194304 8395647 140735641479904 18446744073709551615 4246015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 4059 3258 390 1026 0 3029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16236

[startup+0.300402 s]
/proc/loadavg: 1.00 1.02 0.95 3/106 29487
/proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=25100 CPUtime=0.29
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 5550 0 0 0 28 1 0 0 20 0 1 0 23229345 25702400 5462 1992294400 4194304 8395647 140735641479904 18446744073709551615 7370124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 6275 5462 390 1026 0 5245 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25100

[startup+0.700437 s]
/proc/loadavg: 1.00 1.02 0.95 3/106 29487
/proc/meminfo: memFree=1700660/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=39580 CPUtime=0.69
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 9198 0 0 0 67 2 0 0 20 0 1 0 23229345 40529920 9110 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 9895 9110 390 1026 0 8865 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39580

[startup+1.50051 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 29488
/proc/meminfo: memFree=1654648/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=70624 CPUtime=1.49
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 16926 0 0 0 144 5 0 0 22 0 1 0 23229345 72318976 16838 1992294400 4194304 8395647 140735641479904 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 17656 16838 390 1026 0 16626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70624

[startup+3.10065 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 29488
/proc/meminfo: memFree=1612736/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=234604 CPUtime=3.09
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 57456 0 0 0 289 20 0 0 25 0 1 0 23229345 240234496 57014 1992294400 4194304 8395647 140735641479904 18446744073709551615 4285926 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 58651 57014 440 1026 0 57621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 234604

[startup+6.30192 s]
/proc/loadavg: 1.08 1.04 0.95 2/107 29488
/proc/meminfo: memFree=1380732/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=334968 CPUtime=6.29
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 81479 0 0 0 602 27 0 0 25 0 1 0 23229345 343007232 81037 1992294400 4194304 8395647 140735641479904 18446744073709551615 5598970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 83742 81037 475 1026 0 82712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 334968

[startup+12.7015 s]
/proc/loadavg: 1.08 1.04 0.95 2/107 29488
/proc/meminfo: memFree=1200932/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=526288 CPUtime=12.69
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 131561 0 0 0 1225 44 0 0 25 0 1 0 23229345 538918912 125244 1992294400 4194304 8395647 140735641479904 18446744073709551615 6496256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 131572 125244 592 1026 0 130542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 526288

[startup+25.5006 s]
/proc/loadavg: 1.06 1.03 0.95 2/107 29490
/proc/meminfo: memFree=1190144/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=537816 CPUtime=25.49
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 134695 0 0 0 2501 48 0 0 25 0 1 0 23229345 550723584 128049 1992294400 4194304 8395647 140735641479904 18446744073709551615 6438911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 134454 128049 698 1026 0 133424 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 537816

[startup+51.1008 s]
/proc/loadavg: 1.04 1.03 0.95 2/107 29490
/proc/meminfo: memFree=1174644/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=560056 CPUtime=51.08
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 138870 0 0 0 5054 54 0 0 25 0 1 0 23229345 573497344 131928 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 140014 131928 757 1026 0 138984 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 560056

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 0.95 3/107 29492
/proc/meminfo: memFree=1163980/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=565608 CPUtime=102.28
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 141702 0 0 0 10166 62 0 0 25 0 1 0 23229345 579182592 134531 1992294400 4194304 8395647 140735641479904 18446744073709551615 6438870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 141402 134531 675 1026 0 140372 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 565608

[startup+162.3 s]
/proc/loadavg: 1.00 1.02 0.95 2/107 29492
/proc/meminfo: memFree=1159020/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=569880 CPUtime=162.26
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 142930 0 0 0 16156 70 0 0 25 0 1 0 23229345 583557120 135733 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 142470 135733 649 1026 0 141440 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 569880

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 29494
/proc/meminfo: memFree=1158400/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=570168 CPUtime=222.24
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 143073 0 0 0 22148 76 0 0 25 0 1 0 23229345 583852032 135876 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 142542 135876 649 1026 0 141512 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 570168

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/107 29496
/proc/meminfo: memFree=1158400/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=570304 CPUtime=282.22
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 143113 0 0 0 28136 86 0 0 25 0 1 0 23229345 583991296 135916 1992294400 4194304 8395647 140735641479904 18446744073709551615 5792654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 142576 135916 670 1026 0 141546 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 570304

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29498
/proc/meminfo: memFree=1139056/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=587284 CPUtime=342.21
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 148287 0 0 0 34128 93 0 0 25 0 1 0 23229345 601378816 140842 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 146821 140842 779 1026 0 145791 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 587284

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29500
/proc/meminfo: memFree=1138684/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=591956 CPUtime=402.2
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 149809 0 0 0 40121 99 0 0 25 0 1 0 23229345 606162944 142364 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 147989 142364 781 1026 0 146959 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 591956

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29500
/proc/meminfo: memFree=1132236/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=598016 CPUtime=462.18
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 149972 0 0 0 46113 105 0 0 25 0 1 0 23229345 612368384 142407 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 149504 142407 661 1026 0 148474 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 598016

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29502
/proc/meminfo: memFree=1131988/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=598016 CPUtime=522.16
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 150021 0 0 0 52106 110 0 0 25 0 1 0 23229345 612368384 142456 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 149504 142456 661 1026 0 148474 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 598016

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29504
/proc/meminfo: memFree=1131864/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=598016 CPUtime=582.15
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 150065 0 0 0 58099 116 0 0 25 0 1 0 23229345 612368384 142500 1992294400 4194304 8395647 140735641479904 18446744073709551615 6693721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 149504 142500 661 1026 0 148474 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 598016

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 29515
/proc/meminfo: memFree=1130500/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=598016 CPUtime=642.13
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 150083 0 0 0 64090 123 0 0 25 0 1 0 23229345 612368384 142518 1992294400 4194304 8395647 140735641479904 18446744073709551615 6124447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 149504 142518 661 1026 0 148474 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 598016

[startup+702.301 s]

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

/proc/meminfo: memFree=1124052/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=602528 CPUtime=1002.04
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 151865 0 0 0 100048 156 0 0 25 0 1 0 23229345 616988672 144299 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 150632 144299 660 1026 0 149602 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 602528

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29525
/proc/meminfo: memFree=1124052/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=602528 CPUtime=1062.02
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 151877 0 0 0 106041 161 0 0 25 0 1 0 23229345 616988672 144311 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 150632 144311 660 1026 0 149602 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 602528

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29527
/proc/meminfo: memFree=1124052/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=602528 CPUtime=1122.01
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 151881 0 0 0 112034 167 0 0 25 0 1 0 23229345 616988672 144315 1992294400 4194304 8395647 140735641479904 18446744073709551615 6440892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 150632 144315 660 1026 0 149602 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 602528

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29529
/proc/meminfo: memFree=1114380/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=607676 CPUtime=1182
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154297 0 0 0 118022 178 0 0 25 0 1 0 23229345 622260224 146731 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 151919 146731 661 1026 0 150889 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 607676

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29531
/proc/meminfo: memFree=1114132/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=611292 CPUtime=1241.98
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154337 0 0 0 124017 181 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 152823 146768 658 1026 0 151793 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 611292

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29533
/proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=611292 CPUtime=1301.97
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 130011 186 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 152823 146768 647 1026 0 151793 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 611292

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29533
/proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=611292 CPUtime=1361.95
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 136005 190 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6692853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 152823 146768 647 1026 0 151793 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 611292

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29535
/proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=611292 CPUtime=1421.95
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 142000 195 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6669622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 152823 146768 647 1026 0 151793 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 611292

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29537
/proc/meminfo: memFree=1114008/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=611292 CPUtime=1481.93
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 154348 0 0 0 147992 201 0 0 25 0 1 0 23229345 625963008 146768 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 152823 146768 647 1026 0 151793 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 611292

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 29539
/proc/meminfo: memFree=1106816/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=614904 CPUtime=1541.91
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156150 0 0 0 153985 206 0 0 25 0 1 0 23229345 629661696 148570 1992294400 4194304 8395647 140735641479904 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153726 148570 668 1026 0 152696 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 614904

[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 0.96 2/107 29541
/proc/meminfo: memFree=1106816/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=614904 CPUtime=1601.89
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156150 0 0 0 159978 211 0 0 25 0 1 0 23229345 629661696 148570 1992294400 4194304 8395647 140735641479904 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153726 148570 668 1026 0 152696 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 614904

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 0.97 2/107 29541
/proc/meminfo: memFree=1106816/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=614904 CPUtime=1661.87
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156150 0 0 0 165970 217 0 0 25 0 1 0 23229345 629661696 148570 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153726 148570 668 1026 0 152696 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 614904

[startup+1722.3 s]
/proc/loadavg: 1.07 1.03 0.97 2/107 29543
/proc/meminfo: memFree=1106444/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=615180 CPUtime=1721.86
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 171963 223 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153795 148608 647 1026 0 152765 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 615180

[startup+1782.3 s]
/proc/loadavg: 1.07 1.04 0.98 2/107 29548
/proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=615180 CPUtime=1781.85
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 177953 232 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 6440883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153795 148608 647 1026 0 152765 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 615180

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

[startup+1785.5 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29548
/proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=615180 CPUtime=1785.05
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 178273 232 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 7385964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153795 148608 647 1026 0 152765 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 615180

[startup+1788.7 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29548
/proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=615180 CPUtime=1788.25
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156209 0 0 0 178592 233 0 0 25 0 1 0 23229345 629944320 148608 1992294400 4194304 8395647 140735641479904 18446744073709551615 6440985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29487/statm: 153795 148608 647 1026 0 152765 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (KiB) 615180

[startup+1790.3 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29548
/proc/meminfo: memFree=1105824/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=615180 CPUtime=1789.85
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156392 0 0 0 178752 233 0 0 25 0 1 0 23229345 629944320 148791 1992294400 4194304 8395647 140735641479904 18446744073709551615 6150548 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 153795 148791 654 1026 0 152765 0
Current children cumulated CPU time (s) 1789.85
Current children cumulated vsize (KiB) 615180

[startup+1790.7 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29548
/proc/meminfo: memFree=1105204/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=615180 CPUtime=1790.25
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156394 0 0 0 178792 233 0 0 25 0 1 0 23229345 629944320 148793 1992294400 4194304 8395647 140735641479904 18446744073709551615 6345756 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 153795 148793 656 1026 0 152765 0
Current children cumulated CPU time (s) 1790.25
Current children cumulated vsize (KiB) 615180

[startup+1790.9 s]
/proc/loadavg: 1.06 1.04 0.98 2/107 29548
/proc/meminfo: memFree=1105204/2059040 swapFree=4139820/4192956
[pid=29487] ppid=29485 vsize=503280 CPUtime=1790.45
/proc/29487/stat : 29487 (pbscip.linux.x8) R 29485 29487 28067 0 -1 4202496 156394 0 0 0 178810 235 0 0 25 0 1 0 23229345 515358720 120852 1992294400 4194304 8395647 140735641479904 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 125820 120852 656 1026 0 124790 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (KiB) 503280

Child status: 0
Real time (s): 1790.99
CPU time (s): 1790.55
CPU user time (s): 1788.15
CPU system time (s): 2.40163
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 615180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.15
system time used= 2.40163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156401
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= 2
involuntary context switches= 2995

runsolver used 2.95455 second user time and 8.46171 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-08 02:50:29
IDJOB=2703735
IDBENCH=1461
IDSOLVER=1213
FILE ID=node055/2703735-1278550228
PBS_JOBID= 11239487
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703735-1278550228/watcher-2703735-1278550228 -o /tmp/evaluation-result-2703735-1278550228/solver-2703735-1278550228 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703735-1278550228.opb -t 1800 -m 1800

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

MD5SUM BENCH= cc698dad3442148ac316666fbe5b4b9e
RANDOM SEED=551788218

node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.224
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
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.224
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1700816 kB
Buffers:         56892 kB
Cached:         211368 kB
SwapCached:       7140 kB
Active:         172900 kB
Inactive:       109344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1700816 kB
SwapTotal:     4192956 kB
SwapFree:      4139820 kB
Dirty:           15780 kB
Writeback:           0 kB
AnonPages:       11388 kB
Mapped:          11904 kB
Slab:            53640 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node055 at 2010-07-08 03:20:20