Trace number 1870246

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT20 1798.06 1798.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1798.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c SCIP version 1.1.0.7
0.00/0.03	c LP-Solver SoPlex 1.4.1
0.00/0.03	c user parameter file <scip.set> not found - using default parameters
0.00/0.03	c read problem <HOME/instance-1870246-1245191940.opb>
0.00/0.03	c original problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 constraints
0.00/0.05	c start presolving problem
0.00/0.05	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73808 impls, 0 clqs
0.39/0.42	c    (0.2s) probing: 101/2728 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.42	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.42	c presolving (2 rounds):
0.39/0.42	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42	c  73808 implications, 0 cliques
0.39/0.42	c presolved problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 constraints
0.39/0.42	c    2528 constraints of type <and>
0.39/0.42	c     200 constraints of type <logicor>
0.39/0.42	c transformed objective value is always integral (scale: 1)
0.39/0.42	c Presolving Time: 0.20
0.39/0.42	c OPT-NLC
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/memory = c 1620
0.39/0.42	c # maximal time in seconds to run
0.39/0.42	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42	c limits/time = c 1791
0.39/0.42	c # frequency for displaying node information lines
0.39/0.42	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42	c display/freq = c 10000
0.39/0.42	c -----------------------------------------------------------------------------------------------
0.39/0.42	c start solving problem
0.39/0.42	c 
0.49/0.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.50	c   0.3s|     1 |     0 |   400 |  13M|   0 | 400 |2728 |2728 |2728 |2728 |5256 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.51	o 61
0.49/0.51	c s 0.3s|     1 |     0 |   400 |  13M|   0 | 400 |2728 |2728 |2728 |2728 |5256 |   0 |   0 |   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
1.09/1.12	c   0.9s|     1 |     0 |  1000 |  13M|   0 | 400 |2728 |2728 |2728 |2728 |5658 | 402 |   0 |   0 | 0.000000e+00 | 6.100000e+01 |    Inf 
1.09/1.14	o 60
1.09/1.14	c s 0.9s|     1 |     0 |  1000 |  14M|   0 | 400 |2728 |2728 |2728 |2728 |5658 | 402 |   0 |   0 | 0.000000e+00 | 6.000000e+01 |    Inf 
1.58/1.69	c   1.4s|     1 |     0 |  1600 |  14M|   0 | 400 |2728 |2728 |2728 |2728 |6060 | 804 |   0 |   0 | 0.000000e+00 | 6.000000e+01 |    Inf 
1.69/1.71	o 50
1.69/1.71	c s 1.4s|     1 |     0 |  1600 |  14M|   0 | 400 |2728 |2728 |2728 |2728 |6060 | 804 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
2.28/2.30	c   2.0s|     1 |     0 |  2200 |  14M|   0 | 400 |2728 |2728 |2728 |2728 |6461 |1205 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
2.88/2.99	c   2.7s|     1 |     0 |  2800 |  14M|   0 | 400 |2728 |2728 |2728 |2728 |6863 |1607 |   0 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
2.99/3.01	o 43
2.99/3.01	c s 2.7s|     1 |     0 |  2800 |  14M|   0 | 400 |2728 |2728 |2728 |2728 |6863 |1607 |   0 |   0 | 0.000000e+00 | 4.300000e+01 |    Inf 
3.88/3.96	c   3.7s|     1 |     0 |  3583 |  14M|   0 |1025 |2728 |2728 |2728 |2728 |7263 |2007 |   0 |   0 | 1.001909e+01 | 4.300000e+01 | 329.18%
7.18/7.20	c   6.9s|     1 |     0 |  4538 |  15M|   0 |1301 |2728 |2728 |2728 |2728 |7479 |2223 |   0 |   0 | 1.335436e+01 | 4.300000e+01 | 221.99%
11.08/11.11	c  10.8s|     1 |     0 |  5128 |  16M|   0 |1502 |2728 |2728 |2728 |2728 |7569 |2313 |   0 |   0 | 1.389429e+01 | 4.300000e+01 | 209.48%
15.47/15.50	c  15.1s|     1 |     0 |  5409 |  17M|   0 |1544 |2728 |2728 |2728 |2728 |7613 |2357 |   0 |   0 | 1.406825e+01 | 4.300000e+01 | 205.65%
19.78/19.80	c  19.4s|     1 |     0 |  5598 |  17M|   0 |1603 |2728 |2728 |2728 |2728 |7634 |2378 |   0 |   0 | 1.413966e+01 | 4.300000e+01 | 204.11%
24.38/24.44	c  24.0s|     1 |     0 |  5697 |  17M|   0 |1671 |2728 |2728 |2728 |2728 |7651 |2395 |   0 |   0 | 1.415316e+01 | 4.300000e+01 | 203.82%
29.07/29.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.07/29.16	c  28.7s|     1 |     0 |  5860 |  17M|   0 |1771 |2728 |2728 |2728 |2728 |2681 |2404 |   0 |   0 | 1.422804e+01 | 4.300000e+01 | 202.22%
30.48/30.57	c  30.1s|     1 |     0 |  5947 |  17M|   0 |1747 |2728 |2728 |2728 |2728 |2687 |2410 |   0 |   0 | 1.424248e+01 | 4.300000e+01 | 201.91%
31.78/31.88	c  31.4s|     1 |     0 |  5984 |  17M|   0 |1778 |2728 |2728 |2728 |2728 |2700 |2423 |   0 |   0 | 1.424470e+01 | 4.300000e+01 | 201.87%
33.17/33.29	c  32.9s|     1 |     0 |  6063 |  17M|   0 |1810 |2728 |2728 |2728 |2728 |2704 |2427 |   0 |   0 | 1.426300e+01 | 4.300000e+01 | 201.48%
34.46/34.60	c  34.1s|     1 |     0 |  6066 |  17M|   0 |1813 |2728 |2728 |2728 |2728 |2707 |2430 |   0 |   0 | 1.426300e+01 | 4.300000e+01 | 201.48%
35.86/35.95	c  35.5s|     1 |     0 |  6071 |  17M|   0 |1809 |2728 |2728 |2728 |2728 |2708 |2431 |   0 |   0 | 1.426308e+01 | 4.300000e+01 | 201.48%
37.16/37.30	c  36.8s|     1 |     0 |  6072 |  17M|   0 |1809 |2728 |2728 |2728 |2728 |2620 |2432 |   0 |   0 | 1.426308e+01 | 4.300000e+01 | 201.48%
51.95/52.05	c  51.5s|     1 |     2 |  6072 |  17M|   0 |1809 |2728 |2728 |2728 |2728 |2620 |2432 |   0 |  47 | 1.426308e+01 | 4.300000e+01 | 201.48%
106.64/106.71	o 22
106.64/106.71	c * 106s|    23 |    20 |  9338 |  17M|  22 |   - |2728 |2728 |2261 |2728 |2915 |2767 |   0 | 549 | 1.447058e+01 | 2.200000e+01 |  52.03%
106.64/106.74	o 21
106.64/106.74	c R 106s|    24 |    16 |  9340 |  18M|  22 |   - |2728 |2728 |1754 |2728 |2909 |2768 |   0 | 549 | 1.447058e+01 | 2.100000e+01 |  45.12%
107.44/107.52	o 20
107.44/107.52	c * 107s|    25 |    11 |  9403 |  18M|  22 |   - |2728 |2728 |1718 |2728 |2871 |2771 |   0 | 572 | 1.447058e+01 | 2.000000e+01 |  38.21%
1797.94/1798.61	c 
1797.94/1798.61	c SCIP Status        : solving was interrupted [time limit reached]
1797.94/1798.61	c Solving Time (sec) : 1791.00
1797.94/1798.61	c Solving Nodes      : 9034
1797.94/1798.61	c Primal Bound       : +2.00000000000000e+01 (7 solutions)
1797.94/1798.61	c Dual Bound         : +1.62514389044338e+01
1797.94/1798.61	c Gap                : 23.07 %
1797.94/1798.62	c NODE         9034
1797.94/1798.62	c DUAL BOUND   16.2514
1797.94/1798.62	c PRIMAL BOUND 20
1797.94/1798.62	c GAP          0.23066
1797.94/1798.62	s SATISFIABLE
1797.94/1798.62	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1797.94/1798.62	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 
1797.94/1798.62	v -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 
1797.94/1798.62	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
1797.94/1798.62	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 
1797.94/1798.62	v x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 
1797.94/1798.62	v -x68 -x67 -x66 -x65 -x64 -x63 x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 x43 
1797.94/1798.62	v -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 x20 x19 -x18 -x17 
1797.94/1798.62	v x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1 
1797.94/1798.62	c SCIP Status        : solving was interrupted [time limit reached]
1797.94/1798.62	c Solving Time       :    1791.00
1797.94/1798.62	c Original Problem   :
1797.94/1798.62	c   Problem name     : HOME/instance-1870246-1245191940.opb
1797.94/1798.62	c   Variables        : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.94/1798.62	c   Constraints      : 2728 initial, 2728 maximal
1797.94/1798.62	c Presolved Problem  :
1797.94/1798.62	c   Problem name     : t_HOME/instance-1870246-1245191940.opb
1797.94/1798.62	c   Variables        : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.94/1798.62	c   Constraints      : 2728 initial, 2732 maximal
1797.94/1798.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.94/1798.62	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1797.94/1798.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1797.94/1798.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.94/1798.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.94/1798.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1797.94/1798.62	c   probing          :       0.05          0          0          0          0          0          0          0          0
1797.94/1798.62	c   and              :       0.14          0          0          0          0          0          0          0          0
1797.94/1798.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1797.94/1798.62	c   root node        :          -          0          -          -          0          -          -          -          -
1797.94/1798.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.94/1798.62	c   integral         :          0          0          0       5670          0         59        845          0          0      10832
1797.94/1798.62	c   and              :       2528      16602      76102          2          1          3     629107      67112          0          0
1797.94/1798.62	c   logicor          :        200+        18      31787          2          1          1          2          0          0          0
1797.94/1798.62	c   countsols        :          0          0          0          2          1          0          0          0          0          0
1797.94/1798.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.94/1798.62	c   integral         :     452.35       0.00       0.00     452.35       0.00
1797.94/1798.62	c   and              :      54.10      39.24      14.85       0.01       0.00
1797.94/1798.62	c   logicor          :       0.46       0.00       0.46       0.00       0.00
1797.94/1798.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.94/1798.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.94/1798.62	c   rootredcost      :       0.04          3          0          0
1797.94/1798.62	c   pseudoobj        :       1.46      76116          0          0
1797.94/1798.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.94/1798.62	c   propagation      :       0.00          4          4          4        5.2          0        0.0          -
1797.94/1798.62	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.94/1798.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.94/1798.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.94/1798.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.94/1798.62	c   applied globally :          -          -          -          4        5.2          -          -          -
1797.94/1798.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.94/1798.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.94/1798.62	c   cut pool         :       0.03         17          -          -          0          -    (maximal pool size: 2859)
1797.94/1798.62	c   redcost          :       2.91      16765          0     106373          0          0
1797.94/1798.62	c   impliedbounds    :       0.06         18          0          0       2540          0
1797.94/1798.62	c   intobj           :       0.00          0          0          0          0          0
1797.94/1798.62	c   gomory           :      18.20         18          0          0       2630          0
1797.94/1798.62	c   strongcg         :      11.93         18          0          0       4002          0
1797.94/1798.62	c   cmir             :       2.16         10          0          0       2022          0
1797.94/1798.62	c   flowcover        :       1.07         10          0          0        200          0
1797.94/1798.62	c   clique           :       0.17         18          0          0         13          0
1797.94/1798.62	c   zerohalf         :       0.00          0          0          0          0          0
1797.94/1798.62	c   mcf              :       0.01          1          0          0          0          0
1797.94/1798.62	c Pricers            :       Time      Calls       Vars
1797.94/1798.62	c   problem variables:       0.00          0          0
1797.94/1798.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.94/1798.62	c   relpscost        :     452.31       5668         59        845          0          0      10832
1797.94/1798.62	c   pscost           :       0.00          0          0          0          0          0          0
1797.94/1798.62	c   inference        :       0.00          1          0          0          0          0          2
1797.94/1798.62	c   mostinf          :       0.00          0          0          0          0          0          0
1797.94/1798.62	c   leastinf         :       0.00          0          0          0          0          0          0
1797.94/1798.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.94/1798.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.94/1798.62	c   random           :       0.00          0          0          0          0          0          0
1797.94/1798.62	c Primal Heuristics  :       Time      Calls      Found
1797.94/1798.62	c   LP solutions     :       0.00          -          2
1797.94/1798.62	c   pseudo solutions :       0.00          -          0
1797.94/1798.62	c   feaspump         :       0.00          0          0
1797.94/1798.62	c   oneopt           :       0.02          4          0
1797.94/1798.62	c   objpscostdiving  :      37.66          2          0
1797.94/1798.62	c   crossover        :       0.19          3          0
1797.94/1798.62	c   rootsoldiving    :      10.51         15          0
1797.94/1798.62	c   veclendiving     :      51.22         36          0
1797.94/1798.62	c   pscostdiving     :      66.75         36          0
1797.94/1798.62	c   guideddiving     :      64.46         46          0
1797.94/1798.62	c   fracdiving       :      63.66         51          0
1797.94/1798.62	c   linesearchdiving :      55.51         64          0
1797.94/1798.62	c   simplerounding   :       0.05          0          0
1797.94/1798.62	c   rounding         :      13.73       5916          1
1797.94/1798.62	c   shifting         :       5.08       1632          4
1797.94/1798.62	c   intshifting      :       0.00          0          0
1797.94/1798.62	c   fixandinfer      :       0.00          0          0
1797.94/1798.62	c   coefdiving       :      48.04         50          0
1797.94/1798.62	c   intdiving        :       0.00          0          0
1797.94/1798.62	c   actconsdiving    :       0.00          0          0
1797.94/1798.62	c   octane           :       0.00          0          0
1797.94/1798.62	c   rens             :       0.01          0          0
1797.94/1798.62	c   rins             :       0.00          0          0
1797.94/1798.62	c   localbranching   :       0.00          0          0
1797.94/1798.62	c   mutation         :       0.00          0          0
1797.94/1798.62	c   dins             :       0.00          0          0
1797.94/1798.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.94/1798.62	c   primal LP        :       8.54          0          0       0.00       0.00
1797.94/1798.62	c   dual LP          :     770.99      20899     964637      46.16    1251.17
1797.94/1798.62	c   barrier LP       :       0.00          0          0       0.00          -
1797.94/1798.62	c   diving/probing LP:     348.87      20130     425470      21.14    1219.57
1797.94/1798.62	c   strong branching :     447.93       5968     597387     100.10    1333.66
1797.94/1798.62	c     (at root node) :          -         47      14795     314.79          -
1797.94/1798.62	c   conflict analysis:       0.00          0          0       0.00          -
1797.94/1798.62	c B&B Tree           :
1797.94/1798.62	c   number of runs   :          1
1797.94/1798.62	c   nodes            :       9034
1797.94/1798.62	c   nodes (total)    :       9034
1797.94/1798.62	c   nodes left       :       1792
1797.94/1798.62	c   max depth        :         36
1797.94/1798.62	c   max depth (total):         36
1797.94/1798.62	c   backtracks       :       1949 (21.6%)
1797.94/1798.62	c   delayed cutoffs  :          0
1797.94/1798.62	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.94/1798.62	c   avg switch length:       4.04
1797.94/1798.62	c   switching time   :      13.28
1797.94/1798.62	c Solution           :
1797.94/1798.62	c   Solutions found  :          7 (7 improvements)
1797.94/1798.62	c   Primal Bound     : +2.00000000000000e+01   (in run 1, after 25 nodes, 106.77 seconds, depth 17, found by <relaxation>)
1797.94/1798.62	c   Dual Bound       : +1.62514389044338e+01
1797.94/1798.62	c   Gap              :      23.07 %
1797.94/1798.62	c   Root Dual Bound  : +1.42630768732429e+01
1798.04/1798.70	c Time complete: 1798.05.

