Trace number 2665298

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)-26 1800.4 1801.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_2.opb
MD5SUMc154cb0964ce03c2d199339cf62d0c63
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1789.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)2520
Sum of products size (including duplicates)5040
Number of different products1260
Sum of products size2520

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.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2665298-1276668581.opb>
0.00/0.03	c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.00/0.03	c problem read
0.00/0.03	c presolving settings loaded
0.00/0.04	o 0
0.00/0.04	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.00/0.04	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10280 impls, 200 clqs
0.39/0.45	c    (0.2s) probing: 101/1460 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c presolving (2 rounds):
0.39/0.45	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45	c  10280 implications, 200 cliques
0.39/0.45	c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.39/0.45	c     200 constraints of type <setppc>
0.39/0.45	c    1260 constraints of type <and>
0.39/0.45	c       1 constraints of type <linear>
0.39/0.45	c     100 constraints of type <logicor>
0.39/0.45	c transformed objective value is always integral (scale: 1)
0.39/0.45	c Presolving Time: 0.23
0.39/0.45	c - non default parameters ----------------------------------------------------------------------
0.39/0.45	c # SCIP version 1.2.1.2
0.39/0.45	c 
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = 10000
0.39/0.45	c 
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = 1799.98
0.39/0.45	c 
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = 1620
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify inequalities
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/linear/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify knapsacks
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c heuristics/undercover/freq = 0
0.39/0.45	c 
0.39/0.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c separating/rapidlearning/freq = 0
0.39/0.45	c 
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving
0.39/0.45	c 
0.49/0.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.52	c t 0.3s|     1 |     0 |   254 |     - |6983k|   0 | 200 |1460 |1561 |1460 |2821 |   0 |   0 |   0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.49/0.53	o -3
0.49/0.53	c R 0.3s|     1 |     0 |   254 |     - |6998k|   0 | 200 |1460 |1561 |1460 |2821 |   0 |   0 |   0 |-5.000000e+01 |-3.000000e+00 |  94.00%
0.69/0.74	o -4
0.69/0.74	c u 0.5s|     1 |     0 |   254 |     - |7083k|   0 | 200 |1460 |1561 |1460 |2821 |   0 |   0 |   0 |-5.000000e+01 |-4.000000e+00 |  92.00%
2.10/2.14	c   1.6s|     1 |     0 |  1010 |     - |7119k|   0 | 623 |1460 |1561 |1460 |2823 |   2 |   0 |   0 |-5.000000e+01 |-4.000000e+00 |  92.00%
2.10/2.15	o -6
2.10/2.15	c s 1.6s|     1 |     0 |  1010 |     - |7147k|   0 | 623 |1460 |1561 |1460 |2823 |   2 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
3.79/3.87	c   3.4s|     1 |     0 |  1843 |     - |7319k|   0 | 798 |1460 |1561 |1460 |2850 |  29 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
6.50/6.51	c   6.0s|     1 |     0 |  2099 |     - |7520k|   0 | 815 |1460 |1561 |1460 |2859 |  38 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
9.18/9.26	c   8.7s|     1 |     0 |  2240 |     - |7790k|   0 | 825 |1460 |1561 |1460 |2863 |  42 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
12.19/12.27	c  11.7s|     1 |     0 |  2383 |     - |8183k|   0 | 825 |1460 |1561 |1460 |2871 |  50 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
14.99/15.00	c  14.5s|     1 |     0 |  2498 |     - |8583k|   0 | 828 |1460 |1561 |1460 |2875 |  54 |   0 |   0 |-5.000000e+01 |-6.000000e+00 |  88.00%
23.58/23.65	c  23.0s|     1 |     2 |  2498 |     - |8583k|   0 | 828 |1460 |1561 |1460 |2875 |  54 |   0 |  10 |-5.000000e+01 |-6.000000e+00 |  88.00%
329.17/329.35	o -25
329.17/329.35	c p 325s|   101 |   102 |432520 |4300.2 |8886k|  13 |   - |1460 |1628 |1460 |1727 |8663 |  67 | 315 |-4.910704e+01 |-2.500000e+01 |  49.09%
1391.62/1392.15	o -26
1391.62/1392.15	c l1369s|   845 |   844 |  2004k|2372.3 |  11M|  17 |   - |1460 |1702 |1460 |1915 |  47k| 159 |2203 |-4.799828e+01 |-2.600000e+01 |  45.83%
1800.09/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.20/1800.82	c 
1800.20/1800.82	c SCIP Status        : solving was interrupted [user interrupt]
1800.20/1800.82	c Solving Time (sec) : 1772.82
1800.20/1800.82	c Solving Nodes      : 2236
1800.20/1800.82	c Primal Bound       : -2.60000000000000e+01 (10 solutions)
1800.20/1800.82	c Dual Bound         : -4.57124122793727e+01
1800.20/1800.82	c Gap                : 43.12 %
1800.20/1800.82	s SATISFIABLE
1800.20/1800.82	v -x179 -x159 -x121 x148 -x151 -x132 -x175 -x193 -x195 x136 -x184 -x112 -x147 -x119 -x156 -x182 -x141 x127 -x134 -x186 x171 -x135 
1800.20/1800.82	v x169 -x118 -x117 x144 x106 x133 -x113 -x163 -x124 x167 x200 x145 -x105 -x181 x142 -x108 -x115 -x107 x129 -x158 -x185 x172 x161 
1800.20/1800.82	v -x160 -x139 -x137 -x109 -x198 -x153 -x183 x187 -x114 -x196 -x188 -x154 -x140 -x126 -x104 -x197 -x111 -x192 -x116 -x170 x173 
1800.20/1800.82	v -x102 -x166 x152 x149 -x130 x125 -x110 -x103 -x131 -x168 x174 -x155 -x138 x194 -x150 x180 x143 -x101 -x190 x177 -x164 -x157 
1800.20/1800.82	v -x123 -x122 x128 -x146 -x178 -x165 -x199 -x162 -x176 -x189 -x120 -x191 -x100 -x99 -x98 -x97 -x96 x95 -x94 x93 -x92 -x91 x90 
1800.20/1800.82	v x89 -x88 -x87 x86 x85 x84 -x83 x82 x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 x65 x64 x63 -x62 
1800.20/1800.82	v -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 x40 -x39 x38 -x37 -x36 
1800.20/1800.82	v x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 
1800.20/1800.82	v -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
1800.20/1800.82	c SCIP Status        : solving was interrupted [user interrupt]
1800.20/1800.82	c Solving Time       :    1772.82
1800.20/1800.82	c Original Problem   :
1800.20/1800.82	c   Problem name     : HOME/instance-2665298-1276668581.opb
1800.20/1800.82	c   Variables        : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.20/1800.82	c   Constraints      : 1561 initial, 1561 maximal
1800.20/1800.82	c Presolved Problem  :
1800.20/1800.82	c   Problem name     : t_HOME/instance-2665298-1276668581.opb
1800.20/1800.82	c   Variables        : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.20/1800.82	c   Constraints      : 1561 initial, 1824 maximal
1800.20/1800.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.20/1800.82	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   probing          :       0.03          0          0          0          0          0          0          0          0
1800.20/1800.82	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   and              :       0.18          0          0          0          0          0          0          0          0
1800.20/1800.82	c   linear           :       0.01          0          0          0          0          0          0          0          0
1800.20/1800.82	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.20/1800.82	c   root node        :          -          0          -          -          0          -          -          -          -
1800.20/1800.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.20/1800.82	c   integral         :          0          0          0       1953          0          1        199          0          0       3664
1800.20/1800.82	c   setppc           :        200          6      60142          0          0         11       2587          0          0          0
1800.20/1800.82	c   and              :       1260       5100      60130          0          0        215      44004      71025          0          0
1800.20/1800.82	c   linear           :          1          6      59914          0          0          0          0          0          0          0
1800.20/1800.82	c   logicor          :        100+         6       4344          0          0          0       3307          0          0          0
1800.20/1800.82	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.20/1800.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.20/1800.82	c   integral         :     293.44       0.00       0.00     293.44       0.00
1800.20/1800.82	c   setppc           :       1.11       0.00       1.11       0.00       0.00
1800.20/1800.82	c   and              :       8.69       3.18       5.51       0.00       0.00
1800.20/1800.82	c   linear           :       0.63       0.03       0.60       0.00       0.00
1800.20/1800.82	c   logicor          :       0.06       0.00       0.06       0.00       0.00
1800.20/1800.82	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.20/1800.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.20/1800.82	c   vbounds          :       0.08          2          0          0
1800.20/1800.82	c   rootredcost      :       0.10          3          0          0
1800.20/1800.82	c   pseudoobj        :       0.68      59995          0          0
1800.20/1800.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.20/1800.82	c   propagation      :       0.00        226        226        226        2.0          0        0.0          -
1800.20/1800.82	c   infeasible LP    :       0.00         29         29         72       52.1          0        0.0          0
1800.20/1800.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.20/1800.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.20/1800.82	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.20/1800.82	c   applied globally :          -          -          -        282       11.2          -          -          -
1800.20/1800.82	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.20/1800.82	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.20/1800.82	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 201)
1800.20/1800.82	c   redcost          :       0.59       5191          0       2477          0          0
1800.20/1800.82	c   impliedbounds    :       0.01          6          0          0         56          0
1800.20/1800.82	c   intobj           :       0.00          0          0          0          0          0
1800.20/1800.82	c   cgmip            :       0.00          0          0          0          0          0
1800.20/1800.82	c   gomory           :       6.12          6          0          0        202          0
1800.20/1800.82	c   strongcg         :       5.12          6          0          0        392          0
1800.20/1800.82	c   cmir             :       0.21          6          0          0         12          0
1800.20/1800.82	c   flowcover        :       0.21          6          0          0         20          0
1800.20/1800.82	c   clique           :       0.12          6          0          0         31          0
1800.20/1800.82	c   zerohalf         :       0.00          0          0          0          0          0
1800.20/1800.82	c   mcf              :       0.01          1          0          0          0          0
1800.20/1800.82	c   rapidlearning    :       0.73          1          0          0          0          0
1800.20/1800.82	c Pricers            :       Time      Calls       Vars
1800.20/1800.82	c   problem variables:       0.00          0          0
1800.20/1800.82	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.20/1800.82	c   relpscost        :     293.44       1953          1        199          0          0       3664
1800.20/1800.82	c   pscost           :       0.00          0          0          0          0          0          0
1800.20/1800.82	c   inference        :       0.00          0          0          0          0          0          0
1800.20/1800.82	c   mostinf          :       0.00          0          0          0          0          0          0
1800.20/1800.82	c   leastinf         :       0.00          0          0          0          0          0          0
1800.20/1800.82	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.20/1800.82	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.20/1800.82	c   random           :       0.00          0          0          0          0          0          0
1800.20/1800.82	c Primal Heuristics  :       Time      Calls      Found
1800.20/1800.82	c   LP solutions     :       0.00          -          0
1800.20/1800.82	c   pseudo solutions :       0.00          -          0
1800.20/1800.82	c   feaspump         :       0.00          0          0
1800.20/1800.82	c   oneopt           :       0.01          4          0
1800.20/1800.82	c   objpscostdiving  :      32.08          2          0
1800.20/1800.82	c   veclendiving     :      73.51          8          0
1800.20/1800.82	c   crossover        :       0.16          3          0
1800.20/1800.82	c   pscostdiving     :     176.13         27          1
1800.20/1800.82	c   guideddiving     :      76.39         30          0
1800.20/1800.82	c   fracdiving       :      72.55         32          0
1800.20/1800.82	c   coefdiving       :      75.03         35          0
1800.20/1800.82	c   linesearchdiving :      82.81         44          1
1800.20/1800.82	c   trivial          :       0.00          2          3
1800.20/1800.82	c   simplerounding   :       0.02          0          0
1800.20/1800.82	c   zirounding       :       0.37       1000          0
1800.20/1800.82	c   rounding         :       8.39       2815          1
1800.20/1800.82	c   shifting         :       2.76        587          3
1800.20/1800.82	c   intshifting      :       0.00          0          0
1800.20/1800.82	c   twoopt           :       0.00          0          0
1800.20/1800.82	c   fixandinfer      :       0.00          0          0
1800.20/1800.82	c   intdiving        :       0.00          0          0
1800.20/1800.82	c   actconsdiving    :       0.00          0          0
1800.20/1800.82	c   rootsoldiving    :       8.37         15          0
1800.20/1800.82	c   octane           :       0.00          0          0
1800.20/1800.82	c   rens             :       0.01          0          0
1800.20/1800.82	c   rins             :       0.00          0          0
1800.20/1800.82	c   localbranching   :       0.00          0          0
1800.20/1800.82	c   mutation         :       0.00          0          0
1800.20/1800.82	c   dins             :       0.00          0          0
1800.20/1800.82	c   undercover       :       0.16          1          1
1800.20/1800.82	c   nlp              :       0.01          0          0
1800.20/1800.82	c   trysol           :       0.01          0          0
1800.20/1800.82	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.20/1800.82	c   primal LP        :     142.84          0          0       0.00       0.00
1800.20/1800.82	c   dual LP          :     700.35       5541    1527692     275.71    2181.33
1800.20/1800.82	c   lex dual LP      :       0.00          0          0       0.00          -
1800.20/1800.82	c   barrier LP       :       0.00          0          0       0.00          -
1800.20/1800.82	c   diving/probing LP:     546.48      43771    1177806      26.91    2155.26
1800.20/1800.82	c   strong branching :     292.75       2811     680853     242.21    2325.71
1800.20/1800.82	c     (at root node) :          -         10       9519     951.90          -
1800.20/1800.82	c   conflict analysis:       0.00          0          0       0.00          -
1800.20/1800.82	c B&B Tree           :
1800.20/1800.82	c   number of runs   :          1
1800.20/1800.82	c   nodes            :       2236
1800.20/1800.82	c   nodes (total)    :       2236
1800.20/1800.82	c   nodes left       :       1429
1800.20/1800.82	c   max depth        :         68
1800.20/1800.82	c   max depth (total):         68
1800.20/1800.82	c   backtracks       :        671 (30.0%)
1800.20/1800.82	c   delayed cutoffs  :          0
1800.20/1800.82	c   repropagations   :       1166 (502 domain reductions, 0 cutoffs)
1800.20/1800.82	c   avg switch length:       6.92
1800.20/1800.82	c   switching time   :     143.90
1800.20/1800.82	c Solution           :
1800.20/1800.82	c   Solutions found  :         10 (6 improvements)
1800.20/1800.82	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.20/1800.82	c   Primal Bound     : -2.60000000000000e+01   (in run 1, after 845 nodes, 1368.81 seconds, depth 252, found by <linesearchdiving>)
1800.20/1800.82	c   Dual Bound       : -4.57124122793727e+01
1800.20/1800.82	c   Gap              :      43.12 %
1800.20/1800.82	c   Root Dual Bound  : -4.99999999999999e+01
1800.20/1800.82	c   Root Iterations  :       2498
1800.39/1801.00	c Time complete: 1800.39.

