Trace number 2665179

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)22 1800.11 1800.71

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	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.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-2665179-1276653610.opb>
0.01/0.03	c original problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 constraints
0.01/0.03	c problem read
0.01/0.03	c presolving settings loaded
0.01/0.06	c presolving:
0.29/0.30	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73808 impls, 0 clqs
0.49/0.53	c    (0.3s) probing: 101/2728 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.53	c presolving (2 rounds):
0.49/0.53	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.53	c  73808 implications, 0 cliques
0.49/0.53	c presolved problem has 2728 variables (2728 bin, 0 int, 0 impl, 0 cont) and 2728 constraints
0.49/0.53	c    2528 constraints of type <and>
0.49/0.53	c     200 constraints of type <logicor>
0.49/0.53	c transformed objective value is always integral (scale: 1)
0.49/0.53	c Presolving Time: 0.29
0.49/0.53	c - non default parameters ----------------------------------------------------------------------
0.49/0.53	c # SCIP version 1.2.1.2
0.49/0.53	c 
0.49/0.53	c # frequency for displaying node information lines
0.49/0.53	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.53	c display/freq = 10000
0.49/0.53	c 
0.49/0.53	c # maximal time in seconds to run
0.49/0.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53	c limits/time = 1799.98
0.49/0.53	c 
0.49/0.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53	c limits/memory = 1620
0.49/0.53	c 
0.49/0.53	c # should presolving try to simplify inequalities
0.49/0.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53	c constraints/linear/simplifyinequalities = TRUE
0.49/0.53	c 
0.49/0.53	c # should presolving try to simplify knapsacks
0.49/0.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.53	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.53	c 
0.49/0.53	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.53	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53	c heuristics/undercover/freq = 0
0.49/0.53	c 
0.49/0.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.53	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.53	c separating/rapidlearning/freq = 0
0.49/0.53	c 
0.49/0.53	c -----------------------------------------------------------------------------------------------
0.49/0.53	c start solving
0.49/0.54	c 
0.59/0.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.60	c   0.3s|     1 |     0 |   400 |     - |  13M|   0 | 400 |2728 |2728 |2728 |5256 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.61	o 47
0.59/0.61	c s 0.4s|     1 |     0 |   400 |     - |  14M|   0 | 400 |2728 |2728 |2728 |5256 |   0 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
1.59/1.68	c   1.2s|     1 |     0 |  1000 |     - |  14M|   0 | 400 |2728 |2728 |2728 |5657 | 401 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
2.09/2.11	c   1.6s|     1 |     0 |  1600 |     - |  14M|   0 | 400 |2728 |2728 |2728 |6058 | 802 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
2.49/2.56	c   2.0s|     1 |     0 |  2201 |     - |  14M|   0 | 400 |2728 |2728 |2728 |6460 |1204 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
2.99/3.05	c   2.5s|     1 |     0 |  2801 |     - |  14M|   0 | 400 |2728 |2728 |2728 |6861 |1605 |   0 |   0 | 0.000000e+00 | 4.700000e+01 |    Inf 
3.99/4.00	c   3.5s|     1 |     0 |  4022 |     - |  14M|   0 | 947 |2728 |2728 |2728 |7261 |2005 |   0 |   0 | 1.002945e+01 | 4.700000e+01 | 368.62%
6.79/6.80	c   6.2s|     1 |     0 |  5722 |     - |  15M|   0 |1200 |2728 |2728 |2728 |7481 |2225 |   0 |   0 | 1.326929e+01 | 4.700000e+01 | 254.20%
10.69/10.74	c  10.2s|     1 |     0 |  7315 |     - |  17M|   0 |1447 |2728 |2728 |2728 |7566 |2310 |   0 |   0 | 1.388199e+01 | 4.700000e+01 | 238.57%
13.69/13.76	c  13.2s|     1 |     0 |  8182 |     - |  18M|   0 |1525 |2728 |2728 |2728 |7624 |2368 |   0 |   0 | 1.409266e+01 | 4.700000e+01 | 233.51%
18.39/18.43	c  17.8s|     1 |     0 |  8547 |     - |  18M|   0 |1608 |2728 |2728 |2728 |7654 |2398 |   0 |   0 | 1.413142e+01 | 4.700000e+01 | 232.59%
23.38/23.43	c  22.8s|     1 |     0 |  8856 |     - |  18M|   0 |1625 |2728 |2728 |2728 |7669 |2413 |   0 |   0 | 1.417698e+01 | 4.700000e+01 | 231.52%
28.28/28.34	c  27.7s|     1 |     0 |  9208 |     - |  17M|   0 |1654 |2728 |2728 |2728 |2772 |2428 |   0 |   0 | 1.423398e+01 | 4.700000e+01 | 230.20%
29.78/29.83	c  29.1s|     1 |     0 |  9239 |     - |  17M|   0 |1676 |2728 |2728 |2728 |2780 |2436 |   0 |   0 | 1.423441e+01 | 4.700000e+01 | 230.19%
31.48/31.52	c  30.8s|     1 |     0 |  9420 |     - |  17M|   0 |1716 |2728 |2728 |2728 |2790 |2446 |   0 |   0 | 1.425493e+01 | 4.700000e+01 | 229.71%
33.19/33.28	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.19/33.28	c  32.6s|     1 |     0 |  9530 |     - |  17M|   0 |1753 |2728 |2728 |2728 |2809 |2465 |   0 |   0 | 1.426308e+01 | 4.700000e+01 | 229.52%
34.98/35.01	c  34.3s|     1 |     0 |  9551 |     - |  17M|   0 |1759 |2728 |2728 |2728 |2826 |2482 |   0 |   0 | 1.426308e+01 | 4.700000e+01 | 229.52%
36.68/36.72	c  36.0s|     1 |     0 |  9559 |     - |  17M|   0 |1761 |2728 |2728 |2728 |2834 |2490 |   0 |   0 | 1.426308e+01 | 4.700000e+01 | 229.52%
38.38/38.43	c  37.7s|     1 |     0 |  9564 |     - |  17M|   0 |1761 |2728 |2728 |2728 |2515 |2495 |   0 |   0 | 1.426308e+01 | 4.700000e+01 | 229.52%
39.88/39.94	c  39.2s|     1 |     0 |  9570 |     - |  17M|   0 |1760 |2728 |2728 |2728 |2520 |2500 |   0 |   0 | 1.426308e+01 | 4.700000e+01 | 229.52%
41.37/41.44	c  40.7s|     1 |     0 |  9572 |     - |  17M|   0 |1761 |2728 |2728 |2728 |2522 |2502 |   0 |   0 | 1.426308e+01 | 4.700000e+01 | 229.52%
58.45/58.58	c  57.7s|     1 |     2 |  9572 |     - |  17M|   0 |1761 |2728 |2728 |2728 |2522 |2502 |   0 |  38 | 1.426308e+01 | 4.700000e+01 | 229.52%
1529.05/1529.65	o 23
1529.05/1529.65	c *1507s|  1890 |  1876 |  1427k| 750.6 |  23M|  26 |   - |2728 |2735 |2728 |3429 |  93k|   7 |2604 | 1.562911e+01 | 2.300000e+01 |  47.16%
1648.24/1648.82	o 22
1648.24/1648.82	c *1624s|  2057 |  1900 |  1551k| 749.9 |  24M|  26 |   - |2728 |2735 |2728 |3416 | 101k|   7 |2804 | 1.565885e+01 | 2.200000e+01 |  40.50%
1800.01/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.63	c 
1800.01/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.63	c Solving Time (sec) : 1773.91
1800.01/1800.63	c Solving Nodes      : 2270
1800.01/1800.63	c Primal Bound       : +2.20000000000000e+01 (3 solutions)
1800.01/1800.63	c Dual Bound         : +1.56815202115610e+01
1800.01/1800.63	c Gap                : 40.29 %
1800.01/1800.63	s SATISFIABLE
1800.01/1800.63	v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 x179 
1800.01/1800.63	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1800.01/1800.63	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1800.01/1800.63	v x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
1800.01/1800.63	v -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 x104 -x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 -x94 
1800.01/1800.63	v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 x71 -x70 -x69 -x68 
1800.01/1800.63	v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 
1800.01/1800.63	v -x42 x41 -x40 -x39 x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 
1800.01/1800.63	v x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 x7 x6 -x5 -x4 -x3 x2 x1 
1800.01/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.63	c Solving Time       :    1773.91
1800.01/1800.63	c Original Problem   :
1800.01/1800.63	c   Problem name     : HOME/instance-2665179-1276653610.opb
1800.01/1800.63	c   Variables        : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.63	c   Constraints      : 2728 initial, 2728 maximal
1800.01/1800.63	c Presolved Problem  :
1800.01/1800.63	c   Problem name     : t_HOME/instance-2665179-1276653610.opb
1800.01/1800.63	c   Variables        : 2728 (2728 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.63	c   Constraints      : 2728 initial, 2735 maximal
1800.01/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.63	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.63	c   probing          :       0.06          0          0          0          0          0          0          0          0
1800.01/1800.63	c   and              :       0.21          0          0          0          0          0          0          0          0
1800.01/1800.63	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.63	c   integral         :          0          0          0       2258          0          0          5          0          0       4510
1800.01/1800.63	c   and              :       2528      10192      38105          2          0          4      51108     111433          0          0
1800.01/1800.63	c   logicor          :        200+        19      14739          2          0          2          0          0          0          0
1800.01/1800.63	c   countsols        :          0          0          0          2          0          0          0          0          0          0
1800.01/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.63	c   integral         :     358.83       0.00       0.00     358.83       0.00
1800.01/1800.63	c   and              :      32.87      26.20       6.67       0.00       0.00
1800.01/1800.63	c   logicor          :       0.17       0.00       0.17       0.00       0.00
1800.01/1800.63	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.63	c   vbounds          :       0.00          2          0          0
1800.01/1800.63	c   rootredcost      :       0.00          2          0          0
1800.01/1800.63	c   pseudoobj        :       0.67      38006          0          0
1800.01/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.63	c   propagation      :       0.00          6          6          7       14.1          0        0.0          -
1800.01/1800.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.63	c   applied globally :          -          -          -          7       14.1          -          -          -
1800.01/1800.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.63	c   cut pool         :       0.02         18          -          -          7          -    (maximal pool size: 2925)
1800.01/1800.64	c   redcost          :       1.86      10192          0       1096          0          0
1800.01/1800.64	c   impliedbounds    :       0.05         19          0          0       2585          0
1800.01/1800.64	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.64	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.64	c   gomory           :      17.62         19          0          0       2672          0
1800.01/1800.64	c   strongcg         :      14.05         19          0          0       4002          0
1800.01/1800.64	c   cmir             :       1.78         10          0          0       2020          0
1800.01/1800.64	c   flowcover        :       0.86         10          0          0        200          0
1800.01/1800.64	c   clique           :       0.21         19          0          0         11          0
1800.01/1800.64	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.64	c   mcf              :       0.01          1          0          0          0          0
1800.01/1800.64	c   rapidlearning    :       0.37          1          0          0          0          0
1800.01/1800.64	c Pricers            :       Time      Calls       Vars
1800.01/1800.64	c   problem variables:       0.00          0          0
1800.01/1800.64	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.64	c   relpscost        :     358.83       2256          0          5          0          0       4510
1800.01/1800.64	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.64	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.64	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.64	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.64	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.64	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.64	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.64	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.64	c   LP solutions     :       0.00          -          2
1800.01/1800.64	c   pseudo solutions :       0.00          -          0
1800.01/1800.64	c   oneopt           :       0.08          3          0
1800.01/1800.64	c   pscostdiving     :      48.33         25          0
1800.01/1800.64	c   linesearchdiving :      57.44         26          0
1800.01/1800.64	c   fracdiving       :      62.96         26          0
1800.01/1800.64	c   veclendiving     :      38.05         31          0
1800.01/1800.64	c   trivial          :       0.00          2          0
1800.01/1800.64	c   simplerounding   :       0.00          0          0
1800.01/1800.64	c   zirounding       :       0.80       1000          0
1800.01/1800.64	c   rounding         :       9.31       1456          0
1800.01/1800.64	c   shifting         :       9.08       1265          1
1800.01/1800.64	c   intshifting      :       0.00          0          0
1800.01/1800.64	c   twoopt           :       0.00          0          0
1800.01/1800.64	c   fixandinfer      :       0.00          0          0
1800.01/1800.64	c   feaspump         :       5.38         47          0
1800.01/1800.64	c   coefdiving       :      49.99         25          0
1800.01/1800.64	c   intdiving        :       0.00          0          0
1800.01/1800.64	c   actconsdiving    :       0.00          0          0
1800.01/1800.64	c   objpscostdiving  :      16.24          4          0
1800.01/1800.64	c   rootsoldiving    :       5.35         10          0
1800.01/1800.64	c   guideddiving     :      64.36         23          0
1800.01/1800.64	c   octane           :       0.00          0          0
1800.01/1800.64	c   rens             :       0.01          0          0
1800.01/1800.64	c   rins             :       0.00          0          0
1800.01/1800.64	c   localbranching   :       0.00          0          0
1800.01/1800.64	c   mutation         :       0.00          0          0
1800.01/1800.64	c   crossover        :       0.09          1          0
1800.01/1800.64	c   dins             :       0.00          0          0
1800.01/1800.64	c   undercover       :       0.01          1          0
1800.01/1800.64	c   nlp              :       0.00          0          0
1800.01/1800.64	c   trysol           :       0.01          0          0
1800.01/1800.64	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.64	c   primal LP        :     282.97          0          0       0.00       0.00
1800.01/1800.64	c   dual LP          :     665.62      11503    1149088      99.89    1726.34
1800.01/1800.64	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.64	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.64	c   diving/probing LP:     306.97      15942     550525      34.53    1793.42
1800.01/1800.64	c   strong branching :     357.34       3096     703269     227.15    1968.07
1800.01/1800.64	c     (at root node) :          -         38      27882     733.74          -
1800.01/1800.64	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.64	c B&B Tree           :
1800.01/1800.64	c   number of runs   :          1
1800.01/1800.64	c   nodes            :       2270
1800.01/1800.64	c   nodes (total)    :       2270
1800.01/1800.64	c   nodes left       :       2105
1800.01/1800.64	c   max depth        :         26
1800.01/1800.64	c   max depth (total):         26
1800.01/1800.64	c   backtracks       :        656 (28.9%)
1800.01/1800.64	c   delayed cutoffs  :          0
1800.01/1800.64	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.01/1800.64	c   avg switch length:       7.28
1800.01/1800.64	c   switching time   :     284.22
1800.01/1800.64	c Solution           :
1800.01/1800.64	c   Solutions found  :          3 (3 improvements)
1800.01/1800.64	c   First Solution   : +4.70000000000000e+01   (in run 1, after 1 nodes, 0.36 seconds, depth 0, found by <shifting>)
1800.01/1800.64	c   Primal Bound     : +2.20000000000000e+01   (in run 1, after 2057 nodes, 1624.33 seconds, depth 22, found by <relaxation>)
1800.01/1800.64	c   Dual Bound       : +1.56815202115610e+01
1800.01/1800.64	c   Gap              :      40.29 %
1800.01/1800.64	c   Root Dual Bound  : +1.42630768732427e+01
1800.01/1800.64	c   Root Iterations  :       9572
1800.01/1800.70	c Time complete: 1800.1.

Verifier Data 

OK	22

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13195
/proc/meminfo: memFree=1814448/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=9288 CPUtime=0
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 1030 0 0 0 0 0 0 0 18 0 1 0 6656364 9510912 951 1992294400 4194304 9819077 140734734237776 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13195/statm: 2322 960 371 1374 0 943 0

[startup+0.0228161 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13195
/proc/meminfo: memFree=1814448/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=12452 CPUtime=0.01
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 2061 0 0 0 1 0 0 0 18 0 1 0 6656364 12750848 1982 1992294400 4194304 9819077 140734734237776 18446744073709551615 8610895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13195/statm: 3113 1982 389 1374 0 1734 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12452

[startup+0.100822 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13195
/proc/meminfo: memFree=1814448/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=25072 CPUtime=0.09
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 5136 0 0 0 8 1 0 0 20 0 1 0 6656364 25673728 4703 1992294400 4194304 9819077 140734734237776 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 6268 4717 473 1374 0 4889 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25072

[startup+0.300833 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13195
/proc/meminfo: memFree=1814448/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=25892 CPUtime=0.29
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 6358 0 0 0 18 11 0 0 20 0 1 0 6656364 26513408 5154 1992294400 4194304 9819077 140734734237776 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 6473 5154 493 1374 0 5094 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25892

[startup+0.700858 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 13195
/proc/meminfo: memFree=1814448/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=40772 CPUtime=0.69
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 11894 0 0 0 46 23 0 0 21 0 1 0 6656364 41750528 8331 1992294400 4194304 9819077 140734734237776 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 10193 8331 657 1374 0 8814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40772

[startup+1.50091 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13196
/proc/meminfo: memFree=1782944/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=58956 CPUtime=1.49
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 17744 0 0 0 103 46 0 0 23 0 1 0 6656364 60370944 12594 1992294400 4194304 9819077 140734734237776 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 14739 12594 685 1374 0 13360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58956

[startup+3.10101 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13196
/proc/meminfo: memFree=1781704/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=44100 CPUtime=3.09
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 19232 0 0 0 258 51 0 0 25 0 1 0 6656364 45158400 8956 1992294400 4194304 9819077 140734734237776 18446744073709551615 6555649 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 11025 8956 690 1374 0 9646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44100

[startup+6.3012 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 13196
/proc/meminfo: memFree=1776124/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=51112 CPUtime=6.29
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 22579 0 0 0 576 53 0 0 25 0 1 0 6656364 52338688 10289 1992294400 4194304 9819077 140734734237776 18446744073709551615 7300260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 12778 10289 693 1374 0 11399 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51112

[startup+12.7016 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 13196
/proc/meminfo: memFree=1773396/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=53636 CPUtime=12.68
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 26789 0 0 0 1212 56 0 0 25 0 1 0 6656364 54923264 10807 1992294400 4194304 9819077 140734734237776 18446744073709551615 7481153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13409 10807 693 1374 0 12030 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53636

[startup+25.5004 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 13196
/proc/meminfo: memFree=1773148/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=54076 CPUtime=25.48
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 30655 0 0 0 2486 62 0 0 25 0 1 0 6656364 55373824 10862 1992294400 4194304 9819077 140734734237776 18446744073709551615 7481140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13519 10862 693 1374 0 12140 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54076

[startup+51.101 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 13198
/proc/meminfo: memFree=1773768/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=51316 CPUtime=51.07
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 50059 0 0 0 5028 79 0 0 25 0 1 0 6656364 52547584 10625 1992294400 4194304 9819077 140734734237776 18446744073709551615 6190610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 12829 10625 707 1374 0 11450 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51316

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 13207
/proc/meminfo: memFree=1773892/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=52692 CPUtime=102.26
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 140480 0 0 0 10099 127 0 0 25 0 1 0 6656364 53956608 10655 1992294400 4194304 9819077 140734734237776 18446744073709551615 7291008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13173 10655 715 1374 0 11794 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52692

[startup+162.301 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 13709
/proc/meminfo: memFree=1762180/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=49260 CPUtime=162.05
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 284917 0 0 0 15999 206 0 0 25 0 1 0 6656364 50442240 10632 1992294400 4194304 9819077 140734734237776 18446744073709551615 4414505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 12315 10632 721 1374 0 10936 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 49260

[startup+222.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 13711
/proc/meminfo: memFree=1761684/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=49936 CPUtime=222.04
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 457095 0 0 0 21913 291 0 0 25 0 1 0 6656364 51134464 10798 1992294400 4194304 9819077 140734734237776 18446744073709551615 7226852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 12484 10798 722 1374 0 11105 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 49936

[startup+282.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 13713
/proc/meminfo: memFree=1760692/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=55256 CPUtime=282.02
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 620034 0 0 0 27832 370 0 0 25 0 1 0 6656364 56582144 11087 1992294400 4194304 9819077 140734734237776 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13814 11087 722 1374 0 12435 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 55256

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13715
/proc/meminfo: memFree=1760568/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=52016 CPUtime=342.01
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 804127 0 0 0 33741 460 0 0 25 0 1 0 6656364 53264384 11128 1992294400 4194304 9819077 140734734237776 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13004 11128 722 1374 0 11625 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 52016

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13715
/proc/meminfo: memFree=1759700/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=56652 CPUtime=402
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 981039 0 0 0 39652 548 0 0 25 0 1 0 6656364 58011648 11478 1992294400 4194304 9819077 140734734237776 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 14163 11478 722 1374 0 12784 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 56652

[startup+462.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13717
/proc/meminfo: memFree=1758840/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=52540 CPUtime=461.99
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 1169539 0 0 0 45561 638 0 0 25 0 1 0 6656364 53800960 11505 1992294400 4194304 9819077 140734734237776 18446744073709551615 7234669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13250 11508 722 1374 0 11871 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 52540

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13719
/proc/meminfo: memFree=1757476/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=54912 CPUtime=521.97
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 1363678 0 0 0 51459 738 0 0 25 0 1 0 6656364 56229888 11825 1992294400 4194304 9819077 140734734237776 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13728 11825 722 1374 0 12349 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 54912

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13721
/proc/meminfo: memFree=1756980/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=54760 CPUtime=581.96
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 1537669 0 0 0 57373 823 0 0 25 0 1 0 6656364 56074240 11890 1992294400 4194304 9819077 140734734237776 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13690 11890 722 1374 0 12311 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 54760

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13723
/proc/meminfo: memFree=1756980/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=55188 CPUtime=641.96
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 1702664 0 0 0 63295 901 0 0 25 0 1 0 6656364 56512512 11954 1992294400 4194304 9819077 140734734237776 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13797 11954 722 1374 0 12418 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 55188

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13727
/proc/meminfo: memFree=1756236/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=53632 CPUtime=821.9
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 2237832 0 0 0 81025 1165 0 0 25 0 1 0 6656364 54919168 12098 1992294400 4194304 9819077 140734734237776 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 13235 12011 722 1374 0 11856 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 53632

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13729
/proc/meminfo: memFree=1754996/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=56940 CPUtime=881.9
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 2426987 0 0 0 86933 1257 0 0 25 0 1 0 6656364 58306560 12398 1992294400 4194304 9819077 140734734237776 18446744073709551615 7311902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 14235 12398 722 1374 0 12856 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 56940

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13731
/proc/meminfo: memFree=1754872/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=57384 CPUtime=941.88
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 2609586 0 0 0 92847 1341 0 0 25 0 1 0 6656364 58761216 12426 1992294400 4194304 9819077 140734734237776 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 14346 12426 722 1374 0 12967 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 57384

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13731
/proc/meminfo: memFree=1753632/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=57860 CPUtime=1001.87
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 2800547 0 0 0 98751 1436 0 0 25 0 1 0 6656364 59248640 12681 1992294400 4194304 9819077 140734734237776 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 14465 12681 722 1374 0 13086 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 57860

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13733
/proc/meminfo: memFree=1753384/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=62612 CPUtime=1061.86
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 2977187 0 0 0 104664 1522 0 0 25 0 1 0 6656364 64114688 12877 1992294400 4194304 9819077 140734734237776 18446744073709551615 7295442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15653 12877 722 1374 0 14274 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 62612

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13735
/proc/meminfo: memFree=1752764/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=62964 CPUtime=1121.84
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 3170315 0 0 0 110565 1619 0 0 25 0 1 0 6656364 64475136 12974 1992294400 4194304 9819077 140734734237776 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15741 12974 722 1374 0 14362 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 62964

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13737
/proc/meminfo: memFree=1752268/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=60208 CPUtime=1181.83
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 3355909 0 0 0 116476 1707 0 0 25 0 1 0 6656364 61652992 13059 1992294400 4194304 9819077 140734734237776 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15052 13059 722 1374 0 13673 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 60208

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13739
/proc/meminfo: memFree=1751400/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=64124 CPUtime=1241.82
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 3544913 0 0 0 122383 1799 0 0 25 0 1 0 6656364 65662976 13255 1992294400 4194304 9819077 140734734237776 18446744073709551615 7301827 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 16031 13255 722 1374 0 14652 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 64124

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13739
/proc/meminfo: memFree=1750284/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=64980 CPUtime=1301.81
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 3718246 0 0 0 128290 1891 0 0 25 0 1 0 6656364 66539520 13534 1992294400 4194304 9819077 140734734237776 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 16245 13534 722 1374 0 14866 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 64980

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13741
/proc/meminfo: memFree=1750408/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=61252 CPUtime=1361.79
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 3906802 0 0 0 134196 1983 0 0 25 0 1 0 6656364 62722048 13483 1992294400 4194304 9819077 140734734237776 18446744073709551615 7318551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15313 13483 722 1374 0 13934 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 61252

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13743
/proc/meminfo: memFree=1749912/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=61820 CPUtime=1421.79
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 4078029 0 0 0 140111 2068 0 0 25 0 1 0 6656364 63303680 13628 1992294400 4194304 9819077 140734734237776 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15455 13628 722 1374 0 14076 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 61820

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13745
/proc/meminfo: memFree=1750036/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=61496 CPUtime=1481.76
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 4241418 0 0 0 146025 2151 0 0 25 0 1 0 6656364 62971904 13570 1992294400 4194304 9819077 140734734237776 18446744073709551615 7292017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15374 13570 722 1374 0 13995 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 61496

[startup+1542.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13747
/proc/meminfo: memFree=1749664/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=65464 CPUtime=1541.76
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 4409955 0 0 0 151938 2238 0 0 25 0 1 0 6656364 67035136 13619 1992294400 4194304 9819077 140734734237776 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 16366 13619 722 1374 0 14987 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 65464

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 13747
/proc/meminfo: memFree=1749540/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=62360 CPUtime=1601.74
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 4577318 0 0 0 157853 2321 0 0 25 0 1 0 6656364 63856640 13676 1992294400 4194304 9819077 140734734237776 18446744073709551615 7326166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15590 13676 722 1374 0 14211 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 62360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13749
/proc/meminfo: memFree=1748672/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=63064 CPUtime=1661.72
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 4759519 0 0 0 163762 2410 0 0 25 0 1 0 6656364 64577536 13888 1992294400 4194304 9819077 140734734237776 18446744073709551615 7312705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 15766 13888 722 1374 0 14387 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 63064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13751
/proc/meminfo: memFree=1749168/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=65936 CPUtime=1721.71
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 4936650 0 0 0 169677 2494 0 0 25 0 1 0 6656364 67518464 13802 1992294400 4194304 9819077 140734734237776 18446744073709551615 7312750 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 16484 13802 722 1374 0 15105 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 65936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13753
/proc/meminfo: memFree=1748796/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=66132 CPUtime=1781.7
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 5119143 0 0 0 175587 2583 0 0 25 0 1 0 6656364 67719168 13803 1992294400 4194304 9819077 140734734237776 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 16533 13803 722 1374 0 15154 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 66132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13753
/proc/meminfo: memFree=1747680/2059040 swapFree=4164944/4192956
[pid=13195] ppid=13193 vsize=66724 CPUtime=1800.01
/proc/13195/stat : 13195 (pbscip.linux.x8) R 13193 13195 11867 0 -1 4202496 5178078 0 0 0 177391 2610 0 0 25 0 1 0 6656364 68325376 14113 1992294400 4194304 9819077 140734734237776 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13195/statm: 16681 14113 726 1374 0 15302 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 66724

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

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

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.11
CPU user time (s): 1773.99
CPU system time (s): 26.116
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 78596

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

runsolver used 2.99654 second user time and 8.49971 second system time

The end

Launcher Data 

Begin job on node029 at 2010-06-16 04:00:10
IDJOB=2665179
IDBENCH=48122
IDSOLVER=1168
FILE ID=node029/2665179-1276653610
PBS_JOBID= 11172415
Free space on /tmp= 62576 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/mds/normalized-mds_200_10_5.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-2665179-1276653610/watcher-2665179-1276653610 -o /tmp/evaluation-result-2665179-1276653610/solver-2665179-1276653610 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665179-1276653610.opb -t 1800 -m 1800

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

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=1051613561

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1814852 kB
Buffers:         42780 kB
Cached:         102516 kB
SwapCached:       1508 kB
Active:          99240 kB
Inactive:        80292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1814852 kB
SwapTotal:     4192956 kB
SwapFree:      4164944 kB
Dirty:            6240 kB
Writeback:           0 kB
AnonPages:       32672 kB
Mapped:          15168 kB
Slab:            42684 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182328 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= 62568 MiB
End job on node029 at 2010-06-16 04:30:12