Trace number 2666635

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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)11 1800.66 1801.21

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1789.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
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 constraint26
Maximum length of a constraint50
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)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

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.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666635-1276656567.opb>
0.05/0.07	c original problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.05/0.07	c problem read
0.05/0.07	c presolving settings loaded
0.09/0.15	c presolving:
0.59/0.61	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
1.00/1.03	c    (0.8s) probing: 101/6426 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.03	c    (0.8s) probing aborted: 100/100 successive totally useless probings
1.00/1.03	c presolving (2 rounds):
1.00/1.03	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.03	c  415046 implications, 0 cliques
1.00/1.03	c presolved problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
1.00/1.03	c    6226 constraints of type <and>
1.00/1.03	c     200 constraints of type <logicor>
1.00/1.03	c transformed objective value is always integral (scale: 1)
1.00/1.03	c Presolving Time: 0.75
1.00/1.03	c - non default parameters ----------------------------------------------------------------------
1.00/1.03	c # SCIP version 1.2.1.2
1.00/1.03	c 
1.00/1.03	c # frequency for displaying node information lines
1.00/1.03	c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.03	c display/freq = 10000
1.00/1.03	c 
1.00/1.03	c # maximal time in seconds to run
1.00/1.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.03	c limits/time = 1799.93
1.00/1.03	c 
1.00/1.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.03	c limits/memory = 1620
1.00/1.03	c 
1.00/1.03	c # should presolving try to simplify inequalities
1.00/1.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.03	c constraints/linear/simplifyinequalities = TRUE
1.00/1.03	c 
1.00/1.03	c # should presolving try to simplify knapsacks
1.00/1.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.03	c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.03	c 
1.00/1.03	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.00/1.03	c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.03	c heuristics/undercover/freq = 0
1.00/1.03	c 
1.00/1.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.03	c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.03	c separating/rapidlearning/freq = 0
1.00/1.03	c 
1.00/1.03	c -----------------------------------------------------------------------------------------------
1.00/1.03	c start solving
1.00/1.04	c 
1.19/1.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.19/1.21	c   0.9s|     1 |     0 |   400 |     - |  38M|   0 | 400 |6426 |6426 |6426 |  12k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.23	o 26
1.19/1.23	c s 0.9s|     1 |     0 |   400 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  12k|   0 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
3.99/4.09	c   3.5s|     1 |     0 |  1000 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k| 401 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
5.29/5.38	c   4.7s|     1 |     0 |  1600 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k| 803 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
6.60/6.69	c   6.0s|     1 |     0 |  2200 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k|1205 |   0 |   0 | 0.000000e+00 | 2.600000e+01 |    Inf 
6.69/6.72	o 19
6.69/6.72	c s 6.0s|     1 |     0 |  2200 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  13k|1205 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
7.99/8.07	c   7.4s|     1 |     0 |  2802 |     - |  39M|   0 | 400 |6426 |6426 |6426 |  14k|1609 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
9.59/9.63	c   8.9s|     1 |     0 |  3402 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  14k|2013 |   0 |   0 | 0.000000e+00 | 1.900000e+01 |    Inf 
9.59/9.65	o 16
9.59/9.65	c s 8.9s|     1 |     0 |  3402 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  14k|2013 |   0 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
11.08/11.12	c  10.4s|     1 |     0 |  4003 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  15k|2416 |   0 |   0 | 0.000000e+00 | 1.600000e+01 |    Inf 
12.79/12.85	c  12.0s|     1 |     2 |  4003 |     - |  40M|   0 | 400 |6426 |6426 |6426 |  15k|2416 |   0 |  22 | 0.000000e+00 | 1.600000e+01 |    Inf 
298.10/298.21	o 14
298.10/298.21	c g 293s|    71 |    72 |140694 |1952.7 |  41M|  10 |   - |6426 |6456 |6426 |6448 |  36k|  30 | 986 | 5.333333e+00 | 1.400000e+01 | 162.50%
798.14/798.49	o 13
798.14/798.49	c c 785s|   213 |   214 |406940 |1900.6 |  41M|  12 |   - |6426 |6499 |6426 |6519 |  83k|  73 |1713 | 6.370929e+00 | 1.300000e+01 | 104.05%
1757.96/1758.52	o 11
1757.96/1758.52	c v1728s|   625 |   541 |877479 |1399.8 |  43M|  29 |   - |6426 |6489 |6426 |6754 | 129k| 102 |2711 | 6.412509e+00 | 1.100000e+01 |  71.54%
1800.06/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.44/1801.06	c 
1800.44/1801.06	c SCIP Status        : solving was interrupted [user interrupt]
1800.44/1801.06	c Solving Time (sec) : 1769.79
1800.44/1801.06	c Solving Nodes      : 684
1800.44/1801.06	c Primal Bound       : +1.10000000000000e+01 (6 solutions)
1800.44/1801.06	c Dual Bound         : +6.43866586188894e+00
1800.44/1801.06	c Gap                : 70.84 %
1800.44/1801.07	s SATISFIABLE
1800.44/1801.07	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.44/1801.07	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 
1800.44/1801.07	v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.44/1801.07	v -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 
1800.44/1801.07	v -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1800.44/1801.07	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 
1800.44/1801.07	v x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 
1800.44/1801.07	v -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 
1800.44/1801.07	v -x18 -x17 x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 x2 x1 
1800.44/1801.07	c SCIP Status        : solving was interrupted [user interrupt]
1800.44/1801.07	c Solving Time       :    1769.79
1800.44/1801.07	c Original Problem   :
1800.44/1801.07	c   Problem name     : HOME/instance-2666635-1276656567.opb
1800.44/1801.07	c   Variables        : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.44/1801.07	c   Constraints      : 6426 initial, 6426 maximal
1800.44/1801.07	c Presolved Problem  :
1800.44/1801.07	c   Problem name     : t_HOME/instance-2666635-1276656567.opb
1800.44/1801.07	c   Variables        : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.44/1801.07	c   Constraints      : 6426 initial, 6505 maximal
1800.44/1801.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.44/1801.07	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.44/1801.07	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.44/1801.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.44/1801.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.44/1801.07	c   implics          :       0.02          0          0          0          0          0          0          0          0
1800.44/1801.07	c   probing          :       0.23          0          0          0          0          0          0          0          0
1800.44/1801.07	c   and              :       0.45          0          0          0          0          0          0          0          0
1800.44/1801.07	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.44/1801.07	c   root node        :          -          0          -          -          0          -          -          -          -
1800.44/1801.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.44/1801.07	c   integral         :          0          0          0        669          0          0         15          0          0       1332
1800.44/1801.07	c   and              :       6226       3211      32902          0          0          7      42340     175395          0          0
1800.44/1801.07	c   logicor          :        200+         6      10177          0          0         17          0          0          0          0
1800.44/1801.07	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.44/1801.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.44/1801.07	c   integral         :     419.48       0.00       0.00     419.48       0.00
1800.44/1801.07	c   and              :      36.67      22.41      14.26       0.00       0.00
1800.44/1801.07	c   logicor          :       0.26       0.00       0.26       0.00       0.00
1800.44/1801.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.44/1801.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.44/1801.07	c   vbounds          :       0.03          2          0          0
1800.44/1801.07	c   rootredcost      :       0.05          4          0          0
1800.44/1801.07	c   pseudoobj        :       0.75      32747          9          0
1800.44/1801.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.44/1801.07	c   propagation      :       0.03         33         33        184      102.5          0        0.0          -
1800.44/1801.07	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.44/1801.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.44/1801.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.44/1801.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.44/1801.07	c   applied globally :          -          -          -        102       55.2          -          -          -
1800.44/1801.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.44/1801.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.44/1801.07	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 2416)
1800.44/1801.07	c   redcost          :       2.17       3212          0        869          0          0
1800.44/1801.07	c   impliedbounds    :       0.01          6          0          0       2400          0
1800.44/1801.07	c   intobj           :       0.00          0          0          0          0          0
1800.44/1801.07	c   cgmip            :       0.00          0          0          0          0          0
1800.44/1801.07	c   gomory           :       0.83          6          0          0       3000          0
1800.44/1801.07	c   strongcg         :       0.79          6          0          0       3000          0
1800.44/1801.07	c   cmir             :       4.13          6          0          0       2400          0
1800.44/1801.07	c   flowcover        :       0.98          6          0          0          0          0
1800.44/1801.07	c   clique           :       0.38          6          0          0         16          0
1800.44/1801.07	c   zerohalf         :       0.00          0          0          0          0          0
1800.44/1801.07	c   mcf              :       0.03          1          0          0          0          0
1800.44/1801.07	c   rapidlearning    :       0.93          1          0          0          0          0
1800.44/1801.07	c Pricers            :       Time      Calls       Vars
1800.44/1801.07	c   problem variables:       0.00          0          0
1800.44/1801.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.44/1801.07	c   relpscost        :     419.48        669          0         15          0          0       1332
1800.44/1801.07	c   pscost           :       0.00          0          0          0          0          0          0
1800.44/1801.07	c   inference        :       0.00          0          0          0          0          0          0
1800.44/1801.07	c   mostinf          :       0.00          0          0          0          0          0          0
1800.44/1801.07	c   leastinf         :       0.00          0          0          0          0          0          0
1800.44/1801.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.44/1801.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.44/1801.07	c   random           :       0.00          0          0          0          0          0          0
1800.44/1801.07	c Primal Heuristics  :       Time      Calls      Found
1800.44/1801.07	c   LP solutions     :       0.00          -          0
1800.44/1801.07	c   pseudo solutions :       0.00          -          0
1800.44/1801.07	c   oneopt           :       0.05          6          0
1800.44/1801.07	c   crossover        :       0.54          1          0
1800.44/1801.07	c   trivial          :       0.02          2          0
1800.44/1801.07	c   simplerounding   :       0.01          0          0
1800.44/1801.07	c   zirounding       :       1.10        665          0
1800.44/1801.07	c   rounding         :       4.72        838          0
1800.44/1801.07	c   shifting         :       3.73        364          3
1800.44/1801.07	c   intshifting      :       0.00          0          0
1800.44/1801.07	c   twoopt           :       0.00          0          0
1800.44/1801.07	c   fixandinfer      :       0.00          0          0
1800.44/1801.07	c   feaspump         :       0.00          0          0
1800.44/1801.07	c   coefdiving       :     172.34         36          1
1800.44/1801.07	c   pscostdiving     :      76.87         11          0
1800.44/1801.07	c   fracdiving       :      82.58         12          0
1800.44/1801.07	c   veclendiving     :      49.88         23          1
1800.44/1801.07	c   intdiving        :       0.00          0          0
1800.44/1801.07	c   actconsdiving    :       0.00          0          0
1800.44/1801.07	c   objpscostdiving  :      28.82          4          0
1800.44/1801.07	c   rootsoldiving    :       9.07          6          0
1800.44/1801.07	c   linesearchdiving :      70.74         15          0
1800.44/1801.07	c   guideddiving     :     219.69         30          1
1800.44/1801.07	c   octane           :       0.00          0          0
1800.44/1801.07	c   rens             :       0.51          1          0
1800.44/1801.07	c   rins             :       0.00          0          0
1800.44/1801.07	c   localbranching   :       0.00          0          0
1800.44/1801.07	c   mutation         :       0.00          0          0
1800.44/1801.07	c   dins             :       0.00          0          0
1800.44/1801.07	c   undercover       :       0.02          1          0
1800.44/1801.07	c   nlp              :       0.00          0          0
1800.44/1801.07	c   trysol           :       0.01          0          0
1800.44/1801.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.44/1801.07	c   primal LP        :       5.84          0          0       0.00       0.00
1800.44/1801.07	c   dual LP          :     561.07       3822     478557     125.21     852.94
1800.44/1801.07	c   lex dual LP      :       0.00          0          0       0.00          -
1800.44/1801.07	c   barrier LP       :       0.00          0          0       0.00          -
1800.44/1801.07	c   diving/probing LP:     621.60      15400     414930      26.94     667.52
1800.44/1801.07	c   strong branching :     418.52       2772     340536     122.85     813.67
1800.44/1801.07	c     (at root node) :          -         22       1084      49.27          -
1800.44/1801.07	c   conflict analysis:       0.00          0          0       0.00          -
1800.44/1801.07	c B&B Tree           :
1800.44/1801.07	c   number of runs   :          1
1800.44/1801.07	c   nodes            :        684
1800.44/1801.07	c   nodes (total)    :        684
1800.44/1801.07	c   nodes left       :        564
1800.44/1801.07	c   max depth        :         31
1800.44/1801.07	c   max depth (total):         31
1800.44/1801.07	c   backtracks       :        308 (45.0%)
1800.44/1801.07	c   delayed cutoffs  :          0
1800.44/1801.07	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.44/1801.07	c   avg switch length:       6.99
1800.44/1801.07	c   switching time   :       6.97
1800.44/1801.07	c Solution           :
1800.44/1801.07	c   Solutions found  :          6 (6 improvements)
1800.44/1801.07	c   First Solution   : +2.60000000000000e+01   (in run 1, after 1 nodes, 0.93 seconds, depth 0, found by <shifting>)
1800.44/1801.07	c   Primal Bound     : +1.10000000000000e+01   (in run 1, after 625 nodes, 1728.03 seconds, depth 31, found by <veclendiving>)
1800.44/1801.07	c   Dual Bound       : +6.43866586188894e+00
1800.44/1801.07	c   Gap              :      70.84 %
1800.44/1801.07	c   Root Dual Bound  : +0.00000000000000e+00
1800.44/1801.07	c   Root Iterations  :       4003
1800.64/1801.20	c Time complete: 1800.65.