Verifier Data 

OK	-26

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665298-1276668581/watcher-2665298-1276668581 -o /tmp/evaluation-result-2665298-1276668581/solver-2665298-1276668581 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665298-1276668581.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: 0.86 1.01 0.99 3/106 11724
/proc/meminfo: memFree=1762948/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=10316 CPUtime=0
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 1509 0 0 0 0 0 0 0 18 0 1 0 42459711 10563584 1429 1992294400 4194304 9819077 140734252570128 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11724/statm: 2579 1437 371 1374 0 1200 0

[startup+0.0873911 s]
/proc/loadavg: 0.86 1.01 0.99 3/106 11724
/proc/meminfo: memFree=1762948/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=17412 CPUtime=0.08
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3747 0 0 0 5 3 0 0 18 0 1 0 42459711 17829888 3056 1992294400 4194304 9819077 140734252570128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 4353 3056 478 1374 0 2974 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17412

[startup+0.101393 s]
/proc/loadavg: 0.86 1.01 0.99 3/106 11724
/proc/meminfo: memFree=1762948/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=17412 CPUtime=0.09
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3747 0 0 0 6 3 0 0 18 0 1 0 42459711 17829888 3056 1992294400 4194304 9819077 140734252570128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 4353 3056 478 1374 0 2974 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17412

