Trace number 3740205

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1789.9 1790.38

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6029_8.std.opb
MD5SUM462f9351930ed2902c05fb692326c53f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints123520
Number of constraints which are clauses122320
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 constraint60
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 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-3740205-1338733867.opb>
0.79/0.87	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 123520 constraints
0.79/0.87	c problem read
0.79/0.87	c presolving settings loaded
1.09/1.14	c presolving:
4.49/4.55	c (round 1) 2338 del vars, 6490 del conss, 1669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8518724 impls, 0 clqs
5.39/5.47	c (round 2) 5375 del vars, 17857 del conss, 4490 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8533657 impls, 0 clqs
5.69/5.76	c (round 3) 6681 del vars, 23612 del conss, 5289 chg bounds, 47 chg sides, 60 chg coeffs, 0 upgd conss, 8541909 impls, 0 clqs
5.89/5.90	c (round 4) 7199 del vars, 25796 del conss, 5614 chg bounds, 86 chg sides, 111 chg coeffs, 0 upgd conss, 8545950 impls, 0 clqs
5.89/5.99	c (round 5) 7508 del vars, 26999 del conss, 5790 chg bounds, 91 chg sides, 118 chg coeffs, 0 upgd conss, 8548991 impls, 0 clqs
5.99/6.05	c (round 6) 7644 del vars, 27592 del conss, 5878 chg bounds, 95 chg sides, 121 chg coeffs, 0 upgd conss, 8549996 impls, 0 clqs
5.99/6.09	c (round 7) 7724 del vars, 27950 del conss, 5906 chg bounds, 99 chg sides, 124 chg coeffs, 0 upgd conss, 8550536 impls, 0 clqs
6.09/6.13	c (round 8) 7742 del vars, 28049 del conss, 5916 chg bounds, 99 chg sides, 124 chg coeffs, 0 upgd conss, 8550644 impls, 0 clqs
6.09/6.16	c (round 9) 7743 del vars, 28078 del conss, 5916 chg bounds, 99 chg sides, 124 chg coeffs, 0 upgd conss, 8550644 impls, 0 clqs
6.49/6.52	c (round 10) 7743 del vars, 28078 del conss, 5916 chg bounds, 99 chg sides, 124 chg coeffs, 95442 upgd conss, 8550644 impls, 0 clqs
6.89/6.93	c (round 11) 7743 del vars, 28098 del conss, 5916 chg bounds, 155 chg sides, 330 chg coeffs, 95442 upgd conss, 8550644 impls, 0 clqs
278.72/278.83	c    (278.0s) probing: 1000/28979 (3.5%) - 9 fixings, 1 aggregations, 6524060 implications, 0 bound changes
515.83/516.09	c    (515.2s) probing: 2000/28979 (6.9%) - 9 fixings, 1 aggregations, 10909278 implications, 0 bound changes
547.32/547.59	c    (546.7s) probing: 2126/28979 (7.3%) - 9 fixings, 1 aggregations, 11499149 implications, 0 bound changes
547.32/547.59	c    (546.7s) probing aborted: 2000/2000 successive useless probings
547.32/547.59	c (round 12) 7753 del vars, 28099 del conss, 5916 chg bounds, 156 chg sides, 344 chg coeffs, 95442 upgd conss, 44914026 impls, 0 clqs
547.72/547.99	c (round 13) 7753 del vars, 28418 del conss, 5916 chg bounds, 159 chg sides, 452 chg coeffs, 95442 upgd conss, 44914026 impls, 1 clqs
730.57/730.80	c    (729.9s) probing: 3000/28979 (10.4%) - 30 fixings, 13 aggregations, 16664978 implications, 0 bound changes
927.71/928.06	c (round 14) 7803 del vars, 28420 del conss, 5916 chg bounds, 159 chg sides, 455 chg coeffs, 95442 upgd conss, 75614730 impls, 1 clqs
929.22/929.51	c (round 15) 7817 del vars, 28601 del conss, 5916 chg bounds, 159 chg sides, 456 chg coeffs, 95442 upgd conss, 75621962 impls, 1 clqs
929.51/929.83	c (round 16) 7817 del vars, 28618 del conss, 5916 chg bounds, 159 chg sides, 456 chg coeffs, 95442 upgd conss, 75621962 impls, 1 clqs
951.61/951.99	c    (951.1s) probing: 4000/28979 (13.8%) - 52 fixings, 28 aggregations, 24128291 implications, 0 bound changes
1165.56/1165.92	c    (1165.0s) probing: 5000/28979 (17.3%) - 65 fixings, 29 aggregations, 31784027 implications, 0 bound changes
1342.42/1342.89	c    (1342.0s) probing: 6000/28979 (20.7%) - 66 fixings, 34 aggregations, 36106816 implications, 0 bound changes
1509.96/1510.49	c    (1509.6s) probing: 7000/28979 (24.2%) - 66 fixings, 34 aggregations, 39462257 implications, 0 bound changes
1659.04/1659.55	c    (1658.7s) probing: 8000/28979 (27.6%) - 68 fixings, 34 aggregations, 41979504 implications, 0 bound changes
1784.60/1785.15	c (round 17) 7867 del vars, 28618 del conss, 5916 chg bounds, 159 chg sides, 456 chg coeffs, 95442 upgd conss, 121635380 impls, 1 clqs
1785.70/1786.20	c (round 18) 7877 del vars, 28796 del conss, 5916 chg bounds, 159 chg sides, 456 chg coeffs, 95442 upgd conss, 121643770 impls, 1 clqs
1786.10/1786.68	c (round 19) 7877 del vars, 28806 del conss, 5916 chg bounds, 159 chg sides, 456 chg coeffs, 95442 upgd conss, 121643770 impls, 1 clqs
1789.50/1790.02	c    (1789.2s) probing: 8970/28979 (31.0%) - 76 fixings, 34 aggregations, 43931620 implications, 0 bound changes
1789.50/1790.02	c    (1789.2s) probing aborted: solving stopped
1789.50/1790.02	c presolving (20 rounds):
1789.50/1790.02	c  7877 deleted vars, 28806 deleted constraints, 5916 tightened bounds, 0 added holes, 159 changed sides, 456 changed coefficients
1789.50/1790.02	c  121705516 implications, 1 cliques
1789.50/1790.02	c presolved problem has 28845 variables (28845 bin, 0 int, 0 impl, 0 cont) and 94758 constraints
1789.50/1790.02	c    1129 constraints of type <knapsack>
1789.50/1790.02	c   79288 constraints of type <setppc>
1789.50/1790.02	c   14341 constraints of type <logicor>
1789.50/1790.02	c transformed objective value is always integral (scale: 1)
1789.50/1790.02	c Presolving Time: 1788.96
1789.50/1790.02	c - non default parameters ----------------------------------------------------------------------
1789.50/1790.02	c # SCIP version 1.2.1.3
1789.50/1790.02	c 
1789.50/1790.02	c # frequency for displaying node information lines
1789.50/1790.02	c # [type: int, range: [-1,2147483647], default: 100]
1789.50/1790.02	c display/freq = 10000
1789.50/1790.02	c 
1789.50/1790.02	c # maximal time in seconds to run
1789.50/1790.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.50/1790.02	c limits/time = 1789.14
1789.50/1790.02	c 
1789.50/1790.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.50/1790.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.50/1790.02	c limits/memory = 13950
1789.50/1790.02	c 
1789.50/1790.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.50/1790.02	c # [type: int, range: [1,2], default: 1]
1789.50/1790.02	c timing/clocktype = 2
1789.50/1790.02	c 
1789.50/1790.02	c # should presolving try to simplify inequalities
1789.50/1790.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.50/1790.02	c constraints/linear/simplifyinequalities = TRUE
1789.50/1790.02	c 
1789.50/1790.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.50/1790.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.50/1790.02	c constraints/indicator/addCouplingCons = TRUE
1789.50/1790.02	c 
1789.50/1790.02	c # should presolving try to simplify knapsacks
1789.50/1790.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.50/1790.02	c constraints/knapsack/simplifyinequalities = TRUE
1789.50/1790.02	c 
1789.50/1790.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.50/1790.02	c # [type: int, range: [-1,2147483647], default: -1]
1789.50/1790.02	c separating/rapidlearning/freq = 0
1789.50/1790.02	c 
1789.50/1790.02	c -----------------------------------------------------------------------------------------------
1789.50/1790.02	c start solving
1789.50/1790.04	c 
1789.50/1790.04	c 
1789.50/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.50/1790.04	c Solving Time (sec) : 1789.17
1789.50/1790.04	c Solving Nodes      : 0
1789.50/1790.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.50/1790.04	c Dual Bound         : -1.00000000000000e+20
1789.50/1790.04	c Gap                : infinite
1789.50/1790.04	s UNKNOWN
1789.50/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.50/1790.04	c Solving Time       :    1789.17
1789.50/1790.04	c Original Problem   :
1789.50/1790.04	c   Problem name     : HOME/instance-3740205-1338733867.opb
1789.50/1790.04	c   Variables        : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.04	c   Constraints      : 123520 initial, 123520 maximal
1789.50/1790.04	c Presolved Problem  :
1789.50/1790.04	c   Problem name     : t_HOME/instance-3740205-1338733867.opb
1789.50/1790.04	c   Variables        : 28845 (28845 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.04	c   Constraints      : 94758 initial, 94758 maximal
1789.50/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.50/1790.04	c   trivial          :       0.03        497          0          0          0          0          0          0          0
1789.50/1790.04	c   dualfix          :       0.04         61          0          0          0          0          0          0          0
1789.50/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.50/1790.04	c   implics          :       2.44          0         23          0          0          0          0          0          0
1789.50/1790.04	c   probing          :    1778.76         76         34          0          0          0          0          0          0
1789.50/1790.04	c   knapsack         :       1.93          0          0          0          0          0          5         60        332
1789.50/1790.04	c   setppc           :       0.41          1          0          0          0          0        713          0          0
1789.50/1790.04	c   linear           :       5.05       5419       1766          0       5916          0      28078         99        124
1789.50/1790.04	c   logicor          :       0.12          0          0          0          0          0         10          0          0
1789.50/1790.04	c   root node        :          -          0          -          -          0          -          -          -          -
1789.50/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.50/1790.04	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.50/1790.04	c   knapsack         :       1129          0     401451          0          0         16          0          0          0          0
1789.50/1790.04	c   setppc           :      79288          0     401435          0          0          7          0          0          0          0
1789.50/1790.04	c   logicor          :      14341          0     365727          0          0         40          0          0          0          0
1789.50/1790.04	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.50/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.50/1790.04	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.50/1790.04	c   knapsack         :      25.79       0.00      25.79       0.00       0.00
1789.50/1790.04	c   setppc           :     879.19       0.00     879.19       0.00       0.00
1789.50/1790.04	c   logicor          :      15.26       0.00      15.26       0.00       0.00
1789.50/1790.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.50/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.50/1790.04	c   vbounds          :       0.12          1          0          0
1789.50/1790.04	c   rootredcost      :       0.08          0          0          0
1789.50/1790.04	c   pseudoobj        :       0.08          0          0          0
1789.50/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.50/1790.04	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.50/1790.04	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.50/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.50/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.50/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.50/1790.04	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.50/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.50/1790.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.50/1790.04	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1789.50/1790.04	c   redcost          :       0.00          0          0          0          0          0
1789.50/1790.04	c   impliedbounds    :       0.00          0          0          0          0          0
1789.50/1790.04	c   intobj           :       0.00          0          0          0          0          0
1789.50/1790.04	c   cgmip            :       0.00          0          0          0          0          0
1789.50/1790.04	c   gomory           :       0.00          0          0          0          0          0
1789.50/1790.04	c   strongcg         :       0.00          0          0          0          0          0
1789.50/1790.04	c   cmir             :       0.00          0          0          0          0          0
1789.50/1790.04	c   flowcover        :       0.00          0          0          0          0          0
1789.50/1790.04	c   clique           :       0.00          0          0          0          0          0
1789.50/1790.04	c   zerohalf         :       0.00          0          0          0          0          0
1789.50/1790.04	c   mcf              :       0.00          0          0          0          0          0
1789.50/1790.04	c   rapidlearning    :       0.00          0          0          0          0          0
1789.50/1790.04	c Pricers            :       Time      Calls       Vars
1789.50/1790.04	c   problem variables:       0.00          0          0
1789.50/1790.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.50/1790.04	c   pscost           :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   inference        :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   mostinf          :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   leastinf         :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   random           :       0.00          0          0          0          0          0          0
1789.50/1790.04	c   relpscost        :       0.00          0          0          0          0          0          0
1789.50/1790.04	c Primal Heuristics  :       Time      Calls      Found
1789.50/1790.04	c   LP solutions     :       0.00          -          0
1789.50/1790.04	c   pseudo solutions :       0.00          -          0
1789.50/1790.04	c   trivial          :       0.03          1          0
1789.50/1790.04	c   simplerounding   :       0.00          0          0
1789.50/1790.04	c   zirounding       :       0.00          0          0
1789.50/1790.04	c   rounding         :       0.00          0          0
1789.50/1790.04	c   shifting         :       0.00          0          0
1789.50/1790.04	c   intshifting      :       0.00          0          0
1789.50/1790.04	c   oneopt           :       0.00          0          0
1789.50/1790.04	c   twoopt           :       0.00          0          0
1789.50/1790.04	c   fixandinfer      :       0.00          0          0
1789.50/1790.04	c   feaspump         :       0.00          0          0
1789.50/1790.04	c   coefdiving       :       0.00          0          0
1789.50/1790.04	c   pscostdiving     :       0.00          0          0
1789.50/1790.04	c   fracdiving       :       0.00          0          0
1789.50/1790.04	c   veclendiving     :       0.00          0          0
1789.50/1790.04	c   intdiving        :       0.00          0          0
1789.50/1790.04	c   actconsdiving    :       0.00          0          0
1789.50/1790.04	c   objpscostdiving  :       0.00          0          0
1789.50/1790.04	c   rootsoldiving    :       0.00          0          0
1789.50/1790.04	c   linesearchdiving :       0.00          0          0
1789.50/1790.04	c   guideddiving     :       0.00          0          0
1789.50/1790.04	c   octane           :       0.00          0          0
1789.50/1790.04	c   rens             :       0.00          0          0
1789.50/1790.04	c   rins             :       0.00          0          0
1789.50/1790.04	c   localbranching   :       0.00          0          0
1789.50/1790.04	c   mutation         :       0.00          0          0
1789.50/1790.04	c   crossover        :       0.00          0          0
1789.50/1790.04	c   dins             :       0.00          0          0
1789.50/1790.04	c   undercover       :       0.00          0          0
1789.50/1790.04	c   nlp              :       0.00          0          0
1789.50/1790.04	c   trysol           :       0.00          0          0
1789.50/1790.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.50/1790.04	c   primal LP        :       0.00          0          0       0.00          -
1789.50/1790.04	c   dual LP          :       0.00          0          0       0.00          -
1789.50/1790.04	c   lex dual LP      :       0.00          0          0       0.00          -
1789.50/1790.04	c   barrier LP       :       0.00          0          0       0.00          -
1789.50/1790.04	c   diving/probing LP:       0.00          0          0       0.00          -
1789.50/1790.04	c   strong branching :       0.00          0          0       0.00          -
1789.50/1790.04	c     (at root node) :          -          0          0       0.00          -
1789.50/1790.04	c   conflict analysis:       0.00          0          0       0.00          -
1789.50/1790.04	c B&B Tree           :
1789.50/1790.04	c   number of runs   :          1
1789.50/1790.04	c   nodes            :          0
1789.50/1790.04	c   nodes (total)    :          0
1789.50/1790.04	c   nodes left       :          1
1789.50/1790.04	c   max depth        :         -1
1789.50/1790.04	c   max depth (total):         -1
1789.50/1790.04	c   backtracks       :          0 (0.0%)
1789.50/1790.04	c   delayed cutoffs  :          0
1789.50/1790.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.50/1790.04	c   avg switch length:       0.00
1789.50/1790.04	c   switching time   :       0.00
1789.50/1790.04	c Solution           :
1789.50/1790.04	c   Solutions found  :          0 (0 improvements)
1789.50/1790.04	c   Primal Bound     :          -
1789.50/1790.04	c   Dual Bound       :          -
1789.50/1790.04	c   Gap              :   infinite
1789.50/1790.04	c   Root Dual Bound  :          -
1789.50/1790.04	c   Root Iterations  :          0
1789.80/1790.38	c Time complete: 1789.88.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3740205-1338733867/watcher-3740205-1338733867 -o /tmp/evaluation-result-3740205-1338733867/solver-3740205-1338733867 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740205-1338733867.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.00 2.00 2.00 3/176 5070
/proc/meminfo: memFree=26484700/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=8944 CPUtime=0 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 339512441 9158656 1391 33554432000 4194304 8395647 140734874833040 140736796856696 7382157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 2236 1402 374 1026 0 1206 0

[startup+0.0893411 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5070
/proc/meminfo: memFree=26484700/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=24948 CPUtime=0.07 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 5479 0 0 0 7 0 0 0 20 0 1 0 339512441 25546752 5425 33554432000 4194304 8395647 140734874833040 140736796856696 7382016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 6237 5425 393 1026 0 5207 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24948

[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5070
/proc/meminfo: memFree=26484700/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=26212 CPUtime=0.08 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 5790 0 0 0 8 0 0 0 20 0 1 0 339512441 26841088 5736 33554432000 4194304 8395647 140734874833040 140736796856696 6767037 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 6553 5736 393 1026 0 5523 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26212

[startup+0.300217 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5070
/proc/meminfo: memFree=26484700/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=41532 CPUtime=0.29 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 9602 0 0 0 28 1 0 0 20 0 1 0 339512441 42528768 9548 33554432000 4194304 8395647 140734874833040 140734874698248 7352044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 10383 9548 393 1026 0 9353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41532

[startup+0.700217 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5070
/proc/meminfo: memFree=26484700/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=71120 CPUtime=0.68 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 17018 0 0 0 66 2 0 0 20 0 1 0 339512441 72826880 16964 33554432000 4194304 8395647 140734874833040 140734874698248 7382016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 17780 16964 393 1026 0 16750 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71120

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=26326716/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=236292 CPUtime=1.49 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 57963 0 0 0 140 9 0 0 20 0 1 0 339512441 241963008 57555 33554432000 4194304 8395647 140734874833040 140734874828792 4743344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 59073 57555 463 1026 0 58043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236292

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=26194036/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=381248 CPUtime=3.08 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 93820 0 0 0 294 14 0 0 20 0 1 0 339512441 390397952 93412 33554432000 4194304 8395647 140734874833040 140734874828792 6079792 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 95312 93412 469 1026 0 94282 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 381248

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=26033704/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=481648 CPUtime=6.29 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 117999 0 0 0 611 18 0 0 20 0 1 0 339512441 493207552 117244 33554432000 4194304 8395647 140734874833040 140734874829752 7385221 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 120412 117244 484 1026 0 119382 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 481648

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=25936368/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=565600 CPUtime=12.68 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 137752 0 0 0 1248 20 0 0 20 0 1 0 339512441 579174400 137420 33554432000 4194304 8395647 140734874833040 140734874828904 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 141400 137420 510 1026 0 140370 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 565600

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=25889992/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=613344 CPUtime=25.48 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 149480 0 0 0 2526 22 0 0 20 0 1 0 339512441 628064256 149148 33554432000 4194304 8395647 140734874833040 140734874829112 6068872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 153336 149148 510 1026 0 152306 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 613344

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=25783848/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=721592 CPUtime=51.07 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 176314 0 0 0 5081 26 0 0 20 0 1 0 339512441 738910208 175982 33554432000 4194304 8395647 140734874833040 140734874829112 5210648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 180398 175982 510 1026 0 179368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 721592

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=25576644/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=923216 CPUtime=102.26 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 225274 0 0 0 10193 33 0 0 20 0 1 0 339512441 945373184 224942 33554432000 4194304 8395647 140734874833040 140734874828904 4684112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5070/statm: 230804 224942 510 1026 0 229774 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 923216

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5071
/proc/meminfo: memFree=25350588/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1156492 CPUtime=162.25 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 283657 0 0 0 16182 43 0 0 20 0 1 0 339512441 1184247808 283325 33554432000 4194304 8395647 140734874833040 140734874829112 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 289123 283325 510 1026 0 288093 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1156492

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5071
/proc/meminfo: memFree=25267020/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1241552 CPUtime=222.22 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 304780 0 0 0 22176 46 0 0 20 0 1 0 339512441 1271349248 304448 33554432000 4194304 8395647 140734874833040 140734874829112 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 310388 304448 510 1026 0 309358 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1241552

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25186288/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1323272 CPUtime=282.22 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 325019 0 0 0 28172 50 0 0 20 0 1 0 339512441 1355030528 324687 33554432000 4194304 8395647 140734874833040 140734874828904 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 330818 324687 515 1026 0 329788 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1323272

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5111
/proc/meminfo: memFree=26562204/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1402884 CPUtime=342.19 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 344946 0 0 0 34164 55 0 0 20 0 1 0 339512441 1436553216 344677 33554432000 4194304 8395647 140734874833040 140734874828904 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 350721 344677 515 1026 0 349691 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1402884

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5111
/proc/meminfo: memFree=26265004/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1481200 CPUtime=402.16 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 364326 0 0 0 40158 58 0 0 20 0 1 0 339512441 1516748800 364379 33554432000 4194304 8395647 140734874833040 140734874829112 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 370300 364379 515 1026 0 369270 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1481200

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5111
/proc/meminfo: memFree=25977104/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1558088 CPUtime=462.14 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 383311 0 0 0 46152 62 0 0 20 0 1 0 339512441 1595482112 383361 33554432000 4194304 8395647 140734874833040 140734874829112 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 389522 383361 515 1026 0 388492 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1558088

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5111
/proc/meminfo: memFree=25805268/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1622656 CPUtime=522.13 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 399640 0 0 0 52147 66 0 0 20 0 1 0 339512441 1661599744 399687 33554432000 4194304 8395647 140734874833040 140734874828968 6080353 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 405664 399687 515 1026 0 404634 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1622656

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5115
/proc/meminfo: memFree=25519404/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=1741820 CPUtime=582.1 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 428442 0 0 0 58139 71 0 0 20 0 1 0 339512441 1783623680 429546 33554432000 4194304 8395647 140734874833040 140734874828904 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 435455 429546 515 1026 0 434425 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1741820

[startup+642.3 s]

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

/proc/meminfo: memFree=23976548/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=2911568 CPUtime=1002 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 717470 0 0 0 100078 122 0 0 20 0 1 0 339512441 2981445632 720386 33554432000 4194304 8395647 140734874833040 140734874829112 6080349 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 727892 720386 515 1026 0 726862 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 2911568

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5116
/proc/meminfo: memFree=23751516/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3098416 CPUtime=1061.98 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 763966 0 0 0 106069 129 0 0 20 0 1 0 339512441 3172777984 766899 33554432000 4194304 8395647 140734874833040 140734874829112 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 774604 766899 515 1026 0 773574 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 3098416

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5116
/proc/meminfo: memFree=23463736/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3279616 CPUtime=1121.96 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 809134 0 0 0 112058 138 0 0 20 0 1 0 339512441 3358326784 812144 33554432000 4194304 8395647 140734874833040 140734874829112 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 819904 812144 515 1026 0 818874 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 3279616

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5120
/proc/meminfo: memFree=23222204/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3454632 CPUtime=1181.95 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 851986 0 0 0 118050 145 0 0 20 0 1 0 339512441 3537543168 855070 33554432000 4194304 8395647 140734874833040 140734874829112 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 863658 855070 515 1026 0 862628 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 3454632

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5120
/proc/meminfo: memFree=22997056/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3557436 CPUtime=1241.95 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 877759 0 0 0 124045 150 0 0 20 0 1 0 339512441 3642814464 880909 33554432000 4194304 8395647 140734874833040 140734874829112 6068911 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 889359 880909 515 1026 0 888329 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 3557436

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5120
/proc/meminfo: memFree=22750328/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3670904 CPUtime=1301.93 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 905945 0 0 0 130039 154 0 0 20 0 1 0 339512441 3759005696 909448 33554432000 4194304 8395647 140734874833040 140734874828904 5210645 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 917726 909448 515 1026 0 916696 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 3670904

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5120
/proc/meminfo: memFree=22552204/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3765656 CPUtime=1361.91 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 929633 0 0 0 136032 159 0 0 20 0 1 0 339512441 3856031744 933752 33554432000 4194304 8395647 140734874833040 140734874829112 6080692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 941414 933752 515 1026 0 940384 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 3765656

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5120
/proc/meminfo: memFree=22279928/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3869140 CPUtime=1421.89 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 955392 0 0 0 142026 163 0 0 20 0 1 0 339512441 3961999360 959754 33554432000 4194304 8395647 140734874833040 140734874828968 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 967285 959754 515 1026 0 966255 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 3869140

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5121
/proc/meminfo: memFree=22097676/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=3945732 CPUtime=1481.87 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 974864 0 0 0 148020 167 0 0 20 0 1 0 339512441 4040429568 979419 33554432000 4194304 8395647 140734874833040 140734874829112 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 986433 979419 515 1026 0 985403 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 3945732

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5121
/proc/meminfo: memFree=21848340/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4025256 CPUtime=1541.86 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 994322 0 0 0 154015 171 0 0 20 0 1 0 339512441 4121862144 999237 33554432000 4194304 8395647 140734874833040 140734874829112 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1006314 999237 515 1026 0 1005284 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 4025256

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5121
/proc/meminfo: memFree=21702420/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4089704 CPUtime=1601.84 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1010103 0 0 0 160010 174 0 0 20 0 1 0 339512441 4187856896 1015054 33554432000 4194304 8395647 140734874833040 140734874829112 6080661 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1022426 1015054 515 1026 0 1021396 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 4089704

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5121
/proc/meminfo: memFree=21578508/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4148132 CPUtime=1661.83 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1023965 0 0 0 166007 176 0 0 20 0 1 0 339512441 4247687168 1029065 33554432000 4194304 8395647 140734874833040 140734874828968 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1037033 1029065 515 1026 0 1036003 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 4148132

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5121
/proc/meminfo: memFree=21422668/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4215552 CPUtime=1721.81 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1041490 0 0 0 172003 178 0 0 20 0 1 0 339512441 4316725248 1046747 33554432000 4194304 8395647 140734874833040 140734874829112 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1053888 1046747 515 1026 0 1052858 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 4215552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5125
/proc/meminfo: memFree=21216848/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4304420 CPUtime=1781.81 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1063456 0 0 0 177999 182 0 0 20 0 1 0 339512441 4407726080 1068872 33554432000 4194304 8395647 140734874833040 140734874829112 5210648 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1076105 1068872 515 1026 0 1075075 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 4304420

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5125
/proc/meminfo: memFree=21210152/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4305444 CPUtime=1785 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1064142 0 0 0 178318 182 0 0 20 0 1 0 339512441 4408774656 1069558 33554432000 4194304 8395647 140734874833040 140734874828840 4914308 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1076361 1069558 515 1026 0 1075331 0
Current children cumulated CPU time (s) 1785
Current children cumulated vsize (KiB) 4305444

[startup+1788.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5125
/proc/meminfo: memFree=21200724/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4310836 CPUtime=1788.2 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1064551 0 0 0 178638 182 0 0 20 0 1 0 339512441 4414296064 1070989 33554432000 4194304 8395647 140734874833040 140734874830136 6080379 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1077709 1070989 515 1026 0 1076679 0
Current children cumulated CPU time (s) 1788.2
Current children cumulated vsize (KiB) 4310836

[startup+1789.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5125
/proc/meminfo: memFree=21200724/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4310836 CPUtime=1789 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1064723 0 0 0 178718 182 0 0 20 0 1 0 339512441 4414296064 1071173 33554432000 4194304 8395647 140734874833040 140734874830136 6345770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1077709 1071173 515 1026 0 1076679 0
Current children cumulated CPU time (s) 1789
Current children cumulated vsize (KiB) 4310836

[startup+1789.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5125
/proc/meminfo: memFree=21199592/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4310836 CPUtime=1789.4 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1064724 0 0 0 178758 182 0 0 20 0 1 0 339512441 4414296064 1071174 33554432000 4194304 8395647 140734874833040 140734874830136 4212498 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1077709 1071174 515 1026 0 1076679 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (KiB) 4310836

[startup+1790.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5125
/proc/meminfo: memFree=21199592/32873844 swapFree=7112/7112
[pid=5070] ppid=5068 vsize=4310836 CPUtime=1789.8 cores=0,2,4,6
/proc/5070/stat : 5070 (pbscip.linux.x8) R 5068 5070 2459 0 -1 4202496 1064749 0 0 0 178790 190 0 0 20 0 1 0 339512441 4414296064 351908 33554432000 4194304 8395647 140734874833040 140734874832360 7602442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5070/statm: 1077709 351908 537 1026 0 1076679 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 4310836

Child status: 0
Real time (s): 1790.38
CPU time (s): 1789.9
CPU user time (s): 1787.95
CPU system time (s): 1.9487
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 4310836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.95
system time used= 1.9487
maximum resident set size= 4284796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1064757
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= 196
involuntary context switches= 2273

runsolver used 3.2625 second user time and 7.9118 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 16:31:08
IDJOB=3740205
IDBENCH=76804
IDSOLVER=2326
FILE ID=node119/3740205-1338733867
RUNJOBID= node119-1338714114-2475
PBS_JOBID= 14636753
Free space on /tmp= 70884 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6029_8.std.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-3740205-1338733867/watcher-3740205-1338733867 -o /tmp/evaluation-result-3740205-1338733867/solver-3740205-1338733867 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740205-1338733867.opb -t 1800 -m 15500

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

MD5SUM BENCH= 462f9351930ed2902c05fb692326c53f
RANDOM SEED=799267948

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26484972 kB
Buffers:          407872 kB
Cached:          3061396 kB
SwapCached:         1936 kB
Active:          3579120 kB
Inactive:        1976092 kB
Active(anon):    2079556 kB
Inactive(anon):     8668 kB
Active(file):    1499564 kB
Inactive(file):  1967424 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:             14004 kB
Writeback:             0 kB
AnonPages:       2093112 kB
Mapped:            14384 kB
Shmem:                 0 kB
Slab:             690496 kB
SReclaimable:     132660 kB
SUnreclaim:       557836 kB
KernelStack:        1472 kB
PageTables:         8212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2220888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1892352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70872 MiB
End job on node119 at 2012-06-03 17:00:58