Verifier Data 

OK	20

Watcher Data 

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

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

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: 0.99 0.97 0.98 3/64 5023
/proc/meminfo: memFree=1825416/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=4324 CPUtime=0
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 186794942 4427776 449 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/5023/statm: 1081 461 298 886 0 191 0

[startup+0.063003 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5023
/proc/meminfo: memFree=1825416/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=19240 CPUtime=0.06
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 4209 0 0 0 5 1 0 0 18 0 1 0 186794942 19701760 3837 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 4810 3845 405 886 0 3920 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19240

[startup+0.102011 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5023
/proc/meminfo: memFree=1825416/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=22744 CPUtime=0.09
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 5082 0 0 0 8 1 0 0 18 0 1 0 186794942 23289856 4710 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 5686 4710 405 886 0 4796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22744

[startup+0.301049 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5023
/proc/meminfo: memFree=1825416/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=24092 CPUtime=0.29
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 5447 0 0 0 16 13 0 0 19 0 1 0 186794942 24670208 5075 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 6023 5075 427 886 0 5133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24092

[startup+0.701125 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 5023
/proc/meminfo: memFree=1825416/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=35592 CPUtime=0.69
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 8500 0 0 0 50 19 0 0 22 0 1 0 186794942 36446208 8021 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 8898 8021 534 886 0 8008 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35592

[startup+1.50128 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1794944/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=37292 CPUtime=1.49
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 9109 0 0 0 126 23 0 0 25 0 1 0 186794942 38187008 8543 1992294400 4194304 7823515 548682068736 18446744073709551615 4338440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5023/statm: 9323 8543 552 886 0 8433 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37292

[startup+3.10159 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1792128/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=40328 CPUtime=3.08
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 9819 0 0 0 282 26 0 0 25 0 1 0 186794942 41295872 9249 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 10082 9249 552 886 0 9192 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40328

[startup+6.3022 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1787904/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=47036 CPUtime=6.29
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 11481 0 0 0 601 28 0 0 25 0 1 0 186794942 48164864 10835 1992294400 4194304 7823515 548682068736 18446744073709551615 6212394 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 11759 10835 553 886 0 10869 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47036

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1782848/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=48032 CPUtime=12.68
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 11793 0 0 0 1238 30 0 0 25 0 1 0 186794942 49184768 11120 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 12008 11120 553 886 0 11118 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48032

[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1778624/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=51928 CPUtime=25.47
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 12836 0 0 0 2511 36 0 0 25 0 1 0 186794942 53174272 12163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 12982 12163 553 886 0 12092 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 51928

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1778432/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=52196 CPUtime=51.06
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 12917 0 0 0 5061 45 0 0 25 0 1 0 186794942 53448704 12244 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 13049 12244 558 886 0 12159 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 52196

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1778368/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=52196 CPUtime=102.24
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 12918 0 0 0 10159 65 0 0 25 0 1 0 186794942 53448704 12245 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 13049 12245 559 886 0 12159 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 52196

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1779008/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=51172 CPUtime=162.21
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 15760 0 0 0 16133 88 0 0 25 0 1 0 186794942 52400128 12041 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 12793 12041 570 886 0 11903 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 51172

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1779008/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=51172 CPUtime=222.2
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 15763 0 0 0 22112 108 0 0 25 0 1 0 186794942 52400128 12044 1992294400 4194304 7823515 548682068736 18446744073709551615 6131010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 12793 12044 573 886 0 11903 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 51172

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1777792/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=52648 CPUtime=282.17
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 19740 0 0 0 28086 131 0 0 25 0 1 0 186794942 53911552 12383 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 13162 12383 573 886 0 12272 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 52648

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1776576/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=53824 CPUtime=342.16
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 20032 0 0 0 34064 152 0 0 25 0 1 0 186794942 55115776 12675 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 13456 12675 573 886 0 12566 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 53824

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1774080/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=55980 CPUtime=402.13
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 23880 0 0 0 40036 177 0 0 25 0 1 0 186794942 57323520 13246 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 13995 13246 573 886 0 13105 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 55980

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1774144/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=55980 CPUtime=462.11
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 23880 0 0 0 46013 198 0 0 25 0 1 0 186794942 57323520 13246 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 13995 13246 573 886 0 13105 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 55980

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1773376/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=56968 CPUtime=522.09
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 24095 0 0 0 51989 220 0 0 25 0 1 0 186794942 58335232 13461 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 14242 13461 573 886 0 13352 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 56968

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 5024
/proc/meminfo: memFree=1773056/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=57244 CPUtime=582.07
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 24186 0 0 0 57966 241 0 0 25 0 1 0 186794942 58617856 13552 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 14311 13552 573 886 0 13421 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 57244

[startup+642.301 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 5024
/proc/meminfo: memFree=1771520/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=58896 CPUtime=642.06
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 24559 0 0 0 63943 263 0 0 25 0 1 0 186794942 60309504 13925 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 14724 13925 573 886 0 13834 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 58896

[startup+702.303 s]

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

/proc/meminfo: memFree=1764736/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=65520 CPUtime=1061.91
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 27321 0 0 0 105768 423 0 0 25 0 1 0 186794942 67092480 15600 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 16380 15600 573 886 0 15490 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 65520

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5026
/proc/meminfo: memFree=1763200/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=66896 CPUtime=1121.88
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 27684 0 0 0 111742 446 0 0 25 0 1 0 186794942 68501504 15963 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 16724 15963 573 886 0 15834 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 66896

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5026
/proc/meminfo: memFree=1762176/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=68060 CPUtime=1181.87
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 27932 0 0 0 117719 468 0 0 25 0 1 0 186794942 69693440 16211 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 17015 16211 573 886 0 16125 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 68060

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5026
/proc/meminfo: memFree=1760576/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=69528 CPUtime=1241.84
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 28347 0 0 0 123696 488 0 0 25 0 1 0 186794942 71196672 16605 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 17382 16605 573 886 0 16492 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 69528

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5026
/proc/meminfo: memFree=1760000/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=70096 CPUtime=1301.83
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 29477 0 0 0 129672 511 0 0 25 0 1 0 186794942 71778304 16747 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 17524 16747 573 886 0 16634 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 70096

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1758976/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=71080 CPUtime=1361.8
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 29723 0 0 0 135650 530 0 0 25 0 1 0 186794942 72785920 16993 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 17770 16993 573 886 0 16880 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 71080

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1758272/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=71716 CPUtime=1421.78
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 29882 0 0 0 141624 554 0 0 25 0 1 0 186794942 73437184 17152 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 17929 17152 573 886 0 17039 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 71716

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1757696/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=72260 CPUtime=1481.75
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 30019 0 0 0 147599 576 0 0 25 0 1 0 186794942 73994240 17289 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 18065 17289 573 886 0 17175 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 72260

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1756672/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=73348 CPUtime=1541.73
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 30267 0 0 0 153573 600 0 0 25 0 1 0 186794942 75108352 17537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 18337 17537 573 886 0 17447 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 73348

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1755648/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=74388 CPUtime=1601.72
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 30518 0 0 0 159550 622 0 0 25 0 1 0 186794942 76173312 17788 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 18597 17788 573 886 0 17707 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 74388

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1755136/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=74760 CPUtime=1661.69
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 30651 0 0 0 165525 644 0 0 25 0 1 0 186794942 76554240 17921 1992294400 4194304 7823515 548682068736 18446744073709551615 4520061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 18690 17921 573 886 0 17800 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 74760

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1754048/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=76008 CPUtime=1721.67
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 30931 0 0 0 171500 667 0 0 25 0 1 0 186794942 77832192 18201 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19002 18201 573 886 0 18112 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 76008

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752640/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=77188 CPUtime=1781.65
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31274 0 0 0 177477 688 0 0 25 0 1 0 186794942 79040512 18544 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19297 18544 573 886 0 18407 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 77188

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752512/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=77428 CPUtime=1791.25
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31312 0 0 0 178433 692 0 0 25 0 1 0 186794942 79286272 18582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19357 18582 573 886 0 18467 0
Current children cumulated CPU time (s) 1791.25
Current children cumulated vsize (KiB) 77428

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752448/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=77428 CPUtime=1794.45
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31312 0 0 0 178752 693 0 0 25 0 1 0 186794942 79286272 18582 1992294400 4194304 7823515 548682068736 18446744073709551615 6254072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19357 18582 573 886 0 18467 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 77428

[startup+1796.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752448/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=77428 CPUtime=1796.04
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31312 0 0 0 178911 693 0 0 25 0 1 0 186794942 79286272 18582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19357 18582 573 886 0 18467 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 77428

[startup+1797.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752448/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=77428 CPUtime=1796.85
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31312 0 0 0 178991 694 0 0 25 0 1 0 186794942 79286272 18582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19357 18582 573 886 0 18467 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 77428

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752448/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=77428 CPUtime=1797.64
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31312 0 0 0 179070 694 0 0 25 0 1 0 186794942 79286272 18582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5023/statm: 19357 18582 573 886 0 18467 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 77428

[startup+1798.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5032
/proc/meminfo: memFree=1752448/2055920 swapFree=4183064/4192956
[pid=5023] ppid=5021 vsize=45396 CPUtime=1798.04
/proc/5023/stat : 5023 (pbscip.linux.x8) R 5021 5023 4615 0 -1 4194304 31314 0 0 0 179109 695 0 0 25 0 1 0 186794942 46485504 10387 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0
/proc/5023/statm: 11092 10387 575 886 0 10202 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 45396

Child status: 0
Real time (s): 1798.71
CPU time (s): 1798.06
CPU user time (s): 1791.1
CPU system time (s): 6.96494
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 77428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.1
system time used= 6.96494
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31317
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= 2068

runsolver used 1.51077 second user time and 3.52146 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-17 00:39:00
IDJOB=1870246
IDBENCH=48122
IDSOLVER=683
FILE ID=node5/1870246-1245191940
PBS_JOBID= 9368310
Free space on /tmp= 66256 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870246-1245191940/watcher-1870246-1245191940 -o /tmp/evaluation-result-1870246-1245191940/solver-1870246-1245191940 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870246-1245191940.opb

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

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=370855766

node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.259
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1825832 kB
Buffers:         52880 kB
Cached:          97524 kB
SwapCached:       3684 kB
Active:          62916 kB
Inactive:        95412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825832 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            9872 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            57780 kB
Committed_AS:   157076 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66248 MiB
End job on node5 at 2009-06-17 01:08:59