[startup+0.301429 s]
/proc/loadavg: 0.86 1.01 0.99 3/106 11724
/proc/meminfo: memFree=1762948/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=18432 CPUtime=0.29
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5311 0 0 0 16 13 0 0 18 0 1 0 42459711 18874368 3335 1992294400 4194304 9819077 140734252570128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 4608 3335 505 1374 0 3229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18432

[startup+0.7015 s]
/proc/loadavg: 0.86 1.01 0.99 3/106 11724
/proc/meminfo: memFree=1762948/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=38496 CPUtime=0.69
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 13221 0 0 0 46 23 0 0 18 0 1 0 42459711 39419904 7552 1992294400 4194304 9819077 140734252570128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9624 7552 671 1374 0 8245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38496

[startup+1.50164 s]
/proc/loadavg: 0.87 1.01 0.99 2/107 11725
/proc/meminfo: memFree=1730576/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=45856 CPUtime=1.49
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 23095 0 0 0 103 46 0 0 20 0 1 0 42459711 46956544 9423 1992294400 4194304 9819077 140734252570128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11464 9423 713 1374 0 10085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45856

[startup+3.10193 s]
/proc/loadavg: 0.87 1.01 0.99 2/107 11725
/proc/meminfo: memFree=1736032/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=34108 CPUtime=3.09
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 23448 0 0 0 260 49 0 0 24 0 1 0 42459711 34926592 7288 1992294400 4194304 9819077 140734252570128 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 8527 7288 715 1374 0 7148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34108