Verifier Data 

OK	11

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666635-1276656567/watcher-2666635-1276656567 -o /tmp/evaluation-result-2666635-1276656567/solver-2666635-1276656567 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666635-1276656567.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.13 1.07 1.02 2/106 15178
/proc/meminfo: memFree=1779588/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=7724 CPUtime=0
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 1146 0 0 0 0 0 0 0 25 0 1 0 6950385 7909376 1066 1992294400 4194304 8223781 140733895077472 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15178/statm: 1931 1077 348 984 0 944 0

[startup+0.060557 s]
/proc/loadavg: 1.13 1.07 1.02 2/106 15178
/proc/meminfo: memFree=1779588/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=16048 CPUtime=0.05
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 3300 0 0 0 4 1 0 0 25 0 1 0 6950385 16433152 3220 1992294400 4194304 8223781 140733895077472 18446744073709551615 7189488 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15178/statm: 4012 3220 366 984 0 3025 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16048

[startup+0.101561 s]
/proc/loadavg: 1.13 1.07 1.02 2/106 15178
/proc/meminfo: memFree=1779588/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=24728 CPUtime=0.09
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 5794 0 0 0 7 2 0 0 25 0 1 0 6950385 25321472 5350 1992294400 4194304 8223781 140733895077472 18446744073709551615 4213601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 6182 5350 383 984 0 5195 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24728

