Trace number 2703875

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.77 1790.17

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-set1al.opb
MD5SUM2171c0e7720e195b62c6e8928bbcbe1d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark160099728
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 585542656
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints492
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 constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 10737418240
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 1616008034847
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 10737418240
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 1616008034847
Number of bits of the biggest sum of numbers41
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-2703875-1278559665.opb>
0.09/0.13	c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 492 constraints
0.09/0.13	c problem read
0.09/0.13	c presolving settings loaded
0.19/0.27	c presolving:
0.29/0.31	c (round 1) 3119 del vars, 0 del conss, 3079 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.35	c (round 2) 4555 del vars, 0 del conss, 4515 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.35	c (round 3) 4741 del vars, 0 del conss, 4701 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.36	c (round 4) 4887 del vars, 0 del conss, 4847 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.37	c (round 5) 4993 del vars, 0 del conss, 4953 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.37	c (round 6) 5059 del vars, 0 del conss, 5019 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.38	c (round 7) 5085 del vars, 0 del conss, 5045 chg bounds, 0 chg sides, 83 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.39/0.41	c (round 8) 5085 del vars, 0 del conss, 5045 chg bounds, 0 chg sides, 83 chg coeffs, 252 upgd conss, 0 impls, 0 clqs
0.39/0.48	c (round 9) 5085 del vars, 0 del conss, 5045 chg bounds, 0 chg sides, 222 chg coeffs, 252 upgd conss, 3692 impls, 334 clqs
0.49/0.51	c (round 10) 5085 del vars, 3 del conss, 5045 chg bounds, 334 chg sides, 1224 chg coeffs, 252 upgd conss, 3692 impls, 334 clqs
1.99/2.07	c    (1.9s) probing: 1000/9315 (10.7%) - 24 fixings, 0 aggregations, 3497 implications, 0 bound changes
2.69/2.73	c    (2.6s) probing: 1446/9315 (15.5%) - 24 fixings, 0 aggregations, 3551 implications, 0 bound changes
2.69/2.73	c    (2.6s) probing aborted: 100/100 successive totally useless probings
2.69/2.73	c (round 11) 5109 del vars, 3 del conss, 5045 chg bounds, 334 chg sides, 1224 chg coeffs, 252 upgd conss, 10974 impls, 313 clqs
2.69/2.75	c (round 12) 5109 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 10974 impls, 313 clqs
2.79/2.82	c (round 13) 5159 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11028 impls, 313 clqs
2.89/2.92	c (round 14) 5209 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11202 impls, 313 clqs
3.49/3.59	c    (3.5s) probing: 2000/9315 (21.5%) - 141 fixings, 0 aggregations, 3759 implications, 0 bound changes
4.49/4.56	c    (4.4s) probing: 2646/9315 (28.4%) - 141 fixings, 0 aggregations, 3830 implications, 0 bound changes
4.49/4.56	c    (4.4s) probing aborted: 100/100 successive totally useless probings
4.49/4.56	c (round 15) 5226 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11548 impls, 313 clqs
4.79/4.81	c    (4.7s) probing: 2807/9315 (30.1%) - 173 fixings, 0 aggregations, 3877 implications, 0 bound changes
4.79/4.81	c    (4.7s) probing aborted: 100/100 successive totally useless probings
4.79/4.81	c (round 16) 5258 del vars, 3 del conss, 5045 chg bounds, 378 chg sides, 1268 chg coeffs, 252 upgd conss, 11646 impls, 313 clqs
4.79/4.84	c    (4.7s) probing: 2817/9315 (30.2%) - 173 fixings, 0 aggregations, 3877 implications, 0 bound changes
4.79/4.84	c    (4.7s) probing aborted: 100/100 successive totally useless probings
4.79/4.84	c presolving (17 rounds):
4.79/4.84	c  5258 deleted vars, 3 deleted constraints, 5045 tightened bounds, 0 added holes, 378 changed sides, 1268 changed coefficients
4.79/4.84	c  11646 implications, 313 cliques
4.79/4.84	c presolved problem has 9142 variables (9142 bin, 0 int, 0 impl, 0 cont) and 823 constraints
4.79/4.84	c     249 constraints of type <knapsack>
4.79/4.84	c     334 constraints of type <setppc>
4.79/4.84	c     240 constraints of type <linear>
4.79/4.84	c transformed objective value is always integral (scale: 1)
4.79/4.84	c Presolving Time: 4.66
4.79/4.84	c - non default parameters ----------------------------------------------------------------------
4.79/4.84	c # SCIP version 1.2.1.3
4.79/4.84	c 
4.79/4.84	c # frequency for displaying node information lines
4.79/4.84	c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.84	c display/freq = 10000
4.79/4.84	c 
4.79/4.84	c # maximal time in seconds to run
4.79/4.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.84	c limits/time = 1789.88
4.79/4.84	c 
4.79/4.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.84	c limits/memory = 1620
4.79/4.84	c 
4.79/4.84	c # default clock type (1: CPU user seconds, 2: wall clock time)
4.79/4.84	c # [type: int, range: [1,2], default: 1]
4.79/4.84	c timing/clocktype = 2
4.79/4.84	c 
4.79/4.84	c # should presolving try to simplify inequalities
4.79/4.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.84	c constraints/linear/simplifyinequalities = TRUE
4.79/4.84	c 
4.79/4.84	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.79/4.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.84	c constraints/indicator/addCouplingCons = TRUE
4.79/4.84	c 
4.79/4.84	c # should presolving try to simplify knapsacks
4.79/4.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.79/4.84	c constraints/knapsack/simplifyinequalities = TRUE
4.79/4.84	c 
4.79/4.84	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.79/4.84	c # [type: int, range: [-1,2147483647], default: -1]
4.79/4.84	c separating/rapidlearning/freq = 0
4.79/4.84	c 
4.79/4.84	c -----------------------------------------------------------------------------------------------
4.79/4.84	c start solving
4.79/4.85	c 
4.99/5.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.99/5.04	c   4.9s|     1 |     0 |  1037 |     - |  36M|   0 | 547 |9142 | 823 |9142 | 823 |   0 |   0 |   0 | 4.772506e+07 |      --      |    Inf 
8.80/8.88	c   8.7s|     1 |     0 |  3522 |     - |  37M|   0 | 689 |9142 | 823 |9142 |1223 | 400 |   0 |   0 | 4.891016e+07 |      --      |    Inf 
10.19/10.25	c  10.1s|     1 |     0 |  5601 |     - |  37M|   0 |1090 |9142 | 823 |9142 |1702 | 879 |   0 |   0 | 5.127375e+07 |      --      |    Inf 
12.10/12.17	c  12.0s|     1 |     0 |  7918 |     - |  39M|   0 |2474 |9142 | 823 |9142 |3334 |2511 |   0 |   0 | 5.325830e+07 |      --      |    Inf 
14.29/14.35	c  14.2s|     1 |     0 |  8968 |     - |  39M|   0 |2855 |9142 | 823 |9142 |3855 |3032 |   0 |   0 | 5.431290e+07 |      --      |    Inf 
16.68/16.79	c  16.7s|     1 |     0 |  9896 |     - |  40M|   0 |3161 |9142 | 823 |9142 |4218 |3395 |   0 |   0 | 5.534849e+07 |      --      |    Inf 
19.09/19.19	c  19.1s|     1 |     0 | 10810 |     - |  41M|   0 |3411 |9142 | 823 |9142 |4524 |3701 |   0 |   0 | 5.601838e+07 |      --      |    Inf 
21.90/21.90	c  21.8s|     1 |     0 | 11763 |     - |  41M|   0 |3706 |9142 | 823 |9142 |4872 |4049 |   0 |   0 | 5.656256e+07 |      --      |    Inf 
24.69/24.76	c  24.6s|     1 |     0 | 12728 |     - |  42M|   0 |3830 |9142 | 823 |9142 |5183 |4360 |   0 |   0 | 5.688641e+07 |      --      |    Inf 
27.89/27.90	c  27.8s|     1 |     0 | 13652 |     - |  42M|   0 |3960 |9142 | 823 |9142 |5429 |4606 |   0 |   0 | 5.706576e+07 |      --      |    Inf 
31.58/31.60	c  31.5s|     1 |     0 | 14521 |     - |  43M|   0 |4064 |9142 | 823 |9142 |5650 |4827 |   0 |   0 | 5.714278e+07 |      --      |    Inf 
33.58/33.62	c  33.5s|     1 |     0 | 14965 |     - |  43M|   0 |4082 |9142 | 823 |9142 |5774 |4951 |   0 |   0 | 5.720091e+07 |      --      |    Inf 
35.58/35.62	c  35.5s|     1 |     0 | 15221 |     - |  43M|   0 |4130 |9142 | 823 |9142 |5884 |5061 |   0 |   0 | 5.725686e+07 |      --      |    Inf 
37.68/37.73	c  37.6s|     1 |     0 | 15490 |     - |  43M|   0 |4155 |9142 | 823 |9142 |5981 |5158 |   0 |   0 | 5.730998e+07 |      --      |    Inf 
39.78/39.82	c  39.7s|     1 |     0 | 15646 |     - |  43M|   0 |4206 |9142 | 823 |9142 |5777 |5241 |   0 |   0 | 5.733263e+07 |      --      |    Inf 
41.69/41.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
41.69/41.79	c  41.7s|     1 |     0 | 15763 |     - |  44M|   0 |4250 |9142 | 823 |9142 |5858 |5322 |   0 |   0 | 5.734209e+07 |      --      |    Inf 
43.78/43.82	c  43.7s|     1 |     0 | 15919 |     - |  44M|   0 |4295 |9142 | 823 |9142 |5948 |5412 |   0 |   0 | 5.736309e+07 |      --      |    Inf 
45.89/45.98	c  45.9s|     1 |     0 | 16151 |     - |  45M|   0 |4344 |9142 | 823 |9142 |6056 |5520 |   0 |   0 | 5.739570e+07 |      --      |    Inf 
48.08/48.19	c  48.1s|     1 |     0 | 16416 |     - |  45M|   0 |4319 |9142 | 823 |9142 |6144 |5608 |   0 |   0 | 5.742829e+07 |      --      |    Inf 
50.49/50.51	c  50.4s|     1 |     0 | 16653 |     - |  45M|   0 |4326 |9142 | 823 |9142 |5813 |5681 |   0 |   0 | 5.748384e+07 |      --      |    Inf 
52.58/52.63	c  52.5s|     1 |     0 | 16819 |     - |  45M|   0 |4322 |9142 | 823 |9142 |5872 |5740 |   0 |   0 | 5.749648e+07 |      --      |    Inf 
53.78/53.90	c  53.8s|     1 |     0 | 16946 |     - |  45M|   0 |4332 |9142 | 823 |9142 |5918 |5786 |   0 |   0 | 5.750741e+07 |      --      |    Inf 
55.18/55.20	c  55.1s|     1 |     0 | 17070 |     - |  45M|   0 |4362 |9142 | 823 |9142 |5958 |5826 |   0 |   0 | 5.751106e+07 |      --      |    Inf 
56.38/56.46	c  56.3s|     1 |     0 | 17140 |     - |  45M|   0 |4397 |9142 | 823 |9142 |5993 |5861 |   0 |   0 | 5.751272e+07 |      --      |    Inf 
57.68/57.71	c  57.6s|     1 |     0 | 17188 |     - |  45M|   0 |4381 |9142 | 823 |9142 |6014 |5882 |   0 |   0 | 5.752300e+07 |      --      |    Inf 
58.88/58.98	c  58.9s|     1 |     0 | 17209 |     - |  45M|   0 |4400 |9142 | 823 |9142 |5709 |5900 |   0 |   0 | 5.752316e+07 |      --      |    Inf 
60.07/60.17	c  60.0s|     1 |     0 | 17234 |     - |  45M|   0 |4415 |9142 | 823 |9142 |5727 |5918 |   0 |   0 | 5.752326e+07 |      --      |    Inf 
61.28/61.34	c  61.2s|     1 |     0 | 17253 |     - |  45M|   0 |4417 |9142 | 823 |9142 |5743 |5934 |   0 |   0 | 5.752371e+07 |      --      |    Inf 
62.48/62.53	c  62.4s|     1 |     0 | 17303 |     - |  45M|   0 |4409 |9142 | 823 |9142 |5757 |5948 |   0 |   0 | 5.752717e+07 |      --      |    Inf 
63.68/63.71	c  63.6s|     1 |     0 | 17326 |     - |  45M|   0 |4427 |9142 | 823 |9142 |5772 |5963 |   0 |   0 | 5.752730e+07 |      --      |    Inf 
65.47/65.59	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
65.47/65.59	c  65.5s|     1 |     2 | 17326 |     - |  45M|   0 |4427 |9142 | 823 |9142 |5772 |5963 |   0 |  12 | 5.752730e+07 |      --      |    Inf 
115.27/115.36	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1789.59/1790.01	c 
1789.59/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.59/1790.01	c Solving Time (sec) : 1789.89
1789.59/1790.01	c Solving Nodes      : 2815
1789.59/1790.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.59/1790.01	c Dual Bound         : +5.77047374089077e+07
1789.59/1790.01	c Gap                : infinite
1789.59/1790.01	s UNKNOWN
1789.59/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.59/1790.01	c Solving Time       :    1789.89
1789.59/1790.01	c Original Problem   :
1789.59/1790.01	c   Problem name     : HOME/instance-2703875-1278559665.opb
1789.59/1790.01	c   Variables        : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.59/1790.01	c   Constraints      : 492 initial, 492 maximal
1789.59/1790.01	c Presolved Problem  :
1789.59/1790.01	c   Problem name     : t_HOME/instance-2703875-1278559665.opb
1789.59/1790.01	c   Variables        : 9142 (9142 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.59/1790.01	c   Constraints      : 823 initial, 1924 maximal
1789.59/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.59/1790.01	c   trivial          :       0.03          0          0          0          0          0          0          0          0
1789.59/1790.01	c   dualfix          :       0.03          0          0          0          0          0          0          0          0
1789.59/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.59/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.59/1790.01	c   implics          :       0.02          0          0          0          0          0          0          0          0
1789.59/1790.01	c   probing          :       4.24        173          0          0          0          0          0          0          0
1789.59/1790.01	c   knapsack         :       0.10          0          0          0          0          0          3        378       1185
1789.59/1790.01	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1789.59/1790.01	c   linear           :       0.12       5045         40          0       5045          0          0          0         83
1789.59/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.59/1790.01	c   root node        :          -          1          -          -          1          -          -          -          -
1789.59/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.59/1790.01	c   integral         :          0          0          0       2817          0          0         18          0          0       5610
1789.59/1790.01	c   knapsack         :        249         29      46945          0          1          0      32332       2014          0          0
1789.59/1790.01	c   setppc           :        334         29      46945          0          1          0       2283          0          0          0
1789.59/1790.01	c   linear           :        240         29      46945          0          0        324       1783       4274          0          0
1789.59/1790.01	c   logicor          :          0+         0       2616          0          0          8        270          0          0          0
1789.59/1790.01	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.59/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.59/1790.01	c   integral         :     615.82       0.00       0.00     615.82       0.00
1789.59/1790.01	c   knapsack         :       4.59       2.35       2.24       0.00       0.00
1789.59/1790.01	c   setppc           :       1.20       0.00       1.20       0.00       0.00
1789.59/1790.01	c   linear           :       4.16       2.17       2.00       0.00       0.00
1789.59/1790.01	c   logicor          :       0.05       0.00       0.05       0.00       0.00
1789.59/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.59/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.59/1790.01	c   vbounds          :       0.05          2          0          0
1789.59/1790.01	c   rootredcost      :       0.05          0          0          0
1789.59/1790.01	c   pseudoobj        :      29.42      40018          0          0
1789.59/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.59/1790.01	c   propagation      :       0.03        176        176        750       44.9         25       11.0          -
1789.59/1790.01	c   infeasible LP    :       1.66        426        418        767       45.1         50        3.6          0
1789.59/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.59/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.59/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.59/1790.01	c   applied globally :          -          -          -       1102       34.2          -          -          -
1789.59/1790.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.59/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.59/1790.01	c   cut pool         :       0.04         28          -          -       1312          -    (maximal pool size: 5464)
1789.59/1790.01	c   redcost          :       4.29       2845          0          0          0          0
1789.59/1790.01	c   impliedbounds    :       0.09         29          0          0       3973          0
1789.59/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.59/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.59/1790.01	c   gomory           :      19.87         29          0          0        407          0
1789.59/1790.01	c   strongcg         :      11.93         20          0          0       1051          0
1789.59/1790.01	c   cmir             :       1.29         10          0          0          0          0
1789.59/1790.01	c   flowcover        :       7.82         10          0          0       2006          0
1789.59/1790.01	c   clique           :       0.14         29          0          0         31          0
1789.59/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.59/1790.01	c   mcf              :       0.00          1          0          0          0          0
1789.59/1790.01	c   rapidlearning    :       2.01          1          0          0          0          0
1789.59/1790.01	c Pricers            :       Time      Calls       Vars
1789.59/1790.01	c   problem variables:       0.00          0          0
1789.59/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.59/1790.01	c   relpscost        :     615.80       2817          0         18          0          0       5610
1789.59/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   inference        :       0.00          1          0          0          0          0          2
1789.59/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.59/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.59/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.59/1790.01	c   LP solutions     :       0.00          -          0
1789.59/1790.01	c   pseudo solutions :       0.00          -          0
1789.59/1790.01	c   oneopt           :       0.00          0          0
1789.59/1790.01	c   crossover        :       0.00          0          0
1789.59/1790.01	c   intshifting      :       0.00          0          0
1789.59/1790.01	c   guideddiving     :       0.00          0          0
1789.59/1790.01	c   veclendiving     :      81.75          3          0
1789.59/1790.01	c   coefdiving       :     151.19          4          0
1789.59/1790.01	c   pscostdiving     :     197.75          8          0
1789.59/1790.01	c   fracdiving       :     130.82         10          0
1789.59/1790.01	c   linesearchdiving :      69.54         11          0
1789.59/1790.01	c   trivial          :       0.04          2          0
1789.59/1790.01	c   simplerounding   :       0.01          1          0
1789.59/1790.01	c   zirounding       :       0.92       1000          0
1789.59/1790.01	c   rounding         :       2.82        707          0
1789.59/1790.01	c   shifting         :      22.07        201          0
1789.59/1790.01	c   twoopt           :       0.00          0          0
1789.59/1790.01	c   fixandinfer      :       0.00          0          0
1789.59/1790.01	c   feaspump         :      23.58          4          0
1789.59/1790.01	c   intdiving        :       0.00          0          0
1789.59/1790.01	c   actconsdiving    :       0.00          0          0
1789.59/1790.01	c   objpscostdiving  :      55.44          1          0
1789.59/1790.01	c   rootsoldiving    :      15.28          2          0
1789.59/1790.01	c   octane           :       0.00          0          0
1789.59/1790.01	c   rens             :       0.28          1          0
1789.59/1790.01	c   rins             :       0.00          0          0
1789.59/1790.01	c   localbranching   :       0.00          0          0
1789.59/1790.01	c   mutation         :       0.00          0          0
1789.59/1790.01	c   dins             :       0.00          0          0
1789.59/1790.01	c   undercover       :       0.00          0          0
1789.59/1790.01	c   nlp              :       0.01          0          0
1789.59/1790.01	c   trysol           :       0.01          0          0
1789.59/1790.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.59/1790.01	c   primal LP        :       0.07          1          1       1.00      14.71
1789.59/1790.01	c   dual LP          :     333.28       2910     339426     116.64    1018.43
1789.59/1790.01	c   lex dual LP      :       0.00          0          0       0.00          -
1789.59/1790.01	c   barrier LP       :       0.00          0          0       0.00          -
1789.59/1790.01	c   diving/probing LP:     515.50      29214     379542      12.99     736.26
1789.59/1790.01	c   strong branching :     606.80      10027     237956      23.73     392.15
1789.59/1790.01	c     (at root node) :          -         12       1262     105.17          -
1789.59/1790.01	c   conflict analysis:       0.00          0          0       0.00          -
1789.59/1790.01	c B&B Tree           :
1789.59/1790.01	c   number of runs   :          1
1789.59/1790.01	c   nodes            :       2815
1789.59/1790.01	c   nodes (total)    :       2815
1789.59/1790.01	c   nodes left       :       2798
1789.59/1790.01	c   max depth        :         37
1789.59/1790.01	c   max depth (total):         37
1789.59/1790.01	c   backtracks       :        183 (6.5%)
1789.59/1790.01	c   delayed cutoffs  :          0
1789.59/1790.01	c   repropagations   :        196 (6 domain reductions, 0 cutoffs)
1789.59/1790.01	c   avg switch length:       2.79
1789.59/1790.01	c   switching time   :       1.11
1789.59/1790.01	c Solution           :
1789.59/1790.01	c   Solutions found  :          0 (0 improvements)
1789.59/1790.01	c   Primal Bound     :          -
1789.59/1790.02	c   Dual Bound       : +5.77047374089077e+07
1789.59/1790.02	c   Gap              :   infinite
1789.59/1790.02	c   Root Dual Bound  : +5.75272972644972e+07
1789.59/1790.02	c   Root Iterations  :      17326
1789.69/1790.16	c Time complete: 1789.76.

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-2703875-1278559665/watcher-2703875-1278559665 -o /tmp/evaluation-result-2703875-1278559665/solver-2703875-1278559665 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703875-1278559665.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 1.00 3/106 31455
/proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=7904 CPUtime=0
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 1070 0 0 0 0 0 0 0 22 0 1 0 24177729 8093696 982 1992294400 4194304 8395647 140734440270016 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31455/statm: 1976 989 365 1026 0 946 0

[startup+0.062961 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31455
/proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=20596 CPUtime=0.05
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 4481 0 0 0 4 1 0 0 22 0 1 0 24177729 21090304 4392 1992294400 4194304 8395647 140734440270016 18446744073709551615 4246013 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31455/statm: 5149 4392 394 1026 0 4119 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20596

[startup+0.100963 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31455
/proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=20988 CPUtime=0.09
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 4568 0 0 0 8 1 0 0 22 0 1 0 24177729 21491712 4479 1992294400 4194304 8395647 140734440270016 18446744073709551615 7324744 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31455/statm: 5247 4479 394 1026 0 4217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20988

[startup+0.300978 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31455
/proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=41768 CPUtime=0.29
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 9773 0 0 0 26 3 0 0 22 0 1 0 24177729 42770432 9330 1992294400 4194304 8395647 140734440270016 18446744073709551615 7185430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 10442 9330 471 1026 0 9412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41768

[startup+0.701005 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31455
/proc/meminfo: memFree=1811328/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=50944 CPUtime=0.69
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 12081 0 0 0 66 3 0 0 23 0 1 0 24177729 52166656 11638 1992294400 4194304 8395647 140734440270016 18446744073709551615 5604537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 12736 11638 504 1026 0 11706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50944

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31456
/proc/meminfo: memFree=1766060/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=51456 CPUtime=1.49
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 12209 0 0 0 146 3 0 0 25 0 1 0 24177729 52690944 11766 1992294400 4194304 8395647 140734440270016 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 12864 11766 504 1026 0 11834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51456

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31456
/proc/meminfo: memFree=1765812/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=52488 CPUtime=3.09
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 12472 0 0 0 306 3 0 0 25 0 1 0 24177729 53747712 12029 1992294400 4194304 8395647 140734440270016 18446744073709551615 7182292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 13122 12029 509 1026 0 12092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52488

[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31456
/proc/meminfo: memFree=1755652/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=71912 CPUtime=6.29
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 17119 0 0 0 622 7 0 0 25 0 1 0 24177729 73637888 16656 1992294400 4194304 8395647 140734440270016 18446744073709551615 4922593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 17978 16656 610 1026 0 16948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71912

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31456
/proc/meminfo: memFree=1715600/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=103176 CPUtime=12.69
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 27209 0 0 0 1255 14 0 0 25 0 1 0 24177729 105652224 24361 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 25794 24361 633 1026 0 24764 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103176

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31456
/proc/meminfo: memFree=1715352/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=103176 CPUtime=25.48
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 27296 0 0 0 2528 20 0 0 25 0 1 0 24177729 105652224 24446 1992294400 4194304 8395647 140734440270016 18446744073709551615 5863246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 25794 24446 633 1026 0 24764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103176

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31458
/proc/meminfo: memFree=1709028/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=110352 CPUtime=51.07
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 28902 0 0 0 5069 38 0 0 25 0 1 0 24177729 113000448 26052 1992294400 4194304 8395647 140734440270016 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 27588 26052 633 1026 0 26558 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 110352

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31458
/proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112456 CPUtime=102.28
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36584 0 0 0 10167 61 0 0 25 0 1 0 24177729 115154944 26610 1992294400 4194304 8395647 140734440270016 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28114 26610 640 1026 0 27084 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 112456

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31460
/proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=162.25
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36737 0 0 0 16142 83 0 0 25 0 1 0 24177729 115687424 26763 1992294400 4194304 8395647 140734440270016 18446744073709551615 6719956 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26763 741 1026 0 27214 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 112976

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31462
/proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=222.24
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36737 0 0 0 22114 110 0 0 25 0 1 0 24177729 115687424 26763 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26763 741 1026 0 27214 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 112976

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31464
/proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=282.23
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36737 0 0 0 28085 138 0 0 25 0 1 0 24177729 115687424 26763 1992294400 4194304 8395647 140734440270016 18446744073709551615 6594005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26763 741 1026 0 27214 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 112976

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31466
/proc/meminfo: memFree=1706176/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=342.22
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36755 0 0 0 34064 158 0 0 25 0 1 0 24177729 115687424 26781 1992294400 4194304 8395647 140734440270016 18446744073709551615 6737329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26781 741 1026 0 27214 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 112976

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31466
/proc/meminfo: memFree=1706052/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=402.2
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36755 0 0 0 40047 173 0 0 25 0 1 0 24177729 115687424 26781 1992294400 4194304 8395647 140734440270016 18446744073709551615 6740948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26781 741 1026 0 27214 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 112976

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31468
/proc/meminfo: memFree=1706052/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=462.19
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36798 0 0 0 46026 193 0 0 25 0 1 0 24177729 115687424 26824 1992294400 4194304 8395647 140734440270016 18446744073709551615 6740902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26824 741 1026 0 27214 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 112976

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31470
/proc/meminfo: memFree=1706052/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=522.18
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36798 0 0 0 52009 209 0 0 25 0 1 0 24177729 115687424 26824 1992294400 4194304 8395647 140734440270016 18446744073709551615 6723547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26824 741 1026 0 27214 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 112976

[startup+582.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 31472
/proc/meminfo: memFree=1705928/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=112976 CPUtime=582.16
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 36800 0 0 0 57989 227 0 0 25 0 1 0 24177729 115687424 26826 1992294400 4194304 8395647 140734440270016 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28244 26826 742 1026 0 27214 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 112976

[startup+642.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 31474
/proc/meminfo: memFree=1705184/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=114216 CPUtime=642.16
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 37032 0 0 0 63976 240 0 0 25 0 1 0 24177729 116957184 27058 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 28554 27058 742 1026 0 27524 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 114216

[startup+702.301 s]

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

/proc/meminfo: memFree=1699480/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=120060 CPUtime=1002.07
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 48978 0 0 0 99858 349 0 0 25 0 1 0 24177729 122941440 28437 1992294400 4194304 8395647 140734440270016 18446744073709551615 6719062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30015 28437 742 1026 0 28985 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 120060

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31484
/proc/meminfo: memFree=1699976/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=120044 CPUtime=1062.06
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 50276 0 0 0 105840 366 0 0 25 0 1 0 24177729 122925056 28417 1992294400 4194304 8395647 140734440270016 18446744073709551615 6723547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30011 28417 742 1026 0 28981 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 120044

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31486
/proc/meminfo: memFree=1699232/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=120056 CPUtime=1122.04
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 52348 0 0 0 111816 388 0 0 25 0 1 0 24177729 122937344 28454 1992294400 4194304 8395647 140734440270016 18446744073709551615 6742920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30014 28454 742 1026 0 28984 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 120056

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31488
/proc/meminfo: memFree=1699728/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=120008 CPUtime=1182.03
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 52951 0 0 0 117791 412 0 0 25 0 1 0 24177729 122888192 28353 1992294400 4194304 8395647 140734440270016 18446744073709551615 6698194 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30002 28353 742 1026 0 28972 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 120008

[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31490
/proc/meminfo: memFree=1698612/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=120012 CPUtime=1242.02
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 54384 0 0 0 123772 430 0 0 25 0 1 0 24177729 122892288 28557 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30003 28557 742 1026 0 28973 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 120012

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31490
/proc/meminfo: memFree=1699480/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=120024 CPUtime=1302.01
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 57986 0 0 0 129752 449 0 0 25 0 1 0 24177729 122904576 28353 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30006 28353 742 1026 0 28976 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 120024

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31492
/proc/meminfo: memFree=1697868/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=121236 CPUtime=1361.99
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 59185 0 0 0 135731 468 0 0 25 0 1 0 24177729 124145664 28756 1992294400 4194304 8395647 140734440270016 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 30309 28756 742 1026 0 29279 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 121236

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31494
/proc/meminfo: memFree=1694520/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=124428 CPUtime=1421.98
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 61360 0 0 0 141714 484 0 0 25 0 1 0 24177729 127414272 29517 1992294400 4194304 8395647 140734440270016 18446744073709551615 6622164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 31107 29517 742 1026 0 30077 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 124428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31496
/proc/meminfo: memFree=1694272/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=124352 CPUtime=1481.96
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 62216 0 0 0 147695 501 0 0 25 0 1 0 24177729 127336448 29532 1992294400 4194304 8395647 140734440270016 18446744073709551615 6652301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 31088 29532 742 1026 0 30058 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 124352

[startup+1542.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 31498
/proc/meminfo: memFree=1694272/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=124424 CPUtime=1541.95
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 65491 0 0 0 153669 526 0 0 25 0 1 0 24177729 127410176 29602 1992294400 4194304 8395647 140734440270016 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 31106 29602 742 1026 0 30076 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 124424

[startup+1602.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 31498
/proc/meminfo: memFree=1693404/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=125416 CPUtime=1601.94
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 71761 0 0 0 159640 554 0 0 25 0 1 0 24177729 128425984 29866 1992294400 4194304 8395647 140734440270016 18446744073709551615 6585993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 31354 29866 742 1026 0 30324 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 125416

[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 31500
/proc/meminfo: memFree=1694148/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=124372 CPUtime=1661.92
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 73053 0 0 0 165608 584 0 0 25 0 1 0 24177729 127356928 29683 1992294400 4194304 8395647 140734440270016 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 31093 29683 742 1026 0 30063 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 124372

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 31502
/proc/meminfo: memFree=1693280/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=125724 CPUtime=1721.91
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 83388 0 0 0 171581 610 0 0 25 0 1 0 24177729 128741376 29879 1992294400 4194304 8395647 140734440270016 18446744073709551615 6697970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 31431 29879 742 1026 0 30401 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 125724

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31504
/proc/meminfo: memFree=1688196/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=130808 CPUtime=1781.89
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86127 0 0 0 177564 625 0 0 25 0 1 0 24177729 133947392 31185 1992294400 4194304 8395647 140734440270016 18446744073709551615 6667456 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 32702 31185 835 1026 0 31672 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 130808

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

[startup+1785.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31504
/proc/meminfo: memFree=1688072/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=130808 CPUtime=1785.09
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86148 0 0 0 177883 626 0 0 25 0 1 0 24177729 133947392 31185 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 32702 31185 814 1026 0 31672 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 130808

[startup+1788.7 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31504
/proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=130976 CPUtime=1788.3
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86274 0 0 0 178203 627 0 0 25 0 1 0 24177729 134119424 31310 1992294400 4194304 8395647 140734440270016 18446744073709551615 6667494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 32744 31310 813 1026 0 31714 0
Current children cumulated CPU time (s) 1788.3
Current children cumulated vsize (KiB) 130976

[startup+1789.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31504
/proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=130976 CPUtime=1789.09
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86275 0 0 0 178282 627 0 0 25 0 1 0 24177729 134119424 31311 1992294400 4194304 8395647 140734440270016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 32744 31311 813 1026 0 31714 0
Current children cumulated CPU time (s) 1789.09
Current children cumulated vsize (KiB) 130976

[startup+1789.9 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31504
/proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=130976 CPUtime=1789.49
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86277 0 0 0 178322 627 0 0 25 0 1 0 24177729 134119424 31313 1992294400 4194304 8395647 140734440270016 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31455/statm: 32744 31313 813 1026 0 31714 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (KiB) 130976

[startup+1790.1 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 31504
/proc/meminfo: memFree=1687576/2059040 swapFree=4108704/4192956
[pid=31455] ppid=31453 vsize=130976 CPUtime=1789.69
/proc/31455/stat : 31455 (pbscip.linux.x8) R 31453 31455 29926 0 -1 4202496 86280 0 0 0 178342 627 0 0 25 0 1 0 24177729 134119424 31316 1992294400 4194304 8395647 140734440270016 18446744073709551615 6345199 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31455/statm: 32744 31316 815 1026 0 31714 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (KiB) 130976

Child status: 0
Real time (s): 1790.17
CPU time (s): 1789.77
CPU user time (s): 1783.48
CPU system time (s): 6.29204
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 141656

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

runsolver used 2.97955 second user time and 8.43072 second system time

The end

Launcher Data 

Begin job on node034 at 2010-07-08 05:27:45
IDJOB=2703875
IDBENCH=2477
IDSOLVER=1213
FILE ID=node034/2703875-1278559665
PBS_JOBID= 11239505
Free space on /tmp= 62404 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/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.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-2703875-1278559665/watcher-2703875-1278559665 -o /tmp/evaluation-result-2703875-1278559665/solver-2703875-1278559665 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703875-1278559665.opb -t 1800 -m 1800

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

MD5SUM BENCH= 2171c0e7720e195b62c6e8928bbcbe1d
RANDOM SEED=387057610

node034.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.216
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.43
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.216
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:       1811732 kB
Buffers:         33064 kB
Cached:         105904 kB
SwapCached:      41168 kB
Active:         104572 kB
Inactive:        77324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1811732 kB
SwapTotal:     4192956 kB
SwapFree:      4108704 kB
Dirty:           11060 kB
Writeback:           0 kB
AnonPages:       10360 kB
Mapped:           7016 kB
Slab:            43472 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184528 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= 62392 MiB
End job on node034 at 2010-07-08 05:57:35