[startup+6.3015 s]
/proc/loadavg: 0.88 1.01 0.99 2/107 11725
/proc/meminfo: memFree=1735040/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=35828 CPUtime=6.29
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 24040 0 0 0 579 50 0 0 25 0 1 0 42459711 36687872 7658 1992294400 4194304 9819077 140734252570128 18446744073709551615 5883404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 8957 7658 715 1374 0 7578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35828

[startup+12.7016 s]
/proc/loadavg: 0.89 1.01 0.99 2/107 11725
/proc/meminfo: memFree=1734420/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=37768 CPUtime=12.69
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 24899 0 0 0 1218 51 0 0 25 0 1 0 42459711 38674432 7800 1992294400 4194304 9819077 140734252570128 18446744073709551615 6044215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9442 7800 715 1374 0 8063 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37768

[startup+25.5009 s]
/proc/loadavg: 0.91 1.01 0.99 2/107 11727
/proc/meminfo: memFree=1733924/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=35864 CPUtime=25.48
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 41865 0 0 0 2488 60 0 0 25 0 1 0 42459711 36724736 7765 1992294400 4194304 9819077 140734252570128 18446744073709551615 6205347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 8966 7765 726 1374 0 7587 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35864

[startup+51.1015 s]
/proc/loadavg: 0.94 1.01 0.99 2/107 11727
/proc/meminfo: memFree=1733676/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=39068 CPUtime=51.06
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 79518 0 0 0 5024 82 0 0 25 0 1 0 42459711 40005632 7855 1992294400 4194304 9819077 140734252570128 18446744073709551615 7309191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9767 7855 734 1374 0 8388 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 39068