[startup+0.300582 s]
/proc/loadavg: 1.13 1.07 1.02 2/106 15178
/proc/meminfo: memFree=1779588/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=39336 CPUtime=0.29
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 9124 0 0 0 26 3 0 0 25 0 1 0 6950385 40280064 8680 1992294400 4194304 8223781 140733895077472 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 9834 8680 427 984 0 8847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39336

[startup+0.700622 s]
/proc/loadavg: 1.13 1.07 1.02 2/106 15178
/proc/meminfo: memFree=1779588/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=47176 CPUtime=0.69
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 12123 0 0 0 54 15 0 0 25 0 1 0 6950385 48308224 10651 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 11794 10651 447 984 0 10807 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47176

[startup+1.5007 s]
/proc/loadavg: 1.12 1.07 1.02 2/107 15179
/proc/meminfo: memFree=1736056/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=73356 CPUtime=1.49
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 21386 0 0 0 125 24 0 0 25 0 1 0 6950385 75116544 17021 1992294400 4194304 8223781 140733895077472 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 18339 17021 555 984 0 17352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73356

[startup+3.10087 s]
/proc/loadavg: 1.12 1.07 1.02 2/107 15179
/proc/meminfo: memFree=1712868/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=103684 CPUtime=3.09
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 28825 0 0 0 264 45 0 0 25 0 1 0 6950385 106172416 24041 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25921 24041 579 984 0 24934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103684

