Trace number 1870483

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT-53 1794.89 1795.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark1794.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
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.00/0.04	c SCIP version 1.1.0.7
0.00/0.04	c LP-Solver Clp 1.8.2
0.00/0.04	c user parameter file <scip.set> not found - using default parameters
0.00/0.04	c read problem <HOME/instance-1870483-1245207066.opb>
0.00/0.04	c original problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3125 constraints
0.04/0.07	c start presolving problem
0.04/0.07	c presolving:
0.19/0.24	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20592 impls, 400 clqs
0.39/0.44	c    (0.2s) probing: 101/2924 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.44	c presolving (2 rounds):
0.39/0.44	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44	c  20592 implications, 400 cliques
0.39/0.44	c presolved problem has 2924 variables (2924 bin, 0 int, 0 impl, 0 cont) and 3125 constraints
0.39/0.44	c     400 constraints of type <setppc>
0.39/0.44	c    2524 constraints of type <and>
0.39/0.44	c       1 constraints of type <linear>
0.39/0.44	c     200 constraints of type <logicor>
0.39/0.44	c transformed objective value is always integral (scale: 1)
0.39/0.44	c Presolving Time: 0.22
0.39/0.45	c OPT-NLC
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = c 1620
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = c 1791
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = c 10000
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving problem
0.39/0.45	c 
1.00/1.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.00/1.01	c   0.8s|     1 |     0 |  1013 |  13M|   0 | 833 |2924 |3125 |3125 |2924 |5649 |   0 |   0 |   0 |-1.000000e+02 |      --      |    Inf 
1.00/1.03	o 0
1.00/1.03	c R 0.8s|     1 |     0 |  1013 |  13M|   0 | 833 |2924 |3125 |3125 |2924 |5649 |   0 |   0 |   0 |-1.000000e+02 | 3.552714e-15 |    Inf 
4.19/4.23	c   4.0s|     1 |     0 |  2839 |  13M|   0 |1052 |2924 |3125 |3125 |2924 |5659 |  10 |   0 |   0 |-1.000000e+02 | 3.552714e-15 |    Inf 
4.19/4.27	o -4
4.19/4.27	c s 4.0s|     1 |     0 |  2839 |  13M|   0 |1052 |2924 |3125 |3125 |2924 |5659 |  10 |   0 |   0 |-1.000000e+02 |-4.000000e+00 |  96.00%
9.89/10.00	c   9.7s|     1 |     0 |  4818 |  14M|   0 |1648 |2924 |3125 |3125 |2924 |5666 |  17 |   0 |   0 |-1.000000e+02 |-4.000000e+00 |  96.00%
11.89/11.95	c  11.7s|     1 |     0 |  4956 |  14M|   0 |1644 |2924 |3125 |3125 |2924 |5701 |  52 |   0 |   0 |-1.000000e+02 |-4.000000e+00 |  96.00%
11.89/11.99	o -9
11.89/11.99	c s11.7s|     1 |     0 |  4956 |  14M|   0 |1644 |2924 |3125 |3125 |2924 |5701 |  52 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
14.19/14.21	c  13.9s|     1 |     0 |  5235 |  14M|   0 |1653 |2924 |3125 |3125 |2924 |5707 |  58 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
16.49/16.59	c  16.3s|     1 |     0 |  5533 |  14M|   0 |1661 |2924 |3125 |3125 |2924 |5713 |  64 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
18.59/18.63	c  18.3s|     1 |     0 |  5604 |  14M|   0 |1664 |2924 |3125 |3125 |2924 |5718 |  69 |   0 |   0 |-1.000000e+02 |-9.000000e+00 |  91.00%
35.78/35.80	c  35.5s|     1 |     2 |  5604 |  14M|   0 |1664 |2924 |3125 |3125 |2924 |5718 |  69 |   0 |  25 |-1.000000e+02 |-9.000000e+00 |  91.00%
728.98/729.25	o -45
728.98/729.25	c f 727s|    48 |    49 |616404 |  17M|  14 |   - |2924 |3165 | 119 |2924 |2960 |5329 |  40 | 579 |-9.935692e+01 |-4.500000e+01 |  54.71%
1224.43/1224.87	o -49
1224.43/1224.87	c f1222s|    83 |    84 |  1082k|  17M|  14 |   - |2924 |3182 | 143 |2924 |3282 |7655 |  57 | 817 |-9.826109e+01 |-4.900000e+01 |  50.13%
1515.15/1515.62	o -53
1515.15/1515.62	c l1512s|   105 |   106 |  1379k|  16M|  14 |   - |2924 |3205 | 109 |2924 |2991 |8607 |  80 | 936 |-9.809174e+01 |-5.300000e+01 |  45.97%
1794.77/1795.34	c 
1794.77/1795.34	c SCIP Status        : solving was interrupted [time limit reached]
1794.77/1795.35	c Solving Time (sec) : 1791.01
1794.77/1795.35	c Solving Nodes      : 135
1794.77/1795.35	c Primal Bound       : -5.30000000000000e+01 (9 solutions)
1794.77/1795.35	c Dual Bound         : -9.80917391757508e+01
1794.77/1795.35	c Gap                : 45.97 %
1794.77/1795.35	c NODE         135
1794.77/1795.35	c DUAL BOUND   -98.0917
1794.77/1795.35	c PRIMAL BOUND -53
1794.77/1795.35	c GAP          0.459689
1794.77/1795.35	s SATISFIABLE
1794.77/1795.35	v -x337 -x254 -x326 x298 -x375 -x353 -x329 -x311 x351 -x391 -x235 x400 -x393 x398 -x312 -x293 -x336 x331 x259 x304 -x366 x349 x276 
1794.77/1795.35	v x341 x281 -x396 -x359 -x228 x399 -x346 -x255 -x244 -x322 -x358 -x270 -x219 x314 -x266 x347 x371 -x279 -x372 -x260 -x382 -x333 
1794.77/1795.35	v -x216 x277 x243 x269 -x324 -x320 x267 x237 x352 -x387 x310 x335 -x214 -x261 x356 -x263 -x274 x385 -x381 -x265 -x316 -x213 
1794.77/1795.35	v -x253 -x278 -x227 x357 -x290 -x289 x288 -x285 x251 x313 x379 -x294 x210 -x272 -x241 -x378 -x249 -x209 -x389 -x286 -x250 -x234 
1794.77/1795.35	v -x224 -x264 -x306 -x361 -x268 -x388 -x334 -x383 x380 x330 -x271 -x247 x301 -x239 x291 x362 -x354 -x258 -x256 -x230 -x211 -x308 
1794.77/1795.35	v -x340 x392 -x232 -x394 -x206 -x397 -x363 -x309 -x297 -x282 -x238 -x218 -x207 x296 x287 -x222 -x368 x348 -x390 x370 x292 -x246 
1794.77/1795.35	v -x217 -x248 -x344 -x273 -x299 x343 -x332 -x245 -x376 -x377 -x373 -x307 -x295 -x240 -x236 x262 -x223 -x325 -x395 -x220 -x300 
1794.77/1795.35	v x203 x367 -x257 -x233 x208 -x305 -x221 x321 -x283 -x323 x319 x374 -x369 -x202 -x360 -x339 -x280 -x252 x231 -x225 -x212 -x205 
1794.77/1795.35	v x318 -x350 -x342 x303 -x215 -x204 -x365 -x315 -x355 -x201 -x384 -x328 -x317 -x242 -x345 -x386 -x229 -x226 -x338 -x364 -x327 
1794.77/1795.35	v -x275 -x284 -x302 -x200 -x199 -x198 x197 x196 -x195 x194 x193 -x192 -x191 x190 x189 x188 x187 -x186 -x185 -x184 -x183 -x182 
1794.77/1795.35	v -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 x160 
1794.77/1795.35	v x159 x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 x142 -x141 x140 x139 x138 
1794.77/1795.35	v -x137 x136 -x135 x134 x133 x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 
1794.77/1795.35	v x115 -x114 -x113 x112 -x111 -x110 x109 x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 x95 x94 -x93 -x92 
1794.77/1795.35	v -x91 x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 x70 -x69 -x68 -x67 x66 
1794.77/1795.35	v x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 
1794.77/1795.35	v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 
1794.77/1795.35	v -x14 x13 x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 x1 
1794.77/1795.35	c SCIP Status        : solving was interrupted [time limit reached]
1794.77/1795.35	c Solving Time       :    1791.01
1794.77/1795.35	c Original Problem   :
1794.77/1795.35	c   Problem name     : HOME/instance-1870483-1245207066.opb
1794.77/1795.35	c   Variables        : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.77/1795.35	c   Constraints      : 3125 initial, 3125 maximal
1794.77/1795.35	c Presolved Problem  :
1794.77/1795.35	c   Problem name     : t_HOME/instance-1870483-1245207066.opb
1794.77/1795.35	c   Variables        : 2924 (2924 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.77/1795.35	c   Constraints      : 3125 initial, 3213 maximal
1794.77/1795.35	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.77/1795.35	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   probing          :       0.07          0          0          0          0          0          0          0          0
1794.77/1795.35	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   and              :       0.11          0          0          0          0          0          0          0          0
1794.77/1795.35	c   linear           :       0.02          0          0          0          0          0          0          0          0
1794.77/1795.35	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1794.77/1795.35	c   root node        :          -          0          -          -          0          -          -          -          -
1794.77/1795.35	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.77/1795.35	c   integral         :          0          0          0        134          0          0          0          0          0        268
1794.77/1795.35	c   setppc           :        400          6      26001          0          1         13        247          0          0          0
1794.77/1795.35	c   and              :       2524        439      25990          0          1         45       5136      19991          0          0
1794.77/1795.35	c   linear           :          1          6      25939          0          0          2          0          0          0          0
1794.77/1795.35	c   logicor          :        200+         6       1745          0          1          0        104          0          0          0
1794.77/1795.35	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.77/1795.35	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.77/1795.35	c   integral         :     367.73       0.00       0.00     367.73       0.00
1794.77/1795.35	c   setppc           :       0.71       0.00       0.71       0.00       0.00
1794.77/1795.35	c   and              :       5.68       1.06       4.62       0.00       0.00
1794.77/1795.35	c   linear           :       0.44       0.01       0.43       0.00       0.00
1794.77/1795.35	c   logicor          :       0.03       0.00       0.03       0.00       0.00
1794.77/1795.35	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.77/1795.35	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.77/1795.35	c   rootredcost      :       0.11          4          0          0
1794.77/1795.35	c   pseudoobj        :       0.42      25830          0          0
1794.77/1795.35	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.77/1795.35	c   propagation      :       0.00         60         60        173      122.5          1      200.0          -
1794.77/1795.35	c   infeasible LP    :       0.18        171          0          0        0.0          0        0.0          0
1794.77/1795.35	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.77/1795.35	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.77/1795.35	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.77/1795.35	c   applied globally :          -          -          -         88       57.1          -          -          -
1794.77/1795.35	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.77/1795.35	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.77/1795.35	c   cut pool         :       0.00          5          -          -          2          -    (maximal pool size: 132)
1794.77/1795.35	c   redcost          :       0.15        439          0          0          0          0
1794.77/1795.35	c   impliedbounds    :       0.01          6          0          0         68          0
1794.77/1795.35	c   intobj           :       0.00          0          0          0          0          0
1794.77/1795.35	c   gomory           :       5.28          6          0          0        289          0
1794.77/1795.35	c   strongcg         :       4.72          6          0          0        329          0
1794.77/1795.35	c   cmir             :       0.45          6          0          0          0          0
1794.77/1795.35	c   flowcover        :       0.41          6          0          0          0          0
1794.77/1795.35	c   clique           :       0.49          6          0          0         39          0
1794.77/1795.35	c   zerohalf         :       0.00          0          0          0          0          0
1794.77/1795.35	c   mcf              :       0.02          1          0          0          0          0
1794.77/1795.35	c Pricers            :       Time      Calls       Vars
1794.77/1795.35	c   problem variables:       0.00          0          0
1794.77/1795.35	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.77/1795.35	c   relpscost        :     367.73        134          0          0          0          0        268
1794.77/1795.35	c   pscost           :       0.00          0          0          0          0          0          0
1794.77/1795.35	c   inference        :       0.00          1          0          0          0          0          2
1794.77/1795.35	c   mostinf          :       0.00          0          0          0          0          0          0
1794.77/1795.35	c   leastinf         :       0.00          0          0          0          0          0          0
1794.77/1795.35	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.77/1795.35	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.77/1795.35	c   random           :       0.00          0          0          0          0          0          0
1794.77/1795.35	c Primal Heuristics  :       Time      Calls      Found
1794.77/1795.35	c   LP solutions     :       0.00          -          0
1794.77/1795.35	c   pseudo solutions :       0.00          -          0
1794.77/1795.35	c   crossover        :       0.00          0          0
1794.77/1795.35	c   oneopt           :       0.02          4          0
1794.77/1795.35	c   simplerounding   :       0.00          0          0
1794.77/1795.35	c   rounding         :       6.12        449          1
1794.77/1795.35	c   shifting         :       0.85         42          5
1794.77/1795.35	c   intshifting      :       0.00          0          0
1794.77/1795.35	c   fixandinfer      :       0.00          0          0
1794.77/1795.35	c   feaspump         :       0.00          0          0
1794.77/1795.35	c   coefdiving       :      78.23          3          0
1794.77/1795.35	c   pscostdiving     :      79.37          3          0
1794.77/1795.35	c   fracdiving       :     256.55          9          2
1794.77/1795.35	c   veclendiving     :      74.10          3          0
1794.77/1795.35	c   intdiving        :       0.00          0          0
1794.77/1795.35	c   actconsdiving    :       0.00          0          0
1794.77/1795.35	c   objpscostdiving  :      22.11          2          0
1794.77/1795.35	c   rootsoldiving    :      30.62          2          0
1794.77/1795.35	c   linesearchdiving :     136.53          7          1
1794.77/1795.35	c   guideddiving     :      82.26          3          0
1794.77/1795.35	c   octane           :       0.00          0          0
1794.77/1795.35	c   rens             :       0.00          0          0
1794.77/1795.35	c   rins             :       0.00          0          0
1794.77/1795.35	c   localbranching   :       0.00          0          0
1794.77/1795.35	c   mutation         :       0.00          0          0
1794.77/1795.35	c   dins             :       0.00          0          0
1794.77/1795.35	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.77/1795.35	c   primal LP        :      84.49          0          0       0.00       0.00
1794.77/1795.35	c   dual LP          :     557.35        449     510179    1136.26     915.37
1794.77/1795.35	c   barrier LP       :       0.00          0          0       0.00          -
1794.77/1795.35	c   diving/probing LP:     710.12      20812    1117514      53.70    1573.70
1794.77/1795.35	c   strong branching :     367.59       1079     363428     336.82     988.68
1794.77/1795.35	c     (at root node) :          -         25       9288     371.52          -
1794.77/1795.35	c   conflict analysis:       0.00          0          0       0.00          -
1794.77/1795.35	c B&B Tree           :
1794.77/1795.35	c   number of runs   :          1
1794.77/1795.35	c   nodes            :        135
1794.77/1795.35	c   nodes (total)    :        135
1794.77/1795.35	c   nodes left       :        136
1794.77/1795.35	c   max depth        :         14
1794.77/1795.35	c   max depth (total):         14
1794.77/1795.35	c   backtracks       :         53 (39.3%)
1794.77/1795.35	c   delayed cutoffs  :          0
1794.77/1795.35	c   repropagations   :          1 (20 domain reductions, 0 cutoffs)
1794.77/1795.35	c   avg switch length:       3.71
1794.77/1795.35	c   switching time   :      84.61
1794.77/1795.35	c Solution           :
1794.77/1795.35	c   Solutions found  :          9 (6 improvements)
1794.77/1795.35	c   Primal Bound     : -5.30000000000000e+01   (in run 1, after 105 nodes, 1512.31 seconds, depth 504, found by <linesearchdiving>)
1794.77/1795.35	c   Dual Bound       : -9.80917391757508e+01
1794.77/1795.35	c   Gap              :      45.97 %
1794.77/1795.35	c   Root Dual Bound  : -9.99999999999997e+01
1794.87/1795.41	c Time complete: 1794.88.

Verifier Data 

OK	-53

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870483-1245207066/watcher-1870483-1245207066 -o /tmp/evaluation-result-1870483-1245207066/solver-1870483-1245207066 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870483-1245207066.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: 1.00 1.00 1.00 3/64 6969
/proc/meminfo: memFree=1849464/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=5812 CPUtime=0
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 188305932 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/6969/statm: 1453 512 341 1256 0 192 0

[startup+0.05303 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6969
/proc/meminfo: memFree=1849464/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=16012 CPUtime=0.04
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 3330 0 0 0 3 1 0 0 18 0 1 0 188305932 16396288 2960 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 4003 2970 408 1256 0 2742 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16012

[startup+0.101035 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6969
/proc/meminfo: memFree=1849464/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=22520 CPUtime=0.09
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 4795 0 0 0 6 3 0 0 18 0 1 0 188305932 23060480 4425 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 5630 4425 446 1256 0 4369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22520

[startup+0.301057 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6969
/proc/meminfo: memFree=1849464/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=24440 CPUtime=0.29
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 5275 0 0 0 16 13 0 0 19 0 1 0 188305932 25026560 4905 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 6110 4905 478 1256 0 4849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24440

[startup+0.701102 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6969
/proc/meminfo: memFree=1849464/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=39612 CPUtime=0.69
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 8612 0 0 0 49 20 0 0 22 0 1 0 188305932 40562688 8212 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 9903 8212 620 1256 0 8642 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39612

[startup+1.50219 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6970
/proc/meminfo: memFree=1818416/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=40104 CPUtime=1.49
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 9083 0 0 0 129 20 0 0 25 0 1 0 188305932 41066496 8683 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 10026 8683 644 1256 0 8765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40104

[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6970
/proc/meminfo: memFree=1816304/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=44976 CPUtime=3.09
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 9932 0 0 0 287 22 0 0 25 0 1 0 188305932 46055424 9532 1992294400 4194304 9342243 548682068736 18446744073709551615 6040637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 11244 9532 666 1256 0 9983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44976

[startup+6.30172 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6970
/proc/meminfo: memFree=1813168/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=45108 CPUtime=6.29
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 10100 0 0 0 606 23 0 0 25 0 1 0 188305932 46190592 9700 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 11277 9700 666 1256 0 10016 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45108

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6970
/proc/meminfo: memFree=1810288/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=48648 CPUtime=12.69
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 10838 0 0 0 1245 24 0 0 25 0 1 0 188305932 49815552 10438 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 12162 10438 675 1256 0 10901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48648

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6970
/proc/meminfo: memFree=1808688/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=53552 CPUtime=25.48
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 12564 0 0 0 2521 27 0 0 25 0 1 0 188305932 54837248 10864 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 13388 10864 681 1256 0 12127 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53552

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6970
/proc/meminfo: memFree=1810288/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=50196 CPUtime=51.08
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 13231 0 0 0 5078 30 0 0 25 0 1 0 188305932 51400704 10500 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 12549 10500 703 1256 0 11288 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50196

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1809328/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=51912 CPUtime=102.26
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 17528 0 0 0 10190 36 0 0 25 0 1 0 188305932 53157888 10654 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 12978 10654 703 1256 0 11717 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51912

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1808880/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=48488 CPUtime=162.25
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 20652 0 0 0 16181 44 0 0 25 0 1 0 188305932 49651712 10876 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 12122 10876 703 1256 0 10861 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48488

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1807920/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=49100 CPUtime=222.22
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 22898 0 0 0 22169 53 0 0 25 0 1 0 188305932 50278400 10993 1992294400 4194304 9342243 548682068736 18446744073709551615 4265989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 12275 10993 706 1256 0 11014 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49100

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1806000/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=56048 CPUtime=282.21
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 26088 0 0 0 28160 61 0 0 25 0 1 0 188305932 57393152 11465 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 14012 11465 709 1256 0 12751 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56048

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1807408/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=51568 CPUtime=342.19
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 44541 0 0 0 34141 78 0 0 25 0 1 0 188305932 52805632 11090 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 12892 11090 709 1256 0 11631 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 51568

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1806896/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=52916 CPUtime=402.17
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 71507 0 0 0 40118 99 0 0 25 0 1 0 188305932 54185984 11108 1992294400 4194304 9342243 548682068736 18446744073709551615 6960525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 13229 11108 710 1256 0 11968 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 52916

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1805040/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=53580 CPUtime=462.16
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 93607 0 0 0 46099 117 0 0 25 0 1 0 188305932 54865920 11681 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 13395 11681 710 1256 0 12134 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 53580

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1804528/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=54636 CPUtime=522.14
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 98272 0 0 0 52088 126 0 0 25 0 1 0 188305932 55947264 11766 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 13659 11766 710 1256 0 12398 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 54636

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6972
/proc/meminfo: memFree=1804208/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60224 CPUtime=582.12
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 103799 0 0 0 58077 135 0 0 25 0 1 0 188305932 61669376 11864 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15056 11864 710 1256 0 13795 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 60224

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1803376/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=53616 CPUtime=642.11
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 107167 0 0 0 64069 142 0 0 25 0 1 0 188305932 54902784 12000 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 13404 12000 710 1256 0 12143 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 53616

[startup+702.302 s]

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

/proc/meminfo: memFree=1799280/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=58488 CPUtime=1121.96
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 140797 0 0 0 111982 214 0 0 25 0 1 0 188305932 59891712 13028 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 14622 13028 710 1256 0 13361 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 58488

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1798576/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=59032 CPUtime=1181.94
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 143488 0 0 0 117971 223 0 0 25 0 1 0 188305932 60448768 13171 1992294400 4194304 9342243 548682068736 18446744073709551615 6960727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 14758 13171 710 1256 0 13497 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 59032

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797936/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=58036 CPUtime=1241.92
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 146611 0 0 0 123961 231 0 0 25 0 1 0 188305932 59428864 13287 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 14509 13287 710 1256 0 13248 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 58036

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1798000/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=59484 CPUtime=1301.91
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 147857 0 0 0 129950 241 0 0 25 0 1 0 188305932 60911616 13320 1992294400 4194304 9342243 548682068736 18446744073709551615 6938547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 14871 13320 710 1256 0 13610 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 59484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797616/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60120 CPUtime=1361.89
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 151793 0 0 0 135938 251 0 0 25 0 1 0 188305932 61562880 13397 1992294400 4194304 9342243 548682068736 18446744073709551615 6965706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15030 13397 710 1256 0 13769 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 60120

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797488/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=59776 CPUtime=1421.88
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 154805 0 0 0 141929 259 0 0 25 0 1 0 188305932 61210624 13422 1992294400 4194304 9342243 548682068736 18446744073709551615 6252339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 14944 13422 710 1256 0 13683 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 59776

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797104/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60316 CPUtime=1481.86
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 175250 0 0 0 147909 277 0 0 25 0 1 0 188305932 61763584 13572 1992294400 4194304 9342243 548682068736 18446744073709551615 6957842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15079 13572 710 1256 0 13818 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 60316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1798000/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60364 CPUtime=1541.84
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 191337 0 0 0 153891 293 0 0 25 0 1 0 188305932 61812736 13277 1992294400 4194304 9342243 548682068736 18446744073709551615 6938970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15091 13277 710 1256 0 13830 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 60364

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1798192/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60420 CPUtime=1601.82
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 227451 0 0 0 159863 319 0 0 25 0 1 0 188305932 61870080 13192 1992294400 4194304 9342243 548682068736 18446744073709551615 6959508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15105 13192 710 1256 0 13844 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 60420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797360/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=61164 CPUtime=1661.8
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 235755 0 0 0 165849 331 0 0 25 0 1 0 188305932 62631936 13228 1992294400 4194304 9342243 548682068736 18446744073709551615 6974267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15291 13228 710 1256 0 14030 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 61164

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1798064/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60764 CPUtime=1721.78
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 256778 0 0 0 171829 349 0 0 25 0 1 0 188305932 62222336 13361 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15191 13361 710 1256 0 13930 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 60764

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797040/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60380 CPUtime=1781.77
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 283798 0 0 0 177808 369 0 0 25 0 1 0 188305932 61829120 13536 1992294400 4194304 9342243 548682068736 18446744073709551615 6238750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15095 13536 710 1256 0 13834 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 60380

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797552/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60656 CPUtime=1784.97
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 285997 0 0 0 178126 371 0 0 25 0 1 0 188305932 62111744 13321 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15164 13321 710 1256 0 13903 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 60656

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1798000/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=61236 CPUtime=1791.37
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 291857 0 0 0 178762 375 0 0 25 0 1 0 188305932 62705664 13240 1992294400 4194304 9342243 548682068736 18446744073709551615 6960303 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15309 13240 710 1256 0 14048 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 61236

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797424/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60708 CPUtime=1792.97
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 293198 0 0 0 178921 376 0 0 25 0 1 0 188305932 62164992 13365 1992294400 4194304 9342243 548682068736 18446744073709551615 6965625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15177 13365 710 1256 0 13916 0
Current children cumulated CPU time (s) 1792.97
Current children cumulated vsize (KiB) 60708

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797744/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60696 CPUtime=1793.76
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 293995 0 0 0 179000 376 0 0 25 0 1 0 188305932 62152704 13219 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15174 13219 710 1256 0 13913 0
Current children cumulated CPU time (s) 1793.76
Current children cumulated vsize (KiB) 60696

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797936/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60716 CPUtime=1794.57
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 294821 0 0 0 179080 377 0 0 25 0 1 0 188305932 62173184 13263 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15179 13263 710 1256 0 13918 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 60716

[startup+1795.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797936/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=60720 CPUtime=1794.77
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 295008 0 0 0 179100 377 0 0 25 0 1 0 188305932 62177280 13256 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6969/statm: 15180 13256 710 1256 0 13919 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 60720

[startup+1795.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6978
/proc/meminfo: memFree=1797936/2055920 swapFree=4191900/4192956
[pid=6969] ppid=6967 vsize=55080 CPUtime=1794.87
/proc/6969/stat : 6969 (pbscip.linux.x8) R 6967 6969 6893 0 -1 4194304 295067 0 0 0 179110 377 0 0 17 0 1 0 188305932 56401920 12798 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/6969/statm: 13770 12798 715 1256 0 12509 0
Current children cumulated CPU time (s) 1794.87
Current children cumulated vsize (KiB) 55080

Child status: 0
Real time (s): 1795.41
CPU time (s): 1794.89
CPU user time (s): 1791.1
CPU system time (s): 3.78442
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 67724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.1
system time used= 3.78442
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1786

runsolver used 1.37279 second user time and 3.65144 second system time

The end

Launcher Data 

Begin job on node35 at 2009-06-17 04:51:06
IDJOB=1870483
IDBENCH=48240
IDSOLVER=684
FILE ID=node35/1870483-1245207066
PBS_JOBID= 9368389
Free space on /tmp= 66136 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870483-1245207066/watcher-1870483-1245207066 -o /tmp/evaluation-result-1870483-1245207066/solver-1870483-1245207066 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870483-1245207066.opb

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=986719934

node35.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.232
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.232
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1850648 kB
Buffers:         20988 kB
Cached:         112088 kB
SwapCached:          0 kB
Active:          34628 kB
Inactive:       111452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850648 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           11880 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            45244 kB
Committed_AS:   194680 kB
PageTables:       1408 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= 66124 MiB
End job on node35 at 2009-06-17 05:21:02