[startup+102.309 s]
/proc/loadavg: 0.97 1.00 0.99 2/107 11729
/proc/meminfo: memFree=1733676/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=37148 CPUtime=102.25
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 149289 0 0 0 10100 125 0 0 25 0 1 0 42459711 38039552 7884 1992294400 4194304 9819077 140734252570128 18446744073709551615 7291003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9287 7884 740 1374 0 7908 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 37148

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11729
/proc/meminfo: memFree=1733676/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=37528 CPUtime=162.23
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 260658 0 0 0 16035 188 0 0 25 0 1 0 42459711 38428672 7820 1992294400 4194304 9819077 140734252570128 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9382 7820 740 1374 0 8003 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 37528

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11731
/proc/meminfo: memFree=1733676/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=37548 CPUtime=222.21
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 386205 0 0 0 21968 253 0 0 25 0 1 0 42459711 38449152 7833 1992294400 4194304 9819077 140734252570128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9387 7833 741 1374 0 8008 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 37548

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11736
/proc/meminfo: memFree=1733180/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=38288 CPUtime=282.19
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 567022 0 0 0 27877 342 0 0 25 0 1 0 42459711 39206912 7875 1992294400 4194304 9819077 140734252570128 18446744073709551615 7292028 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9572 7875 741 1374 0 8193 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 38288

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11738
/proc/meminfo: memFree=1732560/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=41572 CPUtime=342.16
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 781936 0 0 0 33766 450 0 0 25 0 1 0 42459711 42569728 8004 1992294400 4194304 9819077 140734252570128 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10393 8004 742 1374 0 9014 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 41572

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11740
/proc/meminfo: memFree=1732436/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=39116 CPUtime=402.14
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 993856 0 0 0 39654 560 0 0 25 0 1 0 42459711 40054784 8004 1992294400 4194304 9819077 140734252570128 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9779 8004 742 1374 0 8400 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 39116

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11740
/proc/meminfo: memFree=1732312/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=39116 CPUtime=462.12
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 1205604 0 0 0 45551 661 0 0 25 0 1 0 42459711 40054784 8121 1992294400 4194304 9819077 140734252570128 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9779 8121 742 1374 0 8400 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 39116

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11742
/proc/meminfo: memFree=1732064/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=38984 CPUtime=522.11
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 1411954 0 0 0 51446 765 0 0 25 0 1 0 42459711 39919616 8057 1992294400 4194304 9819077 140734252570128 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 9746 8057 742 1374 0 8367 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 38984

