Trace number 2703476

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1789.71 1790.17

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-vtp.base.opb
MD5SUM5b3e28beae15a1c34f0e545c98eeb705
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4524
Total number of constraints257
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints257
Minimum length of a constraint11
Maximum length of a constraint1080
Number of terms in the objective function 181
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 7516192762
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 198568686125056
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 12817928787879752
Number of bits of the biggest sum of numbers54
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-2703476-1278558912.opb>
0.02/0.06	c original problem has 4524 variables (4524 bin, 0 int, 0 impl, 0 cont) and 257 constraints
0.02/0.06	c problem read
0.02/0.06	c presolving settings loaded
0.09/0.11	c presolving:
0.09/0.13	c (round 1) 1083 del vars, 40 del conss, 1066 chg bounds, 128 chg sides, 550 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.14	c (round 2) 1698 del vars, 144 del conss, 1680 chg bounds, 128 chg sides, 550 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.15	c (round 3) 1758 del vars, 146 del conss, 1738 chg bounds, 128 chg sides, 550 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.16	c (round 4) 1758 del vars, 146 del conss, 1738 chg bounds, 128 chg sides, 550 chg coeffs, 67 upgd conss, 0 impls, 0 clqs
0.09/0.16	c (round 5) 1758 del vars, 146 del conss, 1738 chg bounds, 524 chg sides, 4618 chg coeffs, 67 upgd conss, 38 impls, 0 clqs
0.30/0.36	c    (0.3s) probing: 413/2766 (14.9%) - 11 fixings, 3 aggregations, 378 implications, 0 bound changes
0.30/0.36	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.30/0.36	c (round 6) 1772 del vars, 146 del conss, 1738 chg bounds, 524 chg sides, 4618 chg coeffs, 67 upgd conss, 844 impls, 0 clqs
0.30/0.37	c (round 7) 1772 del vars, 147 del conss, 1738 chg bounds, 529 chg sides, 4639 chg coeffs, 67 upgd conss, 844 impls, 0 clqs
0.30/0.37	c (round 8) 1772 del vars, 148 del conss, 1738 chg bounds, 538 chg sides, 4662 chg coeffs, 67 upgd conss, 844 impls, 5 clqs
0.30/0.37	c (round 9) 1772 del vars, 148 del conss, 1738 chg bounds, 543 chg sides, 4667 chg coeffs, 67 upgd conss, 844 impls, 5 clqs
0.40/0.43	c    (0.4s) probing: 528/2766 (19.1%) - 22 fixings, 3 aggregations, 387 implications, 0 bound changes
0.40/0.43	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.40/0.43	c (round 10) 1783 del vars, 148 del conss, 1738 chg bounds, 543 chg sides, 4667 chg coeffs, 67 upgd conss, 862 impls, 5 clqs
0.40/0.44	c    (0.4s) probing: 538/2766 (19.5%) - 22 fixings, 3 aggregations, 387 implications, 0 bound changes
0.40/0.44	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.40/0.44	c presolving (11 rounds):
0.40/0.44	c  1783 deleted vars, 148 deleted constraints, 1738 tightened bounds, 0 added holes, 543 changed sides, 4667 changed coefficients
0.40/0.44	c  862 implications, 5 cliques
0.40/0.44	c presolved problem has 2741 variables (2741 bin, 0 int, 0 impl, 0 cont) and 121 constraints
0.40/0.44	c      65 constraints of type <knapsack>
0.40/0.44	c      12 constraints of type <setppc>
0.40/0.44	c      44 constraints of type <linear>
0.40/0.44	c transformed objective value is always integral (scale: 1)
0.40/0.44	c Presolving Time: 0.35
0.40/0.44	c - non default parameters ----------------------------------------------------------------------
0.40/0.44	c # SCIP version 1.2.1.3
0.40/0.44	c 
0.40/0.44	c # frequency for displaying node information lines
0.40/0.44	c # [type: int, range: [-1,2147483647], default: 100]
0.40/0.44	c display/freq = 10000
0.40/0.44	c 
0.40/0.44	c # maximal time in seconds to run
0.40/0.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.44	c limits/time = 1789.95
0.40/0.44	c 
0.40/0.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.40/0.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.40/0.44	c limits/memory = 1620
0.40/0.44	c 
0.40/0.44	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.40/0.44	c # [type: int, range: [1,2], default: 1]
0.40/0.44	c timing/clocktype = 2
0.40/0.44	c 
0.40/0.44	c # should presolving try to simplify inequalities
0.40/0.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.40/0.44	c constraints/linear/simplifyinequalities = TRUE
0.40/0.44	c 
0.40/0.44	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.40/0.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.40/0.44	c constraints/indicator/addCouplingCons = TRUE
0.40/0.44	c 
0.40/0.44	c # should presolving try to simplify knapsacks
0.40/0.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.40/0.44	c constraints/knapsack/simplifyinequalities = TRUE
0.40/0.44	c 
0.40/0.44	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.40/0.44	c # [type: int, range: [-1,2147483647], default: -1]
0.40/0.44	c separating/rapidlearning/freq = 0
0.40/0.44	c 
0.40/0.44	c -----------------------------------------------------------------------------------------------
0.40/0.44	c start solving
0.40/0.44	c 
0.59/0.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.62	c   0.6s|     1 |     0 |  1810 |     - |  10M|   0 |  91 |2741 | 121 |2741 | 121 |   0 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
2.99/3.00	c   2.9s|     1 |     0 |  2278 |     - |  14M|   0 | 120 |2741 |1093 |2741 | 211 |  90 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
3.30/3.35	c   3.3s|     1 |     0 |  2441 |     - |  15M|   0 | 123 |2741 |1093 |2741 | 304 | 183 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
3.69/3.76	c   3.7s|     1 |     0 |  2690 |     - |  15M|   0 | 143 |2741 |1093 |2741 | 385 | 264 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
4.19/4.29	c   4.2s|     1 |     0 |  3215 |     - |  15M|   0 | 146 |2741 |1093 |2741 | 467 | 346 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
4.80/4.85	c   4.8s|     1 |     0 |  3826 |     - |  16M|   0 | 163 |2741 |1093 |2741 | 540 | 419 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
5.50/5.51	c   5.5s|     1 |     0 |  4417 |     - |  16M|   0 | 166 |2741 |1093 |2741 | 613 | 492 |   0 |   0 | 1.206689e+09 |      --      |    Inf 
6.69/6.80	c   6.7s|     1 |     2 |  4417 |     - |  16M|   0 | 166 |2741 |1093 |2741 | 613 | 492 |   0 |  11 | 1.206689e+09 |      --      |    Inf 
24.89/24.90	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
24.89/24.90	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
24.89/24.90	c (node 19) error in strong branching call for variable <t_x864> with solution 0.481567
253.32/253.40	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
256.82/256.97	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
268.93/269.09	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
340.01/340.12	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
340.01/340.12	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
340.01/340.12	c (node 3648) error in strong branching call for variable <t_x176> with solution 0.827881
340.01/340.16	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
343.81/343.98	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
363.40/363.51	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
368.20/368.33	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
368.20/368.33	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
368.20/368.33	c (node 4328) error in strong branching call for variable <t_x2659> with solution 0.242875
372.09/372.29	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
372.09/372.29	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
372.09/372.29	c (node 4508) error in strong branching call for variable <t_x2749> with solution 0.224447
469.37/469.55	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
479.87/480.10	c   480s| 10000 |  8792 |  1100k| 109.6 |  31M| 229 |  62 |2741 |5512 |2741 | 460 | 492 |6188 |6506 | 1.206689e+09 |      --      |    Inf 
527.56/527.73	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
527.66/527.85	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
810.28/810.59	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
846.87/847.11	c   847s| 20000 | 17519 |  2078k| 103.7 |  43M| 233 |  89 |2741 |4210 |2741 | 460 | 492 |  13k|  10k| 1.206689e+09 |      --      |    Inf 
1199.09/1199.40	c  1199s| 30000 | 25574 |  3054k| 101.7 |  53M| 233 |  44 |2741 |3728 |2741 | 460 | 492 |  20k|  14k| 1.206689e+09 |      --      |    Inf 
1227.28/1227.68	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.56/1284.97	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.56/1284.97	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1284.56/1284.97	c (node 32058) error in strong branching call for variable <t_x20> with solution 0.187838
1284.66/1285.01	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.66/1285.01	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1284.66/1285.01	c (node 32059) error in strong branching call for variable <t_x20> with solution 0.187838
1284.66/1285.05	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.66/1285.05	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1284.66/1285.05	c (node 32060) error in strong branching call for variable <t_x20> with solution 0.187838
1284.66/1285.09	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.66/1285.09	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1284.66/1285.09	c (node 32061) error in strong branching call for variable <t_x20> with solution 0.187838
1284.77/1285.12	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.77/1285.12	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1284.77/1285.12	c (node 32062) error in strong branching call for variable <t_x20> with solution 0.187838
1284.77/1285.18	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1284.77/1285.18	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1284.77/1285.18	c (node 32068) error in strong branching call for variable <t_x22> with solution 0.0265489
1286.58/1286.93	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1286.58/1286.93	c [src/scip/lpi_spx.cpp:2313] ERROR: SCIPlpiStrongbranch() returned SoPlex status -4
1286.58/1286.93	c (node 32151) error in strong branching call for variable <t_x2598> with solution 0.0246533
1286.58/1286.97	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1324.25/1324.67	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1333.05/1333.48	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1442.13/1442.50	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-12)
1789.53/1790.03	c 
1789.53/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.03	c Solving Time (sec) : 1789.97
1789.53/1790.03	c Solving Nodes      : 35907
1789.53/1790.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.53/1790.03	c Dual Bound         : +1.20668924156044e+09
1789.53/1790.03	c Gap                : infinite
1789.53/1790.03	s UNKNOWN
1789.53/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.03	c Solving Time       :    1789.97
1789.53/1790.03	c Original Problem   :
1789.53/1790.03	c   Problem name     : HOME/instance-2703476-1278558912.opb
1789.53/1790.03	c   Variables        : 4524 (4524 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.03	c   Constraints      : 257 initial, 257 maximal
1789.53/1790.03	c Presolved Problem  :
1789.53/1790.03	c   Problem name     : t_HOME/instance-2703476-1278558912.opb
1789.53/1790.03	c   Variables        : 2741 (2741 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.03	c   Constraints      : 121 initial, 5813 maximal
1789.53/1790.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.53/1790.03	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1789.53/1790.03	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   probing          :       0.25         22          3          0          0          0          0          0          0
1789.53/1790.03	c   knapsack         :       0.01          0          0          0          0          0          2        415       4117
1789.53/1790.03	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   linear           :       0.05       1739         19          0       1738          0        146        128        550
1789.53/1790.03	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   root node        :          -          6          -          -          6          -          -          -          -
1789.53/1790.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.03	c   integral         :          0          0          0      37916          0          6       5503          0          0      66332
1789.53/1790.03	c   knapsack         :         65          6     143520          0          1        128       6718        284          0          0
1789.53/1790.03	c   setppc           :         12          6     122831          0          1          3        505          0          0          0
1789.53/1790.03	c   linear           :         44+         7     143390          0          0        785      87748       1131          0          0
1789.53/1790.03	c   logicor          :          0+         0      47326          0          0         62      16872          0          0          0
1789.53/1790.03	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.53/1790.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.53/1790.03	c   integral         :     154.83       0.00       0.00     154.83       0.00
1789.53/1790.03	c   knapsack         :       1.29       0.03       1.26       0.00       0.00
1789.53/1790.03	c   setppc           :       0.13       0.00       0.13       0.00       0.00
1789.53/1790.03	c   linear           :      30.70       0.64      30.05       0.00       0.00
1789.53/1790.03	c   logicor          :       1.57       0.00       1.57       0.00       0.00
1789.53/1790.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.53/1790.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.53/1790.03	c   vbounds          :       0.10          2          0          0
1789.53/1790.03	c   rootredcost      :       0.10          0          0          0
1789.53/1790.03	c   pseudoobj        :       1.63     142317          0          0
1789.53/1790.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.53/1790.03	c   propagation      :       3.21        962        962      20437      236.6        152       31.6          -
1789.53/1790.03	c   infeasible LP    :       9.85       4231       3867      74625      135.0       1045       40.4          0
1789.53/1790.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.53/1790.03	c   applied globally :          -          -          -      27341       76.0          -          -          -
1789.53/1790.03	c   applied locally  :          -          -          -         28      398.1          -          -          -
1789.53/1790.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.53/1790.03	c   cut pool         :       0.00          5          -          -        210          -    (maximal pool size: 971)
1789.53/1790.03	c   redcost          :      10.95      36227          0          0          0          0
1789.53/1790.03	c   impliedbounds    :       0.00          6          0          0         29          0
1789.53/1790.03	c   intobj           :       0.00          0          0          0          0          0
1789.53/1790.03	c   cgmip            :       0.00          0          0          0          0          0
1789.53/1790.03	c   gomory           :       0.07          6          0          0         12          0
1789.53/1790.03	c   strongcg         :       0.06          6          0          0         50          0
1789.53/1790.03	c   cmir             :       0.28          6          0          0        351          0
1789.53/1790.03	c   flowcover        :       0.90          6          0          0        554          0
1789.53/1790.03	c   clique           :       0.00          6          0          0          0          0
1789.53/1790.03	c   zerohalf         :       0.00          0          0          0          0          0
1789.53/1790.03	c   mcf              :       0.12          6          0          0       1723          0
1789.53/1790.03	c   rapidlearning    :       2.01          1          0          0          0        972
1789.53/1790.03	c Pricers            :       Time      Calls       Vars
1789.53/1790.03	c   problem variables:       0.00          0          0
1789.53/1790.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.03	c   relpscost        :     154.70      37916          6       5503          0          0      66332
1789.53/1790.03	c   pscost           :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   inference        :       0.00          1          0          0          0          0          2
1789.53/1790.03	c   mostinf          :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   leastinf         :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   random           :       0.00          0          0          0          0          0          0
1789.53/1790.03	c Primal Heuristics  :       Time      Calls      Found
1789.53/1790.03	c   LP solutions     :       0.00          -          0
1789.53/1790.03	c   pseudo solutions :       0.00          -          0
1789.53/1790.03	c   oneopt           :       0.06          0          0
1789.53/1790.03	c   crossover        :       0.04          0          0
1789.53/1790.03	c   guideddiving     :       0.00          0          0
1789.53/1790.03	c   intshifting      :       0.00          0          0
1789.53/1790.03	c   veclendiving     :      45.30         38          0
1789.53/1790.03	c   linesearchdiving :      72.13         38          0
1789.53/1790.03	c   coefdiving       :      77.37         38          0
1789.53/1790.03	c   fracdiving       :      52.28         39          0
1789.53/1790.03	c   pscostdiving     :      63.93         39          0
1789.53/1790.03	c   objpscostdiving  :       7.23         20          0
1789.53/1790.03	c   rootsoldiving    :      16.98         20          0
1789.53/1790.03	c   feaspump         :       4.83         38          0
1789.53/1790.03	c   trivial          :       0.01          2          0
1789.53/1790.03	c   simplerounding   :       0.05          0          0
1789.53/1790.03	c   zirounding       :       0.10       1000          0
1789.53/1790.03	c   rounding         :       1.01       2631          0
1789.53/1790.03	c   shifting         :       6.22        799          0
1789.53/1790.03	c   twoopt           :       0.00          0          0
1789.53/1790.03	c   fixandinfer      :       0.00          0          0
1789.53/1790.03	c   intdiving        :       0.00          0          0
1789.53/1790.03	c   actconsdiving    :       0.00          0          0
1789.53/1790.03	c   octane           :       0.00          0          0
1789.53/1790.03	c   rens             :       0.06          1          0
1789.53/1790.03	c   rins             :       0.00          0          0
1789.53/1790.03	c   localbranching   :       0.00          0          0
1789.53/1790.03	c   mutation         :       0.00          0          0
1789.53/1790.03	c   dins             :       0.00          0          0
1789.53/1790.03	c   undercover       :       0.00          0          0
1789.53/1790.03	c   nlp              :       0.03          0          0
1789.53/1790.03	c   trysol           :       0.02          0          0
1789.53/1790.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.53/1790.03	c   primal LP        :       0.02          1         45      45.00    2368.42
1789.53/1790.03	c   dual LP          :    1191.84      39694    3770006      94.98    3163.19
1789.53/1790.03	c   lex dual LP      :       0.00          0          0       0.00          -
1789.53/1790.03	c   barrier LP       :       0.00          0          0       0.00          -
1789.53/1790.03	c   diving/probing LP:     299.20      24499     909820      37.14    3040.84
1789.53/1790.03	c   strong branching :     152.02      18300     600355      32.81    3949.16
1789.53/1790.03	c     (at root node) :          -         11       3972     361.09          -
1789.53/1790.03	c   conflict analysis:       0.00          0          0       0.00          -
1789.53/1790.03	c B&B Tree           :
1789.53/1790.03	c   number of runs   :          1
1789.53/1790.03	c   nodes            :      35907
1789.53/1790.03	c   nodes (total)    :      35907
1789.53/1790.03	c   nodes left       :      30380
1789.53/1790.03	c   max depth        :        233
1789.53/1790.03	c   max depth (total):        233
1789.53/1790.03	c   backtracks       :        497 (1.4%)
1789.53/1790.03	c   delayed cutoffs  :         48
1789.53/1790.03	c   repropagations   :      36709 (8612 domain reductions, 45 cutoffs)
1789.53/1790.03	c   avg switch length:       4.15
1789.53/1790.03	c   switching time   :       8.83
1789.53/1790.03	c Solution           :
1789.53/1790.03	c   Solutions found  :          0 (0 improvements)
1789.53/1790.03	c   Primal Bound     :          -
1789.53/1790.03	c   Dual Bound       : +1.20668924156044e+09
1789.53/1790.03	c   Gap              :   infinite
1789.53/1790.03	c   Root Dual Bound  : +1.20668924156044e+09
1789.53/1790.03	c   Root Iterations  :       4417
1789.63/1790.16	c Time complete: 1789.71.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703476-1278558912/watcher-2703476-1278558912 -o /tmp/evaluation-result-2703476-1278558912/solver-2703476-1278558912 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703476-1278558912.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 31340
/proc/meminfo: memFree=1719256/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=7904 CPUtime=0
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 1077 0 0 0 0 0 0 0 18 0 1 0 24104960 8093696 988 1992294400 4194304 8395647 140734736473744 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31340/statm: 1976 997 365 1026 0 946 0

[startup+0.0331179 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 31340
/proc/meminfo: memFree=1719256/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=13052 CPUtime=0.02
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 2549 0 0 0 2 0 0 0 20 0 1 0 24104960 13365248 2460 1992294400 4194304 8395647 140734736473744 18446744073709551615 5753582 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31340/statm: 3263 2460 393 1026 0 2233 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13052

[startup+0.101124 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 31340
/proc/meminfo: memFree=1719256/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=23756 CPUtime=0.09
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 5536 0 0 0 8 1 0 0 20 0 1 0 24104960 24326144 5093 1992294400 4194304 8395647 140734736473744 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 5939 5093 430 1026 0 4909 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23756

[startup+0.301145 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 31340
/proc/meminfo: memFree=1719256/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=27780 CPUtime=0.3
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 6329 0 0 0 28 2 0 0 20 0 1 0 24104960 28446720 5886 1992294400 4194304 8395647 140734736473744 18446744073709551615 5026599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 6945 5886 498 1026 0 5915 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 27780

[startup+0.701186 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 31340
/proc/meminfo: memFree=1719256/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=31172 CPUtime=0.69
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 7447 0 0 0 67 2 0 0 20 0 1 0 24104960 31920128 6981 1992294400 4194304 8395647 140734736473744 18446744073709551615 6652335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 7793 6981 689 1026 0 6763 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31172

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31341
/proc/meminfo: memFree=1670268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=61508 CPUtime=1.49
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 14442 0 0 0 143 6 0 0 23 0 1 0 24104960 62984192 13973 1992294400 4194304 8395647 140734736473744 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 15377 13973 734 1026 0 14347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61508

[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31341
/proc/meminfo: memFree=1665432/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=68684 CPUtime=3.09
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16288 0 0 0 299 10 0 0 25 0 1 0 24104960 70332416 15795 1992294400 4194304 8395647 140734736473744 18446744073709551615 4904179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17171 15795 740 1026 0 16141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68684

[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31341
/proc/meminfo: memFree=1658240/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=6.29
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16936 0 0 0 617 12 0 0 25 0 1 0 24104960 71610368 16443 1992294400 4194304 8395647 140734736473744 18446744073709551615 6741388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16443 741 1026 0 16453 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69932

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31341
/proc/meminfo: memFree=1655636/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=12.69
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16937 0 0 0 1248 21 0 0 25 0 1 0 24104960 71610368 16444 1992294400 4194304 8395647 140734736473744 18446744073709551615 6503132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16444 742 1026 0 16453 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69932

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31342
/proc/meminfo: memFree=1655636/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=25.48
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16938 0 0 0 2506 42 0 0 25 0 1 0 24104960 71610368 16445 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16445 743 1026 0 16453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69932

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31342
/proc/meminfo: memFree=1655636/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=51.07
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16938 0 0 0 5023 84 0 0 25 0 1 0 24104960 71610368 16445 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16445 743 1026 0 16453 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69932

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31344
/proc/meminfo: memFree=1655636/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=102.28
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16951 0 0 0 10057 171 0 0 25 0 1 0 24104960 71610368 16458 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16458 743 1026 0 16453 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69932

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31345
/proc/meminfo: memFree=1655636/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=162.25
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16953 0 0 0 15954 271 0 0 25 0 1 0 24104960 71610368 16460 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16460 743 1026 0 16453 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 69932

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31350
/proc/meminfo: memFree=1655016/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=222.23
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16954 0 0 0 21849 374 0 0 25 0 1 0 24104960 71610368 16461 1992294400 4194304 8395647 140734736473744 18446744073709551615 6667516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16461 743 1026 0 16453 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 69932

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31351
/proc/meminfo: memFree=1655016/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=282.22
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16955 0 0 0 27752 470 0 0 25 0 1 0 24104960 71610368 16462 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16462 743 1026 0 16453 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 69932

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31353
/proc/meminfo: memFree=1655016/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=342.2
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16982 0 0 0 33656 564 0 0 25 0 1 0 24104960 71610368 16489 1992294400 4194304 8395647 140734736473744 18446744073709551615 6586893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16489 743 1026 0 16453 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 69932

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31355
/proc/meminfo: memFree=1655016/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=69932 CPUtime=402.19
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 16990 0 0 0 39561 658 0 0 25 0 1 0 24104960 71610368 16497 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 17483 16497 743 1026 0 16453 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69932

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31356
/proc/meminfo: memFree=1642616/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=82804 CPUtime=462.17
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 20209 0 0 0 45475 742 0 0 25 0 1 0 24104960 84791296 19682 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 20701 19682 743 1026 0 19671 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 82804

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31358
/proc/meminfo: memFree=1639020/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=86436 CPUtime=522.16
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 21180 0 0 0 51362 854 0 0 25 0 1 0 24104960 88510464 20578 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 21609 20578 743 1026 0 20579 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 86436

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31359
/proc/meminfo: memFree=1637284/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=88172 CPUtime=582.14
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 21613 0 0 0 57260 954 0 0 25 0 1 0 24104960 90288128 21008 1992294400 4194304 8395647 140734736473744 18446744073709551615 6667531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 22043 21008 743 1026 0 21013 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 88172

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31361
/proc/meminfo: memFree=1637284/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=88172 CPUtime=642.13
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 21635 0 0 0 63156 1057 0 0 25 0 1 0 24104960 90288128 21030 1992294400 4194304 8395647 140734736473744 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 22043 21030 743 1026 0 21013 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 88172

[startup+702.301 s]

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

/proc/meminfo: memFree=1622528/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=102564 CPUtime=1002.04
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 25274 0 0 0 98537 1667 0 0 25 0 1 0 24104960 105025536 24631 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 25641 24631 743 1026 0 24611 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 102564

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31372
/proc/meminfo: memFree=1622032/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=103068 CPUtime=1062.03
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 25399 0 0 0 104434 1769 0 0 25 0 1 0 24104960 105541632 24756 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 25767 24756 743 1026 0 24737 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 103068

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31374
/proc/meminfo: memFree=1620048/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=104784 CPUtime=1122
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 25877 0 0 0 110329 1871 0 0 25 0 1 0 24104960 107298816 25218 1992294400 4194304 8395647 140734736473744 18446744073709551615 5028615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 26196 25218 743 1026 0 25166 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 104784

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31375
/proc/meminfo: memFree=1617568/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=107512 CPUtime=1181.99
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 26536 0 0 0 116222 1977 0 0 25 0 1 0 24104960 110092288 25875 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 26878 25875 743 1026 0 25848 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 107512

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31377
/proc/meminfo: memFree=1614840/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=109808 CPUtime=1241.97
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 27150 0 0 0 122117 2080 0 0 25 0 1 0 24104960 112443392 26484 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 27452 26484 743 1026 0 26422 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 109808

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31379
/proc/meminfo: memFree=1610996/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=113568 CPUtime=1301.97
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28109 0 0 0 128015 2182 0 0 25 0 1 0 24104960 116293632 27429 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28392 27429 743 1026 0 27362 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 113568

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31380
/proc/meminfo: memFree=1610624/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=114072 CPUtime=1361.95
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28202 0 0 0 133913 2282 0 0 25 0 1 0 24104960 116809728 27522 1992294400 4194304 8395647 140734736473744 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28518 27522 743 1026 0 27488 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 114072

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31382
/proc/meminfo: memFree=1610624/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=114072 CPUtime=1421.94
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28203 0 0 0 139809 2385 0 0 25 0 1 0 24104960 116809728 27523 1992294400 4194304 8395647 140734736473744 18446744073709551615 6502798 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28518 27523 743 1026 0 27488 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 114072

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 31383
/proc/meminfo: memFree=1610624/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=114072 CPUtime=1481.91
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28206 0 0 0 145697 2494 0 0 25 0 1 0 24104960 116809728 27526 1992294400 4194304 8395647 140734736473744 18446744073709551615 6503038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28518 27526 743 1026 0 27488 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 114072

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 0.94 2/107 31385
/proc/meminfo: memFree=1609384/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=115344 CPUtime=1541.9
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28548 0 0 0 151595 2595 0 0 25 0 1 0 24104960 118112256 27850 1992294400 4194304 8395647 140734736473744 18446744073709551615 6652352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28836 27850 743 1026 0 27806 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 115344

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 0.94 2/107 31387
/proc/meminfo: memFree=1609136/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=115552 CPUtime=1601.89
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28619 0 0 0 157493 2696 0 0 25 0 1 0 24104960 118325248 27921 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28888 27921 743 1026 0 27858 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 115552

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31388
/proc/meminfo: memFree=1608764/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=115828 CPUtime=1661.87
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28688 0 0 0 163393 2794 0 0 25 0 1 0 24104960 118607872 27984 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 28957 27984 743 1026 0 27927 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 115828

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31390
/proc/meminfo: memFree=1608516/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1721.85
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28752 0 0 0 169289 2896 0 0 25 0 1 0 24104960 118812672 28048 1992294400 4194304 8395647 140734736473744 18446744073709551615 6501599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28048 743 1026 0 27977 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 116028

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31391
/proc/meminfo: memFree=1608268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1781.84
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28752 0 0 0 175189 2995 0 0 25 0 1 0 24104960 118812672 28048 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28048 743 1026 0 27977 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 116028

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31391
/proc/meminfo: memFree=1608268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1785.04
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28752 0 0 0 175506 2998 0 0 25 0 1 0 24104960 118812672 28048 1992294400 4194304 8395647 140734736473744 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28048 743 1026 0 27977 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 116028

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31392
/proc/meminfo: memFree=1608268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1788.24
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28752 0 0 0 175821 3003 0 0 25 0 1 0 24104960 118812672 28048 1992294400 4194304 8395647 140734736473744 18446744073709551615 6503544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28048 743 1026 0 27977 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 116028

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31392
/proc/meminfo: memFree=1608268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1789.04
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28752 0 0 0 175900 3004 0 0 25 0 1 0 24104960 118812672 28048 1992294400 4194304 8395647 140734736473744 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28048 743 1026 0 27977 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 116028

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31392
/proc/meminfo: memFree=1608268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1789.43
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28752 0 0 0 175939 3004 0 0 25 0 1 0 24104960 118812672 28048 1992294400 4194304 8395647 140734736473744 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28048 743 1026 0 27977 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (KiB) 116028

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 31392
/proc/meminfo: memFree=1608268/2059040 swapFree=4134944/4192956
[pid=31340] ppid=31338 vsize=116028 CPUtime=1789.63
/proc/31340/stat : 31340 (pbscip.linux.x8) R 31338 31340 29857 0 -1 4202496 28755 0 0 0 175959 3004 0 0 25 0 1 0 24104960 118812672 28051 1992294400 4194304 8395647 140734736473744 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31340/statm: 29007 28051 746 1026 0 27977 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 116028

Child status: 0
Real time (s): 1790.17
CPU time (s): 1789.71
CPU user time (s): 1759.65
CPU system time (s): 30.0624
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 116028

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

runsolver used 3.08953 second user time and 8.31874 second system time

The end

Launcher Data 

Begin job on node002 at 2010-07-08 05:15:12
IDJOB=2703476
IDBENCH=2387
IDSOLVER=1213
FILE ID=node002/2703476-1278558912
PBS_JOBID= 11239528
Free space on /tmp= 62568 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.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-2703476-1278558912/watcher-2703476-1278558912 -o /tmp/evaluation-result-2703476-1278558912/solver-2703476-1278558912 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703476-1278558912.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5b3e28beae15a1c34f0e545c98eeb705
RANDOM SEED=1559321163

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1719908 kB
Buffers:         80984 kB
Cached:         175192 kB
SwapCached:      11820 kB
Active:         154484 kB
Inactive:       115968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1719908 kB
SwapTotal:     4192956 kB
SwapFree:      4134944 kB
Dirty:           10828 kB
Writeback:           0 kB
AnonPages:       11440 kB
Mapped:           8420 kB
Slab:            46764 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node002 at 2010-07-08 05:45:03