Trace number 2666631

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)21 1800.26 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_3.opb
MD5SUM9e4e432c8df29dadb31632f81ac67b02
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1789.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
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 constraint21
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)2488
Sum of products size (including duplicates)4976
Number of different products2488
Sum of products size4976

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666631-1276655891.opb>
0.01/0.04	c original problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2688 constraints
0.01/0.04	c problem read
0.01/0.04	c presolving settings loaded
0.01/0.07	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, 71340 impls, 0 clqs
0.49/0.54	c    (0.3s) probing: 101/2688 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.54	c    (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.54	c presolving (2 rounds):
0.49/0.54	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.54	c  71340 implications, 0 cliques
0.49/0.54	c presolved problem has 2688 variables (2688 bin, 0 int, 0 impl, 0 cont) and 2688 constraints
0.49/0.54	c    2488 constraints of type <and>
0.49/0.54	c     200 constraints of type <logicor>
0.49/0.54	c transformed objective value is always integral (scale: 1)
0.49/0.54	c Presolving Time: 0.30
0.49/0.54	c - non default parameters ----------------------------------------------------------------------
0.49/0.54	c # SCIP version 1.2.1.2
0.49/0.54	c 
0.49/0.54	c # frequency for displaying node information lines
0.49/0.54	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.54	c display/freq = 10000
0.49/0.54	c 
0.49/0.54	c # maximal time in seconds to run
0.49/0.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54	c limits/time = 1799.97
0.49/0.54	c 
0.49/0.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.54	c limits/memory = 1620
0.49/0.54	c 
0.49/0.54	c # should presolving try to simplify inequalities
0.49/0.54	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54	c constraints/linear/simplifyinequalities = TRUE
0.49/0.54	c 
0.49/0.54	c # should presolving try to simplify knapsacks
0.49/0.54	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54	c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.54	c 
0.49/0.54	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.54	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54	c heuristics/undercover/freq = 0
0.49/0.54	c 
0.49/0.54	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.54	c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.54	c separating/rapidlearning/freq = 0
0.49/0.54	c 
0.49/0.54	c -----------------------------------------------------------------------------------------------
0.49/0.54	c start solving
0.49/0.54	c 
0.59/0.62	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.62	c   0.4s|     1 |     0 |   400 |     - |  13M|   0 | 400 |2688 |2688 |2688 |5176 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.63	o 48
0.59/0.63	c s 0.4s|     1 |     0 |   400 |     - |  13M|   0 | 400 |2688 |2688 |2688 |5176 |   0 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
1.69/1.79	c   1.3s|     1 |     0 |  1000 |     - |  13M|   0 | 400 |2688 |2688 |2688 |5577 | 401 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
2.29/2.30	c   1.8s|     1 |     0 |  1600 |     - |  14M|   0 | 400 |2688 |2688 |2688 |5981 | 805 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
2.78/2.85	c   2.3s|     1 |     0 |  2200 |     - |  14M|   0 | 400 |2688 |2688 |2688 |6381 |1205 |   0 |   0 | 0.000000e+00 | 4.800000e+01 |    Inf 
2.78/2.87	o 44
2.78/2.87	c s 2.4s|     1 |     0 |  2200 |     - |  14M|   0 | 400 |2688 |2688 |2688 |6381 |1205 |   0 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
3.39/3.44	c   2.9s|     1 |     0 |  2800 |     - |  14M|   0 | 400 |2688 |2688 |2688 |6783 |1607 |   0 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
3.39/3.46	o 43
3.39/3.46	c s 3.0s|     1 |     0 |  2800 |     - |  14M|   0 | 400 |2688 |2688 |2688 |6783 |1607 |   0 |   0 | 0.000000e+00 | 4.300000e+01 |    Inf 
4.39/4.44	c   3.9s|     1 |     0 |  3740 |     - |  14M|   0 | 949 |2688 |2688 |2688 |7183 |2007 |   0 |   0 | 1.044482e+01 | 4.300000e+01 | 311.69%
6.99/7.00	c   6.5s|     1 |     0 |  4478 |     - |  15M|   0 |1235 |2688 |2688 |2688 |7398 |2222 |   0 |   0 | 1.344204e+01 | 4.300000e+01 | 219.89%
10.59/10.63	c  10.1s|     1 |     0 |  4996 |     - |  16M|   0 |1416 |2688 |2688 |2688 |7473 |2297 |   0 |   0 | 1.415074e+01 | 4.300000e+01 | 203.87%
13.39/13.43	c  12.8s|     1 |     0 |  5258 |     - |  17M|   0 |1512 |2688 |2688 |2688 |7520 |2344 |   0 |   0 | 1.431540e+01 | 4.300000e+01 | 200.38%
18.08/18.18	c  17.6s|     1 |     0 |  5476 |     - |  17M|   0 |1675 |2688 |2688 |2688 |7549 |2373 |   0 |   0 | 1.444730e+01 | 4.300000e+01 | 197.63%
23.78/23.89	c  23.2s|     1 |     0 |  5658 |     - |  17M|   0 |1665 |2688 |2688 |2688 |7567 |2391 |   0 |   0 | 1.451556e+01 | 4.300000e+01 | 196.23%
29.37/29.47	c  28.8s|     1 |     0 |  5754 |     - |  17M|   0 |1758 |2688 |2688 |2688 |2680 |2404 |   0 |   0 | 1.453086e+01 | 4.300000e+01 | 195.92%
30.78/30.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
30.78/30.81	c  30.1s|     1 |     0 |  5792 |     - |  17M|   0 |1762 |2688 |2688 |2688 |2687 |2411 |   0 |   0 | 1.453530e+01 | 4.300000e+01 | 195.83%
32.18/32.21	c  31.5s|     1 |     0 |  5859 |     - |  17M|   0 |1783 |2688 |2688 |2688 |2692 |2416 |   0 |   0 | 1.454358e+01 | 4.300000e+01 | 195.66%
33.47/33.59	c  32.9s|     1 |     0 |  5890 |     - |  17M|   0 |1771 |2688 |2688 |2688 |2697 |2421 |   0 |   0 | 1.454587e+01 | 4.300000e+01 | 195.62%
34.87/34.90	c  34.2s|     1 |     0 |  5892 |     - |  17M|   0 |1770 |2688 |2688 |2688 |2698 |2422 |   0 |   0 | 1.454588e+01 | 4.300000e+01 | 195.62%
41.68/41.70	c  40.9s|     1 |     2 |  5892 |     - |  17M|   0 |1770 |2688 |2688 |2688 |2698 |2422 |   0 |  17 | 1.454588e+01 | 4.300000e+01 | 195.62%
948.63/948.90	o 22
948.63/948.90	c * 930s|  2466 |  2274 |676500 | 272.1 |  23M|  27 |   - |2688 |2689 |2688 |2875 |  35k|   1 |2755 | 1.615880e+01 | 2.200000e+01 |  36.15%
1650.75/1651.25	o 21
1650.75/1651.25	c *1620s|  5235 |  4197 |  1281k| 243.7 |  28M|  31 |   - |2688 |2688 |2688 |2867 |  69k|   1 |4260 | 1.643834e+01 | 2.100000e+01 |  27.75%
1800.03/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.13/1800.65	c 
1800.13/1800.65	c SCIP Status        : solving was interrupted [user interrupt]
1800.13/1800.65	c Solving Time (sec) : 1768.18
1800.13/1800.65	c Solving Nodes      : 5988
1800.13/1800.65	c Primal Bound       : +2.10000000000000e+01 (5 solutions)
1800.13/1800.65	c Dual Bound         : +1.64726638517247e+01
1800.13/1800.65	c Gap                : 27.48 %
1800.13/1800.65	s SATISFIABLE
1800.13/1800.65	v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1800.13/1800.65	v -x178 x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 
1800.13/1800.65	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 
1800.13/1800.65	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
1800.13/1800.65	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 
1800.13/1800.65	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.13/1800.65	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.13/1800.65	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.13/1800.65	v x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.13/1800.65	c SCIP Status        : solving was interrupted [user interrupt]
1800.13/1800.65	c Solving Time       :    1768.18
1800.13/1800.65	c Original Problem   :
1800.13/1800.65	c   Problem name     : HOME/instance-2666631-1276655891.opb
1800.13/1800.65	c   Variables        : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.65	c   Constraints      : 2688 initial, 2688 maximal
1800.13/1800.65	c Presolved Problem  :
1800.13/1800.65	c   Problem name     : t_HOME/instance-2666631-1276655891.opb
1800.13/1800.65	c   Variables        : 2688 (2688 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.65	c   Constraints      : 2688 initial, 2689 maximal
1800.13/1800.65	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.13/1800.65	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.65	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.65	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.65	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.65	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.65	c   probing          :       0.06          0          0          0          0          0          0          0          0
1800.13/1800.65	c   and              :       0.22          0          0          0          0          0          0          0          0
1800.13/1800.65	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.13/1800.65	c   root node        :          -          0          -          -          0          -          -          -          -
1800.13/1800.65	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.13/1800.65	c   integral         :          0          0          0       5704          0          2         32          0          0      11384
1800.13/1800.65	c   and              :       2488      16380      57421          2          0          0     169867      76057          0          0
1800.13/1800.65	c   logicor          :        200+        16      24235          2          0          0          0          0          0          0
1800.13/1800.65	c   countsols        :          0          0          0          2          0          0          0          0          0          0
1800.13/1800.65	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.13/1800.65	c   integral         :     413.20       0.00       0.00     413.20       0.00
1800.13/1800.65	c   and              :      51.52      40.99      10.53       0.00       0.00
1800.13/1800.65	c   logicor          :       0.27       0.00       0.27       0.00       0.00
1800.13/1800.65	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.13/1800.65	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.13/1800.65	c   vbounds          :       0.04          2          0          0
1800.13/1800.65	c   rootredcost      :       0.07          2          0          0
1800.13/1800.65	c   pseudoobj        :       1.14      57436          1          0
1800.13/1800.65	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.13/1800.65	c   propagation      :       0.00          1          1          1       44.0          0        0.0          -
1800.13/1800.65	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.13/1800.65	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.13/1800.65	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.13/1800.65	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.13/1800.65	c   applied globally :          -          -          -          1       44.0          -          -          -
1800.13/1800.65	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.13/1800.65	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.13/1800.65	c   cut pool         :       0.00         15          -          -          1          -    (maximal pool size: 2880)
1800.13/1800.65	c   redcost          :       2.75      16395          0      21140          0          0
1800.13/1800.65	c   impliedbounds    :       0.04         16          0          0       2527          0
1800.13/1800.65	c   intobj           :       0.00          0          0          0          0          0
1800.13/1800.65	c   cgmip            :       0.00          0          0          0          0          0
1800.13/1800.65	c   gomory           :      16.05         16          0          0       2650          0
1800.13/1800.65	c   strongcg         :      12.06         16          0          0       4000          0
1800.13/1800.65	c   cmir             :       1.67         10          0          0       2000          0
1800.13/1800.65	c   flowcover        :       0.75         10          0          0          0          0
1800.13/1800.65	c   clique           :       0.18         16          0          0         13          0
1800.13/1800.65	c   zerohalf         :       0.00          0          0          0          0          0
1800.13/1800.65	c   mcf              :       0.01          1          0          0          0          0
1800.13/1800.65	c   rapidlearning    :       0.39          1          0          0          0          0
1800.13/1800.65	c Pricers            :       Time      Calls       Vars
1800.13/1800.65	c   problem variables:       0.00          0          0
1800.13/1800.65	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.13/1800.65	c   relpscost        :     413.17       5702          2         32          0          0      11384
1800.13/1800.65	c   pscost           :       0.00          0          0          0          0          0          0
1800.13/1800.65	c   inference        :       0.00          0          0          0          0          0          0
1800.13/1800.65	c   mostinf          :       0.00          0          0          0          0          0          0
1800.13/1800.65	c   leastinf         :       0.00          0          0          0          0          0          0
1800.13/1800.65	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.13/1800.65	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.13/1800.65	c   random           :       0.00          0          0          0          0          0          0
1800.13/1800.65	c Primal Heuristics  :       Time      Calls      Found
1800.13/1800.65	c   LP solutions     :       0.01          -          2
1800.13/1800.65	c   pseudo solutions :       0.00          -          0
1800.13/1800.65	c   oneopt           :       0.08          5          0
1800.13/1800.65	c   rootsoldiving    :      10.49         15          0
1800.13/1800.65	c   coefdiving       :      46.51         42          0
1800.13/1800.65	c   linesearchdiving :      53.21         45          0
1800.13/1800.65	c   trivial          :       0.00          2          0
1800.13/1800.65	c   simplerounding   :       0.06          0          0
1800.13/1800.65	c   zirounding       :       0.46       1000          0
1800.13/1800.65	c   rounding         :       9.73       1795          0
1800.13/1800.65	c   shifting         :       8.62       1596          3
1800.13/1800.65	c   intshifting      :       0.00          0          0
1800.13/1800.65	c   twoopt           :       0.00          0          0
1800.13/1800.65	c   fixandinfer      :       0.00          0          0
1800.13/1800.65	c   feaspump         :       0.00          0          0
1800.13/1800.65	c   pscostdiving     :      56.43         29          0
1800.13/1800.65	c   fracdiving       :      61.76         38          0
1800.13/1800.65	c   veclendiving     :      42.90         41          0
1800.13/1800.65	c   intdiving        :       0.00          0          0
1800.13/1800.65	c   actconsdiving    :       0.00          0          0
1800.13/1800.65	c   objpscostdiving  :      46.21          3          0
1800.13/1800.65	c   guideddiving     :      63.50         37          0
1800.13/1800.65	c   octane           :       0.00          0          0
1800.13/1800.65	c   rens             :       0.00          0          0
1800.13/1800.65	c   rins             :       0.00          0          0
1800.13/1800.65	c   localbranching   :       0.00          0          0
1800.13/1800.65	c   mutation         :       0.00          0          0
1800.13/1800.65	c   crossover        :       0.16          2          0
1800.13/1800.65	c   dins             :       0.00          0          0
1800.13/1800.65	c   undercover       :       0.01          1          0
1800.13/1800.65	c   nlp              :       0.00          0          0
1800.13/1800.65	c   trysol           :       0.02          0          0
1800.13/1800.65	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.13/1800.65	c   primal LP        :       9.38          0          0       0.00       0.00
1800.13/1800.65	c   dual LP          :     818.66      17249     966301      56.02    1180.34
1800.13/1800.65	c   lex dual LP      :       0.00          0          0       0.00          -
1800.13/1800.65	c   barrier LP       :       0.00          0          0       0.00          -
1800.13/1800.65	c   diving/probing LP:     331.45      19889     439440      22.09    1325.81
1800.13/1800.65	c   strong branching :     408.63       4663     516798     110.83    1264.71
1800.13/1800.65	c     (at root node) :          -         17       5819     342.29          -
1800.13/1800.65	c   conflict analysis:       0.00          0          0       0.00          -
1800.13/1800.65	c B&B Tree           :
1800.13/1800.65	c   number of runs   :          1
1800.13/1800.65	c   nodes            :       5988
1800.13/1800.65	c   nodes (total)    :       5988
1800.13/1800.65	c   nodes left       :       4572
1800.13/1800.65	c   max depth        :         31
1800.13/1800.65	c   max depth (total):         31
1800.13/1800.65	c   backtracks       :       1787 (29.8%)
1800.13/1800.65	c   delayed cutoffs  :          0
1800.13/1800.65	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.13/1800.65	c   avg switch length:       7.80
1800.13/1800.65	c   switching time   :      12.60
1800.13/1800.65	c Solution           :
1800.13/1800.65	c   Solutions found  :          5 (5 improvements)
1800.13/1800.65	c   First Solution   : +4.80000000000000e+01   (in run 1, after 1 nodes, 0.37 seconds, depth 0, found by <shifting>)
1800.13/1800.65	c   Primal Bound     : +2.10000000000000e+01   (in run 1, after 5235 nodes, 1619.55 seconds, depth 22, found by <relaxation>)
1800.13/1800.65	c   Dual Bound       : +1.64726638517247e+01
1800.13/1800.65	c   Gap              :      27.48 %
1800.13/1800.65	c   Root Dual Bound  : +1.45458770379232e+01
1800.13/1800.65	c   Root Iterations  :       5892
1800.23/1800.73	c Time complete: 1800.25.

Verifier Data 

OK	21

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666631-1276655891/watcher-2666631-1276655891 -o /tmp/evaluation-result-2666631-1276655891/solver-2666631-1276655891 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666631-1276655891.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: 2.11 2.14 1.74 2/106 13284
/proc/meminfo: memFree=1768616/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=7724 CPUtime=0
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1073 0 0 0 0 0 0 0 25 0 1 0 6884140 7909376 994 1992294400 4194304 8223781 140737125484832 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13284/statm: 1931 1002 348 984 0 944 0

[startup+0.0230211 s]
/proc/loadavg: 2.11 2.14 1.74 2/106 13284
/proc/meminfo: memFree=1768616/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=10740 CPUtime=0.01
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1974 0 0 0 1 0 0 0 25 0 1 0 6884140 10997760 1894 1992294400 4194304 8223781 140737125484832 18446744073709551615 4240573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13284/statm: 2685 1894 366 984 0 1698 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10740

[startup+0.101025 s]
/proc/loadavg: 2.11 2.14 1.74 2/106 13284
/proc/meminfo: memFree=1768616/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=22316 CPUtime=0.09
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 4936 0 0 0 7 2 0 0 25 0 1 0 6884140 22851584 4492 1992294400 4194304 8223781 140737125484832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 5579 4492 427 984 0 4592 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22316

[startup+0.301038 s]
/proc/loadavg: 2.11 2.14 1.74 2/106 13284
/proc/meminfo: memFree=1768616/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=25236 CPUtime=0.29
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 5875 0 0 0 19 10 0 0 25 0 1 0 6884140 25841664 5175 1992294400 4194304 8223781 140737125484832 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 6309 5186 441 984 0 5322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25236

[startup+0.701067 s]
/proc/loadavg: 2.11 2.14 1.74 2/106 13284
/proc/meminfo: memFree=1768616/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=36532 CPUtime=0.69
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 11636 0 0 0 47 22 0 0 25 0 1 0 6884140 37408768 8147 1992294400 4194304 8223781 140737125484832 18446744073709551615 6043568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 9133 8147 552 984 0 8146 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36532

[startup+1.50112 s]
/proc/loadavg: 2.02 2.12 1.74 2/107 13285
/proc/meminfo: memFree=1737608/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=53768 CPUtime=1.49
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 16910 0 0 0 106 43 0 0 25 0 1 0 6884140 55058432 12083 1992294400 4194304 8223781 140737125484832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 13442 12083 576 984 0 12455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53768

[startup+3.10123 s]
/proc/loadavg: 2.02 2.12 1.74 2/107 13285
/proc/meminfo: memFree=1736120/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=39976 CPUtime=3.09
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 18392 0 0 0 262 47 0 0 25 0 1 0 6884140 40935424 8923 1992294400 4194304 8223781 140737125484832 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 9994 8923 603 984 0 9007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39976

[startup+6.30146 s]
/proc/loadavg: 1.94 2.11 1.74 2/107 13285
/proc/meminfo: memFree=1733020/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=46248 CPUtime=6.29
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 20825 0 0 0 579 50 0 0 25 0 1 0 6884140 47357952 10242 1992294400 4194304 8223781 140737125484832 18446744073709551615 6447019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 11562 10242 585 984 0 10575 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46248

[startup+12.7009 s]
/proc/loadavg: 1.87 2.09 1.73 2/107 13285
/proc/meminfo: memFree=1724836/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=50496 CPUtime=12.68
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 23206 0 0 0 1214 54 0 0 25 0 1 0 6884140 51707904 11291 1992294400 4194304 8223781 140737125484832 18446744073709551615 6055460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12624 11291 584 984 0 11637 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50496

[startup+25.5008 s]
/proc/loadavg: 1.73 2.05 1.72 2/107 13287
/proc/meminfo: memFree=1724340/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=51056 CPUtime=25.48
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 25363 0 0 0 2487 61 0 0 25 0 1 0 6884140 52281344 11427 1992294400 4194304 8223781 140737125484832 18446744073709551615 6043630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12764 11427 583 984 0 11777 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51056

[startup+51.1006 s]
/proc/loadavg: 1.44 1.95 1.70 2/107 13287
/proc/meminfo: memFree=1725084/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=49056 CPUtime=51.07
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 65009 0 0 0 5019 88 0 0 25 0 1 0 6884140 50233344 11315 1992294400 4194304 8223781 140737125484832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12264 11315 585 984 0 11277 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49056

[startup+102.308 s]
/proc/loadavg: 1.19 1.80 1.66 2/107 13289
/proc/meminfo: memFree=1725084/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=49072 CPUtime=102.27
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 194689 0 0 0 10067 160 0 0 25 0 1 0 6884140 50249728 11258 1992294400 4194304 8223781 140737125484832 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12268 11259 586 984 0 11281 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49072

[startup+162.3 s]
/proc/loadavg: 1.07 1.65 1.62 2/107 13289
/proc/meminfo: memFree=1724960/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=49088 CPUtime=162.24
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 362449 0 0 0 15975 249 0 0 25 0 1 0 6884140 50266112 11189 1992294400 4194304 8223781 140737125484832 18446744073709551615 6612562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12272 11189 588 984 0 11285 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49088

[startup+222.301 s]
/proc/loadavg: 1.02 1.53 1.58 2/107 13291
/proc/meminfo: memFree=1724464/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=49748 CPUtime=222.23
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 605843 0 0 0 21856 367 0 0 25 0 1 0 6884140 50941952 11343 1992294400 4194304 8223781 140737125484832 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12437 11345 591 984 0 11450 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49748

[startup+282.301 s]
/proc/loadavg: 1.01 1.43 1.54 2/107 13293
/proc/meminfo: memFree=1723224/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=50960 CPUtime=282.21
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 833586 0 0 0 27738 483 0 0 25 0 1 0 6884140 52183040 11745 1992294400 4194304 8223781 140737125484832 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12740 11745 591 984 0 11753 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 50960

[startup+342.301 s]
/proc/loadavg: 1.00 1.35 1.50 2/107 13295
/proc/meminfo: memFree=1722356/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=51656 CPUtime=342.19
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1071296 0 0 0 33617 602 0 0 25 0 1 0 6884140 52895744 11862 1992294400 4194304 8223781 140737125484832 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12914 11862 591 984 0 11927 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 51656

[startup+402.301 s]
/proc/loadavg: 1.00 1.28 1.47 2/107 13297
/proc/meminfo: memFree=1721984/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=51852 CPUtime=402.18
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1317616 0 0 0 39496 722 0 0 25 0 1 0 6884140 53096448 11890 1992294400 4194304 8223781 140737125484832 18446744073709551615 6569595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 12963 11890 591 984 0 11976 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 51852

[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.43 2/107 13297
/proc/meminfo: memFree=1721364/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=52008 CPUtime=462.16
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1493032 0 0 0 45403 813 0 0 25 0 1 0 6884140 53256192 11960 1992294400 4194304 8223781 140737125484832 18446744073709551615 6559504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 13002 11960 591 984 0 12015 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 52008

[startup+522.3 s]
/proc/loadavg: 1.00 1.19 1.40 2/107 13299
/proc/meminfo: memFree=1720496/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=53112 CPUtime=522.14
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1749587 0 0 0 51274 940 0 0 25 0 1 0 6884140 54386688 12201 1992294400 4194304 8223781 140737125484832 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 13278 12201 591 984 0 12291 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 53112

[startup+582.301 s]
/proc/loadavg: 1.00 1.15 1.38 2/107 13301
/proc/meminfo: memFree=1719752/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=53588 CPUtime=582.12
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 1999439 0 0 0 57148 1064 0 0 25 0 1 0 6884140 54874112 12328 1992294400 4194304 8223781 140737125484832 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 13397 12328 591 984 0 12410 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 53588

[startup+642.301 s]
/proc/loadavg: 1.00 1.12 1.35 2/107 13303
/proc/meminfo: memFree=1719380/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=54064 CPUtime=642.11
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 2250926 0 0 0 63024 1187 0 0 25 0 1 0 6884140 55361536 12519 1992294400 4194304 8223781 140737125484832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 13516 12519 591 984 0 12529 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 54064

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.24 2/107 13311
/proc/meminfo: memFree=1714916/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=58288 CPUtime=942.02
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 3472904 0 0 0 92404 1798 0 0 25 0 1 0 6884140 59686912 13567 1992294400 4194304 8223781 140737125484832 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 14572 13567 591 984 0 13585 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 58288

[startup+1002.3 s]
/proc/loadavg: 1.03 1.04 1.23 2/107 13313
/proc/meminfo: memFree=1714792/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=58816 CPUtime=1002.01
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 3720612 0 0 0 98281 1920 0 0 25 0 1 0 6884140 60227584 13670 1992294400 4194304 8223781 140737125484832 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 14704 13670 591 984 0 13717 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 58816

[startup+1062.3 s]
/proc/loadavg: 1.12 1.06 1.22 2/107 13313
/proc/meminfo: memFree=1713552/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=60032 CPUtime=1062
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 3970978 0 0 0 104158 2042 0 0 25 0 1 0 6884140 61472768 13926 1992294400 4194304 8223781 140737125484832 18446744073709551615 6359690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15008 13926 591 984 0 14021 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 60032

[startup+1122.3 s]
/proc/loadavg: 1.04 1.05 1.21 2/107 13315
/proc/meminfo: memFree=1712932/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=60532 CPUtime=1121.98
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 4224182 0 0 0 110037 2161 0 0 25 0 1 0 6884140 61984768 14036 1992294400 4194304 8223781 140737125484832 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15133 14036 591 984 0 14146 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 60532

[startup+1182.3 s]
/proc/loadavg: 1.01 1.04 1.19 2/107 13317
/proc/meminfo: memFree=1711940/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=61288 CPUtime=1181.97
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 4453155 0 0 0 115924 2273 0 0 25 0 1 0 6884140 62758912 14207 1992294400 4194304 8223781 140737125484832 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15322 14207 591 984 0 14335 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 61288

[startup+1242.3 s]
/proc/loadavg: 1.00 1.03 1.17 2/107 13319
/proc/meminfo: memFree=1711940/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=61280 CPUtime=1241.95
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 4699202 0 0 0 121797 2398 0 0 25 0 1 0 6884140 62750720 14244 1992294400 4194304 8223781 140737125484832 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15320 14244 591 984 0 14333 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 61280

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.16 2/107 13321
/proc/meminfo: memFree=1711444/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=61764 CPUtime=1301.96
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 4946221 0 0 0 127675 2521 0 0 25 0 1 0 6884140 63246336 14358 1992294400 4194304 8223781 140737125484832 18446744073709551615 6592375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15441 14358 591 984 0 14454 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 61764

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.15 2/107 13321
/proc/meminfo: memFree=1711196/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=61964 CPUtime=1361.93
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 5195538 0 0 0 133550 2643 0 0 25 0 1 0 6884140 63451136 14392 1992294400 4194304 8223781 140737125484832 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15491 14392 591 984 0 14504 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 61964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.14 2/107 13332
/proc/meminfo: memFree=1709336/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=63384 CPUtime=1421.92
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 5437780 0 0 0 139425 2767 0 0 25 0 1 0 6884140 64905216 14725 1992294400 4194304 8223781 140737125484832 18446744073709551615 6532675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 15846 14725 591 984 0 14859 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 63384

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 13334
/proc/meminfo: memFree=1706732/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=66224 CPUtime=1481.89
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 5680486 0 0 0 145299 2890 0 0 25 0 1 0 6884140 67813376 15418 1992294400 4194304 8223781 140737125484832 18446744073709551615 6587931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 16556 15418 591 984 0 15569 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 66224

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 13336
/proc/meminfo: memFree=1706484/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=66552 CPUtime=1541.88
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 5860682 0 0 0 151202 2986 0 0 25 0 1 0 6884140 68149248 15544 1992294400 4194304 8223781 140737125484832 18446744073709551615 6450714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 16638 15544 591 984 0 15651 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 66552

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 13338
/proc/meminfo: memFree=1700408/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=71768 CPUtime=1601.86
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068192 0 0 0 157088 3098 0 0 25 0 1 0 6884140 73490432 16967 1992294400 4194304 8223781 140737125484832 18446744073709551615 6359580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 17942 16967 591 984 0 16955 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 71768

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13338
/proc/meminfo: memFree=1700408/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=71768 CPUtime=1661.86
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068203 0 0 0 163058 3128 0 0 25 0 1 0 6884140 73490432 16972 1992294400 4194304 8223781 140737125484832 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 17942 16972 591 984 0 16955 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 71768

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 13340
/proc/meminfo: memFree=1700408/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=71768 CPUtime=1721.84
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068211 0 0 0 169026 3158 0 0 25 0 1 0 6884140 73490432 16972 1992294400 4194304 8223781 140737125484832 18446744073709551615 6304403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 17942 16972 591 984 0 16955 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 71768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13342
/proc/meminfo: memFree=1700160/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=71768 CPUtime=1781.83
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068221 0 0 0 174997 3186 0 0 25 0 1 0 6884140 73490432 16972 1992294400 4194304 8223781 140737125484832 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 17942 16972 591 984 0 16955 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 71768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 13342
/proc/meminfo: memFree=1700160/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=71768 CPUtime=1800.03
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068223 0 0 0 176807 3196 0 0 25 0 1 0 6884140 73490432 16972 1992294400 4194304 8223781 140737125484832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 17942 16972 591 984 0 16955 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 71768

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 13343
/proc/meminfo: memFree=1700152/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=71768 CPUtime=1800.13
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068223 0 0 0 176817 3196 0 0 25 0 1 0 6884140 73490432 16972 1992294400 4194304 8223781 140737125484832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13284/statm: 17942 16972 591 984 0 16955 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 71768

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 13343
/proc/meminfo: memFree=1700152/2059040 swapFree=4192956/4192956
[pid=13284] ppid=13282 vsize=69436 CPUtime=1800.23
/proc/13284/stat : 13284 (pbscip.linux.x8) R 13282 13284 11743 0 -1 4202496 6068225 0 0 0 176827 3196 0 0 25 0 1 0 6884140 71102464 16393 1992294400 4194304 8223781 140737125484832 18446744073709551615 4699570 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13284/statm: 17359 16393 593 984 0 16372 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 69436

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.26
CPU user time (s): 1768.28
CPU system time (s): 31.9791
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 83844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.28
system time used= 31.9791
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6068229
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 7249

runsolver used 3.18152 second user time and 8.30374 second system time

The end

Launcher Data 

Begin job on node034 at 2010-06-16 04:38:11
IDJOB=2666631
IDBENCH=48144
IDSOLVER=1169
FILE ID=node034/2666631-1276655891
PBS_JOBID= 11172421
Free space on /tmp= 62516 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666631-1276655891/watcher-2666631-1276655891 -o /tmp/evaluation-result-2666631-1276655891/solver-2666631-1276655891 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666631-1276655891.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02
RANDOM SEED=1107966641

node034.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
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.48
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.242
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1769144 kB
Buffers:         42572 kB
Cached:         122972 kB
SwapCached:          0 kB
Active:         123048 kB
Inactive:       102284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1769144 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4636 kB
Writeback:           0 kB
AnonPages:       59808 kB
Mapped:          15396 kB
Slab:            42832 kB
PageTables:       3908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181072 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= 62508 MiB
End job on node034 at 2010-06-16 05:08:13