[startup+582.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11744
/proc/meminfo: memFree=1731196/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=40148 CPUtime=582.08
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 1634296 0 0 0 57320 888 0 0 25 0 1 0 42459711 41111552 8333 1992294400 4194304 9819077 140734252570128 18446744073709551615 7292241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10037 8333 742 1374 0 8658 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 40148

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11746
/proc/meminfo: memFree=1730948/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=40416 CPUtime=642.07
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 1841203 0 0 0 63203 1004 0 0 25 0 1 0 42459711 41385984 8347 1992294400 4194304 9819077 140734252570128 18446744073709551615 6513043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10104 8347 742 1374 0 8725 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 40416

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11752
/proc/meminfo: memFree=1730080/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=44268 CPUtime=881.99
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 2663854 0 0 0 86795 1404 0 0 25 0 1 0 42459711 45330432 8570 1992294400 4194304 9819077 140734252570128 18446744073709551615 7291604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11067 8570 743 1374 0 9688 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 44268

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11754
/proc/meminfo: memFree=1729336/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=41956 CPUtime=941.96
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 2886245 0 0 0 92681 1515 0 0 25 0 1 0 42459711 42962944 8731 1992294400 4194304 9819077 140734252570128 18446744073709551615 7301652 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10489 8731 743 1374 0 9110 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 41956

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11756
/proc/meminfo: memFree=1729212/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=41628 CPUtime=1001.95
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3099509 0 0 0 98576 1619 0 0 25 0 1 0 42459711 42627072 8825 1992294400 4194304 9819077 140734252570128 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10407 8825 743 1374 0 9028 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 41628

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11756
/proc/meminfo: memFree=1728840/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=42276 CPUtime=1061.92
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3330068 0 0 0 104456 1736 0 0 25 0 1 0 42459711 43290624 8914 1992294400 4194304 9819077 140734252570128 18446744073709551615 7312693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10569 8914 743 1374 0 9190 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 42276

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11758
/proc/meminfo: memFree=1727848/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=43276 CPUtime=1121.9
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3531917 0 0 0 110348 1842 0 0 25 0 1 0 42459711 44314624 9155 1992294400 4194304 9819077 140734252570128 18446744073709551615 6695760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10819 9155 743 1374 0 9440 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 43276

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11760
/proc/meminfo: memFree=1727724/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=43296 CPUtime=1181.89
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3728583 0 0 0 116251 1938 0 0 25 0 1 0 42459711 44335104 9195 1992294400 4194304 9819077 140734252570128 18446744073709551615 7296186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10824 9195 743 1374 0 9445 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 43296

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11762
/proc/meminfo: memFree=1727848/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=42376 CPUtime=1241.86
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 3932252 0 0 0 122149 2037 0 0 25 0 1 0 42459711 43393024 9060 1992294400 4194304 9819077 140734252570128 18446744073709551615 7261442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10594 9060 743 1374 0 9215 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 42376

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11764
/proc/meminfo: memFree=1727476/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=46468 CPUtime=1301.86
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 4128527 0 0 0 128051 2135 0 0 25 0 1 0 42459711 47583232 9187 1992294400 4194304 9819077 140734252570128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11617 9187 743 1374 0 10238 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 46468

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11764
/proc/meminfo: memFree=1727352/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=43428 CPUtime=1361.83
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 4324979 0 0 0 133954 2229 0 0 25 0 1 0 42459711 44470272 9267 1992294400 4194304 9819077 140734252570128 18446744073709551615 6391479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10857 9267 743 1374 0 9478 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 43428

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11766
/proc/meminfo: memFree=1726980/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=43904 CPUtime=1421.82
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 4538964 0 0 0 139850 2332 0 0 25 0 1 0 42459711 44957696 9298 1992294400 4194304 9819077 140734252570128 18446744073709551615 7309191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10976 9298 743 1374 0 9597 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 43904

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 11768
/proc/meminfo: memFree=1726980/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=43648 CPUtime=1481.79
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 4749242 0 0 0 145742 2437 0 0 25 0 1 0 42459711 44695552 9271 1992294400 4194304 9819077 140734252570128 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 10912 9271 743 1374 0 9533 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 43648

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11770
/proc/meminfo: memFree=1726608/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=47520 CPUtime=1541.76
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 4959253 0 0 0 151630 2546 0 0 25 0 1 0 42459711 48660480 9362 1992294400 4194304 9819077 140734252570128 18446744073709551615 6697421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11880 9362 743 1374 0 10501 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 47520

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11772
/proc/meminfo: memFree=1722268/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=45580 CPUtime=1601.75
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5051685 0 0 0 157570 2605 0 0 25 0 1 0 42459711 46673920 10364 1992294400 4194304 9819077 140734252570128 18446744073709551615 6568777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11395 10364 749 1374 0 10016 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 45580

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11772
/proc/meminfo: memFree=1722392/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=46020 CPUtime=1661.73
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5059456 0 0 0 163542 2631 0 0 25 0 1 0 42459711 47124480 10427 1992294400 4194304 9819077 140734252570128 18446744073709551615 7301528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11505 10427 749 1374 0 10126 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 46020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11774
/proc/meminfo: memFree=1722020/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=47236 CPUtime=1721.71
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5091780 0 0 0 169498 2673 0 0 25 0 1 0 42459711 48369664 10525 1992294400 4194304 9819077 140734252570128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11809 10525 749 1374 0 10430 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 47236

[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 11776
/proc/meminfo: memFree=1721772/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=46620 CPUtime=1781.69
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5142958 0 0 0 175448 2721 0 0 25 0 1 0 42459711 47738880 10488 1992294400 4194304 9819077 140734252570128 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 11655 10488 749 1374 0 10276 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 46620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.10 1.03 1.00 2/107 11776
/proc/meminfo: memFree=1721772/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=50380 CPUtime=1800.09
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5164429 0 0 0 177272 2737 0 0 25 0 1 0 42459711 51589120 10549 1992294400 4194304 9819077 140734252570128 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11724/statm: 12595 10549 749 1374 0 11216 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 50380

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.10 1.03 1.00 2/107 11776
/proc/meminfo: memFree=1721772/2059040 swapFree=4136756/4192956
[pid=11724] ppid=11722 vsize=34700 CPUtime=1800.39
/proc/11724/stat : 11724 (pbscip.linux.x8) R 11722 11724 11699 0 -1 4202496 5164598 0 0 0 177301 2738 0 0 25 0 1 0 42459711 35532800 7905 1992294400 4194304 9819077 140734252570128 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11724/statm: 8675 7905 750 1374 0 7296 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 34700

Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.4
CPU user time (s): 1773.01
CPU system time (s): 27.3868
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 56900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.01
system time used= 27.3868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5164602
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= 4
involuntary context switches= 19822

runsolver used 3.15052 second user time and 8.33373 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-16 08:09:42
IDJOB=2665298
IDBENCH=48241
IDSOLVER=1168
FILE ID=node012/2665298-1276668581
PBS_JOBID= 11172520
Free space on /tmp= 62588 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665298-1276668581/watcher-2665298-1276668581 -o /tmp/evaluation-result-2665298-1276668581/solver-2665298-1276668581 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665298-1276668581.opb -t 1800 -m 1800

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

MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63
RANDOM SEED=641874896

node012.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.258
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.51
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.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1763600 kB
Buffers:         67748 kB
Cached:         133376 kB
SwapCached:       9680 kB
Active:         100332 kB
Inactive:       113936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1763600 kB
SwapTotal:     4192956 kB
SwapFree:      4136756 kB
Dirty:            6552 kB
Writeback:           0 kB
AnonPages:       11536 kB
Mapped:           9388 kB
Slab:            59340 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181208 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= 62584 MiB
End job on node012 at 2010-06-16 08:39:44