Trace number 3740700

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? 1790.19 1790.48

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3029_1.std.opb
MD5SUMf2544842ae88d4066b7cbfc4c8c43c77
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark0.12298
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 constraints62631
Number of constraints which are clauses61431
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 constraint30
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-3740700-1338742954.opb>
0.39/0.41	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62631 constraints
0.39/0.41	c problem read
0.39/0.41	c presolving settings loaded
0.48/0.54	c presolving:
2.19/2.23	c (round 1) 1112 del vars, 2824 del conss, 771 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4307580 impls, 0 clqs
2.49/2.54	c (round 2) 2442 del vars, 8014 del conss, 1983 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4313320 impls, 0 clqs
2.59/2.63	c (round 3) 2866 del vars, 10149 del conss, 2175 chg bounds, 6 chg sides, 16 chg coeffs, 0 upgd conss, 4315935 impls, 0 clqs
2.69/2.70	c (round 4) 3010 del vars, 10779 del conss, 2256 chg bounds, 10 chg sides, 20 chg coeffs, 0 upgd conss, 4317338 impls, 0 clqs
2.69/2.76	c (round 5) 3108 del vars, 11199 del conss, 2304 chg bounds, 10 chg sides, 20 chg coeffs, 0 upgd conss, 4318033 impls, 0 clqs
2.79/2.81	c (round 6) 3164 del vars, 11453 del conss, 2325 chg bounds, 10 chg sides, 20 chg coeffs, 0 upgd conss, 4318422 impls, 0 clqs
2.79/2.86	c (round 7) 3188 del vars, 11569 del conss, 2335 chg bounds, 10 chg sides, 20 chg coeffs, 0 upgd conss, 4318606 impls, 0 clqs
2.89/2.90	c (round 8) 3196 del vars, 11609 del conss, 2337 chg bounds, 10 chg sides, 20 chg coeffs, 0 upgd conss, 4318652 impls, 0 clqs
2.89/2.94	c (round 9) 3196 del vars, 11615 del conss, 2337 chg bounds, 10 chg sides, 20 chg coeffs, 0 upgd conss, 4318652 impls, 0 clqs
3.09/3.19	c (round 10) 3196 del vars, 11617 del conss, 2337 chg bounds, 10 chg sides, 20 chg coeffs, 51014 upgd conss, 4318652 impls, 0 clqs
3.39/3.43	c (round 11) 3196 del vars, 11625 del conss, 2337 chg bounds, 47 chg sides, 193 chg coeffs, 51014 upgd conss, 4319640 impls, 3063 clqs
3.49/3.59	c (round 12) 3196 del vars, 11633 del conss, 2337 chg bounds, 59 chg sides, 235 chg coeffs, 51014 upgd conss, 4319640 impls, 3288 clqs
105.48/105.55	c    (105.1s) probing: 1000/15466 (6.5%) - 12 fixings, 1 aggregations, 3707458 implications, 0 bound changes
192.47/192.51	c    (192.1s) probing: 2000/15466 (12.9%) - 35 fixings, 1 aggregations, 6305740 implications, 0 bound changes
240.15/240.26	c (round 13) 3246 del vars, 11633 del conss, 2337 chg bounds, 59 chg sides, 235 chg coeffs, 51014 upgd conss, 25361424 impls, 3284 clqs
240.86/240.92	c (round 14) 3268 del vars, 12007 del conss, 2337 chg bounds, 59 chg sides, 433 chg coeffs, 51014 upgd conss, 25383880 impls, 3284 clqs
241.35/241.40	c (round 15) 3268 del vars, 12029 del conss, 2337 chg bounds, 64 chg sides, 457 chg coeffs, 51014 upgd conss, 25383880 impls, 3492 clqs
275.15/275.25	c (round 16) 3318 del vars, 12029 del conss, 2337 chg bounds, 64 chg sides, 458 chg coeffs, 51014 upgd conss, 27974750 impls, 3492 clqs
275.85/275.98	c (round 17) 3334 del vars, 12228 del conss, 2337 chg bounds, 64 chg sides, 459 chg coeffs, 51014 upgd conss, 27992946 impls, 3492 clqs
276.15/276.28	c (round 18) 3334 del vars, 12244 del conss, 2337 chg bounds, 64 chg sides, 459 chg coeffs, 51014 upgd conss, 27992946 impls, 3492 clqs
277.65/277.73	c    (277.3s) probing: 3000/15466 (19.4%) - 86 fixings, 14 aggregations, 8791534 implications, 0 bound changes
349.44/349.55	c (round 19) 3384 del vars, 12244 del conss, 2337 chg bounds, 64 chg sides, 459 chg coeffs, 51014 upgd conss, 36231644 impls, 3492 clqs
350.04/350.14	c (round 20) 3392 del vars, 12429 del conss, 2337 chg bounds, 64 chg sides, 461 chg coeffs, 51014 upgd conss, 36232366 impls, 3492 clqs
350.24/350.31	c (round 21) 3392 del vars, 12437 del conss, 2337 chg bounds, 64 chg sides, 461 chg coeffs, 51014 upgd conss, 36232366 impls, 3492 clqs
362.94/363.06	c    (362.6s) probing: 4000/15466 (25.9%) - 115 fixings, 35 aggregations, 12353774 implications, 0 bound changes
429.42/429.54	c    (429.1s) probing: 5000/15466 (32.3%) - 118 fixings, 38 aggregations, 14890361 implications, 0 bound changes
483.22/483.39	c    (483.0s) probing: 6000/15466 (38.8%) - 128 fixings, 40 aggregations, 16290080 implications, 0 bound changes
531.01/531.16	c    (530.7s) probing: 7000/15466 (45.3%) - 136 fixings, 46 aggregations, 17373876 implications, 0 bound changes
573.30/573.43	c    (573.0s) probing: 8000/15466 (51.7%) - 138 fixings, 46 aggregations, 18098767 implications, 0 bound changes
614.19/614.31	c    (613.9s) probing: 9000/15466 (58.2%) - 142 fixings, 52 aggregations, 18635376 implications, 0 bound changes
654.09/654.23	c    (653.8s) probing: 10000/15466 (64.7%) - 142 fixings, 52 aggregations, 19059614 implications, 0 bound changes
695.09/695.22	c    (694.8s) probing: 11000/15466 (71.1%) - 144 fixings, 54 aggregations, 19431101 implications, 0 bound changes
727.58/727.72	c    (727.3s) probing: 12000/15466 (77.6%) - 144 fixings, 54 aggregations, 19696650 implications, 0 bound changes
739.48/739.67	c    (739.3s) probing: 12556/15466 (81.2%) - 144 fixings, 54 aggregations, 19797796 implications, 0 bound changes
739.48/739.67	c    (739.3s) probing aborted: 2000/2000 successive useless probings
739.48/739.67	c (round 22) 3440 del vars, 12437 del conss, 2337 chg bounds, 64 chg sides, 461 chg coeffs, 51014 upgd conss, 54063108 impls, 3485 clqs
739.98/740.17	c (round 23) 3440 del vars, 12584 del conss, 2337 chg bounds, 64 chg sides, 468 chg coeffs, 51014 upgd conss, 54063108 impls, 3485 clqs
743.77/743.98	c    (743.6s) probing: 12756/15466 (82.5%) - 144 fixings, 54 aggregations, 19831080 implications, 0 bound changes
743.77/743.98	c    (743.6s) probing aborted: 2000/2000 successive useless probings
743.77/743.98	c presolving (24 rounds):
743.77/743.98	c  3440 deleted vars, 12584 deleted constraints, 2337 tightened bounds, 0 added holes, 64 changed sides, 468 changed coefficients
743.77/743.98	c  54131980 implications, 3486 cliques
743.77/743.98	c presolved problem has 15222 variables (15222 bin, 0 int, 0 impl, 0 cont) and 50085 constraints
743.77/743.98	c    1167 constraints of type <knapsack>
743.77/743.98	c   41301 constraints of type <setppc>
743.77/743.98	c    7617 constraints of type <logicor>
743.77/743.98	c transformed objective value is always integral (scale: 1)
743.77/743.98	c Presolving Time: 743.48
743.77/743.98	c - non default parameters ----------------------------------------------------------------------
743.77/743.98	c # SCIP version 1.2.1.3
743.77/743.98	c 
743.77/743.98	c # frequency for displaying node information lines
743.77/743.98	c # [type: int, range: [-1,2147483647], default: 100]
743.77/743.98	c display/freq = 10000
743.77/743.98	c 
743.77/743.98	c # maximal time in seconds to run
743.77/743.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
743.77/743.98	c limits/time = 1789.59
743.77/743.98	c 
743.77/743.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
743.77/743.98	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
743.77/743.98	c limits/memory = 13950
743.77/743.98	c 
743.77/743.98	c # default clock type (1: CPU user seconds, 2: wall clock time)
743.77/743.98	c # [type: int, range: [1,2], default: 1]
743.77/743.98	c timing/clocktype = 2
743.77/743.98	c 
743.77/743.98	c # should presolving try to simplify inequalities
743.77/743.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
743.77/743.98	c constraints/linear/simplifyinequalities = TRUE
743.77/743.98	c 
743.77/743.98	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
743.77/743.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
743.77/743.98	c constraints/indicator/addCouplingCons = TRUE
743.77/743.98	c 
743.77/743.98	c # should presolving try to simplify knapsacks
743.77/743.98	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
743.77/743.98	c constraints/knapsack/simplifyinequalities = TRUE
743.77/743.98	c 
743.77/743.98	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
743.77/743.98	c # [type: int, range: [-1,2147483647], default: -1]
743.77/743.98	c separating/rapidlearning/freq = 0
743.77/743.98	c 
743.77/743.98	c -----------------------------------------------------------------------------------------------
743.77/743.98	c start solving
743.77/743.99	c 
793.07/793.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
793.07/793.22	c   793s|     1 |     0 | 28756 |     - |1475M|   0 | 990 |  15k|  50k|  15k|  49k|   0 |   0 |   0 | 6.936381e+01 |      --      |    Inf 
1599.43/1599.76	c  1599s|     1 |     0 |103585 |     - |1477M|   0 |1527 |  15k|  50k|  15k|  51k|1176 |   0 |   0 | 7.349502e+01 |      --      |    Inf 
1789.80/1790.19	c  1790s|     1 |     0 |155620 |     - |1478M|   0 |   - |  15k|  50k|  15k|  51k|1319 |   0 |   0 | 7.349502e+01 |      --      |    Inf 
1789.90/1790.21	c  1790s|     1 |     2 |155620 |     - |1478M|   0 |   - |  15k|  50k|  15k|  51k|1319 |   0 |   0 | 7.349502e+01 |      --      |    Inf 
1789.90/1790.21	c 
1789.90/1790.21	c SCIP Status        : solving was interrupted [time limit reached]
1789.90/1790.21	c Solving Time (sec) : 1789.80
1789.90/1790.21	c Solving Nodes      : 1
1789.90/1790.21	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.90/1790.21	c Dual Bound         : +7.34950248756219e+01
1789.90/1790.21	c Gap                : infinite
1789.90/1790.21	s UNKNOWN
1789.90/1790.21	c SCIP Status        : solving was interrupted [time limit reached]
1789.90/1790.21	c Solving Time       :    1789.80
1789.90/1790.21	c Original Problem   :
1789.90/1790.21	c   Problem name     : HOME/instance-3740700-1338742954.opb
1789.90/1790.21	c   Variables        : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.90/1790.21	c   Constraints      : 62631 initial, 62631 maximal
1789.90/1790.21	c Presolved Problem  :
1789.90/1790.21	c   Problem name     : t_HOME/instance-3740700-1338742954.opb
1789.90/1790.21	c   Variables        : 15222 (15222 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.90/1790.21	c   Constraints      : 50085 initial, 50085 maximal
1789.90/1790.21	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.90/1790.21	c   trivial          :       0.02        225          0          0          0          0          0          0          0
1789.90/1790.21	c   dualfix          :       0.02         30          0          0          0          0          0          0          0
1789.90/1790.21	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.90/1790.21	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.90/1790.21	c   implics          :       1.24          0         46          0          0          0          0          0          0
1789.90/1790.21	c   probing          :     736.31        144         54          0          0          0          0          0          0
1789.90/1790.21	c   knapsack         :       2.50          0          0          0          0          0          5         54        448
1789.90/1790.21	c   setppc           :       0.62          0          0          0          0          0        929          0          0
1789.90/1790.21	c   linear           :       2.49       2112        829          0       2337          0      11617         10         20
1789.90/1790.21	c   logicor          :       0.18          0          0          0          0          0         33          0          0
1789.90/1790.21	c   root node        :          -          0          -          -          0          -          -          -          -
1789.90/1790.21	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.90/1790.21	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.90/1790.21	c   knapsack         :       1167          2     479244          0          1         19          0        343          0          0
1789.90/1790.21	c   setppc           :      41301          2     479225          0          1         24          0          0          0          0
1789.90/1790.21	c   logicor          :       7617          2     429754          0          1         58          0          0          0          0
1789.90/1790.21	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.90/1790.21	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.90/1790.21	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.90/1790.21	c   knapsack         :      20.37       0.01      20.36       0.00       0.00
1789.90/1790.21	c   setppc           :     369.64       0.01     369.62       0.00       0.01
1789.90/1790.21	c   logicor          :       8.12       0.00       8.12       0.00       0.00
1789.90/1790.21	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.90/1790.21	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.90/1790.21	c   vbounds          :       0.36          2          0          0
1789.90/1790.21	c   rootredcost      :       0.31          0          0          0
1789.90/1790.21	c   pseudoobj        :       0.33          3          0          0
1789.90/1790.21	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.90/1790.21	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.90/1790.21	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.90/1790.21	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.90/1790.21	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.90/1790.21	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.90/1790.21	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.90/1790.21	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.90/1790.21	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.90/1790.21	c   cut pool         :       0.00          1          -          -         13          -    (maximal pool size: 1606)
1789.90/1790.21	c   redcost          :       0.00          2          0          0          0          0
1789.90/1790.22	c   impliedbounds    :       0.12          2          0          0       2056          0
1789.90/1790.22	c   intobj           :       0.00          0          0          0          0          0
1789.90/1790.22	c   cgmip            :       0.00          0          0          0          0          0
1789.90/1790.22	c   gomory           :       2.89          2          0          0        500          0
1789.90/1790.22	c   strongcg         :       3.61          2          0          0        569          0
1789.90/1790.22	c   cmir             :       1.12          2          0          0          0          0
1789.90/1790.22	c   flowcover        :       3.48          2          0          0        252          0
1789.90/1790.22	c   clique           :     637.17          2          0          0         16          0
1789.90/1790.22	c   zerohalf         :       0.00          0          0          0          0          0
1789.90/1790.22	c   mcf              :       0.60          1          0          0          0          0
1789.90/1790.22	c   rapidlearning    :       0.00          0          0          0          0          0
1789.90/1790.22	c Pricers            :       Time      Calls       Vars
1789.90/1790.22	c   problem variables:       0.00          0          0
1789.90/1790.22	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.90/1790.22	c   relpscost        :       0.00          0          0          0          0          0          0
1789.90/1790.22	c   pscost           :       0.00          0          0          0          0          0          0
1789.90/1790.22	c   inference        :       0.00          1          0          0          0          0          2
1789.90/1790.22	c   mostinf          :       0.00          0          0          0          0          0          0
1789.90/1790.22	c   leastinf         :       0.00          0          0          0          0          0          0
1789.90/1790.22	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.90/1790.22	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.90/1790.22	c   random           :       0.00          0          0          0          0          0          0
1789.90/1790.22	c Primal Heuristics  :       Time      Calls      Found
1789.90/1790.22	c   LP solutions     :       0.00          -          0
1789.90/1790.22	c   pseudo solutions :       0.00          -          0
1789.90/1790.22	c   oneopt           :       0.00          0          0
1789.90/1790.22	c   trivial          :       0.02          2          0
1789.90/1790.22	c   simplerounding   :       0.00          0          0
1789.90/1790.22	c   zirounding       :       0.00          0          0
1789.90/1790.22	c   rounding         :       0.01          2          0
1789.90/1790.22	c   shifting         :       0.01          2          0
1789.90/1790.22	c   intshifting      :       0.00          0          0
1789.90/1790.22	c   twoopt           :       0.00          0          0
1789.90/1790.22	c   fixandinfer      :       0.00          0          0
1789.90/1790.22	c   feaspump         :      35.13          1          0
1789.90/1790.22	c   coefdiving       :       0.00          0          0
1789.90/1790.22	c   pscostdiving     :       0.00          0          0
1789.90/1790.22	c   fracdiving       :       0.00          0          0
1789.90/1790.22	c   veclendiving     :       0.00          0          0
1789.90/1790.22	c   intdiving        :       0.00          0          0
1789.90/1790.22	c   actconsdiving    :       0.00          0          0
1789.90/1790.22	c   objpscostdiving  :       0.00          0          0
1789.90/1790.22	c   rootsoldiving    :       0.00          0          0
1789.90/1790.22	c   linesearchdiving :       0.00          0          0
1789.90/1790.22	c   guideddiving     :       0.00          0          0
1789.90/1790.22	c   octane           :       0.00          0          0
1789.90/1790.22	c   rens             :       0.00          0          0
1789.90/1790.22	c   rins             :       0.00          0          0
1789.90/1790.22	c   localbranching   :       0.00          0          0
1789.90/1790.22	c   mutation         :       0.00          0          0
1789.90/1790.22	c   crossover        :       0.00          0          0
1789.90/1790.22	c   dins             :       0.00          0          0
1789.90/1790.22	c   undercover       :       0.00          0          0
1789.90/1790.22	c   nlp              :       0.00          0          0
1789.90/1790.22	c   trysol           :       0.00          0          0
1789.90/1790.22	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.90/1790.22	c   primal LP        :       0.00          0          0       0.00          -
1789.90/1790.22	c   dual LP          :     361.81          3     125480   41826.67     346.82
1789.90/1790.22	c   lex dual LP      :       0.00          0          0       0.00          -
1789.90/1790.22	c   barrier LP       :       0.00          0          0       0.00          -
1789.90/1790.22	c   diving/probing LP:      34.87         32      30140     941.88     864.33
1789.90/1790.22	c   strong branching :       0.00          0          0       0.00          -
1789.90/1790.22	c     (at root node) :          -          0          0       0.00          -
1789.90/1790.22	c   conflict analysis:       0.00          0          0       0.00          -
1789.90/1790.22	c B&B Tree           :
1789.90/1790.22	c   number of runs   :          1
1789.90/1790.22	c   nodes            :          1
1789.90/1790.22	c   nodes (total)    :          1
1789.90/1790.22	c   nodes left       :          2
1789.90/1790.22	c   max depth        :          0
1789.90/1790.22	c   max depth (total):          0
1789.90/1790.22	c   backtracks       :          0 (0.0%)
1789.90/1790.22	c   delayed cutoffs  :          0
1789.90/1790.22	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.90/1790.22	c   avg switch length:       1.00
1789.90/1790.22	c   switching time   :       0.00
1789.90/1790.22	c Solution           :
1789.90/1790.22	c   Solutions found  :          0 (0 improvements)
1789.90/1790.22	c   Primal Bound     :          -
1789.90/1790.22	c   Dual Bound       : +7.34950248756219e+01
1789.90/1790.22	c   Gap              :   infinite
1789.90/1790.22	c   Root Dual Bound  : +7.34950248756219e+01
1789.90/1790.22	c   Root Iterations  :     155620
1790.10/1790.48	c Time complete: 1790.18.

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-3740700-1338742954/watcher-3740700-1338742954 -o /tmp/evaluation-result-3740700-1338742954/solver-3740700-1338742954 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740700-1338742954.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.06 2.05 2.00 3/176 14538
/proc/meminfo: memFree=26029680/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 1767 0 0 0 0 0 0 0 20 0 1 0 340423992 10211328 1714 33554432000 4194304 8395647 140734036019552 140736255133592 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 2508 1721 375 1026 0 1478 0

[startup+0.0265591 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 14538
/proc/meminfo: memFree=26029680/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=14644 CPUtime=0.02 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 2908 0 0 0 2 0 0 0 20 0 1 0 340423992 14995456 2855 33554432000 4194304 8395647 140734036019552 140736255133592 6349219 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 3661 2855 393 1026 0 2631 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14644

[startup+0.100333 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 14538
/proc/meminfo: memFree=26029680/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=23032 CPUtime=0.09 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 4994 0 0 0 9 0 0 0 20 0 1 0 340423992 23584768 4941 33554432000 4194304 8395647 140734036019552 140736255133592 7382056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 5758 4941 393 1026 0 4728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23032

[startup+0.300328 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 14538
/proc/meminfo: memFree=26029680/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=39460 CPUtime=0.29 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 9095 0 0 0 28 1 0 0 20 0 1 0 340423992 40407040 9042 33554432000 4194304 8395647 140734036019552 140736255133592 7301554 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 9865 9042 393 1026 0 8835 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39460

[startup+0.700335 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 14538
/proc/meminfo: memFree=26029680/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=129380 CPUtime=0.69 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 31518 0 0 0 66 3 0 0 20 0 1 0 340423992 132485120 31111 33554432000 4194304 8395647 140734036019552 140736255133592 6080741 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 32345 31111 463 1026 0 31315 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129380

[startup+1.50033 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 14539
/proc/meminfo: memFree=25875656/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=204536 CPUtime=1.48 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 50222 0 0 0 143 5 0 0 20 0 1 0 340423992 209444864 49815 33554432000 4194304 8395647 140734036019552 140734036015304 4247608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 51134 49815 469 1026 0 50104 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 204536

[startup+3.10034 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 14539
/proc/meminfo: memFree=25791832/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=265120 CPUtime=3.09 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 65006 0 0 0 302 7 0 0 20 0 1 0 340423992 271482880 64013 33554432000 4194304 8395647 140734036019552 140734036015352 4215509 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 66280 64013 484 1026 0 65250 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 265120

[startup+6.30031 s]
/proc/loadavg: 2.05 2.05 2.00 3/176 14539
/proc/meminfo: memFree=25720524/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=326936 CPUtime=6.29 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 78504 0 0 0 620 9 0 0 20 0 1 0 340423992 334782464 78438 33554432000 4194304 8395647 140734036019552 140734036015736 6080362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 81734 78438 510 1026 0 80704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 326936

[startup+12.7003 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 14540
/proc/meminfo: memFree=25661888/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=371284 CPUtime=12.69 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 89434 0 0 0 1258 11 0 0 20 0 1 0 340423992 380194816 89368 33554432000 4194304 8395647 140734036019552 140734036015416 6080375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 92821 89368 510 1026 0 91791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 371284

[startup+25.5003 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 14540
/proc/meminfo: memFree=25549884/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=455004 CPUtime=25.49 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 110155 0 0 0 2535 14 0 0 20 0 1 0 340423992 465924096 110089 33554432000 4194304 8395647 140734036019552 140734036015624 4742831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 113751 110089 510 1026 0 112721 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 455004

[startup+51.1003 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 14540
/proc/meminfo: memFree=25408304/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=556632 CPUtime=51.08 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 134858 0 0 0 5092 16 0 0 20 0 1 0 340423992 569991168 134792 33554432000 4194304 8395647 140734036019552 140734036015416 6080328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 139158 134792 510 1026 0 138128 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 556632

[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 14540
/proc/meminfo: memFree=25089048/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=684256 CPUtime=102.28 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 167265 0 0 0 10207 21 0 0 20 0 1 0 340423992 700678144 167199 33554432000 4194304 8395647 140734036019552 140734036015624 5210642 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 171064 167199 510 1026 0 170034 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 684256

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14540
/proc/meminfo: memFree=24773744/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=809788 CPUtime=162.27 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 198793 0 0 0 16199 28 0 0 20 0 1 0 340423992 829222912 198727 33554432000 4194304 8395647 140734036019552 140734036015624 5210648 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 202447 198727 515 1026 0 201417 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 809788

[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 14540
/proc/meminfo: memFree=24491236/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=915944 CPUtime=222.26 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 225328 0 0 0 22192 34 0 0 20 0 1 0 340423992 937926656 225262 33554432000 4194304 8395647 140734036019552 140734036015624 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 228986 225262 515 1026 0 227956 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 915944

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 14540
/proc/meminfo: memFree=24236436/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1068448 CPUtime=282.25 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 260604 0 0 0 28185 40 0 0 20 0 1 0 340423992 1094090752 262582 33554432000 4194304 8395647 140734036019552 140734036015416 4911233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 267112 262582 515 1026 0 266082 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1068448

[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14541
/proc/meminfo: memFree=23957464/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1232904 CPUtime=342.24 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 302091 0 0 0 34176 48 0 0 20 0 1 0 340423992 1262493696 304069 33554432000 4194304 8395647 140734036019552 140734036015624 6080366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 308226 304069 515 1026 0 307196 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1232904

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 14541
/proc/meminfo: memFree=23684564/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1414328 CPUtime=402.23 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 345845 0 0 0 40167 56 0 0 20 0 1 0 340423992 1448271872 348845 33554432000 4194304 8395647 140734036019552 140734036015624 4228079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 353582 348845 515 1026 0 352552 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1414328

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 14544
/proc/meminfo: memFree=23495672/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1554056 CPUtime=462.22 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 380902 0 0 0 46159 63 0 0 20 0 1 0 340423992 1591353344 383902 33554432000 4194304 8395647 140734036019552 140734036015624 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 388514 383902 515 1026 0 387484 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1554056

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 14544
/proc/meminfo: memFree=23326572/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1688556 CPUtime=522.21 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 414539 0 0 0 52151 70 0 0 20 0 1 0 340423992 1729081344 417539 33554432000 4194304 8395647 140734036019552 140734036015624 5210289 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 422139 417539 515 1026 0 421109 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1688556

[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14544
/proc/meminfo: memFree=23133960/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1762296 CPUtime=582.2 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 433253 0 0 0 58146 74 0 0 20 0 1 0 340423992 1804591104 436253 33554432000 4194304 8395647 140734036019552 140734036015624 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 440574 436253 515 1026 0 439544 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1762296

[startup+642.3 s]

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

/proc/meminfo: memFree=22850140/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1925068 CPUtime=1062.13 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 472539 0 0 0 106121 92 0 0 20 0 1 0 340423992 1971269632 476534 33554432000 4194304 8395647 140734036019552 140734036014840 5792894 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 481267 476534 613 1026 0 480237 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1925068

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14549
/proc/meminfo: memFree=22775428/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1925068 CPUtime=1122.11 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 472549 0 0 0 112119 92 0 0 20 0 1 0 340423992 1971269632 476544 33554432000 4194304 8395647 140734036019552 140734036014840 5792689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 481267 476544 613 1026 0 480237 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1925068

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14549
/proc/meminfo: memFree=22770492/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1925068 CPUtime=1182.1 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 472551 0 0 0 118118 92 0 0 20 0 1 0 340423992 1971269632 476805 33554432000 4194304 8395647 140734036019552 140734036014840 5792692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 481267 476805 613 1026 0 480237 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1925068

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 14550
/proc/meminfo: memFree=22770152/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1925068 CPUtime=1242.09 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 472553 0 0 0 124117 92 0 0 20 0 1 0 340423992 1971269632 476816 33554432000 4194304 8395647 140734036019552 140734036014840 5792805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 481267 476816 613 1026 0 480237 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1925068

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22763792/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1925068 CPUtime=1302.09 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 472553 0 0 0 130117 92 0 0 20 0 1 0 340423992 1971269632 476881 33554432000 4194304 8395647 140734036019552 140734036014840 5792689 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 481267 476881 613 1026 0 480237 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1925068

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22704572/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1981096 CPUtime=1362.07 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 477198 0 0 0 136114 93 0 0 20 0 1 0 340423992 2028642304 490801 33554432000 4194304 8395647 140734036019552 140734036015768 5794576 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 495274 490801 613 1026 0 494244 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1981096

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22628460/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2056048 CPUtime=1422.06 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 479123 0 0 0 142111 95 0 0 20 0 1 0 340423992 2105393152 509706 33554432000 4194304 8395647 140734036019552 140734036015768 5794565 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 514012 509706 613 1026 0 512982 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 2056048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14550
/proc/meminfo: memFree=22549804/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2150600 CPUtime=1482.05 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 481354 0 0 0 148108 97 0 0 20 0 1 0 340423992 2202214400 529376 33554432000 4194304 8395647 140734036019552 140734036014680 6697974 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 537650 529376 628 1026 0 536620 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2150600

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14551
/proc/meminfo: memFree=22551940/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2150600 CPUtime=1542.04 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 481396 0 0 0 154103 101 0 0 20 0 1 0 340423992 2202214400 529446 33554432000 4194304 8395647 140734036019552 140734036014680 6698059 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 537650 529446 628 1026 0 536620 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2150600

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14551
/proc/meminfo: memFree=22551968/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2150600 CPUtime=1602.03 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 481409 0 0 0 160098 105 0 0 20 0 1 0 340423992 2202214400 529470 33554432000 4194304 8395647 140734036019552 140734036014840 5849640 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 537650 529470 628 1026 0 536620 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2150600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14554
/proc/meminfo: memFree=22532572/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2166100 CPUtime=1662.02 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482595 0 0 0 166091 111 0 0 20 0 1 0 340423992 2218086400 533634 33554432000 4194304 8395647 140734036019552 140734036015016 6391400 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541525 533634 628 1026 0 540495 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2166100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14592
/proc/meminfo: memFree=23826544/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2166620 CPUtime=1722.01 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482727 0 0 0 172085 116 0 0 20 0 1 0 340423992 2218618880 534200 33554432000 4194304 8395647 140734036019552 140734036014680 6698194 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541655 534200 628 1026 0 540625 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2166620

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23804300/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2167172 CPUtime=1782 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482866 0 0 0 178079 121 0 0 20 0 1 0 340423992 2219184128 534956 33554432000 4194304 8395647 140734036019552 140734036014680 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541793 534956 628 1026 0 540763 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2167172

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23803788/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2167172 CPUtime=1785.2 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482867 0 0 0 178399 121 0 0 20 0 1 0 340423992 2219184128 535023 33554432000 4194304 8395647 140734036019552 140734036014680 6752400 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541793 535023 628 1026 0 540763 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 2167172

[startup+1788.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23804160/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2167172 CPUtime=1788.4 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482867 0 0 0 178719 121 0 0 20 0 1 0 340423992 2219184128 535023 33554432000 4194304 8395647 140734036019552 140734036015064 6696697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541793 535023 628 1026 0 540763 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 2167172

[startup+1789.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23804160/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2167172 CPUtime=1789.2 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482867 0 0 0 178799 121 0 0 20 0 1 0 340423992 2219184128 535023 33554432000 4194304 8395647 140734036019552 140734036015064 6697955 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541793 535023 628 1026 0 540763 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 2167172

[startup+1789.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23804160/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=2167172 CPUtime=1789.6 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482867 0 0 0 178839 121 0 0 20 0 1 0 340423992 2219184128 535023 33554432000 4194304 8395647 140734036019552 140734036015112 6698043 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 541793 535023 628 1026 0 540763 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 2167172

[startup+1790.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23804160/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1950636 CPUtime=1790 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482875 0 0 0 178878 122 0 0 20 0 1 0 340423992 1997451264 484782 33554432000 4194304 8395647 140734036019552 140734036015112 6063840 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 487659 484782 636 1026 0 486629 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 1950636

[startup+1790.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14592
/proc/meminfo: memFree=23804160/32873844 swapFree=7628/7628
[pid=14538] ppid=14536 vsize=1950636 CPUtime=1790.1 cores=0,2,4,6
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 25613 0 -1 4202496 482875 0 0 0 178888 122 0 0 20 0 1 0 340423992 1997451264 484782 33554432000 4194304 8395647 140734036019552 140734036015112 6073535 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14538/statm: 487659 484782 636 1026 0 486629 0
Current children cumulated CPU time (s) 1790.1
Current children cumulated vsize (KiB) 1950636

Child status: 0
Real time (s): 1790.48
CPU time (s): 1790.19
CPU user time (s): 1788.91
CPU system time (s): 1.27981
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 2167172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.92
system time used= 1.27981
maximum resident set size= 2140112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482881
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= 20
involuntary context switches= 1873

runsolver used 5.20621 second user time and 18.9541 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-03 19:02:34
IDJOB=3740700
IDBENCH=78400
IDSOLVER=2326
FILE ID=node107/3740700-1338742954
RUNJOBID= node107-1338723356-12418
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-j3029_1.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-3740700-1338742954/watcher-3740700-1338742954 -o /tmp/evaluation-result-3740700-1338742954/solver-3740700-1338742954 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740700-1338742954.opb -t 1800 -m 15500

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

MD5SUM BENCH= f2544842ae88d4066b7cbfc4c8c43c77
RANDOM SEED=2023816990

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:        26030324 kB
Buffers:          540360 kB
Cached:          4774176 kB
SwapCached:           76 kB
Active:          2701008 kB
Inactive:        3247652 kB
Active(anon):     625680 kB
Inactive(anon):    11060 kB
Active(file):    2075328 kB
Inactive(file):  3236592 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             12240 kB
Writeback:             0 kB
AnonPages:        641360 kB
Mapped:            16388 kB
Shmem:               184 kB
Slab:             750020 kB
SReclaimable:     191740 kB
SUnreclaim:       558280 kB
KernelStack:        1440 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     766708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 70752 MiB
End job on node107 at 2012-06-03 19:32:25