Trace number 3740667

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.92 1790.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j305_3.std.opb
MD5SUM4501334f0c0e8dcf999d144644599113
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark0.084986
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18662
Total number of constraints59649
Number of constraints which are clauses58449
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 constraint17
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-3740667-1338742843.opb>
0.29/0.38	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 59649 constraints
0.29/0.38	c problem read
0.29/0.38	c presolving settings loaded
0.49/0.53	c presolving:
2.20/2.22	c (round 1) 857 del vars, 2171 del conss, 527 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4100108 impls, 0 clqs
2.49/2.55	c (round 2) 2327 del vars, 6821 del conss, 1887 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4106243 impls, 0 clqs
2.59/2.65	c (round 3) 2745 del vars, 9032 del conss, 2077 chg bounds, 57 chg sides, 58 chg coeffs, 0 upgd conss, 4108951 impls, 0 clqs
2.69/2.71	c (round 4) 2897 del vars, 9687 del conss, 2128 chg bounds, 71 chg sides, 75 chg coeffs, 0 upgd conss, 4110021 impls, 0 clqs
2.69/2.76	c (round 5) 2917 del vars, 9824 del conss, 2132 chg bounds, 71 chg sides, 75 chg coeffs, 0 upgd conss, 4110185 impls, 0 clqs
2.79/2.80	c (round 6) 2921 del vars, 9850 del conss, 2132 chg bounds, 71 chg sides, 75 chg coeffs, 0 upgd conss, 4110223 impls, 0 clqs
3.08/3.10	c (round 7) 2921 del vars, 9852 del conss, 2132 chg bounds, 71 chg sides, 75 chg coeffs, 49797 upgd conss, 4110223 impls, 0 clqs
3.30/3.30	c (round 8) 2922 del vars, 9861 del conss, 2135 chg bounds, 113 chg sides, 398 chg coeffs, 49797 upgd conss, 4112102 impls, 2105 clqs
3.39/3.43	c (round 9) 2927 del vars, 9892 del conss, 2135 chg bounds, 195 chg sides, 756 chg coeffs, 49797 upgd conss, 4112176 impls, 2272 clqs
3.49/3.56	c (round 10) 2927 del vars, 9900 del conss, 2135 chg bounds, 238 chg sides, 969 chg coeffs, 49797 upgd conss, 4112176 impls, 2301 clqs
3.59/3.65	c (round 11) 2927 del vars, 9902 del conss, 2135 chg bounds, 245 chg sides, 1009 chg coeffs, 49797 upgd conss, 4112176 impls, 2314 clqs
110.67/110.76	c    (110.4s) probing: 1000/15735 (6.4%) - 19 fixings, 0 aggregations, 3374150 implications, 0 bound changes
153.54/153.69	c (round 12) 2980 del vars, 9902 del conss, 2135 chg bounds, 245 chg sides, 1009 chg coeffs, 49797 upgd conss, 17623126 impls, 2311 clqs
154.24/154.39	c (round 13) 3011 del vars, 10345 del conss, 2135 chg bounds, 246 chg sides, 2024 chg coeffs, 49797 upgd conss, 17629750 impls, 2311 clqs
154.74/154.83	c (round 14) 3011 del vars, 10376 del conss, 2135 chg bounds, 257 chg sides, 2106 chg coeffs, 49797 upgd conss, 17629752 impls, 3716 clqs
198.63/198.74	c    (198.4s) probing: 2000/15735 (12.7%) - 74 fixings, 10 aggregations, 5982169 implications, 0 bound changes
222.22/222.36	c (round 15) 3061 del vars, 10376 del conss, 2135 chg bounds, 260 chg sides, 2128 chg coeffs, 49797 upgd conss, 23691218 impls, 2371 clqs
222.72/222.88	c (round 16) 3069 del vars, 10582 del conss, 2135 chg bounds, 260 chg sides, 2700 chg coeffs, 49797 upgd conss, 23691424 impls, 2371 clqs
223.13/223.26	c (round 17) 3069 del vars, 10590 del conss, 2135 chg bounds, 260 chg sides, 2706 chg coeffs, 49797 upgd conss, 23691424 impls, 3106 clqs
290.99/291.11	c    (290.7s) probing: 3000/15735 (19.1%) - 99 fixings, 32 aggregations, 9425463 implications, 0 bound changes
323.58/323.70	c (round 18) 3119 del vars, 10590 del conss, 2135 chg bounds, 260 chg sides, 2707 chg coeffs, 49797 upgd conss, 32612682 impls, 2417 clqs
324.18/324.40	c (round 19) 3127 del vars, 10768 del conss, 2135 chg bounds, 266 chg sides, 2949 chg coeffs, 49797 upgd conss, 32612912 impls, 2417 clqs
324.58/324.72	c (round 20) 3127 del vars, 10776 del conss, 2135 chg bounds, 274 chg sides, 3022 chg coeffs, 49797 upgd conss, 32612932 impls, 2773 clqs
356.28/356.41	c    (356.0s) probing: 4000/15735 (25.4%) - 123 fixings, 41 aggregations, 11519566 implications, 0 bound changes
409.45/409.68	c    (409.3s) probing: 5000/15735 (31.8%) - 123 fixings, 46 aggregations, 12793563 implications, 0 bound changes
458.84/459.07	c    (458.7s) probing: 6000/15735 (38.1%) - 144 fixings, 47 aggregations, 13873091 implications, 0 bound changes
504.82/505.05	c    (504.7s) probing: 7000/15735 (44.5%) - 144 fixings, 55 aggregations, 14619302 implications, 0 bound changes
542.62/542.83	c (round 21) 3177 del vars, 10776 del conss, 2135 chg bounds, 274 chg sides, 3028 chg coeffs, 49797 upgd conss, 42709610 impls, 2414 clqs
543.22/543.48	c (round 22) 3181 del vars, 10958 del conss, 2135 chg bounds, 283 chg sides, 3193 chg coeffs, 49797 upgd conss, 42709806 impls, 2423 clqs
547.11/547.33	c    (547.0s) probing: 8000/15735 (50.8%) - 154 fixings, 59 aggregations, 15181643 implications, 0 bound changes
581.72/581.93	c    (581.5s) probing: 9000/15735 (57.2%) - 164 fixings, 67 aggregations, 15501936 implications, 0 bound changes
620.49/620.70	c    (620.3s) probing: 10000/15735 (63.6%) - 167 fixings, 68 aggregations, 15962783 implications, 0 bound changes
655.69/655.90	c    (655.5s) probing: 11000/15735 (69.9%) - 167 fixings, 68 aggregations, 16299277 implications, 0 bound changes
675.38/675.62	c    (675.2s) probing: 11630/15735 (73.9%) - 167 fixings, 68 aggregations, 16477482 implications, 0 bound changes
675.38/675.62	c    (675.2s) probing aborted: 2000/2000 successive useless probings
675.38/675.63	c (round 23) 3213 del vars, 10962 del conss, 2135 chg bounds, 283 chg sides, 3251 chg coeffs, 49797 upgd conss, 45923486 impls, 2434 clqs
675.88/676.15	c (round 24) 3213 del vars, 11050 del conss, 2135 chg bounds, 292 chg sides, 3340 chg coeffs, 49797 upgd conss, 45923488 impls, 2484 clqs
676.19/676.41	c (round 25) 3213 del vars, 11061 del conss, 2135 chg bounds, 306 chg sides, 3420 chg coeffs, 49797 upgd conss, 45923490 impls, 2548 clqs
676.29/676.55	c (round 26) 3213 del vars, 11063 del conss, 2135 chg bounds, 310 chg sides, 3441 chg coeffs, 49797 upgd conss, 45923490 impls, 2553 clqs
681.79/682.05	c    (681.7s) probing: 11830/15735 (75.2%) - 167 fixings, 68 aggregations, 16553449 implications, 0 bound changes
681.79/682.05	c    (681.7s) probing aborted: 2000/2000 successive useless probings
681.79/682.05	c presolving (27 rounds):
681.79/682.05	c  3213 deleted vars, 11063 deleted constraints, 2135 tightened bounds, 0 added holes, 310 changed sides, 3441 changed coefficients
681.79/682.05	c  46122002 implications, 2553 cliques
681.79/682.05	c presolved problem has 15449 variables (15449 bin, 0 int, 0 impl, 0 cont) and 48796 constraints
681.79/682.05	c    1092 constraints of type <knapsack>
681.79/682.05	c   39951 constraints of type <setppc>
681.79/682.05	c    7753 constraints of type <logicor>
681.79/682.05	c transformed objective value is always integral (scale: 1)
681.79/682.05	c Presolving Time: 681.56
681.79/682.05	c - non default parameters ----------------------------------------------------------------------
681.79/682.05	c # SCIP version 1.2.1.3
681.79/682.05	c 
681.79/682.05	c # frequency for displaying node information lines
681.79/682.05	c # [type: int, range: [-1,2147483647], default: 100]
681.79/682.05	c display/freq = 10000
681.79/682.05	c 
681.79/682.05	c # maximal time in seconds to run
681.79/682.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
681.79/682.05	c limits/time = 1789.62
681.79/682.05	c 
681.79/682.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
681.79/682.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
681.79/682.05	c limits/memory = 13950
681.79/682.05	c 
681.79/682.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
681.79/682.05	c # [type: int, range: [1,2], default: 1]
681.79/682.05	c timing/clocktype = 2
681.79/682.05	c 
681.79/682.05	c # should presolving try to simplify inequalities
681.79/682.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
681.79/682.05	c constraints/linear/simplifyinequalities = TRUE
681.79/682.05	c 
681.79/682.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
681.79/682.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
681.79/682.05	c constraints/indicator/addCouplingCons = TRUE
681.79/682.05	c 
681.79/682.05	c # should presolving try to simplify knapsacks
681.79/682.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
681.79/682.05	c constraints/knapsack/simplifyinequalities = TRUE
681.79/682.05	c 
681.79/682.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
681.79/682.05	c # [type: int, range: [-1,2147483647], default: -1]
681.79/682.05	c separating/rapidlearning/freq = 0
681.79/682.05	c 
681.79/682.05	c -----------------------------------------------------------------------------------------------
681.79/682.05	c start solving
681.79/682.06	c 
699.68/699.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
699.68/699.91	c   700s|     1 |     0 | 16336 |     - |1260M|   0 | 700 |  15k|  48k|  15k|  48k|   0 |   0 |   0 | 6.400000e+01 |      --      |    Inf 
1278.67/1279.04	c  1279s|     1 |     0 | 63706 |     - |1266M|   0 |1285 |  15k|  48k|  15k|  50k|1796 |   0 |   0 | 6.536842e+01 |      --      |    Inf 
1379.65/1380.06	c  1380s|     1 |     0 | 99123 |     - |1268M|   0 |1450 |  15k|  48k|  15k|  50k|1978 |   0 |   0 | 6.633846e+01 |      --      |    Inf 
1464.74/1465.19	c  1465s|     1 |     0 |128971 |     - |1271M|   0 |1254 |  15k|  48k|  15k|  50k|2060 |   0 |   0 | 6.640424e+01 |      --      |    Inf 
1491.03/1491.41	c  1491s|     1 |     0 |137172 |     - |1275M|   0 |1377 |  15k|  48k|  15k|  50k|2103 |   0 |   0 | 6.649277e+01 |      --      |    Inf 
1592.42/1592.88	c  1592s|     1 |     0 |166557 |     - |1276M|   0 |1529 |  15k|  48k|  15k|  50k|2145 |   0 |   0 | 6.700000e+01 |      --      |    Inf 
1725.90/1726.35	c  1726s|     1 |     0 |199388 |     - |1276M|   0 |1505 |  15k|  48k|  15k|  50k|2187 |   0 |   0 | 6.700000e+01 |      --      |    Inf 
1789.58/1790.08	c  1790s|     1 |     0 |211375 |     - |1277M|   0 |   - |  15k|  48k|  15k|  50k|2208 |   0 |   0 | 6.700000e+01 |      --      |    Inf 
1789.68/1790.10	c  1790s|     1 |     2 |211375 |     - |1277M|   0 |   - |  15k|  48k|  15k|  50k|2208 |   0 |   0 | 6.700000e+01 |      --      |    Inf 
1789.68/1790.10	c 
1789.68/1790.10	c SCIP Status        : solving was interrupted [time limit reached]
1789.68/1790.10	c Solving Time (sec) : 1789.71
1789.68/1790.10	c Solving Nodes      : 1
1789.68/1790.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.68/1790.10	c Dual Bound         : +6.70000000000000e+01
1789.68/1790.10	c Gap                : infinite
1789.68/1790.10	s UNKNOWN
1789.68/1790.10	c SCIP Status        : solving was interrupted [time limit reached]
1789.68/1790.10	c Solving Time       :    1789.71
1789.68/1790.10	c Original Problem   :
1789.68/1790.10	c   Problem name     : HOME/instance-3740667-1338742843.opb
1789.68/1790.10	c   Variables        : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.10	c   Constraints      : 59649 initial, 59649 maximal
1789.68/1790.10	c Presolved Problem  :
1789.68/1790.10	c   Problem name     : t_HOME/instance-3740667-1338742843.opb
1789.68/1790.10	c   Variables        : 15449 (15449 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.68/1790.10	c   Constraints      : 48796 initial, 48796 maximal
1789.68/1790.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.68/1790.10	c   trivial          :       0.03        231          0          0          0          0          0          0          0
1789.68/1790.10	c   dualfix          :       0.02         32          0          0          0          0          0          0          0
1789.68/1790.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.68/1790.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.68/1790.10	c   implics          :       1.57          0         52          0          0          0          0          0          0
1789.68/1790.10	c   probing          :     672.22        167         68          0          0          0          0          0          0
1789.68/1790.10	c   knapsack         :       3.84          0          0          0          0          0         37        239       3366
1789.68/1790.10	c   setppc           :       1.07          0          0          0          3          0       1137          0          0
1789.68/1790.10	c   linear           :       2.41       1904        759          0       2132          0       9852         71         75
1789.68/1790.10	c   logicor          :       0.25          0          0          0          0          0         37          0          0
1789.68/1790.10	c   root node        :          -          0          -          -          0          -          -          -          -
1789.68/1790.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.68/1790.10	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.68/1790.10	c   knapsack         :       1092          7     462114          0          1         13          0        455          0          0
1789.68/1790.10	c   setppc           :      39951          7     462101          0          1         31          0          0          0          0
1789.68/1790.10	c   logicor          :       7753          7     414774          0          1         61          0          0          0          0
1789.68/1790.10	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.68/1790.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.68/1790.10	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.68/1790.10	c   knapsack         :      16.80       0.02      16.78       0.00       0.00
1789.68/1790.10	c   setppc           :     327.26       0.03     327.22       0.00       0.01
1789.68/1790.10	c   logicor          :       9.01       0.01       9.01       0.00       0.00
1789.68/1790.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.68/1790.10	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.68/1790.10	c   vbounds          :       0.34          2          0          0
1789.68/1790.10	c   rootredcost      :       0.28          0          0          0
1789.68/1790.10	c   pseudoobj        :       0.31          7          0          0
1789.68/1790.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.68/1790.10	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.68/1790.10	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.68/1790.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.68/1790.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.68/1790.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.68/1790.10	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.68/1790.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.68/1790.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.68/1790.10	c   cut pool         :       0.01          6          -          -        298          -    (maximal pool size: 3331)
1789.68/1790.10	c   redcost          :       0.00          7          0          0          0          0
1789.68/1790.10	c   impliedbounds    :       0.30          7          0          0       2881          0
1789.68/1790.10	c   intobj           :       0.00          0          0          0          0          0
1789.68/1790.10	c   cgmip            :       0.00          0          0          0          0          0
1789.68/1790.10	c   gomory           :      20.22          7          0          0       2203          0
1789.68/1790.10	c   strongcg         :      12.51          7          0          0       3146          0
1789.68/1790.10	c   cmir             :       3.67          7          0          0          0          0
1789.68/1790.10	c   flowcover        :      10.22          7          0          0        316          0
1789.68/1790.10	c   clique           :     491.49          7          0          0         56          0
1789.68/1790.10	c   zerohalf         :       0.00          0          0          0          0          0
1789.68/1790.10	c   mcf              :       0.35          1          0          0          0          0
1789.68/1790.10	c   rapidlearning    :       0.00          0          0          0          0          0
1789.68/1790.10	c Pricers            :       Time      Calls       Vars
1789.68/1790.10	c   problem variables:       0.00          0          0
1789.68/1790.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.68/1790.10	c   relpscost        :       0.00          0          0          0          0          0          0
1789.68/1790.10	c   pscost           :       0.00          0          0          0          0          0          0
1789.68/1790.10	c   inference        :       0.00          1          0          0          0          0          2
1789.68/1790.10	c   mostinf          :       0.00          0          0          0          0          0          0
1789.68/1790.10	c   leastinf         :       0.00          0          0          0          0          0          0
1789.68/1790.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.68/1790.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.68/1790.10	c   random           :       0.00          0          0          0          0          0          0
1789.68/1790.10	c Primal Heuristics  :       Time      Calls      Found
1789.68/1790.10	c   LP solutions     :       0.00          -          0
1789.68/1790.10	c   pseudo solutions :       0.00          -          0
1789.68/1790.10	c   oneopt           :       0.00          0          0
1789.68/1790.10	c   trivial          :       0.02          2          0
1789.68/1790.10	c   simplerounding   :       0.00          0          0
1789.68/1790.10	c   zirounding       :       0.00          0          0
1789.68/1790.10	c   rounding         :       0.01          7          0
1789.68/1790.10	c   shifting         :       0.03          7          0
1789.68/1790.10	c   intshifting      :       0.00          0          0
1789.68/1790.10	c   twoopt           :       0.00          0          0
1789.68/1790.10	c   fixandinfer      :       0.00          0          0
1789.68/1790.10	c   feaspump         :      13.53          1          0
1789.68/1790.10	c   coefdiving       :       0.00          0          0
1789.68/1790.10	c   pscostdiving     :       0.00          0          0
1789.68/1790.10	c   fracdiving       :       0.00          0          0
1789.68/1790.10	c   veclendiving     :       0.00          0          0
1789.68/1790.10	c   intdiving        :       0.00          0          0
1789.68/1790.10	c   actconsdiving    :       0.00          0          0
1789.68/1790.10	c   objpscostdiving  :       0.00          0          0
1789.68/1790.10	c   rootsoldiving    :       0.00          0          0
1789.68/1790.10	c   linesearchdiving :       0.00          0          0
1789.68/1790.10	c   guideddiving     :       0.00          0          0
1789.68/1790.10	c   octane           :       0.00          0          0
1789.68/1790.10	c   rens             :       0.00          0          0
1789.68/1790.10	c   rins             :       0.00          0          0
1789.68/1790.10	c   localbranching   :       0.00          0          0
1789.68/1790.10	c   mutation         :       0.00          0          0
1789.68/1790.10	c   crossover        :       0.00          0          0
1789.68/1790.10	c   dins             :       0.00          0          0
1789.68/1790.10	c   undercover       :       0.00          0          0
1789.68/1790.10	c   nlp              :       0.00          0          0
1789.68/1790.10	c   trysol           :       0.00          0          0
1789.68/1790.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.68/1790.10	c   primal LP        :       0.00          0          0       0.00          -
1789.68/1790.10	c   dual LP          :     555.00          8     194788   24348.50     350.97
1789.68/1790.10	c   lex dual LP      :       0.00          0          0       0.00          -
1789.68/1790.10	c   barrier LP       :       0.00          0          0       0.00          -
1789.68/1790.10	c   diving/probing LP:      13.37         18      16587     921.50    1240.94
1789.68/1790.10	c   strong branching :       0.00          0          0       0.00          -
1789.68/1790.10	c     (at root node) :          -          0          0       0.00          -
1789.68/1790.10	c   conflict analysis:       0.00          0          0       0.00          -
1789.68/1790.10	c B&B Tree           :
1789.68/1790.10	c   number of runs   :          1
1789.68/1790.10	c   nodes            :          1
1789.68/1790.10	c   nodes (total)    :          1
1789.68/1790.10	c   nodes left       :          2
1789.68/1790.10	c   max depth        :          0
1789.68/1790.10	c   max depth (total):          0
1789.68/1790.10	c   backtracks       :          0 (0.0%)
1789.68/1790.10	c   delayed cutoffs  :          0
1789.68/1790.10	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.68/1790.10	c   avg switch length:       1.00
1789.68/1790.10	c   switching time   :       0.00
1789.68/1790.10	c Solution           :
1789.68/1790.10	c   Solutions found  :          0 (0 improvements)
1789.68/1790.10	c   Primal Bound     :          -
1789.68/1790.10	c   Dual Bound       : +6.70000000000000e+01
1789.68/1790.10	c   Gap              :   infinite
1789.68/1790.10	c   Root Dual Bound  : +6.70000000000000e+01
1789.68/1790.10	c   Root Iterations  :     211375
1789.89/1790.31	c Time complete: 1789.9.

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

running on 4 cores: 1,3,5,7

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.08 2.04 2.00 3/177 14477
/proc/meminfo: memFree=25476632/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 1531 0 0 0 0 0 0 0 20 0 1 0 340412868 10211328 1478 33554432000 4194304 8395647 140734557474096 140734557406152 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 2493 1485 374 1026 0 1463 0

[startup+0.0823989 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 14477
/proc/meminfo: memFree=25476632/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=22880 CPUtime=0.07 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 4961 0 0 0 7 0 0 0 20 0 1 0 340412868 23429120 4908 33554432000 4194304 8395647 140734557474096 140734557406152 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 5720 4908 393 1026 0 4690 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22880

[startup+0.100363 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 14477
/proc/meminfo: memFree=25476632/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=22880 CPUtime=0.08 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 4961 0 0 0 8 0 0 0 20 0 1 0 340412868 23429120 4908 33554432000 4194304 8395647 140734557474096 140734557406152 7382036 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 5720 4908 393 1026 0 4690 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22880

[startup+0.3003 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 14477
/proc/meminfo: memFree=25476632/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=39660 CPUtime=0.29 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 9172 0 0 0 28 1 0 0 20 0 1 0 340412868 40611840 9119 33554432000 4194304 8395647 140734557474096 140734557406152 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 9915 9119 393 1026 0 8885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39660

[startup+0.700317 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 14477
/proc/meminfo: memFree=25476632/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=127108 CPUtime=0.69 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 30931 0 0 0 63 6 0 0 20 0 1 0 340412868 130158592 30524 33554432000 4194304 8395647 140734557474096 140734557406152 6079737 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 31777 30524 463 1026 0 30747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 127108

[startup+1.50032 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 14478
/proc/meminfo: memFree=25323500/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=202336 CPUtime=1.49 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 49593 0 0 0 140 9 0 0 20 0 1 0 340412868 207192064 49186 33554432000 4194304 8395647 140734557474096 140734557469848 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 50584 49186 469 1026 0 49554 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202336

[startup+3.10033 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 14478
/proc/meminfo: memFree=25245728/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=265508 CPUtime=3.08 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 65063 0 0 0 297 11 0 0 20 0 1 0 340412868 271880192 64070 33554432000 4194304 8395647 140734557474096 140734557470808 4969070 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 66377 64070 484 1026 0 65347 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 265508

[startup+6.30033 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 14478
/proc/meminfo: memFree=25176764/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=321000 CPUtime=6.29 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 77374 0 0 0 615 14 0 0 20 0 1 0 340412868 328704000 77307 33554432000 4194304 8395647 140734557474096 140734557469960 4684131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 80250 77307 510 1026 0 79220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 321000

[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 14478
/proc/meminfo: memFree=25144292/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=347992 CPUtime=12.69 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 83811 0 0 0 1254 15 0 0 20 0 1 0 340412868 356343808 83744 33554432000 4194304 8395647 140734557474096 140734557470168 6115585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 86998 83744 510 1026 0 85968 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 347992

[startup+25.5004 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 14501
/proc/meminfo: memFree=25084244/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=410520 CPUtime=25.48 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 98525 0 0 0 2532 16 0 0 20 0 1 0 340412868 420372480 98458 33554432000 4194304 8395647 140734557474096 140734557469960 6080362 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 102630 98458 510 1026 0 101600 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 410520

[startup+51.1004 s]
/proc/loadavg: 2.08 2.05 2.01 3/178 14501
/proc/meminfo: memFree=24989104/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=508708 CPUtime=51.08 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 122706 0 0 0 5087 21 0 0 20 0 1 0 340412868 520916992 122639 33554432000 4194304 8395647 140734557474096 140734557470168 5211803 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 127177 122639 510 1026 0 126147 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 508708

[startup+102.307 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 14501
/proc/meminfo: memFree=24768612/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=617088 CPUtime=102.28 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 150145 0 0 0 10200 28 0 0 20 0 1 0 340412868 631898112 150078 33554432000 4194304 8395647 140734557474096 140734557469960 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 154272 150078 510 1026 0 153242 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 617088

[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 14540
/proc/meminfo: memFree=25410536/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=725068 CPUtime=162.23 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 176511 0 0 0 16190 33 0 0 20 0 1 0 340412868 742469632 177288 33554432000 4194304 8395647 140734557474096 140734557469960 4715374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 181267 177288 515 1026 0 180237 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 725068

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 14540
/proc/meminfo: memFree=25046872/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=932572 CPUtime=222.22 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 228576 0 0 0 22176 46 0 0 20 0 1 0 340412868 954953728 229347 33554432000 4194304 8395647 140734557474096 140734557470168 5215822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 233143 229347 515 1026 0 232113 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 932572

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14540
/proc/meminfo: memFree=24725120/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1135552 CPUtime=282.2 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 278093 0 0 0 28163 57 0 0 20 0 1 0 340412868 1162805248 279903 33554432000 4194304 8395647 140734557474096 140734557469960 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 283888 279903 515 1026 0 282858 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1135552

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 14540
/proc/meminfo: memFree=24452780/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1299904 CPUtime=342.17 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 318146 0 0 0 34152 65 0 0 20 0 1 0 340412868 1331101696 320627 33554432000 4194304 8395647 140734557474096 140734557469960 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 324976 320627 515 1026 0 323946 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1299904

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14540
/proc/meminfo: memFree=24198228/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1403020 CPUtime=402.16 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 344212 0 0 0 40144 72 0 0 20 0 1 0 340412868 1436692480 346791 33554432000 4194304 8395647 140734557474096 140734557470168 6068911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 350755 346791 515 1026 0 349725 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1403020

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14541
/proc/meminfo: memFree=23915036/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1502064 CPUtime=462.14 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 369489 0 0 0 46136 78 0 0 20 0 1 0 340412868 1538113536 372124 33554432000 4194304 8395647 140734557474096 140734557470168 4706081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 375516 372124 515 1026 0 374486 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1502064

[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 14541
/proc/meminfo: memFree=23662912/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1589032 CPUtime=522.12 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 391109 0 0 0 52129 83 0 0 20 0 1 0 340412868 1627168768 393774 33554432000 4194304 8395647 140734557474096 140734557470024 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 397258 393774 515 1026 0 396228 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1589032

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 14544
/proc/meminfo: memFree=23462920/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1636500 CPUtime=582.11 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 402973 0 0 0 58125 86 0 0 20 0 1 0 340412868 1675776000 405967 33554432000 4194304 8395647 140734557474096 140734557469032 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 409125 405967 515 1026 0 408095 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1636500

[startup+642.3 s]

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

/proc/meminfo: memFree=22963508/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1788284 CPUtime=1002.01 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 438100 0 0 0 100102 99 0 0 20 0 1 0 340412868 1831202816 444373 33554432000 4194304 8395647 140734557474096 140734557469384 5792796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 447071 444373 612 1026 0 446041 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1788284

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14546
/proc/meminfo: memFree=22962792/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1788284 CPUtime=1062 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 438109 0 0 0 106101 99 0 0 20 0 1 0 340412868 1831202816 444680 33554432000 4194304 8395647 140734557474096 140734557469384 5792677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 447071 444680 612 1026 0 446041 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1788284

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14546
/proc/meminfo: memFree=22923744/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1823256 CPUtime=1121.99 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 443146 0 0 0 112099 100 0 0 20 0 1 0 340412868 1867014144 454679 33554432000 4194304 8395647 140734557474096 140734557470312 5794565 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 455814 454679 612 1026 0 454784 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1823256

[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 14549
/proc/meminfo: memFree=22827852/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1938656 CPUtime=1181.98 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 446857 0 0 0 118096 102 0 0 20 0 1 0 340412868 1985183744 478892 33554432000 4194304 8395647 140734557474096 140734557470312 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 484664 478892 612 1026 0 483634 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1938656

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14549
/proc/meminfo: memFree=22764372/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1988816 CPUtime=1241.97 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 450067 0 0 0 124088 109 0 0 20 0 1 0 340412868 2036547584 493856 33554432000 4194304 8395647 140734557474096 140734557469224 7382041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 497204 493856 625 1026 0 496174 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1988816

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14549
/proc/meminfo: memFree=22770724/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1984112 CPUtime=1301.96 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 450959 0 0 0 130081 115 0 0 20 0 1 0 340412868 2031730688 492378 33554432000 4194304 8395647 140734557474096 140734557469560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 496028 492378 625 1026 0 494998 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1984112

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22770136/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1984112 CPUtime=1361.95 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 450959 0 0 0 136074 121 0 0 20 0 1 0 340412868 2031730688 492378 33554432000 4194304 8395647 140734557474096 140734557469560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 496028 492378 625 1026 0 494998 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1984112

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22763652/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1988540 CPUtime=1421.95 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 452254 0 0 0 142067 128 0 0 20 0 1 0 340412868 2036264960 493997 33554432000 4194304 8395647 140734557474096 140734557469224 6696781 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 497135 493997 625 1026 0 496105 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1988540

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22686128/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=2001232 CPUtime=1481.94 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 454504 0 0 0 148059 135 0 0 20 0 1 0 340412868 2049261568 496792 33554432000 4194304 8395647 140734557474096 140734557469224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 500308 496792 626 1026 0 499278 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 2001232

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22616096/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1992084 CPUtime=1541.92 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455118 0 0 0 154050 142 0 0 20 0 1 0 340412868 2039894016 494875 33554432000 4194304 8395647 140734557474096 140734557469224 6698034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498021 494875 626 1026 0 496991 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1992084

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22549664/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1996964 CPUtime=1601.91 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455145 0 0 0 160042 149 0 0 20 0 1 0 340412868 2044891136 494902 33554432000 4194304 8395647 140734557474096 140734557469384 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 499241 494902 626 1026 0 498211 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1996964

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14551
/proc/meminfo: memFree=22552048/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1661.9 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455643 0 0 0 166035 155 0 0 20 0 1 0 340412868 2040954880 494273 33554432000 4194304 8395647 140734557474096 140734557469224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494273 626 1026 0 497250 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1993120

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14551
/proc/meminfo: memFree=22544320/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1721.89 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455643 0 0 0 172029 160 0 0 20 0 1 0 340412868 2040954880 494273 33554432000 4194304 8395647 140734557474096 140734557469224 6696983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494273 626 1026 0 497250 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1993120

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22532184/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1781.89 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455668 0 0 0 178020 169 0 0 20 0 1 0 340412868 2040954880 494809 33554432000 4194304 8395647 140734557474096 140734557469224 6698043 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494809 626 1026 0 497250 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1993120

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22532184/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1785.09 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455668 0 0 0 178340 169 0 0 20 0 1 0 340412868 2040954880 494809 33554432000 4194304 8395647 140734557474096 140734557469224 6697355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494809 626 1026 0 497250 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 1993120

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22531300/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1788.29 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455668 0 0 0 178660 169 0 0 20 0 1 0 340412868 2040954880 494809 33554432000 4194304 8395647 140734557474096 140734557469224 6696979 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494809 626 1026 0 497250 0
Current children cumulated CPU time (s) 1788.29
Current children cumulated vsize (KiB) 1993120

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22531300/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1789.09 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455668 0 0 0 178740 169 0 0 20 0 1 0 340412868 2040954880 494809 33554432000 4194304 8395647 140734557474096 140734557469656 6696942 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494809 626 1026 0 497250 0
Current children cumulated CPU time (s) 1789.09
Current children cumulated vsize (KiB) 1993120

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22531300/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1993120 CPUtime=1789.49 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455668 0 0 0 178780 169 0 0 20 0 1 0 340412868 2040954880 494809 33554432000 4194304 8395647 140734557474096 140734557469656 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 498280 494809 626 1026 0 497250 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (KiB) 1993120

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22531300/32873844 swapFree=7628/7628
[pid=14477] ppid=14475 vsize=1775412 CPUtime=1789.89 cores=1,3,5,7
/proc/14477/stat : 14477 (pbscip.linux.x8) R 14475 14477 25613 0 -1 4202496 455677 0 0 0 178818 171 0 0 20 0 1 0 340412868 1818021888 443407 33554432000 4194304 8395647 140734557474096 140734557469224 6345272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14477/statm: 443853 443407 635 1026 0 442823 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 1775412

Child status: 0
Real time (s): 1790.32
CPU time (s): 1789.92
CPU user time (s): 1788.2
CPU system time (s): 1.71974
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 2001232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.2
system time used= 1.71974
maximum resident set size= 1987168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455683
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= 146
involuntary context switches= 1825

runsolver used 2.92256 second user time and 8.48871 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-03 19:00:43
IDJOB=3740667
IDBENCH=78246
IDSOLVER=2326
FILE ID=node107/3740667-1338742843
RUNJOBID= node107-1338723356-12419
PBS_JOBID= 14636731
Free space on /tmp= 70772 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/j30opt/normalized-j305_3.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-3740667-1338742843/watcher-3740667-1338742843 -o /tmp/evaluation-result-3740667-1338742843/solver-3740667-1338742843 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740667-1338742843.opb -t 1800 -m 15500

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

MD5SUM BENCH= 4501334f0c0e8dcf999d144644599113
RANDOM SEED=1994987674

node107.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.760
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.52
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.760
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.760
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.92
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.760
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.760
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.91
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.760
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.91
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.760
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.86
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.760
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:        25477152 kB
Buffers:          540332 kB
Cached:          4773684 kB
SwapCached:           76 kB
Active:          3255468 kB
Inactive:        3248208 kB
Active(anon):    1180500 kB
Inactive(anon):    11060 kB
Active(file):    2074968 kB
Inactive(file):  3237148 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             11832 kB
Writeback:             0 kB
AnonPages:       1206436 kB
Mapped:            16828 kB
Shmem:               184 kB
Slab:             749468 kB
SReclaimable:     191736 kB
SUnreclaim:       557732 kB
KernelStack:        1488 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1324452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 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= 70760 MiB
End job on node107 at 2012-06-03 19:30:34