[startup+6.3012 s]
/proc/loadavg: 1.27 1.10 1.03 2/107 15179
/proc/meminfo: memFree=1708032/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=79952 CPUtime=6.29
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 31788 0 0 0 569 60 0 0 25 0 1 0 6950385 81870848 18591 1992294400 4194304 8223781 140733895077472 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 19988 18591 583 984 0 19001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79952

[startup+12.7019 s]
/proc/loadavg: 1.41 1.13 1.04 2/107 15179
/proc/meminfo: memFree=1703576/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=83304 CPUtime=12.69
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 45482 0 0 0 1195 74 0 0 25 0 1 0 6950385 85303296 19310 1992294400 4194304 8223781 140733895077472 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 20826 19316 584 984 0 19839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83304

[startup+25.5012 s]
/proc/loadavg: 1.32 1.12 1.04 2/107 15179
/proc/meminfo: memFree=1703080/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=85000 CPUtime=25.49
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 73111 0 0 0 2452 97 0 0 25 0 1 0 6950385 87040000 19642 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 21250 19642 586 984 0 20263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85000

[startup+51.1008 s]
/proc/loadavg: 1.21 1.11 1.03 2/107 15179
/proc/meminfo: memFree=1701220/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=85772 CPUtime=51.08
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 137938 0 0 0 4974 134 0 0 25 0 1 0 6950385 87830528 19947 1992294400 4194304 8223781 140733895077472 18446744073709551615 6563328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 21443 19947 588 984 0 20456 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85772

