Trace number 3453484

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 NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.89 1800.85

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12036_9.std.opb
MD5SUMf9e2cf223f1ee9af03cb36930da0d262
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark249
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245455
Number of constraints which are clauses244255
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3453484-1307118252.opb>
1.59/1.66	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245455 constraints
1.59/1.66	c problem read
1.59/1.66	c presolving settings loaded
2.49/2.52	c presolving:
8.81/8.83	c (round 1) 6712 del vars, 19813 del conss, 0 add conss, 5155 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16584408 impls, 0 clqs
11.29/11.33	c (round 2) 13395 del vars, 47679 del conss, 0 add conss, 11451 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16617703 impls, 0 clqs
12.11/12.15	c (round 3) 15630 del vars, 58332 del conss, 0 add conss, 12795 chg bounds, 23 chg sides, 45 chg coeffs, 0 upgd conss, 16632241 impls, 0 clqs
12.49/12.57	c (round 4) 16783 del vars, 62879 del conss, 0 add conss, 13474 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16640375 impls, 0 clqs
12.79/12.89	c (round 5) 17590 del vars, 65936 del conss, 0 add conss, 14012 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16648618 impls, 0 clqs
13.10/13.13	c (round 6) 18204 del vars, 68297 del conss, 0 add conss, 14421 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16655341 impls, 0 clqs
13.29/13.37	c (round 7) 18878 del vars, 70599 del conss, 0 add conss, 14870 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16661380 impls, 0 clqs
13.49/13.54	c (round 8) 19335 del vars, 72461 del conss, 0 add conss, 15174 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16665877 impls, 0 clqs
13.59/13.68	c (round 9) 19680 del vars, 73757 del conss, 0 add conss, 15369 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16669878 impls, 0 clqs
13.69/13.79	c (round 10) 19930 del vars, 74797 del conss, 0 add conss, 15528 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16673642 impls, 0 clqs
13.79/13.89	c (round 11) 20121 del vars, 75518 del conss, 0 add conss, 15661 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16675582 impls, 0 clqs
13.89/13.98	c (round 12) 20255 del vars, 76117 del conss, 0 add conss, 15747 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16677399 impls, 0 clqs
13.99/14.06	c (round 13) 20353 del vars, 76519 del conss, 0 add conss, 15818 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678425 impls, 0 clqs
14.09/14.13	c (round 14) 20395 del vars, 76725 del conss, 0 add conss, 15843 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678715 impls, 0 clqs
14.09/14.21	c (round 15) 20415 del vars, 76827 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 0 upgd conss, 16678757 impls, 0 clqs
14.89/14.90	c (round 16) 20415 del vars, 76848 del conss, 0 add conss, 15857 chg bounds, 36 chg sides, 67 chg coeffs, 168607 upgd conss, 16678757 impls, 0 clqs
15.79/15.89	c (round 17) 20415 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 56 chg sides, 210 chg coeffs, 168607 upgd conss, 16679393 impls, 7331 clqs
534.00/534.07	c    (534.1s) probing: 1000/52427 (1.9%) - 29 fixings, 13 aggregations, 11775840 implications, 0 bound changes
1064.73/1064.76	c    (1064.8s) probing: 2000/52427 (3.8%) - 29 fixings, 13 aggregations, 19337832 implications, 0 bound changes
1221.82/1221.81	c    (1221.8s) probing: 2341/52427 (4.5%) - 29 fixings, 13 aggregations, 21507041 implications, 0 bound changes
1221.82/1221.81	c    (1221.8s) probing aborted: 2000/2000 successive useless probings
1221.82/1221.82	c (round 18) 20457 del vars, 76849 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 224 chg coeffs, 168607 upgd conss, 99355379 impls, 7611 clqs
1222.82/1222.82	c (round 19) 20463 del vars, 77706 del conss, 14 add conss, 15857 chg bounds, 58 chg sides, 304 chg coeffs, 168607 upgd conss, 99355493 impls, 7611 clqs
1330.52/1330.59	c (round 20) 20517 del vars, 77712 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 312 chg coeffs, 168607 upgd conss, 102649871 impls, 7678 clqs
1335.12/1335.11	c (round 21) 20535 del vars, 77922 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1335.72/1335.72	c (round 22) 20535 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 102840709 impls, 7678 clqs
1487.62/1487.62	c (round 23) 20585 del vars, 77940 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 109064183 impls, 7678 clqs
1488.52/1488.58	c (round 24) 20595 del vars, 78134 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 109065299 impls, 7678 clqs
1544.63/1544.61	c    (1544.6s) probing: 3000/52427 (5.7%) - 132 fixings, 40 aggregations, 25341616 implications, 0 bound changes
1609.03/1609.00	c (round 25) 20646 del vars, 78143 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 318 chg coeffs, 168607 upgd conss, 114840719 impls, 7678 clqs
1610.13/1610.16	c (round 26) 20655 del vars, 78336 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 114860427 impls, 7678 clqs
1796.93/1796.90	c (round 27) 20705 del vars, 78345 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 124712685 impls, 7678 clqs
1797.73/1797.77	c (round 28) 20711 del vars, 78531 del conss, 15 add conss, 15857 chg bounds, 59 chg sides, 324 chg coeffs, 168607 upgd conss, 124712941 impls, 7678 clqs
1800.15/1800.16	c    (1800.2s) probing: 3680/52427 (7.0%) - 186 fixings, 61 aggregations, 29599468 implications, 0 bound changes
1800.15/1800.16	c    (1800.2s) probing aborted: solving stopped
1800.15/1800.17	c presolving (29 rounds):
1800.15/1800.17	c  20711 deleted vars, 78537 deleted constraints, 15 added constraints, 15857 tightened bounds, 0 added holes, 59 changed sides, 324 changed coefficients
1800.15/1800.17	c  124776299 implications, 7678 cliques
1800.15/1800.17	c presolved problem has 52131 variables (52131 bin, 0 int, 0 impl, 0 cont) and 166933 constraints
1800.15/1800.17	c    1155 constraints of type <knapsack>
1800.15/1800.17	c  139902 constraints of type <setppc>
1800.15/1800.17	c   25876 constraints of type <logicor>
1800.15/1800.17	c transformed objective value is always integral (scale: 1)
1800.15/1800.17	c Presolving Time: 1798.28
1800.15/1800.17	c - non default parameters ----------------------------------------------------------------------
1800.15/1800.17	c # SCIP version 2.0.1.4
1800.15/1800.17	c 
1800.15/1800.17	c # frequency for displaying node information lines
1800.15/1800.17	c # [type: int, range: [-1,2147483647], default: 100]
1800.15/1800.17	c display/freq = 10000
1800.15/1800.17	c 
1800.15/1800.17	c # maximal time in seconds to run
1800.15/1800.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.15/1800.17	c limits/time = 1800
1800.15/1800.17	c 
1800.15/1800.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.15/1800.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.15/1800.17	c limits/memory = 13950
1800.15/1800.17	c 
1800.15/1800.17	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.15/1800.17	c # [type: int, range: [1,2], default: 1]
1800.15/1800.17	c timing/clocktype = 2
1800.15/1800.17	c 
1800.15/1800.17	c # belongs reading time to solving time?
1800.15/1800.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17	c timing/reading = TRUE
1800.15/1800.17	c 
1800.15/1800.17	c # should presolving try to simplify inequalities
1800.15/1800.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17	c constraints/linear/simplifyinequalities = TRUE
1800.15/1800.17	c 
1800.15/1800.17	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.15/1800.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17	c constraints/indicator/addCouplingCons = TRUE
1800.15/1800.17	c 
1800.15/1800.17	c # should presolving try to simplify knapsacks
1800.15/1800.17	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.15/1800.17	c constraints/knapsack/simplifyinequalities = TRUE
1800.15/1800.17	c 
1800.15/1800.17	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.15/1800.17	c # [type: int, range: [-1,2147483647], default: -1]
1800.15/1800.17	c separating/rapidlearning/freq = 0
1800.15/1800.17	c 
1800.15/1800.17	c -----------------------------------------------------------------------------------------------
1800.15/1800.17	c start solving
1800.23/1800.20	c 
1800.23/1800.20	c 
1800.23/1800.20	c SCIP Status        : solving was interrupted [time limit reached]
1800.23/1800.20	c Solving Time (sec) : 1800.20
1800.23/1800.20	c Solving Nodes      : 0
1800.23/1800.20	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.23/1800.20	c Dual Bound         : -1.00000000000000e+20
1800.23/1800.20	c Gap                : infinite
1800.23/1800.20	s UNKNOWN
1800.23/1800.20	c SCIP Status        : solving was interrupted [time limit reached]
1800.23/1800.20	c Total Time         :    1800.20
1800.23/1800.20	c   solving          :    1800.20
1800.23/1800.20	c   presolving       :    1798.28 (included in solving)
1800.23/1800.20	c   reading          :       1.66 (included in solving)
1800.23/1800.20	c Original Problem   :
1800.23/1800.20	c   Problem name     : HOME/instance-3453484-1307118252.opb
1800.23/1800.20	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.20	c   Constraints      : 245455 initial, 245455 maximal
1800.23/1800.20	c Presolved Problem  :
1800.23/1800.20	c   Problem name     : t_HOME/instance-3453484-1307118252.opb
1800.23/1800.20	c   Variables        : 52131 (52131 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.23/1800.20	c   Constraints      : 166933 initial, 166933 maximal
1800.23/1800.20	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.23/1800.20	c   trivial          :       0.09       1071          0          0          0          0          0          0          0          0
1800.23/1800.20	c   dualfix          :       0.12        120          0          0          0          0          0          0          0          0
1800.23/1800.20	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.23/1800.20	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.23/1800.20	c   implics          :       7.34          0         48          0          0          0          0          0          0          0
1800.23/1800.20	c   probing          :    1772.79        186         61          0          0          0          0          0          0          0
1800.23/1800.20	c   knapsack         :       4.47          0          0          0          0          0          0         15         23        257
1800.23/1800.20	c   setppc           :       0.77          1          0          0          0          0       1647          0          0          0
1800.23/1800.20	c   linear           :      11.52      14786       4438          0      15857          0      76848          0         36         67
1800.23/1800.20	c   logicor          :       0.26          0          0          0          0          0         42          0          0          0
1800.23/1800.20	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.23/1800.20	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.23/1800.20	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.23/1800.20	c   knapsack         :       1155          0     143395          0          0          0          0         48          0          0          0          0
1800.23/1800.20	c   setppc           :     139902          0     143347          0          0          0          0         25          0          0          0          0
1800.23/1800.20	c   logicor          :      25876          0     131576          0          0          0          0         57          0          0          0          0
1800.23/1800.20	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.23/1800.20	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.23/1800.20	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.23/1800.20	c   knapsack         :      11.80       0.00      11.80       0.00       0.00       0.00       0.00
1800.23/1800.20	c   setppc           :     778.65       0.00     778.65       0.00       0.00       0.00       0.00
1800.23/1800.20	c   logicor          :      15.88       0.00      15.88       0.00       0.00       0.00       0.00
1800.23/1800.20	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.23/1800.20	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.23/1800.20	c   vbounds          :          0          0          0          0
1800.23/1800.20	c   rootredcost      :          0          0          0          0
1800.23/1800.20	c   pseudoobj        :          0          0          0          0
1800.23/1800.20	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.23/1800.20	c   vbounds          :       0.06       0.06       0.00
1800.23/1800.20	c   rootredcost      :       0.03       0.03       0.00
1800.23/1800.20	c   pseudoobj        :       0.03       0.03       0.00
1800.23/1800.20	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.23/1800.20	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.23/1800.20	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.23/1800.20	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.23/1800.20	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.23/1800.20	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.23/1800.20	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.23/1800.20	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.23/1800.20	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.23/1800.20	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.23/1800.20	c   redcost          :       0.00          0          0          0          0          0
1800.23/1800.20	c   impliedbounds    :       0.00          0          0          0          0          0
1800.23/1800.20	c   intobj           :       0.00          0          0          0          0          0
1800.23/1800.20	c   gomory           :       0.00          0          0          0          0          0
1800.23/1800.20	c   cgmip            :       0.00          0          0          0          0          0
1800.23/1800.20	c   closecuts        :       0.00          0          0          0          0          0
1800.23/1800.20	c   strongcg         :       0.00          0          0          0          0          0
1800.23/1800.20	c   cmir             :       0.00          0          0          0          0          0
1800.23/1800.20	c   flowcover        :       0.00          0          0          0          0          0
1800.23/1800.20	c   clique           :       0.00          0          0          0          0          0
1800.23/1800.20	c   zerohalf         :       0.00          0          0          0          0          0
1800.23/1800.20	c   mcf              :       0.00          0          0          0          0          0
1800.23/1800.20	c   oddcycle         :       0.00          0          0          0          0          0
1800.23/1800.20	c   rapidlearning    :       0.00          0          0          0          0          0
1800.23/1800.20	c Pricers            :       Time      Calls       Vars
1800.23/1800.20	c   problem variables:       0.00          0          0
1800.23/1800.20	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.23/1800.20	c   pscost           :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   inference        :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   mostinf          :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   leastinf         :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   random           :       0.00          0          0          0          0          0          0
1800.23/1800.20	c   relpscost        :       0.00          0          0          0          0          0          0
1800.23/1800.20	c Primal Heuristics  :       Time      Calls      Found
1800.23/1800.20	c   LP solutions     :       0.00          -          0
1800.23/1800.20	c   pseudo solutions :       0.00          -          0
1800.23/1800.20	c   trivial          :       0.05          1          0
1800.23/1800.20	c   shiftandpropagate:       0.00          0          0
1800.23/1800.20	c   simplerounding   :       0.00          0          0
1800.23/1800.20	c   zirounding       :       0.00          0          0
1800.23/1800.20	c   rounding         :       0.00          0          0
1800.23/1800.20	c   shifting         :       0.00          0          0
1800.23/1800.20	c   intshifting      :       0.00          0          0
1800.23/1800.20	c   oneopt           :       0.00          0          0
1800.23/1800.20	c   twoopt           :       0.00          0          0
1800.23/1800.20	c   fixandinfer      :       0.00          0          0
1800.23/1800.20	c   feaspump         :       0.00          0          0
1800.23/1800.20	c   clique           :       0.00          0          0
1800.23/1800.20	c   coefdiving       :       0.00          0          0
1800.23/1800.20	c   pscostdiving     :       0.00          0          0
1800.23/1800.20	c   fracdiving       :       0.00          0          0
1800.23/1800.20	c   veclendiving     :       0.00          0          0
1800.23/1800.20	c   intdiving        :       0.00          0          0
1800.23/1800.20	c   actconsdiving    :       0.00          0          0
1800.23/1800.20	c   objpscostdiving  :       0.00          0          0
1800.23/1800.20	c   rootsoldiving    :       0.00          0          0
1800.23/1800.20	c   linesearchdiving :       0.00          0          0
1800.23/1800.20	c   guideddiving     :       0.00          0          0
1800.23/1800.20	c   octane           :       0.00          0          0
1800.23/1800.20	c   rens             :       0.00          0          0
1800.23/1800.20	c   rins             :       0.00          0          0
1800.23/1800.20	c   localbranching   :       0.00          0          0
1800.23/1800.20	c   mutation         :       0.00          0          0
1800.23/1800.20	c   crossover        :       0.00          0          0
1800.23/1800.20	c   dins             :       0.00          0          0
1800.23/1800.20	c   vbounds          :       0.00          0          0
1800.23/1800.20	c   undercover       :       0.00          0          0
1800.23/1800.20	c   subnlp           :       0.00          0          0
1800.23/1800.20	c   trysol           :       0.00          0          0
1800.23/1800.20	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.23/1800.20	c   primal LP        :       0.00          0          0       0.00          -
1800.23/1800.20	c   dual LP          :       0.00          0          0       0.00          -
1800.23/1800.20	c   lex dual LP      :       0.00          0          0       0.00          -
1800.23/1800.20	c   barrier LP       :       0.00          0          0       0.00          -
1800.23/1800.20	c   diving/probing LP:       0.00          0          0       0.00          -
1800.23/1800.20	c   strong branching :       0.00          0          0       0.00          -
1800.23/1800.20	c     (at root node) :          -          0          0       0.00          -
1800.23/1800.20	c   conflict analysis:       0.00          0          0       0.00          -
1800.23/1800.20	c B&B Tree           :
1800.23/1800.20	c   number of runs   :          1
1800.23/1800.20	c   nodes            :          0
1800.23/1800.20	c   nodes (total)    :          0
1800.23/1800.20	c   nodes left       :          1
1800.23/1800.20	c   max depth        :         -1
1800.23/1800.20	c   max depth (total):         -1
1800.23/1800.20	c   backtracks       :          0 (0.0%)
1800.23/1800.20	c   delayed cutoffs  :          0
1800.23/1800.20	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.23/1800.20	c   avg switch length:       0.00
1800.23/1800.20	c   switching time   :       0.00
1800.23/1800.20	c Solution           :
1800.23/1800.20	c   Solutions found  :          0 (0 improvements)
1800.23/1800.20	c   Primal Bound     :          -
1800.23/1800.20	c   Dual Bound       :          -
1800.23/1800.20	c   Gap              :   infinite
1800.23/1800.20	c   Root Dual Bound  :          -
1800.23/1800.20	c   Root Iterations  :          0
1800.83/1800.84	c Time complete: 1800.88.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453484-1307118252/watcher-3453484-1307118252 -o /tmp/evaluation-result-3453484-1307118252/solver-3453484-1307118252 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453484-1307118252.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=11188 CPUtime=0 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1781 0 0 0 0 0 0 0 25 0 1 0 902055880 11456512 1734 33554432000 4194304 9128323 140737153819632 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 2797 1734 400 1205 0 1588 0

[startup+0.0729789 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=22832 CPUtime=0.06 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 4692 0 0 0 6 0 0 0 25 0 1 0 902055880 23379968 4643 33554432000 4194304 9128323 140737153819632 18446744073709551615 7929131 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 5708 4643 400 1205 0 4499 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22832

[startup+0.100972 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=27372 CPUtime=0.09 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 5859 0 0 0 9 0 0 0 25 0 1 0 902055880 28028928 5810 33554432000 4194304 9128323 140737153819632 18446744073709551615 4338648 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 6843 5810 400 1205 0 5634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27372

[startup+0.300936 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=50220 CPUtime=0.29 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 11587 0 0 0 28 1 0 0 25 0 1 0 902055880 51425280 11506 33554432000 4194304 9128323 140737153819632 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 12555 11506 400 1205 0 11346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50220

[startup+0.700864 s]
/proc/loadavg: 2.02 2.04 2.00 2/527 11053
/proc/meminfo: memFree=24761568/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=68580 CPUtime=0.69 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 16161 0 0 0 68 1 0 0 25 0 1 0 902055880 70225920 16072 33554432000 4194304 9128323 140737153819632 18446744073709551615 6188926 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 17145 16072 400 1205 0 15936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68580

[startup+1.50072 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11054
/proc/meminfo: memFree=24677984/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=128780 CPUtime=1.49 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 31180 0 0 0 146 3 0 0 25 0 1 0 902055880 131870720 31075 33554432000 4194304 9128323 140737153819632 18446744073709551615 6889762 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 32195 31075 400 1205 0 30986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128780

[startup+3.10043 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11054
/proc/meminfo: memFree=24440648/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=464244 CPUtime=3.09 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 125618 0 0 0 294 15 0 0 25 0 1 0 902055880 475385856 113086 33554432000 4194304 9128323 140737153819632 18446744073709551615 4832296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 116061 113086 501 1205 0 114852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 464244

[startup+6.30087 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11054
/proc/meminfo: memFree=24083736/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=758772 CPUtime=6.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 198324 0 0 0 606 24 0 0 25 0 1 0 902055880 776982528 185792 33554432000 4194304 9128323 140737153819632 18446744073709551615 6589091 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 189693 185792 510 1205 0 188484 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 758772

[startup+12.7007 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11056
/proc/meminfo: memFree=23897324/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=885444 CPUtime=12.69 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 228830 0 0 0 1241 28 0 0 25 0 1 0 902055880 906694656 215316 33554432000 4194304 9128323 140737153819632 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 221361 215316 523 1205 0 220152 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885444

[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 11056
/proc/meminfo: memFree=23816108/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=970700 CPUtime=25.49 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 263286 0 0 0 2517 32 0 0 25 0 1 0 902055880 993996800 235688 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 242675 235688 606 1205 0 241466 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 970700

[startup+51.101 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11057
/proc/meminfo: memFree=23762272/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1025932 CPUtime=51.09 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 276641 0 0 0 5075 34 0 0 25 0 1 0 902055880 1050554368 249043 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 256483 249043 606 1205 0 255274 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1025932

[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11059
/proc/meminfo: memFree=23607240/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1180328 CPUtime=102.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 314951 0 0 0 10193 39 0 0 25 0 1 0 902055880 1208655872 287353 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593401 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 295082 287353 606 1205 0 293873 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 1180328

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11061
/proc/meminfo: memFree=23454108/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1333292 CPUtime=162.29 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 353627 0 0 0 16187 42 0 0 25 0 1 0 902055880 1365291008 325336 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 333323 325336 606 1205 0 332114 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1333292

[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/528 11093
/proc/meminfo: memFree=22426276/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1613048 CPUtime=222.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 422040 0 0 0 22178 52 0 0 25 0 1 0 902055880 1651761152 393716 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 403262 393716 606 1205 0 402053 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1613048

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 11095
/proc/meminfo: memFree=22112332/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1759584 CPUtime=282.29 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 458317 0 0 0 28173 56 0 0 25 0 1 0 902055880 1801814016 429993 33554432000 4194304 9128323 140737153819632 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 439896 429993 606 1205 0 438687 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1759584

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 11096
/proc/meminfo: memFree=21731116/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1881548 CPUtime=342.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 488603 0 0 0 34170 60 0 0 25 0 1 0 902055880 1926705152 460279 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 470387 460279 606 1205 0 469178 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1881548

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11098
/proc/meminfo: memFree=21366004/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2014752 CPUtime=402.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 521685 0 0 0 40167 63 0 0 25 0 1 0 902055880 2063106048 493361 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 503688 493361 606 1205 0 502479 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2014752

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 11100
/proc/meminfo: memFree=21056844/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2161672 CPUtime=462.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 558337 0 0 0 46163 67 0 0 25 0 1 0 902055880 2213552128 530013 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 540418 530013 606 1205 0 539209 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2161672

[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/528 11101
/proc/meminfo: memFree=20798872/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2301444 CPUtime=522.31 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 593508 0 0 0 52159 72 0 0 25 0 1 0 902055880 2356678656 565184 33554432000 4194304 9128323 140737153819632 18446744073709551615 4792770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 575361 565184 606 1205 0 574152 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2301444

[startup+582.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/528 11103
/proc/meminfo: memFree=20570296/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=2410924 CPUtime=582.3 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 621183 0 0 0 58155 75 0 0 25 0 1 0 902055880 2468786176 592859 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 602731 592859 610 1205 0 601522 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2410924

[startup+642.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 11115
/proc/meminfo: memFree=19219104/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3017312 CPUtime=942.31 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 771194 0 0 0 94132 99 0 0 25 0 1 0 902055880 3089727488 742870 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 754328 742870 610 1205 0 753119 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 3017312

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11117
/proc/meminfo: memFree=19031336/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3085976 CPUtime=1002.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 788896 0 0 0 100130 102 0 0 25 0 1 0 902055880 3160039424 760506 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 771494 760506 610 1205 0 770285 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3085976

[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/528 11118
/proc/meminfo: memFree=18866876/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3167744 CPUtime=1062.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 809208 0 0 0 106127 105 0 0 25 0 1 0 902055880 3243769856 780818 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 791936 780818 610 1205 0 790727 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3167744

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/528 11120
/proc/meminfo: memFree=18682692/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3247000 CPUtime=1122.31 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 828622 0 0 0 112124 107 0 0 25 0 1 0 902055880 3324928000 800232 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 811750 800232 610 1205 0 810541 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3247000

[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 11122
/proc/meminfo: memFree=18541912/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3317928 CPUtime=1182.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 846454 0 0 0 118122 110 0 0 25 0 1 0 902055880 3397558272 818064 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 829482 818064 610 1205 0 828273 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3317928

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11123
/proc/meminfo: memFree=18401016/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3389560 CPUtime=1242.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 863535 0 0 0 124119 113 0 0 25 0 1 0 902055880 3470909440 835145 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 847390 835145 610 1205 0 846181 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3389560

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 11125
/proc/meminfo: memFree=18281676/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3439088 CPUtime=1302.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 876708 0 0 0 130119 114 0 0 25 0 1 0 902055880 3521626112 848318 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 859772 848318 610 1205 0 858563 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3439088

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/528 11128
/proc/meminfo: memFree=18162960/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3481112 CPUtime=1362.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 888136 0 0 0 136117 115 0 0 25 0 1 0 902055880 3564658688 859746 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 870278 859746 610 1205 0 869069 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3481112

[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 11129
/proc/meminfo: memFree=18032932/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3547420 CPUtime=1422.34 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 903331 0 0 0 142117 117 0 0 25 0 1 0 902055880 3632558080 874941 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 886855 874941 610 1205 0 885646 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3547420

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 11132
/proc/meminfo: memFree=17910360/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3587284 CPUtime=1482.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 913673 0 0 0 148115 118 0 0 25 0 1 0 902055880 3673378816 885283 33554432000 4194304 9128323 140737153819632 18446744073709551615 6594374 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 896821 885283 610 1205 0 895612 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3587284

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11134
/proc/meminfo: memFree=17771672/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3643512 CPUtime=1542.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 927242 0 0 0 154113 120 0 0 25 0 1 0 902055880 3730956288 898852 33554432000 4194304 9128323 140737153819632 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 910878 898852 610 1205 0 909669 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3643512

[startup+1602.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/528 11137
/proc/meminfo: memFree=17645776/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3710944 CPUtime=1602.32 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 944118 0 0 0 160111 121 0 0 25 0 1 0 902055880 3800006656 915728 33554432000 4194304 9128323 140737153819632 18446744073709551615 6577120 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 927736 915728 610 1205 0 926527 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3710944

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/528 11139
/proc/meminfo: memFree=17497928/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3787680 CPUtime=1662.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 963045 0 0 0 166109 124 0 0 25 0 1 0 902055880 3878584320 934655 33554432000 4194304 9128323 140737153819632 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 946920 934655 610 1205 0 945711 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3787680

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 11140
/proc/meminfo: memFree=17324400/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3883592 CPUtime=1722.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 987452 0 0 0 172106 127 0 0 25 0 1 0 902055880 3976798208 959062 33554432000 4194304 9128323 140737153819632 18446744073709551615 4785234 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 970898 959062 610 1205 0 969689 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3883592

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 11142
/proc/meminfo: memFree=17175052/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3977688 CPUtime=1782.33 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1011568 0 0 0 178102 131 0 0 25 0 1 0 902055880 4073152512 983178 33554432000 4194304 9128323 140737153819632 18446744073709551615 4785264 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 994422 983178 610 1205 0 993213 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3977688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 11142
/proc/meminfo: memFree=17119364/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=4015936 CPUtime=1800.04 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1020444 0 0 0 179872 132 0 0 25 0 1 0 902055880 4112318464 992054 33554432000 4194304 9128323 140737153819632 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11053/statm: 1003984 992054 610 1205 0 1002775 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 4015936

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

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

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/529 11143
/proc/meminfo: memFree=17407160/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=3705992 CPUtime=1800.64 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1021515 0 0 0 179930 134 0 0 18 0 1 0 902055880 3794935808 915058 33554432000 4194304 9128323 140737153819632 18446744073709551615 4828768 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 926498 915058 649 1205 0 925289 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 3705992

[startup+1800.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/529 11143
/proc/meminfo: memFree=17407160/32951124 swapFree=56241860/67111528
[pid=11053] ppid=11050 vsize=1260300 CPUtime=1800.83 cores=0,2,4,6
/proc/11053/stat : 11053 (scip-2.0.1.4.li) R 11050 11053 5807 0 -1 4202496 1021519 0 0 0 179938 145 0 0 18 0 1 0 902055880 1290547200 273611 33554432000 4194304 9128323 140737153819632 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11053/statm: 315075 273099 653 1205 0 313866 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1260300

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.89
CPU user time (s): 1799.38
CPU system time (s): 1.50577
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4019976

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

runsolver used 10.1185 second user time and 21.1088 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-03 18:24:12
IDJOB=3453484
IDBENCH=77068
IDSOLVER=1949
FILE ID=node119/3453484-1307118252
RUNJOBID= node119-1307110299-10276
PBS_JOBID= 13497988
Free space on /tmp= 73612 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_9.std.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453484-1307118252/watcher-3453484-1307118252 -o /tmp/evaluation-result-3453484-1307118252/solver-3453484-1307118252 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453484-1307118252.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f9e2cf223f1ee9af03cb36930da0d262
RANDOM SEED=1002742057

node119.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24761848 kB
Buffers:        205424 kB
Cached:         570984 kB
SwapCached:      59076 kB
Active:         915392 kB
Inactive:      6977020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24761848 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:           20396 kB
Writeback:           0 kB
AnonPages:     7060036 kB
Mapped:          36104 kB
Slab:           148936 kB
PageTables:      79692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164103776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73592 MiB
End job on node119 at 2011-06-03 18:54:14