Trace number 1870294

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT20 1798.2 1798.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMb738c7950af6b3d63e331a14bc641dc9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1798.2
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 constraint22
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)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


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

Solver Data 

0.01/0.03	c SCIP version 1.1.0.7
0.01/0.03	c LP-Solver SoPlex 1.4.1
0.01/0.03	c user parameter file <scip.set> not found - using default parameters
0.01/0.03	c read problem <HOME/instance-1870294-1245195694.opb>
0.01/0.03	c original problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 2724 constraints
0.01/0.05	c start presolving problem
0.01/0.05	c presolving:
0.19/0.23	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 73720 impls, 0 clqs
0.39/0.40	c    (0.2s) probing: 101/2724 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.40	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.40	c presolving (2 rounds):
0.39/0.40	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.40	c  73720 implications, 0 cliques
0.39/0.40	c presolved problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 2724 constraints
0.39/0.40	c    2524 constraints of type <and>
0.39/0.40	c     200 constraints of type <logicor>
0.39/0.40	c transformed objective value is always integral (scale: 1)
0.39/0.40	c Presolving Time: 0.21
0.39/0.40	c OPT-NLC
0.39/0.40	c -----------------------------------------------------------------------------------------------
0.39/0.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40	c limits/memory = c 1620
0.39/0.40	c # maximal time in seconds to run
0.39/0.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.40	c limits/time = c 1791
0.39/0.40	c # frequency for displaying node information lines
0.39/0.40	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.40	c display/freq = c 10000
0.39/0.40	c -----------------------------------------------------------------------------------------------
0.39/0.40	c start solving problem
0.39/0.40	c 
0.39/0.48	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.48	c   0.3s|     1 |     0 |   400 |  13M|   0 | 400 |2724 |2724 |2724 |2724 |5248 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.49	o 45
0.39/0.49	c s 0.3s|     1 |     0 |   400 |  13M|   0 | 400 |2724 |2724 |2724 |2724 |5248 |   0 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
1.00/1.07	c   0.8s|     1 |     0 |  1000 |  13M|   0 | 400 |2724 |2724 |2724 |2724 |5648 | 400 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
1.58/1.62	c   1.4s|     1 |     0 |  1600 |  14M|   0 | 400 |2724 |2724 |2724 |2724 |6050 | 802 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
2.19/2.21	c   2.0s|     1 |     0 |  2201 |  14M|   0 | 400 |2724 |2724 |2724 |2724 |6452 |1204 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
2.79/2.85	c   2.6s|     1 |     0 |  2804 |  14M|   0 | 400 |2724 |2724 |2724 |2724 |6854 |1606 |   0 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
2.79/2.87	o 36
2.79/2.87	c s 2.6s|     1 |     0 |  2804 |  14M|   0 | 400 |2724 |2724 |2724 |2724 |6854 |1606 |   0 |   0 | 0.000000e+00 | 3.600000e+01 |    Inf 
3.89/3.91	c   3.6s|     1 |     0 |  3774 |  14M|   0 | 924 |2724 |2724 |2724 |2724 |7255 |2007 |   0 |   0 | 1.180284e+01 | 3.600000e+01 | 205.01%
7.28/7.30	c   7.0s|     1 |     0 |  4580 |  15M|   0 |1215 |2724 |2724 |2724 |2724 |7460 |2212 |   0 |   0 | 1.347952e+01 | 3.600000e+01 | 167.07%
10.49/10.57	c  10.3s|     1 |     0 |  5207 |  16M|   0 |1393 |2724 |2724 |2724 |2724 |7548 |2300 |   0 |   0 | 1.409575e+01 | 3.600000e+01 | 155.40%
15.19/15.25	c  14.9s|     1 |     0 |  5523 |  17M|   0 |1586 |2724 |2724 |2724 |2724 |7594 |2346 |   0 |   0 | 1.433626e+01 | 3.600000e+01 | 151.11%
19.29/19.39	c  19.1s|     1 |     0 |  5746 |  17M|   0 |1632 |2724 |2724 |2724 |2724 |7624 |2376 |   0 |   0 | 1.445554e+01 | 3.600000e+01 | 149.04%
24.08/24.16	c  23.8s|     1 |     0 |  5946 |  17M|   0 |1587 |2724 |2724 |2724 |2724 |7640 |2392 |   0 |   0 | 1.449302e+01 | 3.600000e+01 | 148.40%
28.58/28.68	c  28.3s|     1 |     0 |  6066 |  17M|   0 |1672 |2724 |2724 |2724 |2724 |2689 |2404 |   0 |   0 | 1.451299e+01 | 3.600000e+01 | 148.05%
29.78/29.89	c  29.5s|     1 |     0 |  6179 |  17M|   0 |1705 |2724 |2724 |2724 |2724 |2699 |2414 |   0 |   0 | 1.453491e+01 | 3.600000e+01 | 147.68%
31.07/31.18	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.07/31.18	c  30.8s|     1 |     0 |  6219 |  17M|   0 |1712 |2724 |2724 |2724 |2724 |2716 |2431 |   0 |   0 | 1.453671e+01 | 3.600000e+01 | 147.65%
32.47/32.59	c  32.2s|     1 |     0 |  6270 |  17M|   0 |1750 |2724 |2724 |2724 |2724 |2722 |2437 |   0 |   0 | 1.454018e+01 | 3.600000e+01 | 147.59%
33.88/33.94	c  33.5s|     1 |     0 |  6299 |  17M|   0 |1787 |2724 |2724 |2724 |2724 |2728 |2443 |   0 |   0 | 1.454335e+01 | 3.600000e+01 | 147.54%
35.27/35.33	c  34.9s|     1 |     0 |  6319 |  17M|   0 |1792 |2724 |2724 |2724 |2724 |2730 |2445 |   0 |   0 | 1.454422e+01 | 3.600000e+01 | 147.52%
52.27/52.33	c  51.8s|     1 |     2 | 12183 |  17M|   0 |1792 |2724 |2724 |2724 |2724 |2730 |2445 |   0 |  34 | 1.454422e+01 | 3.600000e+01 | 147.52%
133.95/134.07	o 24
133.95/134.07	c * 133s|    37 |    34 | 20169 |  18M|  24 |   - |2724 |2724 |2296 |2724 |2907 |2981 |   0 | 508 | 1.474478e+01 | 2.400000e+01 |  62.77%
141.34/141.44	o 22
141.34/141.44	c * 141s|    57 |    41 | 25084 |  18M|  24 |   - |2724 |2724 |2404 |2724 |2870 |3341 |   0 | 523 | 1.478080e+01 | 2.200000e+01 |  48.84%
142.55/142.63	o 21
142.55/142.63	c * 142s|    88 |    38 | 26606 |  18M|  24 |   - |2724 |2724 |1956 |2724 |2865 |3481 |   0 | 523 | 1.478080e+01 | 2.100000e+01 |  42.08%
868.86/869.14	o 20
868.86/869.14	c * 865s|  5507 |   533 |712293 |  20M|  31 |   - |2724 |2724 |1971 |2724 |2861 |  32k|   0 |3017 | 1.624439e+01 | 2.000000e+01 |  23.12%
1576.57/1577.01	c  1570s| 10000 |  1066 |  1334k|  23M|  31 |1134 |2724 |2724 |2397 |2724 |2861 |  58k|   0 |5772 | 1.649120e+01 | 2.000000e+01 |  21.28%
1798.12/1798.60	c 
1798.12/1798.60	c SCIP Status        : solving was interrupted [time limit reached]
1798.12/1798.60	c Solving Time (sec) : 1791.00
1798.12/1798.60	c Solving Nodes      : 11424
1798.12/1798.60	c Primal Bound       : +2.00000000000000e+01 (6 solutions)
1798.12/1798.60	c Dual Bound         : +1.65616056797663e+01
1798.12/1798.60	c Gap                : 20.76 %
1798.12/1798.60	c NODE         11424
1798.12/1798.60	c DUAL BOUND   16.5616
1798.12/1798.60	c PRIMAL BOUND 20
1798.12/1798.60	c GAP          0.207612
1798.12/1798.60	s SATISFIABLE
1798.12/1798.60	v x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 
1798.12/1798.60	v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 
1798.12/1798.60	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 
1798.12/1798.60	v -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
1798.12/1798.60	v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 
1798.12/1798.60	v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 
1798.12/1798.60	v -x68 x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 x45 x44 x43 
1798.12/1798.60	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 
1798.12/1798.60	v x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 -x3 -x2 x1 
1798.12/1798.60	c SCIP Status        : solving was interrupted [time limit reached]
1798.12/1798.60	c Solving Time       :    1791.00
1798.12/1798.60	c Original Problem   :
1798.12/1798.60	c   Problem name     : HOME/instance-1870294-1245195694.opb
1798.12/1798.60	c   Variables        : 2724 (2724 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.12/1798.60	c   Constraints      : 2724 initial, 2724 maximal
1798.12/1798.60	c Presolved Problem  :
1798.12/1798.60	c   Problem name     : t_HOME/instance-1870294-1245195694.opb
1798.12/1798.60	c   Variables        : 2724 (2724 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.12/1798.60	c   Constraints      : 2724 initial, 2724 maximal
1798.12/1798.60	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.12/1798.60	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.12/1798.60	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.12/1798.60	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.12/1798.60	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.12/1798.60	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.12/1798.60	c   probing          :       0.05          0          0          0          0          0          0          0          0
1798.12/1798.60	c   and              :       0.14          0          0          0          0          0          0          0          0
1798.12/1798.60	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1798.12/1798.60	c   root node        :          -          0          -          -          0          -          -          -          -
1798.12/1798.60	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.12/1798.60	c   integral         :          0          0          0       6806          0         92       1091          0          0      12888
1798.12/1798.60	c   and              :       2524      17910      85433          4          0          0     665250      67608          0          0
1798.12/1798.60	c   logicor          :        200         17      36640          4          0          0          1          0          0          0
1798.12/1798.60	c   countsols        :          0          0          0          4          0          0          0          0          0          0
1798.12/1798.60	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.12/1798.60	c   integral         :     440.72       0.00       0.00     440.72       0.00
1798.12/1798.60	c   and              :      60.29      44.60      15.69       0.00       0.00
1798.12/1798.60	c   logicor          :       0.40       0.00       0.39       0.01       0.00
1798.12/1798.60	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.12/1798.60	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.12/1798.60	c   rootredcost      :       0.10          4          0          0
1798.12/1798.60	c   pseudoobj        :       1.71      85467          0          0
1798.12/1798.60	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.12/1798.60	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1798.12/1798.60	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.12/1798.60	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.12/1798.60	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.12/1798.60	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.12/1798.60	c   applied globally :          -          -          -          0        0.0          -          -          -
1798.12/1798.60	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.12/1798.60	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.12/1798.60	c   cut pool         :       0.01         16          -          -          0          -    (maximal pool size: 2888)
1798.12/1798.60	c   redcost          :       3.26      18142          0     133919          0          0
1798.12/1798.60	c   impliedbounds    :       0.05         17          0          0       2551          0
1798.12/1798.60	c   intobj           :       0.00          0          0          0          0          0
1798.12/1798.60	c   gomory           :      17.81         17          0          0       2640          0
1798.12/1798.60	c   strongcg         :      10.84         17          0          0       4000          0
1798.12/1798.60	c   cmir             :       2.05         10          0          0       2011          0
1798.12/1798.60	c   flowcover        :       0.95         10          0          0        200          0
1798.12/1798.60	c   clique           :       0.13         17          0          0         14          0
1798.12/1798.60	c   zerohalf         :       0.00          0          0          0          0          0
1798.12/1798.60	c   mcf              :       0.01          1          0          0          0          0
1798.12/1798.60	c Pricers            :       Time      Calls       Vars
1798.12/1798.60	c   problem variables:       0.00          0          0
1798.12/1798.60	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.12/1798.60	c   relpscost        :     440.70       6802         92       1091          0          0      12888
1798.12/1798.60	c   pscost           :       0.00          0          0          0          0          0          0
1798.12/1798.60	c   inference        :       0.00          0          0          0          0          0          0
1798.12/1798.60	c   mostinf          :       0.00          0          0          0          0          0          0
1798.12/1798.60	c   leastinf         :       0.00          0          0          0          0          0          0
1798.12/1798.60	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.12/1798.60	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.12/1798.60	c   random           :       0.00          0          0          0          0          0          0
1798.12/1798.60	c Primal Heuristics  :       Time      Calls      Found
1798.12/1798.60	c   LP solutions     :       0.00          -          4
1798.12/1798.60	c   pseudo solutions :       0.00          -          0
1798.12/1798.60	c   oneopt           :       0.00          5          0
1798.12/1798.60	c   crossover        :       0.39          6          0
1798.12/1798.60	c   fracdiving       :      67.79         47          0
1798.12/1798.60	c   guideddiving     :      67.45         49          0
1798.12/1798.60	c   coefdiving       :      37.03         50          0
1798.12/1798.60	c   linesearchdiving :      39.82         51          0
1798.12/1798.60	c   simplerounding   :       0.06          0          0
1798.12/1798.60	c   rounding         :       4.16       1884          0
1798.12/1798.60	c   shifting         :       5.32       1661          2
1798.12/1798.60	c   intshifting      :       0.00          0          0
1798.12/1798.60	c   fixandinfer      :       0.00          0          0
1798.12/1798.60	c   feaspump         :       5.19          1          0
1798.12/1798.60	c   pscostdiving     :      68.57         41          0
1798.12/1798.60	c   veclendiving     :      49.50         44          0
1798.12/1798.60	c   intdiving        :       0.00          0          0
1798.12/1798.60	c   actconsdiving    :       0.00          0          0
1798.12/1798.60	c   objpscostdiving  :      62.98          3          0
1798.12/1798.60	c   rootsoldiving    :       9.36         18          0
1798.12/1798.60	c   octane           :       0.00          0          0
1798.12/1798.60	c   rens             :       0.01          0          0
1798.12/1798.60	c   rins             :       0.00          0          0
1798.12/1798.60	c   localbranching   :       0.00          0          0
1798.12/1798.60	c   mutation         :       0.00          0          0
1798.12/1798.60	c   dins             :       0.00          0          0
1798.12/1798.60	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.12/1798.60	c   primal LP        :       6.46          0          0       0.00       0.00
1798.12/1798.60	c   dual LP          :     773.92      23380    1083866      46.36    1400.49
1798.12/1798.60	c   barrier LP       :       0.00          0          0       0.00          -
1798.12/1798.60	c   diving/probing LP:     358.09      21200     459885      21.69    1284.27
1798.12/1798.60	c   strong branching :     435.75       6513     630564      96.82    1447.08
1798.12/1798.60	c     (at root node) :          -         34      13186     387.82          -
1798.12/1798.60	c   conflict analysis:       0.00          0          0       0.00          -
1798.12/1798.60	c B&B Tree           :
1798.12/1798.60	c   number of runs   :          1
1798.12/1798.60	c   nodes            :      11424
1798.12/1798.60	c   nodes (total)    :      11424
1798.12/1798.60	c   nodes left       :       1310
1798.12/1798.60	c   max depth        :         31
1798.12/1798.60	c   max depth (total):         31
1798.12/1798.60	c   backtracks       :       2179 (19.1%)
1798.12/1798.60	c   delayed cutoffs  :          0
1798.12/1798.60	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.12/1798.60	c   avg switch length:       3.68
1798.12/1798.60	c   switching time   :      11.12
1798.12/1798.60	c Solution           :
1798.12/1798.60	c   Solutions found  :          6 (6 improvements)
1798.12/1798.60	c   Primal Bound     : +2.00000000000000e+01   (in run 1, after 5507 nodes, 865.23 seconds, depth 17, found by <relaxation>)
1798.12/1798.60	c   Dual Bound       : +1.65616056797663e+01
1798.12/1798.60	c   Gap              :      20.76 %
1798.12/1798.60	c   Root Dual Bound  : +1.45442215129071e+01
1798.12/1798.67	c Time complete: 1798.19.

Verifier Data 

OK	20

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.85 1.09 1.12 3/64 10635
/proc/meminfo: memFree=1819644/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=6100 CPUtime=0
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 538 0 0 0 0 0 0 0 20 0 1 0 187167321 6246400 520 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/10635/statm: 1525 531 325 886 0 635 0

[startup+0.027027 s]
/proc/loadavg: 0.85 1.09 1.12 3/64 10635
/proc/meminfo: memFree=1819644/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=11676 CPUtime=0.01
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 2260 0 0 0 1 0 0 0 20 0 1 0 187167321 11956224 2242 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/10635/statm: 2919 2242 356 886 0 2029 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11676

[startup+0.101034 s]
/proc/loadavg: 0.85 1.09 1.12 3/64 10635
/proc/meminfo: memFree=1819644/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=22764 CPUtime=0.09
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 5078 0 0 0 8 1 0 0 20 0 1 0 187167321 23310336 4706 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 5691 4706 405 886 0 4801 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22764

[startup+0.301055 s]
/proc/loadavg: 0.85 1.09 1.12 3/64 10635
/proc/meminfo: memFree=1819644/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=23836 CPUtime=0.29
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 5375 0 0 0 17 12 0 0 23 0 1 0 187167321 24408064 5003 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 5959 5003 427 886 0 5069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23836

[startup+0.701096 s]
/proc/loadavg: 0.85 1.09 1.12 3/64 10635
/proc/meminfo: memFree=1819644/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=35316 CPUtime=0.69
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 8414 0 0 0 51 18 0 0 25 0 1 0 187167321 36163584 7940 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 8829 7940 534 886 0 7939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35316

[startup+1.50118 s]
/proc/loadavg: 0.85 1.09 1.12 2/65 10636
/proc/meminfo: memFree=1789172/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=36988 CPUtime=1.49
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 9030 0 0 0 128 21 0 0 25 0 1 0 187167321 37875712 8461 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 9247 8461 552 886 0 8357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36988

[startup+3.10234 s]
/proc/loadavg: 0.85 1.09 1.12 2/65 10636
/proc/meminfo: memFree=1786868/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=39564 CPUtime=3.09
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 9707 0 0 0 286 23 0 0 25 0 1 0 187167321 40513536 9138 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 9891 9138 552 886 0 9001 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39564

[startup+6.30167 s]
/proc/loadavg: 0.86 1.08 1.12 2/65 10636
/proc/meminfo: memFree=1782196/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=44748 CPUtime=6.29
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 11007 0 0 0 603 26 0 0 25 0 1 0 187167321 45821952 10400 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 11187 10400 553 886 0 10297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44748

[startup+12.7013 s]
/proc/loadavg: 0.95 1.10 1.13 2/65 10636
/proc/meminfo: memFree=1773692/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=50700 CPUtime=12.68
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 12495 0 0 0 1240 28 0 0 25 0 1 0 187167321 51916800 11879 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 12675 11879 553 886 0 11785 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50700

[startup+25.5017 s]
/proc/loadavg: 1.18 1.14 1.14 2/65 10636
/proc/meminfo: memFree=1772860/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=51536 CPUtime=25.48
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 12721 0 0 0 2515 33 0 0 25 0 1 0 187167321 52772864 12105 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 12884 12105 553 886 0 11994 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51536

[startup+51.1013 s]
/proc/loadavg: 1.18 1.15 1.14 2/65 10636
/proc/meminfo: memFree=1773180/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=51536 CPUtime=51.07
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 12744 0 0 0 5063 44 0 0 25 0 1 0 187167321 52772864 12125 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 12884 12125 559 886 0 11994 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51536

[startup+102.306 s]
/proc/loadavg: 1.07 1.12 1.13 2/65 10636
/proc/meminfo: memFree=1773180/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=51536 CPUtime=102.26
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 12745 0 0 0 10162 64 0 0 25 0 1 0 187167321 52772864 12126 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 12884 12126 560 886 0 11994 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51536

[startup+162.302 s]
/proc/loadavg: 1.03 1.10 1.12 2/65 10636
/proc/meminfo: memFree=1773180/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=51536 CPUtime=162.24
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 12749 0 0 0 16139 85 0 0 25 0 1 0 187167321 52772864 12130 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 12884 12130 561 886 0 11994 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51536

[startup+222.302 s]
/proc/loadavg: 1.01 1.08 1.11 2/65 10636
/proc/meminfo: memFree=1773820/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=50868 CPUtime=222.23
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 16198 0 0 0 22117 106 0 0 25 0 1 0 187167321 52088832 11980 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 12717 11980 570 886 0 11827 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 50868

[startup+282.301 s]
/proc/loadavg: 1.00 1.06 1.10 2/65 10636
/proc/meminfo: memFree=1772156/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=52532 CPUtime=282.21
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 20233 0 0 0 28088 133 0 0 25 0 1 0 187167321 53792768 12393 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 13133 12393 570 886 0 12243 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 52532

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.09 2/65 10636
/proc/meminfo: memFree=1771644/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=53076 CPUtime=342.2
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 24141 0 0 0 34062 158 0 0 25 0 1 0 187167321 54349824 12514 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 13269 12514 570 886 0 12379 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 53076

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.08 2/65 10636
/proc/meminfo: memFree=1770556/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=54104 CPUtime=402.18
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 24415 0 0 0 40038 180 0 0 25 0 1 0 187167321 55402496 12788 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 13526 12788 570 886 0 12636 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 54104

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.08 2/65 10636
/proc/meminfo: memFree=1769980/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=54708 CPUtime=462.17
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 24561 0 0 0 46016 201 0 0 25 0 1 0 187167321 56020992 12934 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 13677 12934 570 886 0 12787 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 54708

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.07 2/65 10636
/proc/meminfo: memFree=1769852/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=54924 CPUtime=522.15
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 24596 0 0 0 51992 223 0 0 25 0 1 0 187167321 56242176 12969 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 13731 12969 570 886 0 12841 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 54924

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 10636
/proc/meminfo: memFree=1769148/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=55480 CPUtime=582.13
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 28611 0 0 0 57963 250 0 0 25 0 1 0 187167321 56811520 13129 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 13870 13129 570 886 0 12980 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 55480

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 10636
/proc/meminfo: memFree=1768380/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=56264 CPUtime=642.12
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 28807 0 0 0 63939 273 0 0 25 0 1 0 187167321 57614336 13325 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 14066 13325 570 886 0 13176 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 56264

[startup+702.301 s]

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

/proc/meminfo: memFree=1764860/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=59512 CPUtime=1122
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38290 0 0 0 111737 463 0 0 25 0 1 0 187167321 60940288 14136 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 14878 14136 570 886 0 13988 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 59512

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10642
/proc/meminfo: memFree=1764604/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=59512 CPUtime=1181.97
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38292 0 0 0 117711 486 0 0 25 0 1 0 187167321 60940288 14138 1992294400 4194304 7823515 548682068736 18446744073709551615 6234864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 14878 14138 570 886 0 13988 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 59512

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10642
/proc/meminfo: memFree=1764604/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=59512 CPUtime=1241.96
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38292 0 0 0 123688 508 0 0 25 0 1 0 187167321 60940288 14138 1992294400 4194304 7823515 548682068736 18446744073709551615 6237364 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 14878 14138 570 886 0 13988 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 59512

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10642
/proc/meminfo: memFree=1764476/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=59648 CPUtime=1301.95
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38330 0 0 0 129665 530 0 0 25 0 1 0 187167321 61079552 14176 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 14912 14176 570 886 0 14022 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 59648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10642
/proc/meminfo: memFree=1764092/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=59936 CPUtime=1361.93
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38398 0 0 0 135643 550 0 0 25 0 1 0 187167321 61374464 14244 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 14984 14244 570 886 0 14094 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 59936

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1763964/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=60128 CPUtime=1421.92
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38421 0 0 0 141620 572 0 0 25 0 1 0 187167321 61571072 14267 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15032 14267 570 886 0 14142 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 60128

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1763388/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=60760 CPUtime=1481.9
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38569 0 0 0 147596 594 0 0 25 0 1 0 187167321 62218240 14415 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15190 14415 570 886 0 14300 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 60760

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1763068/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=60908 CPUtime=1541.89
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38645 0 0 0 153574 615 0 0 25 0 1 0 187167321 62369792 14491 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15227 14491 570 886 0 14337 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 60908

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1761788/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=62200 CPUtime=1601.87
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 38968 0 0 0 159552 635 0 0 25 0 1 0 187167321 63692800 14814 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15550 14814 570 886 0 14660 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 62200

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1761084/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=62884 CPUtime=1661.85
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39138 0 0 0 165527 658 0 0 25 0 1 0 187167321 64393216 14984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15721 14984 570 886 0 14831 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 62884

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760508/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63468 CPUtime=1721.83
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39284 0 0 0 171502 681 0 0 25 0 1 0 187167321 64991232 15130 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15867 15130 570 886 0 14977 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 63468

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1781.82
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 177478 704 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 63820

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1791.42
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 178435 707 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 63820

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1794.63
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 178754 709 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6247064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 63820

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1796.22
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 178913 709 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 63820

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1797.02
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 178992 710 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 63820

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1797.82
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 179072 710 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 63820

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1798.02
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 179092 710 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 63820

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10643
/proc/meminfo: memFree=1760060/2055920 swapFree=4178716/4192956
[pid=10635] ppid=10633 vsize=63820 CPUtime=1798.12
/proc/10635/stat : 10635 (pbscip.linux.x8) R 10633 10635 10598 0 -1 4194304 39372 0 0 0 179102 710 0 0 25 0 1 0 187167321 65351680 15218 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10635/statm: 15955 15218 570 886 0 15065 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 63820

Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.2
CPU user time (s): 1791.08
CPU system time (s): 7.11792
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 74940

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

runsolver used 1.48077 second user time and 4.16337 second system time

The end

Launcher Data 

Begin job on node90 at 2009-06-17 01:41:34
IDJOB=1870294
IDBENCH=48146
IDSOLVER=683
FILE ID=node90/1870294-1245195694
PBS_JOBID= 9368341
Free space on /tmp= 66528 MiB

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

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

MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9
RANDOM SEED=589696977

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1820124 kB
Buffers:         35228 kB
Cached:         135796 kB
SwapCached:       8428 kB
Active:          78756 kB
Inactive:       102812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820124 kB
SwapTotal:     4192956 kB
SwapFree:      4178716 kB
Dirty:           10100 kB
Writeback:           0 kB
Mapped:          16124 kB
Slab:            40224 kB
Committed_AS:   121588 kB
PageTables:       1436 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66520 MiB
End job on node90 at 2009-06-17 02:11:33