[startup+102.308 s]
/proc/loadavg: 1.09 1.09 1.03 2/107 15181
/proc/meminfo: memFree=1701344/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=86508 CPUtime=102.27
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 237955 0 0 0 10025 202 0 0 25 0 1 0 6950385 88584192 19890 1992294400 4194304 8223781 140733895077472 18446744073709551615 6446955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 21627 19890 588 984 0 20640 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 86508

[startup+162.301 s]
/proc/loadavg: 1.03 1.07 1.02 2/107 15183
/proc/meminfo: memFree=1699484/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=88296 CPUtime=162.24
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 418015 0 0 0 15928 296 0 0 25 0 1 0 6950385 90415104 20394 1992294400 4194304 8223781 140733895077472 18446744073709551615 6532631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 22074 20394 588 984 0 21087 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88296

[startup+222.301 s]
/proc/loadavg: 1.01 1.06 1.02 2/107 15185
/proc/meminfo: memFree=1699732/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=87712 CPUtime=222.22
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 586645 0 0 0 21829 393 0 0 25 0 1 0 6950385 89817088 20251 1992294400 4194304 8223781 140733895077472 18446744073709551615 6568370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 21928 20251 588 984 0 20941 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 87712

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 15185
/proc/meminfo: memFree=1698492/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=89360 CPUtime=282.21
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 778243 0 0 0 27725 496 0 0 25 0 1 0 6950385 91504640 20615 1992294400 4194304 8223781 140733895077472 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 22340 20615 588 984 0 21353 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 89360

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 15187
/proc/meminfo: memFree=1697624/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=90008 CPUtime=342.19
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 1000553 0 0 0 33618 601 0 0 25 0 1 0 6950385 92168192 20832 1992294400 4194304 8223781 140733895077472 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 22502 20832 588 984 0 21515 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 90008

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 15189
/proc/meminfo: memFree=1695888/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=92244 CPUtime=402.17
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 1216437 0 0 0 39513 704 0 0 25 0 1 0 6950385 94457856 21282 1992294400 4194304 8223781 140733895077472 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 23061 21282 588 984 0 22074 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 92244

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 15191
/proc/meminfo: memFree=1694772/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=93848 CPUtime=462.15
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 1439348 0 0 0 45404 811 0 0 25 0 1 0 6950385 96100352 21530 1992294400 4194304 8223781 140733895077472 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 23462 21541 588 984 0 22475 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 93848

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15193
/proc/meminfo: memFree=1693036/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=94936 CPUtime=522.14
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 1654982 0 0 0 51305 909 0 0 25 0 1 0 6950385 97214464 22014 1992294400 4194304 8223781 140733895077472 18446744073709551615 6250742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 23734 22014 588 984 0 22747 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 94936

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 15193
/proc/meminfo: memFree=1693160/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=94788 CPUtime=582.12
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 1847899 0 0 0 57210 1002 0 0 25 0 1 0 6950385 97062912 21997 1992294400 4194304 8223781 140733895077472 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 23697 21997 588 984 0 22710 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 94788

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15195
/proc/meminfo: memFree=1692788/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=94892 CPUtime=642.11
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 2047189 0 0 0 63111 1100 0 0 25 0 1 0 6950385 97169408 21974 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 23723 21974 588 984 0 22736 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 94892

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15212
/proc/meminfo: memFree=1688696/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=99040 CPUtime=942.01
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 3026754 0 0 0 92622 1579 0 0 25 0 1 0 6950385 101416960 22905 1992294400 4194304 8223781 140733895077472 18446744073709551615 6003233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 24760 22905 588 984 0 23773 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 99040

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15214
/proc/meminfo: memFree=1688448/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=99032 CPUtime=1001.98
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 3223855 0 0 0 98520 1678 0 0 25 0 1 0 6950385 101408768 22939 1992294400 4194304 8223781 140733895077472 18446744073709551615 6003367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 24758 22939 588 984 0 23771 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 99032

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15216
/proc/meminfo: memFree=1687332/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=100424 CPUtime=1061.97
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 3453959 0 0 0 104409 1788 0 0 25 0 1 0 6950385 102834176 23364 1992294400 4194304 8223781 140733895077472 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25106 23364 588 984 0 24119 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 100424

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15218
/proc/meminfo: memFree=1686464/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=100940 CPUtime=1121.94
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 3650191 0 0 0 110311 1883 0 0 25 0 1 0 6950385 103362560 23425 1992294400 4194304 8223781 140733895077472 18446744073709551615 6601540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25235 23425 588 984 0 24248 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 100940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15218
/proc/meminfo: memFree=1687084/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=100356 CPUtime=1181.93
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 3852014 0 0 0 116210 1983 0 0 25 0 1 0 6950385 102764544 23308 1992294400 4194304 8223781 140733895077472 18446744073709551615 6304453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25089 23270 588 984 0 24102 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 100356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15220
/proc/meminfo: memFree=1686588/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=100884 CPUtime=1241.92
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 4062430 0 0 0 122108 2084 0 0 25 0 1 0 6950385 103305216 23374 1992294400 4194304 8223781 140733895077472 18446744073709551615 6448564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25221 23374 588 984 0 24234 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 100884

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15222
/proc/meminfo: memFree=1686092/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=101408 CPUtime=1301.9
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 4285394 0 0 0 128000 2190 0 0 25 0 1 0 6950385 103841792 23571 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25352 23571 588 984 0 24365 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 101408

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15224
/proc/meminfo: memFree=1685720/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=101480 CPUtime=1361.88
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 4497469 0 0 0 133898 2290 0 0 25 0 1 0 6950385 103915520 23550 1992294400 4194304 8223781 140733895077472 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25370 23550 588 984 0 24383 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 101480

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15226
/proc/meminfo: memFree=1684604/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=102896 CPUtime=1421.87
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 4697359 0 0 0 139796 2391 0 0 25 0 1 0 6950385 105365504 23873 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25724 23873 591 984 0 24737 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 102896

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15226
/proc/meminfo: memFree=1684604/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=102864 CPUtime=1481.84
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 4913235 0 0 0 145692 2492 0 0 25 0 1 0 6950385 105332736 23896 1992294400 4194304 8223781 140733895077472 18446744073709551615 6304399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25489 23827 591 984 0 24502 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 102864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15228
/proc/meminfo: memFree=1684232/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=103264 CPUtime=1541.82
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 5141408 0 0 0 151584 2598 0 0 25 0 1 0 6950385 105742336 24038 1992294400 4194304 8223781 140733895077472 18446744073709551615 6567188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 25816 24038 591 984 0 24829 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 103264

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15230
/proc/meminfo: memFree=1682868/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=104452 CPUtime=1601.8
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 5353156 0 0 0 157479 2701 0 0 25 0 1 0 6950385 106958848 24335 1992294400 4194304 8223781 140733895077472 18446744073709551615 6562855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 26113 24335 591 984 0 25126 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 104452

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15232
/proc/meminfo: memFree=1682620/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=104624 CPUtime=1661.79
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 5587805 0 0 0 163365 2814 0 0 25 0 1 0 6950385 107134976 24302 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 26156 24302 591 984 0 25169 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 104624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15234
/proc/meminfo: memFree=1681752/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=105232 CPUtime=1721.76
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 5830693 0 0 0 169249 2927 0 0 25 0 1 0 6950385 107757568 24471 1992294400 4194304 8223781 140733895077472 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 26308 24471 591 984 0 25321 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 105232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15234
/proc/meminfo: memFree=1681628/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=105684 CPUtime=1781.75
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 6040021 0 0 0 175143 3032 0 0 25 0 1 0 6950385 108220416 24561 1992294400 4194304 8223781 140733895077472 18446744073709551615 4427772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 26421 24561 591 984 0 25434 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 105684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15236
/proc/meminfo: memFree=1680388/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=106268 CPUtime=1800.06
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 6115174 0 0 0 176942 3064 0 0 25 0 1 0 6950385 108818432 24859 1992294400 4194304 8223781 140733895077472 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 26567 24859 591 984 0 25580 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 106268

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15236
/proc/meminfo: memFree=1680388/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=106252 CPUtime=1800.44
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 6117419 0 0 0 176979 3065 0 0 25 0 1 0 6950385 108802048 24695 1992294400 4194304 8223781 140733895077472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15178/statm: 26563 24695 591 984 0 25576 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 106252

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15236
/proc/meminfo: memFree=1680388/2059040 swapFree=4175448/4192956
[pid=15178] ppid=15176 vsize=39204 CPUtime=1800.64
/proc/15178/stat : 15178 (pbscip.linux.x8) R 15176 15178 13785 0 -1 4202496 6118273 0 0 0 176998 3066 0 0 18 0 1 0 6950385 40144896 9182 1992294400 4194304 8223781 140733895077472 18446744073709551615 4333578 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15178/statm: 9801 9182 593 984 0 8814 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 39204

Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.66
CPU user time (s): 1769.98
CPU system time (s): 30.6713
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 129468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.98
system time used= 30.6713
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6118277
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= 3
involuntary context switches= 22766

runsolver used 2.92355 second user time and 8.5607 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-16 04:49:27
IDJOB=2666635
IDBENCH=48148
IDSOLVER=1169
FILE ID=node083/2666635-1276656567
PBS_JOBID= 11172444
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.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-2666635-1276656567/watcher-2666635-1276656567 -o /tmp/evaluation-result-2666635-1276656567/solver-2666635-1276656567 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666635-1276656567.opb -t 1800 -m 1800

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=413849307

node083.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.262
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.52
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.262
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	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1780240 kB
Buffers:         31772 kB
Cached:         115072 kB
SwapCached:      13528 kB
Active:          92780 kB
Inactive:       109860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1780240 kB
SwapTotal:     4192956 kB
SwapFree:      4175448 kB
Dirty:            4644 kB
Writeback:           8 kB
AnonPages:       42232 kB
Mapped:          14320 kB
Slab:            54376 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181504 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= 62548 MiB
End job on node083 at 2010-06-16 05:19:29